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-3699590-1338056550/watcher-3699590-1338056550 -o /tmp/evaluation-result-3699590-1338056550/solver-3699590-1338056550 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699590-1338056550.opb 263110173 HOME HOME
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 2.00 2.00 3/178 14947
/proc/meminfo: memFree=28276136/32873648 swapFree=7104/7104
[pid=14947] ppid=14945 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14947/stat : 14947 (npSolver-pbo-I.) S 14945 14947 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271780492 9367552 275 33554432000 4194304 5064252 140733388993168 140733388992080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14947/statm: 2287 275 233 213 0 72 0
[startup+0.0296389 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14947
/proc/meminfo: memFree=28276136/32873648 swapFree=7104/7104
[pid=14947] ppid=14945 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14947/stat : 14947 (npSolver-pbo-I.) S 14945 14947 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271780492 9367552 275 33554432000 4194304 5064252 140733388993168 140733388992080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14947/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100213 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14947
/proc/meminfo: memFree=28276136/32873648 swapFree=7104/7104
[pid=14947] ppid=14945 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14947/stat : 14947 (npSolver-pbo-I.) S 14945 14947 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271780492 9367552 275 33554432000 4194304 5064252 140733388993168 140733388992080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14947/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300234 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14947
/proc/meminfo: memFree=28276136/32873648 swapFree=7104/7104
[pid=14947] ppid=14945 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14947/stat : 14947 (npSolver-pbo-I.) S 14945 14947 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271780492 9367552 275 33554432000 4194304 5064252 140733388993168 140733388992080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14947/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700187 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14947
/proc/meminfo: memFree=28276136/32873648 swapFree=7104/7104
[pid=14947] ppid=14945 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14947/stat : 14947 (npSolver-pbo-I.) S 14945 14947 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271780492 9367552 275 33554432000 4194304 5064252 140733388993168 140733388992080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14947/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14996
/proc/meminfo: memFree=28319960/32873648 swapFree=7104/7104
[pid=14947] ppid=14945 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14947/stat : 14947 (npSolver-pbo-I.) S 14945 14947 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271780492 9367552 275 33554432000 4194304 5064252 140733388993168 140733388992080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14947/statm: 2287 275 233 213 0 72 0
[pid=14948] ppid=14947 vsize=55380 CPUtime=1.02 cores=0,2,4,6
/proc/14948/stat : 14948 (npSolver-pbo) S 14947 14947 14700 0 -1 4202496 9158 0 0 0 97 5 0 0 20 0 1 0 271780493 56709120 11454 33554432000 4194304 5992684 140736782061472 140736782055920 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14948/statm: 13845 11454 169 440 0 13401 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 64528
[startup+3.10036 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15000
/proc/meminfo: memFree=28226548/32873648 swapFree=7104/7104
[pid=14947] ppid=14945 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14947/stat : 14947 (npSolver-pbo-I.) S 14945 14947 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271780492 9367552 275 33554432000 4194304 5064252 140733388993168 140733388992080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14947/statm: 2287 275 233 213 0 72 0
[pid=14948] ppid=14947 vsize=55380 CPUtime=1.02 cores=0,2,4,6
/proc/14948/stat : 14948 (npSolver-pbo) S 14947 14947 14700 0 -1 4202496 9158 0 0 0 97 5 0 0 20 0 1 0 271780493 56709120 11454 33554432000 4194304 5992684 140736782061472 140736782055920 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14948/statm: 13845 11454 169 440 0 13401 0
[pid=14997] ppid=14948 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14997/stat : 14997 (cp2_pre.sh) S 14948 14947 14700 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 271780596 9367552 277 33554432000 4194304 5064252 140735887182144 140735887180848 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14997/statm: 2287 277 234 213 0 72 0
[pid=14998] ppid=14997 vsize=185960 CPUtime=2.05 cores=0,2,4,6
/proc/14998/stat : 14998 (coprocessor) R 14997 14947 14700 0 -1 4202496 33718 0 0 0 200 5 0 0 20 0 1 0 271780597 190423040 45469 33554432000 4194304 6586260 140735257050624 140735257046648 5511711 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/14998/statm: 46490 45469 191 584 0 45902 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 259636
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15018
/proc/meminfo: memFree=28283996/32873648 swapFree=7104/7104
[pid=14947] ppid=14945 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14947/stat : 14947 (npSolver-pbo-I.) S 14945 14947 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271780492 9367552 275 33554432000 4194304 5064252 140733388993168 140733388992080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14947/statm: 2287 275 233 213 0 72 0
[pid=14948] ppid=14947 vsize=61360 CPUtime=5.74 cores=0,2,4,6
/proc/14948/stat : 14948 (npSolver-pbo) R 14947 14947 14700 0 -1 4202496 10692 35578 0 0 120 90 350 14 20 0 1 0 271780493 62832640 12955 33554432000 4194304 5992684 140736782061472 140736782055656 5179696 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14948/statm: 15340 12955 178 440 0 14896 0
[pid=15016] ppid=14948 vsize=85860 CPUtime=0.54 cores=0,2,4,6
/proc/15016/stat : 15016 (glucosInc) S 14948 14947 14700 0 -1 4202496 17353 0 0 0 51 3 0 0 20 0 1 0 271780961 87920640 19757 33554432000 4194304 5654031 140735184147856 140735184146168 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15016/statm: 21465 19757 146 357 0 21105 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 156368
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15072
/proc/meminfo: memFree=28226676/32873648 swapFree=7104/7104
[pid=14947] ppid=14945 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14947/stat : 14947 (npSolver-pbo-I.) S 14945 14947 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271780492 9367552 275 33554432000 4194304 5064252 140733388993168 140733388992080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14947/statm: 2287 275 233 213 0 72 0
[pid=14948] ppid=14947 vsize=66924 CPUtime=6.62 cores=0,2,4,6
/proc/14948/stat : 14948 (npSolver-pbo) S 14947 14947 14700 0 -1 4202496 12603 53970 0 0 128 109 401 24 20 0 1 0 271780493 68530176 13982 33554432000 4194304 5992684 140736782061472 140736782046376 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14948/statm: 16731 13982 189 440 0 16287 0
[pid=15024] ppid=14948 vsize=100904 CPUtime=6.04 cores=0,2,4,6
/proc/15024/stat : 15024 (glucosInc) R 14948 14947 14700 0 -1 4202496 18697 0 0 0 601 3 0 0 20 0 1 0 271781156 103325696 22672 33554432000 4194304 5654031 140735257064160 140735257051976 4215055 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15024/statm: 25226 22672 142 357 0 24866 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 176976
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15074
/proc/meminfo: memFree=28206176/32873648 swapFree=7104/7104
[pid=14947] ppid=14945 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14947/stat : 14947 (npSolver-pbo-I.) S 14945 14947 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271780492 9367552 275 33554432000 4194304 5064252 140733388993168 140733388992080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14947/statm: 2287 275 233 213 0 72 0
[pid=14948] ppid=14947 vsize=66924 CPUtime=22 cores=0,2,4,6
/proc/14948/stat : 14948 (npSolver-pbo) S 14947 14947 14700 0 -1 4202496 14990 75152 0 0 132 110 1926 32 20 0 1 0 271780493 68530176 13982 33554432000 4194304 5992684 140736782061472 140736782046376 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14948/statm: 16731 13982 189 440 0 16287 0
[pid=15074] ppid=14948 vsize=102432 CPUtime=3.46 cores=0,2,4,6
/proc/15074/stat : 15074 (glucosInc) R 14948 14947 14700 0 -1 4202496 19467 0 0 0 343 3 0 0 20 0 1 0 271782695 104890368 22764 33554432000 4194304 5654031 140734681679216 140734681667032 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15074/statm: 25608 22764 140 357 0 25248 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 178504
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15074
/proc/meminfo: memFree=28130616/32873648 swapFree=7104/7104
[pid=14947] ppid=14945 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14947/stat : 14947 (npSolver-pbo-I.) S 14945 14947 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271780492 9367552 275 33554432000 4194304 5064252 140733388993168 140733388992080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14947/statm: 2287 275 233 213 0 72 0
[pid=14948] ppid=14947 vsize=66924 CPUtime=22 cores=0,2,4,6
/proc/14948/stat : 14948 (npSolver-pbo) S 14947 14947 14700 0 -1 4202496 14990 75152 0 0 132 110 1926 32 20 0 1 0 271780493 68530176 13982 33554432000 4194304 5992684 140736782061472 140736782046376 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14948/statm: 16731 13982 189 440 0 16287 0
[pid=15074] ppid=14948 vsize=155564 CPUtime=29.06 cores=0,2,4,6
/proc/15074/stat : 15074 (glucosInc) R 14948 14947 14700 0 -1 4202496 23233 0 0 0 2900 6 0 0 20 0 1 0 271782695 159297536 32990 33554432000 4194304 5654031 140734681679216 140734681677160 4233448 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15074/statm: 38891 32990 141 357 0 38531 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 231636
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15074
/proc/meminfo: memFree=28148952/32873648 swapFree=7104/7104
[pid=14947] ppid=14945 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14947/stat : 14947 (npSolver-pbo-I.) S 14945 14947 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271780492 9367552 275 33554432000 4194304 5064252 140733388993168 140733388992080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14947/statm: 2287 275 233 213 0 72 0
[pid=14948] ppid=14947 vsize=66924 CPUtime=22 cores=0,2,4,6
/proc/14948/stat : 14948 (npSolver-pbo) S 14947 14947 14700 0 -1 4202496 14990 75152 0 0 132 110 1926 32 20 0 1 0 271780493 68530176 13982 33554432000 4194304 5992684 140736782061472 140736782046376 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14948/statm: 16731 13982 189 440 0 16287 0
[pid=15074] ppid=14948 vsize=136592 CPUtime=80.24 cores=0,2,4,6
/proc/15074/stat : 15074 (glucosInc) R 14948 14947 14700 0 -1 4202496 26629 0 0 0 8014 10 0 0 20 0 1 0 271782695 139870208 32474 33554432000 4194304 5654031 140734681679216 140734681667032 4232763 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15074/statm: 34148 32474 141 357 0 33788 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 212664
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15075
/proc/meminfo: memFree=28080792/32873648 swapFree=7104/7104
[pid=14947] ppid=14945 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14947/stat : 14947 (npSolver-pbo-I.) S 14945 14947 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271780492 9367552 275 33554432000 4194304 5064252 140733388993168 140733388992080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14947/statm: 2287 275 233 213 0 72 0
[pid=14948] ppid=14947 vsize=66924 CPUtime=22 cores=0,2,4,6
/proc/14948/stat : 14948 (npSolver-pbo) S 14947 14947 14700 0 -1 4202496 14990 75152 0 0 132 110 1926 32 20 0 1 0 271780493 68530176 13982 33554432000 4194304 5992684 140736782061472 140736782046376 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14948/statm: 16731 13982 189 440 0 16287 0
[pid=15074] ppid=14948 vsize=136592 CPUtime=140.22 cores=0,2,4,6
/proc/15074/stat : 15074 (glucosInc) R 14948 14947 14700 0 -1 4202496 29573 0 0 0 14008 14 0 0 20 0 1 0 271782695 139870208 32933 33554432000 4194304 5654031 140734681679216 140734681677240 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15074/statm: 34148 32933 141 357 0 33788 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 212664
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15075
/proc/meminfo: memFree=28077448/32873648 swapFree=7104/7104
[pid=14947] ppid=14945 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14947/stat : 14947 (npSolver-pbo-I.) S 14945 14947 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271780492 9367552 275 33554432000 4194304 5064252 140733388993168 140733388992080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14947/statm: 2287 275 233 213 0 72 0
[pid=14948] ppid=14947 vsize=66924 CPUtime=22 cores=0,2,4,6
/proc/14948/stat : 14948 (npSolver-pbo) S 14947 14947 14700 0 -1 4202496 14990 75152 0 0 132 110 1926 32 20 0 1 0 271780493 68530176 13982 33554432000 4194304 5992684 140736782061472 140736782046376 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14948/statm: 16731 13982 189 440 0 16287 0
[pid=15074] ppid=14948 vsize=185912 CPUtime=200.21 cores=0,2,4,6
/proc/15074/stat : 15074 (glucosInc) R 14948 14947 14700 0 -1 4202496 31684 0 0 0 20004 17 0 0 20 0 1 0 271782695 190373888 43064 33554432000 4194304 5654031 140734681679216 140734681667032 4232833 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15074/statm: 46478 43064 141 357 0 46118 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 261984
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28066464/32873648 swapFree=7104/7104
[pid=14947] ppid=14945 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14947/stat : 14947 (npSolver-pbo-I.) S 14945 14947 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271780492 9367552 275 33554432000 4194304 5064252 140733388993168 140733388992080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14947/statm: 2287 275 233 213 0 72 0
[pid=14948] ppid=14947 vsize=66924 CPUtime=22 cores=0,2,4,6
/proc/14948/stat : 14948 (npSolver-pbo) S 14947 14947 14700 0 -1 4202496 14990 75152 0 0 132 110 1926 32 20 0 1 0 271780493 68530176 13982 33554432000 4194304 5992684 140736782061472 140736782046376 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14948/statm: 16731 13982 189 440 0 16287 0
[pid=15074] ppid=14948 vsize=216732 CPUtime=1220.03 cores=0,2,4,6
/proc/15074/stat : 15074 (glucosInc) R 14948 14947 14700 0 -1 4202496 56824 0 0 0 121940 63 0 0 20 0 1 0 271782695 221933568 45495 33554432000 4194304 5654031 140734681679216 140734681677304 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15074/statm: 54183 45495 141 357 0 53823 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 292804
[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 15090
/proc/meminfo: memFree=28030600/32873648 swapFree=7104/7104
[pid=14947] ppid=14945 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14947/stat : 14947 (npSolver-pbo-I.) S 14945 14947 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271780492 9367552 275 33554432000 4194304 5064252 140733388993168 140733388992080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14947/statm: 2287 275 233 213 0 72 0
[pid=14948] ppid=14947 vsize=66924 CPUtime=22 cores=0,2,4,6
/proc/14948/stat : 14948 (npSolver-pbo) S 14947 14947 14700 0 -1 4202496 14990 75152 0 0 132 110 1926 32 20 0 1 0 271780493 68530176 13982 33554432000 4194304 5992684 140736782061472 140736782046376 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14948/statm: 16731 13982 189 440 0 16287 0
[pid=15074] ppid=14948 vsize=266820 CPUtime=1280.03 cores=0,2,4,6
/proc/15074/stat : 15074 (glucosInc) R 14948 14947 14700 0 -1 4202496 57348 0 0 0 127939 64 0 0 20 0 1 0 271782695 273223680 54184 33554432000 4194304 5654031 140734681679216 140734681667032 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15074/statm: 66705 54184 141 357 0 66345 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 342892
[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 15091
/proc/meminfo: memFree=28042072/32873648 swapFree=7104/7104
[pid=14947] ppid=14945 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14947/stat : 14947 (npSolver-pbo-I.) S 14945 14947 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271780492 9367552 275 33554432000 4194304 5064252 140733388993168 140733388992080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14947/statm: 2287 275 233 213 0 72 0
[pid=14948] ppid=14947 vsize=66924 CPUtime=22 cores=0,2,4,6
/proc/14948/stat : 14948 (npSolver-pbo) S 14947 14947 14700 0 -1 4202496 14990 75152 0 0 132 110 1926 32 20 0 1 0 271780493 68530176 13982 33554432000 4194304 5992684 140736782061472 140736782046376 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14948/statm: 16731 13982 189 440 0 16287 0
[pid=15074] ppid=14948 vsize=216732 CPUtime=1340.01 cores=0,2,4,6
/proc/15074/stat : 15074 (glucosInc) R 14948 14947 14700 0 -1 4202496 58423 0 0 0 133935 66 0 0 20 0 1 0 271782695 221933568 51323 33554432000 4194304 5654031 140734681679216 140734681667032 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15074/statm: 54183 51323 141 357 0 53823 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 292804
[startup+1422.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 15091
/proc/meminfo: memFree=28046280/32873648 swapFree=7104/7104
[pid=14947] ppid=14945 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14947/stat : 14947 (npSolver-pbo-I.) S 14945 14947 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271780492 9367552 275 33554432000 4194304 5064252 140733388993168 140733388992080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14947/statm: 2287 275 233 213 0 72 0
[pid=14948] ppid=14947 vsize=66924 CPUtime=22 cores=0,2,4,6
/proc/14948/stat : 14948 (npSolver-pbo) S 14947 14947 14700 0 -1 4202496 14990 75152 0 0 132 110 1926 32 20 0 1 0 271780493 68530176 13982 33554432000 4194304 5992684 140736782061472 140736782046376 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14948/statm: 16731 13982 189 440 0 16287 0
[pid=15074] ppid=14948 vsize=216732 CPUtime=1400.02 cores=0,2,4,6
/proc/15074/stat : 15074 (glucosInc) R 14948 14947 14700 0 -1 4202496 59788 0 0 0 139933 69 0 0 20 0 1 0 271782695 221933568 50299 33554432000 4194304 5654031 140734681679216 140734681667032 4215112 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15074/statm: 54183 50299 141 357 0 53823 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 292804
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 15091
/proc/meminfo: memFree=28053344/32873648 swapFree=7104/7104
[pid=14947] ppid=14945 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14947/stat : 14947 (npSolver-pbo-I.) S 14945 14947 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271780492 9367552 275 33554432000 4194304 5064252 140733388993168 140733388992080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14947/statm: 2287 275 233 213 0 72 0
[pid=14948] ppid=14947 vsize=66924 CPUtime=22 cores=0,2,4,6
/proc/14948/stat : 14948 (npSolver-pbo) S 14947 14947 14700 0 -1 4202496 14990 75152 0 0 132 110 1926 32 20 0 1 0 271780493 68530176 13982 33554432000 4194304 5992684 140736782061472 140736782046376 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14948/statm: 16731 13982 189 440 0 16287 0
[pid=15074] ppid=14948 vsize=216732 CPUtime=1460 cores=0,2,4,6
/proc/15074/stat : 15074 (glucosInc) R 14948 14947 14700 0 -1 4202496 61149 0 0 0 145928 72 0 0 20 0 1 0 271782695 221933568 46715 33554432000 4194304 5654031 140734681679216 140734681667032 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15074/statm: 54183 46715 141 357 0 53823 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 292804
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 15091
/proc/meminfo: memFree=28053272/32873648 swapFree=7104/7104
[pid=14947] ppid=14945 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14947/stat : 14947 (npSolver-pbo-I.) S 14945 14947 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271780492 9367552 275 33554432000 4194304 5064252 140733388993168 140733388992080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14947/statm: 2287 275 233 213 0 72 0
[pid=14948] ppid=14947 vsize=66924 CPUtime=22 cores=0,2,4,6
/proc/14948/stat : 14948 (npSolver-pbo) S 14947 14947 14700 0 -1 4202496 14990 75152 0 0 132 110 1926 32 20 0 1 0 271780493 68530176 13982 33554432000 4194304 5992684 140736782061472 140736782046376 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14948/statm: 16731 13982 189 440 0 16287 0
[pid=15074] ppid=14948 vsize=185912 CPUtime=1519.99 cores=0,2,4,6
/proc/15074/stat : 15074 (glucosInc) R 14948 14947 14700 0 -1 4202496 61927 0 0 0 151924 75 0 0 20 0 1 0 271782695 190373888 45112 33554432000 4194304 5654031 140734681679216 140734681667032 4218592 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15074/statm: 46478 45112 141 357 0 46118 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 261984
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15091
/proc/meminfo: memFree=28018212/32873648 swapFree=7104/7104
[pid=14947] ppid=14945 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14947/stat : 14947 (npSolver-pbo-I.) S 14945 14947 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271780492 9367552 275 33554432000 4194304 5064252 140733388993168 140733388992080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14947/statm: 2287 275 233 213 0 72 0
[pid=14948] ppid=14947 vsize=66924 CPUtime=22 cores=0,2,4,6
/proc/14948/stat : 14948 (npSolver-pbo) S 14947 14947 14700 0 -1 4202496 14990 75152 0 0 132 110 1926 32 20 0 1 0 271780493 68530176 13982 33554432000 4194304 5992684 140736782061472 140736782046376 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14948/statm: 16731 13982 189 440 0 16287 0
[pid=15074] ppid=14948 vsize=266820 CPUtime=1579.98 cores=0,2,4,6
/proc/15074/stat : 15074 (glucosInc) R 14948 14947 14700 0 -1 4202496 62842 0 0 0 157922 76 0 0 20 0 1 0 271782695 273223680 54184 33554432000 4194304 5654031 140734681679216 140734681667032 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15074/statm: 66705 54184 141 357 0 66345 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 342892
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15097
/proc/meminfo: memFree=28070560/32873648 swapFree=7104/7104
[pid=14947] ppid=14945 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14947/stat : 14947 (npSolver-pbo-I.) S 14945 14947 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271780492 9367552 275 33554432000 4194304 5064252 140733388993168 140733388992080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14947/statm: 2287 275 233 213 0 72 0
[pid=14948] ppid=14947 vsize=67484 CPUtime=1629.88 cores=0,2,4,6
/proc/14948/stat : 14948 (npSolver-pbo) S 14947 14947 14700 0 -1 4202496 17855 138711 0 0 141 110 162624 113 20 0 1 0 271780493 69103616 14141 33554432000 4194304 5992684 140736782061472 140736782046376 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14948/statm: 16871 14141 189 440 0 16427 0
[pid=15093] ppid=14948 vsize=185712 CPUtime=32.07 cores=0,2,4,6
/proc/15093/stat : 15093 (glucosInc) R 14948 14947 14700 0 -1 4202496 22986 0 0 0 3201 6 0 0 20 0 1 0 271943512 190169088 40824 33554432000 4194304 5654031 140733412602160 140733412589976 4232922 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15093/statm: 46428 40824 141 357 0 46068 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 262344
[startup+1722.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 15099
/proc/meminfo: memFree=28067684/32873648 swapFree=7104/7104
[pid=14947] ppid=14945 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14947/stat : 14947 (npSolver-pbo-I.) S 14945 14947 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271780492 9367552 275 33554432000 4194304 5064252 140733388993168 140733388992080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14947/statm: 2287 275 233 213 0 72 0
[pid=14948] ppid=14947 vsize=67484 CPUtime=1693.19 cores=0,2,4,6
/proc/14948/stat : 14948 (npSolver-pbo) S 14947 14947 14700 0 -1 4202496 20241 163022 0 0 145 111 168937 126 20 0 1 0 271780493 69103616 14141 33554432000 4194304 5992684 140736782061472 140736782046376 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14948/statm: 16871 14141 189 440 0 16427 0
[pid=15099] ppid=14948 vsize=155620 CPUtime=28.74 cores=0,2,4,6
/proc/15099/stat : 15099 (glucosInc) R 14948 14947 14700 0 -1 4202496 22801 0 0 0 2869 5 0 0 20 0 1 0 271949845 159354880 33461 33554432000 4194304 5654031 140735193167232 140735193155048 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15099/statm: 38905 33461 141 357 0 38545 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 232252
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 15099
/proc/meminfo: memFree=28054444/32873648 swapFree=7104/7104
[pid=14947] ppid=14945 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14947/stat : 14947 (npSolver-pbo-I.) S 14945 14947 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271780492 9367552 275 33554432000 4194304 5064252 140733388993168 140733388992080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14947/statm: 2287 275 233 213 0 72 0
[pid=14948] ppid=14947 vsize=67484 CPUtime=1693.19 cores=0,2,4,6
/proc/14948/stat : 14948 (npSolver-pbo) S 14947 14947 14700 0 -1 4202496 20241 163022 0 0 145 111 168937 126 20 0 1 0 271780493 69103616 14141 33554432000 4194304 5992684 140736782061472 140736782046376 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14948/statm: 16871 14141 189 440 0 16427 0
[pid=15099] ppid=14948 vsize=136648 CPUtime=88.72 cores=0,2,4,6
/proc/15099/stat : 15099 (glucosInc) R 14948 14947 14700 0 -1 4202496 25528 0 0 0 8862 10 0 0 20 0 1 0 271949845 139927552 33213 33554432000 4194304 5654031 140735193167232 140735193155048 4215307 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15099/statm: 34162 33213 141 357 0 33802 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 213280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 15099
/proc/meminfo: memFree=28069028/32873648 swapFree=7104/7104
[pid=14947] ppid=14945 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14947/stat : 14947 (npSolver-pbo-I.) S 14945 14947 14700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271780492 9367552 275 33554432000 4194304 5064252 140733388993168 140733388992080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14947/statm: 2287 275 233 213 0 72 0
[pid=14948] ppid=14947 vsize=67484 CPUtime=1693.19 cores=0,2,4,6
/proc/14948/stat : 14948 (npSolver-pbo) S 14947 14947 14700 0 -1 4202496 20241 163022 0 0 145 111 168937 126 20 0 1 0 271780493 69103616 14141 33554432000 4194304 5992684 140736782061472 140736782046376 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14948/statm: 16871 14141 189 440 0 16427 0
[pid=15099] ppid=14948 vsize=136648 CPUtime=106.82 cores=0,2,4,6
/proc/15099/stat : 15099 (glucosInc) R 14948 14947 14700 0 -1 4202496 26103 0 0 0 10671 11 0 0 20 0 1 0 271949845 139927552 33213 33554432000 4194304 5654031 140735193167232 140735193155048 4233201 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15099/statm: 34162 33213 141 357 0 33802 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 213280
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.05
CPU user time (s): 1797.55
CPU system time (s): 2.50562
CPU usage (%): 99.9801
Max. virtual memory (cumulated for all children) (KiB): 392212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.55
system time used= 2.50562
maximum resident set size= 271596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209743
page faults= 0
swaps= 0
block input operations= 0
block output operations= 336192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1027
involuntary context switches= 2485
runsolver used 3.48347 second user time and 8.76767 second system time
The end