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-3751692-1339177813/watcher-3751692-1339177813 -o /tmp/evaluation-result-3751692-1339177813/solver-3751692-1339177813 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751692-1339177813.opb 612676406 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.00 2.00 2.00 3/179 13490
/proc/meminfo: memFree=29834488/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) R 13488 13490 12876 0 -1 4202496 343 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 273 33554432000 4194304 5064252 140736579145344 140736712880232 226329317724 0 65538 4100 65536 0 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 274 232 213 0 72 0
[startup+0.0204001 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13490
/proc/meminfo: memFree=29834488/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100256 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13490
/proc/meminfo: memFree=29834488/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 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.00 2.00 2.00 3/179 13490
/proc/meminfo: memFree=29834488/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700265 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13490
/proc/meminfo: memFree=29834488/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50042 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 13505
/proc/meminfo: memFree=29828460/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=37592 CPUtime=0.52 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 8590 0 0 0 47 5 0 0 20 0 1 0 383909771 38494208 7712 33554432000 4194304 6004724 140735507157296 140735507151760 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13491/statm: 9398 7712 164 442 0 8952 0
[pid=13493] ppid=13491 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13493/stat : 13493 (cp2_pre.sh) S 13491 13490 12876 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383909824 9367552 277 33554432000 4194304 5064252 140737099244160 140737099242864 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13493/statm: 2287 277 234 213 0 72 0
[pid=13494] ppid=13493 vsize=163032 CPUtime=0.96 cores=1,3,5,7
/proc/13494/stat : 13494 (coprocessor) R 13493 13490 12876 0 -1 4202496 29858 0 0 0 90 6 0 0 20 0 1 0 383909824 166944768 39592 33554432000 4194304 6586260 140733503907648 140733503903912 4768489 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/13494/statm: 40758 39592 176 584 0 40170 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 218920
[startup+3.10042 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 13534
/proc/meminfo: memFree=29684496/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=37592 CPUtime=0.52 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 8590 0 0 0 47 5 0 0 20 0 1 0 383909771 38494208 7712 33554432000 4194304 6004724 140735507157296 140735507151760 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13491/statm: 9398 7712 164 442 0 8952 0
[pid=13493] ppid=13491 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13493/stat : 13493 (cp2_pre.sh) S 13491 13490 12876 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383909824 9367552 277 33554432000 4194304 5064252 140737099244160 140737099242864 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13493/statm: 2287 277 234 213 0 72 0
[pid=13494] ppid=13493 vsize=188432 CPUtime=2.56 cores=1,3,5,7
/proc/13494/stat : 13494 (coprocessor) R 13493 13490 12876 0 -1 4202496 33337 0 0 0 249 7 0 0 20 0 1 0 383909824 192954368 46137 33554432000 4194304 6586260 140733503907648 140733503902968 5599209 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/13494/statm: 47108 46137 192 584 0 46520 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 244320
[startup+6.30036 s]
/proc/loadavg: 2.08 2.02 2.01 2/182 13537
/proc/meminfo: memFree=29420980/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=37592 CPUtime=5.15 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 8608 35634 0 0 47 5 447 16 20 0 1 0 383909771 38494208 7715 33554432000 4194304 6004724 140735507157296 140735507143576 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13491/statm: 9398 7715 167 442 0 8952 0
Current children cumulated CPU time (s) 5.15
Current children cumulated vsize (KiB) 46740
[startup+12.7004 s]
/proc/loadavg: 2.08 2.02 2.00 3/180 13550
/proc/meminfo: memFree=29286772/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=52716 CPUtime=8.98 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 18621 81355 0 0 207 99 558 34 20 0 1 0 383909771 53981184 11528 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/13491/statm: 13179 11528 199 442 0 12733 0
[pid=13550] ppid=13491 vsize=341468 CPUtime=3.11 cores=1,3,5,7
/proc/13550/stat : 13550 (glucosInc) R 13491 13490 12876 0 -1 4202496 55038 0 0 0 295 16 0 0 20 0 1 0 383910728 349663232 69957 33554432000 4194304 5654031 140734994628384 140734994626072 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13550/statm: 85367 69957 141 357 0 85007 0
Current children cumulated CPU time (s) 12.09
Current children cumulated vsize (KiB) 403332
[startup+25.5004 s]
/proc/loadavg: 2.06 2.02 2.00 3/180 13560
/proc/meminfo: memFree=28811480/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=52716 CPUtime=8.98 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 18621 81355 0 0 207 99 558 34 20 0 1 0 383909771 53981184 11528 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/13491/statm: 13179 11528 199 442 0 12733 0
[pid=13550] ppid=13491 vsize=348252 CPUtime=15.91 cores=1,3,5,7
/proc/13550/stat : 13550 (glucosInc) R 13491 13490 12876 0 -1 4202496 55972 0 0 0 1575 16 0 0 20 0 1 0 383910728 356610048 71402 33554432000 4194304 5654031 140734994628384 140734994616200 4215932 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13550/statm: 87063 71402 141 357 0 86703 0
Current children cumulated CPU time (s) 24.89
Current children cumulated vsize (KiB) 410116
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 13562
/proc/meminfo: memFree=28813952/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=43436 CPUtime=33.18 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 26211 138282 0 0 346 120 2795 57 20 0 1 0 383909771 44478464 9241 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 4 0 0
/proc/13491/statm: 10859 9241 200 442 0 10413 0
[pid=13562] ppid=13491 vsize=338372 CPUtime=17.3 cores=1,3,5,7
/proc/13562/stat : 13562 (glucosInc) R 13491 13490 12876 0 -1 4202496 53365 0 0 0 1716 14 0 0 20 0 1 0 383913149 346492928 72214 33554432000 4194304 5654031 140735078169504 140735078157320 4215040 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13562/statm: 84593 72214 140 357 0 84233 0
Current children cumulated CPU time (s) 50.48
Current children cumulated vsize (KiB) 390956
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 13565
/proc/meminfo: memFree=28809236/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=43340 CPUtime=72.05 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 34283 192627 0 0 485 139 6504 77 20 0 1 0 383909771 44380160 9217 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 4 0 0
/proc/13491/statm: 10835 9217 200 442 0 10389 0
[pid=13564] ppid=13491 vsize=333576 CPUtime=29.64 cores=1,3,5,7
/proc/13564/stat : 13564 (glucosInc) R 13491 13490 12876 0 -1 4202496 53938 0 0 0 2948 16 0 0 20 0 1 0 383917036 341581824 71189 33554432000 4194304 5654031 140734173535648 140734173533336 4233306 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13564/statm: 83394 71189 140 357 0 83034 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 386064
[startup+162.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/179 13571
/proc/meminfo: memFree=29099348/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=43276 CPUtime=123.21 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 42722 248026 0 0 624 158 11440 99 20 0 1 0 383909771 44314624 9201 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 4 0 0
/proc/13491/statm: 10819 9201 200 442 0 10373 0
[pid=13567] ppid=13491 vsize=337576 CPUtime=38.44 cores=1,3,5,7
/proc/13567/stat : 13567 (glucosInc) R 13491 13490 12876 0 -1 4202496 54293 0 0 0 3828 16 0 0 20 0 1 0 383922153 345677824 73147 33554432000 4194304 5654031 140737245096768 140737245084584 4232434 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13567/statm: 84394 73147 141 357 0 84034 0
Current children cumulated CPU time (s) 161.65
Current children cumulated vsize (KiB) 390000
[startup+222.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 13571
/proc/meminfo: memFree=28729464/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=43276 CPUtime=123.21 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 42722 248026 0 0 624 158 11440 99 20 0 1 0 383909771 44314624 9201 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 4 0 0
/proc/13491/statm: 10819 9201 200 442 0 10373 0
[pid=13567] ppid=13491 vsize=387664 CPUtime=98.4 cores=1,3,5,7
/proc/13567/stat : 13567 (glucosInc) R 13491 13490 12876 0 -1 4202496 62405 0 0 0 9801 39 0 0 20 0 1 0 383922153 396967936 83176 33554432000 4194304 5654031 140737245096768 140737245094856 4232973 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13567/statm: 96916 83176 141 357 0 96556 0
Current children cumulated CPU time (s) 221.61
################
# More data... #
################
/proc/meminfo: memFree=28663960/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=39552 CPUtime=1146.88 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 102654 685626 0 0 1573 292 112493 330 20 0 1 0 383909771 40501248 8270 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13491/statm: 9888 8270 200 442 0 9442 0
[pid=13616] ppid=13491 vsize=323392 CPUtime=94.23 cores=1,3,5,7
/proc/13616/stat : 13616 (glucosInc) R 13491 13490 12876 0 -1 4202496 46848 0 0 0 9404 19 0 0 20 0 1 0 384024574 331153408 75117 33554432000 4194304 5654031 140734059017488 140734059015576 4215374 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13616/statm: 80848 75117 142 357 0 80488 0
Current children cumulated CPU time (s) 1241.11
Current children cumulated vsize (KiB) 372092
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 13620
/proc/meminfo: memFree=28488776/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=39552 CPUtime=1146.88 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 102654 685626 0 0 1573 292 112493 330 20 0 1 0 383909771 40501248 8270 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13491/statm: 9888 8270 200 442 0 9442 0
[pid=13616] ppid=13491 vsize=325148 CPUtime=154.22 cores=1,3,5,7
/proc/13616/stat : 13616 (glucosInc) R 13491 13490 12876 0 -1 4202496 49148 0 0 0 15401 21 0 0 20 0 1 0 384024574 332951552 75365 33554432000 4194304 5654031 140734059017488 140734059005304 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13616/statm: 81287 75365 142 357 0 80927 0
Current children cumulated CPU time (s) 1301.1
Current children cumulated vsize (KiB) 373848
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 13620
/proc/meminfo: memFree=28370860/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=39552 CPUtime=1146.88 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 102654 685626 0 0 1573 292 112493 330 20 0 1 0 383909771 40501248 8270 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13491/statm: 9888 8270 200 442 0 9442 0
[pid=13616] ppid=13491 vsize=278256 CPUtime=214.21 cores=1,3,5,7
/proc/13616/stat : 13616 (glucosInc) R 13491 13490 12876 0 -1 4202496 50073 0 0 0 21398 23 0 0 20 0 1 0 384024574 284934144 63971 33554432000 4194304 5654031 140734059017488 140734059005304 4216337 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13616/statm: 69564 63971 142 357 0 69204 0
Current children cumulated CPU time (s) 1361.09
Current children cumulated vsize (KiB) 326956
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13620
/proc/meminfo: memFree=28459088/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=39552 CPUtime=1146.88 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 102654 685626 0 0 1573 292 112493 330 20 0 1 0 383909771 40501248 8270 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13491/statm: 9888 8270 200 442 0 9442 0
[pid=13616] ppid=13491 vsize=541992 CPUtime=274.2 cores=1,3,5,7
/proc/13616/stat : 13616 (glucosInc) R 13491 13490 12876 0 -1 4202496 56404 0 0 0 27383 37 0 0 20 0 1 0 384024574 554999808 99929 33554432000 4194304 5654031 140734059017488 140734059015576 4232988 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13616/statm: 135498 99929 142 357 0 135138 0
Current children cumulated CPU time (s) 1421.08
Current children cumulated vsize (KiB) 590692
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13620
/proc/meminfo: memFree=28398892/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=39552 CPUtime=1146.88 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 102654 685626 0 0 1573 292 112493 330 20 0 1 0 383909771 40501248 8270 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13491/statm: 9888 8270 200 442 0 9442 0
[pid=13616] ppid=13491 vsize=411180 CPUtime=334.19 cores=1,3,5,7
/proc/13616/stat : 13616 (glucosInc) R 13491 13490 12876 0 -1 4202496 61552 0 0 0 33364 55 0 0 20 0 1 0 384024574 421048320 80351 33554432000 4194304 5654031 140734059017488 140734059015576 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13616/statm: 102795 80351 142 357 0 102435 0
Current children cumulated CPU time (s) 1481.07
Current children cumulated vsize (KiB) 459880
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13621
/proc/meminfo: memFree=28165964/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=39552 CPUtime=1146.88 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 102654 685626 0 0 1573 292 112493 330 20 0 1 0 383909771 40501248 8270 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13491/statm: 9888 8270 200 442 0 9442 0
[pid=13616] ppid=13491 vsize=545100 CPUtime=394.17 cores=1,3,5,7
/proc/13616/stat : 13616 (glucosInc) R 13491 13490 12876 0 -1 4202496 64270 0 0 0 39352 65 0 0 20 0 1 0 384024574 558182400 104263 33554432000 4194304 5654031 140734059017488 140734059015576 4232960 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13616/statm: 136275 104263 142 357 0 135915 0
Current children cumulated CPU time (s) 1541.05
Current children cumulated vsize (KiB) 593800
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13621
/proc/meminfo: memFree=28545688/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=39552 CPUtime=1146.88 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 102654 685626 0 0 1573 292 112493 330 20 0 1 0 383909771 40501248 8270 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13491/statm: 9888 8270 200 442 0 9442 0
[pid=13616] ppid=13491 vsize=418512 CPUtime=454.14 cores=1,3,5,7
/proc/13616/stat : 13616 (glucosInc) R 13491 13490 12876 0 -1 4202496 66552 0 0 0 45342 72 0 0 20 0 1 0 384024574 428556288 83363 33554432000 4194304 5654031 140734059017488 140734059015576 4215200 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13616/statm: 104628 83363 142 357 0 104268 0
Current children cumulated CPU time (s) 1601.02
Current children cumulated vsize (KiB) 467212
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 13622
/proc/meminfo: memFree=28371508/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=39552 CPUtime=1146.88 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 102654 685626 0 0 1573 292 112493 330 20 0 1 0 383909771 40501248 8270 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13491/statm: 9888 8270 200 442 0 9442 0
[pid=13616] ppid=13491 vsize=420836 CPUtime=514.12 cores=1,3,5,7
/proc/13616/stat : 13616 (glucosInc) R 13491 13490 12876 0 -1 4202496 66588 0 0 0 51339 73 0 0 20 0 1 0 384024574 430936064 89514 33554432000 4194304 5654031 140734059017488 140734059005304 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13616/statm: 105209 89514 142 357 0 104849 0
Current children cumulated CPU time (s) 1661
Current children cumulated vsize (KiB) 469536
[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 13622
/proc/meminfo: memFree=28303336/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=39552 CPUtime=1146.88 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 102654 685626 0 0 1573 292 112493 330 20 0 1 0 383909771 40501248 8270 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13491/statm: 9888 8270 200 442 0 9442 0
[pid=13616] ppid=13491 vsize=341276 CPUtime=574.1 cores=1,3,5,7
/proc/13616/stat : 13616 (glucosInc) R 13491 13490 12876 0 -1 4202496 67762 0 0 0 57335 75 0 0 20 0 1 0 384024574 349466624 71012 33554432000 4194304 5654031 140734059017488 140734059005304 4232800 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13616/statm: 85319 71012 142 357 0 84959 0
Current children cumulated CPU time (s) 1720.98
Current children cumulated vsize (KiB) 389976
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 13622
/proc/meminfo: memFree=28664488/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=39552 CPUtime=1146.88 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 102654 685626 0 0 1573 292 112493 330 20 0 1 0 383909771 40501248 8270 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13491/statm: 9888 8270 200 442 0 9442 0
[pid=13616] ppid=13491 vsize=291188 CPUtime=634.08 cores=1,3,5,7
/proc/13616/stat : 13616 (glucosInc) R 13491 13490 12876 0 -1 4202496 68507 0 0 0 63332 76 0 0 20 0 1 0 384024574 298176512 63922 33554432000 4194304 5654031 140734059017488 140734059005304 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13616/statm: 72797 63922 142 357 0 72437 0
Current children cumulated CPU time (s) 1780.96
Current children cumulated vsize (KiB) 339888
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.4 s]
/proc/loadavg: 2.01 2.02 2.00 3/180 13625
/proc/meminfo: memFree=28610736/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=39552 CPUtime=1146.88 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 102654 685626 0 0 1573 292 112493 330 20 0 1 0 383909771 40501248 8270 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13491/statm: 9888 8270 200 442 0 9442 0
[pid=13616] ppid=13491 vsize=293028 CPUtime=653.18 cores=1,3,5,7
/proc/13616/stat : 13616 (glucosInc) R 13491 13490 12876 0 -1 4202496 68539 0 0 0 65242 76 0 0 20 0 1 0 384024574 300060672 64976 33554432000 4194304 5654031 140734059017488 140734059005304 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13616/statm: 73257 64976 142 357 0 72897 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 341728
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1801.41
CPU time (s): 1800.1
CPU user time (s): 1793.1
CPU system time (s): 7.00494
CPU usage (%): 99.9272
Max. virtual memory (cumulated for all children) (KiB): 783964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.1
system time used= 7.00493
maximum resident set size= 620528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 857198
page faults= 0
swaps= 0
block input operations= 16
block output operations= 2281640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14781
involuntary context switches= 2201
runsolver used 6.34304 second user time and 8.47471 second system time
The end