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-3746250-1339098187/watcher-3746250-1339098187 -o /tmp/evaluation-result-3746250-1339098187/solver-3746250-1339098187 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746250-1339098187.opb 26276196 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: 0.24 0.07 0.02 3/174 11384
/proc/meminfo: memFree=26800944/32873648 swapFree=7376/7376
[pid=11384] ppid=11378 vsize=11812 CPUtime=0 cores=1,3,5,7
/proc/11384/stat : 11384 (runsolver) D 11378 11384 11259 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 375944248 12095488 51 33554432000 4194304 5436572 140736580141536 140736580137832 4883175 0 0 4096 24578 18446744071579943789 0 0 17 3 0 0 0 0 0
/proc/11384/statm: 2953 51 31 304 0 2645 0

[startup+0.0877959 s]
/proc/loadavg: 0.24 0.07 0.02 3/174 11384
/proc/meminfo: memFree=26800944/32873648 swapFree=7376/7376
[pid=11384] ppid=11378 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11384/stat : 11384 (npSolver-pbo-It) S 11378 11384 11259 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375944248 9367552 274 33554432000 4194304 5064252 140735691840992 140735691839904 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11384/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100243 s]
/proc/loadavg: 0.24 0.07 0.02 3/174 11384
/proc/meminfo: memFree=26800944/32873648 swapFree=7376/7376
[pid=11384] ppid=11378 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11384/stat : 11384 (npSolver-pbo-It) S 11378 11384 11259 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375944248 9367552 274 33554432000 4194304 5064252 140735691840992 140735691839904 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11384/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300186 s]
/proc/loadavg: 0.24 0.07 0.02 3/174 11384
/proc/meminfo: memFree=26800944/32873648 swapFree=7376/7376
[pid=11384] ppid=11378 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11384/stat : 11384 (npSolver-pbo-It) S 11378 11384 11259 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375944248 9367552 274 33554432000 4194304 5064252 140735691840992 140735691839904 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11384/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700181 s]
/proc/loadavg: 0.24 0.07 0.02 3/174 11384
/proc/meminfo: memFree=26800944/32873648 swapFree=7376/7376
[pid=11384] ppid=11378 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11384/stat : 11384 (npSolver-pbo-It) S 11378 11384 11259 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375944248 9367552 274 33554432000 4194304 5064252 140735691840992 140735691839904 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11384/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50028 s]
/proc/loadavg: 0.24 0.07 0.02 3/181 11400
/proc/meminfo: memFree=26777776/32873648 swapFree=7376/7376
[pid=11384] ppid=11378 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11384/stat : 11384 (npSolver-pbo-It) S 11378 11384 11259 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375944248 9367552 274 33554432000 4194304 5064252 140735691840992 140735691839904 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11384/statm: 2287 274 233 213 0 72 0
[pid=11390] ppid=11384 vsize=6056 CPUtime=0.1 cores=1,3,5,7
/proc/11390/stat : 11390 (npSolver-pbo) S 11384 11384 11259 0 -1 4202496 2382 2282 0 0 4 0 6 0 20 0 1 0 375944250 6201344 1158 33554432000 4194304 6004724 140737410501984 140737410488264 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11390/statm: 1514 1158 152 442 0 1068 0
[pid=11398] ppid=11390 vsize=15964 CPUtime=1.35 cores=1,3,5,7
/proc/11398/stat : 11398 (glucosInc) R 11390 11384 11259 0 -1 4202496 3249 0 0 0 135 0 0 0 20 0 1 0 375944262 16347136 3326 33554432000 4194304 5654031 140735296582432 140735296580520 4232960 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11398/statm: 3991 3326 141 357 0 3631 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 31168

