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-4254237-1501615281/watcher-4254237-1501615281 -o /tmp/evaluation-result-4254237-1501615281/solver-4254237-1501615281 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501610539-18990 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1543643768 HOME/instance-4254237-1501615281.xml
pid=22303
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: 2.01 2.02 1.96 5/198 22306
/proc/meminfo: memFree=31816868/32770624 swapFree=0/208808
[pid=22306] ppid=22303 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/22306/stat : 22306 (runsolver) D 22303 22306 18930 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 61181625 24240128 106 18446744073709551615 4194304 4338465 140724393343696 140724393341336 139904342528727 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 27332608 140724393349211 140724393349701 140724393349701 140724393353162 0
/proc/22306/statm: 5918 106 53 36 0 2156 0
[startup+0.100173 s]
/proc/loadavg: 2.01 2.02 1.96 5/198 22306
/proc/meminfo: memFree=31816868/32770624 swapFree=0/208808
[pid=22306] ppid=22303 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22306/stat : 22306 (xcsp3-exec) S 22303 22306 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61181625 9740288 344 18446744073709551615 4194304 5098028 140724242230128 140724242228232 140405572084348 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 32387072 140724242231706 140724242231910 140724242231910 140724242235371 0
/proc/22306/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200286 s]
/proc/loadavg: 2.01 2.02 1.96 5/198 22306
/proc/meminfo: memFree=31816868/32770624 swapFree=0/208808
[pid=22306] ppid=22303 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22306/stat : 22306 (xcsp3-exec) S 22303 22306 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61181625 9740288 344 18446744073709551615 4194304 5098028 140724242230128 140724242228232 140405572084348 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 32387072 140724242231706 140724242231910 140724242231910 140724242235371 0
/proc/22306/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300285 s]
/proc/loadavg: 2.01 2.02 1.96 5/198 22306
/proc/meminfo: memFree=31816868/32770624 swapFree=0/208808
[pid=22306] ppid=22303 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22306/stat : 22306 (xcsp3-exec) S 22303 22306 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61181625 9740288 344 18446744073709551615 4194304 5098028 140724242230128 140724242228232 140405572084348 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 32387072 140724242231706 140724242231910 140724242231910 140724242235371 0
/proc/22306/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700284 s]
/proc/loadavg: 2.01 2.02 1.96 5/198 22306
/proc/meminfo: memFree=31816868/32770624 swapFree=0/208808
[pid=22306] ppid=22303 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22306/stat : 22306 (xcsp3-exec) S 22303 22306 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61181625 9740288 344 18446744073709551615 4194304 5098028 140724242230128 140724242228232 140405572084348 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 32387072 140724242231706 140724242231910 140724242231910 140724242235371 0
/proc/22306/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 22308 sig 9
??? kill 22306 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800815 s]
/proc/loadavg: 2.01 2.02 1.96 5/198 22306
/proc/meminfo: memFree=31816868/32770624 swapFree=0/208808
[pid=22306] ppid=22303 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22306/stat : 22306 (xcsp3-exec) S 22303 22306 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61181625 9740288 344 18446744073709551615 4194304 5098028 140724242230128 140724242228232 140405572084348 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 32387072 140724242231706 140724242231910 140724242231910 140724242235371 0
/proc/22306/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.20703 s]
/proc/loadavg: 2.49 2.12 1.99 7/214 22322
/proc/meminfo: memFree=31736180/32770624 swapFree=0/208828
[pid=22306] ppid=22303 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22306/stat : 22306 (xcsp3-exec) S 22303 22306 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61181625 9740288 344 18446744073709551615 4194304 5098028 140724242230128 140724242228232 140405572084348 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 32387072 140724242231706 140724242231910 140724242231910 140724242235371 0
/proc/22306/statm: 2378 344 289 221 0 87 0
[pid=22308] ppid=22306 vsize=13980732 CPUtime=2.71 cores=0,2,4,6
/proc/22308/stat : 22308 (java) S 22306 22306 18930 0 -1 1077944320 26781 0 0 0 264 7 0 0 20 0 15 0 61181634 14316269568 24078 18446744073709551615 4194304 4196468 140733658728896 140733658711440 139889169026807 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29282304 140733658730963 140733658731138 140733658731138 140733658734543 0
/proc/22308/statm: 3495183 24078 3188 1 0 3483484 0
[pid=22308/tid=22309] ppid=22306 vsize=13980732 CPUtime=1.04 cores=0,2,4,6
/proc/22308/task/22309/stat : 22309 (java) R 22306 22306 18930 0 -1 4202560 9413 0 0 0 100 4 0 0 20 0 15 0 61181635 14316269568 24078 18446744073709551615 4194304 4196468 140733658728896 139889173258064 139888782826367 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 29282304 140733658730963 140733658731138 140733658731138 140733658734543 0
[pid=22308/tid=22310] ppid=22306 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22308/task/22310/stat : 22310 (java) S 22306 22306 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61181635 14316269568 24078 18446744073709551615 4194304 4196468 140733658728896 139889103461008 139889169037013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29282304 140733658730963 140733658731138 140733658731138 140733658734543 0
[pid=22308/tid=22311] ppid=22306 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22308/task/22311/stat : 22311 (java) S 22306 22306 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61181635 14316269568 24078 18446744073709551615 4194304 4196468 140733658728896 139889102408208 139889169037013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29282304 140733658730963 140733658731138 140733658731138 140733658734543 0
[pid=22308/tid=22312] ppid=22306 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22308/task/22312/stat : 22312 (java) S 22306 22306 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61181635 14316269568 24078 18446744073709551615 4194304 4196468 140733658728896 139889101355408 139889169037013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29282304 140733658730963 140733658731138 140733658731138 140733658734543 0
[pid=22308/tid=22313] ppid=22306 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22308/task/22313/stat : 22313 (java) S 22306 22306 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61181635 14316269568 24078 18446744073709551615 4194304 4196468 140733658728896 139889100302608 139889169037013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29282304 140733658730963 140733658731138 140733658731138 140733658734543 0
[pid=22308/tid=22314] ppid=22306 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22308/task/22314/stat : 22314 (java) S 22306 22306 18930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 61181637 14316269568 24078 18446744073709551615 4194304 4196468 140733658728896 139888647576432 139889169037954 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29282304 140733658730963 140733658731138 140733658731138 140733658734543 0
[pid=22308/tid=22315] ppid=22306 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22308/task/22315/stat : 22315 (java) S 22306 22306 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61181637 14316269568 24078 18446744073709551615 4194304 4196468 140733658728896 139888646522400 139889169037013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29282304 140733658730963 140733658731138 140733658731138 140733658734543 0
[pid=22308/tid=22316] ppid=22306 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22308/task/22316/stat : 22316 (java) S 22306 22306 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61181637 14316269568 24078 18446744073709551615 4194304 4196468 140733658728896 139888645469552 139889169037013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29282304 140733658730963 140733658731138 140733658731138 140733658734543 0
[pid=22308/tid=22317] ppid=22306 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22308/task/22317/stat : 22317 (java) S 22306 22306 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61181640 14316269568 24078 18446744073709551615 4194304 4196468 140733658728896 139888644417872 139889169045403 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29282304 140733658730963 140733658731138 140733658731138 140733658734543 0
[pid=22308/tid=22318] ppid=22306 vsize=13980732 CPUtime=0.64 cores=0,2,4,6
/proc/22308/task/22318/stat : 22318 (java) R 22306 22306 18930 0 -1 4202560 7354 0 0 0 64 0 0 0 20 0 15 0 61181640 14316269568 24078 18446744073709551615 4194304 4196468 140733658728896 139888643351256 139889148718543 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29282304 140733658730963 140733658731138 140733658731138 140733658734543 0
[pid=22308/tid=22319] ppid=22306 vsize=13980732 CPUtime=0.63 cores=0,2,4,6
/proc/22308/task/22319/stat : 22319 (java) R 22306 22306 18930 0 -1 4202560 6733 0 0 0 63 0 0 0 20 0 15 0 61181640 14316269568 24078 18446744073709551615 4194304 4196468 140733658728896 139888642298504 139889150571768 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29282304 140733658730963 140733658731138 140733658731138 140733658734543 0
[pid=22308/tid=22320] ppid=22306 vsize=13980732 CPUtime=0.36 cores=0,2,4,6
/proc/22308/task/22320/stat : 22320 (java) S 22306 22306 18930 0 -1 1077944384 1974 0 0 0 36 0 0 0 20 0 15 0 61181640 14316269568 24078 18446744073709551615 4194304 4196468 140733658728896 139888641259632 139889169037954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29282304 140733658730963 140733658731138 140733658731138 140733658734543 0
[pid=22308/tid=22321] ppid=22306 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22308/task/22321/stat : 22321 (java) S 22306 22306 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61181640 14316269568 24078 18446744073709551615 4194304 4196468 140733658728896 139888640207072 139889169037013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29282304 140733658730963 140733658731138 140733658731138 140733658734543 0
[pid=22308/tid=22322] ppid=22306 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22308/task/22322/stat : 22322 (java) S 22306 22306 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61181645 14316269568 24078 18446744073709551615 4194304 4196468 140733658728896 139888639155376 139889169037954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29282304 140733658730963 140733658731138 140733658731138 140733658734543 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 13990244
[startup+1.40073 s]
/proc/loadavg: 2.49 2.12 1.99 7/214 22322
/proc/meminfo: memFree=31736180/32770624 swapFree=0/208828
[pid=22306] ppid=22303 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22306/stat : 22306 (xcsp3-exec) S 22303 22306 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61181625 9740288 344 18446744073709551615 4194304 5098028 140724242230128 140724242228232 140405572084348 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 32387072 140724242231706 140724242231910 140724242231910 140724242235371 0
/proc/22306/statm: 2378 344 289 221 0 87 0
[pid=22308] ppid=22306 vsize=13982956 CPUtime=3.3 cores=0,2,4,6
/proc/22308/stat : 22308 (java) S 22306 22306 18930 0 -1 1077944320 31165 0 0 0 322 8 0 0 20 0 14 0 61181634 14318546944 26247 18446744073709551615 4194304 4196468 140733658728896 140733658711440 139889169026807 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29282304 140733658730963 140733658731138 140733658731138 140733658734543 0
/proc/22308/statm: 3495739 26247 3190 1 0 3484040 0
[pid=22308/tid=22309] ppid=22306 vsize=13982956 CPUtime=1.23 cores=0,2,4,6
/proc/22308/task/22309/stat : 22309 (java) S 22306 22306 18930 0 -1 1077944384 9743 0 0 0 118 5 0 0 20 0 14 0 61181635 14318546944 26247 18446744073709551615 4194304 4196468 140733658728896 139889173269648 139889169037013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 29282304 140733658730963 140733658731138 140733658731138 140733658734543 0
[pid=22308/tid=22310] ppid=22306 vsize=13982956 CPUtime=0 cores=0,2,4,6
/proc/22308/task/22310/stat : 22310 (java) S 22306 22306 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 61181635 14318546944 26247 18446744073709551615 4194304 4196468 140733658728896 139889103461008 139889169037013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29282304 140733658730963 140733658731138 140733658731138 140733658734543 0
[pid=22308/tid=22311] ppid=22306 vsize=13982956 CPUtime=0 cores=0,2,4,6
/proc/22308/task/22311/stat : 22311 (java) S 22306 22306 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 61181635 14318546944 26247 18446744073709551615 4194304 4196468 140733658728896 139889102408208 139889169037013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29282304 140733658730963 140733658731138 140733658731138 140733658734543 0
[pid=22308/tid=22312] ppid=22306 vsize=13982956 CPUtime=0 cores=0,2,4,6
/proc/22308/task/22312/stat : 22312 (java) S 22306 22306 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 61181635 14318546944 26247 18446744073709551615 4194304 4196468 140733658728896 139889101355408 139889169037013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29282304 140733658730963 140733658731138 140733658731138 140733658734543 0
[pid=22308/tid=22313] ppid=22306 vsize=13982956 CPUtime=0 cores=0,2,4,6
/proc/22308/task/22313/stat : 22313 (java) S 22306 22306 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 61181635 14318546944 26247 18446744073709551615 4194304 4196468 140733658728896 139889100302608 139889169037013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29282304 140733658730963 140733658731138 140733658731138 140733658734543 0
[pid=22308/tid=22314] ppid=22306 vsize=13982956 CPUtime=0 cores=0,2,4,6
/proc/22308/task/22314/stat : 22314 (java) S 22306 22306 18930 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 14 0 61181637 14318546944 26247 18446744073709551615 4194304 4196468 140733658728896 139888647576640 139889169037954 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29282304 140733658730963 140733658731138 140733658731138 140733658734543 0
[pid=22308/tid=22315] ppid=22306 vsize=13982956 CPUtime=0 cores=0,2,4,6
/proc/22308/task/22315/stat : 22315 (java) S 22306 22306 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 61181637 14318546944 26247 18446744073709551615 4194304 4196468 140733658728896 139888646522400 139889169037013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29282304 140733658730963 140733658731138 140733658731138 140733658734543 0
[pid=22308/tid=22316] ppid=22306 vsize=13982956 CPUtime=0 cores=0,2,4,6
/proc/22308/task/22316/stat : 22316 (java) S 22306 22306 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 61181637 14318546944 26247 18446744073709551615 4194304 4196468 140733658728896 139888645469552 139889169037013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29282304 140733658730963 140733658731138 140733658731138 140733658734543 0
[pid=22308/tid=22317] ppid=22306 vsize=13982956 CPUtime=0 cores=0,2,4,6
/proc/22308/task/22317/stat : 22317 (java) S 22306 22306 18930 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 14 0 61181640 14318546944 26247 18446744073709551615 4194304 4196468 140733658728896 139888644417520 139889169037013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29282304 140733658730963 140733658731138 140733658731138 140733658734543 0
[pid=22308/tid=22318] ppid=22306 vsize=13982956 CPUtime=0.83 cores=0,2,4,6
/proc/22308/task/22318/stat : 22318 (java) S 22306 22306 18930 0 -1 1077944384 8822 0 0 0 83 0 0 0 20 0 14 0 61181640 14318546944 26247 18446744073709551615 4194304 4196468 140733658728896 139888643350304 139889169037013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29282304 140733658730963 140733658731138 140733658731138 140733658734543 0
[pid=22308/tid=22319] ppid=22306 vsize=13982956 CPUtime=0.82 cores=0,2,4,6
/proc/22308/task/22319/stat : 22319 (java) R 22306 22306 18930 0 -1 4202560 8940 0 0 0 82 0 0 0 20 0 14 0 61181640 14318546944 26247 18446744073709551615 4194304 4196468 140733658728896 139888642298408 139889150547929 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29282304 140733658730963 140733658731138 140733658731138 140733658734543 0
[pid=22308/tid=22320] ppid=22306 vsize=13982956 CPUtime=0.37 cores=0,2,4,6
/proc/22308/task/22320/stat : 22320 (java) S 22306 22306 18930 0 -1 1077944384 2335 0 0 0 37 0 0 0 20 0 14 0 61181640 14318546944 26247 18446744073709551615 4194304 4196468 140733658728896 139888641259632 139889169037954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29282304 140733658730963 140733658731138 140733658731138 140733658734543 0
[pid=22308/tid=22321] ppid=22306 vsize=13982956 CPUtime=0 cores=0,2,4,6
/proc/22308/task/22321/stat : 22321 (java) S 22306 22306 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 61181640 14318546944 26247 18446744073709551615 4194304 4196468 140733658728896 139888640207072 139889169037013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29282304 140733658730963 140733658731138 140733658731138 140733658734543 0
Current children cumulated CPU time (s) 3.3
Current children cumulated vsize (KiB) 13992468
Child status: 0
Real time (s): 1.43065
CPU time (s): 3.32757
CPU user time (s): 3.2425
CPU system time (s): 0.085068
CPU usage (%): 232.592
Max. virtual memory (cumulated for all children) (KiB): 13992468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.2425
system time used= 0.085068
maximum resident set size= 105868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31700
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= 1889
involuntary context switches= 17
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.008006 second user time and 0.01258 second system time
The end