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-3713554-1338184997/watcher-3713554-1338184997 -o /tmp/evaluation-result-3713554-1338184997/solver-3713554-1338184997 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3713554-1338184997.wbo 1566245172 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: 1.99 1.98 1.99 3/179 26224
/proc/meminfo: memFree=31497952/32873844 swapFree=6872/6872
[pid=26224] ppid=26222 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26224/stat : 26224 (npSolver-wbo.sh) S 26222 26224 22152 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284566707 9367552 275 33554432000 4194304 5064252 140733779809536 140733779808448 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26224/statm: 2287 275 233 213 0 72 0
[startup+0.0628189 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 26224
/proc/meminfo: memFree=31497952/32873844 swapFree=6872/6872
[pid=26224] ppid=26222 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26224/stat : 26224 (npSolver-wbo.sh) S 26222 26224 22152 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284566707 9367552 275 33554432000 4194304 5064252 140733779809536 140733779808448 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26224/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100153 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 26224
/proc/meminfo: memFree=31497952/32873844 swapFree=6872/6872
[pid=26224] ppid=26222 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26224/stat : 26224 (npSolver-wbo.sh) S 26222 26224 22152 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284566707 9367552 275 33554432000 4194304 5064252 140733779809536 140733779808448 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26224/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300116 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 26224
/proc/meminfo: memFree=31497952/32873844 swapFree=6872/6872
[pid=26224] ppid=26222 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26224/stat : 26224 (npSolver-wbo.sh) S 26222 26224 22152 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284566707 9367552 275 33554432000 4194304 5064252 140733779809536 140733779808448 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26224/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700115 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 26224
/proc/meminfo: memFree=31497952/32873844 swapFree=6872/6872
[pid=26224] ppid=26222 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26224/stat : 26224 (npSolver-wbo.sh) S 26222 26224 22152 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284566707 9367552 275 33554432000 4194304 5064252 140733779809536 140733779808448 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26224/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 26231
/proc/meminfo: memFree=31491340/32873844 swapFree=6872/6872
[pid=26224] ppid=26222 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26224/stat : 26224 (npSolver-wbo.sh) S 26222 26224 22152 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284566707 9367552 275 33554432000 4194304 5064252 140733779809536 140733779808448 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26224/statm: 2287 275 233 213 0 72 0
[pid=26225] ppid=26224 vsize=4836 CPUtime=1.35 cores=0,2,4,6
/proc/26225/stat : 26225 (npSolver-wbo) S 26224 26224 22152 0 -1 4202496 1870 8481 0 0 6 3 123 3 20 0 1 0 284566708 4952064 712 33554432000 4194304 5990268 140734629115648 140734629107088 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26225/statm: 1209 712 160 439 0 766 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 13984
[startup+3.10028 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 26252
/proc/meminfo: memFree=31495964/32873844 swapFree=6872/6872
[pid=26224] ppid=26222 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26224/stat : 26224 (npSolver-wbo.sh) S 26222 26224 22152 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284566707 9367552 275 33554432000 4194304 5064252 140733779809536 140733779808448 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26224/statm: 2287 275 233 213 0 72 0
[pid=26225] ppid=26224 vsize=4780 CPUtime=2.76 cores=0,2,4,6
/proc/26225/stat : 26225 (npSolver-wbo) S 26224 26224 22152 0 -1 4202496 2387 20891 0 0 7 3 258 8 20 0 1 0 284566708 4894720 688 33554432000 4194304 5990268 140734629115648 140734629107088 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26225/statm: 1195 688 160 439 0 752 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 13928
[startup+6.30032 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 26259
/proc/meminfo: memFree=31486484/32873844 swapFree=6872/6872
[pid=26224] ppid=26222 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26224/stat : 26224 (npSolver-wbo.sh) S 26222 26224 22152 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284566707 9367552 275 33554432000 4194304 5064252 140733779809536 140733779808448 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26224/statm: 2287 275 233 213 0 72 0
[pid=26225] ppid=26224 vsize=4780 CPUtime=6.27 cores=0,2,4,6
/proc/26225/stat : 26225 (npSolver-wbo) S 26224 26224 22152 0 -1 4202496 2458 26531 0 0 7 3 608 9 20 0 1 0 284566708 4894720 688 33554432000 4194304 5990268 140734629115648 140734629107664 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26225/statm: 1195 688 160 439 0 752 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 13928
[startup+12.7003 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 26266
/proc/meminfo: memFree=31486652/32873844 swapFree=6872/6872
[pid=26224] ppid=26222 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26224/stat : 26224 (npSolver-wbo.sh) S 26222 26224 22152 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284566707 9367552 275 33554432000 4194304 5064252 140733779809536 140733779808448 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26224/statm: 2287 275 233 213 0 72 0
[pid=26225] ppid=26224 vsize=4780 CPUtime=12.25 cores=0,2,4,6
/proc/26225/stat : 26225 (npSolver-wbo) S 26224 26224 22152 0 -1 4202496 2621 34122 0 0 7 3 1204 11 20 0 1 0 284566708 4894720 688 33554432000 4194304 5990268 140734629115648 140734629107088 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26225/statm: 1195 688 160 439 0 752 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 13928
[startup+25.5004 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 26365
/proc/meminfo: memFree=31490396/32873844 swapFree=6872/6872
[pid=26224] ppid=26222 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26224/stat : 26224 (npSolver-wbo.sh) S 26222 26224 22152 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284566707 9367552 275 33554432000 4194304 5064252 140733779809536 140733779808448 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26224/statm: 2287 275 233 213 0 72 0
[pid=26225] ppid=26224 vsize=4780 CPUtime=20.94 cores=0,2,4,6
/proc/26225/stat : 26225 (npSolver-wbo) S 26224 26224 22152 0 -1 4202496 2760 41374 0 0 8 4 2070 12 20 0 1 0 284566708 4894720 688 33554432000 4194304 5990268 140734629115648 140734629107088 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26225/statm: 1195 688 160 439 0 752 0
[pid=26286] ppid=26225 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26286/stat : 26286 (satsolver.sh) S 26225 26224 22152 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284568804 9367552 267 33554432000 4194304 5064252 140733813624704 140733813623616 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26286/statm: 2287 267 226 213 0 72 0
[pid=26287] ppid=26286 vsize=13068 CPUtime=4.52 cores=0,2,4,6
/proc/26287/stat : 26287 (glucose) R 26286 26224 22152 0 -1 4202496 3780 0 0 0 452 0 0 0 20 0 1 0 284568804 13381632 2921 33554432000 4194304 5208918 140734796076624 140734796074488 4229344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26287/statm: 3267 2921 105 248 0 3016 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 36144
Solver just ended. Dumping a history of the last processes samples
[startup+31.9067 s]
/proc/loadavg: 2.07 2.00 2.00 3/183 26386
/proc/meminfo: memFree=31488680/32873844 swapFree=6872/6872
[pid=26224] ppid=26222 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26224/stat : 26224 (npSolver-wbo.sh) S 26222 26224 22152 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284566707 9367552 275 33554432000 4194304 5064252 140733779809536 140733779808448 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26224/statm: 2287 275 233 213 0 72 0
[pid=26225] ppid=26224 vsize=4780 CPUtime=29.75 cores=0,2,4,6
/proc/26225/stat : 26225 (npSolver-wbo) S 26224 26224 22152 0 -1 4202496 2908 49464 0 0 8 4 2948 15 20 0 1 0 284566708 4894720 688 33554432000 4194304 5990268 140734629115648 140734629107088 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26225/statm: 1195 688 160 439 0 752 0
[pid=26378] ppid=26225 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26378/stat : 26378 (satsolver.sh) S 26225 26224 22152 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284569684 9367552 267 33554432000 4194304 5064252 140735245407728 140735245406640 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26378/statm: 2287 267 226 213 0 72 0
[pid=26379] ppid=26378 vsize=13904 CPUtime=2.12 cores=0,2,4,6
/proc/26379/stat : 26379 (glucose) R 26378 26224 22152 0 -1 4202496 2957 0 0 0 212 0 0 0 20 0 1 0 284569685 14237696 2855 33554432000 4194304 5208918 140736213737600 140736213735544 4229725 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26379/statm: 3476 2855 104 248 0 3225 0
Current children cumulated CPU time (s) 31.87
Current children cumulated vsize (KiB) 36980
[startup+35.1004 s]
/proc/loadavg: 2.07 2.00 2.00 3/183 26386
/proc/meminfo: memFree=31484388/32873844 swapFree=6872/6872
[pid=26224] ppid=26222 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26224/stat : 26224 (npSolver-wbo.sh) S 26222 26224 22152 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284566707 9367552 275 33554432000 4194304 5064252 140733779809536 140733779808448 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26224/statm: 2287 275 233 213 0 72 0
[pid=26225] ppid=26224 vsize=4780 CPUtime=29.75 cores=0,2,4,6
/proc/26225/stat : 26225 (npSolver-wbo) S 26224 26224 22152 0 -1 4202496 2908 49464 0 0 8 4 2948 15 20 0 1 0 284566708 4894720 688 33554432000 4194304 5990268 140734629115648 140734629107088 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26225/statm: 1195 688 160 439 0 752 0
[pid=26378] ppid=26225 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26378/stat : 26378 (satsolver.sh) S 26225 26224 22152 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284569684 9367552 267 33554432000 4194304 5064252 140735245407728 140735245406640 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26378/statm: 2287 267 226 213 0 72 0
[pid=26379] ppid=26378 vsize=13904 CPUtime=5.32 cores=0,2,4,6
/proc/26379/stat : 26379 (glucose) R 26378 26224 22152 0 -1 4202496 3255 0 0 0 532 0 0 0 20 0 1 0 284569685 14237696 3140 33554432000 4194304 5208918 140736213737600 140736213735544 4212508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26379/statm: 3476 3140 105 248 0 3225 0
Current children cumulated CPU time (s) 35.07
Current children cumulated vsize (KiB) 36980
[startup+36.7003 s]
/proc/loadavg: 2.07 2.00 2.00 3/183 26386
/proc/meminfo: memFree=31484264/32873844 swapFree=6872/6872
[pid=26224] ppid=26222 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26224/stat : 26224 (npSolver-wbo.sh) S 26222 26224 22152 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284566707 9367552 275 33554432000 4194304 5064252 140733779809536 140733779808448 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26224/statm: 2287 275 233 213 0 72 0
[pid=26225] ppid=26224 vsize=4780 CPUtime=29.75 cores=0,2,4,6
/proc/26225/stat : 26225 (npSolver-wbo) S 26224 26224 22152 0 -1 4202496 2908 49464 0 0 8 4 2948 15 20 0 1 0 284566708 4894720 688 33554432000 4194304 5990268 140734629115648 140734629107088 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26225/statm: 1195 688 160 439 0 752 0
[pid=26378] ppid=26225 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26378/stat : 26378 (satsolver.sh) S 26225 26224 22152 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284569684 9367552 267 33554432000 4194304 5064252 140735245407728 140735245406640 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26378/statm: 2287 267 226 213 0 72 0
[pid=26379] ppid=26378 vsize=13904 CPUtime=6.91 cores=0,2,4,6
/proc/26379/stat : 26379 (glucose) R 26378 26224 22152 0 -1 4202496 3255 0 0 0 691 0 0 0 20 0 1 0 284569685 14237696 3140 33554432000 4194304 5208918 140736213737600 140736213735544 4229776 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26379/statm: 3476 3140 105 248 0 3225 0
Current children cumulated CPU time (s) 36.66
Current children cumulated vsize (KiB) 36980
[startup+38.3004 s]
/proc/loadavg: 2.06 2.00 2.00 3/183 26386
/proc/meminfo: memFree=31481348/32873844 swapFree=6872/6872
[pid=26224] ppid=26222 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26224/stat : 26224 (npSolver-wbo.sh) S 26222 26224 22152 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284566707 9367552 275 33554432000 4194304 5064252 140733779809536 140733779808448 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26224/statm: 2287 275 233 213 0 72 0
[pid=26225] ppid=26224 vsize=4780 CPUtime=29.75 cores=0,2,4,6
/proc/26225/stat : 26225 (npSolver-wbo) S 26224 26224 22152 0 -1 4202496 2908 49464 0 0 8 4 2948 15 20 0 1 0 284566708 4894720 688 33554432000 4194304 5990268 140734629115648 140734629107088 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26225/statm: 1195 688 160 439 0 752 0
[pid=26378] ppid=26225 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26378/stat : 26378 (satsolver.sh) S 26225 26224 22152 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284569684 9367552 267 33554432000 4194304 5064252 140735245407728 140735245406640 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26378/statm: 2287 267 226 213 0 72 0
[pid=26379] ppid=26378 vsize=14232 CPUtime=8.51 cores=0,2,4,6
/proc/26379/stat : 26379 (glucose) R 26378 26224 22152 0 -1 4202496 3332 0 0 0 851 0 0 0 20 0 1 0 284569685 14573568 3215 33554432000 4194304 5208918 140736213737600 140736213735464 4229296 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26379/statm: 3558 3215 105 248 0 3307 0
Current children cumulated CPU time (s) 38.26
Current children cumulated vsize (KiB) 37308
[startup+38.7004 s]
/proc/loadavg: 2.06 2.00 2.00 3/183 26386
/proc/meminfo: memFree=31481364/32873844 swapFree=6872/6872
[pid=26224] ppid=26222 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26224/stat : 26224 (npSolver-wbo.sh) S 26222 26224 22152 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284566707 9367552 275 33554432000 4194304 5064252 140733779809536 140733779808448 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26224/statm: 2287 275 233 213 0 72 0
[pid=26225] ppid=26224 vsize=4780 CPUtime=29.75 cores=0,2,4,6
/proc/26225/stat : 26225 (npSolver-wbo) S 26224 26224 22152 0 -1 4202496 2908 49464 0 0 8 4 2948 15 20 0 1 0 284566708 4894720 688 33554432000 4194304 5990268 140734629115648 140734629107088 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26225/statm: 1195 688 160 439 0 752 0
[pid=26378] ppid=26225 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26378/stat : 26378 (satsolver.sh) S 26225 26224 22152 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284569684 9367552 267 33554432000 4194304 5064252 140735245407728 140735245406640 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26378/statm: 2287 267 226 213 0 72 0
[pid=26379] ppid=26378 vsize=14232 CPUtime=8.91 cores=0,2,4,6
/proc/26379/stat : 26379 (glucose) R 26378 26224 22152 0 -1 4202496 3332 0 0 0 891 0 0 0 20 0 1 0 284569685 14573568 3215 33554432000 4194304 5208918 140736213737600 140736213735464 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26379/statm: 3558 3215 105 248 0 3307 0
Current children cumulated CPU time (s) 38.66
Current children cumulated vsize (KiB) 37308
[startup+39.1004 s]
/proc/loadavg: 2.06 2.00 2.00 3/183 26386
/proc/meminfo: memFree=31481364/32873844 swapFree=6872/6872
[pid=26224] ppid=26222 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26224/stat : 26224 (npSolver-wbo.sh) S 26222 26224 22152 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284566707 9367552 275 33554432000 4194304 5064252 140733779809536 140733779808448 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26224/statm: 2287 275 233 213 0 72 0
[pid=26225] ppid=26224 vsize=4780 CPUtime=29.75 cores=0,2,4,6
/proc/26225/stat : 26225 (npSolver-wbo) S 26224 26224 22152 0 -1 4202496 2908 49464 0 0 8 4 2948 15 20 0 1 0 284566708 4894720 688 33554432000 4194304 5990268 140734629115648 140734629107088 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26225/statm: 1195 688 160 439 0 752 0
[pid=26378] ppid=26225 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26378/stat : 26378 (satsolver.sh) S 26225 26224 22152 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284569684 9367552 267 33554432000 4194304 5064252 140735245407728 140735245406640 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26378/statm: 2287 267 226 213 0 72 0
[pid=26379] ppid=26378 vsize=14232 CPUtime=9.31 cores=0,2,4,6
/proc/26379/stat : 26379 (glucose) R 26378 26224 22152 0 -1 4202496 3332 0 0 0 931 0 0 0 20 0 1 0 284569685 14573568 3215 33554432000 4194304 5208918 140736213737600 140736213735464 4229374 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26379/statm: 3558 3215 105 248 0 3307 0
Current children cumulated CPU time (s) 39.06
Current children cumulated vsize (KiB) 37308
[startup+39.2003 s]
/proc/loadavg: 2.06 2.00 2.00 3/183 26386
/proc/meminfo: memFree=31481364/32873844 swapFree=6872/6872
[pid=26224] ppid=26222 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26224/stat : 26224 (npSolver-wbo.sh) S 26222 26224 22152 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284566707 9367552 275 33554432000 4194304 5064252 140733779809536 140733779808448 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26224/statm: 2287 275 233 213 0 72 0
[pid=26225] ppid=26224 vsize=4780 CPUtime=39.17 cores=0,2,4,6
/proc/26225/stat : 26225 (npSolver-wbo) S 26224 26224 22152 0 -1 4202496 2994 56022 0 0 8 4 3889 16 20 0 1 0 284566708 4894720 689 33554432000 4194304 5990268 140734629115648 140734629111104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26225/statm: 1195 689 161 439 0 752 0
Current children cumulated CPU time (s) 39.17
Current children cumulated vsize (KiB) 13928
Child status: 0
Real time (s): 39.2023
CPU time (s): 39.187
CPU user time (s): 38.9781
CPU system time (s): 0.208968
CPU usage (%): 99.961
Max. virtual memory (cumulated for all children) (KiB): 41884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.9781
system time used= 0.208968
maximum resident set size= 15848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59845
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 181
involuntary context switches= 165
runsolver used 0.070989 second user time and 0.235964 second system time
The end