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-3713538-1338185290/watcher-3713538-1338185290 -o /tmp/evaluation-result-3713538-1338185290/solver-3713538-1338185290 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3713538-1338185290.wbo 708477148 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.00 2.00 2.00 3/179 27440
/proc/meminfo: memFree=31501712/32873844 swapFree=6872/6872
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284596033 9367552 275 33554432000 4194304 5064252 140736178395312 140736178394224 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
[startup+0.0230419 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27440
/proc/meminfo: memFree=31501712/32873844 swapFree=6872/6872
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284596033 9367552 275 33554432000 4194304 5064252 140736178395312 140736178394224 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100156 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27440
/proc/meminfo: memFree=31501712/32873844 swapFree=6872/6872
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284596033 9367552 275 33554432000 4194304 5064252 140736178395312 140736178394224 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300261 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27440
/proc/meminfo: memFree=31501712/32873844 swapFree=6872/6872
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284596033 9367552 275 33554432000 4194304 5064252 140736178395312 140736178394224 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700236 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27440
/proc/meminfo: memFree=31501712/32873844 swapFree=6872/6872
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284596033 9367552 275 33554432000 4194304 5064252 140736178395312 140736178394224 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50037 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27454
/proc/meminfo: memFree=31467112/32873844 swapFree=6872/6872
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284596033 9367552 275 33554432000 4194304 5064252 140736178395312 140736178394224 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
[pid=27441] ppid=27440 vsize=11844 CPUtime=0.22 cores=0,2,4,6
/proc/27441/stat : 27441 (npSolver-wbo) S 27440 27440 22152 0 -1 4202496 3091 6237 0 0 11 2 7 2 20 0 1 0 284596034 12128256 2101 33554432000 4194304 5990268 140735866668448 140735866659888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27441/statm: 2961 2101 166 439 0 2518 0
[pid=27453] ppid=27441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27453/stat : 27453 (satsolver.sh) S 27441 27440 22152 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284596058 9367552 266 33554432000 4194304 5064252 140734023360240 140734023359152 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27453/statm: 2287 266 226 213 0 72 0
[pid=27454] ppid=27453 vsize=20028 CPUtime=1.24 cores=0,2,4,6
/proc/27454/stat : 27454 (glucose) R 27453 27440 22152 0 -1 4202496 4690 0 0 0 124 0 0 0 20 0 1 0 284596058 20508672 4180 33554432000 4194304 5208918 140737125406368 140737125404328 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27454/statm: 5007 4180 96 248 0 4756 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 50168
[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27454
/proc/meminfo: memFree=31465496/32873844 swapFree=6872/6872
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284596033 9367552 275 33554432000 4194304 5064252 140736178395312 140736178394224 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
[pid=27441] ppid=27440 vsize=20192 CPUtime=2.84 cores=0,2,4,6
/proc/27441/stat : 27441 (npSolver-wbo) S 27440 27440 22152 0 -1 4202496 6192 14209 0 0 24 4 250 6 20 0 1 0 284596034 20676608 3228 33554432000 4194304 5990268 140735866668448 140735866659888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27441/statm: 5048 3228 166 439 0 4605 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 29340
[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 27464
/proc/meminfo: memFree=31462940/32873844 swapFree=6872/6872
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284596033 9367552 275 33554432000 4194304 5064252 140736178395312 140736178394224 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
[pid=27441] ppid=27440 vsize=11292 CPUtime=6.21 cores=0,2,4,6
/proc/27441/stat : 27441 (npSolver-wbo) S 27440 27440 22152 0 -1 4202496 8350 48697 0 0 28 5 553 35 20 0 1 0 284596034 11563008 2393 33554432000 4194304 5990268 140735866668448 140735866659888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27441/statm: 2823 2393 166 439 0 2380 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 20440
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27503
/proc/meminfo: memFree=31469608/32873844 swapFree=6872/6872
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284596033 9367552 275 33554432000 4194304 5064252 140736178395312 140736178394224 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
[pid=27441] ppid=27440 vsize=11292 CPUtime=6.81 cores=0,2,4,6
/proc/27441/stat : 27441 (npSolver-wbo) S 27440 27440 22152 0 -1 4202496 8689 60807 0 0 29 5 609 38 20 0 1 0 284596034 11563008 2393 33554432000 4194304 5990268 140735866668448 140735866659888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27441/statm: 2823 2393 166 439 0 2380 0
[pid=27502] ppid=27441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27502/stat : 27502 (satsolver.sh) S 27441 27440 22152 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284596717 9367552 267 33554432000 4194304 5064252 140734206109424 140734206108336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27502/statm: 2287 267 226 213 0 72 0
[pid=27503] ppid=27502 vsize=12344 CPUtime=5.85 cores=0,2,4,6
/proc/27503/stat : 27503 (glucose) R 27502 27440 22152 0 -1 4202496 2996 0 0 0 585 0 0 0 20 0 1 0 284596717 12640256 2419 33554432000 4194304 5208918 140734295544224 140734295542168 4229344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27503/statm: 3086 2419 102 248 0 2835 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 41932
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27510
/proc/meminfo: memFree=31460076/32873844 swapFree=6872/6872
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284596033 9367552 275 33554432000 4194304 5064252 140736178395312 140736178394224 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
[pid=27441] ppid=27440 vsize=11292 CPUtime=13.61 cores=0,2,4,6
/proc/27441/stat : 27441 (npSolver-wbo) S 27440 27440 22152 0 -1 4202496 8793 66758 0 0 29 5 1287 40 20 0 1 0 284596034 11563008 2393 33554432000 4194304 5990268 140735866668448 140735866659888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27441/statm: 2823 2393 166 439 0 2380 0
[pid=27509] ppid=27441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27509/stat : 27509 (satsolver.sh) S 27441 27440 22152 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284597397 9367552 267 33554432000 4194304 5064252 140736172361216 140736172360128 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27509/statm: 2287 267 226 213 0 72 0
[pid=27510] ppid=27509 vsize=17532 CPUtime=11.85 cores=0,2,4,6
/proc/27510/stat : 27510 (glucose) R 27509 27440 22152 0 -1 4202496 3545 0 0 0 1185 0 0 0 20 0 1 0 284597397 17952768 3481 33554432000 4194304 5208918 140735686237328 140735686235272 4212476 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27510/statm: 4383 3481 103 248 0 4132 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 47120
Solver just ended. Dumping a history of the last processes samples
[startup+38.3004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27510
/proc/meminfo: memFree=31452260/32873844 swapFree=6872/6872
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284596033 9367552 275 33554432000 4194304 5064252 140736178395312 140736178394224 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
[pid=27441] ppid=27440 vsize=11292 CPUtime=13.61 cores=0,2,4,6
/proc/27441/stat : 27441 (npSolver-wbo) S 27440 27440 22152 0 -1 4202496 8793 66758 0 0 29 5 1287 40 20 0 1 0 284596034 11563008 2393 33554432000 4194304 5990268 140735866668448 140735866659888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27441/statm: 2823 2393 166 439 0 2380 0
[pid=27509] ppid=27441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27509/stat : 27509 (satsolver.sh) S 27441 27440 22152 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284597397 9367552 267 33554432000 4194304 5064252 140736172361216 140736172360128 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27509/statm: 2287 267 226 213 0 72 0
[pid=27510] ppid=27509 vsize=20252 CPUtime=24.65 cores=0,2,4,6
/proc/27510/stat : 27510 (glucose) R 27509 27440 22152 0 -1 4202496 3914 0 0 0 2465 0 0 0 20 0 1 0 284597397 20738048 4344 33554432000 4194304 5208918 140735686237328 140735686235192 4229541 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27510/statm: 5063 4344 103 248 0 4812 0
Current children cumulated CPU time (s) 38.26
Current children cumulated vsize (KiB) 49840
[startup+41.5004 s]
/proc/loadavg: 1.92 1.98 1.99 3/183 27567
/proc/meminfo: memFree=31467444/32873844 swapFree=6872/6872
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284596033 9367552 275 33554432000 4194304 5064252 140736178395312 140736178394224 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
[pid=27441] ppid=27440 vsize=11292 CPUtime=13.61 cores=0,2,4,6
/proc/27441/stat : 27441 (npSolver-wbo) S 27440 27440 22152 0 -1 4202496 8793 66758 0 0 29 5 1287 40 20 0 1 0 284596034 11563008 2393 33554432000 4194304 5990268 140735866668448 140735866659888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27441/statm: 2823 2393 166 439 0 2380 0
[pid=27509] ppid=27441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27509/stat : 27509 (satsolver.sh) S 27441 27440 22152 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284597397 9367552 267 33554432000 4194304 5064252 140736172361216 140736172360128 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27509/statm: 2287 267 226 213 0 72 0
[pid=27510] ppid=27509 vsize=20252 CPUtime=27.85 cores=0,2,4,6
/proc/27510/stat : 27510 (glucose) R 27509 27440 22152 0 -1 4202496 4034 0 0 0 2785 0 0 0 20 0 1 0 284597397 20738048 4456 33554432000 4194304 5208918 140735686237328 140735686233704 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27510/statm: 5063 4456 103 248 0 4812 0
Current children cumulated CPU time (s) 41.46
Current children cumulated vsize (KiB) 49840
[startup+44.7004 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 27574
/proc/meminfo: memFree=31417028/32873844 swapFree=6872/6872
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284596033 9367552 275 33554432000 4194304 5064252 140736178395312 140736178394224 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
[pid=27441] ppid=27440 vsize=11292 CPUtime=13.61 cores=0,2,4,6
/proc/27441/stat : 27441 (npSolver-wbo) S 27440 27440 22152 0 -1 4202496 8793 66758 0 0 29 5 1287 40 20 0 1 0 284596034 11563008 2393 33554432000 4194304 5990268 140735866668448 140735866659888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27441/statm: 2823 2393 166 439 0 2380 0
[pid=27509] ppid=27441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27509/stat : 27509 (satsolver.sh) S 27441 27440 22152 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284597397 9367552 267 33554432000 4194304 5064252 140736172361216 140736172360128 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27509/statm: 2287 267 226 213 0 72 0
[pid=27510] ppid=27509 vsize=20252 CPUtime=31.05 cores=0,2,4,6
/proc/27510/stat : 27510 (glucose) R 27509 27440 22152 0 -1 4202496 4144 0 0 0 3105 0 0 0 20 0 1 0 284597397 20738048 4560 33554432000 4194304 5208918 140735686237328 140735686233640 4229776 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27510/statm: 5063 4560 103 248 0 4812 0
Current children cumulated CPU time (s) 44.66
Current children cumulated vsize (KiB) 49840
[startup+45.5004 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 27581
/proc/meminfo: memFree=31448232/32873844 swapFree=6872/6872
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284596033 9367552 275 33554432000 4194304 5064252 140736178395312 140736178394224 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
[pid=27441] ppid=27440 vsize=11292 CPUtime=13.61 cores=0,2,4,6
/proc/27441/stat : 27441 (npSolver-wbo) S 27440 27440 22152 0 -1 4202496 8793 66758 0 0 29 5 1287 40 20 0 1 0 284596034 11563008 2393 33554432000 4194304 5990268 140735866668448 140735866659888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27441/statm: 2823 2393 166 439 0 2380 0
[pid=27509] ppid=27441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27509/stat : 27509 (satsolver.sh) S 27441 27440 22152 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284597397 9367552 267 33554432000 4194304 5064252 140736172361216 140736172360128 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27509/statm: 2287 267 226 213 0 72 0
[pid=27510] ppid=27509 vsize=20252 CPUtime=31.85 cores=0,2,4,6
/proc/27510/stat : 27510 (glucose) R 27509 27440 22152 0 -1 4202496 4228 0 0 0 3185 0 0 0 20 0 1 0 284597397 20738048 4636 33554432000 4194304 5208918 140735686237328 140735686233640 4229483 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27510/statm: 5063 4636 103 248 0 4812 0
Current children cumulated CPU time (s) 45.46
Current children cumulated vsize (KiB) 49840
[startup+45.9004 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 27581
/proc/meminfo: memFree=31448232/32873844 swapFree=6872/6872
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284596033 9367552 275 33554432000 4194304 5064252 140736178395312 140736178394224 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
[pid=27441] ppid=27440 vsize=11292 CPUtime=13.61 cores=0,2,4,6
/proc/27441/stat : 27441 (npSolver-wbo) S 27440 27440 22152 0 -1 4202496 8793 66758 0 0 29 5 1287 40 20 0 1 0 284596034 11563008 2393 33554432000 4194304 5990268 140735866668448 140735866659888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27441/statm: 2823 2393 166 439 0 2380 0
[pid=27509] ppid=27441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27509/stat : 27509 (satsolver.sh) S 27441 27440 22152 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284597397 9367552 267 33554432000 4194304 5064252 140736172361216 140736172360128 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27509/statm: 2287 267 226 213 0 72 0
[pid=27510] ppid=27509 vsize=20252 CPUtime=32.25 cores=0,2,4,6
/proc/27510/stat : 27510 (glucose) R 27509 27440 22152 0 -1 4202496 4228 0 0 0 3225 0 0 0 20 0 1 0 284597397 20738048 4636 33554432000 4194304 5208918 140735686237328 140735686233640 4229344 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27510/statm: 5063 4636 103 248 0 4812 0
Current children cumulated CPU time (s) 45.86
Current children cumulated vsize (KiB) 49840
[startup+46.3003 s]
/proc/loadavg: 1.93 1.98 1.99 3/182 27584
/proc/meminfo: memFree=31469848/32873844 swapFree=6872/6872
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 22152 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284596033 9367552 275 33554432000 4194304 5064252 140736178395312 140736178394224 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
[pid=27441] ppid=27440 vsize=11292 CPUtime=46.26 cores=0,2,4,6
/proc/27441/stat : 27441 (npSolver-wbo) S 27440 27440 22152 0 -1 4202496 8841 73928 0 0 29 5 4551 41 20 0 1 0 284596034 11563008 2394 33554432000 4194304 5990268 140735866668448 140735866663904 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27441/statm: 2823 2394 167 439 0 2380 0
Current children cumulated CPU time (s) 46.26
Current children cumulated vsize (KiB) 20440
Child status: 0
Real time (s): 46.3017
CPU time (s): 46.289
CPU user time (s): 45.811
CPU system time (s): 0.477927
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 111812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 45.811
system time used= 0.477927
maximum resident set size= 67304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83598
page faults= 0
swaps= 0
block input operations= 0
block output operations= 42328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 730
involuntary context switches= 167
runsolver used 0.101984 second user time and 0.264959 second system time
The end