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-3751438-1339123241/watcher-3751438-1339123241 -o /tmp/evaluation-result-3751438-1339123241/solver-3751438-1339123241 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751438-1339123241.opb 1436228425 HOME HOME
running on 4 cores: 1,3,5,7
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.01 2.03 2.00 3/174 27658
/proc/meminfo: memFree=29027308/32873844 swapFree=7644/7644
[pid=27658] ppid=27656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27658/stat : 27658 (npSolver-pbo-It) S 27656 27658 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378448545 9367552 274 33554432000 4194304 5064252 140735679516784 140735679515696 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27658/statm: 2287 274 233 213 0 72 0
[startup+0.022161 s]
/proc/loadavg: 2.01 2.03 2.00 3/174 27658
/proc/meminfo: memFree=29027308/32873844 swapFree=7644/7644
[pid=27658] ppid=27656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27658/stat : 27658 (npSolver-pbo-It) S 27656 27658 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378448545 9367552 274 33554432000 4194304 5064252 140735679516784 140735679515696 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27658/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100264 s]
/proc/loadavg: 2.01 2.03 2.00 3/174 27658
/proc/meminfo: memFree=29027308/32873844 swapFree=7644/7644
[pid=27658] ppid=27656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27658/stat : 27658 (npSolver-pbo-It) S 27656 27658 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378448545 9367552 274 33554432000 4194304 5064252 140735679516784 140735679515696 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27658/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300263 s]
/proc/loadavg: 2.01 2.03 2.00 3/174 27658
/proc/meminfo: memFree=29027308/32873844 swapFree=7644/7644
[pid=27658] ppid=27656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27658/stat : 27658 (npSolver-pbo-It) S 27656 27658 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378448545 9367552 274 33554432000 4194304 5064252 140735679516784 140735679515696 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27658/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70028 s]
/proc/loadavg: 2.01 2.03 2.00 3/174 27658
/proc/meminfo: memFree=29027308/32873844 swapFree=7644/7644
[pid=27658] ppid=27656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27658/stat : 27658 (npSolver-pbo-It) S 27656 27658 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378448545 9367552 274 33554432000 4194304 5064252 140735679516784 140735679515696 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27658/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50038 s]
/proc/loadavg: 2.01 2.03 2.00 3/180 27671
/proc/meminfo: memFree=28912092/32873844 swapFree=7644/7644
[pid=27658] ppid=27656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27658/stat : 27658 (npSolver-pbo-It) S 27656 27658 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378448545 9367552 274 33554432000 4194304 5064252 140735679516784 140735679515696 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27658/statm: 2287 274 233 213 0 72 0
[pid=27659] ppid=27658 vsize=167012 CPUtime=1.49 cores=1,3,5,7
/proc/27659/stat : 27659 (npSolver-pbo) R 27658 27658 23264 0 -1 4202496 6806 0 0 0 146 3 0 0 20 0 1 0 378448545 171020288 28621 33554432000 4194304 6004724 140737047679584 140737047674184 4536305 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27659/statm: 41753 28621 154 442 0 41307 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 176160
[startup+3.10039 s]
/proc/loadavg: 2.01 2.03 2.00 2/174 27698
/proc/meminfo: memFree=28884028/32873844 swapFree=7644/7644
[pid=27658] ppid=27656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27658/stat : 27658 (npSolver-pbo-It) S 27656 27658 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378448545 9367552 274 33554432000 4194304 5064252 140735679516784 140735679515696 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27658/statm: 2287 274 233 213 0 72 0
[pid=27659] ppid=27658 vsize=298084 CPUtime=3.09 cores=1,3,5,7
/proc/27659/stat : 27659 (npSolver-pbo) R 27658 27658 23264 0 -1 4202496 7438 0 0 0 302 7 0 0 20 0 1 0 378448545 305238016 57805 33554432000 4194304 6004724 140737047679584 140737047674216 4582601 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27659/statm: 74521 57805 154 442 0 74075 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 307232
[startup+6.3004 s]
/proc/loadavg: 2.01 2.03 2.00 3/180 27711
/proc/meminfo: memFree=28394784/32873844 swapFree=7644/7644
[pid=27658] ppid=27656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27658/stat : 27658 (npSolver-pbo-It) S 27656 27658 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378448545 9367552 274 33554432000 4194304 5064252 140735679516784 140735679515696 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27658/statm: 2287 274 233 213 0 72 0
[pid=27659] ppid=27658 vsize=560228 CPUtime=6.29 cores=1,3,5,7
/proc/27659/stat : 27659 (npSolver-pbo) R 27658 27658 23264 0 -1 4202496 8197 0 0 0 613 16 0 0 20 0 1 0 378448545 573673472 119245 33554432000 4194304 6004724 140737047679584 140737047674184 5055532 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27659/statm: 140057 119245 154 442 0 139611 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 569376
[startup+12.7003 s]
/proc/loadavg: 2.09 2.05 2.01 3/182 27713
/proc/meminfo: memFree=26982752/32873844 swapFree=7644/7644
[pid=27658] ppid=27656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27658/stat : 27658 (npSolver-pbo-It) S 27656 27658 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378448545 9367552 274 33554432000 4194304 5064252 140735679516784 140735679515696 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27658/statm: 2287 274 233 213 0 72 0
[pid=27659] ppid=27658 vsize=1084540 CPUtime=12.69 cores=1,3,5,7
/proc/27659/stat : 27659 (npSolver-pbo) R 27658 27658 23264 0 -1 4202496 9217 0 0 0 1235 34 0 0 20 0 1 0 378448545 1110568960 241116 33554432000 4194304 6004724 140737047679584 140737047674536 4534761 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27659/statm: 271135 241116 154 442 0 270689 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1093688
[startup+25.5004 s]
/proc/loadavg: 2.16 2.06 2.01 3/184 27715
/proc/meminfo: memFree=24395884/32873844 swapFree=7644/7644
[pid=27658] ppid=27656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27658/stat : 27658 (npSolver-pbo-It) S 27656 27658 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378448545 9367552 274 33554432000 4194304 5064252 140735679516784 140735679515696 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27658/statm: 2287 274 233 213 0 72 0
[pid=27659] ppid=27658 vsize=2104596 CPUtime=17.6 cores=1,3,5,7
/proc/27659/stat : 27659 (npSolver-pbo) S 27658 27658 23264 0 -1 4202496 11439 0 0 0 1526 234 0 0 20 0 1 0 378448545 2155106304 277003 33554432000 4194304 6004724 140737047679584 140737047674048 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 5 0 0
/proc/27659/statm: 526149 277003 163 442 0 525703 0
[pid=27714] ppid=27659 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27714/stat : 27714 (cp2_pre.sh) S 27659 27658 23264 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 378450312 9367552 277 33554432000 4194304 5064252 140734945199232 140734945197936 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27714/statm: 2287 277 234 213 0 72 0
[pid=27715] ppid=27714 vsize=982760 CPUtime=7.81 cores=1,3,5,7
/proc/27715/stat : 27715 (coprocessor) R 27714 27658 23264 0 -1 4202496 19103 0 0 0 743 38 0 0 20 0 1 0 378450313 1006346240 233460 33554432000 4194304 6586260 140734160483680 140734160480440 5732400 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/27715/statm: 245690 233460 137 584 0 245102 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 3105652
[startup+51.1003 s]
/proc/loadavg: 2.29 2.10 2.02 3/183 27718
/proc/meminfo: memFree=22895684/32873844 swapFree=7644/7644
[pid=27658] ppid=27656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27658/stat : 27658 (npSolver-pbo-It) S 27656 27658 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378448545 9367552 274 33554432000 4194304 5064252 140735679516784 140735679515696 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27658/statm: 2287 274 233 213 0 72 0
[pid=27659] ppid=27658 vsize=2104596 CPUtime=17.6 cores=1,3,5,7
/proc/27659/stat : 27659 (npSolver-pbo) S 27658 27658 23264 0 -1 4202496 11439 0 0 0 1526 234 0 0 20 0 1 0 378448545 2155106304 277003 33554432000 4194304 6004724 140737047679584 140737047674048 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 5 0 0
/proc/27659/statm: 526149 277003 163 442 0 525703 0
[pid=27714] ppid=27659 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27714/stat : 27714 (cp2_pre.sh) S 27659 27658 23264 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 378450312 9367552 277 33554432000 4194304 5064252 140734945199232 140734945197936 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27714/statm: 2287 277 234 213 0 72 0
[pid=27715] ppid=27714 vsize=2220988 CPUtime=33.23 cores=1,3,5,7
/proc/27715/stat : 27715 (coprocessor) R 27714 27658 23264 0 -1 4202496 24658 0 0 0 3139 184 0 0 20 0 1 0 378450313 2274291712 459448 33554432000 4194304 6586260 140734160483680 140734160479432 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 17 0 0
/proc/27715/statm: 555247 459448 158 584 0 554659 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 4343880
[startup+102.3 s]
/proc/loadavg: 2.20 2.11 2.03 3/181 27720
/proc/meminfo: memFree=22868372/32873844 swapFree=7644/7644
[pid=27658] ppid=27656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27658/stat : 27658 (npSolver-pbo-It) S 27656 27658 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378448545 9367552 274 33554432000 4194304 5064252 140735679516784 140735679515696 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27658/statm: 2287 274 233 213 0 72 0
[pid=27659] ppid=27658 vsize=2104596 CPUtime=72.35 cores=1,3,5,7
/proc/27659/stat : 27659 (npSolver-pbo) S 27658 27658 23264 0 -1 4202496 11456 25561 0 0 1526 234 5151 324 20 0 1 0 378448545 2155106304 277007 33554432000 4194304 6004724 140737047679584 140737047665864 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 5 0 0
/proc/27659/statm: 526149 277007 167 442 0 525703 0
[pid=27720] ppid=27659 vsize=2746844 CPUtime=29.47 cores=1,3,5,7
/proc/27720/stat : 27720 (glucosInc) R 27659 27658 23264 0 -1 4202496 269470 0 0 0 2841 106 0 0 20 0 1 0 378455826 2812768256 583226 33554432000 4194304 5654031 140734519576752 140734519574536 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27720/statm: 686711 583226 140 357 0 686351 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 4860588
[startup+162.3 s]
/proc/loadavg: 2.07 2.09 2.02 3/181 27720
/proc/meminfo: memFree=22774556/32873844 swapFree=7644/7644
[pid=27658] ppid=27656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27658/stat : 27658 (npSolver-pbo-It) S 27656 27658 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378448545 9367552 274 33554432000 4194304 5064252 140735679516784 140735679515696 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27658/statm: 2287 274 233 213 0 72 0
[pid=27659] ppid=27658 vsize=2104596 CPUtime=72.35 cores=1,3,5,7
/proc/27659/stat : 27659 (npSolver-pbo) S 27658 27658 23264 0 -1 4202496 11456 25561 0 0 1526 234 5151 324 20 0 1 0 378448545 2155106304 277007 33554432000 4194304 6004724 140737047679584 140737047665864 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 5 0 0
/proc/27659/statm: 526149 277007 167 442 0 525703 0
[pid=27720] ppid=27659 vsize=2809008 CPUtime=89.46 cores=1,3,5,7
/proc/27720/stat : 27720 (glucosInc) R 27659 27658 23264 0 -1 4202496 273159 0 0 0 8837 109 0 0 20 0 1 0 378455826 2876424192 598668 33554432000 4194304 5654031 140734519576752 140734519564568 4232968 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27720/statm: 702252 598668 140 357 0 701892 0
Current children cumulated CPU time (s) 161.81
Current children cumulated vsize (KiB) 4922752
[startup+222.3 s]
/proc/loadavg: 2.02 2.07 2.02 3/181 27720
/proc/meminfo: memFree=22733104/32873844 swapFree=7644/7644
[pid=27658] ppid=27656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27658/stat : 27658 (npSolver-pbo-It) S 27656 27658 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378448545 9367552 274 33554432000 4194304 5064252 140735679516784 140735679515696 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27658/statm: 2287 274 233 213 0 72 0
[pid=27659] ppid=27658 vsize=2104596 CPUtime=72.35 cores=1,3,5,7
/proc/27659/stat : 27659 (npSolver-pbo) S 27658 27658 23264 0 -1 4202496 11456 25561 0 0 1526 234 5151 324 20 0 1 0 378448545 2155106304 277007 33554432000 4194304 6004724 140737047679584 140737047665864 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 5 0 0
/proc/27659/statm: 526149 277007 167 442 0 525703 0
[pid=27720] ppid=27659 vsize=2809008 CPUtime=149.46 cores=1,3,5,7
/proc/27720/stat : 27720 (glucosInc) R 27659 27658 23264 0 -1 4202496 273768 0 0 0 14836 110 0 0 20 0 1 0 378455826 2876424192 603876 33554432000 4194304 5654031 140734519576752 140734519564568 4232752 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27720/statm: 702252 603876 140 357 0 701892 0
Current children cumulated CPU time (s) 221.81
Current children cumulated vsize (KiB) 4922752
[startup+282.3 s]
/proc/loadavg: 2.09 2.07 2.02 3/181 27720
/proc/meminfo: memFree=22741032/32873844 swapFree=7644/7644
[pid=27658] ppid=27656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27658/stat : 27658 (npSolver-pbo-It) S 27656 27658 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378448545 9367552 274 33554432000 4194304 5064252 140735679516784 140735679515696 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27658/statm: 2287 274 233 213 0 72 0
[pid=27659] ppid=27658 vsize=2104596 CPUtime=72.35 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=22475324/32873844 swapFree=7644/7644
[pid=27658] ppid=27656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27658/stat : 27658 (npSolver-pbo-It) S 27656 27658 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378448545 9367552 274 33554432000 4194304 5064252 140735679516784 140735679515696 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27658/statm: 2287 274 233 213 0 72 0
[pid=27659] ppid=27658 vsize=2104596 CPUtime=72.35 cores=1,3,5,7
/proc/27659/stat : 27659 (npSolver-pbo) S 27658 27658 23264 0 -1 4202496 11456 25561 0 0 1526 234 5151 324 20 0 1 0 378448545 2155106304 277007 33554432000 4194304 6004724 140737047679584 140737047665864 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 5 0 0
/proc/27659/statm: 526149 277007 167 442 0 525703 0
[pid=27720] ppid=27659 vsize=2960304 CPUtime=1289.23 cores=1,3,5,7
/proc/27720/stat : 27720 (glucosInc) R 27659 27658 23264 0 -1 4202496 284066 0 0 0 128725 198 0 0 20 0 1 0 378455826 3031351296 656456 33554432000 4194304 5654031 140734519576752 140734519564568 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27720/statm: 740076 656456 141 357 0 739716 0
Current children cumulated CPU time (s) 1361.58
Current children cumulated vsize (KiB) 5074048
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27754
/proc/meminfo: memFree=22417784/32873844 swapFree=7644/7644
[pid=27658] ppid=27656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27658/stat : 27658 (npSolver-pbo-It) S 27656 27658 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378448545 9367552 274 33554432000 4194304 5064252 140735679516784 140735679515696 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27658/statm: 2287 274 233 213 0 72 0
[pid=27659] ppid=27658 vsize=2104596 CPUtime=72.35 cores=1,3,5,7
/proc/27659/stat : 27659 (npSolver-pbo) S 27658 27658 23264 0 -1 4202496 11456 25561 0 0 1526 234 5151 324 20 0 1 0 378448545 2155106304 277007 33554432000 4194304 6004724 140737047679584 140737047665864 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 5 0 0
/proc/27659/statm: 526149 277007 167 442 0 525703 0
[pid=27720] ppid=27659 vsize=2983576 CPUtime=1349.22 cores=1,3,5,7
/proc/27720/stat : 27720 (glucosInc) R 27659 27658 23264 0 -1 4202496 284168 0 0 0 134723 199 0 0 20 0 1 0 378455826 3055181824 665754 33554432000 4194304 5654031 140734519576752 140734519564568 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27720/statm: 745894 665754 141 357 0 745534 0
Current children cumulated CPU time (s) 1421.57
Current children cumulated vsize (KiB) 5097320
[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/181 27754
/proc/meminfo: memFree=22435776/32873844 swapFree=7644/7644
[pid=27658] ppid=27656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27658/stat : 27658 (npSolver-pbo-It) S 27656 27658 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378448545 9367552 274 33554432000 4194304 5064252 140735679516784 140735679515696 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27658/statm: 2287 274 233 213 0 72 0
[pid=27659] ppid=27658 vsize=2104596 CPUtime=72.35 cores=1,3,5,7
/proc/27659/stat : 27659 (npSolver-pbo) S 27658 27658 23264 0 -1 4202496 11456 25561 0 0 1526 234 5151 324 20 0 1 0 378448545 2155106304 277007 33554432000 4194304 6004724 140737047679584 140737047665864 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 5 0 0
/proc/27659/statm: 526149 277007 167 442 0 525703 0
[pid=27720] ppid=27659 vsize=3570492 CPUtime=1409.21 cores=1,3,5,7
/proc/27720/stat : 27720 (glucosInc) R 27659 27658 23264 0 -1 4202496 285165 0 0 0 140714 207 0 0 20 0 1 0 378455826 3656183808 677473 33554432000 4194304 5654031 140734519576752 140734519564568 4233204 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27720/statm: 892623 677473 141 357 0 892263 0
Current children cumulated CPU time (s) 1481.56
Current children cumulated vsize (KiB) 5684236
[startup+1542.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/181 27754
/proc/meminfo: memFree=22382432/32873844 swapFree=7644/7644
[pid=27658] ppid=27656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27658/stat : 27658 (npSolver-pbo-It) S 27656 27658 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378448545 9367552 274 33554432000 4194304 5064252 140735679516784 140735679515696 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27658/statm: 2287 274 233 213 0 72 0
[pid=27659] ppid=27658 vsize=2104596 CPUtime=72.35 cores=1,3,5,7
/proc/27659/stat : 27659 (npSolver-pbo) S 27658 27658 23264 0 -1 4202496 11456 25561 0 0 1526 234 5151 324 20 0 1 0 378448545 2155106304 277007 33554432000 4194304 6004724 140737047679584 140737047665864 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 5 0 0
/proc/27659/statm: 526149 277007 167 442 0 525703 0
[pid=27720] ppid=27659 vsize=3570812 CPUtime=1469.2 cores=1,3,5,7
/proc/27720/stat : 27720 (glucosInc) R 27659 27658 23264 0 -1 4202496 285244 0 0 0 146712 208 0 0 20 0 1 0 378455826 3656511488 685727 33554432000 4194304 5654031 140734519576752 140734519564568 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27720/statm: 892703 685727 141 357 0 892343 0
Current children cumulated CPU time (s) 1541.55
Current children cumulated vsize (KiB) 5684556
[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/181 27755
/proc/meminfo: memFree=22331340/32873844 swapFree=7644/7644
[pid=27658] ppid=27656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27658/stat : 27658 (npSolver-pbo-It) S 27656 27658 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378448545 9367552 274 33554432000 4194304 5064252 140735679516784 140735679515696 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27658/statm: 2287 274 233 213 0 72 0
[pid=27659] ppid=27658 vsize=2104596 CPUtime=72.35 cores=1,3,5,7
/proc/27659/stat : 27659 (npSolver-pbo) S 27658 27658 23264 0 -1 4202496 11456 25561 0 0 1526 234 5151 324 20 0 1 0 378448545 2155106304 277007 33554432000 4194304 6004724 140737047679584 140737047665864 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 5 0 0
/proc/27659/statm: 526149 277007 167 442 0 525703 0
[pid=27720] ppid=27659 vsize=3571004 CPUtime=1529.18 cores=1,3,5,7
/proc/27720/stat : 27720 (glucosInc) R 27659 27658 23264 0 -1 4202496 285774 0 0 0 152710 208 0 0 20 0 1 0 378455826 3656708096 694944 33554432000 4194304 5654031 140734519576752 140734519564568 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27720/statm: 892751 694944 141 357 0 892391 0
Current children cumulated CPU time (s) 1601.53
Current children cumulated vsize (KiB) 5684748
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 27755
/proc/meminfo: memFree=22486440/32873844 swapFree=7644/7644
[pid=27658] ppid=27656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27658/stat : 27658 (npSolver-pbo-It) S 27656 27658 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378448545 9367552 274 33554432000 4194304 5064252 140735679516784 140735679515696 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27658/statm: 2287 274 233 213 0 72 0
[pid=27659] ppid=27658 vsize=2104596 CPUtime=72.35 cores=1,3,5,7
/proc/27659/stat : 27659 (npSolver-pbo) S 27658 27658 23264 0 -1 4202496 11456 25561 0 0 1526 234 5151 324 20 0 1 0 378448545 2155106304 277007 33554432000 4194304 6004724 140737047679584 140737047665864 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 5 0 0
/proc/27659/statm: 526149 277007 167 442 0 525703 0
[pid=27720] ppid=27659 vsize=3003572 CPUtime=1589.18 cores=1,3,5,7
/proc/27720/stat : 27720 (glucosInc) R 27659 27658 23264 0 -1 4202496 286439 0 0 0 158687 231 0 0 20 0 1 0 378455826 3075657728 651119 33554432000 4194304 5654031 140734519576752 140734519564568 4233148 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27720/statm: 750893 651119 141 357 0 750533 0
Current children cumulated CPU time (s) 1661.53
Current children cumulated vsize (KiB) 5117316
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 27755
/proc/meminfo: memFree=22436468/32873844 swapFree=7644/7644
[pid=27658] ppid=27656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27658/stat : 27658 (npSolver-pbo-It) S 27656 27658 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378448545 9367552 274 33554432000 4194304 5064252 140735679516784 140735679515696 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27658/statm: 2287 274 233 213 0 72 0
[pid=27659] ppid=27658 vsize=2104596 CPUtime=72.35 cores=1,3,5,7
/proc/27659/stat : 27659 (npSolver-pbo) S 27658 27658 23264 0 -1 4202496 11456 25561 0 0 1526 234 5151 324 20 0 1 0 378448545 2155106304 277007 33554432000 4194304 6004724 140737047679584 140737047665864 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 5 0 0
/proc/27659/statm: 526149 277007 167 442 0 525703 0
[pid=27720] ppid=27659 vsize=3003572 CPUtime=1649.17 cores=1,3,5,7
/proc/27720/stat : 27720 (glucosInc) R 27659 27658 23264 0 -1 4202496 286465 0 0 0 164686 231 0 0 20 0 1 0 378455826 3075657728 659321 33554432000 4194304 5654031 140734519576752 140734519564568 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27720/statm: 750893 659321 141 357 0 750533 0
Current children cumulated CPU time (s) 1721.52
Current children cumulated vsize (KiB) 5117316
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 27758
/proc/meminfo: memFree=22465012/32873844 swapFree=7644/7644
[pid=27658] ppid=27656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27658/stat : 27658 (npSolver-pbo-It) S 27656 27658 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378448545 9367552 274 33554432000 4194304 5064252 140735679516784 140735679515696 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27658/statm: 2287 274 233 213 0 72 0
[pid=27659] ppid=27658 vsize=2104596 CPUtime=72.35 cores=1,3,5,7
/proc/27659/stat : 27659 (npSolver-pbo) S 27658 27658 23264 0 -1 4202496 11456 25561 0 0 1526 234 5151 324 20 0 1 0 378448545 2155106304 277007 33554432000 4194304 6004724 140737047679584 140737047665864 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 5 0 0
/proc/27659/statm: 526149 277007 167 442 0 525703 0
[pid=27720] ppid=27659 vsize=3004052 CPUtime=1709.16 cores=1,3,5,7
/proc/27720/stat : 27720 (glucosInc) R 27659 27658 23264 0 -1 4202496 286581 0 0 0 170684 232 0 0 20 0 1 0 378455826 3076149248 668121 33554432000 4194304 5654031 140734519576752 140734519564568 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27720/statm: 751013 668121 141 357 0 750653 0
Current children cumulated CPU time (s) 1781.51
Current children cumulated vsize (KiB) 5117796
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 27758
/proc/meminfo: memFree=22448596/32873844 swapFree=7644/7644
[pid=27658] ppid=27656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27658/stat : 27658 (npSolver-pbo-It) S 27656 27658 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378448545 9367552 274 33554432000 4194304 5064252 140735679516784 140735679515696 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27658/statm: 2287 274 233 213 0 72 0
[pid=27659] ppid=27658 vsize=2104596 CPUtime=72.35 cores=1,3,5,7
/proc/27659/stat : 27659 (npSolver-pbo) S 27658 27658 23264 0 -1 4202496 11456 25561 0 0 1526 234 5151 324 20 0 1 0 378448545 2155106304 277007 33554432000 4194304 6004724 140737047679584 140737047665864 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 5 0 0
/proc/27659/statm: 526149 277007 167 442 0 525703 0
[pid=27720] ppid=27659 vsize=3004052 CPUtime=1727.66 cores=1,3,5,7
/proc/27720/stat : 27720 (glucosInc) R 27659 27658 23264 0 -1 4202496 286586 0 0 0 172534 232 0 0 20 0 1 0 378455826 3076149248 670681 33554432000 4194304 5654031 140734519576752 140734519564568 4233144 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27720/statm: 751013 670681 141 357 0 750653 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 5117796
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 27758
/proc/meminfo: memFree=22448596/32873844 swapFree=7644/7644
[pid=27658] ppid=27656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27658/stat : 27658 (npSolver-pbo-It) S 27656 27658 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378448545 9367552 274 33554432000 4194304 5064252 140735679516784 140735679515696 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27658/statm: 2287 274 233 213 0 72 0
[pid=27659] ppid=27658 vsize=2104596 CPUtime=72.35 cores=1,3,5,7
/proc/27659/stat : 27659 (npSolver-pbo) S 27658 27658 23264 0 -1 4202496 11456 25561 0 0 1526 234 5151 324 20 0 1 0 378448545 2155106304 277007 33554432000 4194304 6004724 140737047679584 140737047665864 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 5 0 0
/proc/27659/statm: 526149 277007 167 442 0 525703 0
[pid=27720] ppid=27659 vsize=3004052 CPUtime=1727.66 cores=1,3,5,7
/proc/27720/stat : 27720 (glucosInc) R 27659 27658 23264 0 -1 4202496 286586 0 0 0 172534 232 0 0 20 0 1 0 378455826 3076149248 670681 33554432000 4194304 5654031 140734519576752 140734519564568 4233144 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27720/statm: 751013 670681 141 357 0 750653 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 5117796
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27658 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.82
CPU time (s): 1800.01
CPU user time (s): 1792.11
CPU system time (s): 7.9
CPU usage (%): 99.9552
Max. virtual memory (cumulated for all children) (KiB): 6592796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357
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= 4
involuntary context switches= 1
runsolver used 4.40133 second user time and 10.6224 second system time
The end