runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255997-1501651926/watcher-4255997-1501651926 -o /tmp/evaluation-result-4255997-1501651926/solver-4255997-1501651926 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501622945-15685 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 321784517 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255997-1501651926.xml
pid=9423
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.97 1.99 2/179 9426
/proc/meminfo: memFree=31818372/32770624 swapFree=0/233696
[pid=9426] ppid=9423 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/9426/stat : 9426 (runsolver) D 9423 9426 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 13007967 24240128 107 18446744073709551615 4194304 4338465 140726239691568 140726239689208 140229311541975 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 28188672 140726239694951 140726239695430 140726239695430 140726239698890 0
/proc/9426/statm: 5918 107 54 36 0 2156 0
[startup+0.100133 s]
/proc/loadavg: 1.92 1.97 1.99 2/179 9426
/proc/meminfo: memFree=31818372/32770624 swapFree=0/233696
[pid=9426] ppid=9423 vsize=356952 CPUtime=0 cores=0,2,4,6
/proc/9426/stat : 9426 (java) S 9423 9426 5228 0 -1 1077944320 1731 0 0 0 0 0 0 0 20 0 2 0 13007967 365518848 1881 18446744073709551615 4194304 4196468 140721752651824 140721752634368 140084732817143 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
/proc/9426/statm: 89238 1881 1032 1 0 79216 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 356952
[startup+0.200363 s]
/proc/loadavg: 1.92 1.97 1.99 2/179 9426
/proc/meminfo: memFree=31818372/32770624 swapFree=0/233696
[pid=9426] ppid=9423 vsize=13906484 CPUtime=0.05 cores=0,2,4,6
/proc/9426/stat : 9426 (java) S 9423 9426 5228 0 -1 1077944320 4819 0 0 0 5 0 0 0 20 0 14 0 13007967 14240239616 5356 18446744073709551615 4194304 4196468 140721752651824 140721752634368 140084732817143 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
/proc/9426/statm: 3476621 5356 2573 1 0 3466126 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13906484
[startup+0.30033 s]
/proc/loadavg: 1.92 1.97 1.99 2/179 9426
/proc/meminfo: memFree=31818372/32770624 swapFree=0/233696
[pid=9426] ppid=9423 vsize=13975920 CPUtime=0.17 cores=0,2,4,6
/proc/9426/stat : 9426 (java) S 9423 9426 5228 0 -1 1077944320 9644 0 0 0 15 2 0 0 20 0 15 0 13007967 14311342080 8518 18446744073709551615 4194304 4196468 140721752651824 140721752634368 140084732817143 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
/proc/9426/statm: 3493980 8518 3457 1 0 3482767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 13975920
[startup+0.705191 s]
/proc/loadavg: 1.92 1.97 1.99 2/179 9426
/proc/meminfo: memFree=31818372/32770624 swapFree=0/233696
[pid=9426] ppid=9423 vsize=13977988 CPUtime=0.93 cores=0,2,4,6
/proc/9426/stat : 9426 (java) S 9423 9426 5228 0 -1 1077944320 13824 0 0 0 89 4 0 0 20 0 15 0 13007967 14313459712 16097 18446744073709551615 4194304 4196468 140721752651824 140721752634368 140084732817143 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
/proc/9426/statm: 3494497 16097 3715 1 0 3483279 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 13977988
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9426 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800311 s]
/proc/loadavg: 1.92 1.97 1.99 2/179 9426
/proc/meminfo: memFree=31818372/32770624 swapFree=0/233696
[pid=9426] ppid=9423 vsize=13977988 CPUtime=1.2 cores=0,2,4,6
/proc/9426/stat : 9426 (java) S 9423 9426 5228 0 -1 1077944320 15415 0 0 0 116 4 0 0 20 0 15 0 13007967 14313459712 18680 18446744073709551615 4194304 4196468 140721752651824 140721752634368 140084732817143 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
/proc/9426/statm: 3494497 18680 3729 1 0 3483279 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 13977988
[startup+1.20697 s]
/proc/loadavg: 1.92 1.97 1.99 6/214 9470
/proc/meminfo: memFree=31614588/32770624 swapFree=0/233712
[pid=9426] ppid=9423 vsize=13980036 CPUtime=2.33 cores=0,2,4,6
/proc/9426/stat : 9426 (java) S 9423 9426 5228 0 -1 1077944320 22459 0 0 0 225 8 0 0 20 0 15 0 13007967 14315556864 31710 18446744073709551615 4194304 4196468 140721752651824 140721752634368 140084732817143 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
/proc/9426/statm: 3495009 31710 3742 1 0 3483791 0
[pid=9426/tid=9429] ppid=9423 vsize=13980036 CPUtime=1.01 cores=0,2,4,6
/proc/9426/task/9429/stat : 9429 (java) R 9423 9426 5228 0 -1 4202560 13730 0 0 0 95 6 0 0 20 0 15 0 13007977 14315556864 31710 18446744073709551615 4194304 4196468 140721752651824 140084737052624 140084334695065 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
[pid=9426/tid=9430] ppid=9423 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/9426/task/9430/stat : 9430 (java) S 9423 9426 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13007978 14315556864 31710 18446744073709551615 4194304 4196468 140721752651824 140084667251600 140084732827349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
[pid=9426/tid=9431] ppid=9423 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/9426/task/9431/stat : 9431 (java) S 9423 9426 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13007978 14315556864 31710 18446744073709551615 4194304 4196468 140721752651824 140084666198800 140084732827349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
[pid=9426/tid=9432] ppid=9423 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/9426/task/9432/stat : 9432 (java) S 9423 9426 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13007978 14315556864 31710 18446744073709551615 4194304 4196468 140721752651824 140084665146512 140084732827349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
[pid=9426/tid=9433] ppid=9423 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/9426/task/9433/stat : 9433 (java) S 9423 9426 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13007978 14315556864 31710 18446744073709551615 4194304 4196468 140721752651824 140084664093712 140084732827349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
[pid=9426/tid=9434] ppid=9423 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/9426/task/9434/stat : 9434 (java) S 9423 9426 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 13007979 14315556864 31710 18446744073709551615 4194304 4196468 140721752651824 140084211464304 140084732828290 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
[pid=9426/tid=9435] ppid=9423 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/9426/task/9435/stat : 9435 (java) S 9423 9426 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 13007980 14315556864 31710 18446744073709551615 4194304 4196468 140721752651824 140084210410272 140084732827349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
[pid=9426/tid=9436] ppid=9423 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/9426/task/9436/stat : 9436 (java) S 9423 9426 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 13007980 14315556864 31710 18446744073709551615 4194304 4196468 140721752651824 140084209357936 140084732827349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
[pid=9426/tid=9437] ppid=9423 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/9426/task/9437/stat : 9437 (java) S 9423 9426 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13007982 14315556864 31710 18446744073709551615 4194304 4196468 140721752651824 140084208306256 140084732835739 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
[pid=9426/tid=9438] ppid=9423 vsize=13980036 CPUtime=0.45 cores=0,2,4,6
/proc/9426/task/9438/stat : 9438 (java) R 9423 9426 5228 0 -1 4202560 3026 0 0 0 45 0 0 0 20 0 15 0 13007982 14315556864 31710 18446744073709551615 4194304 4196468 140721752651824 140084207240656 140084712055627 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
[pid=9426/tid=9439] ppid=9423 vsize=13980036 CPUtime=0.4 cores=0,2,4,6
/proc/9426/task/9439/stat : 9439 (java) R 9423 9426 5228 0 -1 4202560 2621 0 0 0 40 0 0 0 20 0 15 0 13007982 14315556864 31710 18446744073709551615 4194304 4196468 140721752651824 140084206187208 140084717497443 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
[pid=9426/tid=9440] ppid=9423 vsize=13980036 CPUtime=0.42 cores=0,2,4,6
/proc/9426/task/9440/stat : 9440 (java) S 9423 9426 5228 0 -1 1077944384 1703 0 0 0 42 0 0 0 20 0 15 0 13007982 14315556864 31710 18446744073709551615 4194304 4196468 140721752651824 140084205149040 140084732828290 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
[pid=9426/tid=9441] ppid=9423 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/9426/task/9441/stat : 9441 (java) S 9423 9426 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13007982 14315556864 31710 18446744073709551615 4194304 4196468 140721752651824 140084204096480 140084732827349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
[pid=9426/tid=9443] ppid=9423 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/9426/task/9443/stat : 9443 (java) S 9423 9426 5228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 13007990 14315556864 31710 18446744073709551615 4194304 4196468 140721752651824 140084203043248 140084732828290 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 13980036
[startup+1.3007 s]
/proc/loadavg: 1.92 1.97 1.99 6/214 9470
/proc/meminfo: memFree=31614588/32770624 swapFree=0/233712
[pid=9426] ppid=9423 vsize=13980036 CPUtime=2.61 cores=0,2,4,6
/proc/9426/stat : 9426 (java) S 9423 9426 5228 0 -1 1077944320 24536 0 0 0 253 8 0 0 20 0 15 0 13007967 14315556864 33923 18446744073709551615 4194304 4196468 140721752651824 140721752634368 140084732817143 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
/proc/9426/statm: 3495009 33923 3745 1 0 3483791 0
[pid=9426/tid=9429] ppid=9423 vsize=13980036 CPUtime=1.1 cores=0,2,4,6
/proc/9426/task/9429/stat : 9429 (java) R 9423 9426 5228 0 -1 4202560 14153 0 0 0 104 6 0 0 20 0 15 0 13007977 14315556864 33923 18446744073709551615 4194304 4196468 140721752651824 140084737052624 140084339557299 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
[pid=9426/tid=9430] ppid=9423 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/9426/task/9430/stat : 9430 (java) S 9423 9426 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13007978 14315556864 33923 18446744073709551615 4194304 4196468 140721752651824 140084667251600 140084732827349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
[pid=9426/tid=9431] ppid=9423 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/9426/task/9431/stat : 9431 (java) S 9423 9426 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13007978 14315556864 33923 18446744073709551615 4194304 4196468 140721752651824 140084666198800 140084732827349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
[pid=9426/tid=9432] ppid=9423 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/9426/task/9432/stat : 9432 (java) S 9423 9426 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13007978 14315556864 33923 18446744073709551615 4194304 4196468 140721752651824 140084665146512 140084732827349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
[pid=9426/tid=9433] ppid=9423 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/9426/task/9433/stat : 9433 (java) S 9423 9426 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13007978 14315556864 33923 18446744073709551615 4194304 4196468 140721752651824 140084664093712 140084732827349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
[pid=9426/tid=9434] ppid=9423 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/9426/task/9434/stat : 9434 (java) S 9423 9426 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 13007979 14315556864 33923 18446744073709551615 4194304 4196468 140721752651824 140084211464304 140084732828290 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
[pid=9426/tid=9435] ppid=9423 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/9426/task/9435/stat : 9435 (java) S 9423 9426 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 13007980 14315556864 33923 18446744073709551615 4194304 4196468 140721752651824 140084210410272 140084732827349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
[pid=9426/tid=9436] ppid=9423 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/9426/task/9436/stat : 9436 (java) S 9423 9426 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 13007980 14315556864 33923 18446744073709551615 4194304 4196468 140721752651824 140084209357936 140084732827349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
[pid=9426/tid=9437] ppid=9423 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/9426/task/9437/stat : 9437 (java) S 9423 9426 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13007982 14315556864 33923 18446744073709551615 4194304 4196468 140721752651824 140084208306256 140084732835739 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
[pid=9426/tid=9438] ppid=9423 vsize=13980036 CPUtime=0.55 cores=0,2,4,6
/proc/9426/task/9438/stat : 9438 (java) R 9423 9426 5228 0 -1 4202560 3594 0 0 0 55 0 0 0 20 0 15 0 13007982 14315556864 33923 18446744073709551615 4194304 4196468 140721752651824 140084207240656 140084714339632 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
[pid=9426/tid=9439] ppid=9423 vsize=13980036 CPUtime=0.49 cores=0,2,4,6
/proc/9426/task/9439/stat : 9439 (java) R 9423 9426 5228 0 -1 4202560 3642 0 0 0 49 0 0 0 20 0 15 0 13007982 14315556864 33923 18446744073709551615 4194304 4196468 140721752651824 140084206187088 140084717740457 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
[pid=9426/tid=9440] ppid=9423 vsize=13980036 CPUtime=0.43 cores=0,2,4,6
/proc/9426/task/9440/stat : 9440 (java) S 9423 9426 5228 0 -1 1077944384 1757 0 0 0 43 0 0 0 20 0 15 0 13007982 14315556864 33923 18446744073709551615 4194304 4196468 140721752651824 140084205149040 140084732828290 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
[pid=9426/tid=9441] ppid=9423 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/9426/task/9441/stat : 9441 (java) S 9423 9426 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13007982 14315556864 33923 18446744073709551615 4194304 4196468 140721752651824 140084204096480 140084732827349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
[pid=9426/tid=9443] ppid=9423 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/9426/task/9443/stat : 9443 (java) S 9423 9426 5228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 13007990 14315556864 33923 18446744073709551615 4194304 4196468 140721752651824 140084203043248 140084732828290 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140721752658322 140721752658507 140721752658507 140721752661967 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 13980036
Child status: 0
Real time (s): 1.38696
CPU time (s): 2.84939
CPU user time (s): 2.75882
CPU system time (s): 0.090569
CPU usage (%): 205.441
Max. virtual memory (cumulated for all children) (KiB): 13980036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.75882
system time used= 0.090569
maximum resident set size= 145828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25785
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2111
involuntary context switches= 11
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.01 second user time and 0.01 second system time
The end