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-3750858-1339173838/watcher-3750858-1339173838 -o /tmp/evaluation-result-3750858-1339173838/solver-3750858-1339173838 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750858-1339173838.opb 1538708330 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: 2.08 2.02 2.01 4/177 1278
/proc/meminfo: memFree=29488844/32873852 swapFree=7632/7632
[pid=1278] ppid=1276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1278/stat : 1278 (npSolver-pbo.sh) S 1276 1278 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383509297 9367552 274 33554432000 4194304 5064252 140735120015408 140735120014320 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1278/statm: 2287 274 233 213 0 72 0
[startup+0.0682391 s]
/proc/loadavg: 2.08 2.02 2.01 4/177 1278
/proc/meminfo: memFree=29488844/32873852 swapFree=7632/7632
[pid=1278] ppid=1276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1278/stat : 1278 (npSolver-pbo.sh) S 1276 1278 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383509297 9367552 274 33554432000 4194304 5064252 140735120015408 140735120014320 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1278/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100331 s]
/proc/loadavg: 2.08 2.02 2.01 4/177 1278
/proc/meminfo: memFree=29488844/32873852 swapFree=7632/7632
[pid=1278] ppid=1276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1278/stat : 1278 (npSolver-pbo.sh) S 1276 1278 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383509297 9367552 274 33554432000 4194304 5064252 140735120015408 140735120014320 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1278/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300298 s]
/proc/loadavg: 2.08 2.02 2.01 4/177 1278
/proc/meminfo: memFree=29488844/32873852 swapFree=7632/7632
[pid=1278] ppid=1276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1278/stat : 1278 (npSolver-pbo.sh) S 1276 1278 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383509297 9367552 274 33554432000 4194304 5064252 140735120015408 140735120014320 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1278/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700292 s]
/proc/loadavg: 2.08 2.02 2.01 4/177 1278
/proc/meminfo: memFree=29488844/32873852 swapFree=7632/7632
[pid=1278] ppid=1276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1278/stat : 1278 (npSolver-pbo.sh) S 1276 1278 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383509297 9367552 274 33554432000 4194304 5064252 140735120015408 140735120014320 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1278/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 1280
/proc/meminfo: memFree=29396464/32873852 swapFree=7632/7632
[pid=1278] ppid=1276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1278/stat : 1278 (npSolver-pbo.sh) S 1276 1278 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383509297 9367552 274 33554432000 4194304 5064252 140735120015408 140735120014320 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1278/statm: 2287 274 233 213 0 72 0
[pid=1279] ppid=1278 vsize=147420 CPUtime=1.49 cores=1,3,5,7
/proc/1279/stat : 1279 (npSolver-pbo) R 1278 1278 982 0 -1 4202496 23354 0 0 0 143 6 0 0 20 0 1 0 383509297 150958080 33040 33554432000 4194304 6004724 140735385987120 140735385983144 4968639 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1279/statm: 36855 33040 130 442 0 36409 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 156568
[startup+3.10034 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 1280
/proc/meminfo: memFree=29258304/32873852 swapFree=7632/7632
[pid=1278] ppid=1276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1278/stat : 1278 (npSolver-pbo.sh) S 1276 1278 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383509297 9367552 274 33554432000 4194304 5064252 140735120015408 140735120014320 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1278/statm: 2287 274 233 213 0 72 0
[pid=1279] ppid=1278 vsize=362896 CPUtime=3.09 cores=1,3,5,7
/proc/1279/stat : 1279 (npSolver-pbo) R 1278 1278 982 0 -1 4202496 50619 0 0 0 295 14 0 0 20 0 1 0 383509297 371605504 74928 33554432000 4194304 6004724 140735385987120 140735385981720 4975613 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1279/statm: 90724 74928 154 442 0 90278 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 372044
[startup+6.30034 s]
/proc/loadavg: 2.15 2.03 2.01 3/179 1280
/proc/meminfo: memFree=29016580/32873852 swapFree=7632/7632
[pid=1278] ppid=1276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1278/stat : 1278 (npSolver-pbo.sh) S 1276 1278 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383509297 9367552 274 33554432000 4194304 5064252 140735120015408 140735120014320 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1278/statm: 2287 274 233 213 0 72 0
[pid=1279] ppid=1278 vsize=756112 CPUtime=6.28 cores=1,3,5,7
/proc/1279/stat : 1279 (npSolver-pbo) R 1278 1278 982 0 -1 4202496 51947 0 0 0 603 25 0 0 20 0 1 0 383509297 774258688 133296 33554432000 4194304 6004724 140735385987120 140735385981400 5055489 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1279/statm: 189028 133296 154 442 0 188582 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 765260
[startup+12.7003 s]
/proc/loadavg: 2.14 2.03 2.01 3/179 1280
/proc/meminfo: memFree=28526660/32873852 swapFree=7632/7632
[pid=1278] ppid=1276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1278/stat : 1278 (npSolver-pbo.sh) S 1276 1278 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383509297 9367552 274 33554432000 4194304 5064252 140735120015408 140735120014320 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1278/statm: 2287 274 233 213 0 72 0
[pid=1279] ppid=1278 vsize=1280400 CPUtime=12.68 cores=1,3,5,7
/proc/1279/stat : 1279 (npSolver-pbo) R 1278 1278 982 0 -1 4202496 52950 0 0 0 1225 43 0 0 20 0 1 0 383509297 1311129600 254128 33554432000 4194304 6004724 140735385987120 140735385981720 4820307 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1279/statm: 320100 254128 154 442 0 319654 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1289548
[startup+25.5004 s]
/proc/loadavg: 2.11 2.03 2.01 3/181 1282
/proc/meminfo: memFree=26240980/32873852 swapFree=7632/7632
[pid=1278] ppid=1276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1278/stat : 1278 (npSolver-pbo.sh) S 1276 1278 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383509297 9367552 274 33554432000 4194304 5064252 140735120015408 140735120014320 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1278/statm: 2287 274 233 213 0 72 0
[pid=1279] ppid=1278 vsize=2337972 CPUtime=23.71 cores=1,3,5,7
/proc/1279/stat : 1279 (npSolver-pbo) S 1278 1278 982 0 -1 4202496 57452 0 0 0 2080 291 0 0 20 0 1 0 383509297 2394083328 410048 33554432000 4194304 6004724 140735385987120 140735385981168 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/1279/statm: 584493 410048 163 442 0 584047 0
[pid=1281] ppid=1279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1281/stat : 1281 (cp2_pre.sh) S 1279 1278 982 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 383511671 9367552 277 33554432000 4194304 5064252 140736939263040 140736939261744 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1281/statm: 2287 277 234 213 0 72 0
[pid=1282] ppid=1281 vsize=184016 CPUtime=1.73 cores=1,3,5,7
/proc/1282/stat : 1282 (coprocessor) R 1281 1278 982 0 -1 4202496 13151 0 0 0 165 8 0 0 20 0 1 0 383511672 188432384 41355 33554432000 4194304 6586260 140733351223040 140733351219800 5732400 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/1282/statm: 46004 41355 138 584 0 45416 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 2540284
[startup+51.1003 s]
/proc/loadavg: 2.41 2.11 2.03 3/181 1282
/proc/meminfo: memFree=23858904/32873852 swapFree=7632/7632
[pid=1278] ppid=1276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1278/stat : 1278 (npSolver-pbo.sh) S 1276 1278 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383509297 9367552 274 33554432000 4194304 5064252 140735120015408 140735120014320 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1278/statm: 2287 274 233 213 0 72 0
[pid=1279] ppid=1278 vsize=2337972 CPUtime=23.71 cores=1,3,5,7
/proc/1279/stat : 1279 (npSolver-pbo) S 1278 1278 982 0 -1 4202496 57452 0 0 0 2080 291 0 0 20 0 1 0 383509297 2394083328 410048 33554432000 4194304 6004724 140735385987120 140735385981168 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/1279/statm: 584493 410048 163 442 0 584047 0
[pid=1281] ppid=1279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1281/stat : 1281 (cp2_pre.sh) S 1279 1278 982 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 383511671 9367552 277 33554432000 4194304 5064252 140736939263040 140736939261744 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1281/statm: 2287 277 234 213 0 72 0
[pid=1282] ppid=1281 vsize=2760864 CPUtime=27.23 cores=1,3,5,7
/proc/1282/stat : 1282 (coprocessor) R 1281 1278 982 0 -1 4202496 25580 0 0 0 2583 140 0 0 20 0 1 0 383511672 2827124736 582871 33554432000 4194304 6586260 140733351223040 140733351218792 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 10 0 0
/proc/1282/statm: 690216 582871 158 584 0 689628 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 5117132
[startup+102.307 s]
/proc/loadavg: 2.18 2.09 2.03 3/181 1286
/proc/meminfo: memFree=24119952/32873852 swapFree=7632/7632
[pid=1278] ppid=1276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1278/stat : 1278 (npSolver-pbo.sh) S 1276 1278 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383509297 9367552 274 33554432000 4194304 5064252 140735120015408 140735120014320 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1278/statm: 2287 274 233 213 0 72 0
[pid=1279] ppid=1278 vsize=2337972 CPUtime=91.39 cores=1,3,5,7
/proc/1279/stat : 1279 (npSolver-pbo) S 1278 1278 982 0 -1 4202496 57461 26483 0 0 2080 291 6375 393 20 0 1 0 383509297 2394083328 410048 33554432000 4194304 6004724 140735385987120 140735385982256 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/1279/statm: 584493 410048 163 442 0 584047 0
[pid=1285] ppid=1279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1285/stat : 1285 (satsolver.sh) S 1279 1278 982 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383518454 9367552 266 33554432000 4194304 5064252 140734722256400 140734722255312 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1285/statm: 2287 266 226 213 0 72 0
[pid=1286] ppid=1285 vsize=2774864 CPUtime=10.72 cores=1,3,5,7
/proc/1286/stat : 1286 (glucose) R 1285 1278 982 0 -1 4202496 276893 0 0 0 969 103 0 0 20 0 1 0 383518455 2841460736 595893 33554432000 4194304 5208918 140736770796656 140736769746056 4221600 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1286/statm: 693716 595894 69 248 0 693465 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 5131132
[startup+162.3 s]
/proc/loadavg: 2.06 2.07 2.02 3/181 1286
/proc/meminfo: memFree=23417400/32873852 swapFree=7632/7632
[pid=1278] ppid=1276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1278/stat : 1278 (npSolver-pbo.sh) S 1276 1278 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383509297 9367552 274 33554432000 4194304 5064252 140735120015408 140735120014320 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1278/statm: 2287 274 233 213 0 72 0
[pid=1279] ppid=1278 vsize=2337972 CPUtime=91.39 cores=1,3,5,7
/proc/1279/stat : 1279 (npSolver-pbo) S 1278 1278 982 0 -1 4202496 57461 26483 0 0 2080 291 6375 393 20 0 1 0 383509297 2394083328 410048 33554432000 4194304 6004724 140735385987120 140735385982256 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/1279/statm: 584493 410048 163 442 0 584047 0
[pid=1285] ppid=1279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1285/stat : 1285 (satsolver.sh) S 1279 1278 982 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383518454 9367552 266 33554432000 4194304 5064252 140734722256400 140734722255312 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1285/statm: 2287 266 226 213 0 72 0
[pid=1286] ppid=1285 vsize=3856316 CPUtime=70.7 cores=1,3,5,7
/proc/1286/stat : 1286 (glucose) R 1285 1278 982 0 -1 4202496 361577 0 0 0 6931 139 0 0 20 0 1 0 383518455 3948867584 766008 33554432000 4194304 5208918 140736770796656 140736770794504 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1286/statm: 964079 766008 103 248 0 963828 0
Current children cumulated CPU time (s) 162.09
Current children cumulated vsize (KiB) 6212584
[startup+222.3 s]
/proc/loadavg: 2.02 2.05 2.02 3/181 1286
/proc/meminfo: memFree=23415352/32873852 swapFree=7632/7632
[pid=1278] ppid=1276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1278/stat : 1278 (npSolver-pbo.sh) S 1276 1278 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383509297 9367552 274 33554432000 4194304 5064252 140735120015408 140735120014320 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1278/statm: 2287 274 233 213 0 72 0
[pid=1279] ppid=1278 vsize=2337972 CPUtime=91.39 cores=1,3,5,7
/proc/1279/stat : 1279 (npSolver-pbo) S 1278 1278 982 0 -1 4202496 57461 26483 0 0 2080 291 6375 393 20 0 1 0 383509297 2394083328 410048 33554432000 4194304 6004724 140735385987120 140735385982256 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/1279/statm: 584493 410048 163 442 0 584047 0
[pid=1285] ppid=1279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1285/stat : 1285 (satsolver.sh) S 1279 1278 982 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383518454 9367552 266 33554432000 4194304 5064252 140734722256400 140734722255312 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1285/statm: 2287 266 226 213 0 72 0
[pid=1286] ppid=1285 vsize=3856316 CPUtime=130.69 cores=1,3,5,7
/proc/1286/stat : 1286 (glucose) R 1285 1278 982 0 -1 4202496 361600 0 0 0 12930 139 0 0 20 0 1 0 383518455 3948867584 766031 33554432000 4194304 5208918 140736770796656 140736770794504 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1286/statm: 964079 766031 103 248 0 963828 0
Current children cumulated CPU time (s) 222.08
################
# More data... #
################
/proc/1286/statm: 965191 768138 104 248 0 964940 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 6217032
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 1368
/proc/meminfo: memFree=18207944/32873852 swapFree=7632/7632
[pid=1278] ppid=1276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1278/stat : 1278 (npSolver-pbo.sh) S 1276 1278 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383509297 9367552 274 33554432000 4194304 5064252 140735120015408 140735120014320 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1278/statm: 2287 274 233 213 0 72 0
[pid=1279] ppid=1278 vsize=2337972 CPUtime=91.39 cores=1,3,5,7
/proc/1279/stat : 1279 (npSolver-pbo) S 1278 1278 982 0 -1 4202496 57461 26483 0 0 2080 291 6375 393 20 0 1 0 383509297 2394083328 410048 33554432000 4194304 6004724 140735385987120 140735385982256 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/1279/statm: 584493 410048 163 442 0 584047 0
[pid=1285] ppid=1279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1285/stat : 1285 (satsolver.sh) S 1279 1278 982 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383518454 9367552 266 33554432000 4194304 5064252 140734722256400 140734722255312 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1285/statm: 2287 266 226 213 0 72 0
[pid=1286] ppid=1285 vsize=3861340 CPUtime=1390.5 cores=1,3,5,7
/proc/1286/stat : 1286 (glucose) R 1285 1278 982 0 -1 4202496 374817 0 0 0 138906 144 0 0 20 0 1 0 383518455 3954012160 768800 33554432000 4194304 5208918 140736770796656 140736770794504 4205640 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1286/statm: 965335 768800 104 248 0 965084 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 6217608
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1368
/proc/meminfo: memFree=18203828/32873852 swapFree=7632/7632
[pid=1278] ppid=1276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1278/stat : 1278 (npSolver-pbo.sh) S 1276 1278 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383509297 9367552 274 33554432000 4194304 5064252 140735120015408 140735120014320 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1278/statm: 2287 274 233 213 0 72 0
[pid=1279] ppid=1278 vsize=2337972 CPUtime=91.39 cores=1,3,5,7
/proc/1279/stat : 1279 (npSolver-pbo) S 1278 1278 982 0 -1 4202496 57461 26483 0 0 2080 291 6375 393 20 0 1 0 383509297 2394083328 410048 33554432000 4194304 6004724 140735385987120 140735385982256 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/1279/statm: 584493 410048 163 442 0 584047 0
[pid=1285] ppid=1279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1285/stat : 1285 (satsolver.sh) S 1279 1278 982 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383518454 9367552 266 33554432000 4194304 5064252 140734722256400 140734722255312 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1285/statm: 2287 266 226 213 0 72 0
[pid=1286] ppid=1285 vsize=3862192 CPUtime=1450.49 cores=1,3,5,7
/proc/1286/stat : 1286 (glucose) R 1285 1278 982 0 -1 4202496 378015 0 0 0 144903 146 0 0 20 0 1 0 383518455 3954884608 769886 33554432000 4194304 5208918 140736770796656 140736770794824 4211038 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1286/statm: 965548 769886 104 248 0 965297 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 6218460
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1371
/proc/meminfo: memFree=18196836/32873852 swapFree=7632/7632
[pid=1278] ppid=1276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1278/stat : 1278 (npSolver-pbo.sh) S 1276 1278 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383509297 9367552 274 33554432000 4194304 5064252 140735120015408 140735120014320 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1278/statm: 2287 274 233 213 0 72 0
[pid=1279] ppid=1278 vsize=2337972 CPUtime=91.39 cores=1,3,5,7
/proc/1279/stat : 1279 (npSolver-pbo) S 1278 1278 982 0 -1 4202496 57461 26483 0 0 2080 291 6375 393 20 0 1 0 383509297 2394083328 410048 33554432000 4194304 6004724 140735385987120 140735385982256 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/1279/statm: 584493 410048 163 442 0 584047 0
[pid=1285] ppid=1279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1285/stat : 1285 (satsolver.sh) S 1279 1278 982 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383518454 9367552 266 33554432000 4194304 5064252 140734722256400 140734722255312 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1285/statm: 2287 266 226 213 0 72 0
[pid=1286] ppid=1285 vsize=3862884 CPUtime=1510.47 cores=1,3,5,7
/proc/1286/stat : 1286 (glucose) R 1285 1278 982 0 -1 4202496 381219 0 0 0 150900 147 0 0 20 0 1 0 383518455 3955593216 771494 33554432000 4194304 5208918 140736770796656 140736770794808 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1286/statm: 965721 771494 104 248 0 965470 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 6219152
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 1372
/proc/meminfo: memFree=18194272/32873852 swapFree=7632/7632
[pid=1278] ppid=1276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1278/stat : 1278 (npSolver-pbo.sh) S 1276 1278 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383509297 9367552 274 33554432000 4194304 5064252 140735120015408 140735120014320 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1278/statm: 2287 274 233 213 0 72 0
[pid=1279] ppid=1278 vsize=2337972 CPUtime=91.39 cores=1,3,5,7
/proc/1279/stat : 1279 (npSolver-pbo) S 1278 1278 982 0 -1 4202496 57461 26483 0 0 2080 291 6375 393 20 0 1 0 383509297 2394083328 410048 33554432000 4194304 6004724 140735385987120 140735385982256 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/1279/statm: 584493 410048 163 442 0 584047 0
[pid=1285] ppid=1279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1285/stat : 1285 (satsolver.sh) S 1279 1278 982 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383518454 9367552 266 33554432000 4194304 5064252 140734722256400 140734722255312 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1285/statm: 2287 266 226 213 0 72 0
[pid=1286] ppid=1285 vsize=3862884 CPUtime=1570.47 cores=1,3,5,7
/proc/1286/stat : 1286 (glucose) R 1285 1278 982 0 -1 4202496 381219 0 0 0 156900 147 0 0 20 0 1 0 383518455 3955593216 772411 33554432000 4194304 5208918 140736770796656 140736770794808 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1286/statm: 965721 772411 104 248 0 965470 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 6219152
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1373
/proc/meminfo: memFree=18190204/32873852 swapFree=7632/7632
[pid=1278] ppid=1276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1278/stat : 1278 (npSolver-pbo.sh) S 1276 1278 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383509297 9367552 274 33554432000 4194304 5064252 140735120015408 140735120014320 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1278/statm: 2287 274 233 213 0 72 0
[pid=1279] ppid=1278 vsize=2337972 CPUtime=91.39 cores=1,3,5,7
/proc/1279/stat : 1279 (npSolver-pbo) S 1278 1278 982 0 -1 4202496 57461 26483 0 0 2080 291 6375 393 20 0 1 0 383509297 2394083328 410048 33554432000 4194304 6004724 140735385987120 140735385982256 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/1279/statm: 584493 410048 163 442 0 584047 0
[pid=1285] ppid=1279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1285/stat : 1285 (satsolver.sh) S 1279 1278 982 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383518454 9367552 266 33554432000 4194304 5064252 140734722256400 140734722255312 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1285/statm: 2287 266 226 213 0 72 0
[pid=1286] ppid=1285 vsize=3862884 CPUtime=1630.44 cores=1,3,5,7
/proc/1286/stat : 1286 (glucose) R 1285 1278 982 0 -1 4202496 381235 0 0 0 162897 147 0 0 20 0 1 0 383518455 3955593216 773322 33554432000 4194304 5208918 140736770796656 140736770794808 4205139 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1286/statm: 965721 773322 104 248 0 965470 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 6219152
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1373
/proc/meminfo: memFree=18185884/32873852 swapFree=7632/7632
[pid=1278] ppid=1276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1278/stat : 1278 (npSolver-pbo.sh) S 1276 1278 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383509297 9367552 274 33554432000 4194304 5064252 140735120015408 140735120014320 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1278/statm: 2287 274 233 213 0 72 0
[pid=1279] ppid=1278 vsize=2337972 CPUtime=91.39 cores=1,3,5,7
/proc/1279/stat : 1279 (npSolver-pbo) S 1278 1278 982 0 -1 4202496 57461 26483 0 0 2080 291 6375 393 20 0 1 0 383509297 2394083328 410048 33554432000 4194304 6004724 140735385987120 140735385982256 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/1279/statm: 584493 410048 163 442 0 584047 0
[pid=1285] ppid=1279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1285/stat : 1285 (satsolver.sh) S 1279 1278 982 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383518454 9367552 266 33554432000 4194304 5064252 140734722256400 140734722255312 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1285/statm: 2287 266 226 213 0 72 0
[pid=1286] ppid=1285 vsize=3862884 CPUtime=1690.43 cores=1,3,5,7
/proc/1286/stat : 1286 (glucose) R 1285 1278 982 0 -1 4202496 381235 0 0 0 168896 147 0 0 20 0 1 0 383518455 3955593216 774237 33554432000 4194304 5208918 140736770796656 140736770794808 4205139 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1286/statm: 965721 774237 104 248 0 965470 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 6219152
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1373
/proc/meminfo: memFree=18185244/32873852 swapFree=7632/7632
[pid=1278] ppid=1276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1278/stat : 1278 (npSolver-pbo.sh) S 1276 1278 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383509297 9367552 274 33554432000 4194304 5064252 140735120015408 140735120014320 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1278/statm: 2287 274 233 213 0 72 0
[pid=1279] ppid=1278 vsize=2337972 CPUtime=91.39 cores=1,3,5,7
/proc/1279/stat : 1279 (npSolver-pbo) S 1278 1278 982 0 -1 4202496 57461 26483 0 0 2080 291 6375 393 20 0 1 0 383509297 2394083328 410048 33554432000 4194304 6004724 140735385987120 140735385982256 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/1279/statm: 584493 410048 163 442 0 584047 0
[pid=1285] ppid=1279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1285/stat : 1285 (satsolver.sh) S 1279 1278 982 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383518454 9367552 266 33554432000 4194304 5064252 140734722256400 140734722255312 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1285/statm: 2287 266 226 213 0 72 0
[pid=1286] ppid=1285 vsize=3862884 CPUtime=1708.64 cores=1,3,5,7
/proc/1286/stat : 1286 (glucose) R 1285 1278 982 0 -1 4202496 381235 0 0 0 170717 147 0 0 20 0 1 0 383518455 3955593216 774542 33554432000 4194304 5208918 140736770796656 140736770794808 4229251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1286/statm: 965721 774542 104 248 0 965470 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 6219152
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1373
/proc/meminfo: memFree=18185244/32873852 swapFree=7632/7632
[pid=1278] ppid=1276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1278/stat : 1278 (npSolver-pbo.sh) S 1276 1278 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383509297 9367552 274 33554432000 4194304 5064252 140735120015408 140735120014320 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1278/statm: 2287 274 233 213 0 72 0
[pid=1279] ppid=1278 vsize=2337972 CPUtime=91.39 cores=1,3,5,7
/proc/1279/stat : 1279 (npSolver-pbo) S 1278 1278 982 0 -1 4202496 57461 26483 0 0 2080 291 6375 393 20 0 1 0 383509297 2394083328 410048 33554432000 4194304 6004724 140735385987120 140735385982256 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/1279/statm: 584493 410048 163 442 0 584047 0
[pid=1285] ppid=1279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1285/stat : 1285 (satsolver.sh) S 1279 1278 982 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383518454 9367552 266 33554432000 4194304 5064252 140734722256400 140734722255312 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1285/statm: 2287 266 226 213 0 72 0
[pid=1286] ppid=1285 vsize=3862884 CPUtime=1708.64 cores=1,3,5,7
/proc/1286/stat : 1286 (glucose) R 1285 1278 982 0 -1 4202496 381235 0 0 0 170717 147 0 0 20 0 1 0 383518455 3955593216 774542 33554432000 4194304 5208918 140736770796656 140736770794808 4229251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1286/statm: 965721 774542 104 248 0 965470 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 6219152
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1278 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# 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.53
CPU time (s): 1800.03
CPU user time (s): 1791.72
CPU system time (s): 8.31
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (KiB): 6260324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1
runsolver used 4.06038 second user time and 12.3541 second system time
The end