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-3371110-1305431872/watcher-3371110-1305431872 -o /tmp/evaluation-result-3371110-1305431872/solver-3371110-1305431872 -C 4800 -W 1300 -M 15500 plingeling -t 4 HOME/instance-3371110-1305431872.cnf
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.16 8.04 6.82 5/311 29772
/proc/meminfo: memFree=16952540/32950928 swapFree=67111348/67111528
[pid=29772] ppid=29770 vsize=10540 CPUtime=0 cores=1,3,5,7
/proc/29772/stat : 29772 (plingeling) R 29770 29772 20898 0 -1 4202496 696 1260 0 0 0 0 0 0 25 0 1 0 654786837 10792960 626 33554432000 4194304 4417452 140737038391696 18446744073709551615 4228096 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29772/statm: 2635 626 148 55 0 521 0
[startup+0.153324 s]
/proc/loadavg: 8.16 8.04 6.82 5/311 29772
/proc/meminfo: memFree=16952540/32950928 swapFree=67111348/67111528
[pid=29772] ppid=29770 vsize=57172 CPUtime=0.46 cores=1,3,5,7
/proc/29772/stat : 29772 (plingeling) S 29770 29772 20898 0 -1 4202496 3087 1260 0 0 46 0 0 0 25 0 5 0 654786837 58544128 2077 33554432000 4194304 4417452 140737038391696 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/29772/statm: 14293 2077 177 55 0 12179 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 57172
[startup+0.200317 s]
/proc/loadavg: 8.16 8.04 6.82 5/311 29772
/proc/meminfo: memFree=16952540/32950928 swapFree=67111348/67111528
[pid=29772] ppid=29770 vsize=58104 CPUtime=0.65 cores=1,3,5,7
/proc/29772/stat : 29772 (plingeling) S 29770 29772 20898 0 -1 4202496 3382 1260 0 0 65 0 0 0 25 0 5 0 654786837 59498496 2343 33554432000 4194304 4417452 140737038391696 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/29772/statm: 14526 2343 180 55 0 12412 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 58104
[startup+0.300298 s]
/proc/loadavg: 8.16 8.04 6.82 5/311 29772
/proc/meminfo: memFree=16952540/32950928 swapFree=67111348/67111528
[pid=29772] ppid=29770 vsize=59096 CPUtime=1.05 cores=1,3,5,7
/proc/29772/stat : 29772 (plingeling) S 29770 29772 20898 0 -1 4202496 3864 1260 0 0 105 0 0 0 25 0 5 0 654786837 60514304 2592 33554432000 4194304 4417452 140737038391696 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/29772/statm: 14774 2592 180 55 0 12660 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 59096
[startup+0.700228 s]
/proc/loadavg: 8.16 8.04 6.82 5/311 29772
/proc/meminfo: memFree=16952540/32950928 swapFree=67111348/67111528
[pid=29772] ppid=29770 vsize=62820 CPUtime=2.66 cores=1,3,5,7
/proc/29772/stat : 29772 (plingeling) S 29770 29772 20898 0 -1 4202496 6359 1260 0 0 265 1 0 0 25 0 5 0 654786837 64327680 3504 33554432000 4194304 4417452 140737038391696 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/29772/statm: 15705 3504 180 55 0 13591 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 62820
[startup+1.50109 s]
/proc/loadavg: 8.16 8.04 6.82 9/316 29782
/proc/meminfo: memFree=17019336/32950928 swapFree=67111348/67111528
[pid=29772] ppid=29770 vsize=66776 CPUtime=5.84 cores=1,3,5,7
/proc/29772/stat : 29772 (plingeling) S 29770 29772 20898 0 -1 4202496 11831 1260 0 0 583 1 0 0 25 0 5 0 654786837 68378624 4519 33554432000 4194304 4417452 140737038391696 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/29772/statm: 16694 4519 180 55 0 14580 0
[pid=29772/tid=29779] ppid=29770 vsize=66776 CPUtime=1.45 cores=1,3,5,7
/proc/29772/task/29779/stat : 29779 (plingeling) R 29770 29772 20898 0 -1 4202560 1847 1260 0 0 145 0 0 0 25 0 5 0 654786841 68378624 4519 33554432000 4194304 4417452 140737038391696 18446744073709551615 4249609 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=29772/tid=29780] ppid=29770 vsize=66776 CPUtime=1.44 cores=1,3,5,7
/proc/29772/task/29780/stat : 29780 (plingeling) R 29770 29772 20898 0 -1 4202560 2121 1260 0 0 144 0 0 0 25 0 5 0 654786841 68378624 4519 33554432000 4194304 4417452 140737038391696 18446744073709551615 4352347 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=29772/tid=29781] ppid=29770 vsize=66776 CPUtime=1.43 cores=1,3,5,7
/proc/29772/task/29781/stat : 29781 (plingeling) R 29770 29772 20898 0 -1 4202560 2676 1260 0 0 143 0 0 0 25 0 5 0 654786841 68378624 4519 33554432000 4194304 4417452 140737038391696 18446744073709551615 4232584 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29772/tid=29782] ppid=29770 vsize=66776 CPUtime=1.45 cores=1,3,5,7
/proc/29772/task/29782/stat : 29782 (plingeling) R 29770 29772 20898 0 -1 4202560 2854 1260 0 0 145 0 0 0 25 0 5 0 654786841 68378624 4519 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.84
Current children cumulated vsize (KiB) 66776
[startup+3.10081 s]
/proc/loadavg: 8.16 8.04 6.82 9/316 29782
/proc/meminfo: memFree=17044900/32950928 swapFree=67111348/67111528
[pid=29772] ppid=29770 vsize=76536 CPUtime=12.23 cores=1,3,5,7
/proc/29772/stat : 29772 (plingeling) S 29770 29772 20898 0 -1 4202496 22368 1260 0 0 1220 3 0 0 25 0 5 0 654786837 78372864 6948 33554432000 4194304 4417452 140737038391696 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/29772/statm: 19134 6948 180 55 0 17020 0
[pid=29772/tid=29779] ppid=29770 vsize=76536 CPUtime=3.05 cores=1,3,5,7
/proc/29772/task/29779/stat : 29779 (plingeling) R 29770 29772 20898 0 -1 4202560 4197 1260 0 0 305 0 0 0 25 0 5 0 654786841 78372864 6948 33554432000 4194304 4417452 140737038391696 18446744073709551615 18446744073699065863 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=29772/tid=29780] ppid=29770 vsize=76536 CPUtime=3.05 cores=1,3,5,7
/proc/29772/task/29780/stat : 29780 (plingeling) R 29770 29772 20898 0 -1 4202560 5202 1260 0 0 304 1 0 0 25 0 5 0 654786841 78372864 6948 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=29772/tid=29781] ppid=29770 vsize=76536 CPUtime=3.02 cores=1,3,5,7
/proc/29772/task/29781/stat : 29781 (plingeling) R 29770 29772 20898 0 -1 4202560 5582 1260 0 0 302 0 0 0 25 0 5 0 654786841 78372864 6948 33554432000 4194304 4417452 140737038391696 18446744073709551615 4277742 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29772/tid=29782] ppid=29770 vsize=76536 CPUtime=3.04 cores=1,3,5,7
/proc/29772/task/29782/stat : 29782 (plingeling) R 29770 29772 20898 0 -1 4202560 5054 1260 0 0 304 0 0 0 25 0 5 0 654786841 78372864 6948 33554432000 4194304 4417452 140737038391696 18446744073709551615 4321680 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.23
Current children cumulated vsize (KiB) 76536
[startup+6.30025 s]
/proc/loadavg: 8.15 8.04 6.83 9/316 29782
/proc/meminfo: memFree=16986656/32950928 swapFree=67111348/67111528
[pid=29772] ppid=29770 vsize=83352 CPUtime=25 cores=1,3,5,7
/proc/29772/stat : 29772 (plingeling) S 29770 29772 20898 0 -1 4202496 36717 1260 0 0 2494 6 0 0 25 0 5 0 654786837 85352448 8644 33554432000 4194304 4417452 140737038391696 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/29772/statm: 20838 8644 180 55 0 18724 0
[pid=29772/tid=29779] ppid=29770 vsize=83352 CPUtime=6.24 cores=1,3,5,7
/proc/29772/task/29779/stat : 29779 (plingeling) R 29770 29772 20898 0 -1 4202560 7238 1260 0 0 624 0 0 0 25 0 5 0 654786841 85352448 8644 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=29772/tid=29780] ppid=29770 vsize=83352 CPUtime=6.24 cores=1,3,5,7
/proc/29772/task/29780/stat : 29780 (plingeling) R 29770 29772 20898 0 -1 4202560 9403 1260 0 0 623 1 0 0 25 0 5 0 654786841 85352448 8644 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=29772/tid=29781] ppid=29770 vsize=83352 CPUtime=6.19 cores=1,3,5,7
/proc/29772/task/29781/stat : 29781 (plingeling) R 29770 29772 20898 0 -1 4202560 9378 1260 0 0 618 1 0 0 25 0 5 0 654786841 85352448 8644 33554432000 4194304 4417452 140737038391696 18446744073709551615 4306198 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29772/tid=29782] ppid=29770 vsize=83352 CPUtime=6.24 cores=1,3,5,7
/proc/29772/task/29782/stat : 29782 (plingeling) R 29770 29772 20898 0 -1 4202560 8365 1260 0 0 623 1 0 0 25 0 5 0 654786841 85352448 8644 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25
Current children cumulated vsize (KiB) 83352
[startup+12.7011 s]
/proc/loadavg: 8.13 8.04 6.84 9/316 29783
/proc/meminfo: memFree=16927496/32950928 swapFree=67111348/67111528
[pid=29772] ppid=29770 vsize=114356 CPUtime=50.54 cores=1,3,5,7
/proc/29772/stat : 29772 (plingeling) S 29770 29772 20898 0 -1 4202496 59948 1260 0 0 5042 12 0 0 25 0 5 0 654786837 117100544 16401 33554432000 4194304 4417452 140737038391696 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/29772/statm: 28589 16401 180 55 0 26475 0
[pid=29772/tid=29779] ppid=29770 vsize=114356 CPUtime=12.65 cores=1,3,5,7
/proc/29772/task/29779/stat : 29779 (plingeling) R 29770 29772 20898 0 -1 4202560 14991 1260 0 0 1263 2 0 0 25 0 5 0 654786841 117100544 16401 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=29772/tid=29780] ppid=29770 vsize=114356 CPUtime=12.65 cores=1,3,5,7
/proc/29772/task/29780/stat : 29780 (plingeling) R 29770 29772 20898 0 -1 4202560 15645 1260 0 0 1262 3 0 0 25 0 5 0 654786841 117100544 16401 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=29772/tid=29781] ppid=29770 vsize=114356 CPUtime=12.52 cores=1,3,5,7
/proc/29772/task/29781/stat : 29781 (plingeling) R 29770 29772 20898 0 -1 4202560 14133 1260 0 0 1250 2 0 0 25 0 5 0 654786841 117100544 16401 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29772/tid=29782] ppid=29770 vsize=114356 CPUtime=12.64 cores=1,3,5,7
/proc/29772/task/29782/stat : 29782 (plingeling) R 29770 29772 20898 0 -1 4202560 12846 1260 0 0 1262 2 0 0 25 0 5 0 654786841 117100544 16401 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 114356
[startup+25.5009 s]
/proc/loadavg: 8.10 8.04 6.85 9/316 29783
/proc/meminfo: memFree=16861660/32950928 swapFree=67111348/67111528
[pid=29772] ppid=29770 vsize=149936 CPUtime=101.61 cores=1,3,5,7
/proc/29772/stat : 29772 (plingeling) S 29770 29772 20898 0 -1 4202496 88548 1260 0 0 10144 17 0 0 25 0 5 0 654786837 153534464 25301 33554432000 4194304 4417452 140737038391696 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/29772/statm: 37484 25301 180 55 0 35370 0
[pid=29772/tid=29779] ppid=29770 vsize=149936 CPUtime=25.45 cores=1,3,5,7
/proc/29772/task/29779/stat : 29779 (plingeling) R 29770 29772 20898 0 -1 4202560 21938 1260 0 0 2541 4 0 0 25 0 5 0 654786841 153534464 25301 33554432000 4194304 4417452 140737038391696 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=29772/tid=29780] ppid=29770 vsize=149936 CPUtime=25.44 cores=1,3,5,7
/proc/29772/task/29780/stat : 29780 (plingeling) R 29770 29772 20898 0 -1 4202560 24203 1260 0 0 2540 4 0 0 25 0 5 0 654786841 153534464 25301 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=29772/tid=29781] ppid=29770 vsize=149936 CPUtime=25.19 cores=1,3,5,7
/proc/29772/task/29781/stat : 29781 (plingeling) R 29770 29772 20898 0 -1 4202560 21862 1260 0 0 2515 4 0 0 25 0 5 0 654786841 153534464 25301 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29772/tid=29782] ppid=29770 vsize=149936 CPUtime=25.45 cores=1,3,5,7
/proc/29772/task/29782/stat : 29782 (plingeling) R 29770 29772 20898 0 -1 4202560 18212 1260 0 0 2542 3 0 0 25 0 5 0 654786841 153534464 25301 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.61
Current children cumulated vsize (KiB) 149936
[startup+51.1004 s]
/proc/loadavg: 8.07 8.03 6.88 9/316 29784
/proc/meminfo: memFree=16897812/32950928 swapFree=67111348/67111528
[pid=29772] ppid=29770 vsize=194216 CPUtime=203.75 cores=1,3,5,7
/proc/29772/stat : 29772 (plingeling) S 29770 29772 20898 0 -1 4202496 131866 1260 0 0 20351 24 0 0 25 0 5 0 654786837 198877184 36368 33554432000 4194304 4417452 140737038391696 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/29772/statm: 48554 36368 180 55 0 46440 0
[pid=29772/tid=29779] ppid=29770 vsize=194216 CPUtime=51.05 cores=1,3,5,7
/proc/29772/task/29779/stat : 29779 (plingeling) R 29770 29772 20898 0 -1 4202560 32883 1260 0 0 5099 6 0 0 25 0 5 0 654786841 198877184 36368 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=29772/tid=29780] ppid=29770 vsize=194216 CPUtime=51.04 cores=1,3,5,7
/proc/29772/task/29780/stat : 29780 (plingeling) R 29770 29772 20898 0 -1 4202560 33597 1260 0 0 5098 6 0 0 25 0 5 0 654786841 198877184 36368 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364724 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=29772/tid=29781] ppid=29770 vsize=194216 CPUtime=50.54 cores=1,3,5,7
/proc/29772/task/29781/stat : 29781 (plingeling) R 29770 29772 20898 0 -1 4202560 36678 1260 0 0 5048 6 0 0 25 0 5 0 654786841 198877184 36368 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29772/tid=29782] ppid=29770 vsize=194216 CPUtime=51.05 cores=1,3,5,7
/proc/29772/task/29782/stat : 29782 (plingeling) R 29770 29772 20898 0 -1 4202560 26375 1260 0 0 5101 4 0 0 25 0 5 0 654786841 198877184 36368 33554432000 4194304 4417452 140737038391696 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.75
Current children cumulated vsize (KiB) 194216
[startup+102.301 s]
/proc/loadavg: 8.08 8.04 6.94 9/316 29785
/proc/meminfo: memFree=16455344/32950928 swapFree=67111348/67111528
[pid=29772] ppid=29770 vsize=274556 CPUtime=408.08 cores=1,3,5,7
/proc/29772/stat : 29772 (plingeling) S 29770 29772 20898 0 -1 4202496 194433 1260 0 0 40771 37 0 0 25 0 5 0 654786837 281145344 56444 33554432000 4194304 4417452 140737038391696 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/29772/statm: 68639 56444 180 55 0 66525 0
[pid=29772/tid=29779] ppid=29770 vsize=274556 CPUtime=102.26 cores=1,3,5,7
/proc/29772/task/29779/stat : 29779 (plingeling) R 29770 29772 20898 0 -1 4202560 49005 1260 0 0 10217 9 0 0 25 0 5 0 654786841 281145344 56444 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=29772/tid=29780] ppid=29770 vsize=274556 CPUtime=102.26 cores=1,3,5,7
/proc/29772/task/29780/stat : 29780 (plingeling) R 29770 29772 20898 0 -1 4202560 52604 1260 0 0 10216 10 0 0 25 0 5 0 654786841 281145344 56444 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=29772/tid=29781] ppid=29770 vsize=274556 CPUtime=101.24 cores=1,3,5,7
/proc/29772/task/29781/stat : 29781 (plingeling) R 29770 29772 20898 0 -1 4202560 49720 1260 0 0 10115 9 0 0 25 0 5 0 654786841 281145344 56444 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29772/tid=29782] ppid=29770 vsize=274556 CPUtime=102.26 cores=1,3,5,7
/proc/29772/task/29782/stat : 29782 (plingeling) R 29770 29772 20898 0 -1 4202560 40771 1260 0 0 10219 7 0 0 25 0 5 0 654786841 281145344 56444 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.08
Current children cumulated vsize (KiB) 274556
[startup+162.301 s]
/proc/loadavg: 8.17 8.07 7.02 9/316 29787
/proc/meminfo: memFree=16150636/32950928 swapFree=67111348/67111528
[pid=29772] ppid=29770 vsize=331180 CPUtime=647.45 cores=1,3,5,7
/proc/29772/stat : 29772 (plingeling) S 29770 29772 20898 0 -1 4202496 241858 1260 0 0 64701 44 0 0 25 0 5 0 654786837 339128320 70600 33554432000 4194304 4417452 140737038391696 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/29772/statm: 82795 70600 180 55 0 80681 0
[pid=29772/tid=29779] ppid=29770 vsize=331180 CPUtime=162.25 cores=1,3,5,7
/proc/29772/task/29779/stat : 29779 (plingeling) R 29770 29772 20898 0 -1 4202560 66347 1260 0 0 16214 11 0 0 25 0 5 0 654786841 339128320 70600 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=29772/tid=29780] ppid=29770 vsize=331180 CPUtime=162.25 cores=1,3,5,7
/proc/29772/task/29780/stat : 29780 (plingeling) R 29770 29772 20898 0 -1 4202560 60414 1260 0 0 16214 11 0 0 25 0 5 0 654786841 339128320 70600 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=29772/tid=29781] ppid=29770 vsize=331180 CPUtime=160.63 cores=1,3,5,7
/proc/29772/task/29781/stat : 29781 (plingeling) R 29770 29772 20898 0 -1 4202560 60979 1260 0 0 16053 10 0 0 25 0 5 0 654786841 339128320 70600 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364850 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29772/tid=29782] ppid=29770 vsize=331180 CPUtime=162.25 cores=1,3,5,7
/proc/29772/task/29782/stat : 29782 (plingeling) R 29770 29772 20898 0 -1 4202560 51785 1260 0 0 16216 9 0 0 25 0 5 0 654786841 339128320 70600 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 647.45
Current children cumulated vsize (KiB) 331180
################
# More data... #
################
[pid=29772/tid=29780] ppid=29770 vsize=560208 CPUtime=702.26 cores=1,3,5,7
/proc/29772/task/29780/stat : 29780 (plingeling) R 29770 29772 20898 0 -1 4202560 151940 1260 0 0 70198 28 0 0 25 0 5 0 654786841 573652992 127856 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=29772/tid=29781] ppid=29770 vsize=560208 CPUtime=695.24 cores=1,3,5,7
/proc/29772/task/29781/stat : 29781 (plingeling) R 29770 29772 20898 0 -1 4202560 138093 1260 0 0 69500 24 0 0 25 0 5 0 654786841 573652992 127856 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29772/tid=29782] ppid=29770 vsize=560208 CPUtime=702.26 cores=1,3,5,7
/proc/29772/task/29782/stat : 29782 (plingeling) R 29770 29772 20898 0 -1 4202560 109201 1260 0 0 70206 20 0 0 25 0 5 0 654786841 573652992 127856 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2802.09
Current children cumulated vsize (KiB) 560208
[startup+762.301 s]
/proc/loadavg: 8.06 8.09 7.52 9/316 29815
/proc/meminfo: memFree=14964028/32950928 swapFree=67111348/67111528
[pid=29772] ppid=29770 vsize=589376 CPUtime=3041.53 cores=1,3,5,7
/proc/29772/stat : 29772 (plingeling) S 29770 29772 20898 0 -1 4202496 544069 1260 0 0 304056 97 0 0 25 0 5 0 654786837 603521024 135149 33554432000 4194304 4417452 140737038391696 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/29772/statm: 147344 135149 180 55 0 145230 0
[pid=29772/tid=29779] ppid=29770 vsize=589376 CPUtime=762.28 cores=1,3,5,7
/proc/29772/task/29779/stat : 29779 (plingeling) R 29770 29772 20898 0 -1 4202560 135137 1260 0 0 76206 22 0 0 25 0 5 0 654786841 603521024 135149 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=29772/tid=29780] ppid=29770 vsize=589376 CPUtime=762.28 cores=1,3,5,7
/proc/29772/task/29780/stat : 29780 (plingeling) R 29770 29772 20898 0 -1 4202560 151940 1260 0 0 76200 28 0 0 25 0 5 0 654786841 603521024 135149 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=29772/tid=29781] ppid=29770 vsize=589376 CPUtime=754.65 cores=1,3,5,7
/proc/29772/task/29781/stat : 29781 (plingeling) R 29770 29772 20898 0 -1 4202560 141267 1260 0 0 75440 25 0 0 25 0 5 0 654786841 603521024 135149 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29772/tid=29782] ppid=29770 vsize=589376 CPUtime=762.28 cores=1,3,5,7
/proc/29772/task/29782/stat : 29782 (plingeling) R 29770 29772 20898 0 -1 4202560 113392 1260 0 0 76207 21 0 0 25 0 5 0 654786841 603521024 135149 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3041.53
Current children cumulated vsize (KiB) 589376
[startup+822.301 s]
/proc/loadavg: 8.11 8.10 7.56 9/316 29816
/proc/meminfo: memFree=14703228/32950928 swapFree=67111348/67111528
[pid=29772] ppid=29770 vsize=579500 CPUtime=3280.91 cores=1,3,5,7
/proc/29772/stat : 29772 (plingeling) S 29770 29772 20898 0 -1 4202496 552721 1260 0 0 327992 99 0 0 25 0 5 0 654786837 593408000 132680 33554432000 4194304 4417452 140737038391696 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/29772/statm: 144875 132680 180 55 0 142761 0
[pid=29772/tid=29779] ppid=29770 vsize=579500 CPUtime=822.27 cores=1,3,5,7
/proc/29772/task/29779/stat : 29779 (plingeling) R 29770 29772 20898 0 -1 4202560 135137 1260 0 0 82205 22 0 0 25 0 5 0 654786841 593408000 132680 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364850 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=29772/tid=29780] ppid=29770 vsize=579500 CPUtime=822.26 cores=1,3,5,7
/proc/29772/task/29780/stat : 29780 (plingeling) R 29770 29772 20898 0 -1 4202560 152236 1260 0 0 82198 28 0 0 25 0 5 0 654786841 593408000 132680 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=29772/tid=29781] ppid=29770 vsize=579500 CPUtime=814.05 cores=1,3,5,7
/proc/29772/task/29781/stat : 29781 (plingeling) R 29770 29772 20898 0 -1 4202560 149623 1260 0 0 81378 27 0 0 25 0 5 0 654786841 593408000 132680 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29772/tid=29782] ppid=29770 vsize=579500 CPUtime=822.27 cores=1,3,5,7
/proc/29772/task/29782/stat : 29782 (plingeling) R 29770 29772 20898 0 -1 4202560 113392 1260 0 0 82206 21 0 0 25 0 5 0 654786841 593408000 132680 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3280.91
Current children cumulated vsize (KiB) 579500
[startup+882.312 s]
/proc/loadavg: 8.08 8.09 7.59 9/316 29818
/proc/meminfo: memFree=14974628/32950928 swapFree=67111348/67111528
[pid=29772] ppid=29770 vsize=604412 CPUtime=3520.36 cores=1,3,5,7
/proc/29772/stat : 29772 (plingeling) S 29770 29772 20898 0 -1 4202496 572206 1260 0 0 351934 102 0 0 25 0 5 0 654786837 618917888 138908 33554432000 4194304 4417452 140737038391696 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/29772/statm: 151103 138908 180 55 0 148989 0
[pid=29772/tid=29779] ppid=29770 vsize=604412 CPUtime=882.28 cores=1,3,5,7
/proc/29772/task/29779/stat : 29779 (plingeling) R 29770 29772 20898 0 -1 4202560 135137 1260 0 0 88206 22 0 0 25 0 5 0 654786841 618917888 138908 33554432000 4194304 4417452 140737038391696 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=29772/tid=29780] ppid=29770 vsize=604412 CPUtime=882.27 cores=1,3,5,7
/proc/29772/task/29780/stat : 29780 (plingeling) R 29770 29772 20898 0 -1 4202560 166299 1260 0 0 88197 30 0 0 25 0 5 0 654786841 618917888 138908 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364903 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=29772/tid=29781] ppid=29770 vsize=604412 CPUtime=873.46 cores=1,3,5,7
/proc/29772/task/29781/stat : 29781 (plingeling) R 29770 29772 20898 0 -1 4202560 149623 1260 0 0 87319 27 0 0 25 0 5 0 654786841 618917888 138908 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29772/tid=29782] ppid=29770 vsize=604412 CPUtime=882.27 cores=1,3,5,7
/proc/29772/task/29782/stat : 29782 (plingeling) R 29770 29772 20898 0 -1 4202560 118814 1260 0 0 88206 21 0 0 25 0 5 0 654786841 618917888 138908 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364791 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3520.36
Current children cumulated vsize (KiB) 604412
[startup+942.301 s]
/proc/loadavg: 6.29 7.64 7.47 5/306 29837
/proc/meminfo: memFree=17359104/32950928 swapFree=67111348/67111528
[pid=29772] ppid=29770 vsize=688088 CPUtime=3759.72 cores=1,3,5,7
/proc/29772/stat : 29772 (plingeling) S 29770 29772 20898 0 -1 4202496 610340 1260 0 0 375865 107 0 0 25 0 5 0 654786837 704602112 159827 33554432000 4194304 4417452 140737038391696 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/29772/statm: 172022 159827 180 55 0 169908 0
[pid=29772/tid=29779] ppid=29770 vsize=688088 CPUtime=942.27 cores=1,3,5,7
/proc/29772/task/29779/stat : 29779 (plingeling) R 29770 29772 20898 0 -1 4202560 156887 1260 0 0 94201 26 0 0 25 0 5 0 654786841 704602112 159827 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364829 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=29772/tid=29780] ppid=29770 vsize=688088 CPUtime=942.26 cores=1,3,5,7
/proc/29772/task/29780/stat : 29780 (plingeling) R 29770 29772 20898 0 -1 4202560 174491 1260 0 0 94195 31 0 0 25 0 5 0 654786841 704602112 159827 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=29772/tid=29781] ppid=29770 vsize=688088 CPUtime=932.85 cores=1,3,5,7
/proc/29772/task/29781/stat : 29781 (plingeling) R 29770 29772 20898 0 -1 4202560 157815 1260 0 0 93258 27 0 0 25 0 5 0 654786841 704602112 159827 33554432000 4194304 4417452 140737038391696 18446744073709551615 4366074 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29772/tid=29782] ppid=29770 vsize=688088 CPUtime=942.26 cores=1,3,5,7
/proc/29772/task/29782/stat : 29782 (plingeling) R 29770 29772 20898 0 -1 4202560 118814 1260 0 0 94205 21 0 0 25 0 5 0 654786841 704602112 159827 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3759.72
Current children cumulated vsize (KiB) 688088
[startup+1002.3 s]
/proc/loadavg: 4.84 6.98 7.25 5/306 29839
/proc/meminfo: memFree=17326208/32950928 swapFree=67111348/67111528
[pid=29772] ppid=29770 vsize=720856 CPUtime=3999.12 cores=1,3,5,7
/proc/29772/stat : 29772 (plingeling) S 29770 29772 20898 0 -1 4202496 618532 1260 0 0 399804 108 0 0 25 0 5 0 654786837 738156544 168019 33554432000 4194304 4417452 140737038391696 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/29772/statm: 180214 168019 180 55 0 178100 0
[pid=29772/tid=29779] ppid=29770 vsize=720856 CPUtime=1002.27 cores=1,3,5,7
/proc/29772/task/29779/stat : 29779 (plingeling) R 29770 29772 20898 0 -1 4202560 165079 1260 0 0 100200 27 0 0 25 0 5 0 654786841 738156544 168019 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364829 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=29772/tid=29780] ppid=29770 vsize=720856 CPUtime=1002.27 cores=1,3,5,7
/proc/29772/task/29780/stat : 29780 (plingeling) R 29770 29772 20898 0 -1 4202560 174491 1260 0 0 100196 31 0 0 25 0 5 0 654786841 738156544 168019 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=29772/tid=29781] ppid=29770 vsize=720856 CPUtime=992.24 cores=1,3,5,7
/proc/29772/task/29781/stat : 29781 (plingeling) R 29770 29772 20898 0 -1 4202560 157815 1260 0 0 99197 27 0 0 25 0 5 0 654786841 738156544 168019 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29772/tid=29782] ppid=29770 vsize=720856 CPUtime=1002.27 cores=1,3,5,7
/proc/29772/task/29782/stat : 29782 (plingeling) R 29770 29772 20898 0 -1 4202560 118814 1260 0 0 100206 21 0 0 25 0 5 0 654786841 738156544 168019 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3999.12
Current children cumulated vsize (KiB) 720856
[startup+1062.3 s]
/proc/loadavg: 4.31 6.43 7.04 5/306 29841
/proc/meminfo: memFree=17295544/32950928 swapFree=67111348/67111528
[pid=29772] ppid=29770 vsize=751580 CPUtime=4238.53 cores=1,3,5,7
/proc/29772/stat : 29772 (plingeling) S 29770 29772 20898 0 -1 4202496 626213 1260 0 0 423743 110 0 0 25 0 5 0 654786837 769617920 175700 33554432000 4194304 4417452 140737038391696 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/29772/statm: 187895 175700 180 55 0 185781 0
[pid=29772/tid=29779] ppid=29770 vsize=751580 CPUtime=1062.27 cores=1,3,5,7
/proc/29772/task/29779/stat : 29779 (plingeling) R 29770 29772 20898 0 -1 4202560 165079 1260 0 0 106200 27 0 0 25 0 5 0 654786841 769617920 175700 33554432000 4194304 4417452 140737038391696 18446744073709551615 4236616 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=29772/tid=29780] ppid=29770 vsize=751580 CPUtime=1062.27 cores=1,3,5,7
/proc/29772/task/29780/stat : 29780 (plingeling) R 29770 29772 20898 0 -1 4202560 174491 1260 0 0 106196 31 0 0 25 0 5 0 654786841 769617920 175700 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=29772/tid=29781] ppid=29770 vsize=751580 CPUtime=1051.65 cores=1,3,5,7
/proc/29772/task/29781/stat : 29781 (plingeling) R 29770 29772 20898 0 -1 4202560 157815 1260 0 0 105138 27 0 0 25 0 5 0 654786841 769617920 175700 33554432000 4194304 4417452 140737038391696 18446744073709551615 4309920 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29772/tid=29782] ppid=29770 vsize=751580 CPUtime=1062.27 cores=1,3,5,7
/proc/29772/task/29782/stat : 29782 (plingeling) R 29770 29772 20898 0 -1 4202560 126495 1260 0 0 106204 23 0 0 25 0 5 0 654786841 769617920 175700 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4238.53
Current children cumulated vsize (KiB) 751580
[startup+1122.3 s]
/proc/loadavg: 4.16 6.00 6.86 5/306 29842
/proc/meminfo: memFree=17261912/32950928 swapFree=67111348/67111528
[pid=29772] ppid=29770 vsize=785108 CPUtime=4477.94 cores=1,3,5,7
/proc/29772/stat : 29772 (plingeling) S 29770 29772 20898 0 -1 4202496 665074 1260 0 0 447677 117 0 0 25 0 5 0 654786837 803950592 184082 33554432000 4194304 4417452 140737038391696 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/29772/statm: 196277 184082 180 55 0 194163 0
[pid=29772/tid=29779] ppid=29770 vsize=785108 CPUtime=1122.27 cores=1,3,5,7
/proc/29772/task/29779/stat : 29779 (plingeling) R 29770 29772 20898 0 -1 4202560 165079 1260 0 0 112200 27 0 0 25 0 5 0 654786841 803950592 184082 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=29772/tid=29780] ppid=29770 vsize=785108 CPUtime=1122.27 cores=1,3,5,7
/proc/29772/task/29780/stat : 29780 (plingeling) R 29770 29772 20898 0 -1 4202560 192276 1260 0 0 112193 34 0 0 25 0 5 0 654786841 803950592 184082 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=29772/tid=29781] ppid=29770 vsize=785108 CPUtime=1111.05 cores=1,3,5,7
/proc/29772/task/29781/stat : 29781 (plingeling) R 29770 29772 20898 0 -1 4202560 178891 1260 0 0 111074 31 0 0 25 0 5 0 654786841 803950592 184082 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29772/tid=29782] ppid=29770 vsize=785108 CPUtime=1122.27 cores=1,3,5,7
/proc/29772/task/29782/stat : 29782 (plingeling) R 29770 29772 20898 0 -1 4202560 126495 1260 0 0 112204 23 0 0 25 0 5 0 654786841 803950592 184082 33554432000 4194304 4417452 140737038391696 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4477.94
Current children cumulated vsize (KiB) 785108
[startup+1182.3 s]
/proc/loadavg: 4.06 5.64 6.68 5/306 29844
/proc/meminfo: memFree=17359592/32950928 swapFree=67111348/67111528
[pid=29772] ppid=29770 vsize=687628 CPUtime=4717.35 cores=1,3,5,7
/proc/29772/stat : 29772 (plingeling) S 29770 29772 20898 0 -1 4202496 673872 1260 0 0 471616 119 0 0 25 0 5 0 654786837 704131072 159744 33554432000 4194304 4417452 140737038391696 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/29772/statm: 171907 159744 180 55 0 169793 0
[pid=29772/tid=29779] ppid=29770 vsize=687628 CPUtime=1182.28 cores=1,3,5,7
/proc/29772/task/29779/stat : 29779 (plingeling) R 29770 29772 20898 0 -1 4202560 165079 1260 0 0 118201 27 0 0 25 0 5 0 654786841 704131072 159744 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=29772/tid=29780] ppid=29770 vsize=687628 CPUtime=1182.27 cores=1,3,5,7
/proc/29772/task/29780/stat : 29780 (plingeling) R 29770 29772 20898 0 -1 4202560 201074 1260 0 0 118191 36 0 0 25 0 5 0 654786841 704131072 159744 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=29772/tid=29781] ppid=29770 vsize=687628 CPUtime=1170.46 cores=1,3,5,7
/proc/29772/task/29781/stat : 29781 (plingeling) R 29770 29772 20898 0 -1 4202560 178891 1260 0 0 117015 31 0 0 25 0 5 0 654786841 704131072 159744 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29772/tid=29782] ppid=29770 vsize=687628 CPUtime=1182.27 cores=1,3,5,7
/proc/29772/task/29782/stat : 29782 (plingeling) R 29770 29772 20898 0 -1 4202560 126495 1260 0 0 118204 23 0 0 25 0 5 0 654786841 704131072 159744 33554432000 4194304 4417452 140737038391696 18446744073709551615 4366099 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4717.35
Current children cumulated vsize (KiB) 687628
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1203.1 s]
/proc/loadavg: 4.11 5.55 6.62 5/306 29844
/proc/meminfo: memFree=17408560/32950928 swapFree=67111348/67111528
[pid=29772] ppid=29770 vsize=639052 CPUtime=4800.37 cores=1,3,5,7
/proc/29772/stat : 29772 (plingeling) S 29770 29772 20898 0 -1 4202496 685389 1260 0 0 479916 121 0 0 25 0 5 0 654786837 654389248 147568 33554432000 4194304 4417452 140737038391696 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/29772/statm: 159763 147568 180 55 0 157649 0
[pid=29772/tid=29779] ppid=29770 vsize=639052 CPUtime=1203.08 cores=1,3,5,7
/proc/29772/task/29779/stat : 29779 (plingeling) R 29770 29772 20898 0 -1 4202560 173200 1260 0 0 120280 28 0 0 25 0 5 0 654786841 654389248 147568 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=29772/tid=29780] ppid=29770 vsize=639052 CPUtime=1203.08 cores=1,3,5,7
/proc/29772/task/29780/stat : 29780 (plingeling) R 29770 29772 20898 0 -1 4202560 204470 1260 0 0 120272 36 0 0 25 0 5 0 654786841 654389248 147568 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=29772/tid=29781] ppid=29770 vsize=639052 CPUtime=1191.05 cores=1,3,5,7
/proc/29772/task/29781/stat : 29781 (plingeling) R 29770 29772 20898 0 -1 4202560 178891 1260 0 0 119074 31 0 0 25 0 5 0 654786841 654389248 147568 33554432000 4194304 4417452 140737038391696 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29772/tid=29782] ppid=29770 vsize=639052 CPUtime=1203.08 cores=1,3,5,7
/proc/29772/task/29782/stat : 29782 (plingeling) R 29770 29772 20898 0 -1 4202560 126495 1260 0 0 120285 23 0 0 25 0 5 0 654786841 654389248 147568 33554432000 4194304 4417452 140737038391696 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 639052
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.15
CPU time (s): 4800.43
CPU user time (s): 4799.19
CPU system time (s): 1.24281
CPU usage (%): 398.99
Max. virtual memory (cumulated for all children) (KiB): 785108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.19
system time used= 1.24281
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 686649
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= 61
involuntary context switches= 31552
runsolver used 3.24251 second user time and 8.80366 second system time
The end