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-3748260-1339113282/watcher-3748260-1339113282 -o /tmp/evaluation-result-3748260-1339113282/solver-3748260-1339113282 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748260-1339113282.opb 146397918 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 1.99 1.93 3/180 9817
/proc/meminfo: memFree=30766856/32873844 swapFree=7124/7124
[pid=9817] ppid=9815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9817/stat : 9817 (npSolver-pbo-I.) S 9815 9817 8001 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 21295131 9367552 274 33554432000 4194304 5064252 140736972079856 140736972078768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9817/statm: 2287 274 233 213 0 72 0
[startup+0.062301 s]
/proc/loadavg: 2.00 1.99 1.93 3/180 9817
/proc/meminfo: memFree=30766856/32873844 swapFree=7124/7124
[pid=9817] ppid=9815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9817/stat : 9817 (npSolver-pbo-I.) S 9815 9817 8001 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 21295131 9367552 274 33554432000 4194304 5064252 140736972079856 140736972078768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9817/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100269 s]
/proc/loadavg: 2.00 1.99 1.93 3/180 9817
/proc/meminfo: memFree=30766856/32873844 swapFree=7124/7124
[pid=9817] ppid=9815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9817/stat : 9817 (npSolver-pbo-I.) S 9815 9817 8001 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 21295131 9367552 274 33554432000 4194304 5064252 140736972079856 140736972078768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9817/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300247 s]
/proc/loadavg: 2.00 1.99 1.93 3/180 9817
/proc/meminfo: memFree=30766856/32873844 swapFree=7124/7124
[pid=9817] ppid=9815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9817/stat : 9817 (npSolver-pbo-I.) S 9815 9817 8001 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 21295131 9367552 274 33554432000 4194304 5064252 140736972079856 140736972078768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9817/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700169 s]
/proc/loadavg: 2.00 1.99 1.93 3/180 9817
/proc/meminfo: memFree=30766856/32873844 swapFree=7124/7124
[pid=9817] ppid=9815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9817/stat : 9817 (npSolver-pbo-I.) S 9815 9817 8001 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 21295131 9367552 274 33554432000 4194304 5064252 140736972079856 140736972078768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9817/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 2.00 1.99 1.93 3/183 9826
/proc/meminfo: memFree=30740912/32873844 swapFree=7124/7124
[pid=9817] ppid=9815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9817/stat : 9817 (npSolver-pbo-I.) S 9815 9817 8001 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 21295131 9367552 274 33554432000 4194304 5064252 140736972079856 140736972078768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9817/statm: 2287 274 233 213 0 72 0
[pid=9818] ppid=9817 vsize=7872 CPUtime=0.66 cores=1,3,5,7
/proc/9818/stat : 9818 (npSolver-pbo) S 9817 9817 8001 0 -1 4202496 4053 8522 0 0 8 6 50 2 20 0 1 0 21295132 8060928 1490 33554432000 4194304 6004724 140734324454256 140734324439176 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9818/statm: 1968 1490 179 442 0 1522 0
[pid=9826] ppid=9818 vsize=15808 CPUtime=0.81 cores=1,3,5,7
/proc/9826/stat : 9826 (glucosInc) R 9818 9817 8001 0 -1 4202496 4273 0 0 0 81 0 0 0 20 0 1 0 21295199 16187392 3590 33554432000 4194304 5654031 140735067647264 140735067645048 4214927 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9826/statm: 3952 3590 142 357 0 3592 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 32828
[startup+3.1003 s]
/proc/loadavg: 2.00 1.99 1.93 3/183 9826
/proc/meminfo: memFree=30731428/32873844 swapFree=7124/7124
[pid=9817] ppid=9815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9817/stat : 9817 (npSolver-pbo-I.) S 9815 9817 8001 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 21295131 9367552 274 33554432000 4194304 5064252 140736972079856 140736972078768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9817/statm: 2287 274 233 213 0 72 0
[pid=9818] ppid=9817 vsize=7872 CPUtime=2.18 cores=1,3,5,7
/proc/9818/stat : 9818 (npSolver-pbo) S 9817 9817 8001 0 -1 4202496 5588 14477 0 0 11 7 197 3 20 0 1 0 21295132 8060928 1492 33554432000 4194304 6004724 140734324454256 140734324439176 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9818/statm: 1968 1492 180 442 0 1522 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 17020
heavy processes:
[startup+6.30027 s]
/proc/loadavg: 2.00 1.99 1.93 3/183 9830
/proc/meminfo: memFree=30729016/32873844 swapFree=7124/7124
[pid=9817] ppid=9815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9817/stat : 9817 (npSolver-pbo-I.) S 9815 9817 8001 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 21295131 9367552 274 33554432000 4194304 5064252 140736972079856 140736972078768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9817/statm: 2287 274 233 213 0 72 0
[pid=9818] ppid=9817 vsize=7872 CPUtime=3.9 cores=1,3,5,7
/proc/9818/stat : 9818 (npSolver-pbo) S 9817 9817 8001 0 -1 4202496 7051 19831 0 0 13 7 365 5 20 0 1 0 21295132 8060928 1493 33554432000 4194304 6004724 140734324454256 140734324439176 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9818/statm: 1968 1493 180 442 0 1522 0
[pid=9830] ppid=9818 vsize=15828 CPUtime=2.37 cores=1,3,5,7
/proc/9830/stat : 9830 (glucosInc) R 9818 9817 8001 0 -1 4202496 4508 0 0 0 236 1 0 0 20 0 1 0 21295524 16207872 3359 33554432000 4194304 5654031 140734007733136 140734007720952 4232601 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9830/statm: 3957 3359 141 357 0 3597 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 32848
[startup+12.7003 s]
/proc/loadavg: 2.07 2.01 1.93 3/183 9832
/proc/meminfo: memFree=30750688/32873844 swapFree=7124/7124
[pid=9817] ppid=9815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9817/stat : 9817 (npSolver-pbo-I.) S 9815 9817 8001 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 21295131 9367552 274 33554432000 4194304 5064252 140736972079856 140736972078768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9817/statm: 2287 274 233 213 0 72 0
[pid=9818] ppid=9817 vsize=7872 CPUtime=10.98 cores=1,3,5,7
/proc/9818/stat : 9818 (npSolver-pbo) S 9817 9817 8001 0 -1 4202496 8381 26063 0 0 15 8 1069 6 20 0 1 0 21295132 8060928 1494 33554432000 4194304 6004724 140734324454256 140734324439176 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9818/statm: 1968 1494 180 442 0 1522 0
[pid=9832] ppid=9818 vsize=16296 CPUtime=1.68 cores=1,3,5,7
/proc/9832/stat : 9832 (glucosInc) R 9818 9817 8001 0 -1 4202496 4534 0 0 0 168 0 0 0 20 0 1 0 21296232 16687104 3492 33554432000 4194304 5654031 140734076978096 140734076965912 4232968 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9832/statm: 4074 3492 141 357 0 3714 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 33316
[startup+25.5003 s]
/proc/loadavg: 2.06 2.01 1.93 3/183 9832
/proc/meminfo: memFree=30774780/32873844 swapFree=7124/7124
[pid=9817] ppid=9815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9817/stat : 9817 (npSolver-pbo-I.) S 9815 9817 8001 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 21295131 9367552 274 33554432000 4194304 5064252 140736972079856 140736972078768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9817/statm: 2287 274 233 213 0 72 0
[pid=9818] ppid=9817 vsize=7872 CPUtime=10.98 cores=1,3,5,7
/proc/9818/stat : 9818 (npSolver-pbo) S 9817 9817 8001 0 -1 4202496 8381 26063 0 0 15 8 1069 6 20 0 1 0 21295132 8060928 1494 33554432000 4194304 6004724 140734324454256 140734324439176 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9818/statm: 1968 1494 180 442 0 1522 0
[pid=9832] ppid=9818 vsize=23368 CPUtime=14.48 cores=1,3,5,7
/proc/9832/stat : 9832 (glucosInc) R 9818 9817 8001 0 -1 4202496 5971 0 0 0 1448 0 0 0 20 0 1 0 21296232 23928832 5350 33554432000 4194304 5654031 140734076978096 140734076975896 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9832/statm: 5842 5350 141 357 0 5482 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 40388
[startup+51.1004 s]
/proc/loadavg: 2.04 2.00 1.93 3/183 9832
/proc/meminfo: memFree=30725336/32873844 swapFree=7124/7124
[pid=9817] ppid=9815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9817/stat : 9817 (npSolver-pbo-I.) S 9815 9817 8001 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 21295131 9367552 274 33554432000 4194304 5064252 140736972079856 140736972078768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9817/statm: 2287 274 233 213 0 72 0
[pid=9818] ppid=9817 vsize=7872 CPUtime=10.98 cores=1,3,5,7
/proc/9818/stat : 9818 (npSolver-pbo) S 9817 9817 8001 0 -1 4202496 8381 26063 0 0 15 8 1069 6 20 0 1 0 21295132 8060928 1494 33554432000 4194304 6004724 140734324454256 140734324439176 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9818/statm: 1968 1494 180 442 0 1522 0
[pid=9832] ppid=9818 vsize=33084 CPUtime=40.08 cores=1,3,5,7
/proc/9832/stat : 9832 (glucosInc) R 9818 9817 8001 0 -1 4202496 7050 0 0 0 4007 1 0 0 20 0 1 0 21296232 33878016 7521 33554432000 4194304 5654031 140734076978096 140734076965912 4232994 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9832/statm: 8271 7521 141 357 0 7911 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 50104
[startup+102.307 s]
/proc/loadavg: 2.01 2.00 1.93 3/183 9832
/proc/meminfo: memFree=30760744/32873844 swapFree=7124/7124
[pid=9817] ppid=9815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9817/stat : 9817 (npSolver-pbo-I.) S 9815 9817 8001 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 21295131 9367552 274 33554432000 4194304 5064252 140736972079856 140736972078768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9817/statm: 2287 274 233 213 0 72 0
[pid=9818] ppid=9817 vsize=7872 CPUtime=10.98 cores=1,3,5,7
/proc/9818/stat : 9818 (npSolver-pbo) S 9817 9817 8001 0 -1 4202496 8381 26063 0 0 15 8 1069 6 20 0 1 0 21295132 8060928 1494 33554432000 4194304 6004724 140734324454256 140734324439176 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9818/statm: 1968 1494 180 442 0 1522 0
[pid=9832] ppid=9818 vsize=37440 CPUtime=91.28 cores=1,3,5,7
/proc/9832/stat : 9832 (glucosInc) R 9818 9817 8001 0 -1 4202496 7683 0 0 0 9127 1 0 0 20 0 1 0 21296232 38338560 8895 33554432000 4194304 5654031 140734076978096 140734076965912 4232752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9832/statm: 9360 8895 141 357 0 9000 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 54460
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 9832
/proc/meminfo: memFree=30700396/32873844 swapFree=7124/7124
[pid=9817] ppid=9815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9817/stat : 9817 (npSolver-pbo-I.) S 9815 9817 8001 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 21295131 9367552 274 33554432000 4194304 5064252 140736972079856 140736972078768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9817/statm: 2287 274 233 213 0 72 0
[pid=9818] ppid=9817 vsize=7872 CPUtime=10.98 cores=1,3,5,7
/proc/9818/stat : 9818 (npSolver-pbo) S 9817 9817 8001 0 -1 4202496 8381 26063 0 0 15 8 1069 6 20 0 1 0 21295132 8060928 1494 33554432000 4194304 6004724 140734324454256 140734324439176 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9818/statm: 1968 1494 180 442 0 1522 0
[pid=9832] ppid=9818 vsize=40828 CPUtime=151.26 cores=1,3,5,7
/proc/9832/stat : 9832 (glucosInc) R 9818 9817 8001 0 -1 4202496 8194 0 0 0 15124 2 0 0 20 0 1 0 21296232 41807872 9742 33554432000 4194304 5654031 140734076978096 140734076976120 4233204 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9832/statm: 10207 9742 141 357 0 9847 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 57848
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 9833
/proc/meminfo: memFree=30691304/32873844 swapFree=7124/7124
[pid=9817] ppid=9815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9817/stat : 9817 (npSolver-pbo-I.) S 9815 9817 8001 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 21295131 9367552 274 33554432000 4194304 5064252 140736972079856 140736972078768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9817/statm: 2287 274 233 213 0 72 0
[pid=9818] ppid=9817 vsize=7872 CPUtime=10.98 cores=1,3,5,7
/proc/9818/stat : 9818 (npSolver-pbo) S 9817 9817 8001 0 -1 4202496 8381 26063 0 0 15 8 1069 6 20 0 1 0 21295132 8060928 1494 33554432000 4194304 6004724 140734324454256 140734324439176 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9818/statm: 1968 1494 180 442 0 1522 0
[pid=9832] ppid=9818 vsize=53228 CPUtime=211.25 cores=1,3,5,7
/proc/9832/stat : 9832 (glucosInc) R 9818 9817 8001 0 -1 4202496 8556 0 0 0 21123 2 0 0 20 0 1 0 21296232 54505472 12147 33554432000 4194304 5654031 140734076978096 140734076965912 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9832/statm: 13307 12147 141 357 0 12947 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 70248
[startup+282.3 s]
/proc/loadavg: 2.04 2.01 1.94 3/183 9833
/proc/meminfo: memFree=30686432/32873844 swapFree=7124/7124
################
# More data... #
################
/proc/meminfo: memFree=30623224/32873844 swapFree=7124/7124
[pid=9817] ppid=9815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9817/stat : 9817 (npSolver-pbo-I.) S 9815 9817 8001 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 21295131 9367552 274 33554432000 4194304 5064252 140736972079856 140736972078768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9817/statm: 2287 274 233 213 0 72 0
[pid=9818] ppid=9817 vsize=7872 CPUtime=10.98 cores=1,3,5,7
/proc/9818/stat : 9818 (npSolver-pbo) S 9817 9817 8001 0 -1 4202496 8381 26063 0 0 15 8 1069 6 20 0 1 0 21295132 8060928 1494 33554432000 4194304 6004724 140734324454256 140734324439176 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9818/statm: 1968 1494 180 442 0 1522 0
[pid=9832] ppid=9818 vsize=103860 CPUtime=1231.09 cores=1,3,5,7
/proc/9832/stat : 9832 (glucosInc) R 9818 9817 8001 0 -1 4202496 11267 0 0 0 123105 4 0 0 20 0 1 0 21296232 106352640 25500 33554432000 4194304 5654031 140734076978096 140734076965912 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9832/statm: 25965 25500 141 357 0 25605 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 120880
[startup+1302.3 s]
/proc/loadavg: 2.12 2.04 1.96 3/183 9865
/proc/meminfo: memFree=30677016/32873844 swapFree=7124/7124
[pid=9817] ppid=9815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9817/stat : 9817 (npSolver-pbo-I.) S 9815 9817 8001 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 21295131 9367552 274 33554432000 4194304 5064252 140736972079856 140736972078768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9817/statm: 2287 274 233 213 0 72 0
[pid=9818] ppid=9817 vsize=7872 CPUtime=10.98 cores=1,3,5,7
/proc/9818/stat : 9818 (npSolver-pbo) S 9817 9817 8001 0 -1 4202496 8381 26063 0 0 15 8 1069 6 20 0 1 0 21295132 8060928 1494 33554432000 4194304 6004724 140734324454256 140734324439176 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9818/statm: 1968 1494 180 442 0 1522 0
[pid=9832] ppid=9818 vsize=103860 CPUtime=1291.08 cores=1,3,5,7
/proc/9832/stat : 9832 (glucosInc) R 9818 9817 8001 0 -1 4202496 11267 0 0 0 129104 4 0 0 20 0 1 0 21296232 106352640 25500 33554432000 4194304 5654031 140734076978096 140734076965912 4232794 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9832/statm: 25965 25500 141 357 0 25605 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 120880
[startup+1362.3 s]
/proc/loadavg: 2.04 2.03 1.96 3/183 9865
/proc/meminfo: memFree=30590820/32873844 swapFree=7124/7124
[pid=9817] ppid=9815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9817/stat : 9817 (npSolver-pbo-I.) S 9815 9817 8001 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 21295131 9367552 274 33554432000 4194304 5064252 140736972079856 140736972078768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9817/statm: 2287 274 233 213 0 72 0
[pid=9818] ppid=9817 vsize=7872 CPUtime=10.98 cores=1,3,5,7
/proc/9818/stat : 9818 (npSolver-pbo) S 9817 9817 8001 0 -1 4202496 8381 26063 0 0 15 8 1069 6 20 0 1 0 21295132 8060928 1494 33554432000 4194304 6004724 140734324454256 140734324439176 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9818/statm: 1968 1494 180 442 0 1522 0
[pid=9832] ppid=9818 vsize=103860 CPUtime=1351.07 cores=1,3,5,7
/proc/9832/stat : 9832 (glucosInc) R 9818 9817 8001 0 -1 4202496 11420 0 0 0 135102 5 0 0 20 0 1 0 21296232 106352640 25500 33554432000 4194304 5654031 140734076978096 140734076976120 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9832/statm: 25965 25500 141 357 0 25605 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 120880
[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 1.96 3/183 9865
/proc/meminfo: memFree=30624812/32873844 swapFree=7124/7124
[pid=9817] ppid=9815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9817/stat : 9817 (npSolver-pbo-I.) S 9815 9817 8001 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 21295131 9367552 274 33554432000 4194304 5064252 140736972079856 140736972078768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9817/statm: 2287 274 233 213 0 72 0
[pid=9818] ppid=9817 vsize=7872 CPUtime=10.98 cores=1,3,5,7
/proc/9818/stat : 9818 (npSolver-pbo) S 9817 9817 8001 0 -1 4202496 8381 26063 0 0 15 8 1069 6 20 0 1 0 21295132 8060928 1494 33554432000 4194304 6004724 140734324454256 140734324439176 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9818/statm: 1968 1494 180 442 0 1522 0
[pid=9832] ppid=9818 vsize=103860 CPUtime=1411.07 cores=1,3,5,7
/proc/9832/stat : 9832 (glucosInc) R 9818 9817 8001 0 -1 4202496 11573 0 0 0 141101 6 0 0 20 0 1 0 21296232 106352640 25500 33554432000 4194304 5654031 140734076978096 140734076976120 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9832/statm: 25965 25500 141 357 0 25605 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 120880
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/183 9866
/proc/meminfo: memFree=30578580/32873844 swapFree=7124/7124
[pid=9817] ppid=9815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9817/stat : 9817 (npSolver-pbo-I.) S 9815 9817 8001 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 21295131 9367552 274 33554432000 4194304 5064252 140736972079856 140736972078768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9817/statm: 2287 274 233 213 0 72 0
[pid=9818] ppid=9817 vsize=7872 CPUtime=10.98 cores=1,3,5,7
/proc/9818/stat : 9818 (npSolver-pbo) S 9817 9817 8001 0 -1 4202496 8381 26063 0 0 15 8 1069 6 20 0 1 0 21295132 8060928 1494 33554432000 4194304 6004724 140734324454256 140734324439176 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9818/statm: 1968 1494 180 442 0 1522 0
[pid=9832] ppid=9818 vsize=103860 CPUtime=1471.05 cores=1,3,5,7
/proc/9832/stat : 9832 (glucosInc) R 9818 9817 8001 0 -1 4202496 11726 0 0 0 147099 6 0 0 20 0 1 0 21296232 106352640 25500 33554432000 4194304 5654031 140734076978096 140734076976120 4232601 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9832/statm: 25965 25500 141 357 0 25605 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 120880
[startup+1542.3 s]
/proc/loadavg: 2.06 2.03 1.96 3/184 9869
/proc/meminfo: memFree=30603320/32873844 swapFree=7124/7124
[pid=9817] ppid=9815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9817/stat : 9817 (npSolver-pbo-I.) S 9815 9817 8001 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 21295131 9367552 274 33554432000 4194304 5064252 140736972079856 140736972078768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9817/statm: 2287 274 233 213 0 72 0
[pid=9818] ppid=9817 vsize=7872 CPUtime=10.98 cores=1,3,5,7
/proc/9818/stat : 9818 (npSolver-pbo) S 9817 9817 8001 0 -1 4202496 8381 26063 0 0 15 8 1069 6 20 0 1 0 21295132 8060928 1494 33554432000 4194304 6004724 140734324454256 140734324439176 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9818/statm: 1968 1494 180 442 0 1522 0
[pid=9832] ppid=9818 vsize=103860 CPUtime=1531.04 cores=1,3,5,7
/proc/9832/stat : 9832 (glucosInc) R 9818 9817 8001 0 -1 4202496 11880 0 0 0 153097 7 0 0 20 0 1 0 21296232 106352640 25500 33554432000 4194304 5654031 140734076978096 140734076976120 4233232 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9832/statm: 25965 25500 141 357 0 25605 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 120880
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/183 9869
/proc/meminfo: memFree=30613556/32873844 swapFree=7124/7124
[pid=9817] ppid=9815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9817/stat : 9817 (npSolver-pbo-I.) S 9815 9817 8001 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 21295131 9367552 274 33554432000 4194304 5064252 140736972079856 140736972078768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9817/statm: 2287 274 233 213 0 72 0
[pid=9818] ppid=9817 vsize=7872 CPUtime=10.98 cores=1,3,5,7
/proc/9818/stat : 9818 (npSolver-pbo) S 9817 9817 8001 0 -1 4202496 8381 26063 0 0 15 8 1069 6 20 0 1 0 21295132 8060928 1494 33554432000 4194304 6004724 140734324454256 140734324439176 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9818/statm: 1968 1494 180 442 0 1522 0
[pid=9832] ppid=9818 vsize=117580 CPUtime=1591.04 cores=1,3,5,7
/proc/9832/stat : 9832 (glucosInc) R 9818 9817 8001 0 -1 4202496 12683 0 0 0 159096 8 0 0 20 0 1 0 21296232 120401920 28699 33554432000 4194304 5654031 140734076978096 140734076965912 4233008 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9832/statm: 29395 28699 141 357 0 29035 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 134600
[startup+1662.3 s]
/proc/loadavg: 2.07 2.03 1.97 3/183 9918
/proc/meminfo: memFree=30743592/32873844 swapFree=7124/7124
[pid=9817] ppid=9815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9817/stat : 9817 (npSolver-pbo-I.) S 9815 9817 8001 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 21295131 9367552 274 33554432000 4194304 5064252 140736972079856 140736972078768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9817/statm: 2287 274 233 213 0 72 0
[pid=9818] ppid=9817 vsize=7872 CPUtime=10.98 cores=1,3,5,7
/proc/9818/stat : 9818 (npSolver-pbo) S 9817 9817 8001 0 -1 4202496 8381 26063 0 0 15 8 1069 6 20 0 1 0 21295132 8060928 1494 33554432000 4194304 6004724 140734324454256 140734324439176 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9818/statm: 1968 1494 180 442 0 1522 0
[pid=9832] ppid=9818 vsize=117580 CPUtime=1651.03 cores=1,3,5,7
/proc/9832/stat : 9832 (glucosInc) R 9818 9817 8001 0 -1 4202496 13079 0 0 0 165094 9 0 0 20 0 1 0 21296232 120401920 28930 33554432000 4194304 5654031 140734076978096 140734076965912 4208659 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9832/statm: 29395 28930 141 357 0 29035 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 134600
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 1.97 3/183 9918
/proc/meminfo: memFree=30728372/32873844 swapFree=7124/7124
[pid=9817] ppid=9815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9817/stat : 9817 (npSolver-pbo-I.) S 9815 9817 8001 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 21295131 9367552 274 33554432000 4194304 5064252 140736972079856 140736972078768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9817/statm: 2287 274 233 213 0 72 0
[pid=9818] ppid=9817 vsize=7872 CPUtime=10.98 cores=1,3,5,7
/proc/9818/stat : 9818 (npSolver-pbo) S 9817 9817 8001 0 -1 4202496 8381 26063 0 0 15 8 1069 6 20 0 1 0 21295132 8060928 1494 33554432000 4194304 6004724 140734324454256 140734324439176 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9818/statm: 1968 1494 180 442 0 1522 0
[pid=9832] ppid=9818 vsize=117580 CPUtime=1711.01 cores=1,3,5,7
/proc/9832/stat : 9832 (glucosInc) R 9818 9817 8001 0 -1 4202496 13234 0 0 0 171092 9 0 0 20 0 1 0 21296232 120401920 28930 33554432000 4194304 5654031 140734076978096 140734076976120 4233204 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9832/statm: 29395 28930 141 357 0 29035 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 134600
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/183 9919
/proc/meminfo: memFree=30699704/32873844 swapFree=7124/7124
[pid=9817] ppid=9815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9817/stat : 9817 (npSolver-pbo-I.) S 9815 9817 8001 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 21295131 9367552 274 33554432000 4194304 5064252 140736972079856 140736972078768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9817/statm: 2287 274 233 213 0 72 0
[pid=9818] ppid=9817 vsize=7872 CPUtime=10.98 cores=1,3,5,7
/proc/9818/stat : 9818 (npSolver-pbo) S 9817 9817 8001 0 -1 4202496 8381 26063 0 0 15 8 1069 6 20 0 1 0 21295132 8060928 1494 33554432000 4194304 6004724 140734324454256 140734324439176 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9818/statm: 1968 1494 180 442 0 1522 0
[pid=9832] ppid=9818 vsize=117580 CPUtime=1771.01 cores=1,3,5,7
/proc/9832/stat : 9832 (glucosInc) R 9818 9817 8001 0 -1 4202496 13390 0 0 0 177091 10 0 0 20 0 1 0 21296232 120401920 28930 33554432000 4194304 5654031 140734076978096 140734076976120 4232752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9832/statm: 29395 28930 141 357 0 29035 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 134600
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.02 1.97 3/183 9919
/proc/meminfo: memFree=30729552/32873844 swapFree=7124/7124
[pid=9817] ppid=9815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9817/stat : 9817 (npSolver-pbo-I.) S 9815 9817 8001 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 21295131 9367552 274 33554432000 4194304 5064252 140736972079856 140736972078768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9817/statm: 2287 274 233 213 0 72 0
[pid=9818] ppid=9817 vsize=7872 CPUtime=10.98 cores=1,3,5,7
/proc/9818/stat : 9818 (npSolver-pbo) S 9817 9817 8001 0 -1 4202496 8381 26063 0 0 15 8 1069 6 20 0 1 0 21295132 8060928 1494 33554432000 4194304 6004724 140734324454256 140734324439176 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9818/statm: 1968 1494 180 442 0 1522 0
[pid=9832] ppid=9818 vsize=117580 CPUtime=1789.11 cores=1,3,5,7
/proc/9832/stat : 9832 (glucosInc) R 9818 9817 8001 0 -1 4202496 13390 0 0 0 178901 10 0 0 20 0 1 0 21296232 120401920 28930 33554432000 4194304 5654031 140734076978096 140734076976120 4233176 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9832/statm: 29395 28930 141 357 0 29035 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 134600
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.13
CPU user time (s): 1799.87
CPU system time (s): 0.26196
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 183920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.26196
maximum resident set size= 153136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48214
page faults= 0
swaps= 0
block input operations= 0
block output operations= 23376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 253
involuntary context switches= 1959
runsolver used 2.96755 second user time and 8.5177 second system time
The end