[startup+3.10034 s]
/proc/loadavg: 0.24 0.07 0.02 3/181 11400
/proc/meminfo: memFree=26756808/32873648 swapFree=7376/7376
[pid=11384] ppid=11378 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11384/stat : 11384 (npSolver-pbo-It) S 11378 11384 11259 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375944248 9367552 274 33554432000 4194304 5064252 140735691840992 140735691839904 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11384/statm: 2287 274 233 213 0 72 0
[pid=11390] ppid=11384 vsize=6056 CPUtime=0.1 cores=1,3,5,7
/proc/11390/stat : 11390 (npSolver-pbo) S 11384 11384 11259 0 -1 4202496 2382 2282 0 0 4 0 6 0 20 0 1 0 375944250 6201344 1158 33554432000 4194304 6004724 140737410501984 140737410488264 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11390/statm: 1514 1158 152 442 0 1068 0
[pid=11398] ppid=11390 vsize=35008 CPUtime=2.95 cores=1,3,5,7
/proc/11398/stat : 11398 (glucosInc) R 11390 11384 11259 0 -1 4202496 5162 0 0 0 294 1 0 0 20 0 1 0 375944262 35848192 6684 33554432000 4194304 5654031 140735296582432 140735296580216 4215079 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11398/statm: 8752 6684 141 357 0 8392 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 50212

[startup+6.30031 s]
/proc/loadavg: 0.38 0.10 0.03 3/181 11400
/proc/meminfo: memFree=26698796/32873648 swapFree=7376/7376
[pid=11384] ppid=11378 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11384/stat : 11384 (npSolver-pbo-It) S 11378 11384 11259 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375944248 9367552 274 33554432000 4194304 5064252 140735691840992 140735691839904 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11384/statm: 2287 274 233 213 0 72 0
[pid=11390] ppid=11384 vsize=6056 CPUtime=0.1 cores=1,3,5,7
/proc/11390/stat : 11390 (npSolver-pbo) S 11384 11384 11259 0 -1 4202496 2382 2282 0 0 4 0 6 0 20 0 1 0 375944250 6201344 1158 33554432000 4194304 6004724 140737410501984 140737410488264 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11390/statm: 1514 1158 152 442 0 1068 0
[pid=11398] ppid=11390 vsize=35008 CPUtime=6.15 cores=1,3,5,7
/proc/11398/stat : 11398 (glucosInc) R 11390 11384 11259 0 -1 4202496 5663 0 0 0 613 2 0 0 20 0 1 0 375944262 35848192 8307 33554432000 4194304 5654031 140735296582432 140735296580456 4233204 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11398/statm: 8752 8307 141 357 0 8392 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 50212

[startup+12.7003 s]
/proc/loadavg: 0.51 0.13 0.04 3/181 11400
/proc/meminfo: memFree=26687584/32873648 swapFree=7376/7376
[pid=11384] ppid=11378 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11384/stat : 11384 (npSolver-pbo-It) S 11378 11384 11259 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375944248 9367552 274 33554432000 4194304 5064252 140735691840992 140735691839904 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11384/statm: 2287 274 233 213 0 72 0
[pid=11390] ppid=11384 vsize=6056 CPUtime=0.1 cores=1,3,5,7
/proc/11390/stat : 11390 (npSolver-pbo) S 11384 11384 11259 0 -1 4202496 2382 2282 0 0 4 0 6 0 20 0 1 0 375944250 6201344 1158 33554432000 4194304 6004724 140737410501984 140737410488264 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11390/statm: 1514 1158 152 442 0 1068 0
[pid=11398] ppid=11390 vsize=65356 CPUtime=12.54 cores=1,3,5,7
/proc/11398/stat : 11398 (glucosInc) R 11390 11384 11259 0 -1 4202496 6135 0 0 0 1252 2 0 0 20 0 1 0 375944262 66924544 11805 33554432000 4194304 5654031 140735296582432 140735296580456 4214944 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11398/statm: 16339 11805 141 357 0 15979 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 80560

[startup+25.5003 s]
/proc/loadavg: 0.84 0.22 0.07 3/181 11400
/proc/meminfo: memFree=26635724/32873648 swapFree=7376/7376
[pid=11384] ppid=11378 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11384/stat : 11384 (npSolver-pbo-It) S 11378 11384 11259 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375944248 9367552 274 33554432000 4194304 5064252 140735691840992 140735691839904 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11384/statm: 2287 274 233 213 0 72 0
[pid=11390] ppid=11384 vsize=6056 CPUtime=0.1 cores=1,3,5,7
/proc/11390/stat : 11390 (npSolver-pbo) S 11384 11384 11259 0 -1 4202496 2382 2282 0 0 4 0 6 0 20 0 1 0 375944250 6201344 1158 33554432000 4194304 6004724 140737410501984 140737410488264 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11390/statm: 1514 1158 152 442 0 1068 0
[pid=11398] ppid=11390 vsize=145496 CPUtime=25.35 cores=1,3,5,7
/proc/11398/stat : 11398 (glucosInc) R 11390 11384 11259 0 -1 4202496 6361 0 0 0 2530 5 0 0 20 0 1 0 375944262 148987904 25205 33554432000 4194304 5654031 140735296582432 140735296580520 4232960 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11398/statm: 36374 25205 141 357 0 36014 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 160700

