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-3749228-1339170171/watcher-3749228-1339170171 -o /tmp/evaluation-result-3749228-1339170171/solver-3749228-1339170171 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3749228-1339170171.opb 192330736 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.06 3/172 8701
/proc/meminfo: memFree=30793780/32873648 swapFree=7376/7376
[pid=8701] ppid=8699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8701/stat : 8701 (npSolver-pbo-I.) S 8699 8701 8666 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383144428 9367552 274 33554432000 4194304 5064252 140733386095488 140733386094400 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8701/statm: 2287 274 233 213 0 72 0
[startup+0.080752 s]
/proc/loadavg: 2.00 2.00 2.06 3/172 8701
/proc/meminfo: memFree=30793780/32873648 swapFree=7376/7376
[pid=8701] ppid=8699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8701/stat : 8701 (npSolver-pbo-I.) S 8699 8701 8666 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383144428 9367552 274 33554432000 4194304 5064252 140733386095488 140733386094400 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8701/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100292 s]
/proc/loadavg: 2.00 2.00 2.06 3/172 8701
/proc/meminfo: memFree=30793780/32873648 swapFree=7376/7376
[pid=8701] ppid=8699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8701/stat : 8701 (npSolver-pbo-I.) S 8699 8701 8666 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383144428 9367552 274 33554432000 4194304 5064252 140733386095488 140733386094400 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8701/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300265 s]
/proc/loadavg: 2.00 2.00 2.06 3/172 8701
/proc/meminfo: memFree=30793780/32873648 swapFree=7376/7376
[pid=8701] ppid=8699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8701/stat : 8701 (npSolver-pbo-I.) S 8699 8701 8666 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383144428 9367552 274 33554432000 4194304 5064252 140733386095488 140733386094400 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8701/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700264 s]
/proc/loadavg: 2.00 2.00 2.06 3/172 8701
/proc/meminfo: memFree=30793780/32873648 swapFree=7376/7376
[pid=8701] ppid=8699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8701/stat : 8701 (npSolver-pbo-I.) S 8699 8701 8666 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383144428 9367552 274 33554432000 4194304 5064252 140733386095488 140733386094400 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8701/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: 2.00 2.00 2.06 3/181 8715
/proc/meminfo: memFree=30558252/32873648 swapFree=7376/7376
[pid=8701] ppid=8699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8701/stat : 8701 (npSolver-pbo-I.) S 8699 8701 8666 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383144428 9367552 274 33554432000 4194304 5064252 140733386095488 140733386094400 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8701/statm: 2287 274 233 213 0 72 0
[pid=8702] ppid=8701 vsize=240128 CPUtime=1.49 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-pbo) R 8701 8701 8666 0 -1 4202496 21927 0 0 0 143 6 0 0 20 0 1 0 383144428 245891072 45003 33554432000 4194304 6004724 140734277965520 140734277960120 4581424 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8702/statm: 60032 45003 153 442 0 59586 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 249276
[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 2.06 3/183 8717
/proc/meminfo: memFree=30341164/32873648 swapFree=7376/7376
[pid=8701] ppid=8699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8701/stat : 8701 (npSolver-pbo-I.) S 8699 8701 8666 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383144428 9367552 274 33554432000 4194304 5064252 140733386095488 140733386094400 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8701/statm: 2287 274 233 213 0 72 0
[pid=8702] ppid=8701 vsize=167796 CPUtime=1.86 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-pbo) S 8701 8701 8666 0 -1 4202496 22240 0 0 0 164 22 0 0 20 0 1 0 383144428 171823104 30461 33554432000 4194304 6004724 140734277965520 140734277959984 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/8702/statm: 41949 30461 162 442 0 41503 0
[pid=8716] ppid=8702 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8716/stat : 8716 (cp2_pre.sh) S 8702 8701 8666 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 383144618 9367552 277 33554432000 4194304 5064252 140737227699616 140737227698320 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8716/statm: 2287 277 234 213 0 72 0
[pid=8717] ppid=8716 vsize=292168 CPUtime=1.19 cores=0,2,4,6
/proc/8717/stat : 8717 (coprocessor) R 8716 8701 8666 0 -1 4202496 24015 0 0 0 111 8 0 0 20 0 1 0 383144618 299180032 64729 33554432000 4194304 6586260 140735550171072 140735550167832 4496653 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/8717/statm: 73042 64729 164 584 0 72454 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 478260
[startup+6.30037 s]
/proc/loadavg: 2.00 2.00 2.06 3/182 8719
/proc/meminfo: memFree=30063232/32873648 swapFree=7376/7376
[pid=8701] ppid=8699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8701/stat : 8701 (npSolver-pbo-I.) S 8699 8701 8666 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383144428 9367552 274 33554432000 4194304 5064252 140733386095488 140733386094400 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8701/statm: 2287 274 233 213 0 72 0
[pid=8702] ppid=8701 vsize=167796 CPUtime=1.86 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-pbo) S 8701 8701 8666 0 -1 4202496 22240 0 0 0 164 22 0 0 20 0 1 0 383144428 171823104 30461 33554432000 4194304 6004724 140734277965520 140734277959984 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/8702/statm: 41949 30461 162 442 0 41503 0
[pid=8716] ppid=8702 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8716/stat : 8716 (cp2_pre.sh) S 8702 8701 8666 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 383144618 9367552 277 33554432000 4194304 5064252 140737227699616 140737227698320 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8716/statm: 2287 277 234 213 0 72 0
[pid=8717] ppid=8716 vsize=405660 CPUtime=4.39 cores=0,2,4,6
/proc/8717/stat : 8717 (coprocessor) R 8716 8701 8666 0 -1 4202496 51203 0 0 0 424 15 0 0 20 0 1 0 383144618 415395840 99071 33554432000 4194304 6586260 140735550171072 140735550167000 4759913 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/8717/statm: 101415 99071 182 584 0 100827 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 591752
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.06 3/181 8762
/proc/meminfo: memFree=30093668/32873648 swapFree=7376/7376
[pid=8701] ppid=8699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8701/stat : 8701 (npSolver-pbo-I.) S 8699 8701 8666 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383144428 9367552 274 33554432000 4194304 5064252 140733386095488 140733386094400 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8701/statm: 2287 274 233 213 0 72 0
[pid=8702] ppid=8701 vsize=167796 CPUtime=8.6 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-pbo) S 8701 8701 8666 0 -1 4202496 22257 59490 0 0 164 23 637 36 20 0 1 0 383144428 171823104 30465 33554432000 4194304 6004724 140734277965520 140734277951800 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/8702/statm: 41949 30465 166 442 0 41503 0
[pid=8752] ppid=8702 vsize=171580 CPUtime=4.04 cores=0,2,4,6
/proc/8752/stat : 8752 (glucosInc) R 8702 8701 8666 0 -1 4202496 30961 0 0 0 398 6 0 0 20 0 1 0 383145293 175697920 38458 33554432000 4194304 5654031 140734727681184 140734727678872 4215033 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8752/statm: 42895 38458 140 357 0 42535 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 348524
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.06 3/181 8762
/proc/meminfo: memFree=28718772/32873648 swapFree=7376/7376
[pid=8701] ppid=8699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8701/stat : 8701 (npSolver-pbo-I.) S 8699 8701 8666 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383144428 9367552 274 33554432000 4194304 5064252 140733386095488 140733386094400 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8701/statm: 2287 274 233 213 0 72 0
[pid=8702] ppid=8701 vsize=167796 CPUtime=8.6 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-pbo) S 8701 8701 8666 0 -1 4202496 22257 59490 0 0 164 23 637 36 20 0 1 0 383144428 171823104 30465 33554432000 4194304 6004724 140734277965520 140734277951800 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/8702/statm: 41949 30465 166 442 0 41503 0
[pid=8752] ppid=8702 vsize=171944 CPUtime=16.83 cores=0,2,4,6
/proc/8752/stat : 8752 (glucosInc) R 8702 8701 8666 0 -1 4202496 31018 0 0 0 1677 6 0 0 20 0 1 0 383145293 176070656 38515 33554432000 4194304 5654031 140734727681184 140734727678872 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8752/statm: 42986 38515 140 357 0 42626 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 348888
[startup+51.1069 s]
/proc/loadavg: 2.22 2.05 2.07 3/183 8764
/proc/meminfo: memFree=24885216/32873648 swapFree=7376/7376
[pid=8701] ppid=8699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8701/stat : 8701 (npSolver-pbo-I.) S 8699 8701 8666 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383144428 9367552 274 33554432000 4194304 5064252 140733386095488 140733386094400 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8701/statm: 2287 274 233 213 0 72 0
[pid=8702] ppid=8701 vsize=167796 CPUtime=8.6 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-pbo) S 8701 8701 8666 0 -1 4202496 22257 59490 0 0 164 23 637 36 20 0 1 0 383144428 171823104 30465 33554432000 4194304 6004724 140734277965520 140734277951800 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/8702/statm: 41949 30465 166 442 0 41503 0
[pid=8752] ppid=8702 vsize=172184 CPUtime=42.44 cores=0,2,4,6
/proc/8752/stat : 8752 (glucosInc) R 8702 8701 8666 0 -1 4202496 31106 0 0 0 4238 6 0 0 20 0 1 0 383145293 176316416 38603 33554432000 4194304 5654031 140734727681184 140734727678792 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8752/statm: 43046 38603 140 357 0 42686 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 349128
[startup+102.3 s]
/proc/loadavg: 2.67 2.19 2.12 3/181 8766
/proc/meminfo: memFree=27057020/32873648 swapFree=7376/7376
[pid=8701] ppid=8699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8701/stat : 8701 (npSolver-pbo-I.) S 8699 8701 8666 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383144428 9367552 274 33554432000 4194304 5064252 140733386095488 140733386094400 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8701/statm: 2287 274 233 213 0 72 0
[pid=8702] ppid=8701 vsize=167796 CPUtime=8.6 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-pbo) S 8701 8701 8666 0 -1 4202496 22257 59490 0 0 164 23 637 36 20 0 1 0 383144428 171823104 30465 33554432000 4194304 6004724 140734277965520 140734277951800 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/8702/statm: 41949 30465 166 442 0 41503 0
[pid=8752] ppid=8702 vsize=173332 CPUtime=93.62 cores=0,2,4,6
/proc/8752/stat : 8752 (glucosInc) R 8702 8701 8666 0 -1 4202496 31367 0 0 0 9356 6 0 0 20 0 1 0 383145293 177491968 38864 33554432000 4194304 5654031 140734727681184 140734727679080 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8752/statm: 43333 38864 140 357 0 42973 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 350276
[startup+162.3 s]
/proc/loadavg: 2.25 2.17 2.11 3/181 8767
/proc/meminfo: memFree=24270460/32873648 swapFree=7376/7376
[pid=8701] ppid=8699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8701/stat : 8701 (npSolver-pbo-I.) S 8699 8701 8666 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383144428 9367552 274 33554432000 4194304 5064252 140733386095488 140733386094400 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8701/statm: 2287 274 233 213 0 72 0
[pid=8702] ppid=8701 vsize=167796 CPUtime=8.6 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-pbo) S 8701 8701 8666 0 -1 4202496 22257 59490 0 0 164 23 637 36 20 0 1 0 383144428 171823104 30465 33554432000 4194304 6004724 140734277965520 140734277951800 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/8702/statm: 41949 30465 166 442 0 41503 0
[pid=8752] ppid=8702 vsize=176120 CPUtime=153.6 cores=0,2,4,6
/proc/8752/stat : 8752 (glucosInc) R 8702 8701 8666 0 -1 4202496 31849 0 0 0 15354 6 0 0 20 0 1 0 383145293 180346880 39351 33554432000 4194304 5654031 140734727681184 140734727678952 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8752/statm: 44030 39351 140 357 0 43670 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 353064
[startup+222.3 s]
/proc/loadavg: 2.10 2.14 2.10 3/181 8767
/proc/meminfo: memFree=24265720/32873648 swapFree=7376/7376
[pid=8701] ppid=8699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8701/stat : 8701 (npSolver-pbo-I.) S 8699 8701 8666 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383144428 9367552 274 33554432000 4194304 5064252 140733386095488 140733386094400 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8701/statm: 2287 274 233 213 0 72 0
[pid=8702] ppid=8701 vsize=167796 CPUtime=8.6 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-pbo) S 8701 8701 8666 0 -1 4202496 22257 59490 0 0 164 23 637 36 20 0 1 0 383144428 171823104 30465 33554432000 4194304 6004724 140734277965520 140734277951800 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/8702/statm: 41949 30465 166 442 0 41503 0
[pid=8752] ppid=8702 vsize=178672 CPUtime=213.59 cores=0,2,4,6
/proc/8752/stat : 8752 (glucosInc) R 8702 8701 8666 0 -1 4202496 32154 0 0 0 21353 6 0 0 20 0 1 0 383145293 182960128 40356 33554432000 4194304 5654031 140734727681184 140734727669000 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8752/statm: 44668 40356 140 357 0 44308 0
Current children cumulated CPU time (s) 222.19
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/181 8801
/proc/meminfo: memFree=24203300/32873648 swapFree=7376/7376
[pid=8701] ppid=8699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8701/stat : 8701 (npSolver-pbo-I.) S 8699 8701 8666 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383144428 9367552 274 33554432000 4194304 5064252 140733386095488 140733386094400 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8701/statm: 2287 274 233 213 0 72 0
[pid=8702] ppid=8701 vsize=167796 CPUtime=8.6 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-pbo) S 8701 8701 8666 0 -1 4202496 22257 59490 0 0 164 23 637 36 20 0 1 0 383144428 171823104 30465 33554432000 4194304 6004724 140734277965520 140734277951800 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/8702/statm: 41949 30465 166 442 0 41503 0
[pid=8752] ppid=8702 vsize=204372 CPUtime=1353.43 cores=0,2,4,6
/proc/8752/stat : 8752 (glucosInc) R 8702 8701 8666 0 -1 4202496 35968 0 0 0 135333 10 0 0 20 0 1 0 383145293 209276928 45661 33554432000 4194304 5654031 140734727681184 140734727669000 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8752/statm: 51093 45661 142 357 0 50733 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 381316
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8801
/proc/meminfo: memFree=24201004/32873648 swapFree=7376/7376
[pid=8701] ppid=8699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8701/stat : 8701 (npSolver-pbo-I.) S 8699 8701 8666 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383144428 9367552 274 33554432000 4194304 5064252 140733386095488 140733386094400 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8701/statm: 2287 274 233 213 0 72 0
[pid=8702] ppid=8701 vsize=167796 CPUtime=8.6 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-pbo) S 8701 8701 8666 0 -1 4202496 22257 59490 0 0 164 23 637 36 20 0 1 0 383144428 171823104 30465 33554432000 4194304 6004724 140734277965520 140734277951800 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/8702/statm: 41949 30465 166 442 0 41503 0
[pid=8752] ppid=8702 vsize=204504 CPUtime=1413.41 cores=0,2,4,6
/proc/8752/stat : 8752 (glucosInc) R 8702 8701 8666 0 -1 4202496 36006 0 0 0 141331 10 0 0 20 0 1 0 383145293 209412096 46210 33554432000 4194304 5654031 140734727681184 140734727669000 4215188 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8752/statm: 51126 46210 142 357 0 50766 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 381448
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8801
/proc/meminfo: memFree=24197220/32873648 swapFree=7376/7376
[pid=8701] ppid=8699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8701/stat : 8701 (npSolver-pbo-I.) S 8699 8701 8666 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383144428 9367552 274 33554432000 4194304 5064252 140733386095488 140733386094400 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8701/statm: 2287 274 233 213 0 72 0
[pid=8702] ppid=8701 vsize=167796 CPUtime=8.6 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-pbo) S 8701 8701 8666 0 -1 4202496 22257 59490 0 0 164 23 637 36 20 0 1 0 383144428 171823104 30465 33554432000 4194304 6004724 140734277965520 140734277951800 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/8702/statm: 41949 30465 166 442 0 41503 0
[pid=8752] ppid=8702 vsize=235848 CPUtime=1473.4 cores=0,2,4,6
/proc/8752/stat : 8752 (glucosInc) R 8702 8701 8666 0 -1 4202496 36542 0 0 0 147330 10 0 0 20 0 1 0 383145293 241508352 47254 33554432000 4194304 5654031 140734727681184 140734727678872 4215014 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8752/statm: 58962 47254 142 357 0 58602 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 412792
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8801
/proc/meminfo: memFree=24194060/32873648 swapFree=7376/7376
[pid=8701] ppid=8699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8701/stat : 8701 (npSolver-pbo-I.) S 8699 8701 8666 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383144428 9367552 274 33554432000 4194304 5064252 140733386095488 140733386094400 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8701/statm: 2287 274 233 213 0 72 0
[pid=8702] ppid=8701 vsize=167796 CPUtime=8.6 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-pbo) S 8701 8701 8666 0 -1 4202496 22257 59490 0 0 164 23 637 36 20 0 1 0 383144428 171823104 30465 33554432000 4194304 6004724 140734277965520 140734277951800 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/8702/statm: 41949 30465 166 442 0 41503 0
[pid=8752] ppid=8702 vsize=235848 CPUtime=1533.39 cores=0,2,4,6
/proc/8752/stat : 8752 (glucosInc) R 8702 8701 8666 0 -1 4202496 36722 0 0 0 153329 10 0 0 20 0 1 0 383145293 241508352 47945 33554432000 4194304 5654031 140734727681184 140734727669000 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8752/statm: 58962 47945 142 357 0 58602 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 412792
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8801
/proc/meminfo: memFree=24189840/32873648 swapFree=7376/7376
[pid=8701] ppid=8699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8701/stat : 8701 (npSolver-pbo-I.) S 8699 8701 8666 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383144428 9367552 274 33554432000 4194304 5064252 140733386095488 140733386094400 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8701/statm: 2287 274 233 213 0 72 0
[pid=8702] ppid=8701 vsize=167796 CPUtime=8.6 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-pbo) S 8701 8701 8666 0 -1 4202496 22257 59490 0 0 164 23 637 36 20 0 1 0 383144428 171823104 30465 33554432000 4194304 6004724 140734277965520 140734277951800 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/8702/statm: 41949 30465 166 442 0 41503 0
[pid=8752] ppid=8702 vsize=236000 CPUtime=1593.39 cores=0,2,4,6
/proc/8752/stat : 8752 (glucosInc) R 8702 8701 8666 0 -1 4202496 36757 0 0 0 159328 11 0 0 20 0 1 0 383145293 241664000 49002 33554432000 4194304 5654031 140734727681184 140734727669000 4215108 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8752/statm: 59000 49002 142 357 0 58640 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 412944
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 8805
/proc/meminfo: memFree=24187276/32873648 swapFree=7376/7376
[pid=8701] ppid=8699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8701/stat : 8701 (npSolver-pbo-I.) S 8699 8701 8666 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383144428 9367552 274 33554432000 4194304 5064252 140733386095488 140733386094400 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8701/statm: 2287 274 233 213 0 72 0
[pid=8702] ppid=8701 vsize=167796 CPUtime=8.6 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-pbo) S 8701 8701 8666 0 -1 4202496 22257 59490 0 0 164 23 637 36 20 0 1 0 383144428 171823104 30465 33554432000 4194304 6004724 140734277965520 140734277951800 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/8702/statm: 41949 30465 166 442 0 41503 0
[pid=8752] ppid=8702 vsize=236180 CPUtime=1653.38 cores=0,2,4,6
/proc/8752/stat : 8752 (glucosInc) R 8702 8701 8666 0 -1 4202496 36814 0 0 0 165327 11 0 0 20 0 1 0 383145293 241848320 49570 33554432000 4194304 5654031 140734727681184 140734727669000 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8752/statm: 59045 49570 142 357 0 58685 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 413124
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8805
/proc/meminfo: memFree=24183032/32873648 swapFree=7376/7376
[pid=8701] ppid=8699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8701/stat : 8701 (npSolver-pbo-I.) S 8699 8701 8666 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383144428 9367552 274 33554432000 4194304 5064252 140733386095488 140733386094400 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8701/statm: 2287 274 233 213 0 72 0
[pid=8702] ppid=8701 vsize=167796 CPUtime=8.6 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-pbo) S 8701 8701 8666 0 -1 4202496 22257 59490 0 0 164 23 637 36 20 0 1 0 383144428 171823104 30465 33554432000 4194304 6004724 140734277965520 140734277951800 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/8702/statm: 41949 30465 166 442 0 41503 0
[pid=8752] ppid=8702 vsize=236396 CPUtime=1713.37 cores=0,2,4,6
/proc/8752/stat : 8752 (glucosInc) R 8702 8701 8666 0 -1 4202496 36836 0 0 0 171326 11 0 0 20 0 1 0 383145293 242069504 50103 33554432000 4194304 5654031 140734727681184 140734727669000 4215017 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8752/statm: 59099 50103 142 357 0 58739 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 413340
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8805
/proc/meminfo: memFree=24176796/32873648 swapFree=7376/7376
[pid=8701] ppid=8699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8701/stat : 8701 (npSolver-pbo-I.) S 8699 8701 8666 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383144428 9367552 274 33554432000 4194304 5064252 140733386095488 140733386094400 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8701/statm: 2287 274 233 213 0 72 0
[pid=8702] ppid=8701 vsize=167796 CPUtime=8.6 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-pbo) S 8701 8701 8666 0 -1 4202496 22257 59490 0 0 164 23 637 36 20 0 1 0 383144428 171823104 30465 33554432000 4194304 6004724 140734277965520 140734277951800 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/8702/statm: 41949 30465 166 442 0 41503 0
[pid=8752] ppid=8702 vsize=236396 CPUtime=1773.36 cores=0,2,4,6
/proc/8752/stat : 8752 (glucosInc) R 8702 8701 8666 0 -1 4202496 36860 0 0 0 177325 11 0 0 20 0 1 0 383145293 242069504 50638 33554432000 4194304 5654031 140734727681184 140734727669000 4214957 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8752/statm: 59099 50638 142 357 0 58739 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 413340
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8805
/proc/meminfo: memFree=24170052/32873648 swapFree=7376/7376
[pid=8701] ppid=8699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8701/stat : 8701 (npSolver-pbo-I.) S 8699 8701 8666 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383144428 9367552 274 33554432000 4194304 5064252 140733386095488 140733386094400 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8701/statm: 2287 274 233 213 0 72 0
[pid=8702] ppid=8701 vsize=167796 CPUtime=8.6 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-pbo) S 8701 8701 8666 0 -1 4202496 22257 59490 0 0 164 23 637 36 20 0 1 0 383144428 171823104 30465 33554432000 4194304 6004724 140734277965520 140734277951800 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/8702/statm: 41949 30465 166 442 0 41503 0
[pid=8752] ppid=8702 vsize=236396 CPUtime=1791.46 cores=0,2,4,6
/proc/8752/stat : 8752 (glucosInc) R 8702 8701 8666 0 -1 4202496 36873 0 0 0 179135 11 0 0 20 0 1 0 383145293 242069504 50651 33554432000 4194304 5654031 140734727681184 140734727669000 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8752/statm: 59099 50651 142 357 0 58739 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 413340
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8805
/proc/meminfo: memFree=24170052/32873648 swapFree=7376/7376
[pid=8701] ppid=8699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8701/stat : 8701 (npSolver-pbo-I.) S 8699 8701 8666 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383144428 9367552 274 33554432000 4194304 5064252 140733386095488 140733386094400 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8701/statm: 2287 274 233 213 0 72 0
[pid=8702] ppid=8701 vsize=167796 CPUtime=8.6 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-pbo) S 8701 8701 8666 0 -1 4202496 22257 59490 0 0 164 23 637 36 20 0 1 0 383144428 171823104 30465 33554432000 4194304 6004724 140734277965520 140734277951800 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/8702/statm: 41949 30465 166 442 0 41503 0
[pid=8752] ppid=8702 vsize=236396 CPUtime=1791.46 cores=0,2,4,6
/proc/8752/stat : 8752 (glucosInc) R 8702 8701 8666 0 -1 4202496 36873 0 0 0 179135 11 0 0 20 0 1 0 383145293 242069504 50651 33554432000 4194304 5654031 140734727681184 140734727669000 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8752/statm: 59099 50651 142 357 0 58739 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 413340
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8701 and gives
# childrusage.ru_utime.tv_sec=8
# childrusage.ru_utime.tv_usec=26779
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=594909
# CPU time returned by wait4() is 8.62169
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1799.36
CPU system time (s): 0.7
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 652360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.02678
system time used= 0.594909
maximum resident set size= 458508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82121
page faults= 0
swaps= 0
block input operations= 8
block output operations= 234064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 36
runsolver used 8.03578 second user time and 12.8221 second system time
The end