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-3753636-1339189118/watcher-3753636-1339189118 -o /tmp/evaluation-result-3753636-1339189118/solver-3753636-1339189118 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753636-1339189118.wbo 1371824363 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 8656
/proc/meminfo: memFree=29246220/32873844 swapFree=8660/8660
[pid=8656] ppid=8654 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8656/stat : 8656 (npSolver-wbo-It) S 8654 8656 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385040339 9367552 275 33554432000 4194304 5064252 140733317733024 140733317731936 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8656/statm: 2287 275 233 213 0 72 0
[startup+0.0938071 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8656
/proc/meminfo: memFree=29246220/32873844 swapFree=8660/8660
[pid=8656] ppid=8654 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8656/stat : 8656 (npSolver-wbo-It) S 8654 8656 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385040339 9367552 275 33554432000 4194304 5064252 140733317733024 140733317731936 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8656/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100294 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8656
/proc/meminfo: memFree=29246220/32873844 swapFree=8660/8660
[pid=8656] ppid=8654 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8656/stat : 8656 (npSolver-wbo-It) S 8654 8656 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385040339 9367552 275 33554432000 4194304 5064252 140733317733024 140733317731936 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8656/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300227 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8656
/proc/meminfo: memFree=29246220/32873844 swapFree=8660/8660
[pid=8656] ppid=8654 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8656/stat : 8656 (npSolver-wbo-It) S 8654 8656 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385040339 9367552 275 33554432000 4194304 5064252 140733317733024 140733317731936 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8656/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700228 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8656
/proc/meminfo: memFree=29246220/32873844 swapFree=8660/8660
[pid=8656] ppid=8654 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8656/stat : 8656 (npSolver-wbo-It) S 8654 8656 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385040339 9367552 275 33554432000 4194304 5064252 140733317733024 140733317731936 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8656/statm: 2287 275 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.00 2.00 2.00 3/183 8663
/proc/meminfo: memFree=29234540/32873844 swapFree=8660/8660
[pid=8656] ppid=8654 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8656/stat : 8656 (npSolver-wbo-It) S 8654 8656 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385040339 9367552 275 33554432000 4194304 5064252 140733317733024 140733317731936 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8656/statm: 2287 275 233 213 0 72 0
[pid=8657] ppid=8656 vsize=3088 CPUtime=0.22 cores=0,2,4,6
/proc/8657/stat : 8657 (npSolver-wbo) S 8656 8656 6657 0 -1 4202496 1433 2205 0 0 2 0 20 0 20 0 1 0 385040339 3162112 365 33554432000 4194304 6006132 140736876996736 140736876990928 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8657/statm: 772 365 158 443 0 325 0
[pid=8662] ppid=8657 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8662/stat : 8662 (satsolver.sh) S 8657 8656 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385040363 9367552 266 33554432000 4194304 5064252 140734633399088 140734633398000 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8662/statm: 2287 266 226 213 0 72 0
[pid=8663] ppid=8662 vsize=8552 CPUtime=1.25 cores=0,2,4,6
/proc/8663/stat : 8663 (glucose) R 8662 8656 6657 0 -1 4202496 2614 0 0 0 125 0 0 0 20 0 1 0 385040364 8757248 1696 33554432000 4194304 5208918 140737197312896 140737197310840 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8663/statm: 2138 1696 96 248 0 1887 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 29936
[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8663
/proc/meminfo: memFree=29222320/32873844 swapFree=8660/8660
[pid=8656] ppid=8654 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8656/stat : 8656 (npSolver-wbo-It) S 8654 8656 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385040339 9367552 275 33554432000 4194304 5064252 140733317733024 140733317731936 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8656/statm: 2287 275 233 213 0 72 0
[pid=8657] ppid=8656 vsize=3088 CPUtime=0.22 cores=0,2,4,6
/proc/8657/stat : 8657 (npSolver-wbo) S 8656 8656 6657 0 -1 4202496 1433 2205 0 0 2 0 20 0 20 0 1 0 385040339 3162112 365 33554432000 4194304 6006132 140736876996736 140736876990928 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8657/statm: 772 365 158 443 0 325 0
[pid=8662] ppid=8657 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8662/stat : 8662 (satsolver.sh) S 8657 8656 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385040363 9367552 266 33554432000 4194304 5064252 140734633399088 140734633398000 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8662/statm: 2287 266 226 213 0 72 0
[pid=8663] ppid=8662 vsize=12904 CPUtime=2.85 cores=0,2,4,6
/proc/8663/stat : 8663 (glucose) R 8662 8656 6657 0 -1 4202496 2707 0 0 0 285 0 0 0 20 0 1 0 385040364 13213696 2810 33554432000 4194304 5208918 140737197312896 140737197310840 4229374 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8663/statm: 3226 2810 96 248 0 2975 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 34288
[startup+6.30035 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8663
/proc/meminfo: memFree=29212472/32873844 swapFree=8660/8660
[pid=8656] ppid=8654 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8656/stat : 8656 (npSolver-wbo-It) S 8654 8656 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385040339 9367552 275 33554432000 4194304 5064252 140733317733024 140733317731936 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8656/statm: 2287 275 233 213 0 72 0
[pid=8657] ppid=8656 vsize=3088 CPUtime=0.22 cores=0,2,4,6
/proc/8657/stat : 8657 (npSolver-wbo) S 8656 8656 6657 0 -1 4202496 1433 2205 0 0 2 0 20 0 20 0 1 0 385040339 3162112 365 33554432000 4194304 6006132 140736876996736 140736876990928 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8657/statm: 772 365 158 443 0 325 0
[pid=8662] ppid=8657 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8662/stat : 8662 (satsolver.sh) S 8657 8656 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385040363 9367552 266 33554432000 4194304 5064252 140734633399088 140734633398000 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8662/statm: 2287 266 226 213 0 72 0
[pid=8663] ppid=8662 vsize=22700 CPUtime=6.05 cores=0,2,4,6
/proc/8663/stat : 8663 (glucose) R 8662 8656 6657 0 -1 4202496 3409 0 0 0 605 0 0 0 20 0 1 0 385040364 23244800 5043 33554432000 4194304 5208918 140737197312896 140737197310888 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8663/statm: 5675 5043 96 248 0 5424 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 44084
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8677
/proc/meminfo: memFree=29161196/32873844 swapFree=8660/8660
[pid=8656] ppid=8654 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8656/stat : 8656 (npSolver-wbo-It) S 8654 8656 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385040339 9367552 275 33554432000 4194304 5064252 140733317733024 140733317731936 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8656/statm: 2287 275 233 213 0 72 0
[pid=8657] ppid=8656 vsize=19796 CPUtime=7.75 cores=0,2,4,6
/proc/8657/stat : 8657 (npSolver-wbo) S 8656 8656 6657 0 -1 4202496 3667 8568 0 0 11 3 760 1 20 0 1 0 385040339 20271104 4476 33554432000 4194304 6006132 140736876996736 140736876988128 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8657/statm: 4949 4476 167 443 0 4502 0
[pid=8676] ppid=8657 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8676/stat : 8676 (satsolver.sh) S 8657 8656 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385041117 9367552 267 33554432000 4194304 5064252 140736387606704 140736387605616 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8676/statm: 2287 267 226 213 0 72 0
[pid=8677] ppid=8676 vsize=67184 CPUtime=4.91 cores=0,2,4,6
/proc/8677/stat : 8677 (glucose) R 8676 8656 6657 0 -1 4202496 13573 0 0 0 489 2 0 0 20 0 1 0 385041117 68796416 14894 33554432000 4194304 5208918 140734564904848 140734564902792 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8677/statm: 16796 14895 96 248 0 16545 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 105276
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8698
/proc/meminfo: memFree=29207592/32873844 swapFree=8660/8660
[pid=8656] ppid=8654 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8656/stat : 8656 (npSolver-wbo-It) S 8654 8656 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385040339 9367552 275 33554432000 4194304 5064252 140733317733024 140733317731936 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8656/statm: 2287 275 233 213 0 72 0
[pid=8657] ppid=8656 vsize=19796 CPUtime=18.63 cores=0,2,4,6
/proc/8657/stat : 8657 (npSolver-wbo) S 8656 8656 6657 0 -1 4202496 3745 28762 0 0 11 3 1830 19 20 0 1 0 385040339 20271104 4477 33554432000 4194304 6006132 140736876996736 140736876988128 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8657/statm: 4949 4477 168 443 0 4502 0
[pid=8690] ppid=8657 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8690/stat : 8690 (satsolver.sh) S 8657 8656 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385042204 9367552 267 33554432000 4194304 5064252 140735559921696 140735559920608 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8690/statm: 2287 267 226 213 0 72 0
[pid=8691] ppid=8690 vsize=15148 CPUtime=6.83 cores=0,2,4,6
/proc/8691/stat : 8691 (glucose) R 8690 8656 6657 0 -1 4202496 3525 0 0 0 683 0 0 0 20 0 1 0 385042205 15511552 3075 33554432000 4194304 5208918 140733836010752 140733836008696 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8691/statm: 3787 3075 102 248 0 3536 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 53240
Solver just ended. Dumping a history of the last processes samples
[startup+28.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8705
/proc/meminfo: memFree=29213236/32873844 swapFree=8660/8660
[pid=8656] ppid=8654 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8656/stat : 8656 (npSolver-wbo-It) S 8654 8656 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385040339 9367552 275 33554432000 4194304 5064252 140733317733024 140733317731936 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8656/statm: 2287 275 233 213 0 72 0
[pid=8657] ppid=8656 vsize=19796 CPUtime=18.63 cores=0,2,4,6
/proc/8657/stat : 8657 (npSolver-wbo) S 8656 8656 6657 0 -1 4202496 3745 28762 0 0 11 3 1830 19 20 0 1 0 385040339 20271104 4477 33554432000 4194304 6006132 140736876996736 140736876988128 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8657/statm: 4949 4477 168 443 0 4502 0
[pid=8690] ppid=8657 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8690/stat : 8690 (satsolver.sh) S 8657 8656 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385042204 9367552 267 33554432000 4194304 5064252 140735559921696 140735559920608 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8690/statm: 2287 267 226 213 0 72 0
[pid=8691] ppid=8690 vsize=22220 CPUtime=10.04 cores=0,2,4,6
/proc/8691/stat : 8691 (glucose) R 8690 8656 6657 0 -1 4202496 3907 0 0 0 1003 1 0 0 20 0 1 0 385042205 22753280 3962 33554432000 4194304 5208918 140733836010752 140733836008696 4229760 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8691/statm: 5555 3962 102 248 0 5304 0
Current children cumulated CPU time (s) 28.67
Current children cumulated vsize (KiB) 60312
[startup+29.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8705
/proc/meminfo: memFree=29213236/32873844 swapFree=8660/8660
[pid=8656] ppid=8654 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8656/stat : 8656 (npSolver-wbo-It) S 8654 8656 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385040339 9367552 275 33554432000 4194304 5064252 140733317733024 140733317731936 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8656/statm: 2287 275 233 213 0 72 0
[pid=8657] ppid=8656 vsize=19796 CPUtime=18.63 cores=0,2,4,6
/proc/8657/stat : 8657 (npSolver-wbo) S 8656 8656 6657 0 -1 4202496 3745 28762 0 0 11 3 1830 19 20 0 1 0 385040339 20271104 4477 33554432000 4194304 6006132 140736876996736 140736876988128 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8657/statm: 4949 4477 168 443 0 4502 0
[pid=8690] ppid=8657 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8690/stat : 8690 (satsolver.sh) S 8657 8656 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385042204 9367552 267 33554432000 4194304 5064252 140735559921696 140735559920608 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8690/statm: 2287 267 226 213 0 72 0
[pid=8691] ppid=8690 vsize=22220 CPUtime=10.84 cores=0,2,4,6
/proc/8691/stat : 8691 (glucose) R 8690 8656 6657 0 -1 4202496 3907 0 0 0 1083 1 0 0 20 0 1 0 385042205 22753280 3962 33554432000 4194304 5208918 140733836010752 140733836008696 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8691/statm: 5555 3962 102 248 0 5304 0
Current children cumulated CPU time (s) 29.47
Current children cumulated vsize (KiB) 60312
[startup+29.9004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8705
/proc/meminfo: memFree=29208704/32873844 swapFree=8660/8660
[pid=8656] ppid=8654 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8656/stat : 8656 (npSolver-wbo-It) S 8654 8656 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385040339 9367552 275 33554432000 4194304 5064252 140733317733024 140733317731936 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8656/statm: 2287 275 233 213 0 72 0
[pid=8657] ppid=8656 vsize=19796 CPUtime=18.63 cores=0,2,4,6
/proc/8657/stat : 8657 (npSolver-wbo) S 8656 8656 6657 0 -1 4202496 3745 28762 0 0 11 3 1830 19 20 0 1 0 385040339 20271104 4477 33554432000 4194304 6006132 140736876996736 140736876988128 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8657/statm: 4949 4477 168 443 0 4502 0
[pid=8690] ppid=8657 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8690/stat : 8690 (satsolver.sh) S 8657 8656 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385042204 9367552 267 33554432000 4194304 5064252 140735559921696 140735559920608 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8690/statm: 2287 267 226 213 0 72 0
[pid=8691] ppid=8690 vsize=22220 CPUtime=11.24 cores=0,2,4,6
/proc/8691/stat : 8691 (glucose) R 8690 8656 6657 0 -1 4202496 3908 0 0 0 1123 1 0 0 20 0 1 0 385042205 22753280 4474 33554432000 4194304 5208918 140733836010752 140733836008696 4229541 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8691/statm: 5555 4474 102 248 0 5304 0
Current children cumulated CPU time (s) 29.87
Current children cumulated vsize (KiB) 60312
[startup+30.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8705
/proc/meminfo: memFree=29208704/32873844 swapFree=8660/8660
[pid=8656] ppid=8654 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8656/stat : 8656 (npSolver-wbo-It) S 8654 8656 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385040339 9367552 275 33554432000 4194304 5064252 140733317733024 140733317731936 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8656/statm: 2287 275 233 213 0 72 0
[pid=8657] ppid=8656 vsize=19796 CPUtime=18.63 cores=0,2,4,6
/proc/8657/stat : 8657 (npSolver-wbo) S 8656 8656 6657 0 -1 4202496 3745 28762 0 0 11 3 1830 19 20 0 1 0 385040339 20271104 4477 33554432000 4194304 6006132 140736876996736 140736876988128 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8657/statm: 4949 4477 168 443 0 4502 0
[pid=8690] ppid=8657 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8690/stat : 8690 (satsolver.sh) S 8657 8656 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385042204 9367552 267 33554432000 4194304 5064252 140735559921696 140735559920608 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8690/statm: 2287 267 226 213 0 72 0
[pid=8691] ppid=8690 vsize=22220 CPUtime=11.44 cores=0,2,4,6
/proc/8691/stat : 8691 (glucose) R 8690 8656 6657 0 -1 4202496 3908 0 0 0 1143 1 0 0 20 0 1 0 385042205 22753280 4474 33554432000 4194304 5208918 140733836010752 140733836008696 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8691/statm: 5555 4474 102 248 0 5304 0
Current children cumulated CPU time (s) 30.07
Current children cumulated vsize (KiB) 60312
[startup+30.2003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8705
/proc/meminfo: memFree=29208704/32873844 swapFree=8660/8660
[pid=8656] ppid=8654 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8656/stat : 8656 (npSolver-wbo-It) S 8654 8656 6657 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385040339 9367552 275 33554432000 4194304 5064252 140733317733024 140733317731936 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8656/statm: 2287 275 233 213 0 72 0
[pid=8657] ppid=8656 vsize=19796 CPUtime=30.18 cores=0,2,4,6
/proc/8657/stat : 8657 (npSolver-wbo) S 8656 8656 6657 0 -1 4202496 3793 36020 0 0 12 3 2982 21 20 0 1 0 385040339 20271104 4478 33554432000 4194304 6006132 140736876996736 140736876992144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8657/statm: 4949 4478 169 443 0 4502 0
Current children cumulated CPU time (s) 30.18
Current children cumulated vsize (KiB) 28944
Child status: 0
Real time (s): 30.2028
CPU time (s): 30.2034
CPU user time (s): 29.9504
CPU system time (s): 0.252961
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 116772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.9504
system time used= 0.252961
maximum resident set size= 86468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40651
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 350
involuntary context switches= 86
runsolver used 0.050992 second user time and 0.123981 second system time
The end