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-3746270-1339098184/watcher-3746270-1339098184 -o /tmp/evaluation-result-3746270-1339098184/solver-3746270-1339098184 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746270-1339098184.opb 887855126 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: 0.11 0.03 0.01 2/171 19446
/proc/meminfo: memFree=31350388/32873844 swapFree=7632/7632
[pid=19446] ppid=19444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19446/stat : 19446 (npSolver-pbo-It) S 19444 19446 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375944151 9367552 275 33554432000 4194304 5064252 140734725945248 140734725944160 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19446/statm: 2287 275 233 213 0 72 0
[startup+0.0856889 s]
/proc/loadavg: 0.11 0.03 0.01 2/171 19446
/proc/meminfo: memFree=31350388/32873844 swapFree=7632/7632
[pid=19446] ppid=19444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19446/stat : 19446 (npSolver-pbo-It) S 19444 19446 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375944151 9367552 275 33554432000 4194304 5064252 140734725945248 140734725944160 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19446/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10031 s]
/proc/loadavg: 0.11 0.03 0.01 2/171 19446
/proc/meminfo: memFree=31350388/32873844 swapFree=7632/7632
[pid=19446] ppid=19444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19446/stat : 19446 (npSolver-pbo-It) S 19444 19446 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375944151 9367552 275 33554432000 4194304 5064252 140734725945248 140734725944160 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19446/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300241 s]
/proc/loadavg: 0.11 0.03 0.01 2/171 19446
/proc/meminfo: memFree=31350388/32873844 swapFree=7632/7632
[pid=19446] ppid=19444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19446/stat : 19446 (npSolver-pbo-It) S 19444 19446 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375944151 9367552 275 33554432000 4194304 5064252 140734725945248 140734725944160 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19446/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700246 s]
/proc/loadavg: 0.11 0.03 0.01 2/171 19446
/proc/meminfo: memFree=31350388/32873844 swapFree=7632/7632
[pid=19446] ppid=19444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19446/stat : 19446 (npSolver-pbo-It) S 19444 19446 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375944151 9367552 275 33554432000 4194304 5064252 140734725945248 140734725944160 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19446/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: 0.18 0.05 0.01 2/174 19452
/proc/meminfo: memFree=31319412/32873844 swapFree=7632/7632
[pid=19446] ppid=19444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19446/stat : 19446 (npSolver-pbo-It) S 19444 19446 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375944151 9367552 275 33554432000 4194304 5064252 140734725945248 140734725944160 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19446/statm: 2287 275 233 213 0 72 0
[pid=19447] ppid=19446 vsize=18852 CPUtime=0.24 cores=0,2,4,6
/proc/19447/stat : 19447 (npSolver-pbo) S 19446 19446 19416 0 -1 4202496 6216 2664 0 1 13 1 10 0 20 0 1 0 375944151 19304448 4382 33554432000 4194304 6004724 140736445496960 140736445483240 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/19447/statm: 4713 4382 152 442 0 4267 0
[pid=19452] ppid=19447 vsize=16136 CPUtime=1.2 cores=0,2,4,6
/proc/19452/stat : 19452 (glucosInc) R 19447 19446 19416 0 -1 4202496 3939 0 0 0 120 0 0 0 20 0 1 0 375944180 16523264 3670 33554432000 4194304 5654031 140736465897664 140736465885480 4232929 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19452/statm: 4034 3670 142 357 0 3674 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 44136
[startup+3.10035 s]
/proc/loadavg: 0.18 0.05 0.01 2/174 19452
/proc/meminfo: memFree=31316692/32873844 swapFree=7632/7632
[pid=19446] ppid=19444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19446/stat : 19446 (npSolver-pbo-It) S 19444 19446 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375944151 9367552 275 33554432000 4194304 5064252 140734725945248 140734725944160 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19446/statm: 2287 275 233 213 0 72 0
[pid=19447] ppid=19446 vsize=18852 CPUtime=0.24 cores=0,2,4,6
/proc/19447/stat : 19447 (npSolver-pbo) S 19446 19446 19416 0 -1 4202496 6216 2664 0 1 13 1 10 0 20 0 1 0 375944151 19304448 4382 33554432000 4194304 6004724 140736445496960 140736445483240 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/19447/statm: 4713 4382 152 442 0 4267 0
[pid=19452] ppid=19447 vsize=17884 CPUtime=2.8 cores=0,2,4,6
/proc/19452/stat : 19452 (glucosInc) R 19447 19446 19416 0 -1 4202496 4185 0 0 0 280 0 0 0 20 0 1 0 375944180 18313216 3555 33554432000 4194304 5654031 140736465897664 140736465895608 4217744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19452/statm: 4471 3555 142 357 0 4111 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 45884
[startup+6.30031 s]
/proc/loadavg: 0.33 0.08 0.02 2/174 19495
/proc/meminfo: memFree=31304296/32873844 swapFree=7632/7632
[pid=19446] ppid=19444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19446/stat : 19446 (npSolver-pbo-It) S 19444 19446 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375944151 9367552 275 33554432000 4194304 5064252 140734725945248 140734725944160 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19446/statm: 2287 275 233 213 0 72 0
[pid=19447] ppid=19446 vsize=18852 CPUtime=0.24 cores=0,2,4,6
/proc/19447/stat : 19447 (npSolver-pbo) S 19446 19446 19416 0 -1 4202496 6216 2664 0 1 13 1 10 0 20 0 1 0 375944151 19304448 4382 33554432000 4194304 6004724 140736445496960 140736445483240 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/19447/statm: 4713 4382 152 442 0 4267 0
[pid=19452] ppid=19447 vsize=29656 CPUtime=6 cores=0,2,4,6
/proc/19452/stat : 19452 (glucosInc) R 19447 19446 19416 0 -1 4202496 5243 0 0 0 599 1 0 0 20 0 1 0 375944180 30367744 6914 33554432000 4194304 5654031 140736465897664 140736465895544 4232752 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19452/statm: 7414 6914 142 357 0 7054 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 57656
[startup+12.7003 s]
/proc/loadavg: 0.38 0.09 0.03 2/174 19495
/proc/meminfo: memFree=31293748/32873844 swapFree=7632/7632
[pid=19446] ppid=19444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19446/stat : 19446 (npSolver-pbo-It) S 19444 19446 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375944151 9367552 275 33554432000 4194304 5064252 140734725945248 140734725944160 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19446/statm: 2287 275 233 213 0 72 0
[pid=19447] ppid=19446 vsize=18852 CPUtime=0.24 cores=0,2,4,6
/proc/19447/stat : 19447 (npSolver-pbo) S 19446 19446 19416 0 -1 4202496 6216 2664 0 1 13 1 10 0 20 0 1 0 375944151 19304448 4382 33554432000 4194304 6004724 140736445496960 140736445483240 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/19447/statm: 4713 4382 152 442 0 4267 0
[pid=19452] ppid=19447 vsize=48332 CPUtime=12.4 cores=0,2,4,6
/proc/19452/stat : 19452 (glucosInc) R 19447 19446 19416 0 -1 4202496 6258 0 0 0 1239 1 0 0 20 0 1 0 375944180 49491968 8450 33554432000 4194304 5654031 140736465897664 140736465895544 4233204 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19452/statm: 12083 8450 142 357 0 11723 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 76332
[startup+25.5004 s]
/proc/loadavg: 0.56 0.14 0.04 3/182 19512
/proc/meminfo: memFree=30243048/32873844 swapFree=7632/7632
[pid=19446] ppid=19444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19446/stat : 19446 (npSolver-pbo-It) S 19444 19446 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375944151 9367552 275 33554432000 4194304 5064252 140734725945248 140734725944160 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19446/statm: 2287 275 233 213 0 72 0
[pid=19447] ppid=19446 vsize=18852 CPUtime=0.24 cores=0,2,4,6
/proc/19447/stat : 19447 (npSolver-pbo) S 19446 19446 19416 0 -1 4202496 6216 2664 0 1 13 1 10 0 20 0 1 0 375944151 19304448 4382 33554432000 4194304 6004724 140736445496960 140736445483240 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/19447/statm: 4713 4382 152 442 0 4267 0
[pid=19452] ppid=19447 vsize=48332 CPUtime=25.2 cores=0,2,4,6
/proc/19452/stat : 19452 (glucosInc) R 19447 19446 19416 0 -1 4202496 6475 0 0 0 2518 2 0 0 20 0 1 0 375944180 49491968 11729 33554432000 4194304 5654031 140736465897664 140736465895544 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19452/statm: 12083 11729 142 357 0 11723 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 76332
[startup+51.1004 s]
/proc/loadavg: 1.41 0.38 0.13 3/181 19555
/proc/meminfo: memFree=31078100/32873844 swapFree=7632/7632
[pid=19446] ppid=19444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19446/stat : 19446 (npSolver-pbo-It) S 19444 19446 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375944151 9367552 275 33554432000 4194304 5064252 140734725945248 140734725944160 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19446/statm: 2287 275 233 213 0 72 0
[pid=19447] ppid=19446 vsize=18852 CPUtime=0.24 cores=0,2,4,6
/proc/19447/stat : 19447 (npSolver-pbo) S 19446 19446 19416 0 -1 4202496 6216 2664 0 1 13 1 10 0 20 0 1 0 375944151 19304448 4382 33554432000 4194304 6004724 140736445496960 140736445483240 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/19447/statm: 4713 4382 152 442 0 4267 0
[pid=19452] ppid=19447 vsize=67188 CPUtime=50.79 cores=0,2,4,6
/proc/19452/stat : 19452 (glucosInc) R 19447 19446 19416 0 -1 4202496 7424 0 0 0 5077 2 0 0 20 0 1 0 375944180 68800512 16443 33554432000 4194304 5654031 140736465897664 140736465895544 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19452/statm: 16797 16443 142 357 0 16437 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 95188
[startup+102.307 s]
/proc/loadavg: 1.80 0.64 0.23 3/182 19562
/proc/meminfo: memFree=30790492/32873844 swapFree=7632/7632
[pid=19446] ppid=19444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19446/stat : 19446 (npSolver-pbo-It) S 19444 19446 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375944151 9367552 275 33554432000 4194304 5064252 140734725945248 140734725944160 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19446/statm: 2287 275 233 213 0 72 0
[pid=19447] ppid=19446 vsize=18852 CPUtime=0.24 cores=0,2,4,6
/proc/19447/stat : 19447 (npSolver-pbo) S 19446 19446 19416 0 -1 4202496 6216 2664 0 1 13 1 10 0 20 0 1 0 375944151 19304448 4382 33554432000 4194304 6004724 140736445496960 140736445483240 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/19447/statm: 4713 4382 152 442 0 4267 0
[pid=19452] ppid=19447 vsize=67188 CPUtime=101.99 cores=0,2,4,6
/proc/19452/stat : 19452 (glucosInc) R 19447 19446 19416 0 -1 4202496 7911 0 0 0 10196 3 0 0 20 0 1 0 375944180 68800512 16443 33554432000 4194304 5654031 140736465897664 140736465895688 4233187 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19452/statm: 16797 16443 142 357 0 16437 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 95188
[startup+162.3 s]
/proc/loadavg: 1.92 0.89 0.34 3/181 19563
/proc/meminfo: memFree=30650316/32873844 swapFree=7632/7632
[pid=19446] ppid=19444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19446/stat : 19446 (npSolver-pbo-It) S 19444 19446 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375944151 9367552 275 33554432000 4194304 5064252 140734725945248 140734725944160 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19446/statm: 2287 275 233 213 0 72 0
[pid=19447] ppid=19446 vsize=18852 CPUtime=0.24 cores=0,2,4,6
/proc/19447/stat : 19447 (npSolver-pbo) S 19446 19446 19416 0 -1 4202496 6216 2664 0 1 13 1 10 0 20 0 1 0 375944151 19304448 4382 33554432000 4194304 6004724 140736445496960 140736445483240 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/19447/statm: 4713 4382 152 442 0 4267 0
[pid=19452] ppid=19447 vsize=67188 CPUtime=161.97 cores=0,2,4,6
/proc/19452/stat : 19452 (glucosInc) R 19447 19446 19416 0 -1 4202496 10353 0 0 0 16191 6 0 0 20 0 1 0 375944180 68800512 16443 33554432000 4194304 5654031 140736465897664 140736465895688 4232830 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19452/statm: 16797 16443 142 357 0 16437 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 95188
[startup+222.3 s]
/proc/loadavg: 1.97 1.09 0.44 3/181 19563
/proc/meminfo: memFree=30589216/32873844 swapFree=7632/7632
[pid=19446] ppid=19444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19446/stat : 19446 (npSolver-pbo-It) S 19444 19446 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375944151 9367552 275 33554432000 4194304 5064252 140734725945248 140734725944160 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19446/statm: 2287 275 233 213 0 72 0
[pid=19447] ppid=19446 vsize=18852 CPUtime=0.24 cores=0,2,4,6
/proc/19447/stat : 19447 (npSolver-pbo) S 19446 19446 19416 0 -1 4202496 6216 2664 0 1 13 1 10 0 20 0 1 0 375944151 19304448 4382 33554432000 4194304 6004724 140736445496960 140736445483240 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/19447/statm: 4713 4382 152 442 0 4267 0
[pid=19452] ppid=19447 vsize=79028 CPUtime=221.96 cores=0,2,4,6
/proc/19452/stat : 19452 (glucosInc) R 19447 19446 19416 0 -1 4202496 12727 0 0 0 22186 10 0 0 20 0 1 0 375944180 80924672 19403 33554432000 4194304 5654031 140736465897664 140736465895688 4232794 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19452/statm: 19757 19403 142 357 0 19397 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 107028
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.00 1.96 1.48 3/181 19595
/proc/meminfo: memFree=30220828/32873844 swapFree=7632/7632
[pid=19446] ppid=19444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19446/stat : 19446 (npSolver-pbo-It) S 19444 19446 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375944151 9367552 275 33554432000 4194304 5064252 140734725945248 140734725944160 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19446/statm: 2287 275 233 213 0 72 0
[pid=19447] ppid=19446 vsize=18852 CPUtime=0.24 cores=0,2,4,6
/proc/19447/stat : 19447 (npSolver-pbo) S 19446 19446 19416 0 -1 4202496 6216 2664 0 1 13 1 10 0 20 0 1 0 375944151 19304448 4382 33554432000 4194304 6004724 140736445496960 140736445483240 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/19447/statm: 4713 4382 152 442 0 4267 0
[pid=19452] ppid=19447 vsize=128348 CPUtime=1301.8 cores=0,2,4,6
/proc/19452/stat : 19452 (glucosInc) R 19447 19446 19416 0 -1 4202496 43676 0 0 0 130118 62 0 0 20 0 1 0 375944180 131428352 31139 33554432000 4194304 5654031 140736465897664 140736465895592 4232960 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19452/statm: 32087 31139 142 357 0 31727 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 156348
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.51 3/181 19595
/proc/meminfo: memFree=30419428/32873844 swapFree=7632/7632
[pid=19446] ppid=19444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19446/stat : 19446 (npSolver-pbo-It) S 19444 19446 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375944151 9367552 275 33554432000 4194304 5064252 140734725945248 140734725944160 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19446/statm: 2287 275 233 213 0 72 0
[pid=19447] ppid=19446 vsize=18852 CPUtime=0.24 cores=0,2,4,6
/proc/19447/stat : 19447 (npSolver-pbo) S 19446 19446 19416 0 -1 4202496 6216 2664 0 1 13 1 10 0 20 0 1 0 375944151 19304448 4382 33554432000 4194304 6004724 140736445496960 140736445483240 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/19447/statm: 4713 4382 152 442 0 4267 0
[pid=19452] ppid=19447 vsize=159168 CPUtime=1361.78 cores=0,2,4,6
/proc/19452/stat : 19452 (glucosInc) R 19447 19446 19416 0 -1 4202496 45517 0 0 0 136113 65 0 0 20 0 1 0 375944180 162988032 32083 33554432000 4194304 5654031 140736465897664 140736465895752 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19452/statm: 39792 32083 142 357 0 39432 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 187168
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.54 4/181 19596
/proc/meminfo: memFree=30139652/32873844 swapFree=7632/7632
[pid=19446] ppid=19444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19446/stat : 19446 (npSolver-pbo-It) S 19444 19446 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375944151 9367552 275 33554432000 4194304 5064252 140734725945248 140734725944160 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19446/statm: 2287 275 233 213 0 72 0
[pid=19447] ppid=19446 vsize=18852 CPUtime=0.24 cores=0,2,4,6
/proc/19447/stat : 19447 (npSolver-pbo) S 19446 19446 19416 0 -1 4202496 6216 2664 0 1 13 1 10 0 20 0 1 0 375944151 19304448 4382 33554432000 4194304 6004724 140736445496960 140736445483240 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/19447/statm: 4713 4382 152 442 0 4267 0
[pid=19452] ppid=19447 vsize=159168 CPUtime=1421.78 cores=0,2,4,6
/proc/19452/stat : 19452 (glucosInc) R 19447 19446 19416 0 -1 4202496 47070 0 0 0 142110 68 0 0 20 0 1 0 375944180 162988032 32742 33554432000 4194304 5654031 140736465897664 140736465895752 4232960 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19452/statm: 39792 32742 142 357 0 39432 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 187168
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.57 3/181 19596
/proc/meminfo: memFree=30380328/32873844 swapFree=7632/7632
[pid=19446] ppid=19444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19446/stat : 19446 (npSolver-pbo-It) S 19444 19446 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375944151 9367552 275 33554432000 4194304 5064252 140734725945248 140734725944160 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19446/statm: 2287 275 233 213 0 72 0
[pid=19447] ppid=19446 vsize=18852 CPUtime=0.24 cores=0,2,4,6
/proc/19447/stat : 19447 (npSolver-pbo) S 19446 19446 19416 0 -1 4202496 6216 2664 0 1 13 1 10 0 20 0 1 0 375944151 19304448 4382 33554432000 4194304 6004724 140736445496960 140736445483240 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/19447/statm: 4713 4382 152 442 0 4267 0
[pid=19452] ppid=19447 vsize=159808 CPUtime=1481.76 cores=0,2,4,6
/proc/19452/stat : 19452 (glucosInc) R 19447 19446 19416 0 -1 4202496 48639 0 0 0 148106 70 0 0 20 0 1 0 375944180 163643392 32902 33554432000 4194304 5654031 140736465897664 140736465895752 4232784 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19452/statm: 39952 32902 142 357 0 39592 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 187808
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.59 3/181 19596
/proc/meminfo: memFree=30124812/32873844 swapFree=7632/7632
[pid=19446] ppid=19444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19446/stat : 19446 (npSolver-pbo-It) S 19444 19446 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375944151 9367552 275 33554432000 4194304 5064252 140734725945248 140734725944160 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19446/statm: 2287 275 233 213 0 72 0
[pid=19447] ppid=19446 vsize=18852 CPUtime=0.24 cores=0,2,4,6
/proc/19447/stat : 19447 (npSolver-pbo) S 19446 19446 19416 0 -1 4202496 6216 2664 0 1 13 1 10 0 20 0 1 0 375944151 19304448 4382 33554432000 4194304 6004724 140736445496960 140736445483240 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/19447/statm: 4713 4382 152 442 0 4267 0
[pid=19452] ppid=19447 vsize=128988 CPUtime=1541.75 cores=0,2,4,6
/proc/19452/stat : 19452 (glucosInc) R 19447 19446 19416 0 -1 4202496 49451 0 0 0 154103 72 0 0 20 0 1 0 375944180 132083712 31299 33554432000 4194304 5654031 140736465897664 140736465895592 4232994 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19452/statm: 32247 31299 142 357 0 31887 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 156988
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.61 3/181 19596
/proc/meminfo: memFree=30449268/32873844 swapFree=7632/7632
[pid=19446] ppid=19444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19446/stat : 19446 (npSolver-pbo-It) S 19444 19446 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375944151 9367552 275 33554432000 4194304 5064252 140734725945248 140734725944160 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19446/statm: 2287 275 233 213 0 72 0
[pid=19447] ppid=19446 vsize=18852 CPUtime=0.24 cores=0,2,4,6
/proc/19447/stat : 19447 (npSolver-pbo) S 19446 19446 19416 0 -1 4202496 6216 2664 0 1 13 1 10 0 20 0 1 0 375944151 19304448 4382 33554432000 4194304 6004724 140736445496960 140736445483240 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/19447/statm: 4713 4382 152 442 0 4267 0
[pid=19452] ppid=19447 vsize=80404 CPUtime=1601.74 cores=0,2,4,6
/proc/19452/stat : 19452 (glucosInc) R 19447 19446 19416 0 -1 4202496 50365 0 0 0 160100 74 0 0 20 0 1 0 375944180 82333696 19564 33554432000 4194304 5654031 140736465897664 140736465895688 4232767 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19452/statm: 20101 19564 142 357 0 19741 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 108404
[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.64 3/182 19599
/proc/meminfo: memFree=30105080/32873844 swapFree=7632/7632
[pid=19446] ppid=19444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19446/stat : 19446 (npSolver-pbo-It) S 19444 19446 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375944151 9367552 275 33554432000 4194304 5064252 140734725945248 140734725944160 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19446/statm: 2287 275 233 213 0 72 0
[pid=19447] ppid=19446 vsize=18852 CPUtime=0.24 cores=0,2,4,6
/proc/19447/stat : 19447 (npSolver-pbo) S 19446 19446 19416 0 -1 4202496 6216 2664 0 1 13 1 10 0 20 0 1 0 375944151 19304448 4382 33554432000 4194304 6004724 140736445496960 140736445483240 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/19447/statm: 4713 4382 152 442 0 4267 0
[pid=19452] ppid=19447 vsize=210632 CPUtime=1661.74 cores=0,2,4,6
/proc/19452/stat : 19452 (glucosInc) R 19447 19446 19416 0 -1 4202496 51943 0 0 0 166097 77 0 0 20 0 1 0 375944180 215687168 41579 33554432000 4194304 5654031 140736465897664 140736465895752 4232976 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19452/statm: 52658 41579 142 357 0 52298 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 238632
[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.65 3/181 19600
/proc/meminfo: memFree=30439100/32873844 swapFree=7632/7632
[pid=19446] ppid=19444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19446/stat : 19446 (npSolver-pbo-It) S 19444 19446 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375944151 9367552 275 33554432000 4194304 5064252 140734725945248 140734725944160 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19446/statm: 2287 275 233 213 0 72 0
[pid=19447] ppid=19446 vsize=18852 CPUtime=0.24 cores=0,2,4,6
/proc/19447/stat : 19447 (npSolver-pbo) S 19446 19446 19416 0 -1 4202496 6216 2664 0 1 13 1 10 0 20 0 1 0 375944151 19304448 4382 33554432000 4194304 6004724 140736445496960 140736445483240 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/19447/statm: 4713 4382 152 442 0 4267 0
[pid=19452] ppid=19447 vsize=211120 CPUtime=1721.73 cores=0,2,4,6
/proc/19452/stat : 19452 (glucosInc) R 19447 19446 19416 0 -1 4202496 53282 0 0 0 172093 80 0 0 20 0 1 0 375944180 216186880 39985 33554432000 4194304 5654031 140736465897664 140736465895752 4233168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19452/statm: 52780 39985 142 357 0 52420 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 239120
[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.67 3/181 19600
/proc/meminfo: memFree=30207168/32873844 swapFree=7632/7632
[pid=19446] ppid=19444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19446/stat : 19446 (npSolver-pbo-It) S 19444 19446 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375944151 9367552 275 33554432000 4194304 5064252 140734725945248 140734725944160 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19446/statm: 2287 275 233 213 0 72 0
[pid=19447] ppid=19446 vsize=18852 CPUtime=0.24 cores=0,2,4,6
/proc/19447/stat : 19447 (npSolver-pbo) S 19446 19446 19416 0 -1 4202496 6216 2664 0 1 13 1 10 0 20 0 1 0 375944151 19304448 4382 33554432000 4194304 6004724 140736445496960 140736445483240 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/19447/statm: 4713 4382 152 442 0 4267 0
[pid=19452] ppid=19447 vsize=161416 CPUtime=1781.72 cores=0,2,4,6
/proc/19452/stat : 19452 (glucosInc) R 19447 19446 19416 0 -1 4202496 54657 0 0 0 178090 82 0 0 20 0 1 0 375944180 165289984 37400 33554432000 4194304 5654031 140736465897664 140736465895752 4232800 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19452/statm: 40354 37400 142 357 0 39994 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 189416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 1.97 1.68 3/181 19600
/proc/meminfo: memFree=30122396/32873844 swapFree=7632/7632
[pid=19446] ppid=19444 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19446/stat : 19446 (npSolver-pbo-It) S 19444 19446 19416 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375944151 9367552 275 33554432000 4194304 5064252 140734725945248 140734725944160 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19446/statm: 2287 275 233 213 0 72 0
[pid=19447] ppid=19446 vsize=18852 CPUtime=0.24 cores=0,2,4,6
/proc/19447/stat : 19447 (npSolver-pbo) S 19446 19446 19416 0 -1 4202496 6216 2664 0 1 13 1 10 0 20 0 1 0 375944151 19304448 4382 33554432000 4194304 6004724 140736445496960 140736445483240 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/19447/statm: 4713 4382 152 442 0 4267 0
[pid=19452] ppid=19447 vsize=211504 CPUtime=1799.82 cores=0,2,4,6
/proc/19452/stat : 19452 (glucosInc) R 19447 19446 19416 0 -1 4202496 54967 0 0 0 179899 83 0 0 20 0 1 0 375944180 216580096 40773 33554432000 4194304 5654031 140736465897664 140736465895752 4232784 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19452/statm: 52876 40773 142 357 0 52516 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 239504
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19446 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=248962
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=26995
# CPU time returned by wait4() is 0.275957
# 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.22
CPU system time (s): 0.84
CPU usage (%): 99.9804
Max. virtual memory (cumulated for all children) (KiB): 239504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.248962
system time used= 0.026995
maximum resident set size= 44820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9254
page faults= 1
swaps= 0
block input operations= 232
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19
involuntary context switches= 8
runsolver used 6.94094 second user time and 19.1201 second system time
The end