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-3698452-1338085359/watcher-3698452-1338085359 -o /tmp/evaluation-result-3698452-1338085359/solver-3698452-1338085359 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698452-1338085359.opb 548066385 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.95 2.41 2.23 3/178 8919
/proc/meminfo: memFree=30725732/32873844 swapFree=7108/7108
[pid=8919] ppid=8917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (npSolver-pbo-It) S 8917 8919 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274664447 9367552 275 33554432000 4194304 5064252 140733448490224 140733448489136 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8919/statm: 2287 275 233 213 0 72 0
[startup+0.083188 s]
/proc/loadavg: 2.95 2.41 2.23 3/178 8919
/proc/meminfo: memFree=30725732/32873844 swapFree=7108/7108
[pid=8919] ppid=8917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (npSolver-pbo-It) S 8917 8919 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274664447 9367552 275 33554432000 4194304 5064252 140733448490224 140733448489136 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8919/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100336 s]
/proc/loadavg: 2.95 2.41 2.23 3/178 8919
/proc/meminfo: memFree=30725732/32873844 swapFree=7108/7108
[pid=8919] ppid=8917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (npSolver-pbo-It) S 8917 8919 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274664447 9367552 275 33554432000 4194304 5064252 140733448490224 140733448489136 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8919/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.95 2.41 2.23 3/178 8919
/proc/meminfo: memFree=30725732/32873844 swapFree=7108/7108
[pid=8919] ppid=8917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (npSolver-pbo-It) S 8917 8919 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274664447 9367552 275 33554432000 4194304 5064252 140733448490224 140733448489136 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8919/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700225 s]
/proc/loadavg: 2.95 2.41 2.23 3/178 8919
/proc/meminfo: memFree=30725732/32873844 swapFree=7108/7108
[pid=8919] ppid=8917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (npSolver-pbo-It) S 8917 8919 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274664447 9367552 275 33554432000 4194304 5064252 140733448490224 140733448489136 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8919/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 2.95 2.41 2.23 3/181 8936
/proc/meminfo: memFree=30718764/32873844 swapFree=7108/7108
[pid=8919] ppid=8917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (npSolver-pbo-It) S 8917 8919 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274664447 9367552 275 33554432000 4194304 5064252 140733448490224 140733448489136 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8919/statm: 2287 275 233 213 0 72 0
[pid=8920] ppid=8919 vsize=2648 CPUtime=0.88 cores=1,3,5,7
/proc/8920/stat : 8920 (npSolver-pbo) S 8919 8919 2929 0 -1 4202496 2615 11540 0 0 9 1 76 2 20 0 1 0 274664447 2711552 352 33554432000 4194304 5992684 140736514660544 140736514646376 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8920/statm: 662 352 179 440 0 218 0
[pid=8936] ppid=8920 vsize=8936 CPUtime=0.58 cores=1,3,5,7
/proc/8936/stat : 8936 (glucosInc) R 8920 8919 2929 0 -1 4202496 1995 0 0 0 58 0 0 0 20 0 1 0 274664538 9150464 1626 33554432000 4194304 5654031 140737222204256 140737222202344 4642124 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8936/statm: 2234 1626 142 357 0 1874 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 20732
[startup+3.1003 s]
/proc/loadavg: 2.95 2.41 2.23 3/181 8938
/proc/meminfo: memFree=30716220/32873844 swapFree=7108/7108
[pid=8919] ppid=8917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (npSolver-pbo-It) S 8917 8919 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274664447 9367552 275 33554432000 4194304 5064252 140733448490224 140733448489136 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8919/statm: 2287 275 233 213 0 72 0
[pid=8920] ppid=8919 vsize=2648 CPUtime=1.66 cores=1,3,5,7
/proc/8920/stat : 8920 (npSolver-pbo) S 8919 8919 2929 0 -1 4202496 3078 14191 0 0 10 1 152 3 20 0 1 0 274664447 2711552 352 33554432000 4194304 5992684 140736514660544 140736514646376 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8920/statm: 662 352 179 440 0 218 0
[pid=8938] ppid=8920 vsize=13508 CPUtime=1.4 cores=1,3,5,7
/proc/8938/stat : 8938 (glucosInc) R 8920 8919 2929 0 -1 4202496 2899 0 0 0 140 0 0 0 20 0 1 0 274664617 13832192 2212 33554432000 4194304 5654031 140736583069792 140736583057608 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8938/statm: 3377 2212 142 357 0 3017 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 25304
[startup+6.30032 s]
/proc/loadavg: 2.88 2.40 2.23 3/181 8942
/proc/meminfo: memFree=30718084/32873844 swapFree=7108/7108
[pid=8919] ppid=8917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (npSolver-pbo-It) S 8917 8919 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274664447 9367552 275 33554432000 4194304 5064252 140733448490224 140733448489136 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8919/statm: 2287 275 233 213 0 72 0
[pid=8920] ppid=8919 vsize=2648 CPUtime=4.38 cores=1,3,5,7
/proc/8920/stat : 8920 (npSolver-pbo) S 8919 8919 2929 0 -1 4202496 4004 21097 0 0 14 2 417 5 20 0 1 0 274664447 2711552 352 33554432000 4194304 5992684 140736514660544 140736514646376 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8920/statm: 662 352 179 440 0 218 0
[pid=8942] ppid=8920 vsize=13512 CPUtime=1.89 cores=1,3,5,7
/proc/8942/stat : 8942 (glucosInc) R 8920 8919 2929 0 -1 4202496 3035 0 0 0 189 0 0 0 20 0 1 0 274664887 13836288 2818 33554432000 4194304 5654031 140735665786912 140735665774728 4233232 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8942/statm: 3378 2818 142 357 0 3018 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 25308
[startup+12.7003 s]
/proc/loadavg: 2.81 2.39 2.23 3/181 8942
/proc/meminfo: memFree=30700780/32873844 swapFree=7108/7108
[pid=8919] ppid=8917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (npSolver-pbo-It) S 8917 8919 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274664447 9367552 275 33554432000 4194304 5064252 140733448490224 140733448489136 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8919/statm: 2287 275 233 213 0 72 0
[pid=8920] ppid=8919 vsize=2648 CPUtime=4.38 cores=1,3,5,7
/proc/8920/stat : 8920 (npSolver-pbo) S 8919 8919 2929 0 -1 4202496 4004 21097 0 0 14 2 417 5 20 0 1 0 274664447 2711552 352 33554432000 4194304 5992684 140736514660544 140736514646376 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8920/statm: 662 352 179 440 0 218 0
[pid=8942] ppid=8920 vsize=24964 CPUtime=8.29 cores=1,3,5,7
/proc/8942/stat : 8942 (glucosInc) R 8920 8919 2929 0 -1 4202496 4802 0 0 0 828 1 0 0 20 0 1 0 274664887 25563136 5711 33554432000 4194304 5654031 140735665786912 140735665774728 4232466 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8942/statm: 6241 5711 142 357 0 5881 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 36760
[startup+25.5004 s]
/proc/loadavg: 2.63 2.37 2.22 3/181 8944
/proc/meminfo: memFree=30716948/32873844 swapFree=7108/7108
[pid=8919] ppid=8917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (npSolver-pbo-It) S 8917 8919 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274664447 9367552 275 33554432000 4194304 5064252 140733448490224 140733448489136 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8919/statm: 2287 275 233 213 0 72 0
[pid=8920] ppid=8919 vsize=2648 CPUtime=16.48 cores=1,3,5,7
/proc/8920/stat : 8920 (npSolver-pbo) S 8919 8919 2929 0 -1 4202496 4467 27357 0 0 15 2 1624 7 20 0 1 0 274664447 2711552 352 33554432000 4194304 5992684 140736514660544 140736514646376 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8920/statm: 662 352 179 440 0 218 0
[pid=8944] ppid=8920 vsize=24960 CPUtime=8.98 cores=1,3,5,7
/proc/8944/stat : 8944 (glucosInc) R 8920 8919 2929 0 -1 4202496 5151 0 0 0 897 1 0 0 20 0 1 0 274666098 25559040 5060 33554432000 4194304 5654031 140733475083616 140733475071432 4976752 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8944/statm: 6240 5060 142 357 0 5880 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 36756
[startup+51.1004 s]
/proc/loadavg: 2.41 2.34 2.21 3/181 8944
/proc/meminfo: memFree=30687628/32873844 swapFree=7108/7108
[pid=8919] ppid=8917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (npSolver-pbo-It) S 8917 8919 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274664447 9367552 275 33554432000 4194304 5064252 140733448490224 140733448489136 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8919/statm: 2287 275 233 213 0 72 0
[pid=8920] ppid=8919 vsize=2648 CPUtime=16.48 cores=1,3,5,7
/proc/8920/stat : 8920 (npSolver-pbo) S 8919 8919 2929 0 -1 4202496 4467 27357 0 0 15 2 1624 7 20 0 1 0 274664447 2711552 352 33554432000 4194304 5992684 140736514660544 140736514646376 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8920/statm: 662 352 179 440 0 218 0
[pid=8944] ppid=8920 vsize=62376 CPUtime=34.57 cores=1,3,5,7
/proc/8944/stat : 8944 (glucosInc) R 8920 8919 2929 0 -1 4202496 7759 0 0 0 3455 2 0 0 20 0 1 0 274666098 63873024 11715 33554432000 4194304 5654031 140733475083616 140733475071432 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8944/statm: 15594 11715 142 357 0 15234 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 74172
[startup+102.307 s]
/proc/loadavg: 2.18 2.29 2.20 3/181 8944
/proc/meminfo: memFree=30660512/32873844 swapFree=7108/7108
[pid=8919] ppid=8917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (npSolver-pbo-It) S 8917 8919 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274664447 9367552 275 33554432000 4194304 5064252 140733448490224 140733448489136 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8919/statm: 2287 275 233 213 0 72 0
[pid=8920] ppid=8919 vsize=2648 CPUtime=16.48 cores=1,3,5,7
/proc/8920/stat : 8920 (npSolver-pbo) S 8919 8919 2929 0 -1 4202496 4467 27357 0 0 15 2 1624 7 20 0 1 0 274664447 2711552 352 33554432000 4194304 5992684 140736514660544 140736514646376 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8920/statm: 662 352 179 440 0 218 0
[pid=8944] ppid=8920 vsize=69928 CPUtime=85.77 cores=1,3,5,7
/proc/8944/stat : 8944 (glucosInc) R 8920 8919 2929 0 -1 4202496 10473 0 0 0 8572 5 0 0 20 0 1 0 274666098 71606272 16951 33554432000 4194304 5654031 140733475083616 140733475071432 4232994 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8944/statm: 17482 16951 142 357 0 17122 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 81724
[startup+162.3 s]
/proc/loadavg: 2.06 2.23 2.18 3/181 8945
/proc/meminfo: memFree=30658232/32873844 swapFree=7108/7108
[pid=8919] ppid=8917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (npSolver-pbo-It) S 8917 8919 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274664447 9367552 275 33554432000 4194304 5064252 140733448490224 140733448489136 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8919/statm: 2287 275 233 213 0 72 0
[pid=8920] ppid=8919 vsize=2648 CPUtime=16.48 cores=1,3,5,7
/proc/8920/stat : 8920 (npSolver-pbo) S 8919 8919 2929 0 -1 4202496 4467 27357 0 0 15 2 1624 7 20 0 1 0 274664447 2711552 352 33554432000 4194304 5992684 140736514660544 140736514646376 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8920/statm: 662 352 179 440 0 218 0
[pid=8944] ppid=8920 vsize=97136 CPUtime=145.75 cores=1,3,5,7
/proc/8944/stat : 8944 (glucosInc) R 8920 8919 2929 0 -1 4202496 11258 0 0 0 14568 7 0 0 20 0 1 0 274666098 99467264 19395 33554432000 4194304 5654031 140733475083616 140733475071432 4232830 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8944/statm: 24284 19395 142 357 0 23924 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 108932
[startup+222.3 s]
/proc/loadavg: 2.02 2.19 2.17 3/181 8945
/proc/meminfo: memFree=30615596/32873844 swapFree=7108/7108
[pid=8919] ppid=8917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (npSolver-pbo-It) S 8917 8919 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274664447 9367552 275 33554432000 4194304 5064252 140733448490224 140733448489136 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8919/statm: 2287 275 233 213 0 72 0
[pid=8920] ppid=8919 vsize=2648 CPUtime=16.48 cores=1,3,5,7
/proc/8920/stat : 8920 (npSolver-pbo) S 8919 8919 2929 0 -1 4202496 4467 27357 0 0 15 2 1624 7 20 0 1 0 274664447 2711552 352 33554432000 4194304 5992684 140736514660544 140736514646376 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8920/statm: 662 352 179 440 0 218 0
[pid=8944] ppid=8920 vsize=146456 CPUtime=205.74 cores=1,3,5,7
/proc/8944/stat : 8944 (glucosInc) R 8920 8919 2929 0 -1 4202496 11896 0 0 0 20564 10 0 0 20 0 1 0 274666098 149970944 27698 33554432000 4194304 5654031 140733475083616 140733475071432 4232984 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8944/statm: 36614 27698 142 357 0 36254 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 158252
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31319228/32873844 swapFree=7108/7108
[pid=8919] ppid=8917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (npSolver-pbo-It) S 8917 8919 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274664447 9367552 275 33554432000 4194304 5064252 140733448490224 140733448489136 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8919/statm: 2287 275 233 213 0 72 0
[pid=8920] ppid=8919 vsize=2648 CPUtime=1043.43 cores=1,3,5,7
/proc/8920/stat : 8920 (npSolver-pbo) S 8919 8919 2929 0 -1 4202496 5856 68586 0 0 21 2 104264 56 20 0 1 0 274664447 2711552 352 33554432000 4194304 5992684 140736514660544 140736514646376 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8920/statm: 662 352 179 440 0 218 0
[pid=8984] ppid=8920 vsize=101264 CPUtime=198.6 cores=1,3,5,7
/proc/8984/stat : 8984 (glucosInc) R 8920 8919 2929 0 -1 4202496 13097 0 0 0 19852 8 0 0 20 0 1 0 274768811 103694336 20370 33554432000 4194304 5654031 140733641121024 140733641119048 4233144 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8984/statm: 25316 20370 142 357 0 24956 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 113060
[startup+1302.3 s]
/proc/loadavg: 1.04 1.39 1.77 2/173 8985
/proc/meminfo: memFree=31318916/32873844 swapFree=7108/7108
[pid=8919] ppid=8917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (npSolver-pbo-It) S 8917 8919 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274664447 9367552 275 33554432000 4194304 5064252 140733448490224 140733448489136 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8919/statm: 2287 275 233 213 0 72 0
[pid=8920] ppid=8919 vsize=2648 CPUtime=1043.43 cores=1,3,5,7
/proc/8920/stat : 8920 (npSolver-pbo) S 8919 8919 2929 0 -1 4202496 5856 68586 0 0 21 2 104264 56 20 0 1 0 274664447 2711552 352 33554432000 4194304 5992684 140736514660544 140736514646376 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8920/statm: 662 352 179 440 0 218 0
[pid=8984] ppid=8920 vsize=101264 CPUtime=258.61 cores=1,3,5,7
/proc/8984/stat : 8984 (glucosInc) R 8920 8919 2929 0 -1 4202496 13467 0 0 0 25850 11 0 0 20 0 1 0 274768811 103694336 20370 33554432000 4194304 5654031 140733641121024 140733641108840 4232916 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8984/statm: 25316 20370 142 357 0 24956 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 113060
[startup+1362.3 s]
/proc/loadavg: 1.01 1.32 1.72 2/172 8985
/proc/meminfo: memFree=31319792/32873844 swapFree=7108/7108
[pid=8919] ppid=8917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (npSolver-pbo-It) S 8917 8919 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274664447 9367552 275 33554432000 4194304 5064252 140733448490224 140733448489136 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8919/statm: 2287 275 233 213 0 72 0
[pid=8920] ppid=8919 vsize=2648 CPUtime=1043.43 cores=1,3,5,7
/proc/8920/stat : 8920 (npSolver-pbo) S 8919 8919 2929 0 -1 4202496 5856 68586 0 0 21 2 104264 56 20 0 1 0 274664447 2711552 352 33554432000 4194304 5992684 140736514660544 140736514646376 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8920/statm: 662 352 179 440 0 218 0
[pid=8984] ppid=8920 vsize=101264 CPUtime=318.59 cores=1,3,5,7
/proc/8984/stat : 8984 (glucosInc) R 8920 8919 2929 0 -1 4202496 13842 0 0 0 31846 13 0 0 20 0 1 0 274768811 103694336 20370 33554432000 4194304 5654031 140733641121024 140733641108840 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8984/statm: 25316 20370 142 357 0 24956 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 113060
[startup+1422.31 s]
/proc/loadavg: 1.00 1.26 1.67 2/173 8987
/proc/meminfo: memFree=31319288/32873844 swapFree=7108/7108
[pid=8919] ppid=8917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (npSolver-pbo-It) S 8917 8919 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274664447 9367552 275 33554432000 4194304 5064252 140733448490224 140733448489136 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8919/statm: 2287 275 233 213 0 72 0
[pid=8920] ppid=8919 vsize=2648 CPUtime=1043.43 cores=1,3,5,7
/proc/8920/stat : 8920 (npSolver-pbo) S 8919 8919 2929 0 -1 4202496 5856 68586 0 0 21 2 104264 56 20 0 1 0 274664447 2711552 352 33554432000 4194304 5992684 140736514660544 140736514646376 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8920/statm: 662 352 179 440 0 218 0
[pid=8984] ppid=8920 vsize=101264 CPUtime=378.58 cores=1,3,5,7
/proc/8984/stat : 8984 (glucosInc) R 8920 8919 2929 0 -1 4202496 14091 0 0 0 37844 14 0 0 20 0 1 0 274768811 103694336 20370 33554432000 4194304 5654031 140733641121024 140733641108840 4208595 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8984/statm: 25316 20370 142 357 0 24956 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 113060
[startup+1482.3 s]
/proc/loadavg: 1.00 1.21 1.63 2/173 8987
/proc/meminfo: memFree=31276404/32873844 swapFree=7108/7108
[pid=8919] ppid=8917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (npSolver-pbo-It) S 8917 8919 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274664447 9367552 275 33554432000 4194304 5064252 140733448490224 140733448489136 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8919/statm: 2287 275 233 213 0 72 0
[pid=8920] ppid=8919 vsize=2648 CPUtime=1043.43 cores=1,3,5,7
/proc/8920/stat : 8920 (npSolver-pbo) S 8919 8919 2929 0 -1 4202496 5856 68586 0 0 21 2 104264 56 20 0 1 0 274664447 2711552 352 33554432000 4194304 5992684 140736514660544 140736514646376 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8920/statm: 662 352 179 440 0 218 0
[pid=8984] ppid=8920 vsize=150584 CPUtime=438.58 cores=1,3,5,7
/proc/8984/stat : 8984 (glucosInc) R 8920 8919 2929 0 -1 4202496 14468 0 0 0 43841 17 0 0 20 0 1 0 274768811 154198016 31227 33554432000 4194304 5654031 140733641121024 140733641108840 4232784 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8984/statm: 37646 31227 142 357 0 37286 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 162380
[startup+1542.3 s]
/proc/loadavg: 1.00 1.17 1.59 2/173 8987
/proc/meminfo: memFree=31319536/32873844 swapFree=7108/7108
[pid=8919] ppid=8917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (npSolver-pbo-It) S 8917 8919 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274664447 9367552 275 33554432000 4194304 5064252 140733448490224 140733448489136 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8919/statm: 2287 275 233 213 0 72 0
[pid=8920] ppid=8919 vsize=2648 CPUtime=1043.43 cores=1,3,5,7
/proc/8920/stat : 8920 (npSolver-pbo) S 8919 8919 2929 0 -1 4202496 5856 68586 0 0 21 2 104264 56 20 0 1 0 274664447 2711552 352 33554432000 4194304 5992684 140736514660544 140736514646376 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8920/statm: 662 352 179 440 0 218 0
[pid=8984] ppid=8920 vsize=101264 CPUtime=498.57 cores=1,3,5,7
/proc/8984/stat : 8984 (glucosInc) R 8920 8919 2929 0 -1 4202496 15071 0 0 0 49838 19 0 0 20 0 1 0 274768811 103694336 20370 33554432000 4194304 5654031 140733641121024 140733641108840 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8984/statm: 25316 20370 142 357 0 24956 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 113060
[startup+1602.3 s]
/proc/loadavg: 1.00 1.13 1.55 2/173 8987
/proc/meminfo: memFree=31319568/32873844 swapFree=7108/7108
[pid=8919] ppid=8917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (npSolver-pbo-It) S 8917 8919 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274664447 9367552 275 33554432000 4194304 5064252 140733448490224 140733448489136 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8919/statm: 2287 275 233 213 0 72 0
[pid=8920] ppid=8919 vsize=2648 CPUtime=1043.43 cores=1,3,5,7
/proc/8920/stat : 8920 (npSolver-pbo) S 8919 8919 2929 0 -1 4202496 5856 68586 0 0 21 2 104264 56 20 0 1 0 274664447 2711552 352 33554432000 4194304 5992684 140736514660544 140736514646376 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8920/statm: 662 352 179 440 0 218 0
[pid=8984] ppid=8920 vsize=101264 CPUtime=558.56 cores=1,3,5,7
/proc/8984/stat : 8984 (glucosInc) R 8920 8919 2929 0 -1 4202496 16500 0 0 0 55833 23 0 0 20 0 1 0 274768811 103694336 20370 33554432000 4194304 5654031 140733641121024 140733641108840 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8984/statm: 25316 20370 142 357 0 24956 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 113060
[startup+1662.3 s]
/proc/loadavg: 1.00 1.11 1.51 2/174 8990
/proc/meminfo: memFree=31318956/32873844 swapFree=7108/7108
[pid=8919] ppid=8917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (npSolver-pbo-It) S 8917 8919 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274664447 9367552 275 33554432000 4194304 5064252 140733448490224 140733448489136 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8919/statm: 2287 275 233 213 0 72 0
[pid=8920] ppid=8919 vsize=2648 CPUtime=1043.43 cores=1,3,5,7
/proc/8920/stat : 8920 (npSolver-pbo) S 8919 8919 2929 0 -1 4202496 5856 68586 0 0 21 2 104264 56 20 0 1 0 274664447 2711552 352 33554432000 4194304 5992684 140736514660544 140736514646376 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8920/statm: 662 352 179 440 0 218 0
[pid=8984] ppid=8920 vsize=101264 CPUtime=618.55 cores=1,3,5,7
/proc/8984/stat : 8984 (glucosInc) R 8920 8919 2929 0 -1 4202496 17346 0 0 0 61829 26 0 0 20 0 1 0 274768811 103694336 20370 33554432000 4194304 5654031 140733641121024 140733641108840 4215124 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8984/statm: 25316 20370 142 357 0 24956 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 113060
[startup+1722.3 s]
/proc/loadavg: 1.00 1.08 1.47 2/173 8991
/proc/meminfo: memFree=31257232/32873844 swapFree=7108/7108
[pid=8919] ppid=8917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (npSolver-pbo-It) S 8917 8919 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274664447 9367552 275 33554432000 4194304 5064252 140733448490224 140733448489136 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8919/statm: 2287 275 233 213 0 72 0
[pid=8920] ppid=8919 vsize=2648 CPUtime=1043.43 cores=1,3,5,7
/proc/8920/stat : 8920 (npSolver-pbo) S 8919 8919 2929 0 -1 4202496 5856 68586 0 0 21 2 104264 56 20 0 1 0 274664447 2711552 352 33554432000 4194304 5992684 140736514660544 140736514646376 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8920/statm: 662 352 179 440 0 218 0
[pid=8984] ppid=8920 vsize=181404 CPUtime=678.53 cores=1,3,5,7
/proc/8984/stat : 8984 (glucosInc) R 8920 8919 2929 0 -1 4202496 18785 0 0 0 67824 29 0 0 20 0 1 0 274768811 185757696 35902 33554432000 4194304 5654031 140733641121024 140733641108840 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8984/statm: 45351 35902 142 357 0 44991 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 193200
[startup+1782.3 s]
/proc/loadavg: 1.00 1.07 1.44 2/173 8991
/proc/meminfo: memFree=31271660/32873844 swapFree=7108/7108
[pid=8919] ppid=8917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (npSolver-pbo-It) S 8917 8919 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274664447 9367552 275 33554432000 4194304 5064252 140733448490224 140733448489136 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8919/statm: 2287 275 233 213 0 72 0
[pid=8920] ppid=8919 vsize=2648 CPUtime=1043.43 cores=1,3,5,7
/proc/8920/stat : 8920 (npSolver-pbo) S 8919 8919 2929 0 -1 4202496 5856 68586 0 0 21 2 104264 56 20 0 1 0 274664447 2711552 352 33554432000 4194304 5992684 140736514660544 140736514646376 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8920/statm: 662 352 179 440 0 218 0
[pid=8984] ppid=8920 vsize=150584 CPUtime=738.52 cores=1,3,5,7
/proc/8984/stat : 8984 (glucosInc) R 8920 8919 2929 0 -1 4202496 19650 0 0 0 73819 33 0 0 20 0 1 0 274768811 154198016 32263 33554432000 4194304 5654031 140733641121024 140733641118952 4232794 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8984/statm: 37646 32263 142 357 0 37286 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 162380
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.00 1.06 1.43 2/173 8991
/proc/meminfo: memFree=31319028/32873844 swapFree=7108/7108
[pid=8919] ppid=8917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (npSolver-pbo-It) S 8917 8919 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274664447 9367552 275 33554432000 4194304 5064252 140733448490224 140733448489136 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8919/statm: 2287 275 233 213 0 72 0
[pid=8920] ppid=8919 vsize=2648 CPUtime=1043.43 cores=1,3,5,7
/proc/8920/stat : 8920 (npSolver-pbo) S 8919 8919 2929 0 -1 4202496 5856 68586 0 0 21 2 104264 56 20 0 1 0 274664447 2711552 352 33554432000 4194304 5992684 140736514660544 140736514646376 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8920/statm: 662 352 179 440 0 218 0
[pid=8984] ppid=8920 vsize=101264 CPUtime=756.63 cores=1,3,5,7
/proc/8984/stat : 8984 (glucosInc) R 8920 8919 2929 0 -1 4202496 20226 0 0 0 75629 34 0 0 20 0 1 0 274768811 103694336 20370 33554432000 4194304 5654031 140733641121024 140733641108840 4232755 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8984/statm: 25316 20370 142 357 0 24956 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 113060
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.09
CPU user time (s): 1799.15
CPU system time (s): 0.943856
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 193200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.15
system time used= 0.943856
maximum resident set size= 145656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95050
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 454
involuntary context switches= 2685
runsolver used 3.38149 second user time and 8.87065 second system time
The end