[startup+51.1004 s]
/proc/loadavg: 1.24 0.36 0.12 3/181 11400
/proc/meminfo: memFree=26633840/32873648 swapFree=7376/7376
[pid=11384] ppid=11378 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11384/stat : 11384 (npSolver-pbo-It) S 11378 11384 11259 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375944248 9367552 274 33554432000 4194304 5064252 140735691840992 140735691839904 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11384/statm: 2287 274 233 213 0 72 0
[pid=11390] ppid=11384 vsize=6056 CPUtime=0.1 cores=1,3,5,7
/proc/11390/stat : 11390 (npSolver-pbo) S 11384 11384 11259 0 -1 4202496 2382 2282 0 0 4 0 6 0 20 0 1 0 375944250 6201344 1158 33554432000 4194304 6004724 140737410501984 140737410488264 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11390/statm: 1514 1158 152 442 0 1068 0
[pid=11398] ppid=11390 vsize=145496 CPUtime=50.94 cores=1,3,5,7
/proc/11398/stat : 11398 (glucosInc) R 11390 11384 11259 0 -1 4202496 6718 0 0 0 5085 9 0 0 20 0 1 0 375944262 148987904 25717 33554432000 4194304 5654031 140735296582432 140735296580520 4232830 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11398/statm: 36374 25717 141 357 0 36014 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 160700

[startup+102.307 s]
/proc/loadavg: 1.67 0.61 0.21 3/180 11400
/proc/meminfo: memFree=26550856/32873648 swapFree=7376/7376
[pid=11384] ppid=11378 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11384/stat : 11384 (npSolver-pbo-It) S 11378 11384 11259 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375944248 9367552 274 33554432000 4194304 5064252 140735691840992 140735691839904 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11384/statm: 2287 274 233 213 0 72 0
[pid=11390] ppid=11384 vsize=6056 CPUtime=0.1 cores=1,3,5,7
/proc/11390/stat : 11390 (npSolver-pbo) S 11384 11384 11259 0 -1 4202496 2382 2282 0 0 4 0 6 0 20 0 1 0 375944250 6201344 1158 33554432000 4194304 6004724 140737410501984 140737410488264 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11390/statm: 1514 1158 152 442 0 1068 0
[pid=11398] ppid=11390 vsize=145496 CPUtime=102.13 cores=1,3,5,7
/proc/11398/stat : 11398 (glucosInc) R 11390 11384 11259 0 -1 4202496 9005 0 0 0 10192 21 0 0 20 0 1 0 375944262 148987904 31350 33554432000 4194304 5654031 140735296582432 140735296580520 4232968 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11398/statm: 36374 31350 141 357 0 36014 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 160700

[startup+162.3 s]
/proc/loadavg: 1.88 0.86 0.32 3/181 11401
/proc/meminfo: memFree=26531736/32873648 swapFree=7376/7376
[pid=11384] ppid=11378 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11384/stat : 11384 (npSolver-pbo-It) S 11378 11384 11259 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375944248 9367552 274 33554432000 4194304 5064252 140735691840992 140735691839904 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11384/statm: 2287 274 233 213 0 72 0
[pid=11390] ppid=11384 vsize=6056 CPUtime=0.1 cores=1,3,5,7
/proc/11390/stat : 11390 (npSolver-pbo) S 11384 11384 11259 0 -1 4202496 2382 2282 0 0 4 0 6 0 20 0 1 0 375944250 6201344 1158 33554432000 4194304 6004724 140737410501984 140737410488264 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11390/statm: 1514 1158 152 442 0 1068 0
[pid=11398] ppid=11390 vsize=195584 CPUtime=162.11 cores=1,3,5,7
/proc/11398/stat : 11398 (glucosInc) R 11390 11384 11259 0 -1 4202496 12681 0 0 0 16181 30 0 0 20 0 1 0 375944262 200278016 38819 33554432000 4194304 5654031 140735296582432 140735296580520 4232752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11398/statm: 48896 38819 141 357 0 48536 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 210788

