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-3361949-1305297475/watcher-3361949-1305297475 -o /tmp/evaluation-result-3361949-1305297475/solver-3361949-1305297475 -C 4800 -W 1300 -M 15500 manysat.sh HOME/instance-3361949-1305297475.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.14 7.89 5.56 7/356 10878
/proc/meminfo: memFree=2356908/32950928 swapFree=67056568/67111528
[pid=10878] ppid=10876 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/10878/stat : 10878 (manysat.sh) S 10876 10878 10773 0 -1 4202496 330 0 0 0 0 0 0 0 24 0 1 0 641344619 8908800 250 33554432000 4194304 4922060 140734526453904 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/10878/statm: 2175 250 209 178 0 68 0
[startup+0.0816241 s]
/proc/loadavg: 8.14 7.89 5.56 7/356 10878
/proc/meminfo: memFree=2356908/32950928 swapFree=67056568/67111528
[pid=10878] ppid=10876 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/10878/stat : 10878 (manysat.sh) S 10876 10878 10773 0 -1 4202496 330 0 0 0 0 0 0 0 24 0 1 0 641344619 8908800 250 33554432000 4194304 4922060 140734526453904 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/10878/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.100622 s]
/proc/loadavg: 8.14 7.89 5.56 7/356 10878
/proc/meminfo: memFree=2356908/32950928 swapFree=67056568/67111528
[pid=10878] ppid=10876 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/10878/stat : 10878 (manysat.sh) S 10876 10878 10773 0 -1 4202496 330 0 0 0 0 0 0 0 24 0 1 0 641344619 8908800 250 33554432000 4194304 4922060 140734526453904 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/10878/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.30052 s]
/proc/loadavg: 8.14 7.89 5.56 7/356 10878
/proc/meminfo: memFree=2356908/32950928 swapFree=67056568/67111528
[pid=10878] ppid=10876 vsize=8700 CPUtime=0.17 cores=1,3,5,7
/proc/10878/stat : 10878 (manysat.sh) S 10876 10878 10773 0 -1 4202496 357 1835 0 0 0 0 17 0 23 0 1 0 641344619 8908800 253 33554432000 4194304 4922060 140734526453904 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/10878/statm: 2175 253 209 178 0 68 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 8700
[startup+0.700443 s]
/proc/loadavg: 8.14 7.89 5.56 7/356 10878
/proc/meminfo: memFree=2356908/32950928 swapFree=67056568/67111528
[pid=10878] ppid=10876 vsize=8700 CPUtime=0.17 cores=1,3,5,7
/proc/10878/stat : 10878 (manysat.sh) S 10876 10878 10773 0 -1 4202496 357 1835 0 0 0 0 17 0 23 0 1 0 641344619 8908800 253 33554432000 4194304 4922060 140734526453904 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/10878/statm: 2175 253 209 178 0 68 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 8700
[startup+1.50029 s]
/proc/loadavg: 8.14 7.89 5.56 9/361 10884
/proc/meminfo: memFree=2337152/32950928 swapFree=67056568/67111528
[pid=10878] ppid=10876 vsize=8700 CPUtime=0.17 cores=1,3,5,7
/proc/10878/stat : 10878 (manysat.sh) S 10876 10878 10773 0 -1 4202496 357 1835 0 0 0 0 17 0 23 0 1 0 641344619 8908800 253 33554432000 4194304 4922060 140734526453904 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/10878/statm: 2175 253 209 178 0 68 0
[pid=10881] ppid=10878 vsize=55232 CPUtime=5.15 cores=1,3,5,7
/proc/10881/stat : 10881 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202496 5231 0 0 0 511 4 0 0 19 0 4 0 641344637 56557568 5184 33554432000 134512640 135305190 4291743888 18446744073709551615 134528252 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0
/proc/10881/statm: 13808 5184 84 194 0 13612 0
[pid=10881/tid=10882] ppid=10878 vsize=55232 CPUtime=1.28 cores=1,3,5,7
/proc/10881/task/10882/stat : 10882 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 738 0 0 0 127 1 0 0 19 0 4 0 641344640 56557568 5184 33554432000 134512640 135305190 4291743888 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=10881/tid=10883] ppid=10878 vsize=55232 CPUtime=1.27 cores=1,3,5,7
/proc/10881/task/10883/stat : 10883 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 959 0 0 0 126 1 0 0 19 0 4 0 641344640 56557568 5184 33554432000 134512640 135305190 4291743888 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=10881/tid=10884] ppid=10878 vsize=55232 CPUtime=1.28 cores=1,3,5,7
/proc/10881/task/10884/stat : 10884 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 883 0 0 0 127 1 0 0 19 0 4 0 641344640 56557568 5184 33554432000 134512640 135305190 4291743888 18446744073709551615 134528252 0 0 4096 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.32
Current children cumulated vsize (KiB) 63932
[startup+3.10098 s]
/proc/loadavg: 8.14 7.89 5.56 9/361 10884
/proc/meminfo: memFree=2328224/32950928 swapFree=67056568/67111528
[pid=10878] ppid=10876 vsize=8700 CPUtime=0.17 cores=1,3,5,7
/proc/10878/stat : 10878 (manysat.sh) S 10876 10878 10773 0 -1 4202496 357 1835 0 0 0 0 17 0 23 0 1 0 641344619 8908800 253 33554432000 4194304 4922060 140734526453904 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/10878/statm: 2175 253 209 178 0 68 0
[pid=10881] ppid=10878 vsize=62188 CPUtime=11.54 cores=1,3,5,7
/proc/10881/stat : 10881 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202496 6976 0 0 0 1149 5 0 0 24 0 4 0 641344637 63680512 6929 33554432000 134512640 135305190 4291743888 18446744073709551615 134528145 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0
/proc/10881/statm: 15547 6929 84 194 0 15351 0
[pid=10881/tid=10882] ppid=10878 vsize=62188 CPUtime=2.88 cores=1,3,5,7
/proc/10881/task/10882/stat : 10882 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 1086 0 0 0 287 1 0 0 24 0 4 0 641344640 63680512 6929 33554432000 134512640 135305190 4291743888 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=10881/tid=10883] ppid=10878 vsize=62188 CPUtime=2.87 cores=1,3,5,7
/proc/10881/task/10883/stat : 10883 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 1470 0 0 0 286 1 0 0 24 0 4 0 641344640 63680512 6929 33554432000 134512640 135305190 4291743888 18446744073709551615 134531174 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=10881/tid=10884] ppid=10878 vsize=62188 CPUtime=2.88 cores=1,3,5,7
/proc/10881/task/10884/stat : 10884 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 1281 0 0 0 287 1 0 0 24 0 4 0 641344640 63680512 6929 33554432000 134512640 135305190 4291743888 18446744073709551615 134528274 0 0 4096 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.71
Current children cumulated vsize (KiB) 70888
[startup+6.30037 s]
/proc/loadavg: 8.13 7.90 5.58 9/361 10885
/proc/meminfo: memFree=2315888/32950928 swapFree=67056568/67111528
[pid=10878] ppid=10876 vsize=8700 CPUtime=0.17 cores=1,3,5,7
/proc/10878/stat : 10878 (manysat.sh) S 10876 10878 10773 0 -1 4202496 357 1835 0 0 0 0 17 0 23 0 1 0 641344619 8908800 253 33554432000 4194304 4922060 140734526453904 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/10878/statm: 2175 253 209 178 0 68 0
[pid=10881] ppid=10878 vsize=75620 CPUtime=24.29 cores=1,3,5,7
/proc/10881/stat : 10881 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202496 10570 0 0 0 2422 7 0 0 25 0 4 0 641344637 77434880 10523 33554432000 134512640 135305190 4291743888 18446744073709551615 134546648 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0
/proc/10881/statm: 18905 10523 84 194 0 18709 0
[pid=10881/tid=10882] ppid=10878 vsize=75620 CPUtime=6.07 cores=1,3,5,7
/proc/10881/task/10882/stat : 10882 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 1809 0 0 0 606 1 0 0 25 0 4 0 641344640 77434880 10523 33554432000 134512640 135305190 4291743888 18446744073709551615 134528442 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=10881/tid=10883] ppid=10878 vsize=75620 CPUtime=6.07 cores=1,3,5,7
/proc/10881/task/10883/stat : 10883 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 2605 0 0 0 606 1 0 0 24 0 4 0 641344640 77434880 10523 33554432000 134512640 135305190 4291743888 18446744073709551615 134528376 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=10881/tid=10884] ppid=10878 vsize=75620 CPUtime=6.07 cores=1,3,5,7
/proc/10881/task/10884/stat : 10884 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 2073 0 0 0 606 1 0 0 25 0 4 0 641344640 77434880 10523 33554432000 134512640 135305190 4291743888 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.46
Current children cumulated vsize (KiB) 84320
[startup+12.7011 s]
/proc/loadavg: 8.12 7.90 5.59 9/361 10885
/proc/meminfo: memFree=2299672/32950928 swapFree=67056568/67111528
[pid=10878] ppid=10876 vsize=8700 CPUtime=0.17 cores=1,3,5,7
/proc/10878/stat : 10878 (manysat.sh) S 10876 10878 10773 0 -1 4202496 357 1835 0 0 0 0 17 0 23 0 1 0 641344619 8908800 253 33554432000 4194304 4922060 140734526453904 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/10878/statm: 2175 253 209 178 0 68 0
[pid=10881] ppid=10878 vsize=89996 CPUtime=49.81 cores=1,3,5,7
/proc/10881/stat : 10881 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202496 13870 0 0 0 4970 11 0 0 25 0 4 0 641344637 92155904 13823 33554432000 134512640 135305190 4291743888 18446744073709551615 134556558 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0
/proc/10881/statm: 22499 13823 84 194 0 22303 0
[pid=10881/tid=10882] ppid=10878 vsize=89996 CPUtime=12.47 cores=1,3,5,7
/proc/10881/task/10882/stat : 10882 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 2535 0 0 0 1245 2 0 0 25 0 4 0 641344640 92155904 13823 33554432000 134512640 135305190 4291743888 18446744073709551615 134528286 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=10881/tid=10883] ppid=10878 vsize=89996 CPUtime=12.47 cores=1,3,5,7
/proc/10881/task/10883/stat : 10883 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 3542 0 0 0 1245 2 0 0 25 0 4 0 641344640 92155904 13823 33554432000 134512640 135305190 4291743888 18446744073709551615 134840070 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=10881/tid=10884] ppid=10878 vsize=89996 CPUtime=12.48 cores=1,3,5,7
/proc/10881/task/10884/stat : 10884 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 2854 0 0 0 1245 3 0 0 25 0 4 0 641344640 92155904 13823 33554432000 134512640 135305190 4291743888 18446744073709551615 134528480 0 0 4096 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (KiB) 98696
[startup+25.5007 s]
/proc/loadavg: 8.17 7.92 5.63 9/361 10885
/proc/meminfo: memFree=2260740/32950928 swapFree=67056568/67111528
[pid=10878] ppid=10876 vsize=8700 CPUtime=0.17 cores=1,3,5,7
/proc/10878/stat : 10878 (manysat.sh) S 10876 10878 10773 0 -1 4202496 357 1835 0 0 0 0 17 0 23 0 1 0 641344619 8908800 253 33554432000 4194304 4922060 140734526453904 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/10878/statm: 2175 253 209 178 0 68 0
[pid=10881] ppid=10878 vsize=121028 CPUtime=100.84 cores=1,3,5,7
/proc/10881/stat : 10881 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202496 21697 0 0 0 10066 18 0 0 25 0 4 0 641344637 123932672 21650 33554432000 134512640 135305190 4291743888 18446744073709551615 134528503 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0
/proc/10881/statm: 30257 21650 84 194 0 30061 0
[pid=10881/tid=10882] ppid=10878 vsize=121028 CPUtime=25.27 cores=1,3,5,7
/proc/10881/task/10882/stat : 10882 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 4292 0 0 0 2523 4 0 0 25 0 4 0 641344640 123932672 21650 33554432000 134512640 135305190 4291743888 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=10881/tid=10883] ppid=10878 vsize=121028 CPUtime=25.26 cores=1,3,5,7
/proc/10881/task/10883/stat : 10883 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 6049 0 0 0 2522 4 0 0 25 0 4 0 641344640 123932672 21650 33554432000 134512640 135305190 4291743888 18446744073709551615 134551820 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=10881/tid=10884] ppid=10878 vsize=121028 CPUtime=25.27 cores=1,3,5,7
/proc/10881/task/10884/stat : 10884 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 4280 0 0 0 2523 4 0 0 25 0 4 0 641344640 123932672 21650 33554432000 134512640 135305190 4291743888 18446744073709551615 134528503 0 0 4096 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.01
Current children cumulated vsize (KiB) 129728
[startup+51.1008 s]
/proc/loadavg: 8.17 7.94 5.70 9/361 10886
/proc/meminfo: memFree=2155716/32950928 swapFree=67056568/67111528
[pid=10878] ppid=10876 vsize=8700 CPUtime=0.17 cores=1,3,5,7
/proc/10878/stat : 10878 (manysat.sh) S 10876 10878 10773 0 -1 4202496 357 1835 0 0 0 0 17 0 23 0 1 0 641344619 8908800 253 33554432000 4194304 4922060 140734526453904 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/10878/statm: 2175 253 209 178 0 68 0
[pid=10881] ppid=10878 vsize=152724 CPUtime=202.92 cores=1,3,5,7
/proc/10881/stat : 10881 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202496 29377 0 0 0 20269 23 0 0 25 0 4 0 641344637 156389376 29330 33554432000 134512640 135305190 4291743888 18446744073709551615 134528576 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/10881/statm: 38181 29330 84 194 0 37985 0
[pid=10881/tid=10882] ppid=10878 vsize=152724 CPUtime=50.87 cores=1,3,5,7
/proc/10881/task/10882/stat : 10882 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 6330 0 0 0 5082 5 0 0 25 0 4 0 641344640 156389376 29330 33554432000 134512640 135305190 4291743888 18446744073709551615 134538170 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=10881/tid=10883] ppid=10878 vsize=152724 CPUtime=50.85 cores=1,3,5,7
/proc/10881/task/10883/stat : 10883 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 8160 0 0 0 5080 5 0 0 25 0 4 0 641344640 156389376 29330 33554432000 134512640 135305190 4291743888 18446744073709551615 134528327 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=10881/tid=10884] ppid=10878 vsize=152724 CPUtime=50.8 cores=1,3,5,7
/proc/10881/task/10884/stat : 10884 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 5944 0 0 0 5074 6 0 0 25 0 4 0 641344640 156389376 29330 33554432000 134512640 135305190 4291743888 18446744073709551615 134528480 0 0 4096 3 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.09
Current children cumulated vsize (KiB) 161424
[startup+102.314 s]
/proc/loadavg: 8.20 7.98 5.83 9/361 10887
/proc/meminfo: memFree=2091628/32950928 swapFree=67056568/67111528
[pid=10878] ppid=10876 vsize=8700 CPUtime=0.17 cores=1,3,5,7
/proc/10878/stat : 10878 (manysat.sh) S 10876 10878 10773 0 -1 4202496 357 1835 0 0 0 0 17 0 23 0 1 0 641344619 8908800 253 33554432000 4194304 4922060 140734526453904 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/10878/statm: 2175 253 209 178 0 68 0
[pid=10881] ppid=10878 vsize=206944 CPUtime=407.15 cores=1,3,5,7
/proc/10881/stat : 10881 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202496 42752 0 0 0 40680 35 0 0 25 0 4 0 641344637 211910656 42684 33554432000 134512640 135305190 4291743888 18446744073709551615 134528298 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/10881/statm: 51736 42684 84 194 0 51540 0
[pid=10881/tid=10882] ppid=10878 vsize=206944 CPUtime=102.06 cores=1,3,5,7
/proc/10881/task/10882/stat : 10882 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 9923 0 0 0 10198 8 0 0 25 0 4 0 641344640 211910656 42684 33554432000 134512640 135305190 4291743888 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=10881/tid=10883] ppid=10878 vsize=206944 CPUtime=102.05 cores=1,3,5,7
/proc/10881/task/10883/stat : 10883 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 11536 0 0 0 10198 7 0 0 25 0 4 0 641344640 211910656 42684 33554432000 134512640 135305190 4291743888 18446744073709551615 134528392 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=10881/tid=10884] ppid=10878 vsize=206944 CPUtime=101.42 cores=1,3,5,7
/proc/10881/task/10884/stat : 10884 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 9246 0 0 0 10133 9 0 0 25 0 4 0 641344640 211910656 42684 33554432000 134512640 135305190 4291743888 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.32
Current children cumulated vsize (KiB) 215644
[startup+162.3 s]
/proc/loadavg: 8.14 7.99 5.97 10/361 10922
/proc/meminfo: memFree=4477648/32950928 swapFree=67056568/67111528
[pid=10878] ppid=10876 vsize=8700 CPUtime=0.17 cores=1,3,5,7
/proc/10878/stat : 10878 (manysat.sh) S 10876 10878 10773 0 -1 4202496 357 1835 0 0 0 0 17 0 23 0 1 0 641344619 8908800 253 33554432000 4194304 4922060 140734526453904 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/10878/statm: 2175 253 209 178 0 68 0
[pid=10881] ppid=10878 vsize=230584 CPUtime=646.4 cores=1,3,5,7
/proc/10881/stat : 10881 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202496 48341 0 0 0 64596 44 0 0 25 0 4 0 641344637 236118016 48273 33554432000 134512640 135305190 4291743888 18446744073709551615 134542031 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/10881/statm: 57646 48273 84 194 0 57450 0
[pid=10881/tid=10882] ppid=10878 vsize=230584 CPUtime=161.57 cores=1,3,5,7
################
# More data... #
################
[pid=10881/tid=10883] ppid=10878 vsize=324708 CPUtime=402 cores=1,3,5,7
/proc/10881/task/10883/stat : 10883 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 21095 0 0 0 40181 19 0 0 25 0 4 0 641344640 332500992 71214 33554432000 134512640 135305190 4291743888 18446744073709551615 134551651 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=10881/tid=10884] ppid=10878 vsize=324708 CPUtime=401.17 cores=1,3,5,7
/proc/10881/task/10884/stat : 10884 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 16302 0 0 0 40099 18 0 0 25 0 4 0 641344640 332500992 71214 33554432000 134512640 135305190 4291743888 18446744073709551615 134550209 0 0 4096 3 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1603.82
Current children cumulated vsize (KiB) 333408
[startup+462.301 s]
/proc/loadavg: 8.04 8.04 6.54 9/361 10963
/proc/meminfo: memFree=3851584/32950928 swapFree=67056568/67111528
[pid=10878] ppid=10876 vsize=8700 CPUtime=0.17 cores=1,3,5,7
/proc/10878/stat : 10878 (manysat.sh) S 10876 10878 10773 0 -1 4202496 357 1835 0 0 0 0 17 0 23 0 1 0 641344619 8908800 253 33554432000 4194304 4922060 140734526453904 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/10878/statm: 2175 253 209 178 0 68 0
[pid=10881] ppid=10878 vsize=331160 CPUtime=1842.91 cores=1,3,5,7
/proc/10881/stat : 10881 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202496 72700 0 0 0 184216 75 0 0 25 0 4 0 641344637 339107840 72599 33554432000 134512640 135305190 4291743888 18446744073709551615 134551651 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/10881/statm: 82790 72599 84 194 0 82594 0
[pid=10881/tid=10882] ppid=10878 vsize=331160 CPUtime=461.42 cores=1,3,5,7
/proc/10881/task/10882/stat : 10882 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 15646 0 0 0 46125 17 0 0 25 0 4 0 641344640 339107840 72599 33554432000 134512640 135305190 4291743888 18446744073709551615 134528747 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=10881/tid=10883] ppid=10878 vsize=331160 CPUtime=461.57 cores=1,3,5,7
/proc/10881/task/10883/stat : 10883 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 21840 0 0 0 46137 20 0 0 25 0 4 0 641344640 339107840 72599 33554432000 134512640 135305190 4291743888 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 7 0 0 0
[pid=10881/tid=10884] ppid=10878 vsize=331160 CPUtime=461.14 cores=1,3,5,7
/proc/10881/task/10884/stat : 10884 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 16561 0 0 0 46096 18 0 0 25 0 4 0 641344640 339107840 72599 33554432000 134512640 135305190 4291743888 18446744073709551615 134547933 0 0 4096 3 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1843.08
Current children cumulated vsize (KiB) 339860
Solver just ended. Dumping a history of the last processes samples
[startup+486.301 s]
/proc/loadavg: 8.08 8.05 6.58 9/361 10963
/proc/meminfo: memFree=3807192/32950928 swapFree=67056568/67111528
[pid=10878] ppid=10876 vsize=8700 CPUtime=0.17 cores=1,3,5,7
/proc/10878/stat : 10878 (manysat.sh) S 10876 10878 10773 0 -1 4202496 357 1835 0 0 0 0 17 0 23 0 1 0 641344619 8908800 253 33554432000 4194304 4922060 140734526453904 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/10878/statm: 2175 253 209 178 0 68 0
[pid=10881] ppid=10878 vsize=332088 CPUtime=1938.63 cores=1,3,5,7
/proc/10881/stat : 10881 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202496 72901 0 0 0 193786 77 0 0 25 0 4 0 641344637 340058112 72694 33554432000 134512640 135305190 4291743888 18446744073709551615 134528802 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/10881/statm: 83022 72694 84 194 0 82826 0
[pid=10881/tid=10882] ppid=10878 vsize=332088 CPUtime=485.42 cores=1,3,5,7
/proc/10881/task/10882/stat : 10882 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 15692 0 0 0 48524 18 0 0 25 0 4 0 641344640 340058112 72694 33554432000 134512640 135305190 4291743888 18446744073709551615 134529232 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=10881/tid=10883] ppid=10878 vsize=332088 CPUtime=485.29 cores=1,3,5,7
/proc/10881/task/10883/stat : 10883 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 21919 0 0 0 48509 20 0 0 25 0 4 0 641344640 340058112 72694 33554432000 134512640 135305190 4291743888 18446744073709551615 134528263 0 0 4096 3 0 0 0 -1 7 0 0 0
[pid=10881/tid=10884] ppid=10878 vsize=332088 CPUtime=485.15 cores=1,3,5,7
/proc/10881/task/10884/stat : 10884 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 16562 0 0 0 48496 19 0 0 25 0 4 0 641344640 340058112 72694 33554432000 134512640 135305190 4291743888 18446744073709551615 134528252 0 0 4096 3 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1938.8
Current children cumulated vsize (KiB) 340788
[startup+492.701 s]
/proc/loadavg: 8.07 8.05 6.60 9/361 10963
/proc/meminfo: memFree=3806944/32950928 swapFree=67056568/67111528
[pid=10878] ppid=10876 vsize=8700 CPUtime=0.17 cores=1,3,5,7
/proc/10878/stat : 10878 (manysat.sh) S 10876 10878 10773 0 -1 4202496 357 1835 0 0 0 0 17 0 23 0 1 0 641344619 8908800 253 33554432000 4194304 4922060 140734526453904 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/10878/statm: 2175 253 209 178 0 68 0
[pid=10881] ppid=10878 vsize=332260 CPUtime=1964.18 cores=1,3,5,7
/proc/10881/stat : 10881 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202496 72926 0 0 0 196341 77 0 0 25 0 4 0 641344637 340234240 72719 33554432000 134512640 135305190 4291743888 18446744073709551615 134528298 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/10881/statm: 83065 72719 84 194 0 82869 0
[pid=10881/tid=10882] ppid=10878 vsize=332260 CPUtime=491.83 cores=1,3,5,7
/proc/10881/task/10882/stat : 10882 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 15692 0 0 0 49165 18 0 0 25 0 4 0 641344640 340234240 72719 33554432000 134512640 135305190 4291743888 18446744073709551615 134551712 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=10881/tid=10883] ppid=10878 vsize=332260 CPUtime=491.64 cores=1,3,5,7
/proc/10881/task/10883/stat : 10883 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 21944 0 0 0 49143 21 0 0 25 0 4 0 641344640 340234240 72719 33554432000 134512640 135305190 4291743888 18446744073709551615 134528418 0 0 4096 3 0 0 0 -1 7 0 0 0
[pid=10881/tid=10884] ppid=10878 vsize=332260 CPUtime=491.56 cores=1,3,5,7
/proc/10881/task/10884/stat : 10884 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 16562 0 0 0 49137 19 0 0 25 0 4 0 641344640 340234240 72719 33554432000 134512640 135305190 4291743888 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1964.35
Current children cumulated vsize (KiB) 340960
[startup+499.101 s]
/proc/loadavg: 8.06 8.05 6.60 9/361 10964
/proc/meminfo: memFree=3806816/32950928 swapFree=67056568/67111528
[pid=10878] ppid=10876 vsize=8700 CPUtime=0.17 cores=1,3,5,7
/proc/10878/stat : 10878 (manysat.sh) S 10876 10878 10773 0 -1 4202496 357 1835 0 0 0 0 17 0 23 0 1 0 641344619 8908800 253 33554432000 4194304 4922060 140734526453904 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/10878/statm: 2175 253 209 178 0 68 0
[pid=10881] ppid=10878 vsize=332260 CPUtime=1989.7 cores=1,3,5,7
/proc/10881/stat : 10881 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202496 72948 0 0 0 198892 78 0 0 25 0 4 0 641344637 340234240 72741 33554432000 134512640 135305190 4291743888 18446744073709551615 134558376 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/10881/statm: 83065 72741 84 194 0 82869 0
[pid=10881/tid=10882] ppid=10878 vsize=332260 CPUtime=498.21 cores=1,3,5,7
/proc/10881/task/10882/stat : 10882 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 15692 0 0 0 49803 18 0 0 25 0 4 0 641344640 340234240 72741 33554432000 134512640 135305190 4291743888 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=10881/tid=10883] ppid=10878 vsize=332260 CPUtime=497.96 cores=1,3,5,7
/proc/10881/task/10883/stat : 10883 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 21957 0 0 0 49775 21 0 0 25 0 4 0 641344640 340234240 72741 33554432000 134512640 135305190 4291743888 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 7 0 0 0
[pid=10881/tid=10884] ppid=10878 vsize=332260 CPUtime=497.94 cores=1,3,5,7
/proc/10881/task/10884/stat : 10884 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 16571 0 0 0 49775 19 0 0 25 0 4 0 641344640 340234240 72741 33554432000 134512640 135305190 4291743888 18446744073709551615 134528744 0 0 4096 3 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1989.87
Current children cumulated vsize (KiB) 340960
[startup+502.301 s]
/proc/loadavg: 8.06 8.05 6.60 9/361 10964
/proc/meminfo: memFree=3806816/32950928 swapFree=67056568/67111528
[pid=10878] ppid=10876 vsize=8700 CPUtime=0.17 cores=1,3,5,7
/proc/10878/stat : 10878 (manysat.sh) S 10876 10878 10773 0 -1 4202496 357 1835 0 0 0 0 17 0 23 0 1 0 641344619 8908800 253 33554432000 4194304 4922060 140734526453904 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/10878/statm: 2175 253 209 178 0 68 0
[pid=10881] ppid=10878 vsize=332404 CPUtime=2002.44 cores=1,3,5,7
/proc/10881/stat : 10881 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202496 72957 0 0 0 200166 78 0 0 25 0 4 0 641344637 340381696 72750 33554432000 134512640 135305190 4291743888 18446744073709551615 134528501 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/10881/statm: 83101 72750 84 194 0 82905 0
[pid=10881/tid=10882] ppid=10878 vsize=332404 CPUtime=501.41 cores=1,3,5,7
/proc/10881/task/10882/stat : 10882 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 15692 0 0 0 50123 18 0 0 25 0 4 0 641344640 340381696 72750 33554432000 134512640 135305190 4291743888 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=10881/tid=10883] ppid=10878 vsize=332404 CPUtime=501.12 cores=1,3,5,7
/proc/10881/task/10883/stat : 10883 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 21957 0 0 0 50091 21 0 0 25 0 4 0 641344640 340381696 72750 33554432000 134512640 135305190 4291743888 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 7 0 0 0
[pid=10881/tid=10884] ppid=10878 vsize=332404 CPUtime=501.14 cores=1,3,5,7
/proc/10881/task/10884/stat : 10884 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 16580 0 0 0 50095 19 0 0 25 0 4 0 641344640 340381696 72750 33554432000 134512640 135305190 4291743888 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2002.61
Current children cumulated vsize (KiB) 341104
[startup+503.101 s]
/proc/loadavg: 8.06 8.04 6.61 9/361 10964
/proc/meminfo: memFree=3806816/32950928 swapFree=67056568/67111528
[pid=10878] ppid=10876 vsize=8700 CPUtime=0.17 cores=1,3,5,7
/proc/10878/stat : 10878 (manysat.sh) S 10876 10878 10773 0 -1 4202496 357 1835 0 0 0 0 17 0 23 0 1 0 641344619 8908800 253 33554432000 4194304 4922060 140734526453904 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/10878/statm: 2175 253 209 178 0 68 0
[pid=10881] ppid=10878 vsize=332404 CPUtime=2005.63 cores=1,3,5,7
/proc/10881/stat : 10881 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202496 72957 0 0 0 200485 78 0 0 25 0 4 0 641344637 340381696 72750 33554432000 134512640 135305190 4291743888 18446744073709551615 134528298 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/10881/statm: 83101 72750 84 194 0 82905 0
[pid=10881/tid=10882] ppid=10878 vsize=332404 CPUtime=502.21 cores=1,3,5,7
/proc/10881/task/10882/stat : 10882 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 15692 0 0 0 50203 18 0 0 25 0 4 0 641344640 340381696 72750 33554432000 134512640 135305190 4291743888 18446744073709551615 134529062 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=10881/tid=10883] ppid=10878 vsize=332404 CPUtime=501.91 cores=1,3,5,7
/proc/10881/task/10883/stat : 10883 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 21957 0 0 0 50170 21 0 0 25 0 4 0 641344640 340381696 72750 33554432000 134512640 135305190 4291743888 18446744073709551615 134551854 0 0 4096 3 0 0 0 -1 7 0 0 0
[pid=10881/tid=10884] ppid=10878 vsize=332404 CPUtime=501.94 cores=1,3,5,7
/proc/10881/task/10884/stat : 10884 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 16580 0 0 0 50175 19 0 0 25 0 4 0 641344640 340381696 72750 33554432000 134512640 135305190 4291743888 18446744073709551615 134528415 0 0 4096 3 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2005.8
Current children cumulated vsize (KiB) 341104
[startup+503.901 s]
/proc/loadavg: 8.06 8.04 6.61 9/361 10964
/proc/meminfo: memFree=3806812/32950928 swapFree=67056568/67111528
[pid=10878] ppid=10876 vsize=8700 CPUtime=0.17 cores=1,3,5,7
/proc/10878/stat : 10878 (manysat.sh) S 10876 10878 10773 0 -1 4202496 357 1835 0 0 0 0 17 0 23 0 1 0 641344619 8908800 253 33554432000 4194304 4922060 140734526453904 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/10878/statm: 2175 253 209 178 0 68 0
[pid=10881] ppid=10878 vsize=332404 CPUtime=2008.82 cores=1,3,5,7
/proc/10881/stat : 10881 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202496 72959 0 0 0 200803 79 0 0 25 0 4 0 641344637 340381696 72752 33554432000 134512640 135305190 4291743888 18446744073709551615 134528753 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/10881/statm: 83101 72752 84 194 0 82905 0
[pid=10881/tid=10882] ppid=10878 vsize=332404 CPUtime=503.01 cores=1,3,5,7
/proc/10881/task/10882/stat : 10882 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 15692 0 0 0 50283 18 0 0 25 0 4 0 641344640 340381696 72752 33554432000 134512640 135305190 4291743888 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=10881/tid=10883] ppid=10878 vsize=332404 CPUtime=502.69 cores=1,3,5,7
/proc/10881/task/10883/stat : 10883 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 21957 0 0 0 50248 21 0 0 25 0 4 0 641344640 340381696 72752 33554432000 134512640 135305190 4291743888 18446744073709551615 134528301 0 0 4096 3 0 0 0 -1 7 0 0 0
[pid=10881/tid=10884] ppid=10878 vsize=332404 CPUtime=502.74 cores=1,3,5,7
/proc/10881/task/10884/stat : 10884 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 16580 0 0 0 50255 19 0 0 25 0 4 0 641344640 340381696 72752 33554432000 134512640 135305190 4291743888 18446744073709551615 134528768 0 0 4096 3 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2008.99
Current children cumulated vsize (KiB) 341104
[startup+504.301 s]
/proc/loadavg: 8.06 8.04 6.61 9/361 10964
/proc/meminfo: memFree=3806812/32950928 swapFree=67056568/67111528
[pid=10878] ppid=10876 vsize=8700 CPUtime=0.17 cores=1,3,5,7
/proc/10878/stat : 10878 (manysat.sh) S 10876 10878 10773 0 -1 4202496 357 1835 0 0 0 0 17 0 23 0 1 0 641344619 8908800 253 33554432000 4194304 4922060 140734526453904 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/10878/statm: 2175 253 209 178 0 68 0
[pid=10881] ppid=10878 vsize=332404 CPUtime=2010.42 cores=1,3,5,7
/proc/10881/stat : 10881 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202496 72959 0 0 0 200963 79 0 0 25 0 4 0 641344637 340381696 72752 33554432000 134512640 135305190 4291743888 18446744073709551615 134528298 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/10881/statm: 83101 72752 84 194 0 82905 0
[pid=10881/tid=10882] ppid=10878 vsize=332404 CPUtime=503.41 cores=1,3,5,7
/proc/10881/task/10882/stat : 10882 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 15692 0 0 0 50323 18 0 0 25 0 4 0 641344640 340381696 72752 33554432000 134512640 135305190 4291743888 18446744073709551615 134528503 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=10881/tid=10883] ppid=10878 vsize=332404 CPUtime=503.09 cores=1,3,5,7
/proc/10881/task/10883/stat : 10883 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 21957 0 0 0 50288 21 0 0 25 0 4 0 641344640 340381696 72752 33554432000 134512640 135305190 4291743888 18446744073709551615 134528195 0 0 4096 3 0 0 0 -1 7 0 0 0
[pid=10881/tid=10884] ppid=10878 vsize=332404 CPUtime=503.14 cores=1,3,5,7
/proc/10881/task/10884/stat : 10884 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 16580 0 0 0 50295 19 0 0 25 0 4 0 641344640 340381696 72752 33554432000 134512640 135305190 4291743888 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2010.59
Current children cumulated vsize (KiB) 341104
[startup+504.401 s]
/proc/loadavg: 8.06 8.04 6.61 9/361 10964
/proc/meminfo: memFree=3806812/32950928 swapFree=67056568/67111528
[pid=10878] ppid=10876 vsize=8700 CPUtime=0.17 cores=1,3,5,7
/proc/10878/stat : 10878 (manysat.sh) S 10876 10878 10773 0 -1 4202496 357 1835 0 0 0 0 17 0 23 0 1 0 641344619 8908800 253 33554432000 4194304 4922060 140734526453904 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/10878/statm: 2175 253 209 178 0 68 0
[pid=10881] ppid=10878 vsize=332404 CPUtime=2010.82 cores=1,3,5,7
/proc/10881/stat : 10881 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202496 72959 0 0 0 201003 79 0 0 25 0 4 0 641344637 340381696 72752 33554432000 134512640 135305190 4291743888 18446744073709551615 134657576 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/10881/statm: 83101 72752 84 194 0 82905 0
[pid=10881/tid=10882] ppid=10878 vsize=332404 CPUtime=503.51 cores=1,3,5,7
/proc/10881/task/10882/stat : 10882 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 15692 0 0 0 50333 18 0 0 25 0 4 0 641344640 340381696 72752 33554432000 134512640 135305190 4291743888 18446744073709551615 134657578 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=10881/tid=10883] ppid=10878 vsize=332404 CPUtime=503.19 cores=1,3,5,7
/proc/10881/task/10883/stat : 10883 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 21957 0 0 0 50298 21 0 0 25 0 4 0 641344640 340381696 72752 33554432000 134512640 135305190 4291743888 18446744073709551615 134529582 0 0 4096 3 0 0 0 -1 7 0 0 0
[pid=10881/tid=10884] ppid=10878 vsize=332404 CPUtime=503.24 cores=1,3,5,7
/proc/10881/task/10884/stat : 10884 (manysat1.1_stat) R 10878 10878 10773 0 -1 4202560 16580 0 0 0 50305 19 0 0 25 0 4 0 641344640 340381696 72752 33554432000 134512640 135305190 4291743888 18446744073709551615 134657616 0 0 4096 3 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2010.99
Current children cumulated vsize (KiB) 341104
Child status: 20
Real time (s): 504.438
CPU time (s): 2011.1
CPU user time (s): 2010.29
CPU system time (s): 0.812876
CPU usage (%): 398.681
Max. virtual memory (cumulated for all children) (KiB): 341104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2010.29
system time used= 0.812876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75377
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= 21084
involuntary context switches= 15251
runsolver used 1.60376 second user time and 4.03239 second system time
The end