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-3750181-1339178296/watcher-3750181-1339178296 -o /tmp/evaluation-result-3750181-1339178296/solver-3750181-1339178296 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750181-1339178296.opb 1301707077 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.94 3.78 3.12 3/179 7532
/proc/meminfo: memFree=28333756/32873844 swapFree=8660/8660
[pid=7532] ppid=7530 vsize=11812 CPUtime=0 cores=1,3,5,7
/proc/7532/stat : 7532 (runsolver) D 7530 7532 6657 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 383958222 12095488 50 33554432000 4194304 5436572 140735058239168 140735058235464 4883175 0 0 4096 24578 18446744071579943789 0 0 17 3 0 0 0 0 0
/proc/7532/statm: 2953 50 31 304 0 2645 0
[startup+0.024784 s]
/proc/loadavg: 2.94 3.78 3.12 3/179 7532
/proc/meminfo: memFree=28333756/32873844 swapFree=8660/8660
[pid=7532] ppid=7530 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7532/stat : 7532 (npSolver-pbo.sh) S 7530 7532 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383958222 9367552 274 33554432000 4194304 5064252 140737176030208 140737176029120 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7532/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100284 s]
/proc/loadavg: 2.94 3.78 3.12 3/179 7532
/proc/meminfo: memFree=28333756/32873844 swapFree=8660/8660
[pid=7532] ppid=7530 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7532/stat : 7532 (npSolver-pbo.sh) S 7530 7532 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383958222 9367552 274 33554432000 4194304 5064252 140737176030208 140737176029120 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7532/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300306 s]
/proc/loadavg: 2.94 3.78 3.12 3/179 7532
/proc/meminfo: memFree=28333756/32873844 swapFree=8660/8660
[pid=7532] ppid=7530 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7532/stat : 7532 (npSolver-pbo.sh) S 7530 7532 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383958222 9367552 274 33554432000 4194304 5064252 140737176030208 140737176029120 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7532/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700314 s]
/proc/loadavg: 2.94 3.78 3.12 3/179 7532
/proc/meminfo: memFree=28333756/32873844 swapFree=8660/8660
[pid=7532] ppid=7530 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7532/stat : 7532 (npSolver-pbo.sh) S 7530 7532 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383958222 9367552 274 33554432000 4194304 5064252 140737176030208 140737176029120 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7532/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.87 3.75 3.12 3/181 7534
/proc/meminfo: memFree=28229472/32873844 swapFree=8660/8660
[pid=7532] ppid=7530 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7532/stat : 7532 (npSolver-pbo.sh) S 7530 7532 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383958222 9367552 274 33554432000 4194304 5064252 140737176030208 140737176029120 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7532/statm: 2287 274 233 213 0 72 0
[pid=7534] ppid=7532 vsize=218120 CPUtime=1.48 cores=1,3,5,7
/proc/7534/stat : 7534 (npSolver-pbo) R 7532 7532 6657 0 -1 4202496 23934 0 0 0 140 8 0 0 20 0 1 0 383958223 223354880 37580 33554432000 4194304 6004724 140734469583232 140734469579256 4968639 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7534/statm: 54530 37580 130 442 0 54084 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 227268
[startup+3.10034 s]
/proc/loadavg: 2.87 3.75 3.12 3/181 7534
/proc/meminfo: memFree=28118628/32873844 swapFree=8660/8660
[pid=7532] ppid=7530 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7532/stat : 7532 (npSolver-pbo.sh) S 7530 7532 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383958222 9367552 274 33554432000 4194304 5064252 140737176030208 140737176029120 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7532/statm: 2287 274 233 213 0 72 0
[pid=7534] ppid=7532 vsize=357856 CPUtime=3.08 cores=1,3,5,7
/proc/7534/stat : 7534 (npSolver-pbo) R 7532 7532 6657 0 -1 4202496 66847 0 0 0 290 18 0 0 20 0 1 0 383958223 366444544 88764 33554432000 4194304 6004724 140734469583232 140734469579672 4223920 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7534/statm: 89464 88764 156 442 0 89018 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 367004
[startup+6.30034 s]
/proc/loadavg: 2.87 3.75 3.12 3/181 7534
/proc/meminfo: memFree=27798784/32873844 swapFree=8660/8660
[pid=7532] ppid=7530 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7532/stat : 7532 (npSolver-pbo.sh) S 7530 7532 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383958222 9367552 274 33554432000 4194304 5064252 140737176030208 140737176029120 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7532/statm: 2287 274 233 213 0 72 0
[pid=7534] ppid=7532 vsize=620184 CPUtime=6.28 cores=1,3,5,7
/proc/7534/stat : 7534 (npSolver-pbo) R 7532 7532 6657 0 -1 4202496 68624 0 0 0 603 25 0 0 20 0 1 0 383958223 635068416 149721 33554432000 4194304 6004724 140734469583232 140734469577848 4581223 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7534/statm: 155046 149721 163 442 0 154600 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 629332
[startup+12.7004 s]
/proc/loadavg: 2.73 3.69 3.11 3/181 7534
/proc/meminfo: memFree=27301136/32873844 swapFree=8660/8660
[pid=7532] ppid=7530 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7532/stat : 7532 (npSolver-pbo.sh) S 7530 7532 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383958222 9367552 274 33554432000 4194304 5064252 140737176030208 140737176029120 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7532/statm: 2287 274 233 213 0 72 0
[pid=7534] ppid=7532 vsize=1406616 CPUtime=12.68 cores=1,3,5,7
/proc/7534/stat : 7534 (npSolver-pbo) R 7532 7532 6657 0 -1 4202496 70264 0 0 0 1223 45 0 0 20 0 1 0 383958223 1440374784 269529 33554432000 4194304 6004724 140734469583232 140734469577848 4582496 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7534/statm: 351654 269529 163 442 0 351208 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1415764
[startup+25.5004 s]
/proc/loadavg: 2.62 3.64 3.09 3/181 7534
/proc/meminfo: memFree=26327860/32873844 swapFree=8660/8660
[pid=7532] ppid=7530 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7532/stat : 7532 (npSolver-pbo.sh) S 7530 7532 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383958222 9367552 274 33554432000 4194304 5064252 140737176030208 140737176029120 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7532/statm: 2287 274 233 213 0 72 0
[pid=7534] ppid=7532 vsize=2455192 CPUtime=25.48 cores=1,3,5,7
/proc/7534/stat : 7534 (npSolver-pbo) R 7532 7532 6657 0 -1 4202496 71744 0 0 0 2473 75 0 0 20 0 1 0 383958223 2514116608 503513 33554432000 4194304 6004724 140734469583232 140734469578040 4209519 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7534/statm: 613798 503513 163 442 0 613352 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2464340
[startup+51.1005 s]
/proc/loadavg: 2.49 3.52 3.07 3/183 7536
/proc/meminfo: memFree=21783152/32873844 swapFree=8660/8660
[pid=7532] ppid=7530 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7532/stat : 7532 (npSolver-pbo.sh) S 7530 7532 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383958222 9367552 274 33554432000 4194304 5064252 140737176030208 140737176029120 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7532/statm: 2287 274 233 213 0 72 0
[pid=7534] ppid=7532 vsize=4552344 CPUtime=42.71 cores=1,3,5,7
/proc/7534/stat : 7534 (npSolver-pbo) S 7532 7532 6657 0 -1 4202496 75355 0 0 0 3735 536 0 0 20 0 1 0 383958223 4661600256 753377 33554432000 4194304 6004724 140734469583232 140734469577280 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7534/statm: 1138086 753377 171 442 0 1137640 0
[pid=7535] ppid=7534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7535/stat : 7535 (cp2_pre.sh) S 7534 7532 6657 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 383962496 9367552 277 33554432000 4194304 5064252 140735288389904 140735288388608 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7535/statm: 2287 277 234 213 0 72 0
[pid=7536] ppid=7535 vsize=974568 CPUtime=8.33 cores=1,3,5,7
/proc/7536/stat : 7536 (coprocessor) R 7535 7532 6657 0 -1 4202496 18781 0 0 0 791 42 0 0 20 0 1 0 383962497 997957632 232990 33554432000 4194304 6586260 140736131964208 140736131960968 5732400 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/7536/statm: 243642 232990 137 584 0 243054 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 5545208
[startup+102.307 s]
/proc/loadavg: 2.61 3.40 3.05 3/183 7536
/proc/meminfo: memFree=17872592/32873844 swapFree=8660/8660
[pid=7532] ppid=7530 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7532/stat : 7532 (npSolver-pbo.sh) S 7530 7532 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383958222 9367552 274 33554432000 4194304 5064252 140737176030208 140737176029120 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7532/statm: 2287 274 233 213 0 72 0
[pid=7534] ppid=7532 vsize=4552344 CPUtime=42.71 cores=1,3,5,7
/proc/7534/stat : 7534 (npSolver-pbo) S 7532 7532 6657 0 -1 4202496 75355 0 0 0 3735 536 0 0 20 0 1 0 383958223 4661600256 753377 33554432000 4194304 6004724 140734469583232 140734469577280 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7534/statm: 1138086 753377 171 442 0 1137640 0
[pid=7535] ppid=7534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7535/stat : 7535 (cp2_pre.sh) S 7534 7532 6657 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 383962496 9367552 277 33554432000 4194304 5064252 140735288389904 140735288388608 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7535/statm: 2287 277 234 213 0 72 0
[pid=7536] ppid=7535 vsize=4954940 CPUtime=59.33 cores=1,3,5,7
/proc/7536/stat : 7536 (coprocessor) R 7535 7532 6657 0 -1 4202496 28711 0 0 0 5624 309 0 0 20 0 1 0 383962497 5073858560 1002315 33554432000 4194304 6586260 140736131964208 140736131959960 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 19 0 0
/proc/7536/statm: 1238735 1002315 158 584 0 1238147 0
Current children cumulated CPU time (s) 102.04
Current children cumulated vsize (KiB) 9525580
[startup+162.3 s]
/proc/loadavg: 2.26 3.15 2.99 3/184 7539
/proc/meminfo: memFree=16263980/32873844 swapFree=8660/8660
[pid=7532] ppid=7530 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7532/stat : 7532 (npSolver-pbo.sh) S 7530 7532 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383958222 9367552 274 33554432000 4194304 5064252 140737176030208 140737176029120 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7532/statm: 2287 274 233 213 0 72 0
[pid=7534] ppid=7532 vsize=4552344 CPUtime=42.71 cores=1,3,5,7
/proc/7534/stat : 7534 (npSolver-pbo) S 7532 7532 6657 0 -1 4202496 75355 0 0 0 3735 536 0 0 20 0 1 0 383958223 4661600256 753377 33554432000 4194304 6004724 140734469583232 140734469577280 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7534/statm: 1138086 753377 171 442 0 1137640 0
[pid=7535] ppid=7534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7535/stat : 7535 (cp2_pre.sh) S 7534 7532 6657 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 383962496 9367552 277 33554432000 4194304 5064252 140735288389904 140735288388608 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7535/statm: 2287 277 234 213 0 72 0
[pid=7536] ppid=7535 vsize=4954940 CPUtime=118.79 cores=1,3,5,7
/proc/7536/stat : 7536 (coprocessor) R 7535 7532 6657 0 -1 4202496 28711 0 0 0 11263 616 0 0 20 0 1 0 383962497 5073858560 1002315 33554432000 4194304 6586260 140736131964208 140736131959960 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 71 0 0
/proc/7536/statm: 1238735 1002315 158 584 0 1238147 0
Current children cumulated CPU time (s) 161.5
Current children cumulated vsize (KiB) 9525580
[startup+222.3 s]
/proc/loadavg: 2.09 2.94 2.92 3/184 7566
/proc/meminfo: memFree=17198660/32873844 swapFree=8660/8660
[pid=7532] ppid=7530 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7532/stat : 7532 (npSolver-pbo.sh) S 7530 7532 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383958222 9367552 274 33554432000 4194304 5064252 140737176030208 140737176029120 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7532/statm: 2287 274 233 213 0 72 0
[pid=7534] ppid=7532 vsize=4552344 CPUtime=164.36 cores=1,3,5,7
/proc/7534/stat : 7534 (npSolver-pbo) S 7532 7532 6657 0 -1 4202496 75364 29612 0 0 3735 537 11480 684 20 0 1 0 383958223 4661600256 753377 33554432000 4194304 6004724 140734469583232 140734469578368 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7534/statm: 1138086 753377 171 442 0 1137640 0
[pid=7564] ppid=7534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7564/stat : 7564 (satsolver.sh) S 7534 7532 6657 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383974737 9367552 266 33554432000 4194304 5064252 140736856068128 140736856067040 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7564/statm: 2287 266 226 213 0 72 0
[pid=7565] ppid=7564 vsize=6662876 CPUtime=57.1 cores=1,3,5,7
/proc/7565/stat : 7565 (glucose) R 7564 7532 6657 0 -1 4202496 603891 0 0 0 5478 232 0 0 20 0 1 0 383974739 6822785024 1408766 33554432000 4194304 5208918 140735342000848 140735341998696 4229062 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7565/statm: 1665719 1408766 95 248 0 1665468 0
Current children cumulated CPU time (s) 221.46
Current children cumulated vsize (KiB) 11233516
[startup+282.3 s]
/proc/loadavg: 2.03 2.77 2.86 3/183 7566
/proc/meminfo: memFree=17199164/32873844 swapFree=8660/8660
[pid=7532] ppid=7530 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/7565/statm: 1690012 1434349 104 248 0 1689761 0
Current children cumulated CPU time (s) 1361.24
Current children cumulated vsize (KiB) 11330688
[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.23 3/183 7575
/proc/meminfo: memFree=17061076/32873844 swapFree=8660/8660
[pid=7532] ppid=7530 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7532/stat : 7532 (npSolver-pbo.sh) S 7530 7532 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383958222 9367552 274 33554432000 4194304 5064252 140737176030208 140737176029120 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7532/statm: 2287 274 233 213 0 72 0
[pid=7534] ppid=7532 vsize=4552344 CPUtime=164.36 cores=1,3,5,7
/proc/7534/stat : 7534 (npSolver-pbo) S 7532 7532 6657 0 -1 4202496 75364 29612 0 0 3735 537 11480 684 20 0 1 0 383958223 4661600256 753377 33554432000 4194304 6004724 140734469583232 140734469578368 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7534/statm: 1138086 753377 171 442 0 1137640 0
[pid=7564] ppid=7534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7564/stat : 7564 (satsolver.sh) S 7534 7532 6657 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383974737 9367552 266 33554432000 4194304 5064252 140736856068128 140736856067040 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7564/statm: 2287 266 226 213 0 72 0
[pid=7565] ppid=7564 vsize=6763676 CPUtime=1256.88 cores=1,3,5,7
/proc/7565/stat : 7565 (glucose) R 7564 7532 6657 0 -1 4202496 723321 0 0 0 125402 286 0 0 20 0 1 0 383974739 6926004224 1435305 33554432000 4194304 5208918 140735342000848 140735341998696 4205139 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7565/statm: 1690919 1435305 104 248 0 1690668 0
Current children cumulated CPU time (s) 1421.24
Current children cumulated vsize (KiB) 11334316
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.21 3/183 7576
/proc/meminfo: memFree=17080024/32873844 swapFree=8660/8660
[pid=7532] ppid=7530 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7532/stat : 7532 (npSolver-pbo.sh) S 7530 7532 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383958222 9367552 274 33554432000 4194304 5064252 140737176030208 140737176029120 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7532/statm: 2287 274 233 213 0 72 0
[pid=7534] ppid=7532 vsize=4552344 CPUtime=164.36 cores=1,3,5,7
/proc/7534/stat : 7534 (npSolver-pbo) S 7532 7532 6657 0 -1 4202496 75364 29612 0 0 3735 537 11480 684 20 0 1 0 383958223 4661600256 753377 33554432000 4194304 6004724 140734469583232 140734469578368 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7534/statm: 1138086 753377 171 442 0 1137640 0
[pid=7564] ppid=7534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7564/stat : 7564 (satsolver.sh) S 7534 7532 6657 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383974737 9367552 266 33554432000 4194304 5064252 140736856068128 140736856067040 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7564/statm: 2287 266 226 213 0 72 0
[pid=7565] ppid=7564 vsize=6766024 CPUtime=1316.87 cores=1,3,5,7
/proc/7565/stat : 7565 (glucose) R 7564 7532 6657 0 -1 4202496 728667 0 0 0 131398 289 0 0 20 0 1 0 383974739 6928408576 1435990 33554432000 4194304 5208918 140735342000848 140735341998696 4229748 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7565/statm: 1691506 1435990 104 248 0 1691255 0
Current children cumulated CPU time (s) 1481.23
Current children cumulated vsize (KiB) 11336664
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.20 3/183 7576
/proc/meminfo: memFree=17040052/32873844 swapFree=8660/8660
[pid=7532] ppid=7530 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7532/stat : 7532 (npSolver-pbo.sh) S 7530 7532 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383958222 9367552 274 33554432000 4194304 5064252 140737176030208 140737176029120 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7532/statm: 2287 274 233 213 0 72 0
[pid=7534] ppid=7532 vsize=4552344 CPUtime=164.36 cores=1,3,5,7
/proc/7534/stat : 7534 (npSolver-pbo) S 7532 7532 6657 0 -1 4202496 75364 29612 0 0 3735 537 11480 684 20 0 1 0 383958223 4661600256 753377 33554432000 4194304 6004724 140734469583232 140734469578368 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7534/statm: 1138086 753377 171 442 0 1137640 0
[pid=7564] ppid=7534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7564/stat : 7564 (satsolver.sh) S 7534 7532 6657 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383974737 9367552 266 33554432000 4194304 5064252 140736856068128 140736856067040 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7564/statm: 2287 266 226 213 0 72 0
[pid=7565] ppid=7564 vsize=6767580 CPUtime=1376.86 cores=1,3,5,7
/proc/7565/stat : 7565 (glucose) R 7564 7532 6657 0 -1 4202496 733729 0 0 0 137396 290 0 0 20 0 1 0 383974739 6930001920 1436392 33554432000 4194304 5208918 140735342000848 140735341998696 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7565/statm: 1691895 1436392 104 248 0 1691644 0
Current children cumulated CPU time (s) 1541.22
Current children cumulated vsize (KiB) 11338220
[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.18 3/183 7576
/proc/meminfo: memFree=17043212/32873844 swapFree=8660/8660
[pid=7532] ppid=7530 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7532/stat : 7532 (npSolver-pbo.sh) S 7530 7532 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383958222 9367552 274 33554432000 4194304 5064252 140737176030208 140737176029120 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7532/statm: 2287 274 233 213 0 72 0
[pid=7534] ppid=7532 vsize=4552344 CPUtime=164.36 cores=1,3,5,7
/proc/7534/stat : 7534 (npSolver-pbo) S 7532 7532 6657 0 -1 4202496 75364 29612 0 0 3735 537 11480 684 20 0 1 0 383958223 4661600256 753377 33554432000 4194304 6004724 140734469583232 140734469578368 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7534/statm: 1138086 753377 171 442 0 1137640 0
[pid=7564] ppid=7534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7564/stat : 7564 (satsolver.sh) S 7534 7532 6657 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383974737 9367552 266 33554432000 4194304 5064252 140736856068128 140736856067040 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7564/statm: 2287 266 226 213 0 72 0
[pid=7565] ppid=7564 vsize=6770352 CPUtime=1436.85 cores=1,3,5,7
/proc/7565/stat : 7565 (glucose) R 7564 7532 6657 0 -1 4202496 739075 0 0 0 143392 293 0 0 20 0 1 0 383974739 6932840448 1437081 33554432000 4194304 5208918 140735342000848 140735341998696 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7565/statm: 1692588 1437081 104 248 0 1692337 0
Current children cumulated CPU time (s) 1601.21
Current children cumulated vsize (KiB) 11340992
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.17 3/183 7576
/proc/meminfo: memFree=17055504/32873844 swapFree=8660/8660
[pid=7532] ppid=7530 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7532/stat : 7532 (npSolver-pbo.sh) S 7530 7532 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383958222 9367552 274 33554432000 4194304 5064252 140737176030208 140737176029120 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7532/statm: 2287 274 233 213 0 72 0
[pid=7534] ppid=7532 vsize=4552344 CPUtime=164.36 cores=1,3,5,7
/proc/7534/stat : 7534 (npSolver-pbo) S 7532 7532 6657 0 -1 4202496 75364 29612 0 0 3735 537 11480 684 20 0 1 0 383958223 4661600256 753377 33554432000 4194304 6004724 140734469583232 140734469578368 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7534/statm: 1138086 753377 171 442 0 1137640 0
[pid=7564] ppid=7534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7564/stat : 7564 (satsolver.sh) S 7534 7532 6657 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383974737 9367552 266 33554432000 4194304 5064252 140736856068128 140736856067040 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7564/statm: 2287 266 226 213 0 72 0
[pid=7565] ppid=7564 vsize=6773520 CPUtime=1496.84 cores=1,3,5,7
/proc/7565/stat : 7565 (glucose) R 7564 7532 6657 0 -1 4202496 744591 0 0 0 149389 295 0 0 20 0 1 0 383974739 6936084480 1437940 33554432000 4194304 5208918 140735342000848 140735341998696 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7565/statm: 1693380 1437940 104 248 0 1693129 0
Current children cumulated CPU time (s) 1661.2
Current children cumulated vsize (KiB) 11344160
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.16 3/183 7576
/proc/meminfo: memFree=17036424/32873844 swapFree=8660/8660
[pid=7532] ppid=7530 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7532/stat : 7532 (npSolver-pbo.sh) S 7530 7532 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383958222 9367552 274 33554432000 4194304 5064252 140737176030208 140737176029120 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7532/statm: 2287 274 233 213 0 72 0
[pid=7534] ppid=7532 vsize=4552344 CPUtime=164.36 cores=1,3,5,7
/proc/7534/stat : 7534 (npSolver-pbo) S 7532 7532 6657 0 -1 4202496 75364 29612 0 0 3735 537 11480 684 20 0 1 0 383958223 4661600256 753377 33554432000 4194304 6004724 140734469583232 140734469578368 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7534/statm: 1138086 753377 171 442 0 1137640 0
[pid=7564] ppid=7534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7564/stat : 7564 (satsolver.sh) S 7534 7532 6657 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383974737 9367552 266 33554432000 4194304 5064252 140736856068128 140736856067040 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7564/statm: 2287 266 226 213 0 72 0
[pid=7565] ppid=7564 vsize=6778228 CPUtime=1556.83 cores=1,3,5,7
/proc/7565/stat : 7565 (glucose) R 7564 7532 6657 0 -1 4202496 750466 0 0 0 155385 298 0 0 20 0 1 0 383974739 6940905472 1439667 33554432000 4194304 5208918 140735342000848 140735341998696 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7565/statm: 1694557 1439667 104 248 0 1694306 0
Current children cumulated CPU time (s) 1721.19
Current children cumulated vsize (KiB) 11348868
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.15 3/183 7629
/proc/meminfo: memFree=17117584/32873844 swapFree=8660/8660
[pid=7532] ppid=7530 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7532/stat : 7532 (npSolver-pbo.sh) S 7530 7532 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383958222 9367552 274 33554432000 4194304 5064252 140737176030208 140737176029120 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7532/statm: 2287 274 233 213 0 72 0
[pid=7534] ppid=7532 vsize=4552344 CPUtime=164.36 cores=1,3,5,7
/proc/7534/stat : 7534 (npSolver-pbo) S 7532 7532 6657 0 -1 4202496 75364 29612 0 0 3735 537 11480 684 20 0 1 0 383958223 4661600256 753377 33554432000 4194304 6004724 140734469583232 140734469578368 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7534/statm: 1138086 753377 171 442 0 1137640 0
[pid=7564] ppid=7534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7564/stat : 7564 (satsolver.sh) S 7534 7532 6657 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383974737 9367552 266 33554432000 4194304 5064252 140736856068128 140736856067040 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7564/statm: 2287 266 226 213 0 72 0
[pid=7565] ppid=7564 vsize=6780912 CPUtime=1616.82 cores=1,3,5,7
/proc/7565/stat : 7565 (glucose) R 7564 7532 6657 0 -1 4202496 755948 0 0 0 161380 302 0 0 20 0 1 0 383974739 6943653888 1440471 33554432000 4194304 5208918 140735342000848 140735341998696 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7565/statm: 1695228 1440471 104 248 0 1694977 0
Current children cumulated CPU time (s) 1781.18
Current children cumulated vsize (KiB) 11351552
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.2 s]
/proc/loadavg: 2.00 2.00 2.14 3/183 7629
/proc/meminfo: memFree=17115412/32873844 swapFree=8660/8660
[pid=7532] ppid=7530 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7532/stat : 7532 (npSolver-pbo.sh) S 7530 7532 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383958222 9367552 274 33554432000 4194304 5064252 140737176030208 140737176029120 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7532/statm: 2287 274 233 213 0 72 0
[pid=7534] ppid=7532 vsize=4552344 CPUtime=164.36 cores=1,3,5,7
/proc/7534/stat : 7534 (npSolver-pbo) S 7532 7532 6657 0 -1 4202496 75364 29612 0 0 3735 537 11480 684 20 0 1 0 383958223 4661600256 753377 33554432000 4194304 6004724 140734469583232 140734469578368 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7534/statm: 1138086 753377 171 442 0 1137640 0
[pid=7564] ppid=7534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7564/stat : 7564 (satsolver.sh) S 7534 7532 6657 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383974737 9367552 266 33554432000 4194304 5064252 140736856068128 140736856067040 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7564/statm: 2287 266 226 213 0 72 0
[pid=7565] ppid=7564 vsize=6781308 CPUtime=1635.72 cores=1,3,5,7
/proc/7565/stat : 7565 (glucose) R 7564 7532 6657 0 -1 4202496 756033 0 0 0 163270 302 0 0 20 0 1 0 383974739 6944059392 1440556 33554432000 4194304 5208918 140735342000848 140735341998696 4211066 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7565/statm: 1695327 1440556 104 248 0 1695076 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 11351948
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7532 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=1999
# CPU time returned by wait4() is 0.001999
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.22
CPU time (s): 1800.08
CPU user time (s): 1784.85
CPU system time (s): 15.23
CPU usage (%): 99.9366
Max. virtual memory (cumulated for all children) (KiB): 11411992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001999
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= 2
runsolver used 4.26035 second user time and 11.8252 second system time
The end