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-3699789-1338071331/watcher-3699789-1338071331 -o /tmp/evaluation-result-3699789-1338071331/solver-3699789-1338071331 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699789-1338071331.opb 1395838451 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 4152
/proc/meminfo: memFree=27784184/32873844 swapFree=7100/7100
[pid=4152] ppid=4150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4152/stat : 4152 (npSolver-pbo-I.) S 4150 4152 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273260055 9367552 275 33554432000 4194304 5064252 140733830478128 140733830477040 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4152/statm: 2287 275 233 213 0 72 0
[startup+0.0806259 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4152
/proc/meminfo: memFree=27784184/32873844 swapFree=7100/7100
[pid=4152] ppid=4150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4152/stat : 4152 (npSolver-pbo-I.) S 4150 4152 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273260055 9367552 275 33554432000 4194304 5064252 140733830478128 140733830477040 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4152/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100325 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4152
/proc/meminfo: memFree=27784184/32873844 swapFree=7100/7100
[pid=4152] ppid=4150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4152/stat : 4152 (npSolver-pbo-I.) S 4150 4152 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273260055 9367552 275 33554432000 4194304 5064252 140733830478128 140733830477040 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4152/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300284 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4152
/proc/meminfo: memFree=27784184/32873844 swapFree=7100/7100
[pid=4152] ppid=4150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4152/stat : 4152 (npSolver-pbo-I.) S 4150 4152 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273260055 9367552 275 33554432000 4194304 5064252 140733830478128 140733830477040 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4152/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700293 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4152
/proc/meminfo: memFree=27784184/32873844 swapFree=7100/7100
[pid=4152] ppid=4150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4152/stat : 4152 (npSolver-pbo-I.) S 4150 4152 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273260055 9367552 275 33554432000 4194304 5064252 140733830478128 140733830477040 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4152/statm: 2287 275 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.00 2.00 2.00 3/180 4154
/proc/meminfo: memFree=27672740/32873844 swapFree=7100/7100
[pid=4152] ppid=4150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4152/stat : 4152 (npSolver-pbo-I.) S 4150 4152 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273260055 9367552 275 33554432000 4194304 5064252 140733830478128 140733830477040 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4152/statm: 2287 275 233 213 0 72 0
[pid=4153] ppid=4152 vsize=133128 CPUtime=1.49 cores=0,2,4,6
/proc/4153/stat : 4153 (npSolver-pbo) R 4152 4152 2277 0 -1 4202496 16132 0 0 0 145 4 0 0 20 0 1 0 273260055 136323072 27290 33554432000 4194304 5992684 140735559232160 140735559226184 4229126 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4153/statm: 33282 27290 156 440 0 32838 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 142276
[startup+3.10045 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 4156
/proc/meminfo: memFree=27566004/32873844 swapFree=7100/7100
[pid=4152] ppid=4150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4152/stat : 4152 (npSolver-pbo-I.) S 4150 4152 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273260055 9367552 275 33554432000 4194304 5064252 140733830478128 140733830477040 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4152/statm: 2287 275 233 213 0 72 0
[pid=4153] ppid=4152 vsize=145340 CPUtime=2 cores=0,2,4,6
/proc/4153/stat : 4153 (npSolver-pbo) S 4152 4152 2277 0 -1 4202496 17821 0 0 0 186 14 0 0 20 0 1 0 273260055 148828160 34979 33554432000 4194304 5992684 140735559232160 140735559226608 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4153/statm: 36335 34979 163 440 0 35891 0
[pid=4155] ppid=4153 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4155/stat : 4155 (cp2_pre.sh) S 4153 4152 2277 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 273260257 9367552 277 33554432000 4194304 5064252 140733338580160 140733338578864 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4155/statm: 2287 277 234 213 0 72 0
[pid=4156] ppid=4155 vsize=409364 CPUtime=1.07 cores=0,2,4,6
/proc/4156/stat : 4156 (coprocessor) R 4155 4152 2277 0 -1 4202496 24941 0 0 0 98 9 0 0 20 0 1 0 273260257 419188736 88391 33554432000 4194304 6586260 140735877397760 140735877394520 5511711 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/4156/statm: 102341 88391 164 584 0 101753 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 573000
[startup+6.30046 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 4156
/proc/meminfo: memFree=27083816/32873844 swapFree=7100/7100
[pid=4152] ppid=4150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4152/stat : 4152 (npSolver-pbo-I.) S 4150 4152 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273260055 9367552 275 33554432000 4194304 5064252 140733830478128 140733830477040 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4152/statm: 2287 275 233 213 0 72 0
[pid=4153] ppid=4152 vsize=145340 CPUtime=2 cores=0,2,4,6
/proc/4153/stat : 4153 (npSolver-pbo) S 4152 4152 2277 0 -1 4202496 17821 0 0 0 186 14 0 0 20 0 1 0 273260055 148828160 34979 33554432000 4194304 5992684 140735559232160 140735559226608 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4153/statm: 36335 34979 163 440 0 35891 0
[pid=4155] ppid=4153 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4155/stat : 4155 (cp2_pre.sh) S 4153 4152 2277 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 273260257 9367552 277 33554432000 4194304 5064252 140733338580160 140733338578864 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4155/statm: 2287 277 234 213 0 72 0
[pid=4156] ppid=4155 vsize=590612 CPUtime=4.27 cores=0,2,4,6
/proc/4156/stat : 4156 (coprocessor) R 4155 4152 2277 0 -1 4202496 56161 0 0 0 412 15 0 0 20 0 1 0 273260257 604786688 143628 33554432000 4194304 6586260 140735877397760 140735877393608 5511711 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/4156/statm: 147653 143629 182 584 0 147065 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 754248
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 4158
/proc/meminfo: memFree=27295612/32873844 swapFree=7100/7100
[pid=4152] ppid=4150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4152/stat : 4152 (npSolver-pbo-I.) S 4150 4152 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273260055 9367552 275 33554432000 4194304 5064252 140733830478128 140733830477040 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4152/statm: 2287 275 233 213 0 72 0
[pid=4153] ppid=4152 vsize=145340 CPUtime=10.15 cores=0,2,4,6
/proc/4153/stat : 4153 (npSolver-pbo) S 4152 4152 2277 0 -1 4202496 17837 62264 0 0 186 14 785 30 20 0 1 0 273260055 148828160 34981 33554432000 4194304 5992684 140735559232160 140735559218424 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/4153/statm: 36335 34981 165 440 0 35891 0
[pid=4158] ppid=4153 vsize=334336 CPUtime=2.52 cores=0,2,4,6
/proc/4158/stat : 4158 (glucosInc) R 4153 4152 2277 0 -1 4202496 53107 0 0 0 241 11 0 0 20 0 1 0 273261072 342360064 72097 33554432000 4194304 5654031 140736438923088 140736438920872 4216577 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4158/statm: 83584 72097 131 357 0 83224 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 488824
[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 4158
/proc/meminfo: memFree=27289728/32873844 swapFree=7100/7100
[pid=4152] ppid=4150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4152/stat : 4152 (npSolver-pbo-I.) S 4150 4152 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273260055 9367552 275 33554432000 4194304 5064252 140733830478128 140733830477040 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4152/statm: 2287 275 233 213 0 72 0
[pid=4153] ppid=4152 vsize=145340 CPUtime=10.15 cores=0,2,4,6
/proc/4153/stat : 4153 (npSolver-pbo) S 4152 4152 2277 0 -1 4202496 17837 62264 0 0 186 14 785 30 20 0 1 0 273260055 148828160 34981 33554432000 4194304 5992684 140735559232160 140735559218424 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/4153/statm: 36335 34981 165 440 0 35891 0
[pid=4158] ppid=4153 vsize=336004 CPUtime=15.31 cores=0,2,4,6
/proc/4158/stat : 4158 (glucosInc) R 4153 4152 2277 0 -1 4202496 53516 0 0 0 1520 11 0 0 20 0 1 0 273261072 344068096 73017 33554432000 4194304 5654031 140736438923088 140736438920872 4215040 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4158/statm: 84001 73017 140 357 0 83641 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 490492
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 4161
/proc/meminfo: memFree=27183112/32873844 swapFree=7100/7100
[pid=4152] ppid=4150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4152/stat : 4152 (npSolver-pbo-I.) S 4150 4152 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273260055 9367552 275 33554432000 4194304 5064252 140733830478128 140733830477040 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4152/statm: 2287 275 233 213 0 72 0
[pid=4153] ppid=4152 vsize=158556 CPUtime=41.37 cores=0,2,4,6
/proc/4153/stat : 4153 (npSolver-pbo) S 4152 4152 2277 0 -1 4202496 23360 118253 0 0 287 405 3381 64 20 0 1 0 273260055 162361344 38787 33554432000 4194304 5992684 140735559232160 140735559217064 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 77 0 0
/proc/4153/statm: 39639 38787 177 440 0 39195 0
[pid=4161] ppid=4153 vsize=379724 CPUtime=8.92 cores=0,2,4,6
/proc/4161/stat : 4161 (glucosInc) R 4153 4152 2277 0 -1 4202496 57190 0 0 0 880 12 0 0 20 0 1 0 273264272 388837376 79134 33554432000 4194304 5654031 140736829063328 140736829061112 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4161/statm: 94931 79134 131 357 0 94571 0
Current children cumulated CPU time (s) 50.29
Current children cumulated vsize (KiB) 547428
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 4164
/proc/meminfo: memFree=27167576/32873844 swapFree=7100/7100
[pid=4152] ppid=4150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4152/stat : 4152 (npSolver-pbo-I.) S 4150 4152 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273260055 9367552 275 33554432000 4194304 5064252 140733830478128 140733830477040 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4152/statm: 2287 275 233 213 0 72 0
[pid=4153] ppid=4152 vsize=158556 CPUtime=41.37 cores=0,2,4,6
/proc/4153/stat : 4153 (npSolver-pbo) S 4152 4152 2277 0 -1 4202496 23360 118253 0 0 287 405 3381 64 20 0 1 0 273260055 162361344 38787 33554432000 4194304 5992684 140735559232160 140735559217064 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 77 0 0
/proc/4153/statm: 39639 38787 177 440 0 39195 0
[pid=4161] ppid=4153 vsize=380396 CPUtime=60.11 cores=0,2,4,6
/proc/4161/stat : 4161 (glucosInc) R 4153 4152 2277 0 -1 4202496 57604 0 0 0 5997 14 0 0 20 0 1 0 273264272 389525504 82486 33554432000 4194304 5654031 140736829063328 140736829061112 4232800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4161/statm: 95099 82486 132 357 0 94739 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 548100
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4165
/proc/meminfo: memFree=27152748/32873844 swapFree=7100/7100
[pid=4152] ppid=4150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4152/stat : 4152 (npSolver-pbo-I.) S 4150 4152 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273260055 9367552 275 33554432000 4194304 5064252 140733830478128 140733830477040 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4152/statm: 2287 275 233 213 0 72 0
[pid=4153] ppid=4152 vsize=174940 CPUtime=41.49 cores=0,2,4,6
/proc/4153/stat : 4153 (npSolver-pbo) S 4152 4152 2277 0 -1 4202496 27265 118253 0 0 298 406 3381 64 20 0 1 0 273260055 179138560 41347 33554432000 4194304 5992684 140735559232160 140735559217064 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 77 0 0
/proc/4153/statm: 43735 41347 177 440 0 43291 0
[pid=4161] ppid=4153 vsize=394640 CPUtime=120.01 cores=0,2,4,6
/proc/4161/stat : 4161 (glucosInc) R 4153 4152 2277 0 -1 4202496 60828 0 0 0 11983 18 0 0 20 0 1 0 273264272 404111360 83301 33554432000 4194304 5654031 140736829063328 140736829051144 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4161/statm: 98660 83301 151 357 0 98300 0
Current children cumulated CPU time (s) 161.5
Current children cumulated vsize (KiB) 578728
[startup+222.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 4165
/proc/meminfo: memFree=27143936/32873844 swapFree=7100/7100
[pid=4152] ppid=4150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4152/stat : 4152 (npSolver-pbo-I.) S 4150 4152 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273260055 9367552 275 33554432000 4194304 5064252 140733830478128 140733830477040 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4152/statm: 2287 275 233 213 0 72 0
[pid=4153] ppid=4152 vsize=174940 CPUtime=41.49 cores=0,2,4,6
/proc/4153/stat : 4153 (npSolver-pbo) S 4152 4152 2277 0 -1 4202496 27265 118253 0 0 298 406 3381 64 20 0 1 0 273260055 179138560 41347 33554432000 4194304 5992684 140735559232160 140735559217064 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 77 0 0
/proc/4153/statm: 43735 41347 177 440 0 43291 0
[pid=4161] ppid=4153 vsize=394640 CPUtime=180 cores=0,2,4,6
/proc/4161/stat : 4161 (glucosInc) R 4153 4152 2277 0 -1 4202496 60986 0 0 0 17982 18 0 0 20 0 1 0 273264272 404111360 84992 33554432000 4194304 5654031 140736829063328 140736829051144 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4161/statm: 98660 84992 151 357 0 98300 0
Current children cumulated CPU time (s) 221.49
################
# More data... #
################
/proc/meminfo: memFree=21547944/32873844 swapFree=7100/7100
[pid=4152] ppid=4150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4152/stat : 4152 (npSolver-pbo-I.) S 4150 4152 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273260055 9367552 275 33554432000 4194304 5064252 140733830478128 140733830477040 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4152/statm: 2287 275 233 213 0 72 0
[pid=4153] ppid=4152 vsize=175528 CPUtime=41.59 cores=0,2,4,6
/proc/4153/stat : 4153 (npSolver-pbo) S 4152 4152 2277 0 -1 4202496 27273 118253 0 0 308 406 3381 64 20 0 1 0 273260055 179740672 42371 33554432000 4194304 5992684 140735559232160 140735559217064 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 77 0 0
/proc/4153/statm: 43882 42371 177 440 0 43438 0
[pid=4161] ppid=4153 vsize=405644 CPUtime=1199.69 cores=0,2,4,6
/proc/4161/stat : 4161 (glucosInc) R 4153 4152 2277 0 -1 4202496 62723 0 0 0 119945 24 0 0 20 0 1 0 273264272 415379456 89041 33554432000 4194304 5654031 140736829063328 140736829051144 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4161/statm: 101411 89041 151 357 0 101051 0
Current children cumulated CPU time (s) 1241.28
Current children cumulated vsize (KiB) 590320
[startup+1302.31 s]
/proc/loadavg: 2.20 2.46 2.25 3/181 4545
/proc/meminfo: memFree=17991988/32873844 swapFree=7100/7100
[pid=4152] ppid=4150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4152/stat : 4152 (npSolver-pbo-I.) S 4150 4152 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273260055 9367552 275 33554432000 4194304 5064252 140733830478128 140733830477040 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4152/statm: 2287 275 233 213 0 72 0
[pid=4153] ppid=4152 vsize=175528 CPUtime=41.59 cores=0,2,4,6
/proc/4153/stat : 4153 (npSolver-pbo) S 4152 4152 2277 0 -1 4202496 27273 118253 0 0 308 406 3381 64 20 0 1 0 273260055 179740672 42371 33554432000 4194304 5992684 140735559232160 140735559217064 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 77 0 0
/proc/4153/statm: 43882 42371 177 440 0 43438 0
[pid=4161] ppid=4153 vsize=405644 CPUtime=1259.69 cores=0,2,4,6
/proc/4161/stat : 4161 (glucosInc) R 4153 4152 2277 0 -1 4202496 62725 0 0 0 125945 24 0 0 20 0 1 0 273264272 415379456 90065 33554432000 4194304 5654031 140736829063328 140736829051144 4215014 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4161/statm: 101411 90065 151 357 0 101051 0
Current children cumulated CPU time (s) 1301.28
Current children cumulated vsize (KiB) 590320
[startup+1362.3 s]
/proc/loadavg: 2.07 2.37 2.23 3/180 4546
/proc/meminfo: memFree=15478552/32873844 swapFree=7100/7100
[pid=4152] ppid=4150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4152/stat : 4152 (npSolver-pbo-I.) S 4150 4152 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273260055 9367552 275 33554432000 4194304 5064252 140733830478128 140733830477040 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4152/statm: 2287 275 233 213 0 72 0
[pid=4153] ppid=4152 vsize=175528 CPUtime=41.59 cores=0,2,4,6
/proc/4153/stat : 4153 (npSolver-pbo) S 4152 4152 2277 0 -1 4202496 27273 118253 0 0 308 406 3381 64 20 0 1 0 273260055 179740672 42371 33554432000 4194304 5992684 140735559232160 140735559217064 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 77 0 0
/proc/4153/statm: 43882 42371 177 440 0 43438 0
[pid=4161] ppid=4153 vsize=405644 CPUtime=1319.67 cores=0,2,4,6
/proc/4161/stat : 4161 (glucosInc) R 4153 4152 2277 0 -1 4202496 62726 0 0 0 131943 24 0 0 20 0 1 0 273264272 415379456 90577 33554432000 4194304 5654031 140736829063328 140736829051144 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4161/statm: 101411 90577 151 357 0 101051 0
Current children cumulated CPU time (s) 1361.26
Current children cumulated vsize (KiB) 590320
[startup+1422.3 s]
/proc/loadavg: 2.02 2.30 2.21 3/180 4546
/proc/meminfo: memFree=12981984/32873844 swapFree=7100/7100
[pid=4152] ppid=4150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4152/stat : 4152 (npSolver-pbo-I.) S 4150 4152 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273260055 9367552 275 33554432000 4194304 5064252 140733830478128 140733830477040 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4152/statm: 2287 275 233 213 0 72 0
[pid=4153] ppid=4152 vsize=175528 CPUtime=41.59 cores=0,2,4,6
/proc/4153/stat : 4153 (npSolver-pbo) S 4152 4152 2277 0 -1 4202496 27273 118253 0 0 308 406 3381 64 20 0 1 0 273260055 179740672 42371 33554432000 4194304 5992684 140735559232160 140735559217064 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 77 0 0
/proc/4153/statm: 43882 42371 177 440 0 43438 0
[pid=4161] ppid=4153 vsize=455732 CPUtime=1379.67 cores=0,2,4,6
/proc/4161/stat : 4161 (glucosInc) R 4153 4152 2277 0 -1 4202496 63032 0 0 0 137942 25 0 0 20 0 1 0 273264272 466669568 91902 33554432000 4194304 5654031 140736829063328 140736829051144 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4161/statm: 113933 91902 151 357 0 113573 0
Current children cumulated CPU time (s) 1421.26
Current children cumulated vsize (KiB) 640408
[startup+1482.3 s]
/proc/loadavg: 2.01 2.24 2.19 3/180 4586
/proc/meminfo: memFree=25081028/32873844 swapFree=7100/7100
[pid=4152] ppid=4150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4152/stat : 4152 (npSolver-pbo-I.) S 4150 4152 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273260055 9367552 275 33554432000 4194304 5064252 140733830478128 140733830477040 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4152/statm: 2287 275 233 213 0 72 0
[pid=4153] ppid=4152 vsize=175528 CPUtime=41.59 cores=0,2,4,6
/proc/4153/stat : 4153 (npSolver-pbo) S 4152 4152 2277 0 -1 4202496 27273 118253 0 0 308 406 3381 64 20 0 1 0 273260055 179740672 42371 33554432000 4194304 5992684 140735559232160 140735559217064 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 77 0 0
/proc/4153/statm: 43882 42371 177 440 0 43438 0
[pid=4161] ppid=4153 vsize=455732 CPUtime=1439.65 cores=0,2,4,6
/proc/4161/stat : 4161 (glucosInc) R 4153 4152 2277 0 -1 4202496 63033 0 0 0 143940 25 0 0 20 0 1 0 273264272 466669568 92414 33554432000 4194304 5654031 140736829063328 140736829051144 4215168 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4161/statm: 113933 92414 151 357 0 113573 0
Current children cumulated CPU time (s) 1481.24
Current children cumulated vsize (KiB) 640408
[startup+1542.3 s]
/proc/loadavg: 2.06 2.21 2.18 3/180 4586
/proc/meminfo: memFree=19623580/32873844 swapFree=7100/7100
[pid=4152] ppid=4150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4152/stat : 4152 (npSolver-pbo-I.) S 4150 4152 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273260055 9367552 275 33554432000 4194304 5064252 140733830478128 140733830477040 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4152/statm: 2287 275 233 213 0 72 0
[pid=4153] ppid=4152 vsize=175528 CPUtime=41.59 cores=0,2,4,6
/proc/4153/stat : 4153 (npSolver-pbo) S 4152 4152 2277 0 -1 4202496 27273 118253 0 0 308 406 3381 64 20 0 1 0 273260055 179740672 42371 33554432000 4194304 5992684 140735559232160 140735559217064 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 77 0 0
/proc/4153/statm: 43882 42371 177 440 0 43438 0
[pid=4161] ppid=4153 vsize=455732 CPUtime=1499.64 cores=0,2,4,6
/proc/4161/stat : 4161 (glucosInc) R 4153 4152 2277 0 -1 4202496 63034 0 0 0 149939 25 0 0 20 0 1 0 273264272 466669568 92926 33554432000 4194304 5654031 140736829063328 140736829051144 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4161/statm: 113933 92926 151 357 0 113573 0
Current children cumulated CPU time (s) 1541.23
Current children cumulated vsize (KiB) 640408
[startup+1602.3 s]
/proc/loadavg: 2.06 2.19 2.17 3/180 4586
/proc/meminfo: memFree=17062612/32873844 swapFree=7100/7100
[pid=4152] ppid=4150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4152/stat : 4152 (npSolver-pbo-I.) S 4150 4152 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273260055 9367552 275 33554432000 4194304 5064252 140733830478128 140733830477040 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4152/statm: 2287 275 233 213 0 72 0
[pid=4153] ppid=4152 vsize=175528 CPUtime=41.59 cores=0,2,4,6
/proc/4153/stat : 4153 (npSolver-pbo) S 4152 4152 2277 0 -1 4202496 27273 118253 0 0 308 406 3381 64 20 0 1 0 273260055 179740672 42371 33554432000 4194304 5992684 140735559232160 140735559217064 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 77 0 0
/proc/4153/statm: 43882 42371 177 440 0 43438 0
[pid=4161] ppid=4153 vsize=455732 CPUtime=1559.63 cores=0,2,4,6
/proc/4161/stat : 4161 (glucosInc) R 4153 4152 2277 0 -1 4202496 63036 0 0 0 155938 25 0 0 20 0 1 0 273264272 466669568 93950 33554432000 4194304 5654031 140736829063328 140736829051144 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4161/statm: 113933 93950 151 357 0 113573 0
Current children cumulated CPU time (s) 1601.22
Current children cumulated vsize (KiB) 640408
[startup+1662.3 s]
/proc/loadavg: 2.77 2.31 2.22 4/181 4588
/proc/meminfo: memFree=9106020/32873844 swapFree=7100/7100
[pid=4152] ppid=4150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4152/stat : 4152 (npSolver-pbo-I.) S 4150 4152 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273260055 9367552 275 33554432000 4194304 5064252 140733830478128 140733830477040 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4152/statm: 2287 275 233 213 0 72 0
[pid=4153] ppid=4152 vsize=175528 CPUtime=41.59 cores=0,2,4,6
/proc/4153/stat : 4153 (npSolver-pbo) S 4152 4152 2277 0 -1 4202496 27273 118253 0 0 308 406 3381 64 20 0 1 0 273260055 179740672 42371 33554432000 4194304 5992684 140735559232160 140735559217064 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 77 0 0
/proc/4153/statm: 43882 42371 177 440 0 43438 0
[pid=4161] ppid=4153 vsize=455732 CPUtime=1619.62 cores=0,2,4,6
/proc/4161/stat : 4161 (glucosInc) R 4153 4152 2277 0 -1 4202496 63038 0 0 0 161937 25 0 0 20 0 1 0 273264272 466669568 94974 33554432000 4194304 5654031 140736829063328 140736829051144 4232880 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4161/statm: 113933 94974 151 357 0 113573 0
Current children cumulated CPU time (s) 1661.21
Current children cumulated vsize (KiB) 640408
[startup+1722.3 s]
/proc/loadavg: 4.30 2.83 2.40 2/181 4588
/proc/meminfo: memFree=4598896/32873844 swapFree=7100/7100
[pid=4152] ppid=4150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4152/stat : 4152 (npSolver-pbo-I.) S 4150 4152 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273260055 9367552 275 33554432000 4194304 5064252 140733830478128 140733830477040 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4152/statm: 2287 275 233 213 0 72 0
[pid=4153] ppid=4152 vsize=175528 CPUtime=41.59 cores=0,2,4,6
/proc/4153/stat : 4153 (npSolver-pbo) S 4152 4152 2277 0 -1 4202496 27273 118253 0 0 308 406 3381 64 20 0 1 0 273260055 179740672 42371 33554432000 4194304 5992684 140735559232160 140735559217064 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 77 0 0
/proc/4153/statm: 43882 42371 177 440 0 43438 0
[pid=4161] ppid=4153 vsize=455732 CPUtime=1679.62 cores=0,2,4,6
/proc/4161/stat : 4161 (glucosInc) R 4153 4152 2277 0 -1 4202496 63039 0 0 0 167936 26 0 0 20 0 1 0 273264272 466669568 95486 33554432000 4194304 5654031 140736829063328 140736829051144 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4161/statm: 113933 95486 151 357 0 113573 0
Current children cumulated CPU time (s) 1721.21
Current children cumulated vsize (KiB) 640408
[startup+1782.3 s]
/proc/loadavg: 4.67 3.21 2.55 2/181 4588
/proc/meminfo: memFree=948504/32873844 swapFree=7100/7100
[pid=4152] ppid=4150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4152/stat : 4152 (npSolver-pbo-I.) S 4150 4152 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273260055 9367552 275 33554432000 4194304 5064252 140733830478128 140733830477040 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4152/statm: 2287 275 233 213 0 72 0
[pid=4153] ppid=4152 vsize=175528 CPUtime=41.59 cores=0,2,4,6
/proc/4153/stat : 4153 (npSolver-pbo) S 4152 4152 2277 0 -1 4202496 27273 118253 0 0 308 406 3381 64 20 0 1 0 273260055 179740672 42371 33554432000 4194304 5992684 140735559232160 140735559217064 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 77 0 0
/proc/4153/statm: 43882 42371 177 440 0 43438 0
[pid=4161] ppid=4153 vsize=405644 CPUtime=1739.61 cores=0,2,4,6
/proc/4161/stat : 4161 (glucosInc) R 4153 4152 2277 0 -1 4202496 63087 0 0 0 173933 28 0 0 20 0 1 0 273264272 415379456 89041 33554432000 4194304 5654031 140736829063328 140736829051144 4232800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4161/statm: 101411 89041 151 357 0 101051 0
Current children cumulated CPU time (s) 1781.2
Current children cumulated vsize (KiB) 590320
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.1 s]
/proc/loadavg: 4.74 3.29 2.59 3/181 4588
/proc/meminfo: memFree=720060/32873844 swapFree=7100/7100
[pid=4152] ppid=4150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4152/stat : 4152 (npSolver-pbo-I.) S 4150 4152 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273260055 9367552 275 33554432000 4194304 5064252 140733830478128 140733830477040 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4152/statm: 2287 275 233 213 0 72 0
[pid=4153] ppid=4152 vsize=175528 CPUtime=41.59 cores=0,2,4,6
/proc/4153/stat : 4153 (npSolver-pbo) S 4152 4152 2277 0 -1 4202496 27273 118253 0 0 308 406 3381 64 20 0 1 0 273260055 179740672 42371 33554432000 4194304 5992684 140735559232160 140735559217064 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 77 0 0
/proc/4153/statm: 43882 42371 177 440 0 43438 0
[pid=4161] ppid=4153 vsize=405644 CPUtime=1758.42 cores=0,2,4,6
/proc/4161/stat : 4161 (glucosInc) R 4153 4152 2277 0 -1 4202496 63088 0 0 0 175814 28 0 0 20 0 1 0 273264272 415379456 89553 33554432000 4194304 5654031 140736829063328 140736829051144 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4161/statm: 101411 89553 151 357 0 101051 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 590320
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1803.69
CPU time (s): 1802.62
CPU user time (s): 1797.62
CPU system time (s): 5.00124
CPU usage (%): 99.9405
Max. virtual memory (cumulated for all children) (KiB): 771124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.62
system time used= 5.00124
maximum resident set size= 617780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 208988
page faults= 0
swaps= 0
block input operations= 0
block output operations= 628808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6208
involuntary context switches= 2211
runsolver used 7.82881 second user time and 17.9543 second system time
The end