runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3737315-1339248640/watcher-3737315-1339248640 -o /tmp/evaluation-result-3737315-1339248640/solver-3737315-1339248640 -C 1800 -W 1900 -M 15500 run HOME/instance-3737315-1339248640.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 1.99 1.68 3/178 28965
/proc/meminfo: memFree=30333492/32873844 swapFree=7380/7380
[pid=28965] ppid=28963 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28965/stat : 28965 (run) S 28963 28965 28815 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390990108 9367552 270 33554432000 4194304 5064252 140735816234448 140735816233360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28965/statm: 2287 270 229 213 0 72 0
[startup+0.064144 s]
/proc/loadavg: 2.00 1.99 1.68 3/178 28965
/proc/meminfo: memFree=30333492/32873844 swapFree=7380/7380
[pid=28965] ppid=28963 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28965/stat : 28965 (run) S 28963 28965 28815 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390990108 9367552 270 33554432000 4194304 5064252 140735816234448 140735816233360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28965/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100307 s]
/proc/loadavg: 2.00 1.99 1.68 3/178 28965
/proc/meminfo: memFree=30333492/32873844 swapFree=7380/7380
[pid=28965] ppid=28963 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28965/stat : 28965 (run) S 28963 28965 28815 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390990108 9367552 270 33554432000 4194304 5064252 140735816234448 140735816233360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28965/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300312 s]
/proc/loadavg: 2.00 1.99 1.68 3/178 28965
/proc/meminfo: memFree=30333492/32873844 swapFree=7380/7380
[pid=28965] ppid=28963 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28965/stat : 28965 (run) S 28963 28965 28815 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390990108 9367552 270 33554432000 4194304 5064252 140735816234448 140735816233360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28965/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700262 s]
/proc/loadavg: 2.00 1.99 1.68 3/178 28965
/proc/meminfo: memFree=30333492/32873844 swapFree=7380/7380
[pid=28965] ppid=28963 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28965/stat : 28965 (run) S 28963 28965 28815 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390990108 9367552 270 33554432000 4194304 5064252 140735816234448 140735816233360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28965/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 1.92 1.97 1.68 2/177 28968
/proc/meminfo: memFree=31096448/32873844 swapFree=7380/7380
[pid=28965] ppid=28963 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28965/stat : 28965 (run) S 28963 28965 28815 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390990108 9367552 270 33554432000 4194304 5064252 140735816234448 140735816233360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28965/statm: 2287 270 229 213 0 72 0
[pid=28966] ppid=28965 vsize=36060 CPUtime=1.49 cores=0,2,4,6
/proc/28966/stat : 28966 (pb_cplex) R 28965 28965 28815 0 -1 4202496 7196 0 0 0 148 1 0 0 20 0 1 0 390990108 36925440 5606 33554432000 134512640 146736320 4292710320 4292706140 136406042 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/28966/statm: 9015 5606 857 2985 0 5949 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45208
[startup+3.10027 s]
/proc/loadavg: 1.92 1.97 1.68 2/177 28968
/proc/meminfo: memFree=31091116/32873844 swapFree=7380/7380
[pid=28965] ppid=28963 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28965/stat : 28965 (run) S 28963 28965 28815 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390990108 9367552 270 33554432000 4194304 5064252 140735816234448 140735816233360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28965/statm: 2287 270 229 213 0 72 0
[pid=28966] ppid=28965 vsize=34748 CPUtime=3.08 cores=0,2,4,6
/proc/28966/stat : 28966 (pb_cplex) R 28965 28965 28815 0 -1 4202496 10838 0 0 0 307 1 0 0 20 0 1 0 390990108 35581952 5519 33554432000 134512640 146736320 4292710320 4292704360 139044499 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/28966/statm: 8687 5519 897 2985 0 5621 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 43896
[startup+6.30027 s]
/proc/loadavg: 1.92 1.97 1.68 3/180 29019
/proc/meminfo: memFree=31113868/32873844 swapFree=7380/7380
[pid=28965] ppid=28963 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28965/stat : 28965 (run) S 28963 28965 28815 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390990108 9367552 270 33554432000 4194304 5064252 140735816234448 140735816233360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28965/statm: 2287 270 229 213 0 72 0
[pid=28966] ppid=28965 vsize=35804 CPUtime=6.28 cores=0,2,4,6
/proc/28966/stat : 28966 (pb_cplex) R 28965 28965 28815 0 -1 4202496 12813 0 0 0 626 2 0 0 20 0 1 0 390990108 36663296 5802 33554432000 134512640 146736320 4292710320 4292704140 136018134 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/28966/statm: 8951 5802 897 2985 0 5885 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 44952
[startup+12.7003 s]
/proc/loadavg: 1.93 1.97 1.68 3/180 29019
/proc/meminfo: memFree=30881268/32873844 swapFree=7380/7380
[pid=28965] ppid=28963 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28965/stat : 28965 (run) S 28963 28965 28815 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390990108 9367552 270 33554432000 4194304 5064252 140735816234448 140735816233360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28965/statm: 2287 270 229 213 0 72 0
[pid=28966] ppid=28965 vsize=35804 CPUtime=12.68 cores=0,2,4,6
/proc/28966/stat : 28966 (pb_cplex) R 28965 28965 28815 0 -1 4202496 12825 0 0 0 1266 2 0 0 20 0 1 0 390990108 36663296 6236 33554432000 134512640 146736320 4292710320 4292703828 136017757 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/28966/statm: 8951 6236 897 2985 0 5885 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 44952
[startup+25.5004 s]
/proc/loadavg: 2.50 2.09 1.72 10/186 29027
/proc/meminfo: memFree=30838364/32873844 swapFree=7380/7380
[pid=28965] ppid=28963 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28965/stat : 28965 (run) S 28963 28965 28815 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390990108 9367552 270 33554432000 4194304 5064252 140735816234448 140735816233360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28965/statm: 2287 270 229 213 0 72 0
[pid=28966] ppid=28965 vsize=160024 CPUtime=43.93 cores=0,2,4,6
/proc/28966/stat : 28966 (pb_cplex) R 28965 28965 28815 0 -1 4202496 26130 0 0 0 4386 7 0 0 20 0 8 0 390990108 163864576 15942 33554432000 134512640 146736320 4292710320 4292703180 136388963 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28966/statm: 40006 15942 927 2985 0 36940 0
[pid=28966/tid=29020] ppid=28965 vsize=160024 CPUtime=3.26 cores=0,2,4,6
/proc/28966/task/29020/stat : 29020 (pb_cplex) R 28965 28965 28815 0 -1 4202560 661 0 0 0 326 0 0 0 20 0 8 0 390991560 163864576 15942 33554432000 134512640 146736320 4292710320 4138062032 136008050 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=28966/tid=29021] ppid=28965 vsize=160024 CPUtime=3.02 cores=0,2,4,6
/proc/28966/task/29021/stat : 29021 (pb_cplex) R 28965 28965 28815 0 -1 4202560 1009 0 0 0 302 0 0 0 20 0 8 0 390991560 163864576 15942 33554432000 134512640 146736320 4292710320 4127576656 136403112 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28966/tid=29022] ppid=28965 vsize=160024 CPUtime=3.11 cores=0,2,4,6
/proc/28966/task/29022/stat : 29022 (pb_cplex) R 28965 28965 28815 0 -1 4202560 855 0 0 0 311 0 0 0 20 0 8 0 390991560 163864576 15942 33554432000 134512640 146736320 4292710320 4117090512 136008050 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=28966/tid=29023] ppid=28965 vsize=160024 CPUtime=3.14 cores=0,2,4,6
/proc/28966/task/29023/stat : 29023 (pb_cplex) R 28965 28965 28815 0 -1 4202560 1685 0 0 0 314 0 0 0 20 0 8 0 390991560 163864576 15942 33554432000 134512640 146736320 4292710320 4106604752 136008167 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28966/tid=29024] ppid=28965 vsize=160024 CPUtime=2.82 cores=0,2,4,6
/proc/28966/task/29024/stat : 29024 (pb_cplex) S 28965 28965 28815 0 -1 4202560 1590 0 0 0 282 0 0 0 20 0 8 0 390991560 163864576 15942 33554432000 134512640 146736320 4292710320 4096122512 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28966/tid=29025] ppid=28965 vsize=160024 CPUtime=3.07 cores=0,2,4,6
/proc/28966/task/29025/stat : 29025 (pb_cplex) R 28965 28965 28815 0 -1 4202560 963 0 0 0 307 0 0 0 20 0 8 0 390991560 163864576 15942 33554432000 134512640 146736320 4292710320 4085632888 136400456 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28966/tid=29026] ppid=28965 vsize=160024 CPUtime=3.02 cores=0,2,4,6
/proc/28966/task/29026/stat : 29026 (pb_cplex) R 28965 28965 28815 0 -1 4202560 1953 0 0 0 302 0 0 0 20 0 8 0 390991560 163864576 15942 33554432000 134512640 146736320 4292710320 4075147472 136008266 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 43.93
Current children cumulated vsize (KiB) 169172
[startup+51.1004 s]
/proc/loadavg: 4.66 2.63 1.91 10/186 29027
/proc/meminfo: memFree=30831008/32873844 swapFree=7380/7380
[pid=28965] ppid=28963 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28965/stat : 28965 (run) S 28963 28965 28815 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390990108 9367552 270 33554432000 4194304 5064252 140735816234448 140735816233360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28965/statm: 2287 270 229 213 0 72 0
[pid=28966] ppid=28965 vsize=163588 CPUtime=135.23 cores=0,2,4,6
/proc/28966/stat : 28966 (pb_cplex) R 28965 28965 28815 0 -1 4202496 33009 0 0 0 13507 16 0 0 20 0 8 0 390990108 167514112 16597 33554432000 134512640 146736320 4292710320 4292703040 136382629 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28966/statm: 40897 16597 931 2985 0 37831 0
[pid=28966/tid=29020] ppid=28965 vsize=163588 CPUtime=17.22 cores=0,2,4,6
/proc/28966/task/29020/stat : 29020 (pb_cplex) R 28965 28965 28815 0 -1 4202560 695 0 0 0 1722 0 0 0 20 0 8 0 390991560 167514112 16597 33554432000 134512640 146736320 4292710320 4138061864 139044509 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28966/tid=29021] ppid=28965 vsize=163588 CPUtime=16.37 cores=0,2,4,6
/proc/28966/task/29021/stat : 29021 (pb_cplex) R 28965 28965 28815 0 -1 4202560 1028 0 0 0 1637 0 0 0 20 0 8 0 390991560 167514112 16597 33554432000 134512640 146736320 4292710320 4127576272 136008309 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28966/tid=29022] ppid=28965 vsize=163588 CPUtime=14.53 cores=0,2,4,6
/proc/28966/task/29022/stat : 29022 (pb_cplex) R 28965 28965 28815 0 -1 4202560 891 0 0 0 1453 0 0 0 20 0 8 0 390991560 167514112 16597 33554432000 134512640 146736320 4292710320 4117090896 136403112 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=28966/tid=29023] ppid=28965 vsize=163588 CPUtime=14.3 cores=0,2,4,6
/proc/28966/task/29023/stat : 29023 (pb_cplex) R 28965 28965 28815 0 -1 4202560 4159 0 0 0 1427 3 0 0 20 0 8 0 390991560 167514112 16597 33554432000 134512640 146736320 4292710320 4106604616 139042876 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=28966/tid=29024] ppid=28965 vsize=163588 CPUtime=11.9 cores=0,2,4,6
/proc/28966/task/29024/stat : 29024 (pb_cplex) R 28965 28965 28815 0 -1 4202560 2881 0 0 0 1188 2 0 0 20 0 8 0 390991560 167514112 16597 33554432000 134512640 146736320 4292710320 4096117904 136008042 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=28966/tid=29025] ppid=28965 vsize=163588 CPUtime=14.9 cores=0,2,4,6
/proc/28966/task/29025/stat : 29025 (pb_cplex) R 28965 28965 28815 0 -1 4202560 1880 0 0 0 1489 1 0 0 20 0 8 0 390991560 167514112 16597 33554432000 134512640 146736320 4292710320 4085633232 136008454 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=28966/tid=29026] ppid=28965 vsize=163588 CPUtime=11.81 cores=0,2,4,6
/proc/28966/task/29026/stat : 29026 (pb_cplex) R 28965 28965 28815 0 -1 4202560 4035 0 0 0 1178 3 0 0 20 0 8 0 390991560 167514112 16597 33554432000 134512640 146736320 4292710320 4075147856 136403109 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 135.23
Current children cumulated vsize (KiB) 172736
############
# WARNING:
# current cumulated CPU time (194.54 s) is less than in the last sample (194.54 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1.52588e-05 s) to the 'lost time'.
[startup+69.2004 s]
/proc/loadavg: 5.53 2.96 2.03 3/186 29027
/proc/meminfo: memFree=30827088/32873844 swapFree=7380/7380
[pid=28965] ppid=28963 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28965/stat : 28965 (run) S 28963 28965 28815 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390990108 9367552 270 33554432000 4194304 5064252 140735816234448 140735816233360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28965/statm: 2287 270 229 213 0 72 0
[pid=28966] ppid=28965 vsize=162564 CPUtime=194.54 cores=0,2,4,6
/proc/28966/stat : 28966 (pb_cplex) S 28965 28965 28815 0 -1 4202496 37271 0 0 0 19435 19 0 0 20 0 8 0 390990108 166465536 16568 33554432000 134512640 146736320 4292710320 4292706704 144580073 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/28966/statm: 40641 16568 931 2985 0 37575 0
[pid=28966/tid=29020] ppid=28965 vsize=162564 CPUtime=26.61 cores=0,2,4,6
/proc/28966/task/29020/stat : 29020 (pb_cplex) S 28965 28965 28815 0 -1 4202560 695 0 0 0 2660 1 0 0 20 0 8 0 390991560 166465536 16568 33554432000 134512640 146736320 4292710320 4138065552 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28966/tid=29021] ppid=28965 vsize=162564 CPUtime=24.8 cores=0,2,4,6
/proc/28966/task/29021/stat : 29021 (pb_cplex) S 28965 28965 28815 0 -1 4202560 1123 0 0 0 2480 0 0 0 20 0 8 0 390991560 166465536 16568 33554432000 134512640 146736320 4292710320 4127579792 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28966/tid=29022] ppid=28965 vsize=162564 CPUtime=22.7 cores=0,2,4,6
/proc/28966/task/29022/stat : 29022 (pb_cplex) R 28965 28965 28815 0 -1 4202560 891 0 0 0 2270 0 0 0 20 0 8 0 390991560 166465536 16568 33554432000 134512640 146736320 4292710320 4117090508 136388881 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=28966/tid=29023] ppid=28965 vsize=162564 CPUtime=20.13 cores=0,2,4,6
/proc/28966/task/29023/stat : 29023 (pb_cplex) S 28965 28965 28815 0 -1 4202560 4161 0 0 0 2010 3 0 0 20 0 8 0 390991560 166465536 16568 33554432000 134512640 146736320 4292710320 4106608272 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28966/tid=29024] ppid=28965 vsize=162564 CPUtime=21.84 cores=0,2,4,6
/proc/28966/task/29024/stat : 29024 (pb_cplex) S 28965 28965 28815 0 -1 4202560 7046 0 0 0 2180 4 0 0 20 0 8 0 390991560 166465536 16568 33554432000 134512640 146736320 4292710320 4096122512 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28966/tid=29025] ppid=28965 vsize=162564 CPUtime=20.17 cores=0,2,4,6
/proc/28966/task/29025/stat : 29025 (pb_cplex) S 28965 28965 28815 0 -1 4202560 1880 0 0 0 2016 1 0 0 20 0 8 0 390991560 166465536 16568 33554432000 134512640 146736320 4292710320 4085636752 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28966/tid=29026] ppid=28965 vsize=162564 CPUtime=17.03 cores=0,2,4,6
/proc/28966/task/29026/stat : 29026 (pb_cplex) S 28965 28965 28815 0 -1 4202560 4035 0 0 0 1700 3 0 0 20 0 8 0 390991560 166465536 16568 33554432000 134512640 146736320 4292710320 4075150992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 194.54
Current children cumulated vsize (KiB) 171712
[startup+69.3063 s]
/proc/loadavg: 5.53 2.96 2.03 3/186 29027
/proc/meminfo: memFree=30827088/32873844 swapFree=7380/7380
################
# More data... #
################
[pid=28966/tid=29039] ppid=28965 vsize=234552 CPUtime=118.43 cores=0,2,4,6
/proc/28966/task/29039/stat : 29039 (pb_cplex) S 28965 28965 28815 0 -1 4202560 509 0 0 0 11837 6 0 0 20 0 8 0 390998546 240181248 34376 33554432000 134512640 146736320 4292710320 4027145872 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28966/tid=29040] ppid=28965 vsize=234552 CPUtime=115 cores=0,2,4,6
/proc/28966/task/29040/stat : 29040 (pb_cplex) R 28965 28965 28815 0 -1 4202560 12084 0 0 0 11489 11 0 0 20 0 8 0 390998546 240181248 34376 33554432000 134512640 146736320 4292710320 4016656840 136000487 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=28966/tid=29041] ppid=28965 vsize=234552 CPUtime=107.02 cores=0,2,4,6
/proc/28966/task/29041/stat : 29041 (pb_cplex) S 28965 28965 28815 0 -1 4202560 6735 0 0 0 10696 6 0 0 20 0 8 0 390998546 240181248 34376 33554432000 134512640 146736320 4292710320 4006174352 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1117.32
Current children cumulated vsize (KiB) 243700
[startup+402.3 s]
/proc/loadavg: 8.16 6.07 3.65 7/186 29042
/proc/meminfo: memFree=30711784/32873844 swapFree=7380/7380
[pid=28965] ppid=28963 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28965/stat : 28965 (run) S 28963 28965 28815 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390990108 9367552 270 33554432000 4194304 5064252 140735816234448 140735816233360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28965/statm: 2287 270 229 213 0 72 0
[pid=28966] ppid=28965 vsize=234552 CPUtime=1320.63 cores=0,2,4,6
/proc/28966/stat : 28966 (pb_cplex) S 28965 28965 28815 0 -1 4202496 197515 0 0 0 131923 140 0 0 20 0 8 0 390990108 240181248 34485 33554432000 134512640 146736320 4292710320 4292706704 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28966/statm: 58638 34485 974 2985 0 55572 0
[pid=28966/tid=29035] ppid=28965 vsize=234552 CPUtime=135.39 cores=0,2,4,6
/proc/28966/task/29035/stat : 29035 (pb_cplex) S 28965 28965 28815 0 -1 4202560 3306 0 0 0 13529 10 0 0 20 0 8 0 390998546 240181248 34485 33554432000 134512640 146736320 4292710320 4122648208 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28966/tid=29036] ppid=28965 vsize=234552 CPUtime=132.55 cores=0,2,4,6
/proc/28966/task/29036/stat : 29036 (pb_cplex) S 28965 28965 28815 0 -1 4202560 160 0 0 0 13245 10 0 0 20 0 8 0 390998546 240181248 34485 33554432000 134512640 146736320 4292710320 4133133968 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28966/tid=29037] ppid=28965 vsize=234552 CPUtime=134.57 cores=0,2,4,6
/proc/28966/task/29037/stat : 29037 (pb_cplex) S 28965 28965 28815 0 -1 4202560 44234 0 0 0 13435 22 0 0 20 0 8 0 390998546 240181248 34485 33554432000 134512640 146736320 4292710320 4143619728 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28966/tid=29038] ppid=28965 vsize=234552 CPUtime=136.08 cores=0,2,4,6
/proc/28966/task/29038/stat : 29038 (pb_cplex) R 28965 28965 28815 0 -1 4202560 61655 0 0 0 13575 33 0 0 20 0 8 0 390998546 240181248 34485 33554432000 134512640 146736320 4292710320 4106605136 136403109 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28966/tid=29039] ppid=28965 vsize=234552 CPUtime=147.75 cores=0,2,4,6
/proc/28966/task/29039/stat : 29039 (pb_cplex) S 28965 28965 28815 0 -1 4202560 509 0 0 0 14766 9 0 0 20 0 8 0 390998546 240181248 34485 33554432000 134512640 146736320 4292710320 4027145872 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28966/tid=29040] ppid=28965 vsize=234552 CPUtime=139.62 cores=0,2,4,6
/proc/28966/task/29040/stat : 29040 (pb_cplex) R 28965 28965 28815 0 -1 4202560 12106 0 0 0 13947 15 0 0 20 0 8 0 390998546 240181248 34485 33554432000 134512640 146736320 4292710320 4016655752 136000480 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=28966/tid=29041] ppid=28965 vsize=234552 CPUtime=130.51 cores=0,2,4,6
/proc/28966/task/29041/stat : 29041 (pb_cplex) S 28965 28965 28815 0 -1 4202560 6906 0 0 0 13043 8 0 0 20 0 8 0 390998546 240181248 34485 33554432000 134512640 146736320 4292710320 4006174352 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1320.63
Current children cumulated vsize (KiB) 243700
[startup+462.3 s]
/proc/loadavg: 8.24 6.49 3.94 3/186 29042
/proc/meminfo: memFree=30710544/32873844 swapFree=7380/7380
[pid=28965] ppid=28963 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28965/stat : 28965 (run) S 28963 28965 28815 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390990108 9367552 270 33554432000 4194304 5064252 140735816234448 140735816233360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28965/statm: 2287 270 229 213 0 72 0
[pid=28966] ppid=28965 vsize=234552 CPUtime=1513.66 cores=0,2,4,6
/proc/28966/stat : 28966 (pb_cplex) S 28965 28965 28815 0 -1 4202496 214064 0 0 0 151201 165 0 0 20 0 8 0 390990108 240181248 34775 33554432000 134512640 146736320 4292710320 4292706704 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28966/statm: 58638 34775 974 2985 0 55572 0
[pid=28966/tid=29035] ppid=28965 vsize=234552 CPUtime=160.58 cores=0,2,4,6
/proc/28966/task/29035/stat : 29035 (pb_cplex) S 28965 28965 28815 0 -1 4202560 3375 0 0 0 16045 13 0 0 20 0 8 0 390998546 240181248 34775 33554432000 134512640 146736320 4292710320 4122648208 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28966/tid=29036] ppid=28965 vsize=234552 CPUtime=155.43 cores=0,2,4,6
/proc/28966/task/29036/stat : 29036 (pb_cplex) S 28965 28965 28815 0 -1 4202560 292 0 0 0 15531 12 0 0 20 0 8 0 390998546 240181248 34775 33554432000 134512640 146736320 4292710320 4133133968 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28966/tid=29037] ppid=28965 vsize=234552 CPUtime=159.72 cores=0,2,4,6
/proc/28966/task/29037/stat : 29037 (pb_cplex) S 28965 28965 28815 0 -1 4202560 58588 0 0 0 15943 29 0 0 20 0 8 0 390998546 240181248 34775 33554432000 134512640 146736320 4292710320 4143619728 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28966/tid=29038] ppid=28965 vsize=234552 CPUtime=158.5 cores=0,2,4,6
/proc/28966/task/29038/stat : 29038 (pb_cplex) S 28965 28965 28815 0 -1 4202560 63051 0 0 0 15814 36 0 0 20 0 8 0 390998546 240181248 34775 33554432000 134512640 146736320 4292710320 4106608272 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28966/tid=29039] ppid=28965 vsize=234552 CPUtime=171.81 cores=0,2,4,6
/proc/28966/task/29039/stat : 29039 (pb_cplex) R 28965 28965 28815 0 -1 4202560 510 0 0 0 17171 10 0 0 20 0 8 0 390998546 240181248 34775 33554432000 134512640 146736320 4292710320 4027141264 136008309 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28966/tid=29040] ppid=28965 vsize=234552 CPUtime=164.67 cores=0,2,4,6
/proc/28966/task/29040/stat : 29040 (pb_cplex) S 28965 28965 28815 0 -1 4202560 12106 0 0 0 16451 16 0 0 20 0 8 0 390998546 240181248 34775 33554432000 134512640 146736320 4292710320 4016660112 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28966/tid=29041] ppid=28965 vsize=234552 CPUtime=153.88 cores=0,2,4,6
/proc/28966/task/29041/stat : 29041 (pb_cplex) S 28965 28965 28815 0 -1 4202560 7502 0 0 0 15377 11 0 0 20 0 8 0 390998546 240181248 34775 33554432000 134512640 146736320 4292710320 4006174352 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1513.66
Current children cumulated vsize (KiB) 243700
[startup+522.3 s]
/proc/loadavg: 8.01 6.72 4.18 10/186 29042
/proc/meminfo: memFree=30676320/32873844 swapFree=7380/7380
[pid=28965] ppid=28963 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28965/stat : 28965 (run) S 28963 28965 28815 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390990108 9367552 270 33554432000 4194304 5064252 140735816234448 140735816233360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28965/statm: 2287 270 229 213 0 72 0
[pid=28966] ppid=28965 vsize=279100 CPUtime=1715.62 cores=0,2,4,6
/proc/28966/stat : 28966 (pb_cplex) R 28965 28965 28815 0 -1 4202496 253638 0 0 0 171369 193 0 0 20 0 8 0 390990108 285798400 43319 33554432000 134512640 146736320 4292710320 4292698960 136008056 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28966/statm: 69775 43319 974 2985 0 66709 0
[pid=28966/tid=29035] ppid=28965 vsize=279100 CPUtime=186.27 cores=0,2,4,6
/proc/28966/task/29035/stat : 29035 (pb_cplex) R 28965 28965 28815 0 -1 4202560 8599 0 0 0 18610 17 0 0 20 0 8 0 390998546 285798400 43319 33554432000 134512640 146736320 4292710320 4122640464 136008065 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=28966/tid=29036] ppid=28965 vsize=279100 CPUtime=178.09 cores=0,2,4,6
/proc/28966/task/29036/stat : 29036 (pb_cplex) R 28965 28965 28815 0 -1 4202560 5594 0 0 0 17793 16 0 0 20 0 8 0 390998546 285798400 43319 33554432000 134512640 146736320 4292710320 4133126224 136008168 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=28966/tid=29037] ppid=28965 vsize=279100 CPUtime=185.34 cores=0,2,4,6
/proc/28966/task/29037/stat : 29037 (pb_cplex) R 28965 28965 28815 0 -1 4202560 71057 0 0 0 18497 37 0 0 20 0 8 0 390998546 285798400 43319 33554432000 134512640 146736320 4292710320 4143612232 136001974 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28966/tid=29038] ppid=28965 vsize=279100 CPUtime=184.44 cores=0,2,4,6
/proc/28966/task/29038/stat : 29038 (pb_cplex) R 28965 28965 28815 0 -1 4202560 68529 0 0 0 18405 39 0 0 20 0 8 0 390998546 285798400 43319 33554432000 134512640 146736320 4292710320 4106600776 136000316 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28966/tid=29039] ppid=28965 vsize=279100 CPUtime=198.03 cores=0,2,4,6
/proc/28966/task/29039/stat : 29039 (pb_cplex) R 28965 28965 28815 0 -1 4202560 1448 0 0 0 19790 13 0 0 20 0 8 0 390998546 285798400 43319 33554432000 134512640 146736320 4292710320 4027139100 135962092 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28966/tid=29040] ppid=28965 vsize=279100 CPUtime=188.18 cores=0,2,4,6
/proc/28966/task/29040/stat : 29040 (pb_cplex) R 28965 28965 28815 0 -1 4202560 14273 0 0 0 18798 20 0 0 20 0 8 0 390998546 285798400 43319 33554432000 134512640 146736320 4292710320 4016651144 139042977 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=28966/tid=29041] ppid=28965 vsize=279100 CPUtime=178.7 cores=0,2,4,6
/proc/28966/task/29041/stat : 29041 (pb_cplex) R 28965 28965 28815 0 -1 4202560 14252 0 0 0 17856 14 0 0 20 0 8 0 390998546 285798400 43319 33554432000 134512640 146736320 4292710320 4006165904 136403109 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1715.62
Current children cumulated vsize (KiB) 288248
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+543.5 s]
/proc/loadavg: 8.29 6.86 4.28 10/186 29042
/proc/meminfo: memFree=30675948/32873844 swapFree=7380/7380
[pid=28965] ppid=28963 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28965/stat : 28965 (run) S 28963 28965 28815 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390990108 9367552 270 33554432000 4194304 5064252 140735816234448 140735816233360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28965/statm: 2287 270 229 213 0 72 0
[pid=28966] ppid=28965 vsize=279112 CPUtime=1800.3 cores=0,2,4,6
/proc/28966/stat : 28966 (pb_cplex) R 28965 28965 28815 0 -1 4202496 262730 0 0 0 179830 200 0 0 20 0 8 0 390990108 285810688 43309 33554432000 134512640 146736320 4292710320 4292698960 136007982 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28966/statm: 69778 43309 977 2985 0 66712 0
[pid=28966/tid=29035] ppid=28965 vsize=279112 CPUtime=196.86 cores=0,2,4,6
/proc/28966/task/29035/stat : 29035 (pb_cplex) R 28965 28965 28815 0 -1 4202560 8599 0 0 0 19669 17 0 0 20 0 8 0 390998546 285810688 43309 33554432000 134512640 146736320 4292710320 4122639260 135854544 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=28966/tid=29036] ppid=28965 vsize=279112 CPUtime=188.27 cores=0,2,4,6
/proc/28966/task/29036/stat : 29036 (pb_cplex) R 28965 28965 28815 0 -1 4202560 5745 0 0 0 18811 16 0 0 20 0 8 0 390998546 285810688 43309 33554432000 134512640 146736320 4292710320 4133126080 136382629 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=28966/tid=29037] ppid=28965 vsize=279112 CPUtime=195.95 cores=0,2,4,6
/proc/28966/task/29037/stat : 29037 (pb_cplex) R 28965 28965 28815 0 -1 4202560 78567 0 0 0 19555 40 0 0 20 0 8 0 390998546 285810688 43309 33554432000 134512640 146736320 4292710320 4143611720 136000532 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28966/tid=29038] ppid=28965 vsize=279112 CPUtime=195.04 cores=0,2,4,6
/proc/28966/task/29038/stat : 29038 (pb_cplex) R 28965 28965 28815 0 -1 4202560 68711 0 0 0 19465 39 0 0 20 0 8 0 390998546 285810688 43309 33554432000 134512640 146736320 4292710320 4106600432 136384883 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28966/tid=29039] ppid=28965 vsize=279112 CPUtime=208.64 cores=0,2,4,6
/proc/28966/task/29039/stat : 29039 (pb_cplex) R 28965 28965 28815 0 -1 4202560 1448 0 0 0 20851 13 0 0 20 0 8 0 390998546 285810688 43309 33554432000 134512640 146736320 4292710320 4027138128 136008065 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28966/tid=29040] ppid=28965 vsize=279112 CPUtime=198.74 cores=0,2,4,6
/proc/28966/task/29040/stat : 29040 (pb_cplex) R 28965 28965 28815 0 -1 4202560 14976 0 0 0 19851 23 0 0 20 0 8 0 390998546 285810688 43309 33554432000 134512640 146736320 4292710320 4016650768 136008056 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=28966/tid=29041] ppid=28965 vsize=279112 CPUtime=189.56 cores=0,2,4,6
/proc/28966/task/29041/stat : 29041 (pb_cplex) R 28965 28965 28815 0 -1 4202560 14798 0 0 0 18941 15 0 0 20 0 8 0 390998546 285810688 43309 33554432000 134512640 146736320 4292710320 4006165768 136000492 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 288260
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+543.5 s]
/proc/loadavg: 8.29 6.86 4.28 10/186 29042
/proc/meminfo: memFree=30675948/32873844 swapFree=7380/7380
[pid=28965] ppid=28963 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28965/stat : 28965 (run) S 28963 28965 28815 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390990108 9367552 270 33554432000 4194304 5064252 140735816234448 140735816233360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28965/statm: 2287 270 229 213 0 72 0
[pid=28966] ppid=28965 vsize=279112 CPUtime=1800.3 cores=0,2,4,6
/proc/28966/stat : 28966 (pb_cplex) R 28965 28965 28815 0 -1 4202496 262730 0 0 0 179830 200 0 0 20 0 8 0 390990108 285810688 43309 33554432000 134512640 146736320 4292710320 4292698960 136007982 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28966/statm: 69778 43309 977 2985 0 66712 0
[pid=28966/tid=29035] ppid=28965 vsize=279112 CPUtime=196.86 cores=0,2,4,6
/proc/28966/task/29035/stat : 29035 (pb_cplex) R 28965 28965 28815 0 -1 4202560 8599 0 0 0 19669 17 0 0 20 0 8 0 390998546 285810688 43309 33554432000 134512640 146736320 4292710320 4122639260 135854544 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=28966/tid=29036] ppid=28965 vsize=279112 CPUtime=188.27 cores=0,2,4,6
/proc/28966/task/29036/stat : 29036 (pb_cplex) R 28965 28965 28815 0 -1 4202560 5745 0 0 0 18811 16 0 0 20 0 8 0 390998546 285810688 43309 33554432000 134512640 146736320 4292710320 4133126080 136382629 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=28966/tid=29037] ppid=28965 vsize=279112 CPUtime=195.95 cores=0,2,4,6
/proc/28966/task/29037/stat : 29037 (pb_cplex) R 28965 28965 28815 0 -1 4202560 78567 0 0 0 19555 40 0 0 20 0 8 0 390998546 285810688 43309 33554432000 134512640 146736320 4292710320 4143611720 136000532 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28966/tid=29038] ppid=28965 vsize=279112 CPUtime=195.04 cores=0,2,4,6
/proc/28966/task/29038/stat : 29038 (pb_cplex) R 28965 28965 28815 0 -1 4202560 68711 0 0 0 19465 39 0 0 20 0 8 0 390998546 285810688 43309 33554432000 134512640 146736320 4292710320 4106600432 136384883 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28966/tid=29039] ppid=28965 vsize=279112 CPUtime=208.64 cores=0,2,4,6
/proc/28966/task/29039/stat : 29039 (pb_cplex) R 28965 28965 28815 0 -1 4202560 1448 0 0 0 20851 13 0 0 20 0 8 0 390998546 285810688 43309 33554432000 134512640 146736320 4292710320 4027138128 136008065 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28966/tid=29040] ppid=28965 vsize=279112 CPUtime=198.74 cores=0,2,4,6
/proc/28966/task/29040/stat : 29040 (pb_cplex) R 28965 28965 28815 0 -1 4202560 14976 0 0 0 19851 23 0 0 20 0 8 0 390998546 285810688 43309 33554432000 134512640 146736320 4292710320 4016650768 136008056 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=28966/tid=29041] ppid=28965 vsize=279112 CPUtime=189.56 cores=0,2,4,6
/proc/28966/task/29041/stat : 29041 (pb_cplex) R 28965 28965 28815 0 -1 4202560 14798 0 0 0 18941 15 0 0 20 0 8 0 390998546 285810688 43309 33554432000 134512640 146736320 4292710320 4006165768 136000492 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 288260
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28965 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.3
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 1.52588e-05
# lost CPU user time (s): 0.0400085
# lost CPU system time (s): -0.04
Real time (s): 543.516
CPU time (s): 1800.3
CPU user time (s): 1798.34
CPU system time (s): 1.96
CPU usage (%): 331.232
Max. virtual memory (cumulated for all children) (KiB): 294932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 1
runsolver used 1.3218 second user time and 3.62445 second system time
The end