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-4256001-1501632542/watcher-4256001-1501632542 -o /tmp/evaluation-result-4256001-1501632542/solver-4256001-1501632542 -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 1432178604 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256001-1501632542.xml
pid=23240
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.58 1.57 1.59 3/198 23243
/proc/meminfo: memFree=31493840/32770624 swapFree=0/203340
[pid=23243] ppid=23240 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/23243/stat : 23243 (runsolver) D 23240 23243 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 11069563 24240128 106 18446744073709551615 4194304 4338465 140721321855952 140721321853592 139959550788311 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 31252480 140721321857126 140721321857606 140721321857606 140721321861066 0
/proc/23243/statm: 5918 106 53 36 0 2156 0
[startup+0.100187 s]
/proc/loadavg: 1.58 1.57 1.59 3/198 23243
/proc/meminfo: memFree=31493840/32770624 swapFree=0/203340
[pid=23243] ppid=23240 vsize=356952 CPUtime=0 cores=0,2,4,6
/proc/23243/stat : 23243 (java) S 23240 23243 5228 0 -1 1077944320 1780 0 0 0 0 0 0 0 20 0 2 0 11069563 365518848 1945 18446744073709551615 4194304 4196468 140727124842432 140727124824976 140176499629815 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
/proc/23243/statm: 2910739 1994 1134 1 0 2900717 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 356952
[startup+0.200273 s]
/proc/loadavg: 1.58 1.57 1.59 3/198 23243
/proc/meminfo: memFree=31493840/32770624 swapFree=0/203340
[pid=23243] ppid=23240 vsize=13973048 CPUtime=0.05 cores=0,2,4,6
/proc/23243/stat : 23243 (java) S 23240 23243 5228 0 -1 1077944320 4891 0 0 0 5 0 0 0 20 0 15 0 11069563 14308401152 5434 18446744073709551615 4194304 4196468 140727124842432 140727124824976 140176499629815 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
/proc/23243/statm: 3493262 5434 2574 1 0 3482767 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13973048
[startup+0.301228 s]
/proc/loadavg: 1.58 1.57 1.59 3/198 23243
/proc/meminfo: memFree=31493840/32770624 swapFree=0/203340
[pid=23243] ppid=23240 vsize=13975920 CPUtime=0.21 cores=0,2,4,6
/proc/23243/stat : 23243 (java) S 23240 23243 5228 0 -1 1077944320 9898 0 0 0 19 2 0 0 20 0 15 0 11069563 14311342080 9773 18446744073709551615 4194304 4196468 140727124842432 140727124824976 140176499629815 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
/proc/23243/statm: 3494236 9773 3530 1 0 3483023 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 13975920
[startup+0.701184 s]
/proc/loadavg: 1.58 1.57 1.59 3/198 23243
/proc/meminfo: memFree=31493840/32770624 swapFree=0/203340
[pid=23243] ppid=23240 vsize=13977988 CPUtime=0.93 cores=0,2,4,6
/proc/23243/stat : 23243 (java) S 23240 23243 5228 0 -1 1077944320 14025 0 0 0 89 4 0 0 20 0 15 0 11069563 14313459712 16775 18446744073709551615 4194304 4196468 140727124842432 140727124824976 140176499629815 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
/proc/23243/statm: 3494497 16775 3716 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 23243 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.805182 s]
/proc/loadavg: 1.58 1.57 1.59 3/198 23243
/proc/meminfo: memFree=31493840/32770624 swapFree=0/203340
[pid=23243] ppid=23240 vsize=13980036 CPUtime=1.08 cores=0,2,4,6
/proc/23243/stat : 23243 (java) S 23240 23243 5228 0 -1 1077944320 14692 0 0 0 104 4 0 0 20 0 15 0 11069563 14315556864 19551 18446744073709551615 4194304 4196468 140727124842432 140727124824976 140176499629815 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
/proc/23243/statm: 3495009 19551 3717 1 0 3483791 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 13980036
[startup+1.20686 s]
/proc/loadavg: 1.58 1.57 1.59 5/213 23258
/proc/meminfo: memFree=31396324/32770624 swapFree=0/203364
[pid=23243] ppid=23240 vsize=13980036 CPUtime=2.38 cores=0,2,4,6
/proc/23243/stat : 23243 (java) S 23240 23243 5228 0 -1 1077944320 26282 0 0 0 230 8 0 0 20 0 15 0 11069563 14315556864 30690 18446744073709551615 4194304 4196468 140727124842432 140727124824976 140176499629815 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
/proc/23243/statm: 3495009 30690 3734 1 0 3483791 0
[pid=23243/tid=23245] ppid=23240 vsize=13980036 CPUtime=1.05 cores=0,2,4,6
/proc/23243/task/23245/stat : 23245 (java) R 23240 23243 5228 0 -1 4202560 13663 0 0 0 100 5 0 0 20 0 15 0 11069572 14315556864 30690 18446744073709551615 4194304 4196468 140727124842432 140176503866008 140176142991730 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
[pid=23243/tid=23246] ppid=23240 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/23243/task/23246/stat : 23246 (java) S 23240 23243 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11069573 14315556864 30690 18446744073709551615 4194304 4196468 140727124842432 140176460528400 140176499640021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
[pid=23243/tid=23247] ppid=23240 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/23243/task/23247/stat : 23247 (java) S 23240 23243 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11069573 14315556864 30690 18446744073709551615 4194304 4196468 140727124842432 140176459475856 140176499640021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
[pid=23243/tid=23248] ppid=23240 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/23243/task/23248/stat : 23248 (java) S 23240 23243 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11069573 14315556864 30690 18446744073709551615 4194304 4196468 140727124842432 140176097995792 140176499640021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
[pid=23243/tid=23249] ppid=23240 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/23243/task/23249/stat : 23249 (java) S 23240 23243 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11069573 14315556864 30690 18446744073709551615 4194304 4196468 140727124842432 140176096943248 140176499640021 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
[pid=23243/tid=23250] ppid=23240 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/23243/task/23250/stat : 23250 (java) S 23240 23243 5228 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 11069574 14315556864 30690 18446744073709551615 4194304 4196468 140727124842432 140175977957360 140176499640962 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
[pid=23243/tid=23251] ppid=23240 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/23243/task/23251/stat : 23251 (java) S 23240 23243 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11069575 14315556864 30690 18446744073709551615 4194304 4196468 140727124842432 140175976903584 140176499640021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
[pid=23243/tid=23252] ppid=23240 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/23243/task/23252/stat : 23252 (java) S 23240 23243 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11069575 14315556864 30690 18446744073709551615 4194304 4196468 140727124842432 140175975850992 140176499640021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
[pid=23243/tid=23253] ppid=23240 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/23243/task/23253/stat : 23253 (java) S 23240 23243 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11069577 14315556864 30690 18446744073709551615 4194304 4196468 140727124842432 140175974799568 140176499648411 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
[pid=23243/tid=23254] ppid=23240 vsize=13980036 CPUtime=0.47 cores=0,2,4,6
/proc/23243/task/23254/stat : 23254 (java) R 23240 23243 5228 0 -1 4202560 3942 0 0 0 47 0 0 0 20 0 15 0 11069577 14315556864 30690 18446744073709551615 4194304 4196468 140727124842432 140175973733208 140176481174373 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
[pid=23243/tid=23255] ppid=23240 vsize=13980036 CPUtime=0.48 cores=0,2,4,6
/proc/23243/task/23255/stat : 23255 (java) R 23240 23243 5228 0 -1 4202560 5702 0 0 0 48 0 0 0 20 0 15 0 11069577 14315556864 30690 18446744073709551615 4194304 4196468 140727124842432 140175972687128 140176479799312 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
[pid=23243/tid=23256] ppid=23240 vsize=13980036 CPUtime=0.32 cores=0,2,4,6
/proc/23243/task/23256/stat : 23256 (java) R 23240 23243 5228 0 -1 1077944384 1594 0 0 0 32 0 0 0 20 0 15 0 11069578 14315556864 30690 18446744073709551615 4194304 4196468 140727124842432 140175971642096 140176499640962 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
[pid=23243/tid=23257] ppid=23240 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/23243/task/23257/stat : 23257 (java) S 23240 23243 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11069578 14315556864 30690 18446744073709551615 4194304 4196468 140727124842432 140175970589792 140176499640021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
[pid=23243/tid=23258] ppid=23240 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/23243/task/23258/stat : 23258 (java) S 23240 23243 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11069583 14315556864 30690 18446744073709551615 4194304 4196468 140727124842432 140175969536304 140176499640962 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 13980036
[startup+1.30068 s]
/proc/loadavg: 1.58 1.57 1.59 5/213 23258
/proc/meminfo: memFree=31396324/32770624 swapFree=0/203364
[pid=23243] ppid=23240 vsize=13980036 CPUtime=2.66 cores=0,2,4,6
/proc/23243/stat : 23243 (java) S 23240 23243 5228 0 -1 1077944320 27626 0 0 0 258 8 0 0 20 0 15 0 11069563 14315556864 31533 18446744073709551615 4194304 4196468 140727124842432 140727124824976 140176499629815 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
/proc/23243/statm: 3495009 31533 3736 1 0 3483791 0
[pid=23243/tid=23245] ppid=23240 vsize=13980036 CPUtime=1.14 cores=0,2,4,6
/proc/23243/task/23245/stat : 23245 (java) R 23240 23243 5228 0 -1 4202560 13675 0 0 0 109 5 0 0 20 0 15 0 11069572 14315556864 31533 18446744073709551615 4194304 4196468 140727124842432 140176503866008 140176142822193 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
[pid=23243/tid=23246] ppid=23240 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/23243/task/23246/stat : 23246 (java) S 23240 23243 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11069573 14315556864 31533 18446744073709551615 4194304 4196468 140727124842432 140176460528400 140176499640021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
[pid=23243/tid=23247] ppid=23240 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/23243/task/23247/stat : 23247 (java) S 23240 23243 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11069573 14315556864 31533 18446744073709551615 4194304 4196468 140727124842432 140176459475856 140176499640021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
[pid=23243/tid=23248] ppid=23240 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/23243/task/23248/stat : 23248 (java) S 23240 23243 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11069573 14315556864 31533 18446744073709551615 4194304 4196468 140727124842432 140176097995792 140176499640021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
[pid=23243/tid=23249] ppid=23240 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/23243/task/23249/stat : 23249 (java) S 23240 23243 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11069573 14315556864 31533 18446744073709551615 4194304 4196468 140727124842432 140176096943248 140176499640021 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
[pid=23243/tid=23250] ppid=23240 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/23243/task/23250/stat : 23250 (java) S 23240 23243 5228 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 11069574 14315556864 31533 18446744073709551615 4194304 4196468 140727124842432 140175977957360 140176499640962 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
[pid=23243/tid=23251] ppid=23240 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/23243/task/23251/stat : 23251 (java) S 23240 23243 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11069575 14315556864 31533 18446744073709551615 4194304 4196468 140727124842432 140175976903584 140176499640021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
[pid=23243/tid=23252] ppid=23240 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/23243/task/23252/stat : 23252 (java) S 23240 23243 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11069575 14315556864 31533 18446744073709551615 4194304 4196468 140727124842432 140175975850992 140176499640021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
[pid=23243/tid=23253] ppid=23240 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/23243/task/23253/stat : 23253 (java) S 23240 23243 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11069577 14315556864 31533 18446744073709551615 4194304 4196468 140727124842432 140175974799568 140176499648411 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
[pid=23243/tid=23254] ppid=23240 vsize=13980036 CPUtime=0.57 cores=0,2,4,6
/proc/23243/task/23254/stat : 23254 (java) R 23240 23243 5228 0 -1 4202560 4606 0 0 0 57 0 0 0 20 0 15 0 11069577 14315556864 31533 18446744073709551615 4194304 4196468 140727124842432 140175973733208 140176484529091 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
[pid=23243/tid=23255] ppid=23240 vsize=13980036 CPUtime=0.59 cores=0,2,4,6
/proc/23243/task/23255/stat : 23255 (java) R 23240 23243 5228 0 -1 4202560 6369 0 0 0 58 1 0 0 20 0 15 0 11069577 14315556864 31533 18446744073709551615 4194304 4196468 140727124842432 140175972687128 140176478873641 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
[pid=23243/tid=23256] ppid=23240 vsize=13980036 CPUtime=0.33 cores=0,2,4,6
/proc/23243/task/23256/stat : 23256 (java) S 23240 23243 5228 0 -1 1077944384 1595 0 0 0 33 0 0 0 20 0 15 0 11069578 14315556864 31533 18446744073709551615 4194304 4196468 140727124842432 140175971642096 140176499640962 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
[pid=23243/tid=23257] ppid=23240 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/23243/task/23257/stat : 23257 (java) S 23240 23243 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11069578 14315556864 31533 18446744073709551615 4194304 4196468 140727124842432 140175970589792 140176499640021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
[pid=23243/tid=23258] ppid=23240 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/23243/task/23258/stat : 23258 (java) S 23240 23243 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11069583 14315556864 31533 18446744073709551615 4194304 4196468 140727124842432 140175969536304 140176499640962 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140727124844945 140727124845131 140727124845131 140727124848591 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 13980036
Child status: 0
Real time (s): 1.39473
CPU time (s): 2.92798
CPU user time (s): 2.83916
CPU system time (s): 0.088819
CPU usage (%): 209.931
Max. virtual memory (cumulated for all children) (KiB): 13980036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.83916
system time used= 0.088819
maximum resident set size= 134328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28511
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= 1880
involuntary context switches= 13
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.009081 second user time and 0.017317 second system time
The end