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-3748495-1339175813/watcher-3748495-1339175813 -o /tmp/evaluation-result-3748495-1339175813/solver-3748495-1339175813 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748495-1339175813.opb 1250330741 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.06 2.10 2.09 3/178 29391
/proc/meminfo: memFree=31252020/32873648 swapFree=7376/7376
[pid=29391] ppid=29389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29391/stat : 29391 (npSolver-pbo-I.) R 29389 29391 28786 0 -1 4202496 301 0 0 0 0 0 0 0 20 0 1 0 383707366 9367552 235 33554432000 4194304 5064252 140734367021088 140733949442024 4735264 0 0 4100 65536 0 0 0 17 4 0 0 0 0 0
/proc/29391/statm: 2287 235 195 213 0 72 0
[startup+0.083569 s]
/proc/loadavg: 2.06 2.10 2.09 3/178 29391
/proc/meminfo: memFree=31252020/32873648 swapFree=7376/7376
[pid=29391] ppid=29389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29391/stat : 29391 (npSolver-pbo-I.) S 29389 29391 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383707366 9367552 275 33554432000 4194304 5064252 140734367021088 140734367020000 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29391/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100204 s]
/proc/loadavg: 2.06 2.10 2.09 3/178 29391
/proc/meminfo: memFree=31252020/32873648 swapFree=7376/7376
[pid=29391] ppid=29389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29391/stat : 29391 (npSolver-pbo-I.) S 29389 29391 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383707366 9367552 275 33554432000 4194304 5064252 140734367021088 140734367020000 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29391/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300145 s]
/proc/loadavg: 2.06 2.10 2.09 3/178 29391
/proc/meminfo: memFree=31252020/32873648 swapFree=7376/7376
[pid=29391] ppid=29389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29391/stat : 29391 (npSolver-pbo-I.) S 29389 29391 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383707366 9367552 275 33554432000 4194304 5064252 140734367021088 140734367020000 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29391/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700175 s]
/proc/loadavg: 2.06 2.10 2.09 3/178 29391
/proc/meminfo: memFree=31252020/32873648 swapFree=7376/7376
[pid=29391] ppid=29389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29391/stat : 29391 (npSolver-pbo-I.) S 29389 29391 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383707366 9367552 275 33554432000 4194304 5064252 140734367021088 140734367020000 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29391/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.06 2.10 2.09 3/182 29395
/proc/meminfo: memFree=31080652/32873648 swapFree=7376/7376
[pid=29391] ppid=29389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29391/stat : 29391 (npSolver-pbo-I.) S 29389 29391 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383707366 9367552 275 33554432000 4194304 5064252 140734367021088 140734367020000 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29391/statm: 2287 275 233 213 0 72 0
[pid=29393] ppid=29391 vsize=37592 CPUtime=0.5 cores=0,2,4,6
/proc/29393/stat : 29393 (npSolver-pbo) S 29391 29391 28786 0 -1 4202496 8258 0 0 0 45 5 0 0 20 0 1 0 383707367 38494208 7801 33554432000 4194304 6004724 140736256815088 140736256809552 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29393/statm: 9398 7801 164 442 0 8952 0
[pid=29394] ppid=29393 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29394/stat : 29394 (cp2_pre.sh) S 29393 29391 28786 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 383707417 9367552 276 33554432000 4194304 5064252 140737349522304 140737349521008 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29394/statm: 2287 276 234 213 0 72 0
[pid=29395] ppid=29394 vsize=163544 CPUtime=0.97 cores=0,2,4,6
/proc/29395/stat : 29395 (coprocessor) R 29394 29391 28786 0 -1 4202496 29556 0 0 0 92 5 0 0 20 0 1 0 383707418 167469056 39290 33554432000 4194304 6586260 140735918855456 140735918851720 4770107 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/29395/statm: 40886 39290 182 584 0 40298 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 219432
[startup+3.10029 s]
/proc/loadavg: 2.06 2.10 2.09 3/182 29395
/proc/meminfo: memFree=31027776/32873648 swapFree=7376/7376
[pid=29391] ppid=29389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29391/stat : 29391 (npSolver-pbo-I.) S 29389 29391 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383707366 9367552 275 33554432000 4194304 5064252 140734367021088 140734367020000 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29391/statm: 2287 275 233 213 0 72 0
[pid=29393] ppid=29391 vsize=37592 CPUtime=0.5 cores=0,2,4,6
/proc/29393/stat : 29393 (npSolver-pbo) S 29391 29391 28786 0 -1 4202496 8258 0 0 0 45 5 0 0 20 0 1 0 383707367 38494208 7801 33554432000 4194304 6004724 140736256815088 140736256809552 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29393/statm: 9398 7801 164 442 0 8952 0
[pid=29394] ppid=29393 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29394/stat : 29394 (cp2_pre.sh) S 29393 29391 28786 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 383707417 9367552 276 33554432000 4194304 5064252 140737349522304 140737349521008 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29394/statm: 2287 276 234 213 0 72 0
[pid=29395] ppid=29394 vsize=188960 CPUtime=2.57 cores=0,2,4,6
/proc/29395/stat : 29395 (coprocessor) R 29394 29391 28786 0 -1 4202496 33584 0 0 0 251 6 0 0 20 0 1 0 383707418 193495040 45873 33554432000 4194304 6586260 140735918855456 140735918850776 4676681 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/29395/statm: 47240 45873 192 584 0 46652 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 244848
[startup+6.30018 s]
/proc/loadavg: 2.06 2.10 2.09 3/181 29397
/proc/meminfo: memFree=31133088/32873648 swapFree=7376/7376
[pid=29391] ppid=29389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29391/stat : 29391 (npSolver-pbo-I.) S 29389 29391 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383707366 9367552 275 33554432000 4194304 5064252 140734367021088 140734367020000 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29391/statm: 2287 275 233 213 0 72 0
[pid=29393] ppid=29391 vsize=37592 CPUtime=5.02 cores=0,2,4,6
/proc/29393/stat : 29393 (npSolver-pbo) R 29391 29391 28786 0 -1 4202496 10048 35767 0 0 61 56 370 15 20 0 1 0 383707367 38494208 7810 33554432000 4194304 6004724 140736256815088 140736256809288 5190832 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29393/statm: 9398 7810 173 442 0 8952 0
[pid=29397] ppid=29393 vsize=84512 CPUtime=0.64 cores=0,2,4,6
/proc/29397/stat : 29397 (glucosInc) S 29393 29391 28786 0 -1 4202496 17539 0 0 0 62 2 0 0 20 0 1 0 383707864 86540288 19425 33554432000 4194304 5654031 140735410966800 140735410965112 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/29397/statm: 21128 19425 146 357 0 20768 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 131252
[startup+12.7003 s]
/proc/loadavg: 2.05 2.10 2.09 3/181 29400
/proc/meminfo: memFree=30757284/32873648 swapFree=7376/7376
[pid=29391] ppid=29389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29391/stat : 29391 (npSolver-pbo-I.) S 29389 29391 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383707366 9367552 275 33554432000 4194304 5064252 140734367021088 140734367020000 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29391/statm: 2287 275 233 213 0 72 0
[pid=29393] ppid=29391 vsize=53720 CPUtime=7.65 cores=0,2,4,6
/proc/29393/stat : 29393 (npSolver-pbo) S 29391 29391 28786 0 -1 4202496 16889 54343 0 0 210 100 433 22 20 0 1 0 383707367 55009280 11852 33554432000 4194304 6004724 140736256815088 140736256800008 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29393/statm: 13430 11852 183 442 0 12984 0
[pid=29400] ppid=29393 vsize=351556 CPUtime=4.41 cores=0,2,4,6
/proc/29400/stat : 29400 (glucosInc) R 29393 29391 28786 0 -1 4202496 58307 0 0 0 425 16 0 0 20 0 1 0 383708194 359993344 78245 33554432000 4194304 5654031 140736613797680 140736613795464 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29400/statm: 87889 78245 141 357 0 87529 0
Current children cumulated CPU time (s) 12.06
Current children cumulated vsize (KiB) 414424
[startup+25.5003 s]
/proc/loadavg: 2.04 2.09 2.08 3/181 29402
/proc/meminfo: memFree=30849400/32873648 swapFree=7376/7376
[pid=29391] ppid=29389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29391/stat : 29391 (npSolver-pbo-I.) S 29389 29391 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383707366 9367552 275 33554432000 4194304 5064252 140734367021088 140734367020000 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29391/statm: 2287 275 233 213 0 72 0
[pid=29393] ppid=29391 vsize=42560 CPUtime=18.12 cores=0,2,4,6
/proc/29393/stat : 29393 (npSolver-pbo) S 29391 29391 28786 0 -1 4202496 24994 113710 0 0 329 116 1323 44 20 0 1 0 383707367 43581440 9096 33554432000 4194304 6004724 140736256815088 140736256800008 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29393/statm: 10640 9096 185 442 0 10194 0
[pid=29402] ppid=29393 vsize=305236 CPUtime=6.74 cores=0,2,4,6
/proc/29402/stat : 29402 (glucosInc) R 29393 29391 28786 0 -1 4202496 49429 0 0 0 663 11 0 0 20 0 1 0 383709240 312561664 64663 33554432000 4194304 5654031 140736140590304 140736140588072 4232707 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29402/statm: 76309 64663 140 357 0 75949 0
Current children cumulated CPU time (s) 24.86
Current children cumulated vsize (KiB) 356944
[startup+51.1003 s]
/proc/loadavg: 2.02 2.08 2.08 3/181 29404
/proc/meminfo: memFree=30886148/32873648 swapFree=7376/7376
[pid=29391] ppid=29389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29391/stat : 29391 (npSolver-pbo-I.) S 29389 29391 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383707366 9367552 275 33554432000 4194304 5064252 140734367021088 140734367020000 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29391/statm: 2287 275 233 213 0 72 0
[pid=29393] ppid=29391 vsize=40580 CPUtime=37.54 cores=0,2,4,6
/proc/29393/stat : 29393 (npSolver-pbo) S 29391 29391 28786 0 -1 4202496 33304 163910 0 0 430 130 3133 61 20 0 1 0 383707367 41553920 8601 33554432000 4194304 6004724 140736256815088 140736256800008 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29393/statm: 10145 8601 185 442 0 9699 0
[pid=29404] ppid=29393 vsize=240052 CPUtime=12.9 cores=0,2,4,6
/proc/29404/stat : 29404 (glucosInc) R 29393 29391 28786 0 -1 4202496 44352 0 0 0 1281 9 0 0 20 0 1 0 383711184 245813248 56539 33554432000 4194304 5654031 140734623857760 140734623845576 4232408 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29404/statm: 60013 56539 141 357 0 59653 0
Current children cumulated CPU time (s) 50.44
Current children cumulated vsize (KiB) 289780
[startup+102.307 s]
/proc/loadavg: 2.06 2.08 2.08 3/181 29404
/proc/meminfo: memFree=30790296/32873648 swapFree=7376/7376
[pid=29391] ppid=29389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29391/stat : 29391 (npSolver-pbo-I.) S 29389 29391 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383707366 9367552 275 33554432000 4194304 5064252 140734367021088 140734367020000 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29391/statm: 2287 275 233 213 0 72 0
[pid=29393] ppid=29391 vsize=40580 CPUtime=37.54 cores=0,2,4,6
/proc/29393/stat : 29393 (npSolver-pbo) S 29391 29391 28786 0 -1 4202496 33304 163910 0 0 430 130 3133 61 20 0 1 0 383707367 41553920 8601 33554432000 4194304 6004724 140736256815088 140736256800008 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29393/statm: 10145 8601 185 442 0 9699 0
[pid=29404] ppid=29393 vsize=325156 CPUtime=64.1 cores=0,2,4,6
/proc/29404/stat : 29404 (glucosInc) R 29393 29391 28786 0 -1 4202496 50560 0 0 0 6380 30 0 0 20 0 1 0 383711184 332959744 74694 33554432000 4194304 5654031 140734623857760 140734623845576 4215009 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29404/statm: 81289 74694 141 357 0 80929 0
Current children cumulated CPU time (s) 101.64
Current children cumulated vsize (KiB) 374884
[startup+162.3 s]
/proc/loadavg: 2.06 2.08 2.08 3/181 29406
/proc/meminfo: memFree=30868436/32873648 swapFree=7376/7376
[pid=29391] ppid=29389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29391/stat : 29391 (npSolver-pbo-I.) S 29389 29391 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383707366 9367552 275 33554432000 4194304 5064252 140734367021088 140734367020000 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29391/statm: 2287 275 233 213 0 72 0
[pid=29393] ppid=29391 vsize=40580 CPUtime=37.54 cores=0,2,4,6
/proc/29393/stat : 29393 (npSolver-pbo) S 29391 29391 28786 0 -1 4202496 33304 163910 0 0 430 130 3133 61 20 0 1 0 383707367 41553920 8601 33554432000 4194304 6004724 140736256815088 140736256800008 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29393/statm: 10145 8601 185 442 0 9699 0
[pid=29404] ppid=29393 vsize=326452 CPUtime=124.07 cores=0,2,4,6
/proc/29404/stat : 29404 (glucosInc) R 29393 29391 28786 0 -1 4202496 52476 0 0 0 12369 38 0 0 20 0 1 0 383711184 334286848 71942 33554432000 4194304 5654031 140734623857760 140734623855784 4215248 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29404/statm: 81613 71942 141 357 0 81253 0
Current children cumulated CPU time (s) 161.61
Current children cumulated vsize (KiB) 376180
[startup+222.3 s]
/proc/loadavg: 2.07 2.08 2.08 3/182 29409
/proc/meminfo: memFree=30690144/32873648 swapFree=7376/7376
[pid=29391] ppid=29389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29391/stat : 29391 (npSolver-pbo-I.) S 29389 29391 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383707366 9367552 275 33554432000 4194304 5064252 140734367021088 140734367020000 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29391/statm: 2287 275 233 213 0 72 0
[pid=29393] ppid=29391 vsize=40580 CPUtime=37.54 cores=0,2,4,6
/proc/29393/stat : 29393 (npSolver-pbo) S 29391 29391 28786 0 -1 4202496 33304 163910 0 0 430 130 3133 61 20 0 1 0 383707367 41553920 8601 33554432000 4194304 6004724 140736256815088 140736256800008 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29393/statm: 10145 8601 185 442 0 9699 0
[pid=29404] ppid=29393 vsize=409968 CPUtime=184.06 cores=0,2,4,6
################
# More data... #
################
/proc/loadavg: 2.08 2.06 2.06 3/181 29419
/proc/meminfo: memFree=30695052/32873648 swapFree=7376/7376
[pid=29391] ppid=29389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29391/stat : 29391 (npSolver-pbo-I.) S 29389 29391 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383707366 9367552 275 33554432000 4194304 5064252 140734367021088 140734367020000 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29391/statm: 2287 275 233 213 0 72 0
[pid=29393] ppid=29391 vsize=40580 CPUtime=37.54 cores=0,2,4,6
/proc/29393/stat : 29393 (npSolver-pbo) S 29391 29391 28786 0 -1 4202496 33304 163910 0 0 430 130 3133 61 20 0 1 0 383707367 41553920 8601 33554432000 4194304 6004724 140736256815088 140736256800008 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29393/statm: 10145 8601 185 442 0 9699 0
[pid=29404] ppid=29393 vsize=416060 CPUtime=1263.84 cores=0,2,4,6
/proc/29404/stat : 29404 (glucosInc) R 29393 29391 28786 0 -1 4202496 75432 0 0 0 126266 118 0 0 20 0 1 0 383711184 426045440 89998 33554432000 4194304 5654031 140734623857760 140734623855848 4215091 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29404/statm: 104015 89998 142 357 0 103655 0
Current children cumulated CPU time (s) 1301.38
Current children cumulated vsize (KiB) 465788
[startup+1362.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/181 29419
/proc/meminfo: memFree=30555340/32873648 swapFree=7376/7376
[pid=29391] ppid=29389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29391/stat : 29391 (npSolver-pbo-I.) S 29389 29391 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383707366 9367552 275 33554432000 4194304 5064252 140734367021088 140734367020000 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29391/statm: 2287 275 233 213 0 72 0
[pid=29393] ppid=29391 vsize=40580 CPUtime=37.54 cores=0,2,4,6
/proc/29393/stat : 29393 (npSolver-pbo) S 29391 29391 28786 0 -1 4202496 33304 163910 0 0 430 130 3133 61 20 0 1 0 383707367 41553920 8601 33554432000 4194304 6004724 140736256815088 140736256800008 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29393/statm: 10145 8601 185 442 0 9699 0
[pid=29404] ppid=29393 vsize=548576 CPUtime=1323.82 cores=0,2,4,6
/proc/29404/stat : 29404 (glucosInc) R 29393 29391 28786 0 -1 4202496 76492 0 0 0 132262 120 0 0 20 0 1 0 383711184 561741824 119674 33554432000 4194304 5654031 140734623857760 140734623855848 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29404/statm: 137144 119674 142 357 0 136784 0
Current children cumulated CPU time (s) 1361.36
Current children cumulated vsize (KiB) 598304
[startup+1422.31 s]
/proc/loadavg: 2.06 2.05 2.05 3/182 29422
/proc/meminfo: memFree=30468488/32873648 swapFree=7376/7376
[pid=29391] ppid=29389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29391/stat : 29391 (npSolver-pbo-I.) S 29389 29391 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383707366 9367552 275 33554432000 4194304 5064252 140734367021088 140734367020000 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29391/statm: 2287 275 233 213 0 72 0
[pid=29393] ppid=29391 vsize=40580 CPUtime=37.54 cores=0,2,4,6
/proc/29393/stat : 29393 (npSolver-pbo) S 29391 29391 28786 0 -1 4202496 33304 163910 0 0 430 130 3133 61 20 0 1 0 383707367 41553920 8601 33554432000 4194304 6004724 140736256815088 140736256800008 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29393/statm: 10145 8601 185 442 0 9699 0
[pid=29404] ppid=29393 vsize=763500 CPUtime=1383.82 cores=0,2,4,6
/proc/29404/stat : 29404 (glucosInc) R 29393 29391 28786 0 -1 4202496 77111 0 0 0 138260 122 0 0 20 0 1 0 383711184 781824000 148397 33554432000 4194304 5654031 140734623857760 140734623855848 4217372 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29404/statm: 190875 148397 142 357 0 190515 0
Current children cumulated CPU time (s) 1421.36
Current children cumulated vsize (KiB) 813228
[startup+1482.3 s]
/proc/loadavg: 2.07 2.06 2.05 3/181 29423
/proc/meminfo: memFree=30609664/32873648 swapFree=7376/7376
[pid=29391] ppid=29389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29391/stat : 29391 (npSolver-pbo-I.) S 29389 29391 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383707366 9367552 275 33554432000 4194304 5064252 140734367021088 140734367020000 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29391/statm: 2287 275 233 213 0 72 0
[pid=29393] ppid=29391 vsize=40580 CPUtime=37.54 cores=0,2,4,6
/proc/29393/stat : 29393 (npSolver-pbo) S 29391 29391 28786 0 -1 4202496 33304 163910 0 0 430 130 3133 61 20 0 1 0 383707367 41553920 8601 33554432000 4194304 6004724 140736256815088 140736256800008 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29393/statm: 10145 8601 185 442 0 9699 0
[pid=29404] ppid=29393 vsize=548576 CPUtime=1443.8 cores=0,2,4,6
/proc/29404/stat : 29404 (glucosInc) R 29393 29391 28786 0 -1 4202496 78739 0 0 0 144252 128 0 0 20 0 1 0 383711184 561741824 107804 33554432000 4194304 5654031 140734623857760 140734623855848 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29404/statm: 137144 107804 142 357 0 136784 0
Current children cumulated CPU time (s) 1481.34
Current children cumulated vsize (KiB) 598304
[startup+1542.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/181 29423
/proc/meminfo: memFree=30549200/32873648 swapFree=7376/7376
[pid=29391] ppid=29389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29391/stat : 29391 (npSolver-pbo-I.) S 29389 29391 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383707366 9367552 275 33554432000 4194304 5064252 140734367021088 140734367020000 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29391/statm: 2287 275 233 213 0 72 0
[pid=29393] ppid=29391 vsize=40580 CPUtime=37.54 cores=0,2,4,6
/proc/29393/stat : 29393 (npSolver-pbo) S 29391 29391 28786 0 -1 4202496 33304 163910 0 0 430 130 3133 61 20 0 1 0 383707367 41553920 8601 33554432000 4194304 6004724 140736256815088 140736256800008 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29393/statm: 10145 8601 185 442 0 9699 0
[pid=29404] ppid=29393 vsize=763680 CPUtime=1503.8 cores=0,2,4,6
/proc/29404/stat : 29404 (glucosInc) R 29393 29391 28786 0 -1 4202496 78991 0 0 0 150250 130 0 0 20 0 1 0 383711184 782008320 135139 33554432000 4194304 5654031 140734623857760 140734623855848 4232960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29404/statm: 190920 135139 142 357 0 190560 0
Current children cumulated CPU time (s) 1541.34
Current children cumulated vsize (KiB) 813408
[startup+1602.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/181 29423
/proc/meminfo: memFree=30716704/32873648 swapFree=7376/7376
[pid=29391] ppid=29389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29391/stat : 29391 (npSolver-pbo-I.) S 29389 29391 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383707366 9367552 275 33554432000 4194304 5064252 140734367021088 140734367020000 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29391/statm: 2287 275 233 213 0 72 0
[pid=29393] ppid=29391 vsize=40580 CPUtime=37.54 cores=0,2,4,6
/proc/29393/stat : 29393 (npSolver-pbo) S 29391 29391 28786 0 -1 4202496 33304 163910 0 0 430 130 3133 61 20 0 1 0 383707367 41553920 8601 33554432000 4194304 6004724 140736256815088 140736256800008 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29393/statm: 10145 8601 185 442 0 9699 0
[pid=29404] ppid=29393 vsize=416956 CPUtime=1563.78 cores=0,2,4,6
/proc/29404/stat : 29404 (glucosInc) R 29393 29391 28786 0 -1 4202496 79974 0 0 0 156245 133 0 0 20 0 1 0 383711184 426962944 85874 33554432000 4194304 5654031 140734623857760 140734623855784 4215126 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29404/statm: 104239 85874 142 357 0 103879 0
Current children cumulated CPU time (s) 1601.32
Current children cumulated vsize (KiB) 466684
[startup+1662.3 s]
/proc/loadavg: 2.07 2.06 2.05 3/181 29423
/proc/meminfo: memFree=30562116/32873648 swapFree=7376/7376
[pid=29391] ppid=29389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29391/stat : 29391 (npSolver-pbo-I.) S 29389 29391 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383707366 9367552 275 33554432000 4194304 5064252 140734367021088 140734367020000 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29391/statm: 2287 275 233 213 0 72 0
[pid=29393] ppid=29391 vsize=40580 CPUtime=37.54 cores=0,2,4,6
/proc/29393/stat : 29393 (npSolver-pbo) S 29391 29391 28786 0 -1 4202496 33304 163910 0 0 430 130 3133 61 20 0 1 0 383707367 41553920 8601 33554432000 4194304 6004724 140736256815088 140736256800008 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29393/statm: 10145 8601 185 442 0 9699 0
[pid=29404] ppid=29393 vsize=549216 CPUtime=1623.77 cores=0,2,4,6
/proc/29404/stat : 29404 (glucosInc) R 29393 29391 28786 0 -1 4202496 80498 0 0 0 162241 136 0 0 20 0 1 0 383711184 562397184 116547 33554432000 4194304 5654031 140734623857760 140734623855848 4232968 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29404/statm: 137304 116547 142 357 0 136944 0
Current children cumulated CPU time (s) 1661.31
Current children cumulated vsize (KiB) 598944
[startup+1722.3 s]
/proc/loadavg: 2.02 2.05 2.04 3/181 29423
/proc/meminfo: memFree=30488932/32873648 swapFree=7376/7376
[pid=29391] ppid=29389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29391/stat : 29391 (npSolver-pbo-I.) S 29389 29391 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383707366 9367552 275 33554432000 4194304 5064252 140734367021088 140734367020000 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29391/statm: 2287 275 233 213 0 72 0
[pid=29393] ppid=29391 vsize=40580 CPUtime=37.54 cores=0,2,4,6
/proc/29393/stat : 29393 (npSolver-pbo) S 29391 29391 28786 0 -1 4202496 33304 163910 0 0 430 130 3133 61 20 0 1 0 383707367 41553920 8601 33554432000 4194304 6004724 140736256815088 140736256800008 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29393/statm: 10145 8601 185 442 0 9699 0
[pid=29404] ppid=29393 vsize=764328 CPUtime=1683.77 cores=0,2,4,6
/proc/29404/stat : 29404 (glucosInc) R 29393 29391 28786 0 -1 4202496 81038 0 0 0 168237 140 0 0 20 0 1 0 383711184 782671872 145192 33554432000 4194304 5654031 140734623857760 140734623855544 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29404/statm: 191082 145192 142 357 0 190722 0
Current children cumulated CPU time (s) 1721.31
Current children cumulated vsize (KiB) 814056
[startup+1782.3 s]
/proc/loadavg: 2.06 2.05 2.04 3/181 29468
/proc/meminfo: memFree=30863700/32873648 swapFree=7376/7376
[pid=29391] ppid=29389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29391/stat : 29391 (npSolver-pbo-I.) S 29389 29391 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383707366 9367552 275 33554432000 4194304 5064252 140734367021088 140734367020000 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29391/statm: 2287 275 233 213 0 72 0
[pid=29393] ppid=29391 vsize=40580 CPUtime=37.54 cores=0,2,4,6
/proc/29393/stat : 29393 (npSolver-pbo) S 29391 29391 28786 0 -1 4202496 33304 163910 0 0 430 130 3133 61 20 0 1 0 383707367 41553920 8601 33554432000 4194304 6004724 140736256815088 140736256800008 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29393/statm: 10145 8601 185 442 0 9699 0
[pid=29404] ppid=29393 vsize=417460 CPUtime=1743.76 cores=0,2,4,6
/proc/29404/stat : 29404 (glucosInc) R 29393 29391 28786 0 -1 4202496 81638 0 0 0 174230 146 0 0 20 0 1 0 383711184 427479040 95198 33554432000 4194304 5654031 140734623857760 140734623855784 4233344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29404/statm: 104365 95198 142 357 0 104005 0
Current children cumulated CPU time (s) 1781.3
Current children cumulated vsize (KiB) 467188
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801 s]
/proc/loadavg: 2.04 2.05 2.04 3/181 29468
/proc/meminfo: memFree=30808880/32873648 swapFree=7376/7376
[pid=29391] ppid=29389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29391/stat : 29391 (npSolver-pbo-I.) S 29389 29391 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383707366 9367552 275 33554432000 4194304 5064252 140734367021088 140734367020000 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29391/statm: 2287 275 233 213 0 72 0
[pid=29393] ppid=29391 vsize=40580 CPUtime=37.54 cores=0,2,4,6
/proc/29393/stat : 29393 (npSolver-pbo) S 29391 29391 28786 0 -1 4202496 33304 163910 0 0 430 130 3133 61 20 0 1 0 383707367 41553920 8601 33554432000 4194304 6004724 140736256815088 140736256800008 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29393/statm: 10145 8601 185 442 0 9699 0
[pid=29404] ppid=29393 vsize=549720 CPUtime=1762.46 cores=0,2,4,6
/proc/29404/stat : 29404 (glucosInc) R 29393 29391 28786 0 -1 4202496 82123 0 0 0 176098 148 0 0 20 0 1 0 383711184 562913280 105903 33554432000 4194304 5654031 140734623857760 140734623855848 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29404/statm: 137430 105903 142 357 0 137070 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 599448
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 29391 and gives
# childrusage.ru_utime.tv_sec=35
# childrusage.ru_utime.tv_usec=644581
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=922707
# CPU time returned by wait4() is 37.5673
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.01
CPU time (s): 1800
CPU user time (s): 1796.61
CPU system time (s): 3.39
CPU usage (%): 99.9437
Max. virtual memory (cumulated for all children) (KiB): 1025988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.6446
system time used= 1.92271
maximum resident set size= 390256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197589
page faults= 0
swaps= 0
block input operations= 0
block output operations= 638968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3264
involuntary context switches= 1351
runsolver used 3.2955 second user time and 11.7642 second system time
The end