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-3751307-1339218957/watcher-3751307-1339218957 -o /tmp/evaluation-result-3751307-1339218957/solver-3751307-1339218957 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751307-1339218957.opb 1102707098 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: 0.07 0.06 0.00 3/175 24091
/proc/meminfo: memFree=29646088/32873844 swapFree=8660/8660
[pid=24091] ppid=24087 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24091/stat : 24091 (npSolver-pbo-It) S 24087 24091 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024261 9367552 275 33554432000 4194304 5064252 140733981968480 140733981967392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24091/statm: 2287 275 233 213 0 72 0
[startup+0.00809511 s]
/proc/loadavg: 0.07 0.06 0.00 3/175 24091
/proc/meminfo: memFree=29646088/32873844 swapFree=8660/8660
[pid=24091] ppid=24087 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24091/stat : 24091 (npSolver-pbo-It) S 24087 24091 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024261 9367552 275 33554432000 4194304 5064252 140733981968480 140733981967392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24091/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100263 s]
/proc/loadavg: 0.07 0.06 0.00 3/175 24091
/proc/meminfo: memFree=29646088/32873844 swapFree=8660/8660
[pid=24091] ppid=24087 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24091/stat : 24091 (npSolver-pbo-It) S 24087 24091 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024261 9367552 275 33554432000 4194304 5064252 140733981968480 140733981967392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24091/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300164 s]
/proc/loadavg: 0.07 0.06 0.00 3/175 24091
/proc/meminfo: memFree=29646088/32873844 swapFree=8660/8660
[pid=24091] ppid=24087 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24091/stat : 24091 (npSolver-pbo-It) S 24087 24091 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024261 9367552 275 33554432000 4194304 5064252 140733981968480 140733981967392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24091/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700264 s]
/proc/loadavg: 0.07 0.06 0.00 3/175 24091
/proc/meminfo: memFree=29646088/32873844 swapFree=8660/8660
[pid=24091] ppid=24087 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24091/stat : 24091 (npSolver-pbo-It) S 24087 24091 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024261 9367552 275 33554432000 4194304 5064252 140733981968480 140733981967392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24091/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 0.07 0.06 0.00 4/181 24103
/proc/meminfo: memFree=29598688/32873844 swapFree=8660/8660
[pid=24091] ppid=24087 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24091/stat : 24091 (npSolver-pbo-It) S 24087 24091 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024261 9367552 275 33554432000 4194304 5064252 140733981968480 140733981967392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24091/statm: 2287 275 233 213 0 72 0
[pid=24093] ppid=24091 vsize=14476 CPUtime=0.38 cores=1,3,5,7
/proc/24093/stat : 24093 (npSolver-pbo) S 24091 24091 24048 0 -1 4202496 5287 5548 0 0 10 1 26 1 20 0 1 0 388024261 14823424 3038 33554432000 4194304 6004724 140733955553904 140733955540184 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/24093/statm: 3619 3038 152 442 0 3173 0
[pid=24101] ppid=24093 vsize=11780 CPUtime=1.08 cores=1,3,5,7
/proc/24101/stat : 24101 (glucosInc) R 24093 24091 24048 0 -1 4202496 3011 0 0 0 108 0 0 0 20 0 1 0 388024301 12062720 2552 33554432000 4194304 5654031 140735831776224 140735831774184 4234964 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24101/statm: 2945 2552 142 357 0 2585 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 35404
[startup+3.10034 s]
/proc/loadavg: 0.07 0.06 0.00 4/181 24103
/proc/meminfo: memFree=29594864/32873844 swapFree=8660/8660
[pid=24091] ppid=24087 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24091/stat : 24091 (npSolver-pbo-It) S 24087 24091 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024261 9367552 275 33554432000 4194304 5064252 140733981968480 140733981967392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24091/statm: 2287 275 233 213 0 72 0
[pid=24093] ppid=24091 vsize=14476 CPUtime=0.38 cores=1,3,5,7
/proc/24093/stat : 24093 (npSolver-pbo) S 24091 24091 24048 0 -1 4202496 5287 5548 0 0 10 1 26 1 20 0 1 0 388024261 14823424 3038 33554432000 4194304 6004724 140733955553904 140733955540184 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/24093/statm: 3619 3038 152 442 0 3173 0
[pid=24101] ppid=24093 vsize=16828 CPUtime=2.68 cores=1,3,5,7
/proc/24101/stat : 24101 (glucosInc) R 24093 24091 24048 0 -1 4202496 4565 0 0 0 268 0 0 0 20 0 1 0 388024301 17231872 3845 33554432000 4194304 5654031 140735831776224 140735831764040 4236082 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24101/statm: 4207 3845 142 357 0 3847 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 40452
[startup+6.30038 s]
/proc/loadavg: 0.22 0.09 0.01 5/181 24103
/proc/meminfo: memFree=29575024/32873844 swapFree=8660/8660
[pid=24091] ppid=24087 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24091/stat : 24091 (npSolver-pbo-It) S 24087 24091 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024261 9367552 275 33554432000 4194304 5064252 140733981968480 140733981967392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24091/statm: 2287 275 233 213 0 72 0
[pid=24093] ppid=24091 vsize=14476 CPUtime=0.38 cores=1,3,5,7
/proc/24093/stat : 24093 (npSolver-pbo) S 24091 24091 24048 0 -1 4202496 5287 5548 0 0 10 1 26 1 20 0 1 0 388024261 14823424 3038 33554432000 4194304 6004724 140733955553904 140733955540184 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/24093/statm: 3619 3038 152 442 0 3173 0
[pid=24101] ppid=24093 vsize=23900 CPUtime=5.88 cores=1,3,5,7
/proc/24101/stat : 24101 (glucosInc) R 24093 24091 24048 0 -1 4202496 5317 0 0 0 587 1 0 0 20 0 1 0 388024301 24473600 5618 33554432000 4194304 5654031 140735831776224 140735831764040 4232479 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24101/statm: 5975 5618 142 357 0 5615 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 47524
[startup+12.7004 s]
/proc/loadavg: 0.36 0.12 0.02 4/181 24103
/proc/meminfo: memFree=29552488/32873844 swapFree=8660/8660
[pid=24091] ppid=24087 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24091/stat : 24091 (npSolver-pbo-It) S 24087 24091 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024261 9367552 275 33554432000 4194304 5064252 140733981968480 140733981967392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24091/statm: 2287 275 233 213 0 72 0
[pid=24093] ppid=24091 vsize=14476 CPUtime=0.38 cores=1,3,5,7
/proc/24093/stat : 24093 (npSolver-pbo) S 24091 24091 24048 0 -1 4202496 5287 5548 0 0 10 1 26 1 20 0 1 0 388024261 14823424 3038 33554432000 4194304 6004724 140733955553904 140733955540184 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/24093/statm: 3619 3038 152 442 0 3173 0
[pid=24101] ppid=24093 vsize=35604 CPUtime=12.28 cores=1,3,5,7
/proc/24101/stat : 24101 (glucosInc) R 24093 24091 24048 0 -1 4202496 6467 0 0 0 1227 1 0 0 20 0 1 0 388024301 36458496 8454 33554432000 4194304 5654031 140735831776224 140735831764040 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24101/statm: 8901 8454 142 357 0 8541 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 59228
[startup+25.5004 s]
/proc/loadavg: 0.73 0.22 0.05 4/181 24103
/proc/meminfo: memFree=29515504/32873844 swapFree=8660/8660
[pid=24091] ppid=24087 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24091/stat : 24091 (npSolver-pbo-It) S 24087 24091 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024261 9367552 275 33554432000 4194304 5064252 140733981968480 140733981967392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24091/statm: 2287 275 233 213 0 72 0
[pid=24093] ppid=24091 vsize=14476 CPUtime=0.38 cores=1,3,5,7
/proc/24093/stat : 24093 (npSolver-pbo) S 24091 24091 24048 0 -1 4202496 5287 5548 0 0 10 1 26 1 20 0 1 0 388024261 14823424 3038 33554432000 4194304 6004724 140733955553904 140733955540184 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/24093/statm: 3619 3038 152 442 0 3173 0
[pid=24101] ppid=24093 vsize=54280 CPUtime=25.08 cores=1,3,5,7
/proc/24101/stat : 24101 (glucosInc) R 24093 24091 24048 0 -1 4202496 7124 0 0 0 2506 2 0 0 20 0 1 0 388024301 55582720 10502 33554432000 4194304 5654031 140735831776224 140735831764040 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24101/statm: 13570 10502 142 357 0 13210 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 77904
[startup+51.1004 s]
/proc/loadavg: 1.32 0.39 0.11 4/181 24103
/proc/meminfo: memFree=29489808/32873844 swapFree=8660/8660
[pid=24091] ppid=24087 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24091/stat : 24091 (npSolver-pbo-It) S 24087 24091 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024261 9367552 275 33554432000 4194304 5064252 140733981968480 140733981967392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24091/statm: 2287 275 233 213 0 72 0
[pid=24093] ppid=24091 vsize=14476 CPUtime=0.38 cores=1,3,5,7
/proc/24093/stat : 24093 (npSolver-pbo) S 24091 24091 24048 0 -1 4202496 5287 5548 0 0 10 1 26 1 20 0 1 0 388024261 14823424 3038 33554432000 4194304 6004724 140733955553904 140733955540184 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/24093/statm: 3619 3038 152 442 0 3173 0
[pid=24101] ppid=24093 vsize=107872 CPUtime=50.67 cores=1,3,5,7
/proc/24101/stat : 24101 (glucosInc) R 24093 24091 24048 0 -1 4202496 8420 0 0 0 5063 4 0 0 20 0 1 0 388024301 110460928 22219 33554432000 4194304 5654031 140735831776224 140735831764040 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24101/statm: 26968 22219 142 357 0 26608 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 131496
[startup+102.307 s]
/proc/loadavg: 1.70 0.64 0.21 4/181 24103
/proc/meminfo: memFree=29405876/32873844 swapFree=8660/8660
[pid=24091] ppid=24087 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24091/stat : 24091 (npSolver-pbo-It) S 24087 24091 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024261 9367552 275 33554432000 4194304 5064252 140733981968480 140733981967392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24091/statm: 2287 275 233 213 0 72 0
[pid=24093] ppid=24091 vsize=14476 CPUtime=0.38 cores=1,3,5,7
/proc/24093/stat : 24093 (npSolver-pbo) S 24091 24091 24048 0 -1 4202496 5287 5548 0 0 10 1 26 1 20 0 1 0 388024261 14823424 3038 33554432000 4194304 6004724 140733955553904 140733955540184 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/24093/statm: 3619 3038 152 442 0 3173 0
[pid=24101] ppid=24093 vsize=127644 CPUtime=101.86 cores=1,3,5,7
/proc/24101/stat : 24101 (glucosInc) R 24093 24091 24048 0 -1 4202496 10717 0 0 0 10177 9 0 0 20 0 1 0 388024301 130707456 27145 33554432000 4194304 5654031 140735831776224 140735831764040 4215374 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24101/statm: 31911 27145 142 357 0 31551 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 151268
[startup+162.3 s]
/proc/loadavg: 1.89 0.88 0.32 4/181 24104
/proc/meminfo: memFree=29309180/32873844 swapFree=8660/8660
[pid=24091] ppid=24087 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24091/stat : 24091 (npSolver-pbo-It) S 24087 24091 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024261 9367552 275 33554432000 4194304 5064252 140733981968480 140733981967392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24091/statm: 2287 275 233 213 0 72 0
[pid=24093] ppid=24091 vsize=14476 CPUtime=0.38 cores=1,3,5,7
/proc/24093/stat : 24093 (npSolver-pbo) S 24091 24091 24048 0 -1 4202496 5287 5548 0 0 10 1 26 1 20 0 1 0 388024261 14823424 3038 33554432000 4194304 6004724 140733955553904 140733955540184 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/24093/statm: 3619 3038 152 442 0 3173 0
[pid=24101] ppid=24093 vsize=188832 CPUtime=161.85 cores=1,3,5,7
/proc/24101/stat : 24101 (glucosInc) R 24093 24091 24048 0 -1 4202496 13469 0 0 0 16170 15 0 0 20 0 1 0 388024301 193363968 43013 33554432000 4194304 5654031 140735831776224 140735831764040 4232862 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24101/statm: 47208 43013 142 357 0 46848 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 212456
[startup+222.3 s]
/proc/loadavg: 1.96 1.08 0.42 4/181 24104
/proc/meminfo: memFree=29319148/32873844 swapFree=8660/8660
[pid=24091] ppid=24087 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24091/stat : 24091 (npSolver-pbo-It) S 24087 24091 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024261 9367552 275 33554432000 4194304 5064252 140733981968480 140733981967392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24091/statm: 2287 275 233 213 0 72 0
[pid=24093] ppid=24091 vsize=14476 CPUtime=0.38 cores=1,3,5,7
/proc/24093/stat : 24093 (npSolver-pbo) S 24091 24091 24048 0 -1 4202496 5287 5548 0 0 10 1 26 1 20 0 1 0 388024261 14823424 3038 33554432000 4194304 6004724 140733955553904 140733955540184 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/24093/statm: 3619 3038 152 442 0 3173 0
[pid=24101] ppid=24093 vsize=188832 CPUtime=221.84 cores=1,3,5,7
/proc/24101/stat : 24101 (glucosInc) R 24093 24091 24048 0 -1 4202496 15526 0 0 0 22164 20 0 0 20 0 1 0 388024301 193363968 40965 33554432000 4194304 5654031 140735831776224 140735831764040 4232688 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24101/statm: 47208 40965 142 357 0 46848 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 212456
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.00 1.97 1.51 4/181 24116
/proc/meminfo: memFree=29120424/32873844 swapFree=8660/8660
[pid=24091] ppid=24087 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24091/stat : 24091 (npSolver-pbo-It) S 24087 24091 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024261 9367552 275 33554432000 4194304 5064252 140733981968480 140733981967392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24091/statm: 2287 275 233 213 0 72 0
[pid=24093] ppid=24091 vsize=14476 CPUtime=0.38 cores=1,3,5,7
/proc/24093/stat : 24093 (npSolver-pbo) S 24091 24091 24048 0 -1 4202496 5287 5548 0 0 10 1 26 1 20 0 1 0 388024261 14823424 3038 33554432000 4194304 6004724 140733955553904 140733955540184 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/24093/statm: 3619 3038 152 442 0 3173 0
[pid=24101] ppid=24093 vsize=238920 CPUtime=1361.55 cores=1,3,5,7
/proc/24101/stat : 24101 (glucosInc) R 24093 24091 24048 0 -1 4202496 41326 0 0 0 136053 102 0 0 20 0 1 0 388024301 244654080 48437 33554432000 4194304 5654031 140735831776224 140735831764040 4217196 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24101/statm: 59730 48437 142 357 0 59370 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 262544
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.54 4/181 24116
/proc/meminfo: memFree=29124384/32873844 swapFree=8660/8660
[pid=24091] ppid=24087 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24091/stat : 24091 (npSolver-pbo-It) S 24087 24091 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024261 9367552 275 33554432000 4194304 5064252 140733981968480 140733981967392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24091/statm: 2287 275 233 213 0 72 0
[pid=24093] ppid=24091 vsize=14476 CPUtime=0.38 cores=1,3,5,7
/proc/24093/stat : 24093 (npSolver-pbo) S 24091 24091 24048 0 -1 4202496 5287 5548 0 0 10 1 26 1 20 0 1 0 388024261 14823424 3038 33554432000 4194304 6004724 140733955553904 140733955540184 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/24093/statm: 3619 3038 152 442 0 3173 0
[pid=24101] ppid=24093 vsize=320308 CPUtime=1421.55 cores=1,3,5,7
/proc/24101/stat : 24101 (glucosInc) R 24093 24091 24048 0 -1 4202496 41889 0 0 0 142051 104 0 0 20 0 1 0 388024301 327995392 74037 33554432000 4194304 5654031 140735831776224 140735831764040 4232784 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24101/statm: 80077 74037 142 357 0 79717 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 343932
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.56 4/182 24119
/proc/meminfo: memFree=29125728/32873844 swapFree=8660/8660
[pid=24091] ppid=24087 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24091/stat : 24091 (npSolver-pbo-It) S 24087 24091 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024261 9367552 275 33554432000 4194304 5064252 140733981968480 140733981967392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24091/statm: 2287 275 233 213 0 72 0
[pid=24093] ppid=24091 vsize=14476 CPUtime=0.38 cores=1,3,5,7
/proc/24093/stat : 24093 (npSolver-pbo) S 24091 24091 24048 0 -1 4202496 5287 5548 0 0 10 1 26 1 20 0 1 0 388024261 14823424 3038 33554432000 4194304 6004724 140733955553904 140733955540184 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/24093/statm: 3619 3038 152 442 0 3173 0
[pid=24101] ppid=24093 vsize=188832 CPUtime=1481.53 cores=1,3,5,7
/proc/24101/stat : 24101 (glucosInc) R 24093 24091 24048 0 -1 4202496 43263 0 0 0 148044 109 0 0 20 0 1 0 388024301 193363968 46600 33554432000 4194304 5654031 140735831776224 140735831764040 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24101/statm: 47208 46600 142 357 0 46848 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 212456
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.59 4/181 24119
/proc/meminfo: memFree=29143208/32873844 swapFree=8660/8660
[pid=24091] ppid=24087 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24091/stat : 24091 (npSolver-pbo-It) S 24087 24091 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024261 9367552 275 33554432000 4194304 5064252 140733981968480 140733981967392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24091/statm: 2287 275 233 213 0 72 0
[pid=24093] ppid=24091 vsize=14476 CPUtime=0.38 cores=1,3,5,7
/proc/24093/stat : 24093 (npSolver-pbo) S 24091 24091 24048 0 -1 4202496 5287 5548 0 0 10 1 26 1 20 0 1 0 388024261 14823424 3038 33554432000 4194304 6004724 140733955553904 140733955540184 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/24093/statm: 3619 3038 152 442 0 3173 0
[pid=24101] ppid=24093 vsize=320308 CPUtime=1541.49 cores=1,3,5,7
/proc/24101/stat : 24101 (glucosInc) R 24093 24091 24048 0 -1 4202496 44167 0 0 0 154037 112 0 0 20 0 1 0 388024301 327995392 74037 33554432000 4194304 5654031 140735831776224 140735831764040 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24101/statm: 80077 74037 142 357 0 79717 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 343932
[startup+1602.3 s]
/proc/loadavg: 2.08 2.00 1.62 4/181 24119
/proc/meminfo: memFree=29152688/32873844 swapFree=8660/8660
[pid=24091] ppid=24087 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24091/stat : 24091 (npSolver-pbo-It) S 24087 24091 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024261 9367552 275 33554432000 4194304 5064252 140733981968480 140733981967392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24091/statm: 2287 275 233 213 0 72 0
[pid=24093] ppid=24091 vsize=14476 CPUtime=0.38 cores=1,3,5,7
/proc/24093/stat : 24093 (npSolver-pbo) S 24091 24091 24048 0 -1 4202496 5287 5548 0 0 10 1 26 1 20 0 1 0 388024261 14823424 3038 33554432000 4194304 6004724 140733955553904 140733955540184 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/24093/statm: 3619 3038 152 442 0 3173 0
[pid=24101] ppid=24093 vsize=188832 CPUtime=1601.49 cores=1,3,5,7
/proc/24101/stat : 24101 (glucosInc) R 24093 24091 24048 0 -1 4202496 45543 0 0 0 160030 119 0 0 20 0 1 0 388024301 193363968 43528 33554432000 4194304 5654031 140735831776224 140735831764040 4232800 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24101/statm: 47208 43528 142 357 0 46848 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 212456
[startup+1662.3 s]
/proc/loadavg: 2.03 2.00 1.64 4/181 24120
/proc/meminfo: memFree=29179176/32873844 swapFree=8660/8660
[pid=24091] ppid=24087 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24091/stat : 24091 (npSolver-pbo-It) S 24087 24091 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024261 9367552 275 33554432000 4194304 5064252 140733981968480 140733981967392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24091/statm: 2287 275 233 213 0 72 0
[pid=24093] ppid=24091 vsize=14476 CPUtime=0.38 cores=1,3,5,7
/proc/24093/stat : 24093 (npSolver-pbo) S 24091 24091 24048 0 -1 4202496 5287 5548 0 0 10 1 26 1 20 0 1 0 388024261 14823424 3038 33554432000 4194304 6004724 140733955553904 140733955540184 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/24093/statm: 3619 3038 152 442 0 3173 0
[pid=24101] ppid=24093 vsize=320308 CPUtime=1661.48 cores=1,3,5,7
/proc/24101/stat : 24101 (glucosInc) R 24093 24091 24048 0 -1 4202496 46409 0 0 0 166026 122 0 0 20 0 1 0 388024301 327995392 70965 33554432000 4194304 5654031 140735831776224 140735831764040 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24101/statm: 80077 70965 142 357 0 79717 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 343932
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 1.66 4/181 24120
/proc/meminfo: memFree=28968920/32873844 swapFree=8660/8660
[pid=24091] ppid=24087 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24091/stat : 24091 (npSolver-pbo-It) S 24087 24091 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024261 9367552 275 33554432000 4194304 5064252 140733981968480 140733981967392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24091/statm: 2287 275 233 213 0 72 0
[pid=24093] ppid=24091 vsize=14476 CPUtime=0.38 cores=1,3,5,7
/proc/24093/stat : 24093 (npSolver-pbo) S 24091 24091 24048 0 -1 4202496 5287 5548 0 0 10 1 26 1 20 0 1 0 388024261 14823424 3038 33554432000 4194304 6004724 140733955553904 140733955540184 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/24093/statm: 3619 3038 152 442 0 3173 0
[pid=24101] ppid=24093 vsize=452568 CPUtime=1721.47 cores=1,3,5,7
/proc/24101/stat : 24101 (glucosInc) R 24093 24091 24048 0 -1 4202496 46919 0 0 0 172022 125 0 0 20 0 1 0 388024301 463429632 92934 33554432000 4194304 5654031 140735831776224 140735831764040 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24101/statm: 113142 92934 142 357 0 112782 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 476192
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.68 4/181 24120
/proc/meminfo: memFree=28989064/32873844 swapFree=8660/8660
[pid=24091] ppid=24087 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24091/stat : 24091 (npSolver-pbo-It) S 24087 24091 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024261 9367552 275 33554432000 4194304 5064252 140733981968480 140733981967392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24091/statm: 2287 275 233 213 0 72 0
[pid=24093] ppid=24091 vsize=14476 CPUtime=0.38 cores=1,3,5,7
/proc/24093/stat : 24093 (npSolver-pbo) S 24091 24091 24048 0 -1 4202496 5287 5548 0 0 10 1 26 1 20 0 1 0 388024261 14823424 3038 33554432000 4194304 6004724 140733955553904 140733955540184 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/24093/statm: 3619 3038 152 442 0 3173 0
[pid=24101] ppid=24093 vsize=320308 CPUtime=1781.45 cores=1,3,5,7
/proc/24101/stat : 24101 (glucosInc) R 24093 24091 24048 0 -1 4202496 48660 0 0 0 178016 129 0 0 20 0 1 0 388024301 327995392 63285 33554432000 4194304 5654031 140735831776224 140735831764040 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24101/statm: 80077 63285 142 357 0 79717 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 343932
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.68 3/175 24144
/proc/meminfo: memFree=29350292/32873844 swapFree=8660/8660
[pid=24091] ppid=24087 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24091/stat : 24091 (npSolver-pbo-It) S 24087 24091 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024261 9367552 275 33554432000 4194304 5064252 140733981968480 140733981967392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24091/statm: 2287 275 233 213 0 72 0
[pid=24093] ppid=24091 vsize=14476 CPUtime=0.38 cores=1,3,5,7
/proc/24093/stat : 24093 (npSolver-pbo) S 24091 24091 24048 0 -1 4202496 5287 5548 0 0 10 1 26 1 20 0 1 0 388024261 14823424 3038 33554432000 4194304 6004724 140733955553904 140733955540184 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/24093/statm: 3619 3038 152 442 0 3173 0
[pid=24101] ppid=24093 vsize=320308 CPUtime=1799.65 cores=1,3,5,7
/proc/24101/stat : 24101 (glucosInc) R 24093 24091 24048 0 -1 4202496 48675 0 0 0 179835 130 0 0 20 0 1 0 388024301 327995392 70965 33554432000 4194304 5654031 140735831776224 140735831764040 4232939 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24101/statm: 80077 70965 142 357 0 79717 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 343932
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.68 3/175 24144
/proc/meminfo: memFree=29350292/32873844 swapFree=8660/8660
[pid=24091] ppid=24087 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24091/stat : 24091 (npSolver-pbo-It) S 24087 24091 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024261 9367552 275 33554432000 4194304 5064252 140733981968480 140733981967392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24091/statm: 2287 275 233 213 0 72 0
[pid=24093] ppid=24091 vsize=14476 CPUtime=0.38 cores=1,3,5,7
/proc/24093/stat : 24093 (npSolver-pbo) S 24091 24091 24048 0 -1 4202496 5287 5548 0 0 10 1 26 1 20 0 1 0 388024261 14823424 3038 33554432000 4194304 6004724 140733955553904 140733955540184 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/24093/statm: 3619 3038 152 442 0 3173 0
[pid=24101] ppid=24093 vsize=320308 CPUtime=1799.65 cores=1,3,5,7
/proc/24101/stat : 24101 (glucosInc) R 24093 24091 24048 0 -1 4202496 48675 0 0 0 179835 130 0 0 20 0 1 0 388024301 327995392 70965 33554432000 4194304 5654031 140735831776224 140735831764040 4232939 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24101/statm: 80077 70965 142 357 0 79717 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 343932
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24091 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=368943
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=38994
# CPU time returned by wait4() is 0.407937
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1798.71
CPU system time (s): 1.32
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 525512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.368943
system time used= 0.038994
maximum resident set size= 39448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11210
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 11
runsolver used 3.01154 second user time and 8.45871 second system time
The end