runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3362215-1305299803/watcher-3362215-1305299803 -o /tmp/evaluation-result-3362215-1305299803/solver-3362215-1305299803 -C 4800 -W 1300 -M 15500 manysat.sh HOME/instance-3362215-1305299803.cnf aimd 1
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 8.08 8.00 7.78 6/359 8608
/proc/meminfo: memFree=10487624/32951124 swapFree=65980216/67111528
[pid=8608] ppid=8606 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/8608/stat : 8608 (manysat.sh) S 8606 8608 8066 0 -1 4202496 328 0 0 0 0 0 0 0 23 0 1 0 622395837 8908800 249 33554432000 4194304 4922060 140735188052800 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/8608/statm: 2175 249 209 178 0 68 0
[startup+0.0219559 s]
/proc/loadavg: 8.08 8.00 7.78 6/359 8608
/proc/meminfo: memFree=10487624/32951124 swapFree=65980216/67111528
[pid=8608] ppid=8606 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/8608/stat : 8608 (manysat.sh) S 8606 8608 8066 0 -1 4202496 328 0 0 0 0 0 0 0 23 0 1 0 622395837 8908800 249 33554432000 4194304 4922060 140735188052800 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/8608/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.10095 s]
/proc/loadavg: 8.08 8.00 7.78 6/359 8608
/proc/meminfo: memFree=10487624/32951124 swapFree=65980216/67111528
[pid=8608] ppid=8606 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/8608/stat : 8608 (manysat.sh) S 8606 8608 8066 0 -1 4202496 328 0 0 0 0 0 0 0 23 0 1 0 622395837 8908800 249 33554432000 4194304 4922060 140735188052800 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/8608/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.300911 s]
/proc/loadavg: 8.08 8.00 7.78 6/359 8608
/proc/meminfo: memFree=10487624/32951124 swapFree=65980216/67111528
[pid=8608] ppid=8606 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/8608/stat : 8608 (manysat.sh) S 8606 8608 8066 0 -1 4202496 328 0 0 0 0 0 0 0 23 0 1 0 622395837 8908800 249 33554432000 4194304 4922060 140735188052800 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/8608/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.700833 s]
/proc/loadavg: 8.08 8.00 7.78 6/359 8608
/proc/meminfo: memFree=10487624/32951124 swapFree=65980216/67111528
[pid=8608] ppid=8606 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/8608/stat : 8608 (manysat.sh) S 8606 8608 8066 0 -1 4202496 328 0 0 0 0 0 0 0 23 0 1 0 622395837 8908800 249 33554432000 4194304 4922060 140735188052800 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/8608/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.50067 s]
/proc/loadavg: 8.08 8.00 7.78 6/361 8611
/proc/meminfo: memFree=10438772/32951124 swapFree=65980216/67111528
[pid=8608] ppid=8606 vsize=8700 CPUtime=0.9 cores=1,3,5,7
/proc/8608/stat : 8608 (manysat.sh) S 8606 8608 8066 0 -1 4202496 355 15989 0 0 0 0 83 7 18 0 1 0 622395837 8908800 252 33554432000 4194304 4922060 140735188052800 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8608/statm: 2175 252 209 178 0 68 0
[pid=8611] ppid=8608 vsize=145444 CPUtime=0.58 cores=1,3,5,7
/proc/8611/stat : 8611 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202496 35730 0 0 0 55 3 0 0 20 0 1 0 622395928 148934656 35685 33554432000 134512640 135305190 4294671328 18446744073709551615 134840070 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8611/statm: 36361 35685 72 194 0 36165 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 154144
[startup+3.10034 s]
/proc/loadavg: 7.91 7.97 7.77 9/364 8614
/proc/meminfo: memFree=10276432/32951124 swapFree=65980216/67111528
[pid=8608] ppid=8606 vsize=8700 CPUtime=0.9 cores=1,3,5,7
/proc/8608/stat : 8608 (manysat.sh) S 8606 8608 8066 0 -1 4202496 355 15989 0 0 0 0 83 7 18 0 1 0 622395837 8908800 252 33554432000 4194304 4922060 140735188052800 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8608/statm: 2175 252 209 178 0 68 0
[pid=8611] ppid=8608 vsize=230332 CPUtime=6.15 cores=1,3,5,7
/proc/8611/stat : 8611 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202496 48086 0 0 0 600 15 0 0 19 0 4 0 622395928 235859968 48036 33554432000 134512640 135305190 4294671328 18446744073709551615 134528227 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/8611/statm: 57583 48036 84 194 0 57387 0
[pid=8611/tid=8612] ppid=8608 vsize=230332 CPUtime=1.33 cores=1,3,5,7
/proc/8611/task/8612/stat : 8612 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202560 1097 0 0 0 131 2 0 0 19 0 4 0 622396012 235859968 48036 33554432000 134512640 135305190 4294671328 18446744073709551615 134528256 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=8611/tid=8613] ppid=8608 vsize=230332 CPUtime=1.31 cores=1,3,5,7
/proc/8611/task/8613/stat : 8613 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202560 1224 0 0 0 129 2 0 0 19 0 4 0 622396012 235859968 48036 33554432000 134512640 135305190 4294671328 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 7 0 0 0
[pid=8611/tid=8614] ppid=8608 vsize=230332 CPUtime=1.33 cores=1,3,5,7
/proc/8611/task/8614/stat : 8614 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202560 1225 0 0 0 130 3 0 0 19 0 4 0 622396012 235859968 48036 33554432000 134512640 135305190 4294671328 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.05
Current children cumulated vsize (KiB) 239032
[startup+6.30075 s]
/proc/loadavg: 7.91 7.97 7.77 9/364 8614
/proc/meminfo: memFree=10268240/32951124 swapFree=65980216/67111528
[pid=8608] ppid=8606 vsize=8700 CPUtime=0.9 cores=1,3,5,7
/proc/8608/stat : 8608 (manysat.sh) S 8606 8608 8066 0 -1 4202496 355 15989 0 0 0 0 83 7 18 0 1 0 622395837 8908800 252 33554432000 4194304 4922060 140735188052800 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8608/statm: 2175 252 209 178 0 68 0
[pid=8611] ppid=8608 vsize=236280 CPUtime=18.91 cores=1,3,5,7
/proc/8611/stat : 8611 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202496 49759 0 0 0 1875 16 0 0 25 0 4 0 622395928 241950720 49709 33554432000 134512640 135305190 4294671328 18446744073709551615 134528503 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/8611/statm: 59070 49709 84 194 0 58874 0
[pid=8611/tid=8612] ppid=8608 vsize=236280 CPUtime=4.53 cores=1,3,5,7
/proc/8611/task/8612/stat : 8612 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202560 1598 0 0 0 450 3 0 0 25 0 4 0 622396012 241950720 49709 33554432000 134512640 135305190 4294671328 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=8611/tid=8613] ppid=8608 vsize=236280 CPUtime=4.47 cores=1,3,5,7
/proc/8611/task/8613/stat : 8613 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202560 1595 0 0 0 445 2 0 0 25 0 4 0 622396012 241950720 49709 33554432000 134512640 135305190 4294671328 18446744073709551615 134528341 0 0 4096 3 0 0 0 -1 7 0 0 0
[pid=8611/tid=8614] ppid=8608 vsize=236280 CPUtime=4.53 cores=1,3,5,7
/proc/8611/task/8614/stat : 8614 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202560 1648 0 0 0 450 3 0 0 25 0 4 0 622396012 241950720 49709 33554432000 134512640 135305190 4294671328 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 19.81
Current children cumulated vsize (KiB) 244980
[startup+12.7006 s]
/proc/loadavg: 7.92 7.97 7.77 9/364 8615
/proc/meminfo: memFree=10256372/32951124 swapFree=65980216/67111528
[pid=8608] ppid=8606 vsize=8700 CPUtime=0.9 cores=1,3,5,7
/proc/8608/stat : 8608 (manysat.sh) S 8606 8608 8066 0 -1 4202496 355 15989 0 0 0 0 83 7 18 0 1 0 622395837 8908800 252 33554432000 4194304 4922060 140735188052800 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8608/statm: 2175 252 209 178 0 68 0
[pid=8611] ppid=8608 vsize=245840 CPUtime=44.44 cores=1,3,5,7
/proc/8611/stat : 8611 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202496 52151 0 0 0 4425 19 0 0 25 0 4 0 622395928 251740160 52101 33554432000 134512640 135305190 4294671328 18446744073709551615 134528382 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/8611/statm: 61460 52101 84 194 0 61264 0
[pid=8611/tid=8612] ppid=8608 vsize=245840 CPUtime=10.93 cores=1,3,5,7
/proc/8611/task/8612/stat : 8612 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202560 2057 0 0 0 1090 3 0 0 25 0 4 0 622396012 251740160 52101 33554432000 134512640 135305190 4294671328 18446744073709551615 134528768 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=8611/tid=8613] ppid=8608 vsize=245840 CPUtime=10.79 cores=1,3,5,7
/proc/8611/task/8613/stat : 8613 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202560 2317 0 0 0 1076 3 0 0 25 0 4 0 622396012 251740160 52101 33554432000 134512640 135305190 4294671328 18446744073709551615 134528559 0 0 4096 3 0 0 0 -1 7 0 0 0
[pid=8611/tid=8614] ppid=8608 vsize=245840 CPUtime=10.92 cores=1,3,5,7
/proc/8611/task/8614/stat : 8614 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202560 2283 0 0 0 1089 3 0 0 25 0 4 0 622396012 251740160 52101 33554432000 134512640 135305190 4294671328 18446744073709551615 134528503 0 0 4096 3 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 45.34
Current children cumulated vsize (KiB) 254540
[startup+25.5012 s]
/proc/loadavg: 7.93 7.97 7.77 9/364 8615
/proc/meminfo: memFree=10245348/32951124 swapFree=65980216/67111528
[pid=8608] ppid=8606 vsize=8700 CPUtime=0.9 cores=1,3,5,7
/proc/8608/stat : 8608 (manysat.sh) S 8606 8608 8066 0 -1 4202496 355 15989 0 0 0 0 83 7 18 0 1 0 622395837 8908800 252 33554432000 4194304 4922060 140735188052800 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8608/statm: 2175 252 209 178 0 68 0
[pid=8611] ppid=8608 vsize=257616 CPUtime=95.48 cores=1,3,5,7
/proc/8611/stat : 8611 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202496 55047 0 0 0 9527 21 0 0 25 0 4 0 622395928 263798784 54975 33554432000 134512640 135305190 4294671328 18446744073709551615 134528224 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/8611/statm: 64404 54975 84 194 0 64208 0
[pid=8611/tid=8612] ppid=8608 vsize=257616 CPUtime=23.73 cores=1,3,5,7
/proc/8611/task/8612/stat : 8612 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202560 2680 0 0 0 2369 4 0 0 25 0 4 0 622396012 263798784 54975 33554432000 134512640 135305190 4294671328 18446744073709551615 134528388 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=8611/tid=8613] ppid=8608 vsize=257616 CPUtime=23.44 cores=1,3,5,7
/proc/8611/task/8613/stat : 8613 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202560 3151 0 0 0 2340 4 0 0 25 0 4 0 622396012 263798784 54975 33554432000 134512640 135305190 4294671328 18446744073709551615 134528573 0 0 4096 3 0 0 0 -1 7 0 0 0
[pid=8611/tid=8614] ppid=8608 vsize=257616 CPUtime=23.73 cores=1,3,5,7
/proc/8611/task/8614/stat : 8614 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202560 3026 0 0 0 2369 4 0 0 25 0 4 0 622396012 263798784 54975 33554432000 134512640 135305190 4294671328 18446744073709551615 134528768 0 0 4096 3 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 96.38
Current children cumulated vsize (KiB) 266316
[startup+51.1005 s]
/proc/loadavg: 7.95 7.97 7.78 9/364 8616
/proc/meminfo: memFree=10221460/32951124 swapFree=65980216/67111528
[pid=8608] ppid=8606 vsize=8700 CPUtime=0.9 cores=1,3,5,7
/proc/8608/stat : 8608 (manysat.sh) S 8606 8608 8066 0 -1 4202496 355 15989 0 0 0 0 83 7 18 0 1 0 622395837 8908800 252 33554432000 4194304 4922060 140735188052800 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8608/statm: 2175 252 209 178 0 68 0
[pid=8611] ppid=8608 vsize=277760 CPUtime=197.55 cores=1,3,5,7
/proc/8611/stat : 8611 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202496 60044 0 0 0 19729 26 0 0 25 0 4 0 622395928 284426240 59972 33554432000 134512640 135305190 4294671328 18446744073709551615 134528310 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/8611/statm: 69440 59972 84 194 0 69244 0
[pid=8611/tid=8612] ppid=8608 vsize=277760 CPUtime=49.32 cores=1,3,5,7
/proc/8611/task/8612/stat : 8612 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202560 3767 0 0 0 4927 5 0 0 25 0 4 0 622396012 284426240 59972 33554432000 134512640 135305190 4294671328 18446744073709551615 134528256 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=8611/tid=8613] ppid=8608 vsize=277760 CPUtime=48.73 cores=1,3,5,7
/proc/8611/task/8613/stat : 8613 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202560 4842 0 0 0 4868 5 0 0 25 0 4 0 622396012 284426240 59972 33554432000 134512640 135305190 4294671328 18446744073709551615 134528768 0 0 4096 3 0 0 0 -1 7 0 0 0
[pid=8611/tid=8614] ppid=8608 vsize=277760 CPUtime=49.32 cores=1,3,5,7
/proc/8611/task/8614/stat : 8614 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202560 4176 0 0 0 4927 5 0 0 25 0 4 0 622396012 284426240 59972 33554432000 134512640 135305190 4294671328 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 198.45
Current children cumulated vsize (KiB) 286460
[startup+102.314 s]
/proc/loadavg: 7.88 7.94 7.78 9/364 8650
/proc/meminfo: memFree=10288776/32951124 swapFree=65980216/67111528
[pid=8608] ppid=8606 vsize=8700 CPUtime=0.9 cores=1,3,5,7
/proc/8608/stat : 8608 (manysat.sh) S 8606 8608 8066 0 -1 4202496 355 15989 0 0 0 0 83 7 18 0 1 0 622395837 8908800 252 33554432000 4194304 4922060 140735188052800 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8608/statm: 2175 252 209 178 0 68 0
[pid=8611] ppid=8608 vsize=305664 CPUtime=401.77 cores=1,3,5,7
/proc/8611/stat : 8611 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202496 66751 0 0 0 40145 32 0 0 25 0 4 0 622395928 312999936 66679 33554432000 134512640 135305190 4294671328 18446744073709551615 134528256 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/8611/statm: 76416 66679 84 194 0 76220 0
[pid=8611/tid=8612] ppid=8608 vsize=305664 CPUtime=100.53 cores=1,3,5,7
/proc/8611/task/8612/stat : 8612 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202560 5115 0 0 0 10046 7 0 0 25 0 4 0 622396012 312999936 66679 33554432000 134512640 135305190 4294671328 18446744073709551615 134551651 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=8611/tid=8613] ppid=8608 vsize=305664 CPUtime=99.33 cores=1,3,5,7
/proc/8611/task/8613/stat : 8613 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202560 6987 0 0 0 9926 7 0 0 25 0 4 0 622396012 312999936 66679 33554432000 134512640 135305190 4294671328 18446744073709551615 134528536 0 0 4096 3 0 0 0 -1 7 0 0 0
[pid=8611/tid=8614] ppid=8608 vsize=305664 CPUtime=100.52 cores=1,3,5,7
/proc/8611/task/8614/stat : 8614 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202560 5699 0 0 0 10046 6 0 0 25 0 4 0 622396012 312999936 66679 33554432000 134512640 135305190 4294671328 18446744073709551615 134528536 0 0 4096 3 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 402.67
Current children cumulated vsize (KiB) 314364
Solver just ended. Dumping a history of the last processes samples
[startup+108.701 s]
/proc/loadavg: 7.89 7.94 7.78 9/364 8650
/proc/meminfo: memFree=10276692/32951124 swapFree=65980216/67111528
[pid=8608] ppid=8606 vsize=8700 CPUtime=0.9 cores=1,3,5,7
/proc/8608/stat : 8608 (manysat.sh) S 8606 8608 8066 0 -1 4202496 355 15989 0 0 0 0 83 7 18 0 1 0 622395837 8908800 252 33554432000 4194304 4922060 140735188052800 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8608/statm: 2175 252 209 178 0 68 0
[pid=8611] ppid=8608 vsize=307908 CPUtime=427.22 cores=1,3,5,7
/proc/8611/stat : 8611 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202496 67136 0 0 0 42690 32 0 0 25 0 4 0 622395928 315297792 67064 33554432000 134512640 135305190 4294671328 18446744073709551615 134528329 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/8611/statm: 76977 67064 84 194 0 76781 0
[pid=8611/tid=8612] ppid=8608 vsize=307908 CPUtime=106.9 cores=1,3,5,7
/proc/8611/task/8612/stat : 8612 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202560 5217 0 0 0 10683 7 0 0 25 0 4 0 622396012 315297792 67064 33554432000 134512640 135305190 4294671328 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=8611/tid=8613] ppid=8608 vsize=307908 CPUtime=105.65 cores=1,3,5,7
/proc/8611/task/8613/stat : 8613 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202560 7145 0 0 0 10558 7 0 0 25 0 4 0 622396012 315297792 67064 33554432000 134512640 135305190 4294671328 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 7 0 0 0
[pid=8611/tid=8614] ppid=8608 vsize=307908 CPUtime=106.91 cores=1,3,5,7
/proc/8611/task/8614/stat : 8614 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202560 5746 0 0 0 10685 6 0 0 25 0 4 0 622396012 315297792 67064 33554432000 134512640 135305190 4294671328 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 428.12
Current children cumulated vsize (KiB) 316608
[startup+111.9 s]
/proc/loadavg: 7.89 7.94 7.78 9/364 8650
/proc/meminfo: memFree=10268728/32951124 swapFree=65980216/67111528
[pid=8608] ppid=8606 vsize=8700 CPUtime=0.9 cores=1,3,5,7
/proc/8608/stat : 8608 (manysat.sh) S 8606 8608 8066 0 -1 4202496 355 15989 0 0 0 0 83 7 18 0 1 0 622395837 8908800 252 33554432000 4194304 4922060 140735188052800 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8608/statm: 2175 252 209 178 0 68 0
[pid=8611] ppid=8608 vsize=308308 CPUtime=439.99 cores=1,3,5,7
/proc/8611/stat : 8611 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202496 67268 0 0 0 43966 33 0 0 25 0 4 0 622395928 315707392 67196 33554432000 134512640 135305190 4294671328 18446744073709551615 134528298 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/8611/statm: 77077 67196 84 194 0 76881 0
[pid=8611/tid=8612] ppid=8608 vsize=308308 CPUtime=110.1 cores=1,3,5,7
/proc/8611/task/8612/stat : 8612 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202560 5229 0 0 0 11003 7 0 0 25 0 4 0 622396012 315707392 67196 33554432000 134512640 135305190 4294671328 18446744073709551615 134528747 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=8611/tid=8613] ppid=8608 vsize=308308 CPUtime=108.81 cores=1,3,5,7
/proc/8611/task/8613/stat : 8613 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202560 7230 0 0 0 10874 7 0 0 25 0 4 0 622396012 315707392 67196 33554432000 134512640 135305190 4294671328 18446744073709551615 134528768 0 0 4096 3 0 0 0 -1 7 0 0 0
[pid=8611/tid=8614] ppid=8608 vsize=308308 CPUtime=110.11 cores=1,3,5,7
/proc/8611/task/8614/stat : 8614 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202560 5768 0 0 0 11005 6 0 0 25 0 4 0 622396012 315707392 67196 33554432000 134512640 135305190 4294671328 18446744073709551615 134556752 0 0 4096 3 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 440.89
Current children cumulated vsize (KiB) 317008
[startup+112.701 s]
/proc/loadavg: 7.90 7.94 7.78 9/364 8650
/proc/meminfo: memFree=10268232/32951124 swapFree=65980216/67111528
[pid=8608] ppid=8606 vsize=8700 CPUtime=0.9 cores=1,3,5,7
/proc/8608/stat : 8608 (manysat.sh) S 8606 8608 8066 0 -1 4202496 355 15989 0 0 0 0 83 7 18 0 1 0 622395837 8908800 252 33554432000 4194304 4922060 140735188052800 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8608/statm: 2175 252 209 178 0 68 0
[pid=8611] ppid=8608 vsize=308440 CPUtime=443.18 cores=1,3,5,7
/proc/8611/stat : 8611 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202496 67298 0 0 0 44285 33 0 0 25 0 4 0 622395928 315842560 67226 33554432000 134512640 135305190 4294671328 18446744073709551615 134528298 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/8611/statm: 77110 67226 84 194 0 76914 0
[pid=8611/tid=8612] ppid=8608 vsize=308440 CPUtime=110.91 cores=1,3,5,7
/proc/8611/task/8612/stat : 8612 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202560 5232 0 0 0 11084 7 0 0 25 0 4 0 622396012 315842560 67226 33554432000 134512640 135305190 4294671328 18446744073709551615 134528425 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=8611/tid=8613] ppid=8608 vsize=308440 CPUtime=109.59 cores=1,3,5,7
/proc/8611/task/8613/stat : 8613 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202560 7255 0 0 0 10952 7 0 0 25 0 4 0 622396012 315842560 67226 33554432000 134512640 135305190 4294671328 18446744073709551615 134528503 0 0 4096 3 0 0 0 -1 7 0 0 0
[pid=8611/tid=8614] ppid=8608 vsize=308440 CPUtime=110.91 cores=1,3,5,7
/proc/8611/task/8614/stat : 8614 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202560 5768 0 0 0 11085 6 0 0 25 0 4 0 622396012 315842560 67226 33554432000 134512640 135305190 4294671328 18446744073709551615 134528392 0 0 4096 3 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 444.08
Current children cumulated vsize (KiB) 317140
[startup+113.501 s]
/proc/loadavg: 7.90 7.94 7.78 9/364 8650
/proc/meminfo: memFree=10268108/32951124 swapFree=65980216/67111528
[pid=8608] ppid=8606 vsize=8700 CPUtime=0.9 cores=1,3,5,7
/proc/8608/stat : 8608 (manysat.sh) S 8606 8608 8066 0 -1 4202496 355 15989 0 0 0 0 83 7 18 0 1 0 622395837 8908800 252 33554432000 4194304 4922060 140735188052800 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8608/statm: 2175 252 209 178 0 68 0
[pid=8611] ppid=8608 vsize=308580 CPUtime=446.36 cores=1,3,5,7
/proc/8611/stat : 8611 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202496 67321 0 0 0 44603 33 0 0 25 0 4 0 622395928 315985920 67249 33554432000 134512640 135305190 4294671328 18446744073709551615 134528256 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/8611/statm: 77145 67249 84 194 0 76949 0
[pid=8611/tid=8612] ppid=8608 vsize=308580 CPUtime=111.7 cores=1,3,5,7
/proc/8611/task/8612/stat : 8612 (manysat1.1_stat) S 8608 8608 8066 0 -1 4202560 5237 0 0 0 11163 7 0 0 25 0 4 0 622396012 315985920 67249 33554432000 134512640 135305190 4294671328 18446744073709551615 134694990 0 0 4096 3 18446604468956444672 0 0 -1 1 0 0 0
[pid=8611/tid=8613] ppid=8608 vsize=308580 CPUtime=110.38 cores=1,3,5,7
/proc/8611/task/8613/stat : 8613 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202560 7270 0 0 0 11031 7 0 0 25 0 4 0 622396012 315985920 67249 33554432000 134512640 135305190 4294671328 18446744073709551615 134830591 0 0 4096 3 0 0 0 -1 7 0 0 0
[pid=8611/tid=8614] ppid=8608 vsize=308580 CPUtime=111.71 cores=1,3,5,7
/proc/8611/task/8614/stat : 8614 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202560 5768 0 0 0 11164 7 0 0 25 0 4 0 622396012 315985920 67249 33554432000 134512640 135305190 4294671328 18446744073709551615 134528392 0 0 4096 3 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 447.26
Current children cumulated vsize (KiB) 317280
[startup+113.701 s]
/proc/loadavg: 7.90 7.94 7.78 9/364 8650
/proc/meminfo: memFree=10268108/32951124 swapFree=65980216/67111528
[pid=8608] ppid=8606 vsize=8700 CPUtime=0.9 cores=1,3,5,7
/proc/8608/stat : 8608 (manysat.sh) S 8606 8608 8066 0 -1 4202496 355 15989 0 0 0 0 83 7 18 0 1 0 622395837 8908800 252 33554432000 4194304 4922060 140735188052800 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8608/statm: 2175 252 209 178 0 68 0
[pid=8611] ppid=8608 vsize=308580 CPUtime=447.15 cores=1,3,5,7
/proc/8611/stat : 8611 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202496 67335 0 0 0 44682 33 0 0 25 0 4 0 622395928 315985920 67263 33554432000 134512640 135305190 4294671328 18446744073709551615 134528438 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/8611/statm: 77145 67263 84 194 0 76949 0
[pid=8611/tid=8612] ppid=8608 vsize=308580 CPUtime=111.9 cores=1,3,5,7
/proc/8611/task/8612/stat : 8612 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202560 5240 0 0 0 11183 7 0 0 25 0 4 0 622396012 315985920 67263 33554432000 134512640 135305190 4294671328 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=8611/tid=8613] ppid=8608 vsize=308580 CPUtime=110.58 cores=1,3,5,7
/proc/8611/task/8613/stat : 8613 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202560 7278 0 0 0 11051 7 0 0 25 0 4 0 622396012 315985920 67263 33554432000 134512640 135305190 4294671328 18446744073709551615 134528265 0 0 4096 3 0 0 0 -1 7 0 0 0
[pid=8611/tid=8614] ppid=8608 vsize=308580 CPUtime=111.91 cores=1,3,5,7
/proc/8611/task/8614/stat : 8614 (manysat1.1_stat) R 8608 8608 8066 0 -1 4202560 5771 0 0 0 11184 7 0 0 25 0 4 0 622396012 315985920 67263 33554432000 134512640 135305190 4294671328 18446744073709551615 134528235 0 0 4096 3 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 448.05
Current children cumulated vsize (KiB) 317280
Child status: 20
Real time (s): 113.726
CPU time (s): 448.118
CPU user time (s): 447.691
CPU system time (s): 0.426935
CPU usage (%): 394.034
Max. virtual memory (cumulated for all children) (KiB): 317280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 447.691
system time used= 0.426935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83906
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= 14731
involuntary context switches= 2906
runsolver used 0.386941 second user time and 0.966853 second system time
The end