[startup+222.3 s]
/proc/loadavg: 1.95 1.07 0.42 3/181 11401
/proc/meminfo: memFree=26499312/32873648 swapFree=7376/7376
[pid=11384] ppid=11378 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11384/stat : 11384 (npSolver-pbo-It) S 11378 11384 11259 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375944248 9367552 274 33554432000 4194304 5064252 140735691840992 140735691839904 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11384/statm: 2287 274 233 213 0 72 0
[pid=11390] ppid=11384 vsize=6056 CPUtime=0.1 cores=1,3,5,7
/proc/11390/stat : 11390 (npSolver-pbo) S 11384 11384 11259 0 -1 4202496 2382 2282 0 0 4 0 6 0 20 0 1 0 375944250 6201344 1158 33554432000 4194304 6004724 140737410501984 140737410488264 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11390/statm: 1514 1158 152 442 0 1068 0
[pid=11398] ppid=11390 vsize=145496 CPUtime=222.1 cores=1,3,5,7
/proc/11398/stat : 11398 (glucosInc) R 11390 11384 11259 0 -1 4202496 14122 0 0 0 22172 38 0 0 20 0 1 0 375944262 148987904 27212 33554432000 4194304 5654031 140735296582432 140735296580456 4232988 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11398/statm: 36374 27212 141 357 0 36014 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 160700

[startup+282.3 s]

################
# More data... #
################

/proc/11398/statm: 48896 41337 141 357 0 48536 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 210788

[startup+342.3 s]
/proc/loadavg: 2.04 1.40 0.62 3/181 11401
/proc/meminfo: memFree=26482936/32873648 swapFree=7376/7376
[pid=11384] ppid=11378 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11384/stat : 11384 (npSolver-pbo-It) S 11378 11384 11259 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375944248 9367552 274 33554432000 4194304 5064252 140735691840992 140735691839904 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11384/statm: 2287 274 233 213 0 72 0
[pid=11390] ppid=11384 vsize=6056 CPUtime=0.1 cores=1,3,5,7
/proc/11390/stat : 11390 (npSolver-pbo) S 11384 11384 11259 0 -1 4202496 2382 2282 0 0 4 0 6 0 20 0 1 0 375944250 6201344 1158 33554432000 4194304 6004724 140737410501984 140737410488264 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11390/statm: 1514 1158 152 442 0 1068 0
[pid=11398] ppid=11390 vsize=145496 CPUtime=342.08 cores=1,3,5,7
/proc/11398/stat : 11398 (glucosInc) R 11390 11384 11259 0 -1 4202496 16940 0 0 0 34158 50 0 0 20 0 1 0 375944262 148987904 28748 33554432000 4194304 5654031 140735296582432 140735296580456 4215913 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11398/statm: 36374 28748 141 357 0 36014 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 160700

[startup+402.3 s]
/proc/loadavg: 2.01 1.50 0.70 3/181 11401
/proc/meminfo: memFree=26486644/32873648 swapFree=7376/7376
[pid=11384] ppid=11378 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11384/stat : 11384 (npSolver-pbo-It) S 11378 11384 11259 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375944248 9367552 274 33554432000 4194304 5064252 140735691840992 140735691839904 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11384/statm: 2287 274 233 213 0 72 0
[pid=11390] ppid=11384 vsize=6056 CPUtime=0.1 cores=1,3,5,7
/proc/11390/stat : 11390 (npSolver-pbo) S 11384 11384 11259 0 -1 4202496 2382 2282 0 0 4 0 6 0 20 0 1 0 375944250 6201344 1158 33554432000 4194304 6004724 140737410501984 140737410488264 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11390/statm: 1514 1158 152 442 0 1068 0
[pid=11398] ppid=11390 vsize=195584 CPUtime=402.07 cores=1,3,5,7
/proc/11398/stat : 11398 (glucosInc) R 11390 11384 11259 0 -1 4202496 18352 0 0 0 40152 55 0 0 20 0 1 0 375944262 200278016 35193 33554432000 4194304 5654031 140735296582432 140735296580520 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11398/statm: 48896 35193 141 357 0 48536 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 210788

