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-3698164-1338068118/watcher-3698164-1338068118 -o /tmp/evaluation-result-3698164-1338068118/solver-3698164-1338068118 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698164-1338068118.opb 1709352103 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: 1.92 2.00 1.99 3/181 11924
/proc/meminfo: memFree=28949876/32873844 swapFree=7364/7364
[pid=11924] ppid=11922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11924/stat : 11924 (npSolver-pbo-It) S 11922 11924 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272936617 9367552 274 33554432000 4194304 5064252 140734166600720 140734166599632 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11924/statm: 2287 274 233 213 0 72 0
[startup+0.0878779 s]
/proc/loadavg: 1.92 2.00 1.99 3/181 11924
/proc/meminfo: memFree=28949876/32873844 swapFree=7364/7364
[pid=11924] ppid=11922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11924/stat : 11924 (npSolver-pbo-It) S 11922 11924 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272936617 9367552 274 33554432000 4194304 5064252 140734166600720 140734166599632 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11924/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100294 s]
/proc/loadavg: 1.92 2.00 1.99 3/181 11924
/proc/meminfo: memFree=28949876/32873844 swapFree=7364/7364
[pid=11924] ppid=11922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11924/stat : 11924 (npSolver-pbo-It) S 11922 11924 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272936617 9367552 274 33554432000 4194304 5064252 140734166600720 140734166599632 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11924/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300279 s]
/proc/loadavg: 1.92 2.00 1.99 3/181 11924
/proc/meminfo: memFree=28949876/32873844 swapFree=7364/7364
[pid=11924] ppid=11922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11924/stat : 11924 (npSolver-pbo-It) S 11922 11924 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272936617 9367552 274 33554432000 4194304 5064252 140734166600720 140734166599632 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11924/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700279 s]
/proc/loadavg: 1.92 2.00 1.99 3/181 11924
/proc/meminfo: memFree=28949876/32873844 swapFree=7364/7364
[pid=11924] ppid=11922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11924/stat : 11924 (npSolver-pbo-It) S 11922 11924 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272936617 9367552 274 33554432000 4194304 5064252 140734166600720 140734166599632 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11924/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 1.92 2.00 1.99 3/184 11935
/proc/meminfo: memFree=28903764/32873844 swapFree=7364/7364
[pid=11924] ppid=11922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11924/stat : 11924 (npSolver-pbo-It) S 11922 11924 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272936617 9367552 274 33554432000 4194304 5064252 140734166600720 140734166599632 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11924/statm: 2287 274 233 213 0 72 0
[pid=11925] ppid=11924 vsize=4288 CPUtime=1.25 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-pbo) S 11924 11924 9054 0 -1 4202496 7442 18256 0 0 18 3 99 5 20 0 1 0 272936617 4390912 776 33554432000 4194304 5992684 140735134128592 140735134114424 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11925/statm: 1072 776 180 440 0 628 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 13436
[startup+3.1004 s]
/proc/loadavg: 1.92 2.00 1.99 3/184 11939
/proc/meminfo: memFree=28911456/32873844 swapFree=7364/7364
[pid=11924] ppid=11922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11924/stat : 11924 (npSolver-pbo-It) S 11922 11924 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272936617 9367552 274 33554432000 4194304 5064252 140734166600720 140734166599632 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11924/statm: 2287 274 233 213 0 72 0
[pid=11925] ppid=11924 vsize=4288 CPUtime=1.79 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-pbo) S 11924 11924 9054 0 -1 4202496 9818 24542 0 0 23 4 146 6 20 0 1 0 272936617 4390912 776 33554432000 4194304 5992684 140735134128592 140735134114424 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11925/statm: 1072 776 180 440 0 628 0
[pid=11939] ppid=11925 vsize=30924 CPUtime=1.28 cores=1,3,5,7
/proc/11939/stat : 11939 (glucosInc) R 11925 11924 9054 0 -1 4202496 5609 0 0 0 127 1 0 0 20 0 1 0 272936798 31666176 5967 33554432000 4194304 5654031 140735322060144 140735322047960 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11939/statm: 7731 5967 140 357 0 7371 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 44360
[startup+6.30037 s]
/proc/loadavg: 1.93 2.00 1.99 3/184 11939
/proc/meminfo: memFree=28918904/32873844 swapFree=7364/7364
[pid=11924] ppid=11922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11924/stat : 11924 (npSolver-pbo-It) S 11922 11924 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272936617 9367552 274 33554432000 4194304 5064252 140734166600720 140734166599632 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11924/statm: 2287 274 233 213 0 72 0
[pid=11925] ppid=11924 vsize=4288 CPUtime=5.69 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-pbo) S 11924 11924 9054 0 -1 4202496 12194 30890 0 0 28 5 528 8 20 0 1 0 272936617 4390912 776 33554432000 4194304 5992684 140735134128592 140735134114424 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11925/statm: 1072 776 180 440 0 628 0
Current children cumulated CPU time (s) 5.69
Current children cumulated vsize (KiB) 13436
[startup+12.7004 s]
/proc/loadavg: 1.93 2.00 1.99 3/184 11945
/proc/meminfo: memFree=28914592/32873844 swapFree=7364/7364
[pid=11924] ppid=11922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11924/stat : 11924 (npSolver-pbo-It) S 11922 11924 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272936617 9367552 274 33554432000 4194304 5064252 140734166600720 140734166599632 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11924/statm: 2287 274 233 213 0 72 0
[pid=11925] ppid=11924 vsize=4288 CPUtime=11.41 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-pbo) S 11924 11924 9054 0 -1 4202496 16946 43830 0 0 39 6 1084 12 20 0 1 0 272936617 4390912 776 33554432000 4194304 5992684 140735134128592 140735134114424 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11925/statm: 1072 776 180 440 0 628 0
[pid=11945] ppid=11925 vsize=30912 CPUtime=1.26 cores=1,3,5,7
/proc/11945/stat : 11945 (glucosInc) R 11925 11924 9054 0 -1 4202496 5583 0 0 0 126 0 0 0 20 0 1 0 272937760 31653888 5946 33554432000 4194304 5654031 140736330498352 140736330486168 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11945/statm: 7728 5946 140 357 0 7368 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 44348
[startup+25.5004 s]
/proc/loadavg: 1.87 1.98 1.99 3/184 11949
/proc/meminfo: memFree=28906444/32873844 swapFree=7364/7364
[pid=11924] ppid=11922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11924/stat : 11924 (npSolver-pbo-It) S 11922 11924 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272936617 9367552 274 33554432000 4194304 5064252 140734166600720 140734166599632 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11924/statm: 2287 274 233 213 0 72 0
[pid=11925] ppid=11924 vsize=4288 CPUtime=23.92 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-pbo) S 11924 11924 9054 0 -1 4202496 21698 57308 0 0 49 8 2319 16 20 0 1 0 272936617 4390912 776 33554432000 4194304 5992684 140735134128592 140735134114424 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11925/statm: 1072 776 180 440 0 628 0
[pid=11949] ppid=11925 vsize=30928 CPUtime=1.54 cores=1,3,5,7
/proc/11949/stat : 11949 (glucosInc) R 11925 11924 9054 0 -1 4202496 5591 0 0 0 154 0 0 0 20 0 1 0 272939012 31670272 5952 33554432000 4194304 5654031 140736176635472 140736176633240 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11949/statm: 7732 5952 140 357 0 7372 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 44364
[startup+51.1005 s]
/proc/loadavg: 1.97 2.00 1.99 3/183 11953
/proc/meminfo: memFree=28894716/32873844 swapFree=7364/7364
[pid=11924] ppid=11922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11924/stat : 11924 (npSolver-pbo-It) S 11922 11924 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272936617 9367552 274 33554432000 4194304 5064252 140734166600720 140734166599632 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11924/statm: 2287 274 233 213 0 72 0
[pid=11925] ppid=11924 vsize=4288 CPUtime=42.75 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-pbo) S 11924 11924 9054 0 -1 4202496 26450 72224 0 0 60 9 4186 20 20 0 1 0 272936617 4390912 776 33554432000 4194304 5992684 140735134128592 140735134114424 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11925/statm: 1072 776 180 440 0 628 0
[pid=11953] ppid=11925 vsize=31184 CPUtime=8.3 cores=1,3,5,7
/proc/11953/stat : 11953 (glucosInc) R 11925 11924 9054 0 -1 4202496 7528 0 0 0 829 1 0 0 20 0 1 0 272940895 31932416 6509 33554432000 4194304 5654031 140734600008336 140734599996152 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11953/statm: 7796 6509 142 357 0 7436 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 44620
[startup+102.307 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 11953
/proc/meminfo: memFree=28878144/32873844 swapFree=7364/7364
[pid=11924] ppid=11922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11924/stat : 11924 (npSolver-pbo-It) S 11922 11924 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272936617 9367552 274 33554432000 4194304 5064252 140734166600720 140734166599632 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11924/statm: 2287 274 233 213 0 72 0
[pid=11925] ppid=11924 vsize=4288 CPUtime=42.75 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-pbo) S 11924 11924 9054 0 -1 4202496 26450 72224 0 0 60 9 4186 20 20 0 1 0 272936617 4390912 776 33554432000 4194304 5992684 140735134128592 140735134114424 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11925/statm: 1072 776 180 440 0 628 0
[pid=11953] ppid=11925 vsize=47360 CPUtime=59.5 cores=1,3,5,7
/proc/11953/stat : 11953 (glucosInc) R 11925 11924 9054 0 -1 4202496 9566 0 0 0 5948 2 0 0 20 0 1 0 272940895 48496640 10590 33554432000 4194304 5654031 140734600008336 140734599996152 4208595 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11953/statm: 11840 10590 142 357 0 11480 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 60796
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 11953
/proc/meminfo: memFree=28861576/32873844 swapFree=7364/7364
[pid=11924] ppid=11922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11924/stat : 11924 (npSolver-pbo-It) S 11922 11924 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272936617 9367552 274 33554432000 4194304 5064252 140734166600720 140734166599632 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11924/statm: 2287 274 233 213 0 72 0
[pid=11925] ppid=11924 vsize=4288 CPUtime=42.75 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-pbo) S 11924 11924 9054 0 -1 4202496 26450 72224 0 0 60 9 4186 20 20 0 1 0 272936617 4390912 776 33554432000 4194304 5992684 140735134128592 140735134114424 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11925/statm: 1072 776 180 440 0 628 0
[pid=11953] ppid=11925 vsize=54824 CPUtime=119.48 cores=1,3,5,7
/proc/11953/stat : 11953 (glucosInc) R 11925 11924 9054 0 -1 4202496 10564 0 0 0 11946 2 0 0 20 0 1 0 272940895 56139776 12127 33554432000 4194304 5654031 140734600008336 140734600006216 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11953/statm: 13706 12127 142 357 0 13346 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 68260
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 11953
/proc/meminfo: memFree=28837432/32873844 swapFree=7364/7364
[pid=11924] ppid=11922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11924/stat : 11924 (npSolver-pbo-It) S 11922 11924 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272936617 9367552 274 33554432000 4194304 5064252 140734166600720 140734166599632 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11924/statm: 2287 274 233 213 0 72 0
[pid=11925] ppid=11924 vsize=4288 CPUtime=42.75 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-pbo) S 11924 11924 9054 0 -1 4202496 26450 72224 0 0 60 9 4186 20 20 0 1 0 272936617 4390912 776 33554432000 4194304 5992684 140735134128592 140735134114424 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11925/statm: 1072 776 180 440 0 628 0
[pid=11953] ppid=11925 vsize=73500 CPUtime=179.48 cores=1,3,5,7
/proc/11953/stat : 11953 (glucosInc) R 11925 11924 9054 0 -1 4202496 11710 0 0 0 17944 4 0 0 20 0 1 0 272940895 75264000 16615 33554432000 4194304 5654031 140734600008336 140734600006216 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11953/statm: 18375 16615 142 357 0 18015 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 86936
[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 11954
/proc/meminfo: memFree=28818068/32873844 swapFree=7364/7364
[pid=11924] ppid=11922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11924/stat : 11924 (npSolver-pbo-It) S 11922 11924 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272936617 9367552 274 33554432000 4194304 5064252 140734166600720 140734166599632 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11924/statm: 2287 274 233 213 0 72 0
[pid=11925] ppid=11924 vsize=4288 CPUtime=42.75 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=28793860/32873844 swapFree=7364/7364
[pid=11924] ppid=11922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11924/stat : 11924 (npSolver-pbo-It) S 11922 11924 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272936617 9367552 274 33554432000 4194304 5064252 140734166600720 140734166599632 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11924/statm: 2287 274 233 213 0 72 0
[pid=11925] ppid=11924 vsize=4288 CPUtime=669.75 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-pbo) S 11924 11924 9054 0 -1 4202496 28826 85241 0 0 66 10 66873 26 20 0 1 0 272936617 4390912 776 33554432000 4194304 5992684 140735134128592 140735134114424 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11925/statm: 1072 776 180 440 0 628 0
[pid=11960] ppid=11925 vsize=99888 CPUtime=572.31 cores=1,3,5,7
/proc/11960/stat : 11960 (glucosInc) R 11925 11924 9054 0 -1 4202496 12125 0 0 0 57225 6 0 0 20 0 1 0 273003605 102285312 24132 33554432000 4194304 5654031 140735236311952 140735236299768 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11960/statm: 24972 24132 142 357 0 24612 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 113324
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11978
/proc/meminfo: memFree=28782504/32873844 swapFree=7364/7364
[pid=11924] ppid=11922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11924/stat : 11924 (npSolver-pbo-It) S 11922 11924 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272936617 9367552 274 33554432000 4194304 5064252 140734166600720 140734166599632 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11924/statm: 2287 274 233 213 0 72 0
[pid=11925] ppid=11924 vsize=4288 CPUtime=669.75 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-pbo) S 11924 11924 9054 0 -1 4202496 28826 85241 0 0 66 10 66873 26 20 0 1 0 272936617 4390912 776 33554432000 4194304 5992684 140735134128592 140735134114424 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11925/statm: 1072 776 180 440 0 628 0
[pid=11960] ppid=11925 vsize=99888 CPUtime=632.31 cores=1,3,5,7
/proc/11960/stat : 11960 (glucosInc) R 11925 11924 9054 0 -1 4202496 12125 0 0 0 63225 6 0 0 20 0 1 0 273003605 102285312 24132 33554432000 4194304 5654031 140735236311952 140735236299768 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11960/statm: 24972 24132 142 357 0 24612 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 113324
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11978
/proc/meminfo: memFree=28780268/32873844 swapFree=7364/7364
[pid=11924] ppid=11922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11924/stat : 11924 (npSolver-pbo-It) S 11922 11924 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272936617 9367552 274 33554432000 4194304 5064252 140734166600720 140734166599632 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11924/statm: 2287 274 233 213 0 72 0
[pid=11925] ppid=11924 vsize=4288 CPUtime=669.75 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-pbo) S 11924 11924 9054 0 -1 4202496 28826 85241 0 0 66 10 66873 26 20 0 1 0 272936617 4390912 776 33554432000 4194304 5992684 140735134128592 140735134114424 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11925/statm: 1072 776 180 440 0 628 0
[pid=11960] ppid=11925 vsize=119276 CPUtime=692.3 cores=1,3,5,7
/proc/11960/stat : 11960 (glucosInc) R 11925 11924 9054 0 -1 4202496 12127 0 0 0 69224 6 0 0 20 0 1 0 273003605 122138624 24645 33554432000 4194304 5654031 140735236311952 140735236299768 4216337 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11960/statm: 29819 24645 142 357 0 29459 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 132712
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11978
/proc/meminfo: memFree=28780392/32873844 swapFree=7364/7364
[pid=11924] ppid=11922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11924/stat : 11924 (npSolver-pbo-It) S 11922 11924 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272936617 9367552 274 33554432000 4194304 5064252 140734166600720 140734166599632 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11924/statm: 2287 274 233 213 0 72 0
[pid=11925] ppid=11924 vsize=4288 CPUtime=669.75 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-pbo) S 11924 11924 9054 0 -1 4202496 28826 85241 0 0 66 10 66873 26 20 0 1 0 272936617 4390912 776 33554432000 4194304 5992684 140735134128592 140735134114424 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11925/statm: 1072 776 180 440 0 628 0
[pid=11960] ppid=11925 vsize=119276 CPUtime=752.29 cores=1,3,5,7
/proc/11960/stat : 11960 (glucosInc) R 11925 11924 9054 0 -1 4202496 12127 0 0 0 75223 6 0 0 20 0 1 0 273003605 122138624 24645 33554432000 4194304 5654031 140735236311952 140735236299768 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11960/statm: 29819 24645 142 357 0 29459 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 132712
[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 11979
/proc/meminfo: memFree=28755816/32873844 swapFree=7364/7364
[pid=11924] ppid=11922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11924/stat : 11924 (npSolver-pbo-It) S 11922 11924 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272936617 9367552 274 33554432000 4194304 5064252 140734166600720 140734166599632 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11924/statm: 2287 274 233 213 0 72 0
[pid=11925] ppid=11924 vsize=4288 CPUtime=669.75 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-pbo) S 11924 11924 9054 0 -1 4202496 28826 85241 0 0 66 10 66873 26 20 0 1 0 272936617 4390912 776 33554432000 4194304 5992684 140735134128592 140735134114424 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11925/statm: 1072 776 180 440 0 628 0
[pid=11960] ppid=11925 vsize=119276 CPUtime=812.28 cores=1,3,5,7
/proc/11960/stat : 11960 (glucosInc) R 11925 11924 9054 0 -1 4202496 12213 0 0 0 81221 7 0 0 20 0 1 0 273003605 122138624 28979 33554432000 4194304 5654031 140735236311952 140735236299768 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11960/statm: 29819 28979 142 357 0 29459 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 132712
[startup+1542.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/184 12026
/proc/meminfo: memFree=28831200/32873844 swapFree=7364/7364
[pid=11924] ppid=11922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11924/stat : 11924 (npSolver-pbo-It) S 11922 11924 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272936617 9367552 274 33554432000 4194304 5064252 140734166600720 140734166599632 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11924/statm: 2287 274 233 213 0 72 0
[pid=11925] ppid=11924 vsize=4288 CPUtime=669.75 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-pbo) S 11924 11924 9054 0 -1 4202496 28826 85241 0 0 66 10 66873 26 20 0 1 0 272936617 4390912 776 33554432000 4194304 5992684 140735134128592 140735134114424 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11925/statm: 1072 776 180 440 0 628 0
[pid=11960] ppid=11925 vsize=119276 CPUtime=872.27 cores=1,3,5,7
/proc/11960/stat : 11960 (glucosInc) R 11925 11924 9054 0 -1 4202496 12213 0 0 0 87220 7 0 0 20 0 1 0 273003605 122138624 28979 33554432000 4194304 5654031 140735236311952 140735236299768 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11960/statm: 29819 28979 142 357 0 29459 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 132712
[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/184 12049
/proc/meminfo: memFree=28801420/32873844 swapFree=7364/7364
[pid=11924] ppid=11922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11924/stat : 11924 (npSolver-pbo-It) S 11922 11924 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272936617 9367552 274 33554432000 4194304 5064252 140734166600720 140734166599632 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11924/statm: 2287 274 233 213 0 72 0
[pid=11925] ppid=11924 vsize=4288 CPUtime=669.75 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-pbo) S 11924 11924 9054 0 -1 4202496 28826 85241 0 0 66 10 66873 26 20 0 1 0 272936617 4390912 776 33554432000 4194304 5992684 140735134128592 140735134114424 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11925/statm: 1072 776 180 440 0 628 0
[pid=11960] ppid=11925 vsize=119276 CPUtime=932.26 cores=1,3,5,7
/proc/11960/stat : 11960 (glucosInc) R 11925 11924 9054 0 -1 4202496 12213 0 0 0 93219 7 0 0 20 0 1 0 273003605 122138624 28979 33554432000 4194304 5654031 140735236311952 140735236299768 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11960/statm: 29819 28979 142 357 0 29459 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 132712
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 12049
/proc/meminfo: memFree=28793244/32873844 swapFree=7364/7364
[pid=11924] ppid=11922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11924/stat : 11924 (npSolver-pbo-It) S 11922 11924 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272936617 9367552 274 33554432000 4194304 5064252 140734166600720 140734166599632 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11924/statm: 2287 274 233 213 0 72 0
[pid=11925] ppid=11924 vsize=4288 CPUtime=669.75 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-pbo) S 11924 11924 9054 0 -1 4202496 28826 85241 0 0 66 10 66873 26 20 0 1 0 272936617 4390912 776 33554432000 4194304 5992684 140735134128592 140735134114424 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11925/statm: 1072 776 180 440 0 628 0
[pid=11960] ppid=11925 vsize=119276 CPUtime=992.25 cores=1,3,5,7
/proc/11960/stat : 11960 (glucosInc) R 11925 11924 9054 0 -1 4202496 12213 0 0 0 99218 7 0 0 20 0 1 0 273003605 122138624 28979 33554432000 4194304 5654031 140735236311952 140735236299768 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11960/statm: 29819 28979 142 357 0 29459 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 132712
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 12049
/proc/meminfo: memFree=28801432/32873844 swapFree=7364/7364
[pid=11924] ppid=11922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11924/stat : 11924 (npSolver-pbo-It) S 11922 11924 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272936617 9367552 274 33554432000 4194304 5064252 140734166600720 140734166599632 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11924/statm: 2287 274 233 213 0 72 0
[pid=11925] ppid=11924 vsize=4288 CPUtime=669.75 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-pbo) S 11924 11924 9054 0 -1 4202496 28826 85241 0 0 66 10 66873 26 20 0 1 0 272936617 4390912 776 33554432000 4194304 5992684 140735134128592 140735134114424 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11925/statm: 1072 776 180 440 0 628 0
[pid=11960] ppid=11925 vsize=119276 CPUtime=1052.24 cores=1,3,5,7
/proc/11960/stat : 11960 (glucosInc) R 11925 11924 9054 0 -1 4202496 12213 0 0 0 105217 7 0 0 20 0 1 0 273003605 122138624 28979 33554432000 4194304 5654031 140735236311952 140735236299768 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11960/statm: 29819 28979 142 357 0 29459 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 132712
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12050
/proc/meminfo: memFree=28798144/32873844 swapFree=7364/7364
[pid=11924] ppid=11922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11924/stat : 11924 (npSolver-pbo-It) S 11922 11924 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272936617 9367552 274 33554432000 4194304 5064252 140734166600720 140734166599632 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11924/statm: 2287 274 233 213 0 72 0
[pid=11925] ppid=11924 vsize=4288 CPUtime=669.75 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-pbo) S 11924 11924 9054 0 -1 4202496 28826 85241 0 0 66 10 66873 26 20 0 1 0 272936617 4390912 776 33554432000 4194304 5992684 140735134128592 140735134114424 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11925/statm: 1072 776 180 440 0 628 0
[pid=11960] ppid=11925 vsize=119276 CPUtime=1112.23 cores=1,3,5,7
/proc/11960/stat : 11960 (glucosInc) R 11925 11924 9054 0 -1 4202496 12213 0 0 0 111216 7 0 0 20 0 1 0 273003605 122138624 28979 33554432000 4194304 5654031 140735236311952 140735236299768 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11960/statm: 29819 28979 142 357 0 29459 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 132712
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12050
/proc/meminfo: memFree=28798144/32873844 swapFree=7364/7364
[pid=11924] ppid=11922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11924/stat : 11924 (npSolver-pbo-It) S 11922 11924 9054 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272936617 9367552 274 33554432000 4194304 5064252 140734166600720 140734166599632 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11924/statm: 2287 274 233 213 0 72 0
[pid=11925] ppid=11924 vsize=4288 CPUtime=669.75 cores=1,3,5,7
/proc/11925/stat : 11925 (npSolver-pbo) S 11924 11924 9054 0 -1 4202496 28826 85241 0 0 66 10 66873 26 20 0 1 0 272936617 4390912 776 33554432000 4194304 5992684 140735134128592 140735134114424 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11925/statm: 1072 776 180 440 0 628 0
[pid=11960] ppid=11925 vsize=119276 CPUtime=1130.34 cores=1,3,5,7
/proc/11960/stat : 11960 (glucosInc) R 11925 11924 9054 0 -1 4202496 12213 0 0 0 113027 7 0 0 20 0 1 0 273003605 122138624 28979 33554432000 4194304 5654031 140735236311952 140735236299768 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11960/statm: 29819 28979 142 357 0 29459 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 132712
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.41
CPU time (s): 1800.12
CPU user time (s): 1799.67
CPU system time (s): 0.446932
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 136792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.67
system time used= 0.446932
maximum resident set size= 115916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126659
page faults= 0
swaps= 0
block input operations= 0
block output operations= 58768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1941
involuntary context switches= 1900
runsolver used 6.53501 second user time and 18.1762 second system time
The end