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-4255073-1501620862/watcher-4255073-1501620862 -o /tmp/evaluation-result-4255073-1501620862/solver-4255073-1501620862 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501617097-24795 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 876184064 HOME/instance-4255073-1501620862.xml
pid=27222
running on 4 cores: 1,3,5,7
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.97 1.97 1.85 3/200 27225
/proc/meminfo: memFree=31477080/32770624 swapFree=0/214936
[pid=27225] ppid=27222 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/27225/stat : 27225 (runsolver) D 27222 27225 18930 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 61739735 24240128 106 18446744073709551615 4194304 4338465 140724624152224 140724624149864 139928341054167 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 31072256 140724624154716 140724624155205 140724624155205 140724624158666 0
/proc/27225/statm: 5918 106 53 36 0 2156 0
[startup+0.100162 s]
/proc/loadavg: 1.97 1.97 1.85 3/200 27225
/proc/meminfo: memFree=31477080/32770624 swapFree=0/214936
[pid=27225] ppid=27222 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/27225/stat : 27225 (xcsp3-exec) S 27222 27225 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61739735 9740288 345 18446744073709551615 4194304 5098028 140721343802880 140721343800984 140539373441660 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 7921664 140721343807899 140721343808102 140721343808102 140721343811563 0
/proc/27225/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20022 s]
/proc/loadavg: 1.97 1.97 1.85 3/200 27225
/proc/meminfo: memFree=31477080/32770624 swapFree=0/214936
[pid=27225] ppid=27222 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/27225/stat : 27225 (xcsp3-exec) S 27222 27225 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61739735 9740288 345 18446744073709551615 4194304 5098028 140721343802880 140721343800984 140539373441660 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 7921664 140721343807899 140721343808102 140721343808102 140721343811563 0
/proc/27225/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300311 s]
/proc/loadavg: 1.97 1.97 1.85 3/200 27225
/proc/meminfo: memFree=31477080/32770624 swapFree=0/214936
[pid=27225] ppid=27222 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/27225/stat : 27225 (xcsp3-exec) S 27222 27225 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61739735 9740288 345 18446744073709551615 4194304 5098028 140721343802880 140721343800984 140539373441660 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 7921664 140721343807899 140721343808102 140721343808102 140721343811563 0
/proc/27225/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.704257 s]
/proc/loadavg: 1.97 1.97 1.85 3/200 27225
/proc/meminfo: memFree=31477080/32770624 swapFree=0/214936
[pid=27225] ppid=27222 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/27225/stat : 27225 (xcsp3-exec) S 27222 27225 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61739735 9740288 345 18446744073709551615 4194304 5098028 140721343802880 140721343800984 140539373441660 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 7921664 140721343807899 140721343808102 140721343808102 140721343811563 0
/proc/27225/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50074 s]
/proc/loadavg: 1.97 1.97 1.85 5/216 27241
/proc/meminfo: memFree=31396024/32770624 swapFree=0/214952
[pid=27225] ppid=27222 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/27225/stat : 27225 (xcsp3-exec) S 27222 27225 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61739735 9740288 345 18446744073709551615 4194304 5098028 140721343802880 140721343800984 140539373441660 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 7921664 140721343807899 140721343808102 140721343808102 140721343811563 0
/proc/27225/statm: 2378 345 289 221 0 87 0
[pid=27227] ppid=27225 vsize=13980732 CPUtime=3.79 cores=1,3,5,7
/proc/27227/stat : 27227 (java) S 27225 27225 18930 0 -1 1077944320 25471 0 0 0 372 7 0 0 20 0 15 0 61739741 14316269568 26959 18446744073709551615 4194304 4196468 140737189432976 140737189415520 140087874186999 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28647424 140737189437907 140737189438082 140737189438082 140737189441487 0
/proc/27227/statm: 3495183 26959 3188 1 0 3483484 0
[pid=27227/tid=27228] ppid=27225 vsize=13980732 CPUtime=1.37 cores=1,3,5,7
/proc/27227/task/27228/stat : 27228 (java) R 27225 27225 18930 0 -1 4202560 9853 0 0 0 133 4 0 0 20 0 15 0 61739742 14316269568 26959 18446744073709551615 4194304 4196468 140737189432976 140087878424968 140087492969126 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 28647424 140737189437907 140737189438082 140737189438082 140737189441487 0
[pid=27227/tid=27229] ppid=27225 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/27227/task/27229/stat : 27229 (java) S 27225 27225 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61739742 14316269568 26959 18446744073709551615 4194304 4196468 140737189432976 140087808621328 140087874197205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28647424 140737189437907 140737189438082 140737189438082 140737189441487 0
[pid=27227/tid=27230] ppid=27225 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/27227/task/27230/stat : 27230 (java) S 27225 27225 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61739742 14316269568 26959 18446744073709551615 4194304 4196468 140737189432976 140087473650576 140087874197205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28647424 140737189437907 140737189438082 140737189438082 140737189441487 0
[pid=27227/tid=27231] ppid=27225 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/27227/task/27231/stat : 27231 (java) S 27225 27225 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61739742 14316269568 27025 18446744073709551615 4194304 4196468 140737189432976 140087472598032 140087874197205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28647424 140737189437907 140737189438082 140737189438082 140737189441487 0
[pid=27227/tid=27232] ppid=27225 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/27227/task/27232/stat : 27232 (java) S 27225 27225 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61739742 14316269568 27025 18446744073709551615 4194304 4196468 140737189432976 140087471545488 140087874197205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28647424 140737189437907 140737189438082 140737189438082 140737189441487 0
[pid=27227/tid=27233] ppid=27225 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/27227/task/27233/stat : 27233 (java) S 27225 27225 18930 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 61739744 14316269568 27025 18446744073709551615 4194304 4196468 140737189432976 140087419828208 140087874198146 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28647424 140737189437907 140737189438082 140737189438082 140737189441487 0
[pid=27227/tid=27234] ppid=27225 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/27227/task/27234/stat : 27234 (java) S 27225 27225 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61739744 14316269568 27025 18446744073709551615 4194304 4196468 140737189432976 140087418774432 140087874197205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28647424 140737189437907 140737189438082 140737189438082 140737189441487 0
[pid=27227/tid=27235] ppid=27225 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/27227/task/27235/stat : 27235 (java) S 27225 27225 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61739744 14316269568 27025 18446744073709551615 4194304 4196468 140737189432976 140087417721840 140087874197205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28647424 140737189437907 140737189438082 140737189438082 140737189441487 0
[pid=27227/tid=27236] ppid=27225 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/27227/task/27236/stat : 27236 (java) S 27225 27225 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61739747 14316269568 27025 18446744073709551615 4194304 4196468 140737189432976 140087416670416 140087874205595 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28647424 140737189437907 140737189438082 140737189438082 140737189441487 0
[pid=27227/tid=27237] ppid=27225 vsize=13980732 CPUtime=0.92 cores=1,3,5,7
/proc/27227/task/27237/stat : 27237 (java) R 27225 27225 18930 0 -1 4202560 5693 0 0 0 92 0 0 0 20 0 15 0 61739747 14316269568 27025 18446744073709551615 4194304 4196468 140737189432976 140087415604416 140087855730722 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28647424 140737189437907 140737189438082 140737189438082 140737189441487 0
[pid=27227/tid=27238] ppid=27225 vsize=13980732 CPUtime=0.95 cores=1,3,5,7
/proc/27227/task/27238/stat : 27238 (java) R 27225 27225 18930 0 -1 4202560 5878 0 0 0 95 0 0 0 20 0 15 0 61739747 14316269568 27025 18446744073709551615 4194304 4196468 140737189432976 140087414552480 140087853432847 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28647424 140737189437907 140737189438082 140737189438082 140737189441487 0
[pid=27227/tid=27239] ppid=27225 vsize=13980732 CPUtime=0.49 cores=1,3,5,7
/proc/27227/task/27239/stat : 27239 (java) S 27225 27225 18930 0 -1 1077944384 2804 0 0 0 49 0 0 0 20 0 15 0 61739747 14316269568 27091 18446744073709551615 4194304 4196468 140737189432976 140087413512944 140087874198146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28647424 140737189437907 140737189438082 140737189438082 140737189441487 0
[pid=27227/tid=27240] ppid=27225 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/27227/task/27240/stat : 27240 (java) S 27225 27225 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61739747 14316269568 27091 18446744073709551615 4194304 4196468 140737189432976 140087412460640 140087874197205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28647424 140737189437907 140737189438082 140737189438082 140737189441487 0
[pid=27227/tid=27241] ppid=27225 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/27227/task/27241/stat : 27241 (java) S 27225 27225 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61739751 14316269568 27091 18446744073709551615 4194304 4196468 140737189432976 140087411407152 140087874198146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28647424 140737189437907 140737189438082 140737189438082 140737189441487 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 13990244
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 27227 sig 9
??? kill 27225 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60094 s]
/proc/loadavg: 1.97 1.97 1.85 5/216 27241
/proc/meminfo: memFree=31396024/32770624 swapFree=0/214952
[pid=27225] ppid=27222 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/27225/stat : 27225 (xcsp3-exec) S 27222 27225 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61739735 9740288 345 18446744073709551615 4194304 5098028 140721343802880 140721343800984 140539373441660 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 7921664 140721343807899 140721343808102 140721343808102 140721343811563 0
/proc/27225/statm: 2378 345 289 221 0 87 0
[pid=27227] ppid=27225 vsize=13982580 CPUtime=4.1 cores=1,3,5,7
/proc/27227/stat : 27227 (java) S 27225 27225 18930 0 -1 1077944320 28903 0 0 0 402 8 0 0 20 0 15 0 61739741 14318161920 30910 18446744073709551615 4194304 4196468 140737189432976 140737189415520 140087874186999 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28647424 140737189437907 140737189438082 140737189438082 140737189441487 0
/proc/27227/statm: 3495645 30910 3188 1 0 3483946 0
[pid=27227/tid=27228] ppid=27225 vsize=13982580 CPUtime=1.47 cores=1,3,5,7
/proc/27227/task/27228/stat : 27228 (java) R 27225 27225 18930 0 -1 4202560 9857 0 0 0 143 4 0 0 20 0 15 0 61739742 14318161920 30910 18446744073709551615 4194304 4196468 140737189432976 140087878424968 140087492670499 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 28647424 140737189437907 140737189438082 140737189438082 140737189441487 0
[pid=27227/tid=27229] ppid=27225 vsize=13982580 CPUtime=0 cores=1,3,5,7
/proc/27227/task/27229/stat : 27229 (java) S 27225 27225 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61739742 14318161920 30910 18446744073709551615 4194304 4196468 140737189432976 140087808621328 140087874197205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28647424 140737189437907 140737189438082 140737189438082 140737189441487 0
[pid=27227/tid=27230] ppid=27225 vsize=13982580 CPUtime=0 cores=1,3,5,7
/proc/27227/task/27230/stat : 27230 (java) S 27225 27225 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61739742 14318161920 30910 18446744073709551615 4194304 4196468 140737189432976 140087473650576 140087874197205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28647424 140737189437907 140737189438082 140737189438082 140737189441487 0
[pid=27227/tid=27231] ppid=27225 vsize=13982580 CPUtime=0 cores=1,3,5,7
/proc/27227/task/27231/stat : 27231 (java) S 27225 27225 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61739742 14318161920 30910 18446744073709551615 4194304 4196468 140737189432976 140087472598032 140087874197205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28647424 140737189437907 140737189438082 140737189438082 140737189441487 0
[pid=27227/tid=27232] ppid=27225 vsize=13982580 CPUtime=0 cores=1,3,5,7
/proc/27227/task/27232/stat : 27232 (java) S 27225 27225 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61739742 14318161920 30910 18446744073709551615 4194304 4196468 140737189432976 140087471545488 140087874197205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28647424 140737189437907 140737189438082 140737189438082 140737189441487 0
[pid=27227/tid=27233] ppid=27225 vsize=13982580 CPUtime=0 cores=1,3,5,7
/proc/27227/task/27233/stat : 27233 (java) S 27225 27225 18930 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 61739744 14318161920 30910 18446744073709551615 4194304 4196468 140737189432976 140087419828208 140087874198146 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28647424 140737189437907 140737189438082 140737189438082 140737189441487 0
[pid=27227/tid=27234] ppid=27225 vsize=13982580 CPUtime=0 cores=1,3,5,7
/proc/27227/task/27234/stat : 27234 (java) S 27225 27225 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61739744 14318161920 30910 18446744073709551615 4194304 4196468 140737189432976 140087418774432 140087874197205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28647424 140737189437907 140737189438082 140737189438082 140737189441487 0
[pid=27227/tid=27235] ppid=27225 vsize=13982580 CPUtime=0 cores=1,3,5,7
/proc/27227/task/27235/stat : 27235 (java) S 27225 27225 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61739744 14318161920 30910 18446744073709551615 4194304 4196468 140737189432976 140087417721840 140087874197205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28647424 140737189437907 140737189438082 140737189438082 140737189441487 0
[pid=27227/tid=27236] ppid=27225 vsize=13982580 CPUtime=0 cores=1,3,5,7
/proc/27227/task/27236/stat : 27236 (java) S 27225 27225 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61739747 14318161920 30910 18446744073709551615 4194304 4196468 140737189432976 140087416670416 140087874205595 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28647424 140737189437907 140737189438082 140737189438082 140737189441487 0
[pid=27227/tid=27237] ppid=27225 vsize=13982580 CPUtime=1.02 cores=1,3,5,7
/proc/27227/task/27237/stat : 27237 (java) R 27225 27225 18930 0 -1 4202560 6530 0 0 0 102 0 0 0 20 0 15 0 61739747 14318161920 30910 18446744073709551615 4194304 4196468 140737189432976 140087415603768 140087855711972 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28647424 140737189437907 140737189438082 140737189438082 140737189441487 0
[pid=27227/tid=27238] ppid=27225 vsize=13982580 CPUtime=1.06 cores=1,3,5,7
/proc/27227/task/27238/stat : 27238 (java) R 27225 27225 18930 0 -1 4202560 8153 0 0 0 105 1 0 0 20 0 15 0 61739747 14318161920 30910 18446744073709551615 4194304 4196468 140737189432976 140087414549960 140087853434088 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28647424 140737189437907 140737189438082 140737189438082 140737189441487 0
[pid=27227/tid=27239] ppid=27225 vsize=13982580 CPUtime=0.51 cores=1,3,5,7
/proc/27227/task/27239/stat : 27239 (java) S 27225 27225 18930 0 -1 1077944384 3042 0 0 0 50 1 0 0 20 0 15 0 61739747 14318161920 30910 18446744073709551615 4194304 4196468 140737189432976 140087413512944 140087874198146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28647424 140737189437907 140737189438082 140737189438082 140737189441487 0
[pid=27227/tid=27240] ppid=27225 vsize=13982580 CPUtime=0 cores=1,3,5,7
/proc/27227/task/27240/stat : 27240 (java) S 27225 27225 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61739747 14318161920 30910 18446744073709551615 4194304 4196468 140737189432976 140087412460640 140087874197205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28647424 140737189437907 140737189438082 140737189438082 140737189441487 0
[pid=27227/tid=27241] ppid=27225 vsize=13982580 CPUtime=0 cores=1,3,5,7
/proc/27227/task/27241/stat : 27241 (java) S 27225 27225 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61739751 14318161920 30910 18446744073709551615 4194304 4196468 140737189432976 140087411407152 140087874198146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28647424 140737189437907 140737189438082 140737189438082 140737189441487 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 13992092
Child status: 0
Real time (s): 1.69063
CPU time (s): 4.34854
CPU user time (s): 4.26055
CPU system time (s): 0.087988
CPU usage (%): 257.214
Max. virtual memory (cumulated for all children) (KiB): 13992092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.26055
system time used= 0.087988
maximum resident set size= 127812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30348
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= 2207
involuntary context switches= 10
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.010185 second user time and 0.011203 second system time
The end