[startup+462.3 s]
/proc/loadavg: 2.00 1.59 0.78 3/182 11405
/proc/meminfo: memFree=26437128/32873648 swapFree=7376/7376
[pid=11384] ppid=11378 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11384/stat : 11384 (npSolver-pbo-It) S 11378 11384 11259 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375944248 9367552 274 33554432000 4194304 5064252 140735691840992 140735691839904 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11384/statm: 2287 274 233 213 0 72 0
[pid=11390] ppid=11384 vsize=6056 CPUtime=0.1 cores=1,3,5,7
/proc/11390/stat : 11390 (npSolver-pbo) S 11384 11384 11259 0 -1 4202496 2382 2282 0 0 4 0 6 0 20 0 1 0 375944250 6201344 1158 33554432000 4194304 6004724 140737410501984 140737410488264 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11390/statm: 1514 1158 152 442 0 1068 0
[pid=11398] ppid=11390 vsize=195584 CPUtime=462.05 cores=1,3,5,7
/proc/11398/stat : 11398 (glucosInc) R 11390 11384 11259 0 -1 4202496 19487 0 0 0 46144 61 0 0 20 0 1 0 375944262 200278016 43897 33554432000 4194304 5654031 140735296582432 140735296580520 4232973 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11398/statm: 48896 43897 141 357 0 48536 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 210788

[startup+522.3 s]
/proc/loadavg: 2.00 1.66 0.85 3/181 11405
/proc/meminfo: memFree=26405900/32873648 swapFree=7376/7376
[pid=11384] ppid=11378 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11384/stat : 11384 (npSolver-pbo-It) S 11378 11384 11259 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375944248 9367552 274 33554432000 4194304 5064252 140735691840992 140735691839904 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11384/statm: 2287 274 233 213 0 72 0
[pid=11390] ppid=11384 vsize=6056 CPUtime=0.1 cores=1,3,5,7
/proc/11390/stat : 11390 (npSolver-pbo) S 11384 11384 11259 0 -1 4202496 2382 2282 0 0 4 0 6 0 20 0 1 0 375944250 6201344 1158 33554432000 4194304 6004724 140737410501984 140737410488264 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11390/statm: 1514 1158 152 442 0 1068 0
[pid=11398] ppid=11390 vsize=276972 CPUtime=522.04 cores=1,3,5,7
/proc/11398/stat : 11398 (glucosInc) R 11390 11384 11259 0 -1 4202496 21296 0 0 0 52137 67 0 0 20 0 1 0 375944262 283619328 53281 33554432000 4194304 5654031 140735296582432 140735296580520 4232912 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11398/statm: 69243 53281 141 357 0 68883 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 292176

Solver just ended. Dumping a history of the last processes samples

[startup+537.5 s]
/proc/loadavg: 2.00 1.68 0.87 3/181 11405
/proc/meminfo: memFree=26428368/32873648 swapFree=7376/7376
[pid=11384] ppid=11378 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11384/stat : 11384 (npSolver-pbo-It) S 11378 11384 11259 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375944248 9367552 274 33554432000 4194304 5064252 140735691840992 140735691839904 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11384/statm: 2287 274 233 213 0 72 0
[pid=11390] ppid=11384 vsize=6056 CPUtime=0.1 cores=1,3,5,7
/proc/11390/stat : 11390 (npSolver-pbo) S 11384 11384 11259 0 -1 4202496 2382 2282 0 0 4 0 6 0 20 0 1 0 375944250 6201344 1158 33554432000 4194304 6004724 140737410501984 140737410488264 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11390/statm: 1514 1158 152 442 0 1068 0
[pid=11398] ppid=11390 vsize=195584 CPUtime=537.24 cores=1,3,5,7
/proc/11398/stat : 11398 (glucosInc) R 11390 11384 11259 0 -1 4202496 21696 0 0 0 53654 70 0 0 20 0 1 0 375944262 200278016 37753 33554432000 4194304 5654031 140735296582432 140735296580520 4215026 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11398/statm: 48896 37753 141 357 0 48536 0
Current children cumulated CPU time (s) 537.34
Current children cumulated vsize (KiB) 210788

