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-3702333-1338074041/watcher-3702333-1338074041 -o /tmp/evaluation-result-3702333-1338074041/solver-3702333-1338074041 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702333-1338074041.opb 353188255 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: 1.93 2.00 1.99 3/181 5486
/proc/meminfo: memFree=31884100/32873844 swapFree=6872/6872
[pid=5486] ppid=5484 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (npSolver-pbo-It) S 5484 5486 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273471144 9367552 275 33554432000 4194304 5064252 140736299292256 140736299291168 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5486/statm: 2287 275 233 213 0 72 0
[startup+0.0248951 s]
/proc/loadavg: 1.93 2.00 1.99 3/181 5486
/proc/meminfo: memFree=31884100/32873844 swapFree=6872/6872
[pid=5486] ppid=5484 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (npSolver-pbo-It) S 5484 5486 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273471144 9367552 275 33554432000 4194304 5064252 140736299292256 140736299291168 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5486/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100264 s]
/proc/loadavg: 1.93 2.00 1.99 3/181 5486
/proc/meminfo: memFree=31884100/32873844 swapFree=6872/6872
[pid=5486] ppid=5484 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (npSolver-pbo-It) S 5484 5486 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273471144 9367552 275 33554432000 4194304 5064252 140736299292256 140736299291168 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5486/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300126 s]
/proc/loadavg: 1.93 2.00 1.99 3/181 5486
/proc/meminfo: memFree=31884100/32873844 swapFree=6872/6872
[pid=5486] ppid=5484 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (npSolver-pbo-It) S 5484 5486 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273471144 9367552 275 33554432000 4194304 5064252 140736299292256 140736299291168 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5486/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700266 s]
/proc/loadavg: 1.93 2.00 1.99 3/181 5486
/proc/meminfo: memFree=31884100/32873844 swapFree=6872/6872
[pid=5486] ppid=5484 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (npSolver-pbo-It) S 5484 5486 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273471144 9367552 275 33554432000 4194304 5064252 140736299292256 140736299291168 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5486/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 1.85 1.99 1.99 3/186 5505
/proc/meminfo: memFree=31838424/32873844 swapFree=6872/6872
[pid=5486] ppid=5484 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (npSolver-pbo-It) S 5484 5486 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273471144 9367552 275 33554432000 4194304 5064252 140736299292256 140736299291168 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5486/statm: 2287 275 233 213 0 72 0
[pid=5487] ppid=5486 vsize=50228 CPUtime=1.47 cores=0,2,4,6
/proc/5487/stat : 5487 (npSolver-pbo) R 5486 5486 8327 0 -1 4202496 10886 25473 0 0 68 13 60 6 20 0 1 0 273471144 51433472 9512 33554432000 4194304 5992684 140733349169296 140733349161992 4524979 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5487/statm: 12557 9512 198 440 0 12113 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 59376
[startup+3.10026 s]
/proc/loadavg: 1.85 1.99 1.99 3/183 5521
/proc/meminfo: memFree=31803100/32873844 swapFree=6872/6872
[pid=5486] ppid=5484 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (npSolver-pbo-It) S 5484 5486 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273471144 9367552 275 33554432000 4194304 5064252 140736299292256 140736299291168 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5486/statm: 2287 275 233 213 0 72 0
[pid=5487] ppid=5486 vsize=17460 CPUtime=2.67 cores=0,2,4,6
/proc/5487/stat : 5487 (npSolver-pbo) S 5486 5486 8327 0 -1 4202496 12148 25991 0 0 173 28 60 6 20 0 1 0 273471144 17879040 3955 33554432000 4194304 5992684 140733349169296 140733349155128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/5487/statm: 4365 3955 199 440 0 3921 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 26608
[startup+6.30031 s]
/proc/loadavg: 1.85 1.99 1.99 3/184 5558
/proc/meminfo: memFree=31541096/32873844 swapFree=6872/6872
[pid=5486] ppid=5484 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (npSolver-pbo-It) S 5484 5486 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273471144 9367552 275 33554432000 4194304 5064252 140736299292256 140736299291168 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5486/statm: 2287 275 233 213 0 72 0
[pid=5487] ppid=5486 vsize=17460 CPUtime=2.67 cores=0,2,4,6
/proc/5487/stat : 5487 (npSolver-pbo) S 5486 5486 8327 0 -1 4202496 12148 25991 0 0 173 28 60 6 20 0 1 0 273471144 17879040 3955 33554432000 4194304 5992684 140733349169296 140733349155128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/5487/statm: 4365 3955 199 440 0 3921 0
[pid=5530] ppid=5487 vsize=283240 CPUtime=3.58 cores=0,2,4,6
/proc/5530/stat : 5530 (glucosInc) R 5487 5486 8327 0 -1 4202496 45447 0 0 0 345 13 0 0 20 0 1 0 273471415 290037760 57867 33554432000 4194304 5654031 140733825724512 140733825712328 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5530/statm: 70810 57867 141 357 0 70450 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 309848
[startup+12.7004 s]
/proc/loadavg: 1.95 2.00 1.99 3/183 5621
/proc/meminfo: memFree=31539528/32873844 swapFree=6872/6872
[pid=5486] ppid=5484 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (npSolver-pbo-It) S 5484 5486 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273471144 9367552 275 33554432000 4194304 5064252 140736299292256 140736299291168 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5486/statm: 2287 275 233 213 0 72 0
[pid=5487] ppid=5486 vsize=17460 CPUtime=2.67 cores=0,2,4,6
/proc/5487/stat : 5487 (npSolver-pbo) S 5486 5486 8327 0 -1 4202496 12148 25991 0 0 173 28 60 6 20 0 1 0 273471144 17879040 3955 33554432000 4194304 5992684 140733349169296 140733349155128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/5487/statm: 4365 3955 199 440 0 3921 0
[pid=5530] ppid=5487 vsize=284004 CPUtime=9.98 cores=0,2,4,6
/proc/5530/stat : 5530 (glucosInc) R 5487 5486 8327 0 -1 4202496 45652 0 0 0 985 13 0 0 20 0 1 0 273471415 290820096 58072 33554432000 4194304 5654031 140733825724512 140733825722200 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5530/statm: 71001 58072 141 357 0 70641 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 310612
[startup+25.5003 s]
/proc/loadavg: 1.96 2.00 1.99 3/182 5760
/proc/meminfo: memFree=31580964/32873844 swapFree=6872/6872
[pid=5486] ppid=5484 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (npSolver-pbo-It) S 5484 5486 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273471144 9367552 275 33554432000 4194304 5064252 140736299292256 140736299291168 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5486/statm: 2287 275 233 213 0 72 0
[pid=5487] ppid=5486 vsize=17460 CPUtime=2.67 cores=0,2,4,6
/proc/5487/stat : 5487 (npSolver-pbo) S 5486 5486 8327 0 -1 4202496 12148 25991 0 0 173 28 60 6 20 0 1 0 273471144 17879040 3955 33554432000 4194304 5992684 140733349169296 140733349155128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/5487/statm: 4365 3955 199 440 0 3921 0
[pid=5530] ppid=5487 vsize=287416 CPUtime=22.77 cores=0,2,4,6
/proc/5530/stat : 5530 (glucosInc) R 5487 5486 8327 0 -1 4202496 46501 0 0 0 2264 13 0 0 20 0 1 0 273471415 294313984 60452 33554432000 4194304 5654031 140733825724512 140733825712328 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5530/statm: 71854 60452 141 357 0 71494 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 314024
[startup+51.1004 s]
/proc/loadavg: 1.97 2.00 1.99 3/183 6021
/proc/meminfo: memFree=31529544/32873844 swapFree=6872/6872
[pid=5486] ppid=5484 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (npSolver-pbo-It) S 5484 5486 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273471144 9367552 275 33554432000 4194304 5064252 140736299292256 140736299291168 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5486/statm: 2287 275 233 213 0 72 0
[pid=5487] ppid=5486 vsize=17460 CPUtime=2.67 cores=0,2,4,6
/proc/5487/stat : 5487 (npSolver-pbo) S 5486 5486 8327 0 -1 4202496 12148 25991 0 0 173 28 60 6 20 0 1 0 273471144 17879040 3955 33554432000 4194304 5992684 140733349169296 140733349155128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/5487/statm: 4365 3955 199 440 0 3921 0
[pid=5530] ppid=5487 vsize=288292 CPUtime=48.35 cores=0,2,4,6
/proc/5530/stat : 5530 (glucosInc) R 5487 5486 8327 0 -1 4202496 46710 0 0 0 4822 13 0 0 20 0 1 0 273471415 295211008 61161 33554432000 4194304 5654031 140733825724512 140733825712328 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5530/statm: 72073 61161 141 357 0 71713 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 314900
[startup+102.307 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 6553
/proc/meminfo: memFree=31526928/32873844 swapFree=6872/6872
[pid=5486] ppid=5484 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (npSolver-pbo-It) S 5484 5486 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273471144 9367552 275 33554432000 4194304 5064252 140736299292256 140736299291168 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5486/statm: 2287 275 233 213 0 72 0
[pid=5487] ppid=5486 vsize=17460 CPUtime=2.67 cores=0,2,4,6
/proc/5487/stat : 5487 (npSolver-pbo) S 5486 5486 8327 0 -1 4202496 12148 25991 0 0 173 28 60 6 20 0 1 0 273471144 17879040 3955 33554432000 4194304 5992684 140733349169296 140733349155128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/5487/statm: 4365 3955 199 440 0 3921 0
[pid=5530] ppid=5487 vsize=289348 CPUtime=99.54 cores=0,2,4,6
/proc/5530/stat : 5530 (glucosInc) R 5487 5486 8327 0 -1 4202496 46985 0 0 0 9941 13 0 0 20 0 1 0 273471415 296292352 61487 33554432000 4194304 5654031 140733825724512 140733825722296 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5530/statm: 72337 61487 141 357 0 71977 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 315956
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 7162
/proc/meminfo: memFree=31509884/32873844 swapFree=6872/6872
[pid=5486] ppid=5484 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (npSolver-pbo-It) S 5484 5486 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273471144 9367552 275 33554432000 4194304 5064252 140736299292256 140736299291168 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5486/statm: 2287 275 233 213 0 72 0
[pid=5487] ppid=5486 vsize=17460 CPUtime=2.67 cores=0,2,4,6
/proc/5487/stat : 5487 (npSolver-pbo) S 5486 5486 8327 0 -1 4202496 12148 25991 0 0 173 28 60 6 20 0 1 0 273471144 17879040 3955 33554432000 4194304 5992684 140733349169296 140733349155128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/5487/statm: 4365 3955 199 440 0 3921 0
[pid=5530] ppid=5487 vsize=301500 CPUtime=159.53 cores=0,2,4,6
/proc/5530/stat : 5530 (glucosInc) R 5487 5486 8327 0 -1 4202496 50051 0 0 0 15936 17 0 0 20 0 1 0 273471415 308736000 65652 33554432000 4194304 5654031 140733825724512 140733825712328 4216395 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5530/statm: 75375 65652 141 357 0 75015 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 328108
[startup+222.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 7785
/proc/meminfo: memFree=31485168/32873844 swapFree=6872/6872
[pid=5486] ppid=5484 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (npSolver-pbo-It) S 5484 5486 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273471144 9367552 275 33554432000 4194304 5064252 140736299292256 140736299291168 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5486/statm: 2287 275 233 213 0 72 0
[pid=5487] ppid=5486 vsize=17460 CPUtime=2.67 cores=0,2,4,6
/proc/5487/stat : 5487 (npSolver-pbo) S 5486 5486 8327 0 -1 4202496 12148 25991 0 0 173 28 60 6 20 0 1 0 273471144 17879040 3955 33554432000 4194304 5992684 140733349169296 140733349155128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/5487/statm: 4365 3955 199 440 0 3921 0
[pid=5530] ppid=5487 vsize=314668 CPUtime=219.51 cores=0,2,4,6
/proc/5530/stat : 5530 (glucosInc) R 5487 5486 8327 0 -1 4202496 54560 0 0 0 21930 21 0 0 20 0 1 0 273471415 322220032 71557 33554432000 4194304 5654031 140733825724512 140733825712328 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5530/statm: 78667 71557 141 357 0 78307 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 341276
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 8402
/proc/meminfo: memFree=31514236/32873844 swapFree=6872/6872
[pid=5486] ppid=5484 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (npSolver-pbo-It) S 5484 5486 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273471144 9367552 275 33554432000 4194304 5064252 140736299292256 140736299291168 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5486/statm: 2287 275 233 213 0 72 0
[pid=5487] ppid=5486 vsize=17460 CPUtime=2.67 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=31355752/32873844 swapFree=6872/6872
[pid=5486] ppid=5484 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (npSolver-pbo-It) S 5484 5486 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273471144 9367552 275 33554432000 4194304 5064252 140736299292256 140736299291168 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5486/statm: 2287 275 233 213 0 72 0
[pid=5487] ppid=5486 vsize=17460 CPUtime=2.67 cores=0,2,4,6
/proc/5487/stat : 5487 (npSolver-pbo) S 5486 5486 8327 0 -1 4202496 12148 25991 0 0 173 28 60 6 20 0 1 0 273471144 17879040 3955 33554432000 4194304 5992684 140733349169296 140733349155128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/5487/statm: 4365 3955 199 440 0 3921 0
[pid=5530] ppid=5487 vsize=458124 CPUtime=1239.31 cores=0,2,4,6
/proc/5530/stat : 5530 (glucosInc) R 5487 5486 8327 0 -1 4202496 99624 0 0 0 123822 109 0 0 20 0 1 0 273471415 469118976 102768 33554432000 4194304 5654031 140733825724512 140733825712328 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5530/statm: 114531 102768 141 357 0 114171 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 484732
[startup+1302.3 s]
/proc/loadavg: 1.95 1.96 1.98 3/183 18939
/proc/meminfo: memFree=31332324/32873844 swapFree=6872/6872
[pid=5486] ppid=5484 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (npSolver-pbo-It) S 5484 5486 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273471144 9367552 275 33554432000 4194304 5064252 140736299292256 140736299291168 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5486/statm: 2287 275 233 213 0 72 0
[pid=5487] ppid=5486 vsize=17460 CPUtime=2.67 cores=0,2,4,6
/proc/5487/stat : 5487 (npSolver-pbo) S 5486 5486 8327 0 -1 4202496 12148 25991 0 0 173 28 60 6 20 0 1 0 273471144 17879040 3955 33554432000 4194304 5992684 140733349169296 140733349155128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/5487/statm: 4365 3955 199 440 0 3921 0
[pid=5530] ppid=5487 vsize=462244 CPUtime=1299.31 cores=0,2,4,6
/proc/5530/stat : 5530 (glucosInc) R 5487 5486 8327 0 -1 4202496 101117 0 0 0 129817 114 0 0 20 0 1 0 273471415 473337856 108548 33554432000 4194304 5654031 140733825724512 140733825712328 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5530/statm: 115561 108548 141 357 0 115201 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 488852
[startup+1362.3 s]
/proc/loadavg: 2.09 1.99 1.99 3/181 19552
/proc/meminfo: memFree=31370988/32873844 swapFree=6872/6872
[pid=5486] ppid=5484 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (npSolver-pbo-It) S 5484 5486 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273471144 9367552 275 33554432000 4194304 5064252 140736299292256 140736299291168 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5486/statm: 2287 275 233 213 0 72 0
[pid=5487] ppid=5486 vsize=17460 CPUtime=2.67 cores=0,2,4,6
/proc/5487/stat : 5487 (npSolver-pbo) S 5486 5486 8327 0 -1 4202496 12148 25991 0 0 173 28 60 6 20 0 1 0 273471144 17879040 3955 33554432000 4194304 5992684 140733349169296 140733349155128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/5487/statm: 4365 3955 199 440 0 3921 0
[pid=5530] ppid=5487 vsize=463888 CPUtime=1359.3 cores=0,2,4,6
/proc/5530/stat : 5530 (glucosInc) R 5487 5486 8327 0 -1 4202496 101992 0 0 0 135812 118 0 0 20 0 1 0 273471415 475021312 109493 33554432000 4194304 5654031 140733825724512 140733825712328 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5530/statm: 115972 109493 141 357 0 115612 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 490496
[startup+1422.31 s]
/proc/loadavg: 2.03 1.99 1.99 2/183 20174
/proc/meminfo: memFree=31351288/32873844 swapFree=6872/6872
[pid=5486] ppid=5484 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (npSolver-pbo-It) S 5484 5486 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273471144 9367552 275 33554432000 4194304 5064252 140736299292256 140736299291168 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5486/statm: 2287 275 233 213 0 72 0
[pid=5487] ppid=5486 vsize=17460 CPUtime=2.67 cores=0,2,4,6
/proc/5487/stat : 5487 (npSolver-pbo) S 5486 5486 8327 0 -1 4202496 12148 25991 0 0 173 28 60 6 20 0 1 0 273471144 17879040 3955 33554432000 4194304 5992684 140733349169296 140733349155128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/5487/statm: 4365 3955 199 440 0 3921 0
[pid=5530] ppid=5487 vsize=547832 CPUtime=1419.29 cores=0,2,4,6
/proc/5530/stat : 5530 (glucosInc) R 5487 5486 8327 0 -1 4202496 103247 0 0 0 141806 123 0 0 20 0 1 0 273471415 560979968 112851 33554432000 4194304 5654031 140733825724512 140733825712328 4215076 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5530/statm: 136958 112851 141 357 0 136598 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 574440
[startup+1482.3 s]
/proc/loadavg: 2.01 1.99 1.99 3/183 20790
/proc/meminfo: memFree=31343336/32873844 swapFree=6872/6872
[pid=5486] ppid=5484 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (npSolver-pbo-It) S 5484 5486 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273471144 9367552 275 33554432000 4194304 5064252 140736299292256 140736299291168 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5486/statm: 2287 275 233 213 0 72 0
[pid=5487] ppid=5486 vsize=17460 CPUtime=2.67 cores=0,2,4,6
/proc/5487/stat : 5487 (npSolver-pbo) S 5486 5486 8327 0 -1 4202496 12148 25991 0 0 173 28 60 6 20 0 1 0 273471144 17879040 3955 33554432000 4194304 5992684 140733349169296 140733349155128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/5487/statm: 4365 3955 199 440 0 3921 0
[pid=5530] ppid=5487 vsize=549972 CPUtime=1479.28 cores=0,2,4,6
/proc/5530/stat : 5530 (glucosInc) R 5487 5486 8327 0 -1 4202496 104224 0 0 0 147801 127 0 0 20 0 1 0 273471415 563171328 114398 33554432000 4194304 5654031 140733825724512 140733825712328 4233173 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5530/statm: 137493 114398 141 357 0 137133 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 576580
[startup+1542.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 21414
/proc/meminfo: memFree=31372140/32873844 swapFree=6872/6872
[pid=5486] ppid=5484 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (npSolver-pbo-It) S 5484 5486 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273471144 9367552 275 33554432000 4194304 5064252 140736299292256 140736299291168 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5486/statm: 2287 275 233 213 0 72 0
[pid=5487] ppid=5486 vsize=17460 CPUtime=2.67 cores=0,2,4,6
/proc/5487/stat : 5487 (npSolver-pbo) S 5486 5486 8327 0 -1 4202496 12148 25991 0 0 173 28 60 6 20 0 1 0 273471144 17879040 3955 33554432000 4194304 5992684 140733349169296 140733349155128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/5487/statm: 4365 3955 199 440 0 3921 0
[pid=5530] ppid=5487 vsize=471108 CPUtime=1539.27 cores=0,2,4,6
/proc/5530/stat : 5530 (glucosInc) R 5487 5486 8327 0 -1 4202496 105611 0 0 0 153793 134 0 0 20 0 1 0 273471415 482414592 107218 33554432000 4194304 5654031 140733825724512 140733825712328 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5530/statm: 117777 107218 141 357 0 117417 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 497716
[startup+1602.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/182 22028
/proc/meminfo: memFree=31343960/32873844 swapFree=6872/6872
[pid=5486] ppid=5484 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (npSolver-pbo-It) S 5484 5486 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273471144 9367552 275 33554432000 4194304 5064252 140736299292256 140736299291168 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5486/statm: 2287 275 233 213 0 72 0
[pid=5487] ppid=5486 vsize=17460 CPUtime=2.67 cores=0,2,4,6
/proc/5487/stat : 5487 (npSolver-pbo) S 5486 5486 8327 0 -1 4202496 12148 25991 0 0 173 28 60 6 20 0 1 0 273471144 17879040 3955 33554432000 4194304 5992684 140733349169296 140733349155128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/5487/statm: 4365 3955 199 440 0 3921 0
[pid=5530] ppid=5487 vsize=684720 CPUtime=1599.26 cores=0,2,4,6
/proc/5530/stat : 5530 (glucosInc) R 5487 5486 8327 0 -1 4202496 106529 0 0 0 159791 135 0 0 20 0 1 0 273471415 701153280 127533 33554432000 4194304 5654031 140733825724512 140733825722360 4225782 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5530/statm: 171180 127533 141 357 0 170820 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 711328
[startup+1662.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/181 22651
/proc/meminfo: memFree=31377468/32873844 swapFree=6872/6872
[pid=5486] ppid=5484 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (npSolver-pbo-It) S 5484 5486 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273471144 9367552 275 33554432000 4194304 5064252 140736299292256 140736299291168 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5486/statm: 2287 275 233 213 0 72 0
[pid=5487] ppid=5486 vsize=17460 CPUtime=2.67 cores=0,2,4,6
/proc/5487/stat : 5487 (npSolver-pbo) S 5486 5486 8327 0 -1 4202496 12148 25991 0 0 173 28 60 6 20 0 1 0 273471144 17879040 3955 33554432000 4194304 5992684 140733349169296 140733349155128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/5487/statm: 4365 3955 199 440 0 3921 0
[pid=5530] ppid=5487 vsize=478160 CPUtime=1659.25 cores=0,2,4,6
/proc/5530/stat : 5530 (glucosInc) R 5487 5486 8327 0 -1 4202496 108303 0 0 0 165783 142 0 0 20 0 1 0 273471415 489635840 111068 33554432000 4194304 5654031 140733825724512 140733825712328 4215055 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5530/statm: 119540 111068 141 357 0 119180 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 504768
[startup+1722.3 s]
/proc/loadavg: 1.91 1.99 1.99 3/183 23262
/proc/meminfo: memFree=31286620/32873844 swapFree=6872/6872
[pid=5486] ppid=5484 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (npSolver-pbo-It) S 5484 5486 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273471144 9367552 275 33554432000 4194304 5064252 140736299292256 140736299291168 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5486/statm: 2287 275 233 213 0 72 0
[pid=5487] ppid=5486 vsize=17460 CPUtime=2.67 cores=0,2,4,6
/proc/5487/stat : 5487 (npSolver-pbo) S 5486 5486 8327 0 -1 4202496 12148 25991 0 0 173 28 60 6 20 0 1 0 273471144 17879040 3955 33554432000 4194304 5992684 140733349169296 140733349155128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/5487/statm: 4365 3955 199 440 0 3921 0
[pid=5530] ppid=5487 vsize=561276 CPUtime=1719.24 cores=0,2,4,6
/proc/5530/stat : 5530 (glucosInc) R 5487 5486 8327 0 -1 4202496 108931 0 0 0 171779 145 0 0 20 0 1 0 273471415 574746624 119356 33554432000 4194304 5654031 140733825724512 140733825722200 4215040 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5530/statm: 140319 119356 141 357 0 139959 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 587884
[startup+1782.3 s]
/proc/loadavg: 1.96 1.99 1.99 3/183 23885
/proc/meminfo: memFree=31284572/32873844 swapFree=6872/6872
[pid=5486] ppid=5484 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (npSolver-pbo-It) S 5484 5486 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273471144 9367552 275 33554432000 4194304 5064252 140736299292256 140736299291168 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5486/statm: 2287 275 233 213 0 72 0
[pid=5487] ppid=5486 vsize=17460 CPUtime=2.67 cores=0,2,4,6
/proc/5487/stat : 5487 (npSolver-pbo) S 5486 5486 8327 0 -1 4202496 12148 25991 0 0 173 28 60 6 20 0 1 0 273471144 17879040 3955 33554432000 4194304 5992684 140733349169296 140733349155128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/5487/statm: 4365 3955 199 440 0 3921 0
[pid=5530] ppid=5487 vsize=563972 CPUtime=1779.22 cores=0,2,4,6
/proc/5530/stat : 5530 (glucosInc) R 5487 5486 8327 0 -1 4202496 110092 0 0 0 177773 149 0 0 20 0 1 0 273471415 577507328 120575 33554432000 4194304 5654031 140733825724512 140733825712328 4209118 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5530/statm: 140993 120575 141 357 0 140633 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 590580
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.97 1.99 1.99 3/181 24078
/proc/meminfo: memFree=31320636/32873844 swapFree=6872/6872
[pid=5486] ppid=5484 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (npSolver-pbo-It) S 5484 5486 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273471144 9367552 275 33554432000 4194304 5064252 140736299292256 140736299291168 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5486/statm: 2287 275 233 213 0 72 0
[pid=5487] ppid=5486 vsize=17460 CPUtime=2.67 cores=0,2,4,6
/proc/5487/stat : 5487 (npSolver-pbo) S 5486 5486 8327 0 -1 4202496 12148 25991 0 0 173 28 60 6 20 0 1 0 273471144 17879040 3955 33554432000 4194304 5992684 140733349169296 140733349155128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/5487/statm: 4365 3955 199 440 0 3921 0
[pid=5530] ppid=5487 vsize=482852 CPUtime=1797.33 cores=0,2,4,6
/proc/5530/stat : 5530 (glucosInc) R 5487 5486 8327 0 -1 4202496 110475 0 0 0 179581 152 0 0 20 0 1 0 273471415 494440448 111813 33554432000 4194304 5654031 140733825724512 140733825712328 4209217 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5530/statm: 120713 111813 141 357 0 120353 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 509460
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.04
CPU user time (s): 1798.16
CPU system time (s): 1.88071
CPU usage (%): 99.9795
Max. virtual memory (cumulated for all children) (KiB): 720940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.16
system time used= 1.88071
maximum resident set size= 595932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148994
page faults= 0
swaps= 0
block input operations= 8
block output operations= 209824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 179
involuntary context switches= 1880
runsolver used 3.67944 second user time and 9.53455 second system time
The end