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-3751697-1339177814/watcher-3751697-1339177814 -o /tmp/evaluation-result-3751697-1339177814/solver-3751697-1339177814 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751697-1339177814.opb 1478752971 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 2/178 13532
/proc/meminfo: memFree=29824320/32873844 swapFree=7124/7124
[pid=13532] ppid=13530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13532/stat : 13532 (npSolver-pbo-It) S 13530 13532 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909889 9367552 275 33554432000 4194304 5064252 140736880018688 140736880017600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13532/statm: 2287 275 233 213 0 72 0
[startup+0.00900993 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 13532
/proc/meminfo: memFree=29824320/32873844 swapFree=7124/7124
[pid=13532] ppid=13530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13532/stat : 13532 (npSolver-pbo-It) S 13530 13532 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909889 9367552 275 33554432000 4194304 5064252 140736880018688 140736880017600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13532/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100272 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 13532
/proc/meminfo: memFree=29824320/32873844 swapFree=7124/7124
[pid=13532] ppid=13530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13532/stat : 13532 (npSolver-pbo-It) S 13530 13532 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909889 9367552 275 33554432000 4194304 5064252 140736880018688 140736880017600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13532/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300275 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 13532
/proc/meminfo: memFree=29824320/32873844 swapFree=7124/7124
[pid=13532] ppid=13530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13532/stat : 13532 (npSolver-pbo-It) S 13530 13532 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909889 9367552 275 33554432000 4194304 5064252 140736880018688 140736880017600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13532/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700287 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 13532
/proc/meminfo: memFree=29824320/32873844 swapFree=7124/7124
[pid=13532] ppid=13530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13532/stat : 13532 (npSolver-pbo-It) S 13530 13532 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909889 9367552 275 33554432000 4194304 5064252 140736880018688 140736880017600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13532/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 13534
/proc/meminfo: memFree=29678352/32873844 swapFree=7124/7124
[pid=13532] ppid=13530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13532/stat : 13532 (npSolver-pbo-It) S 13530 13532 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909889 9367552 275 33554432000 4194304 5064252 140736880018688 140736880017600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13532/statm: 2287 275 233 213 0 72 0
[pid=13533] ppid=13532 vsize=85484 CPUtime=1.22 cores=0,2,4,6
/proc/13533/stat : 13533 (npSolver-pbo) S 13532 13532 12876 0 -1 4202496 9224 0 0 0 109 13 0 0 20 0 1 0 383909889 87535616 19973 33554432000 4194304 6004724 140737333133456 140737333127920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13533/statm: 21371 19973 171 442 0 20925 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 94632
[startup+3.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 13536
/proc/meminfo: memFree=29382280/32873844 swapFree=7124/7124
[pid=13532] ppid=13530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13532/stat : 13532 (npSolver-pbo-It) S 13530 13532 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909889 9367552 275 33554432000 4194304 5064252 140736880018688 140736880017600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13532/statm: 2287 275 233 213 0 72 0
[pid=13533] ppid=13532 vsize=85484 CPUtime=1.22 cores=0,2,4,6
/proc/13533/stat : 13533 (npSolver-pbo) S 13532 13532 12876 0 -1 4202496 9224 0 0 0 109 13 0 0 20 0 1 0 383909889 87535616 19973 33554432000 4194304 6004724 140737333133456 140737333127920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13533/statm: 21371 19973 171 442 0 20925 0
[pid=13535] ppid=13533 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13535/stat : 13535 (cp2_pre.sh) S 13533 13532 12876 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 383910013 9367552 277 33554432000 4194304 5064252 140734705956736 140734705955440 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13535/statm: 2287 277 234 213 0 72 0
[pid=13536] ppid=13535 vsize=364000 CPUtime=1.85 cores=0,2,4,6
/proc/13536/stat : 13536 (coprocessor) R 13535 13532 12876 0 -1 4202496 42577 0 0 0 176 9 0 0 20 0 1 0 383910013 372736000 80988 33554432000 4194304 6586260 140736589433824 140736589430088 5511711 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/13536/statm: 91000 80988 166 584 0 90412 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 467780
[startup+6.30038 s]
/proc/loadavg: 2.08 2.02 2.01 3/181 13538
/proc/meminfo: memFree=29302284/32873844 swapFree=7124/7124
[pid=13532] ppid=13530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13532/stat : 13532 (npSolver-pbo-It) S 13530 13532 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909889 9367552 275 33554432000 4194304 5064252 140736880018688 140736880017600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13532/statm: 2287 275 233 213 0 72 0
[pid=13533] ppid=13532 vsize=85484 CPUtime=1.22 cores=0,2,4,6
/proc/13533/stat : 13533 (npSolver-pbo) S 13532 13532 12876 0 -1 4202496 9224 0 0 0 109 13 0 0 20 0 1 0 383909889 87535616 19973 33554432000 4194304 6004724 140737333133456 140737333127920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13533/statm: 21371 19973 171 442 0 20925 0
[pid=13535] ppid=13533 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13535/stat : 13535 (cp2_pre.sh) S 13533 13532 12876 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 383910013 9367552 277 33554432000 4194304 5064252 140734705956736 140734705955440 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13535/statm: 2287 277 234 213 0 72 0
[pid=13536] ppid=13535 vsize=451108 CPUtime=5.05 cores=0,2,4,6
/proc/13536/stat : 13536 (coprocessor) R 13535 13532 12876 0 -1 4202496 58190 0 0 0 472 33 0 0 20 0 1 0 383910013 461934592 109228 33554432000 4194304 6586260 140736589433824 140736589429576 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/13536/statm: 112777 109228 204 584 0 112189 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 554888
[startup+12.7002 s]
/proc/loadavg: 2.08 2.02 2.00 3/180 13550
/proc/meminfo: memFree=29273380/32873844 swapFree=7124/7124
[pid=13532] ppid=13530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13532/stat : 13532 (npSolver-pbo-It) S 13530 13532 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909889 9367552 275 33554432000 4194304 5064252 140736880018688 140736880017600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13532/statm: 2287 275 233 213 0 72 0
[pid=13533] ppid=13532 vsize=99720 CPUtime=9 cores=0,2,4,6
/proc/13533/stat : 13533 (npSolver-pbo) S 13532 13532 12876 0 -1 4202496 13578 59607 0 0 162 174 522 42 20 0 1 0 383909889 102113280 23009 33554432000 4194304 6004724 140737333133456 140737333125760 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13533/statm: 24930 23009 198 442 0 24484 0
[pid=13548] ppid=13533 vsize=169964 CPUtime=3.62 cores=0,2,4,6
/proc/13548/stat : 13548 (glucosInc) S 13533 13532 12876 0 -1 4202496 31417 0 0 0 355 7 0 0 20 0 1 0 383910573 174043136 39311 33554432000 4194304 5654031 140737198881696 140737198880008 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13548/statm: 42491 39311 146 357 0 42131 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 278832
[startup+25.5004 s]
/proc/loadavg: 2.06 2.02 2.00 3/180 13560
/proc/meminfo: memFree=28811604/32873844 swapFree=7124/7124
[pid=13532] ppid=13530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13532/stat : 13532 (npSolver-pbo-It) S 13530 13532 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909889 9367552 275 33554432000 4194304 5064252 140736880018688 140736880017600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13532/statm: 2287 275 233 213 0 72 0
[pid=13533] ppid=13532 vsize=95200 CPUtime=15.5 cores=0,2,4,6
/proc/13533/stat : 13533 (npSolver-pbo) S 13532 13532 12876 0 -1 4202496 20316 132345 0 0 351 200 930 69 20 0 1 0 383909889 97484800 22463 33554432000 4194304 6004724 140737333133456 140737333119304 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13533/statm: 23800 22463 200 442 0 23354 0
[pid=13560] ppid=13533 vsize=530092 CPUtime=9.73 cores=0,2,4,6
/proc/13560/stat : 13560 (glucosInc) R 13533 13532 12876 0 -1 4202496 79309 0 0 0 950 23 0 0 20 0 1 0 383911465 542814208 115515 33554432000 4194304 5654031 140734598393648 140734598381464 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13560/statm: 132523 115515 141 357 0 132163 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 634440
[startup+51.1004 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 13562
/proc/meminfo: memFree=28813952/32873844 swapFree=7124/7124
[pid=13532] ppid=13530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13532/stat : 13532 (npSolver-pbo-It) S 13530 13532 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909889 9367552 275 33554432000 4194304 5064252 140736880018688 140736880017600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13532/statm: 2287 275 233 213 0 72 0
[pid=13533] ppid=13532 vsize=95200 CPUtime=15.5 cores=0,2,4,6
/proc/13533/stat : 13533 (npSolver-pbo) S 13532 13532 12876 0 -1 4202496 20316 132345 0 0 351 200 930 69 20 0 1 0 383909889 97484800 22463 33554432000 4194304 6004724 140737333133456 140737333119304 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13533/statm: 23800 22463 200 442 0 23354 0
[pid=13560] ppid=13533 vsize=530092 CPUtime=35.33 cores=0,2,4,6
/proc/13560/stat : 13560 (glucosInc) R 13533 13532 12876 0 -1 4202496 79313 0 0 0 3509 24 0 0 20 0 1 0 383911465 542814208 117052 33554432000 4194304 5654031 140734598393648 140734598381464 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13560/statm: 132523 117052 142 357 0 132163 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 634440
[startup+102.306 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 13565
/proc/meminfo: memFree=28809236/32873844 swapFree=7124/7124
[pid=13532] ppid=13530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13532/stat : 13532 (npSolver-pbo-It) S 13530 13532 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909889 9367552 275 33554432000 4194304 5064252 140736880018688 140736880017600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13532/statm: 2287 275 233 213 0 72 0
[pid=13533] ppid=13532 vsize=95200 CPUtime=15.5 cores=0,2,4,6
/proc/13533/stat : 13533 (npSolver-pbo) S 13532 13532 12876 0 -1 4202496 20316 132345 0 0 351 200 930 69 20 0 1 0 383909889 97484800 22463 33554432000 4194304 6004724 140737333133456 140737333119304 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13533/statm: 23800 22463 200 442 0 23354 0
[pid=13560] ppid=13533 vsize=535504 CPUtime=86.52 cores=0,2,4,6
/proc/13560/stat : 13560 (glucosInc) R 13533 13532 12876 0 -1 4202496 80027 0 0 0 8628 24 0 0 20 0 1 0 383911465 548356096 119284 33554432000 4194304 5654031 140734598393648 140734598381464 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13560/statm: 133876 119284 142 357 0 133516 0
Current children cumulated CPU time (s) 102.02
Current children cumulated vsize (KiB) 639852
[startup+162.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/179 13571
/proc/meminfo: memFree=28843104/32873844 swapFree=7124/7124
[pid=13532] ppid=13530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13532/stat : 13532 (npSolver-pbo-It) S 13530 13532 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909889 9367552 275 33554432000 4194304 5064252 140736880018688 140736880017600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13532/statm: 2287 275 233 213 0 72 0
[pid=13533] ppid=13532 vsize=136008 CPUtime=159.73 cores=0,2,4,6
/proc/13533/stat : 13533 (npSolver-pbo) S 13532 13532 12876 0 -1 4202496 36581 293556 0 0 736 245 14859 133 20 0 1 0 383909889 139272192 32633 33554432000 4194304 6004724 140737333133456 140737333119304 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13533/statm: 34002 32633 200 442 0 33556 0
[pid=13571] ppid=13533 vsize=505708 CPUtime=2.28 cores=0,2,4,6
/proc/13571/stat : 13571 (glucosInc) R 13533 13532 12876 0 -1 4202496 75055 0 0 0 209 19 0 0 20 0 1 0 383925890 517844992 106380 33554432000 4194304 5654031 140733980464400 140733979413704 4797458 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13571/statm: 126427 106380 131 357 0 126067 0
Current children cumulated CPU time (s) 162.01
Current children cumulated vsize (KiB) 650864
[startup+222.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 13571
/proc/meminfo: memFree=28710288/32873844 swapFree=7124/7124
[pid=13532] ppid=13530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13532/stat : 13532 (npSolver-pbo-It) S 13530 13532 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909889 9367552 275 33554432000 4194304 5064252 140736880018688 140736880017600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13532/statm: 2287 275 233 213 0 72 0
[pid=13533] ppid=13532 vsize=136008 CPUtime=159.73 cores=0,2,4,6
/proc/13533/stat : 13533 (npSolver-pbo) S 13532 13532 12876 0 -1 4202496 36581 293556 0 0 736 245 14859 133 20 0 1 0 383909889 139272192 32633 33554432000 4194304 6004724 140737333133456 140737333119304 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13533/statm: 34002 32633 200 442 0 33556 0
[pid=13571] ppid=13533 vsize=609552 CPUtime=62.27 cores=0,2,4,6
/proc/13571/stat : 13571 (glucosInc) R 13533 13532 12876 0 -1 4202496 81505 0 0 0 6201 26 0 0 20 0 1 0 383925890 624181248 122913 33554432000 4194304 5654031 140733980464400 140733980462424 4215112 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13571/statm: 152388 122913 142 357 0 152028 0
Current children cumulated CPU time (s) 222
################
# More data... #
################
/proc/meminfo: memFree=28649500/32873844 swapFree=7124/7124
[pid=13532] ppid=13530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13532/stat : 13532 (npSolver-pbo-It) S 13530 13532 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909889 9367552 275 33554432000 4194304 5064252 140736880018688 140736880017600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13532/statm: 2287 275 233 213 0 72 0
[pid=13533] ppid=13532 vsize=136008 CPUtime=159.73 cores=0,2,4,6
/proc/13533/stat : 13533 (npSolver-pbo) S 13532 13532 12876 0 -1 4202496 36581 293556 0 0 736 245 14859 133 20 0 1 0 383909889 139272192 32633 33554432000 4194304 6004724 140737333133456 140737333119304 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13533/statm: 34002 32633 200 442 0 33556 0
[pid=13571] ppid=13533 vsize=746012 CPUtime=1082.09 cores=0,2,4,6
/proc/13571/stat : 13571 (glucosInc) R 13533 13532 12876 0 -1 4202496 102066 0 0 0 108077 132 0 0 20 0 1 0 383925890 763916288 153283 33554432000 4194304 5654031 140733980464400 140733980462488 4215307 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13571/statm: 186503 153283 142 357 0 186143 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 891168
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 13620
/proc/meminfo: memFree=28546552/32873844 swapFree=7124/7124
[pid=13532] ppid=13530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13532/stat : 13532 (npSolver-pbo-It) S 13530 13532 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909889 9367552 275 33554432000 4194304 5064252 140736880018688 140736880017600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13532/statm: 2287 275 233 213 0 72 0
[pid=13533] ppid=13532 vsize=136008 CPUtime=159.73 cores=0,2,4,6
/proc/13533/stat : 13533 (npSolver-pbo) S 13532 13532 12876 0 -1 4202496 36581 293556 0 0 736 245 14859 133 20 0 1 0 383909889 139272192 32633 33554432000 4194304 6004724 140737333133456 140737333119304 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13533/statm: 34002 32633 200 442 0 33556 0
[pid=13571] ppid=13533 vsize=961252 CPUtime=1142.08 cores=0,2,4,6
/proc/13571/stat : 13571 (glucosInc) R 13533 13532 12876 0 -1 4202496 102750 0 0 0 114074 134 0 0 20 0 1 0 383925890 984322048 195869 33554432000 4194304 5654031 140733980464400 140733980462184 4215124 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13571/statm: 240313 195869 142 357 0 239953 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 1106408
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 13620
/proc/meminfo: memFree=28366764/32873844 swapFree=7124/7124
[pid=13532] ppid=13530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13532/stat : 13532 (npSolver-pbo-It) S 13530 13532 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909889 9367552 275 33554432000 4194304 5064252 140736880018688 140736880017600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13532/statm: 2287 275 233 213 0 72 0
[pid=13533] ppid=13532 vsize=136008 CPUtime=159.73 cores=0,2,4,6
/proc/13533/stat : 13533 (npSolver-pbo) S 13532 13532 12876 0 -1 4202496 36581 293556 0 0 736 245 14859 133 20 0 1 0 383909889 139272192 32633 33554432000 4194304 6004724 140737333133456 140737333119304 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13533/statm: 34002 32633 200 442 0 33556 0
[pid=13571] ppid=13533 vsize=1310848 CPUtime=1202.07 cores=0,2,4,6
/proc/13571/stat : 13571 (glucosInc) R 13533 13532 12876 0 -1 4202496 103424 0 0 0 120070 137 0 0 20 0 1 0 383925890 1342308352 237071 33554432000 4194304 5654031 140733980464400 140733980462488 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13571/statm: 327712 237071 142 357 0 327352 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1456004
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13620
/proc/meminfo: memFree=28449656/32873844 swapFree=7124/7124
[pid=13532] ppid=13530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13532/stat : 13532 (npSolver-pbo-It) S 13530 13532 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909889 9367552 275 33554432000 4194304 5064252 140736880018688 140736880017600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13532/statm: 2287 275 233 213 0 72 0
[pid=13533] ppid=13532 vsize=136008 CPUtime=159.73 cores=0,2,4,6
/proc/13533/stat : 13533 (npSolver-pbo) S 13532 13532 12876 0 -1 4202496 36581 293556 0 0 736 245 14859 133 20 0 1 0 383909889 139272192 32633 33554432000 4194304 6004724 140737333133456 140737333119304 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13533/statm: 34002 32633 200 442 0 33556 0
[pid=13571] ppid=13533 vsize=962176 CPUtime=1262.07 cores=0,2,4,6
/proc/13571/stat : 13571 (glucosInc) R 13533 13532 12876 0 -1 4202496 104723 0 0 0 126063 144 0 0 20 0 1 0 383925890 985268224 178005 33554432000 4194304 5654031 140733980464400 140733980462424 4215040 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13571/statm: 240544 178005 142 357 0 240184 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1107332
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13620
/proc/meminfo: memFree=28392748/32873844 swapFree=7124/7124
[pid=13532] ppid=13530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13532/stat : 13532 (npSolver-pbo-It) S 13530 13532 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909889 9367552 275 33554432000 4194304 5064252 140736880018688 140736880017600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13532/statm: 2287 275 233 213 0 72 0
[pid=13533] ppid=13532 vsize=136008 CPUtime=159.73 cores=0,2,4,6
/proc/13533/stat : 13533 (npSolver-pbo) S 13532 13532 12876 0 -1 4202496 36581 293556 0 0 736 245 14859 133 20 0 1 0 383909889 139272192 32633 33554432000 4194304 6004724 140737333133456 140737333119304 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13533/statm: 34002 32633 200 442 0 33556 0
[pid=13571] ppid=13533 vsize=962176 CPUtime=1322.05 cores=0,2,4,6
/proc/13571/stat : 13571 (glucosInc) R 13533 13532 12876 0 -1 4202496 105239 0 0 0 132059 146 0 0 20 0 1 0 383925890 985268224 213780 33554432000 4194304 5654031 140733980464400 140733980462488 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13571/statm: 240544 213780 142 357 0 240184 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1107332
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13621
/proc/meminfo: memFree=28155724/32873844 swapFree=7124/7124
[pid=13532] ppid=13530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13532/stat : 13532 (npSolver-pbo-It) S 13530 13532 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909889 9367552 275 33554432000 4194304 5064252 140736880018688 140736880017600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13532/statm: 2287 275 233 213 0 72 0
[pid=13533] ppid=13532 vsize=136008 CPUtime=159.73 cores=0,2,4,6
/proc/13533/stat : 13533 (npSolver-pbo) S 13532 13532 12876 0 -1 4202496 36581 293556 0 0 736 245 14859 133 20 0 1 0 383909889 139272192 32633 33554432000 4194304 6004724 140737333133456 140737333119304 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13533/statm: 34002 32633 200 442 0 33556 0
[pid=13571] ppid=13533 vsize=1312844 CPUtime=1382.05 cores=0,2,4,6
/proc/13571/stat : 13571 (glucosInc) R 13533 13532 12876 0 -1 4202496 105773 0 0 0 138054 151 0 0 20 0 1 0 383925890 1344352256 247018 33554432000 4194304 5654031 140733980464400 140733980462184 4215344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13571/statm: 328211 247018 142 357 0 327851 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1458000
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13622
/proc/meminfo: memFree=28539544/32873844 swapFree=7124/7124
[pid=13532] ppid=13530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13532/stat : 13532 (npSolver-pbo-It) S 13530 13532 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909889 9367552 275 33554432000 4194304 5064252 140736880018688 140736880017600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13532/statm: 2287 275 233 213 0 72 0
[pid=13533] ppid=13532 vsize=136008 CPUtime=159.73 cores=0,2,4,6
/proc/13533/stat : 13533 (npSolver-pbo) S 13532 13532 12876 0 -1 4202496 36581 293556 0 0 736 245 14859 133 20 0 1 0 383909889 139272192 32633 33554432000 4194304 6004724 140737333133456 140737333119304 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13533/statm: 34002 32633 200 442 0 33556 0
[pid=13571] ppid=13533 vsize=749100 CPUtime=1442.04 cores=0,2,4,6
/proc/13571/stat : 13571 (glucosInc) R 13533 13532 12876 0 -1 4202496 106595 0 0 0 144045 159 0 0 20 0 1 0 383925890 767078400 174293 33554432000 4194304 5654031 140733980464400 140733980462424 4214993 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13571/statm: 187275 174293 142 357 0 186915 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 894256
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 13622
/proc/meminfo: memFree=28367412/32873844 swapFree=7124/7124
[pid=13532] ppid=13530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13532/stat : 13532 (npSolver-pbo-It) S 13530 13532 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909889 9367552 275 33554432000 4194304 5064252 140736880018688 140736880017600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13532/statm: 2287 275 233 213 0 72 0
[pid=13533] ppid=13532 vsize=136008 CPUtime=159.73 cores=0,2,4,6
/proc/13533/stat : 13533 (npSolver-pbo) S 13532 13532 12876 0 -1 4202496 36581 293556 0 0 736 245 14859 133 20 0 1 0 383909889 139272192 32633 33554432000 4194304 6004724 140737333133456 140737333119304 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13533/statm: 34002 32633 200 442 0 33556 0
[pid=13571] ppid=13533 vsize=964024 CPUtime=1502.03 cores=0,2,4,6
/proc/13571/stat : 13571 (glucosInc) R 13533 13532 12876 0 -1 4202496 107612 0 0 0 150039 164 0 0 20 0 1 0 383925890 987160576 210569 33554432000 4194304 5654031 140733980464400 140733980462488 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13571/statm: 241006 210569 142 357 0 240646 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1109180
[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 13622
/proc/meminfo: memFree=28301288/32873844 swapFree=7124/7124
[pid=13532] ppid=13530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13532/stat : 13532 (npSolver-pbo-It) S 13530 13532 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909889 9367552 275 33554432000 4194304 5064252 140736880018688 140736880017600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13532/statm: 2287 275 233 213 0 72 0
[pid=13533] ppid=13532 vsize=136008 CPUtime=159.73 cores=0,2,4,6
/proc/13533/stat : 13533 (npSolver-pbo) S 13532 13532 12876 0 -1 4202496 36581 293556 0 0 736 245 14859 133 20 0 1 0 383909889 139272192 32633 33554432000 4194304 6004724 140737333133456 140737333119304 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13533/statm: 34002 32633 200 442 0 33556 0
[pid=13571] ppid=13533 vsize=1313272 CPUtime=1562.02 cores=0,2,4,6
/proc/13571/stat : 13571 (glucosInc) R 13533 13532 12876 0 -1 4202496 107877 0 0 0 156034 168 0 0 20 0 1 0 383925890 1344790528 246093 33554432000 4194304 5654031 140733980464400 140733980462488 4232960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13571/statm: 328318 246093 142 357 0 327958 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1458428
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 13622
/proc/meminfo: memFree=28660268/32873844 swapFree=7124/7124
[pid=13532] ppid=13530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13532/stat : 13532 (npSolver-pbo-It) S 13530 13532 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909889 9367552 275 33554432000 4194304 5064252 140736880018688 140736880017600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13532/statm: 2287 275 233 213 0 72 0
[pid=13533] ppid=13532 vsize=136008 CPUtime=159.73 cores=0,2,4,6
/proc/13533/stat : 13533 (npSolver-pbo) S 13532 13532 12876 0 -1 4202496 36581 293556 0 0 736 245 14859 133 20 0 1 0 383909889 139272192 32633 33554432000 4194304 6004724 140737333133456 140737333119304 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13533/statm: 34002 32633 200 442 0 33556 0
[pid=13571] ppid=13533 vsize=749100 CPUtime=1622.01 cores=0,2,4,6
/proc/13571/stat : 13571 (glucosInc) R 13533 13532 12876 0 -1 4202496 108596 0 0 0 162025 176 0 0 20 0 1 0 383925890 767078400 163034 33554432000 4194304 5654031 140733980464400 140733980462424 4233440 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13571/statm: 187275 163034 142 357 0 186915 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 894256
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 13665
/proc/meminfo: memFree=28977516/32873844 swapFree=7124/7124
[pid=13532] ppid=13530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13532/stat : 13532 (npSolver-pbo-It) S 13530 13532 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909889 9367552 275 33554432000 4194304 5064252 140736880018688 140736880017600 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13532/statm: 2287 275 233 213 0 72 0
[pid=13533] ppid=13532 vsize=136008 CPUtime=159.73 cores=0,2,4,6
/proc/13533/stat : 13533 (npSolver-pbo) S 13532 13532 12876 0 -1 4202496 36581 293556 0 0 736 245 14859 133 20 0 1 0 383909889 139272192 32633 33554432000 4194304 6004724 140737333133456 140737333119304 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13533/statm: 34002 32633 200 442 0 33556 0
[pid=13571] ppid=13533 vsize=749100 CPUtime=1640.32 cores=0,2,4,6
/proc/13571/stat : 13571 (glucosInc) R 13533 13532 12876 0 -1 4202496 108618 0 0 0 163855 177 0 0 20 0 1 0 383925890 767078400 174298 33554432000 4194304 5654031 140733980464400 140733980462424 4215374 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13571/statm: 187275 174298 142 357 0 186915 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 894256
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.62
CPU time (s): 1800.1
CPU user time (s): 1794.52
CPU system time (s): 5.58115
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 1802304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.52
system time used= 5.58115
maximum resident set size= 1287480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 439136
page faults= 0
swaps= 0
block input operations= 8
block output operations= 1306984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5775
involuntary context switches= 2218
runsolver used 3.42148 second user time and 8.5257 second system time
The end