[startup+550.3 s]
/proc/loadavg: 2.00 1.69 0.89 3/181 11405
/proc/meminfo: memFree=26478700/32873648 swapFree=7376/7376
[pid=11384] ppid=11378 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11384/stat : 11384 (npSolver-pbo-It) S 11378 11384 11259 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375944248 9367552 274 33554432000 4194304 5064252 140735691840992 140735691839904 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11384/statm: 2287 274 233 213 0 72 0
[pid=11390] ppid=11384 vsize=6056 CPUtime=0.1 cores=1,3,5,7
/proc/11390/stat : 11390 (npSolver-pbo) S 11384 11384 11259 0 -1 4202496 2382 2282 0 0 4 0 6 0 20 0 1 0 375944250 6201344 1158 33554432000 4194304 6004724 140737410501984 140737410488264 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11390/statm: 1514 1158 152 442 0 1068 0
[pid=11398] ppid=11390 vsize=276972 CPUtime=550.04 cores=1,3,5,7
/proc/11398/stat : 11398 (glucosInc) R 11390 11384 11259 0 -1 4202496 22393 0 0 0 54933 71 0 0 20 0 1 0 375944262 283619328 46113 33554432000 4194304 5654031 140735296582432 140735296580520 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11398/statm: 69243 46113 141 357 0 68883 0
Current children cumulated CPU time (s) 550.14
Current children cumulated vsize (KiB) 292176

[startup+556.7 s]
/proc/loadavg: 2.00 1.70 0.89 3/181 11405
/proc/meminfo: memFree=26430728/32873648 swapFree=7376/7376
[pid=11384] ppid=11378 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11384/stat : 11384 (npSolver-pbo-It) S 11378 11384 11259 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375944248 9367552 274 33554432000 4194304 5064252 140735691840992 140735691839904 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11384/statm: 2287 274 233 213 0 72 0
[pid=11390] ppid=11384 vsize=6056 CPUtime=0.1 cores=1,3,5,7
/proc/11390/stat : 11390 (npSolver-pbo) S 11384 11384 11259 0 -1 4202496 2382 2282 0 0 4 0 6 0 20 0 1 0 375944250 6201344 1158 33554432000 4194304 6004724 140737410501984 140737410488264 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11390/statm: 1514 1158 152 442 0 1068 0
[pid=11398] ppid=11390 vsize=276972 CPUtime=556.44 cores=1,3,5,7
/proc/11398/stat : 11398 (glucosInc) R 11390 11384 11259 0 -1 4202496 22399 0 0 0 55573 71 0 0 20 0 1 0 375944262 283619328 49185 33554432000 4194304 5654031 140735296582432 140735296580520 4232968 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11398/statm: 69243 49185 141 357 0 68883 0
Current children cumulated CPU time (s) 556.54
Current children cumulated vsize (KiB) 292176

[startup+558.3 s]
/proc/loadavg: 2.00 1.70 0.89 3/181 11405
/proc/meminfo: memFree=26424584/32873648 swapFree=7376/7376
[pid=11384] ppid=11378 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11384/stat : 11384 (npSolver-pbo-It) S 11378 11384 11259 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375944248 9367552 274 33554432000 4194304 5064252 140735691840992 140735691839904 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11384/statm: 2287 274 233 213 0 72 0
[pid=11390] ppid=11384 vsize=6056 CPUtime=0.1 cores=1,3,5,7
/proc/11390/stat : 11390 (npSolver-pbo) S 11384 11384 11259 0 -1 4202496 2382 2282 0 0 4 0 6 0 20 0 1 0 375944250 6201344 1158 33554432000 4194304 6004724 140737410501984 140737410488264 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11390/statm: 1514 1158 152 442 0 1068 0
[pid=11398] ppid=11390 vsize=276972 CPUtime=558.03 cores=1,3,5,7
/proc/11398/stat : 11398 (glucosInc) R 11390 11384 11259 0 -1 4202496 22400 0 0 0 55732 71 0 0 20 0 1 0 375944262 283619328 49697 33554432000 4194304 5654031 140735296582432 140735296580520 4232912 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11398/statm: 69243 49697 141 357 0 68883 0
Current children cumulated CPU time (s) 558.13
Current children cumulated vsize (KiB) 292176

