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-4256732-1501632904/watcher-4256732-1501632904 -o /tmp/evaluation-result-4256732-1501632904/solver-4256732-1501632904 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501623096-17792 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 2130079903 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256732-1501632904.xml
pid=25653
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.55 1.53 1.54 3/202 25656
/proc/meminfo: memFree=31281864/32770624 swapFree=0/187584
[pid=25656] ppid=25653 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/25656/stat : 25656 (runsolver) D 25653 25656 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 5201052 24240128 107 18446744073709551615 4194304 4338465 140721105929232 140721105926872 139638365745879 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 33492992 140721105932395 140721105932871 140721105932871 140721105936330 0
/proc/25656/statm: 5918 107 54 36 0 2156 0
[startup+0.100414 s]
/proc/loadavg: 1.55 1.53 1.54 3/202 25656
/proc/meminfo: memFree=31281864/32770624 swapFree=0/187584
[pid=25656] ppid=25653 vsize=13840948 CPUtime=0.04 cores=0,2,4,6
/proc/25656/stat : 25656 (java) S 25653 25656 3187 0 -1 1077944320 4869 0 0 0 4 0 0 0 20 0 14 0 5201052 14173130752 5877 18446744073709551615 4194304 4196468 140730680534240 140730680516784 140333007650551 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
/proc/25656/statm: 3493005 5877 2496 1 0 3482510 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13840948
[startup+0.20033 s]
/proc/loadavg: 1.55 1.53 1.54 3/202 25656
/proc/meminfo: memFree=31281864/32770624 swapFree=0/187584
[pid=25656] ppid=25653 vsize=13975920 CPUtime=0.07 cores=0,2,4,6
/proc/25656/stat : 25656 (java) S 25653 25656 3187 0 -1 1077944320 6574 0 0 0 6 1 0 0 20 0 15 0 5201052 14311342080 7259 18446744073709551615 4194304 4196468 140730680534240 140730680516784 140333007650551 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
/proc/25656/statm: 3493980 7325 3209 1 0 3482767 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13975920
[startup+0.300621 s]
/proc/loadavg: 1.55 1.53 1.54 3/202 25656
/proc/meminfo: memFree=31281864/32770624 swapFree=0/187584
[pid=25656] ppid=25653 vsize=13975920 CPUtime=0.23 cores=0,2,4,6
/proc/25656/stat : 25656 (java) S 25653 25656 3187 0 -1 1077944320 10121 0 0 0 21 2 0 0 20 0 15 0 5201052 14311342080 10381 18446744073709551615 4194304 4196468 140730680534240 140730680516784 140333007650551 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
/proc/25656/statm: 3493980 10381 3487 1 0 3482767 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 13975920
[startup+0.707603 s]
/proc/loadavg: 1.55 1.53 1.54 3/202 25656
/proc/meminfo: memFree=31281864/32770624 swapFree=0/187584
[pid=25656] ppid=25653 vsize=13977988 CPUtime=1 cores=0,2,4,6
/proc/25656/stat : 25656 (java) S 25653 25656 3187 0 -1 1077944320 13846 0 0 0 96 4 0 0 20 0 15 0 5201052 14313459712 17128 18446744073709551615 4194304 4196468 140730680534240 140730680516784 140333007650551 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
/proc/25656/statm: 3494497 17128 3718 1 0 3483279 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 13977988
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25656 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.801746 s]
/proc/loadavg: 1.55 1.53 1.54 3/202 25656
/proc/meminfo: memFree=31281864/32770624 swapFree=0/187584
[pid=25656] ppid=25653 vsize=13980036 CPUtime=1.17 cores=0,2,4,6
/proc/25656/stat : 25656 (java) S 25653 25656 3187 0 -1 1077944320 14412 0 0 0 113 4 0 0 20 0 15 0 5201052 14315556864 18758 18446744073709551615 4194304 4196468 140730680534240 140730680516784 140333007650551 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
/proc/25656/statm: 3495009 18758 3728 1 0 3483791 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 13980036
[startup+1.20709 s]
/proc/loadavg: 1.55 1.53 1.54 5/217 25671
/proc/meminfo: memFree=31193728/32770624 swapFree=0/187588
[pid=25656] ppid=25653 vsize=13980036 CPUtime=2.25 cores=0,2,4,6
/proc/25656/stat : 25656 (java) S 25653 25656 3187 0 -1 1077944320 22247 0 0 0 217 8 0 0 20 0 15 0 5201052 14315556864 27893 18446744073709551615 4194304 4196468 140730680534240 140730680516784 140333007650551 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
/proc/25656/statm: 3495009 27893 3751 1 0 3483791 0
[pid=25656/tid=25658] ppid=25653 vsize=13980036 CPUtime=1.06 cores=0,2,4,6
/proc/25656/task/25658/stat : 25658 (java) R 25653 25656 3187 0 -1 4202560 13939 0 0 0 101 5 0 0 20 0 15 0 5201056 14315556864 27893 18446744073709551615 4194304 4196468 140730680534240 140333011886472 140332641108130 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
[pid=25656/tid=25659] ppid=25653 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/25656/task/25659/stat : 25659 (java) S 25653 25656 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 5201057 14315556864 27893 18446744073709551615 4194304 4196468 140730680534240 140332964617360 140333007660757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
[pid=25656/tid=25660] ppid=25653 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/25656/task/25660/stat : 25660 (java) S 25653 25656 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 5201057 14315556864 27893 18446744073709551615 4194304 4196468 140730680534240 140332963564560 140333007660757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
[pid=25656/tid=25661] ppid=25653 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/25656/task/25661/stat : 25661 (java) S 25653 25656 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 5201057 14315556864 27893 18446744073709551615 4194304 4196468 140730680534240 140332962511760 140333007660757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
[pid=25656/tid=25662] ppid=25653 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/25656/task/25662/stat : 25662 (java) S 25653 25656 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 5201057 14315556864 27893 18446744073709551615 4194304 4196468 140730680534240 140332961458960 140333007660757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
[pid=25656/tid=25663] ppid=25653 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/25656/task/25663/stat : 25663 (java) S 25653 25656 3187 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 5201058 14315556864 27893 18446744073709551615 4194304 4196468 140730680534240 140331924580720 140333007661698 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
[pid=25656/tid=25664] ppid=25653 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/25656/task/25664/stat : 25664 (java) S 25653 25656 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 5201059 14315556864 27893 18446744073709551615 4194304 4196468 140730680534240 140331923526688 140333007660757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
[pid=25656/tid=25665] ppid=25653 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/25656/task/25665/stat : 25665 (java) S 25653 25656 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 5201059 14315556864 27893 18446744073709551615 4194304 4196468 140730680534240 140331922473840 140333007660757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
[pid=25656/tid=25666] ppid=25653 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/25656/task/25666/stat : 25666 (java) S 25653 25656 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5201062 14315556864 27893 18446744073709551615 4194304 4196468 140730680534240 140331921422160 140333007669147 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
[pid=25656/tid=25667] ppid=25653 vsize=13980036 CPUtime=0.37 cores=0,2,4,6
/proc/25656/task/25667/stat : 25667 (java) R 25653 25656 3187 0 -1 4202560 2668 0 0 0 37 0 0 0 20 0 15 0 5201062 14315556864 27893 18446744073709551615 4194304 4196468 140730680534240 140331920362496 140332991553632 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
[pid=25656/tid=25668] ppid=25653 vsize=13980036 CPUtime=0.39 cores=0,2,4,6
/proc/25656/task/25668/stat : 25668 (java) R 25653 25656 3187 0 -1 4202560 2672 0 0 0 39 0 0 0 20 0 15 0 5201062 14315556864 27893 18446744073709551615 4194304 4196468 140730680534240 140331919298944 140332989171043 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
[pid=25656/tid=25669] ppid=25653 vsize=13980036 CPUtime=0.38 cores=0,2,4,6
/proc/25656/task/25669/stat : 25669 (java) S 25653 25656 3187 0 -1 1077944384 1589 0 0 0 38 0 0 0 20 0 15 0 5201062 14315556864 27893 18446744073709551615 4194304 4196468 140730680534240 140331918264944 140333007661698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
[pid=25656/tid=25670] ppid=25653 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/25656/task/25670/stat : 25670 (java) S 25653 25656 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5201062 14315556864 27893 18446744073709551615 4194304 4196468 140730680534240 140331917212384 140333007660757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
[pid=25656/tid=25671] ppid=25653 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/25656/task/25671/stat : 25671 (java) S 25653 25656 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5201070 14315556864 27893 18446744073709551615 4194304 4196468 140730680534240 140331916159664 140333007661698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 13980036
[startup+1.30064 s]
/proc/loadavg: 1.55 1.53 1.54 5/217 25671
/proc/meminfo: memFree=31193728/32770624 swapFree=0/187588
[pid=25656] ppid=25653 vsize=13980036 CPUtime=2.54 cores=0,2,4,6
/proc/25656/stat : 25656 (java) S 25653 25656 3187 0 -1 1077944320 23182 0 0 0 246 8 0 0 20 0 15 0 5201052 14315556864 29378 18446744073709551615 4194304 4196468 140730680534240 140730680516784 140333007650551 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
/proc/25656/statm: 3495009 29378 3752 1 0 3483791 0
[pid=25656/tid=25658] ppid=25653 vsize=13980036 CPUtime=1.15 cores=0,2,4,6
/proc/25656/task/25658/stat : 25658 (java) R 25653 25656 3187 0 -1 4202560 13949 0 0 0 110 5 0 0 20 0 15 0 5201056 14315556864 29378 18446744073709551615 4194304 4196468 140730680534240 140333011880288 140332641300597 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
[pid=25656/tid=25659] ppid=25653 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/25656/task/25659/stat : 25659 (java) S 25653 25656 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 5201057 14315556864 29378 18446744073709551615 4194304 4196468 140730680534240 140332964617360 140333007660757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
[pid=25656/tid=25660] ppid=25653 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/25656/task/25660/stat : 25660 (java) S 25653 25656 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 5201057 14315556864 29378 18446744073709551615 4194304 4196468 140730680534240 140332963564560 140333007660757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
[pid=25656/tid=25661] ppid=25653 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/25656/task/25661/stat : 25661 (java) S 25653 25656 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 5201057 14315556864 29378 18446744073709551615 4194304 4196468 140730680534240 140332962511760 140333007660757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
[pid=25656/tid=25662] ppid=25653 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/25656/task/25662/stat : 25662 (java) S 25653 25656 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 5201057 14315556864 29378 18446744073709551615 4194304 4196468 140730680534240 140332961458960 140333007660757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
[pid=25656/tid=25663] ppid=25653 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/25656/task/25663/stat : 25663 (java) S 25653 25656 3187 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 5201058 14315556864 29378 18446744073709551615 4194304 4196468 140730680534240 140331924580720 140333007661698 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
[pid=25656/tid=25664] ppid=25653 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/25656/task/25664/stat : 25664 (java) S 25653 25656 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 5201059 14315556864 29378 18446744073709551615 4194304 4196468 140730680534240 140331923526688 140333007660757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
[pid=25656/tid=25665] ppid=25653 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/25656/task/25665/stat : 25665 (java) S 25653 25656 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 5201059 14315556864 29378 18446744073709551615 4194304 4196468 140730680534240 140331922473840 140333007660757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
[pid=25656/tid=25666] ppid=25653 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/25656/task/25666/stat : 25666 (java) S 25653 25656 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5201062 14315556864 29378 18446744073709551615 4194304 4196468 140730680534240 140331921422160 140333007669147 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
[pid=25656/tid=25667] ppid=25653 vsize=13980036 CPUtime=0.47 cores=0,2,4,6
/proc/25656/task/25667/stat : 25667 (java) R 25653 25656 3187 0 -1 4202560 3284 0 0 0 47 0 0 0 20 0 15 0 5201062 14315556864 29378 18446744073709551615 4194304 4196468 140730680534240 140331920362496 140332991114349 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
[pid=25656/tid=25668] ppid=25653 vsize=13980036 CPUtime=0.49 cores=0,2,4,6
/proc/25656/task/25668/stat : 25668 (java) R 25653 25656 3187 0 -1 4202560 2936 0 0 0 49 0 0 0 20 0 15 0 5201062 14315556864 29378 18446744073709551615 4194304 4196468 140730680534240 140331919306544 140332987009063 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
[pid=25656/tid=25669] ppid=25653 vsize=13980036 CPUtime=0.39 cores=0,2,4,6
/proc/25656/task/25669/stat : 25669 (java) S 25653 25656 3187 0 -1 1077944384 1634 0 0 0 39 0 0 0 20 0 15 0 5201062 14315556864 29378 18446744073709551615 4194304 4196468 140730680534240 140331918264944 140333007661698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
[pid=25656/tid=25670] ppid=25653 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/25656/task/25670/stat : 25670 (java) S 25653 25656 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5201062 14315556864 29378 18446744073709551615 4194304 4196468 140730680534240 140331917212384 140333007660757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
[pid=25656/tid=25671] ppid=25653 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/25656/task/25671/stat : 25671 (java) S 25653 25656 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5201070 14315556864 29378 18446744073709551615 4194304 4196468 140730680534240 140331916159664 140333007661698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140730680541590 140730680541772 140730680541772 140730680545231 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 13980036
Child status: 0
Real time (s): 1.36899
CPU time (s): 2.71711
CPU user time (s): 2.62488
CPU system time (s): 0.092228
CPU usage (%): 198.476
Max. virtual memory (cumulated for all children) (KiB): 13980036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.62488
system time used= 0.092228
maximum resident set size= 123204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24290
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= 2399
involuntary context switches= 13
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.008365 second user time and 0.023701 second system time
The end