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-3698066-1338063353/watcher-3698066-1338063353 -o /tmp/evaluation-result-3698066-1338063353/solver-3698066-1338063353 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698066-1338063353.opb 1983951891 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/180 5455
/proc/meminfo: memFree=27783104/32873844 swapFree=7124/7124
[pid=5455] ppid=5453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5455/stat : 5455 (npSolver-pbo-It) S 5453 5455 4265 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 272460687 9367552 275 33554432000 4194304 5064252 140737221502320 140737221501232 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5455/statm: 2287 275 233 213 0 72 0
[startup+0.041171 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 5455
/proc/meminfo: memFree=27783104/32873844 swapFree=7124/7124
[pid=5455] ppid=5453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5455/stat : 5455 (npSolver-pbo-It) S 5453 5455 4265 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 272460687 9367552 275 33554432000 4194304 5064252 140737221502320 140737221501232 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5455/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100244 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 5455
/proc/meminfo: memFree=27783104/32873844 swapFree=7124/7124
[pid=5455] ppid=5453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5455/stat : 5455 (npSolver-pbo-It) S 5453 5455 4265 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 272460687 9367552 275 33554432000 4194304 5064252 140737221502320 140737221501232 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5455/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300255 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 5455
/proc/meminfo: memFree=27783104/32873844 swapFree=7124/7124
[pid=5455] ppid=5453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5455/stat : 5455 (npSolver-pbo-It) S 5453 5455 4265 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 272460687 9367552 275 33554432000 4194304 5064252 140737221502320 140737221501232 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5455/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700203 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 5455
/proc/meminfo: memFree=27783104/32873844 swapFree=7124/7124
[pid=5455] ppid=5453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5455/stat : 5455 (npSolver-pbo-It) S 5453 5455 4265 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 272460687 9367552 275 33554432000 4194304 5064252 140737221502320 140737221501232 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5455/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5464
/proc/meminfo: memFree=27740536/32873844 swapFree=7124/7124
[pid=5455] ppid=5453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5455/stat : 5455 (npSolver-pbo-It) S 5453 5455 4265 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 272460687 9367552 275 33554432000 4194304 5064252 140737221502320 140737221501232 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5455/statm: 2287 275 233 213 0 72 0
[pid=5456] ppid=5455 vsize=12844 CPUtime=1.48 cores=1,3,5,7
/proc/5456/stat : 5456 (npSolver-pbo) R 5455 5455 4265 0 -1 4202496 7827 21951 0 0 61 12 69 6 20 0 1 0 272460687 13152256 2788 33554432000 4194304 5992684 140733458007104 140733458000608 5182699 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5456/statm: 3211 2788 179 440 0 2767 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 21992
[startup+3.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5470
/proc/meminfo: memFree=27742396/32873844 swapFree=7124/7124
[pid=5455] ppid=5453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5455/stat : 5455 (npSolver-pbo-It) S 5453 5455 4265 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 272460687 9367552 275 33554432000 4194304 5064252 140737221502320 140737221501232 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5455/statm: 2287 275 233 213 0 72 0
[pid=5456] ppid=5455 vsize=4656 CPUtime=1.92 cores=1,3,5,7
/proc/5456/stat : 5456 (npSolver-pbo) S 5455 5455 4265 0 -1 4202496 10453 30356 0 0 75 13 95 9 20 0 1 0 272460687 4767744 849 33554432000 4194304 5992684 140733458007104 140733457992936 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5456/statm: 1164 849 179 440 0 720 0
[pid=5470] ppid=5456 vsize=34988 CPUtime=1.14 cores=1,3,5,7
/proc/5470/stat : 5470 (glucosInc) R 5456 5455 4265 0 -1 4202496 7870 0 0 0 112 2 0 0 20 0 1 0 272460881 35827712 8018 33554432000 4194304 5654031 140735917053600 140735917051368 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5470/statm: 8747 8018 131 357 0 8387 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 48792
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5470
/proc/meminfo: memFree=27738660/32873844 swapFree=7124/7124
[pid=5455] ppid=5453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5455/stat : 5455 (npSolver-pbo-It) S 5453 5455 4265 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 272460687 9367552 275 33554432000 4194304 5064252 140737221502320 140737221501232 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5455/statm: 2287 275 233 213 0 72 0
[pid=5456] ppid=5455 vsize=4656 CPUtime=5.82 cores=1,3,5,7
/proc/5456/stat : 5456 (npSolver-pbo) S 5455 5455 4265 0 -1 4202496 13069 38866 0 0 89 14 467 12 20 0 1 0 272460687 4767744 849 33554432000 4194304 5992684 140733458007104 140733457992936 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5456/statm: 1164 849 179 440 0 720 0
Current children cumulated CPU time (s) 5.82
Current children cumulated vsize (KiB) 13804
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5472
/proc/meminfo: memFree=27730916/32873844 swapFree=7124/7124
[pid=5455] ppid=5453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5455/stat : 5455 (npSolver-pbo-It) S 5453 5455 4265 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 272460687 9367552 275 33554432000 4194304 5064252 140737221502320 140737221501232 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5455/statm: 2287 275 233 213 0 72 0
[pid=5456] ppid=5455 vsize=4656 CPUtime=5.82 cores=1,3,5,7
/proc/5456/stat : 5456 (npSolver-pbo) S 5455 5455 4265 0 -1 4202496 13069 38866 0 0 89 14 467 12 20 0 1 0 272460687 4767744 849 33554432000 4194304 5992684 140733458007104 140733457992936 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5456/statm: 1164 849 179 440 0 720 0
[pid=5472] ppid=5456 vsize=38312 CPUtime=6.82 cores=1,3,5,7
/proc/5472/stat : 5472 (glucosInc) R 5456 5455 4265 0 -1 4202496 7481 0 0 0 680 2 0 0 20 0 1 0 272461272 39231488 8451 33554432000 4194304 5654031 140736823172368 140736823170136 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5472/statm: 9578 8451 140 357 0 9218 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 52116
[startup+25.5005 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 5474
/proc/meminfo: memFree=27753548/32873844 swapFree=7124/7124
[pid=5455] ppid=5453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5455/stat : 5455 (npSolver-pbo-It) S 5453 5455 4265 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 272460687 9367552 275 33554432000 4194304 5064252 140737221502320 140737221501232 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5455/statm: 2287 275 233 213 0 72 0
[pid=5456] ppid=5455 vsize=4656 CPUtime=15.44 cores=1,3,5,7
/proc/5456/stat : 5456 (npSolver-pbo) S 5455 5455 4265 0 -1 4202496 15685 48036 0 0 103 15 1411 15 20 0 1 0 272460687 4767744 849 33554432000 4194304 5992684 140733458007104 140733457992936 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5456/statm: 1164 849 179 440 0 720 0
[pid=5474] ppid=5456 vsize=38528 CPUtime=9.97 cores=1,3,5,7
/proc/5474/stat : 5474 (glucosInc) R 5456 5455 4265 0 -1 4202496 9451 0 0 0 996 1 0 0 20 0 1 0 272462237 39452672 8652 33554432000 4194304 5654031 140733904008784 140733903996600 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5474/statm: 9632 8652 142 357 0 9272 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 52332
[startup+51.1004 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 5478
/proc/meminfo: memFree=27722264/32873844 swapFree=7124/7124
[pid=5455] ppid=5453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5455/stat : 5455 (npSolver-pbo-It) S 5453 5455 4265 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 272460687 9367552 275 33554432000 4194304 5064252 140737221502320 140737221501232 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5455/statm: 2287 275 233 213 0 72 0
[pid=5456] ppid=5455 vsize=8744 CPUtime=50.99 cores=1,3,5,7
/proc/5456/stat : 5456 (npSolver-pbo) R 5455 5455 4265 0 -1 4202496 22272 80722 0 0 143 17 4916 23 20 0 1 0 272460687 8953856 1790 33554432000 4194304 5992684 140733458007104 140733458002576 5044375 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5456/statm: 2186 1791 179 440 0 1742 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 17892
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 5482
/proc/meminfo: memFree=27703212/32873844 swapFree=7124/7124
[pid=5455] ppid=5453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5455/stat : 5455 (npSolver-pbo-It) S 5453 5455 4265 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 272460687 9367552 275 33554432000 4194304 5064252 140737221502320 140737221501232 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5455/statm: 2287 275 233 213 0 72 0
[pid=5456] ppid=5455 vsize=4656 CPUtime=78.46 cores=1,3,5,7
/proc/5456/stat : 5456 (npSolver-pbo) S 5455 5455 4265 0 -1 4202496 26149 93942 0 0 159 19 7639 29 20 0 1 0 272460687 4767744 849 33554432000 4194304 5992684 140733458007104 140733457992936 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5456/statm: 1164 849 179 440 0 720 0
[pid=5482] ppid=5456 vsize=54124 CPUtime=23.7 cores=1,3,5,7
/proc/5482/stat : 5482 (glucosInc) R 5456 5455 4265 0 -1 4202496 11599 0 0 0 2368 2 0 0 20 0 1 0 272468545 55422976 12874 33554432000 4194304 5654031 140734208475296 140734208463112 4233204 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5482/statm: 13531 12874 142 357 0 13171 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 67928
[startup+162.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 5484
/proc/meminfo: memFree=27709984/32873844 swapFree=7124/7124
[pid=5455] ppid=5453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5455/stat : 5455 (npSolver-pbo-It) S 5453 5455 4265 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 272460687 9367552 275 33554432000 4194304 5064252 140737221502320 140737221501232 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5455/statm: 2287 275 233 213 0 72 0
[pid=5456] ppid=5455 vsize=4656 CPUtime=122.35 cores=1,3,5,7
/proc/5456/stat : 5456 (npSolver-pbo) S 5455 5455 4265 0 -1 4202496 28765 106342 0 0 173 20 12009 33 20 0 1 0 272460687 4767744 849 33554432000 4194304 5992684 140733458007104 140733457992936 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5456/statm: 1164 849 179 440 0 720 0
[pid=5484] ppid=5456 vsize=47088 CPUtime=39.8 cores=1,3,5,7
/proc/5484/stat : 5484 (glucosInc) R 5456 5455 4265 0 -1 4202496 12408 0 0 0 3976 4 0 0 20 0 1 0 272472935 48218112 11146 33554432000 4194304 5654031 140736493485584 140736493473400 4216337 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5484/statm: 11772 11146 142 357 0 11412 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 60892
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 5485
/proc/meminfo: memFree=27653396/32873844 swapFree=7124/7124
[pid=5455] ppid=5453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5455/stat : 5455 (npSolver-pbo-It) S 5453 5455 4265 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 272460687 9367552 275 33554432000 4194304 5064252 140737221502320 140737221501232 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5455/statm: 2287 275 233 213 0 72 0
[pid=5456] ppid=5455 vsize=4656 CPUtime=122.35 cores=1,3,5,7
/proc/5456/stat : 5456 (npSolver-pbo) S 5455 5455 4265 0 -1 4202496 28765 106342 0 0 173 20 12009 33 20 0 1 0 272460687 4767744 849 33554432000 4194304 5992684 140733458007104 140733457992936 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5456/statm: 1164 849 179 440 0 720 0
[pid=5484] ppid=5456 vsize=84440 CPUtime=99.79 cores=1,3,5,7
/proc/5484/stat : 5484 (glucosInc) R 5456 5455 4265 0 -1 4202496 13098 0 0 0 9974 5 0 0 20 0 1 0 272472935 86466560 18344 33554432000 4194304 5654031 140736493485584 140736493483512 4233204 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5484/statm: 21110 18344 142 357 0 20750 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 98244
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 5490
/proc/meminfo: memFree=27663348/32873844 swapFree=7124/7124
[pid=5455] ppid=5453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5455/stat : 5455 (npSolver-pbo-It) S 5453 5455 4265 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 272460687 9367552 275 33554432000 4194304 5064252 140737221502320 140737221501232 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5455/statm: 2287 275 233 213 0 72 0
[pid=5456] ppid=5455 vsize=4656 CPUtime=240.85 cores=1,3,5,7
/proc/5456/stat : 5456 (npSolver-pbo) S 5455 5455 4265 0 -1 4202496 31381 119979 0 0 187 21 23838 39 20 0 1 0 272460687 4767744 849 33554432000 4194304 5992684 140733458007104 140733457992936 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5456/statm: 1164 849 179 440 0 720 0
[pid=5487] ppid=5456 vsize=65744 CPUtime=41.28 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=27961520/32873844 swapFree=7124/7124
[pid=5455] ppid=5453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5455/stat : 5455 (npSolver-pbo-It) S 5453 5455 4265 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 272460687 9367552 275 33554432000 4194304 5064252 140737221502320 140737221501232 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5455/statm: 2287 275 233 213 0 72 0
[pid=5456] ppid=5455 vsize=4656 CPUtime=240.85 cores=1,3,5,7
/proc/5456/stat : 5456 (npSolver-pbo) S 5455 5455 4265 0 -1 4202496 31381 119979 0 0 187 21 23838 39 20 0 1 0 272460687 4767744 849 33554432000 4194304 5992684 140733458007104 140733457992936 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5456/statm: 1164 849 179 440 0 720 0
[pid=5487] ppid=5456 vsize=158388 CPUtime=1061.12 cores=1,3,5,7
/proc/5487/stat : 5487 (glucosInc) R 5456 5455 4265 0 -1 4202496 20570 0 0 0 106083 29 0 0 20 0 1 0 272484788 162189312 38814 33554432000 4194304 5654031 140734284259248 140734284257176 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5487/statm: 39597 38814 142 357 0 39237 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 172192
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5573
/proc/meminfo: memFree=28007148/32873844 swapFree=7124/7124
[pid=5455] ppid=5453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5455/stat : 5455 (npSolver-pbo-It) S 5453 5455 4265 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 272460687 9367552 275 33554432000 4194304 5064252 140737221502320 140737221501232 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5455/statm: 2287 275 233 213 0 72 0
[pid=5456] ppid=5455 vsize=4656 CPUtime=240.85 cores=1,3,5,7
/proc/5456/stat : 5456 (npSolver-pbo) S 5455 5455 4265 0 -1 4202496 31381 119979 0 0 187 21 23838 39 20 0 1 0 272460687 4767744 849 33554432000 4194304 5992684 140733458007104 140733457992936 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5456/statm: 1164 849 179 440 0 720 0
[pid=5487] ppid=5456 vsize=109256 CPUtime=1121.1 cores=1,3,5,7
/proc/5487/stat : 5487 (glucosInc) R 5456 5455 4265 0 -1 4202496 21493 0 0 0 112079 31 0 0 20 0 1 0 272484788 111878144 26753 33554432000 4194304 5654031 140734284259248 140734284257032 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5487/statm: 27314 26753 142 357 0 26954 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 123060
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 5573
/proc/meminfo: memFree=27977012/32873844 swapFree=7124/7124
[pid=5455] ppid=5453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5455/stat : 5455 (npSolver-pbo-It) S 5453 5455 4265 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 272460687 9367552 275 33554432000 4194304 5064252 140737221502320 140737221501232 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5455/statm: 2287 275 233 213 0 72 0
[pid=5456] ppid=5455 vsize=4656 CPUtime=240.85 cores=1,3,5,7
/proc/5456/stat : 5456 (npSolver-pbo) S 5455 5455 4265 0 -1 4202496 31381 119979 0 0 187 21 23838 39 20 0 1 0 272460687 4767744 849 33554432000 4194304 5992684 140733458007104 140733457992936 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5456/statm: 1164 849 179 440 0 720 0
[pid=5487] ppid=5456 vsize=139604 CPUtime=1181.1 cores=1,3,5,7
/proc/5487/stat : 5487 (glucosInc) R 5456 5455 4265 0 -1 4202496 22636 0 0 0 118077 33 0 0 20 0 1 0 272484788 142954496 34331 33554432000 4194304 5654031 140734284259248 140734284257128 4232752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5487/statm: 34901 34331 142 357 0 34541 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 153408
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 5577
/proc/meminfo: memFree=27975508/32873844 swapFree=7124/7124
[pid=5455] ppid=5453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5455/stat : 5455 (npSolver-pbo-It) S 5453 5455 4265 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 272460687 9367552 275 33554432000 4194304 5064252 140737221502320 140737221501232 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5455/statm: 2287 275 233 213 0 72 0
[pid=5456] ppid=5455 vsize=4656 CPUtime=240.85 cores=1,3,5,7
/proc/5456/stat : 5456 (npSolver-pbo) S 5455 5455 4265 0 -1 4202496 31381 119979 0 0 187 21 23838 39 20 0 1 0 272460687 4767744 849 33554432000 4194304 5992684 140733458007104 140733457992936 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5456/statm: 1164 849 179 440 0 720 0
[pid=5487] ppid=5456 vsize=188924 CPUtime=1241.08 cores=1,3,5,7
/proc/5487/stat : 5487 (glucosInc) R 5456 5455 4265 0 -1 4202496 23035 0 0 0 124075 33 0 0 20 0 1 0 272484788 193458176 38553 33554432000 4194304 5654031 140734284259248 140734284257272 4877838 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5487/statm: 47231 38553 142 357 0 46871 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 202728
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5577
/proc/meminfo: memFree=27936184/32873844 swapFree=7124/7124
[pid=5455] ppid=5453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5455/stat : 5455 (npSolver-pbo-It) S 5453 5455 4265 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 272460687 9367552 275 33554432000 4194304 5064252 140737221502320 140737221501232 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5455/statm: 2287 275 233 213 0 72 0
[pid=5456] ppid=5455 vsize=4656 CPUtime=240.85 cores=1,3,5,7
/proc/5456/stat : 5456 (npSolver-pbo) S 5455 5455 4265 0 -1 4202496 31381 119979 0 0 187 21 23838 39 20 0 1 0 272460687 4767744 849 33554432000 4194304 5992684 140733458007104 140733457992936 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5456/statm: 1164 849 179 440 0 720 0
[pid=5487] ppid=5456 vsize=188924 CPUtime=1301.08 cores=1,3,5,7
/proc/5487/stat : 5487 (glucosInc) R 5456 5455 4265 0 -1 4202496 23764 0 0 0 130072 36 0 0 20 0 1 0 272484788 193458176 44186 33554432000 4194304 5654031 140734284259248 140734284247064 4215353 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5487/statm: 47231 44186 142 357 0 46871 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 202728
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5577
/proc/meminfo: memFree=27930180/32873844 swapFree=7128/7128
[pid=5455] ppid=5453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5455/stat : 5455 (npSolver-pbo-It) S 5453 5455 4265 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 272460687 9367552 275 33554432000 4194304 5064252 140737221502320 140737221501232 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5455/statm: 2287 275 233 213 0 72 0
[pid=5456] ppid=5455 vsize=4656 CPUtime=240.85 cores=1,3,5,7
/proc/5456/stat : 5456 (npSolver-pbo) S 5455 5455 4265 0 -1 4202496 31381 119979 0 0 187 21 23838 39 20 0 1 0 272460687 4767744 849 33554432000 4194304 5992684 140733458007104 140733457992936 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5456/statm: 1164 849 179 440 0 720 0
[pid=5487] ppid=5456 vsize=188924 CPUtime=1361.07 cores=1,3,5,7
/proc/5487/stat : 5487 (glucosInc) R 5456 5455 4265 0 -1 4202496 24488 0 0 0 136069 38 0 0 20 0 1 0 272484788 193458176 45722 33554432000 4194304 5654031 140734284259248 140734284247064 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5487/statm: 47231 45722 142 357 0 46871 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 202728
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5577
/proc/meminfo: memFree=27888368/32873844 swapFree=7124/7124
[pid=5455] ppid=5453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5455/stat : 5455 (npSolver-pbo-It) S 5453 5455 4265 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 272460687 9367552 275 33554432000 4194304 5064252 140737221502320 140737221501232 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5455/statm: 2287 275 233 213 0 72 0
[pid=5456] ppid=5455 vsize=4656 CPUtime=240.85 cores=1,3,5,7
/proc/5456/stat : 5456 (npSolver-pbo) S 5455 5455 4265 0 -1 4202496 31381 119979 0 0 187 21 23838 39 20 0 1 0 272460687 4767744 849 33554432000 4194304 5992684 140733458007104 140733457992936 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5456/statm: 1164 849 179 440 0 720 0
[pid=5487] ppid=5456 vsize=188924 CPUtime=1421.06 cores=1,3,5,7
/proc/5487/stat : 5487 (glucosInc) R 5456 5455 4265 0 -1 4202496 25529 0 0 0 142066 40 0 0 20 0 1 0 272484788 193458176 46547 33554432000 4194304 5654031 140734284259248 140734284247064 4232988 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5487/statm: 47231 46547 142 357 0 46871 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 202728
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5577
/proc/meminfo: memFree=27930336/32873844 swapFree=7124/7124
[pid=5455] ppid=5453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5455/stat : 5455 (npSolver-pbo-It) S 5453 5455 4265 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 272460687 9367552 275 33554432000 4194304 5064252 140737221502320 140737221501232 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5455/statm: 2287 275 233 213 0 72 0
[pid=5456] ppid=5455 vsize=4656 CPUtime=240.85 cores=1,3,5,7
/proc/5456/stat : 5456 (npSolver-pbo) S 5455 5455 4265 0 -1 4202496 31381 119979 0 0 187 21 23838 39 20 0 1 0 272460687 4767744 849 33554432000 4194304 5992684 140733458007104 140733457992936 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5456/statm: 1164 849 179 440 0 720 0
[pid=5487] ppid=5456 vsize=188924 CPUtime=1481.05 cores=1,3,5,7
/proc/5487/stat : 5487 (glucosInc) R 5456 5455 4265 0 -1 4202496 25936 0 0 0 148063 42 0 0 20 0 1 0 272484788 193458176 46234 33554432000 4194304 5654031 140734284259248 140734284247064 4233226 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5487/statm: 47231 46234 142 357 0 46871 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 202728
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5578
/proc/meminfo: memFree=27899508/32873844 swapFree=7124/7124
[pid=5455] ppid=5453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5455/stat : 5455 (npSolver-pbo-It) S 5453 5455 4265 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 272460687 9367552 275 33554432000 4194304 5064252 140737221502320 140737221501232 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5455/statm: 2287 275 233 213 0 72 0
[pid=5456] ppid=5455 vsize=4656 CPUtime=240.85 cores=1,3,5,7
/proc/5456/stat : 5456 (npSolver-pbo) S 5455 5455 4265 0 -1 4202496 31381 119979 0 0 187 21 23838 39 20 0 1 0 272460687 4767744 849 33554432000 4194304 5992684 140733458007104 140733457992936 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5456/statm: 1164 849 179 440 0 720 0
[pid=5487] ppid=5456 vsize=188924 CPUtime=1541.04 cores=1,3,5,7
/proc/5487/stat : 5487 (glucosInc) R 5456 5455 4265 0 -1 4202496 26661 0 0 0 154060 44 0 0 20 0 1 0 272484788 193458176 44698 33554432000 4194304 5654031 140734284259248 140734284257176 4232752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5487/statm: 47231 44698 142 357 0 46871 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 202728
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5578
/proc/meminfo: memFree=27927312/32873844 swapFree=7124/7124
[pid=5455] ppid=5453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5455/stat : 5455 (npSolver-pbo-It) S 5453 5455 4265 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 272460687 9367552 275 33554432000 4194304 5064252 140737221502320 140737221501232 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5455/statm: 2287 275 233 213 0 72 0
[pid=5456] ppid=5455 vsize=4656 CPUtime=240.85 cores=1,3,5,7
/proc/5456/stat : 5456 (npSolver-pbo) S 5455 5455 4265 0 -1 4202496 31381 119979 0 0 187 21 23838 39 20 0 1 0 272460687 4767744 849 33554432000 4194304 5992684 140733458007104 140733457992936 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5456/statm: 1164 849 179 440 0 720 0
[pid=5487] ppid=5456 vsize=188924 CPUtime=1559.24 cores=1,3,5,7
/proc/5487/stat : 5487 (glucosInc) R 5456 5455 4265 0 -1 4202496 26981 0 0 0 155880 44 0 0 20 0 1 0 272484788 193458176 46544 33554432000 4194304 5654031 140734284259248 140734284257176 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5487/statm: 47231 46544 142 357 0 46871 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 202728
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5578
/proc/meminfo: memFree=27927312/32873844 swapFree=7124/7124
[pid=5455] ppid=5453 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5455/stat : 5455 (npSolver-pbo-It) S 5453 5455 4265 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 272460687 9367552 275 33554432000 4194304 5064252 140737221502320 140737221501232 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5455/statm: 2287 275 233 213 0 72 0
[pid=5456] ppid=5455 vsize=4656 CPUtime=240.85 cores=1,3,5,7
/proc/5456/stat : 5456 (npSolver-pbo) S 5455 5455 4265 0 -1 4202496 31381 119979 0 0 187 21 23838 39 20 0 1 0 272460687 4767744 849 33554432000 4194304 5992684 140733458007104 140733457992936 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5456/statm: 1164 849 179 440 0 720 0
[pid=5487] ppid=5456 vsize=188924 CPUtime=1559.24 cores=1,3,5,7
/proc/5487/stat : 5487 (glucosInc) R 5456 5455 4265 0 -1 4202496 26981 0 0 0 155880 44 0 0 20 0 1 0 272484788 193458176 46544 33554432000 4194304 5654031 140734284259248 140734284257176 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5487/statm: 47231 46544 142 357 0 46871 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 202728
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.13
CPU user time (s): 1799.06
CPU system time (s): 1.06284
CPU usage (%): 99.9787
Max. virtual memory (cumulated for all children) (KiB): 233548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.06
system time used= 1.06284
maximum resident set size= 197492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178720
page faults= 0
swaps= 0
block input operations= 0
block output operations= 102328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2223
involuntary context switches= 2140
runsolver used 9.02663 second user time and 11.9622 second system time
The end