[startup+559.1 s]
/proc/loadavg: 2.00 1.70 0.89 3/181 11405
/proc/meminfo: memFree=26418440/32873648 swapFree=7376/7376
[pid=11384] ppid=11378 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11384/stat : 11384 (npSolver-pbo-It) S 11378 11384 11259 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375944248 9367552 274 33554432000 4194304 5064252 140735691840992 140735691839904 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11384/statm: 2287 274 233 213 0 72 0
[pid=11390] ppid=11384 vsize=6056 CPUtime=0.1 cores=1,3,5,7
/proc/11390/stat : 11390 (npSolver-pbo) S 11384 11384 11259 0 -1 4202496 2382 2282 0 0 4 0 6 0 20 0 1 0 375944250 6201344 1158 33554432000 4194304 6004724 140737410501984 140737410488264 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11390/statm: 1514 1158 152 442 0 1068 0
[pid=11398] ppid=11390 vsize=276972 CPUtime=558.83 cores=1,3,5,7
/proc/11398/stat : 11398 (glucosInc) R 11390 11384 11259 0 -1 4202496 22400 0 0 0 55812 71 0 0 20 0 1 0 375944262 283619328 49697 33554432000 4194304 5654031 140735296582432 140735296580520 4232960 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11398/statm: 69243 49697 141 357 0 68883 0
Current children cumulated CPU time (s) 558.93
Current children cumulated vsize (KiB) 292176

[startup+559.907 s]
/proc/loadavg: 2.00 1.70 0.90 3/181 11405
/proc/meminfo: memFree=26410248/32873648 swapFree=7376/7376
[pid=11384] ppid=11378 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11384/stat : 11384 (npSolver-pbo-It) S 11378 11384 11259 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375944248 9367552 274 33554432000 4194304 5064252 140735691840992 140735691839904 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11384/statm: 2287 274 233 213 0 72 0
[pid=11390] ppid=11384 vsize=6056 CPUtime=0.1 cores=1,3,5,7
/proc/11390/stat : 11390 (npSolver-pbo) S 11384 11384 11259 0 -1 4202496 2382 2282 0 0 4 0 6 0 20 0 1 0 375944250 6201344 1158 33554432000 4194304 6004724 140737410501984 140737410488264 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11390/statm: 1514 1158 152 442 0 1068 0
[pid=11398] ppid=11390 vsize=276972 CPUtime=559.64 cores=1,3,5,7
/proc/11398/stat : 11398 (glucosInc) R 11390 11384 11259 0 -1 4202496 22401 0 0 0 55893 71 0 0 20 0 1 0 375944262 283619328 50209 33554432000 4194304 5654031 140735296582432 140735296580520 4232988 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11398/statm: 69243 50209 141 357 0 68883 0
Current children cumulated CPU time (s) 559.74
Current children cumulated vsize (KiB) 292176

[startup+560.1 s]
/proc/loadavg: 2.00 1.70 0.90 3/181 11405
/proc/meminfo: memFree=26410248/32873648 swapFree=7376/7376
[pid=11384] ppid=11378 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11384/stat : 11384 (npSolver-pbo-It) S 11378 11384 11259 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 375944248 9367552 274 33554432000 4194304 5064252 140735691840992 140735691839904 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11384/statm: 2287 274 233 213 0 72 0
[pid=11390] ppid=11384 vsize=6056 CPUtime=0.1 cores=1,3,5,7
/proc/11390/stat : 11390 (npSolver-pbo) S 11384 11384 11259 0 -1 4202496 2382 2282 0 0 4 0 6 0 20 0 1 0 375944250 6201344 1158 33554432000 4194304 6004724 140737410501984 140737410488264 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11390/statm: 1514 1158 152 442 0 1068 0
[pid=11398] ppid=11390 vsize=276972 CPUtime=559.83 cores=1,3,5,7
/proc/11398/stat : 11398 (glucosInc) R 11390 11384 11259 0 -1 4202496 22401 0 0 0 55912 71 0 0 20 0 1 0 375944262 283619328 50209 33554432000 4194304 5654031 140735296582432 140735296580520 4233232 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11398/statm: 69243 50209 141 357 0 68883 0
Current children cumulated CPU time (s) 559.93
Current children cumulated vsize (KiB) 292176

Child status: 0
Real time (s): 560.153
CPU time (s): 560.03
CPU user time (s): 559.286
CPU system time (s): 0.743886
CPU usage (%): 99.9781
Max. virtual memory (cumulated for all children) (KiB): 372316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 559.286
system time used= 0.743886
maximum resident set size= 291128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27971
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55
involuntary context switches= 583

runsolver used 0.943856 second user time and 2.77858 second system time

The end