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-3371005-1305417319/watcher-3371005-1305417319 -o /tmp/evaluation-result-3371005-1305417319/solver-3371005-1305417319 -C 4800 -W 1300 -M 15500 plingeling -t 4 HOME/instance-3371005-1305417319.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: 4.81 7.19 7.72 4/313 19024
/proc/meminfo: memFree=15689788/32950928 swapFree=67085488/67111528
[pid=19024] ppid=19022 vsize=8728 CPUtime=0 cores=1,3,5,7
/proc/19024/stat : 19024 (plingeling) S 19022 19024 18342 0 -1 4202496 214 0 0 0 0 0 0 0 21 0 1 0 731962614 8937472 146 33554432000 4194304 4417452 140736877881440 18446744073709551615 231895490304 0 0 4096 0 18446744071562362840 0 0 17 1 0 0 0
/proc/19024/statm: 2182 146 122 55 0 68 0
[startup+0.120626 s]
/proc/loadavg: 4.81 7.19 7.72 4/313 19024
/proc/meminfo: memFree=15689788/32950928 swapFree=67085488/67111528
[pid=19024] ppid=19022 vsize=129120 CPUtime=3.21 cores=1,3,5,7
/proc/19024/stat : 19024 (plingeling) S 19022 19024 18342 0 -1 4202496 4841 1251 0 2 321 0 0 0 21 0 5 0 731962614 132218880 3720 33554432000 4194304 4417452 140736877881440 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/19024/statm: 32280 3720 180 55 0 30166 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 129120
[startup+0.970268 s]
/proc/loadavg: 4.81 7.19 7.72 4/313 19024
/proc/meminfo: memFree=15689788/32950928 swapFree=67085488/67111528
[pid=19024] ppid=19022 vsize=128332 CPUtime=3.61 cores=1,3,5,7
/proc/19024/stat : 19024 (plingeling) S 19022 19024 18342 0 -1 4202496 5087 1251 0 2 361 0 0 0 21 0 5 0 731962614 131411968 3536 33554432000 4194304 4417452 140736877881440 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/19024/statm: 32083 3536 180 55 0 29969 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 128332
[startup+1.07025 s]
/proc/loadavg: 4.81 7.19 7.72 4/313 19024
/proc/meminfo: memFree=15689788/32950928 swapFree=67085488/67111528
[pid=19024] ppid=19022 vsize=128672 CPUtime=4.01 cores=1,3,5,7
/proc/19024/stat : 19024 (plingeling) S 19022 19024 18342 0 -1 4202496 5428 1251 0 2 401 0 0 0 21 0 5 0 731962614 131760128 3621 33554432000 4194304 4417452 140736877881440 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/19024/statm: 32168 3621 180 55 0 30054 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 128672
[startup+1.17023 s]
/proc/loadavg: 4.81 7.19 7.72 4/313 19024
/proc/meminfo: memFree=15689788/32950928 swapFree=67085488/67111528
[pid=19024] ppid=19022 vsize=130364 CPUtime=4.41 cores=1,3,5,7
/proc/19024/stat : 19024 (plingeling) S 19022 19024 18342 0 -1 4202496 6599 1251 0 2 441 0 0 0 21 0 5 0 731962614 133492736 4044 33554432000 4194304 4417452 140736877881440 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/19024/statm: 32591 4044 180 55 0 30477 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 130364
[startup+1.50017 s]
/proc/loadavg: 4.81 7.19 7.72 4/313 19024
/proc/meminfo: memFree=15689788/32950928 swapFree=67085488/67111528
[pid=19024] ppid=19022 vsize=130400 CPUtime=5.73 cores=1,3,5,7
/proc/19024/stat : 19024 (plingeling) S 19022 19024 18342 0 -1 4202496 8805 1251 0 2 572 1 0 0 21 0 5 0 731962614 133529600 4053 33554432000 4194304 4417452 140736877881440 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/19024/statm: 32600 4053 180 55 0 30486 0
Current children cumulated CPU time (s) 5.73
Current children cumulated vsize (KiB) 130400
[startup+3.10087 s]
/proc/loadavg: 4.81 7.19 7.72 9/325 19049
/proc/meminfo: memFree=15601476/32950928 swapFree=67085488/67111528
[pid=19024] ppid=19022 vsize=135400 CPUtime=12.11 cores=1,3,5,7
/proc/19024/stat : 19024 (plingeling) S 19022 19024 18342 0 -1 4202496 21965 1251 0 2 1208 3 0 0 21 0 5 0 731962614 138649600 5312 33554432000 4194304 4417452 140736877881440 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/19024/statm: 33850 5312 180 55 0 31736 0
[pid=19024/tid=19031] ppid=19022 vsize=135400 CPUtime=3.02 cores=1,3,5,7
/proc/19024/task/19031/stat : 19031 (plingeling) R 19022 19024 18342 0 -1 4202560 5416 1251 0 2 301 1 0 0 25 0 5 0 731962620 138649600 5312 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364476 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=19024/tid=19032] ppid=19022 vsize=135400 CPUtime=3.02 cores=1,3,5,7
/proc/19024/task/19032/stat : 19032 (plingeling) R 19022 19024 18342 0 -1 4202560 5105 1251 0 2 301 1 0 0 25 0 5 0 731962620 138649600 5312 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364873 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=19024/tid=19033] ppid=19022 vsize=135400 CPUtime=3.03 cores=1,3,5,7
/proc/19024/task/19033/stat : 19033 (plingeling) R 19022 19024 18342 0 -1 4202560 4025 1251 0 2 303 0 0 0 25 0 5 0 731962620 138649600 5312 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=19024/tid=19034] ppid=19022 vsize=135400 CPUtime=3 cores=1,3,5,7
/proc/19024/task/19034/stat : 19034 (plingeling) R 19022 19024 18342 0 -1 4202560 6355 1251 0 2 300 0 0 0 25 0 5 0 731962620 138649600 5312 33554432000 4194304 4417452 140736877881440 18446744073709551615 18446744073699065939 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.11
Current children cumulated vsize (KiB) 135400
[startup+6.31227 s]
/proc/loadavg: 5.07 7.20 7.73 9/325 19049
/proc/meminfo: memFree=15572324/32950928 swapFree=67085488/67111528
[pid=19024] ppid=19022 vsize=149828 CPUtime=24.92 cores=1,3,5,7
/proc/19024/stat : 19024 (plingeling) S 19022 19024 18342 0 -1 4202496 35153 1251 0 2 2487 5 0 0 21 0 5 0 731962614 153423872 8911 33554432000 4194304 4417452 140736877881440 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/19024/statm: 37457 8911 180 55 0 35343 0
[pid=19024/tid=19031] ppid=19022 vsize=149828 CPUtime=6.24 cores=1,3,5,7
/proc/19024/task/19031/stat : 19031 (plingeling) R 19022 19024 18342 0 -1 4202560 7256 1251 0 2 623 1 0 0 25 0 5 0 731962620 153423872 8911 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=19024/tid=19032] ppid=19022 vsize=149828 CPUtime=6.23 cores=1,3,5,7
/proc/19024/task/19032/stat : 19032 (plingeling) R 19022 19024 18342 0 -1 4202560 8187 1251 0 2 622 1 0 0 25 0 5 0 731962620 153423872 8911 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364896 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=19024/tid=19033] ppid=19022 vsize=149828 CPUtime=6.23 cores=1,3,5,7
/proc/19024/task/19033/stat : 19033 (plingeling) R 19022 19024 18342 0 -1 4202560 6970 1251 0 2 623 0 0 0 25 0 5 0 731962620 153423872 8911 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=19024/tid=19034] ppid=19022 vsize=149828 CPUtime=6.18 cores=1,3,5,7
/proc/19024/task/19034/stat : 19034 (plingeling) R 19022 19024 18342 0 -1 4202560 11676 1251 0 2 617 1 0 0 25 0 5 0 731962620 153423872 8911 33554432000 4194304 4417452 140736877881440 18446744073709551615 4264911 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.92
Current children cumulated vsize (KiB) 149828
[startup+12.7011 s]
/proc/loadavg: 5.30 7.22 7.73 9/325 19049
/proc/meminfo: memFree=15527592/32950928 swapFree=67085488/67111528
[pid=19024] ppid=19022 vsize=177068 CPUtime=50.43 cores=1,3,5,7
/proc/19024/stat : 19024 (plingeling) S 19022 19024 18342 0 -1 4202496 82779 1251 0 2 5030 13 0 0 21 0 5 0 731962614 181317632 15748 33554432000 4194304 4417452 140736877881440 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/19024/statm: 44267 15748 180 55 0 42153 0
[pid=19024/tid=19031] ppid=19022 vsize=177068 CPUtime=12.63 cores=1,3,5,7
/proc/19024/task/19031/stat : 19031 (plingeling) R 19022 19024 18342 0 -1 4202560 18484 1251 0 2 1260 3 0 0 25 0 5 0 731962620 181317632 15748 33554432000 4194304 4417452 140736877881440 18446744073709551615 4354251 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=19024/tid=19032] ppid=19022 vsize=177068 CPUtime=12.62 cores=1,3,5,7
/proc/19024/task/19032/stat : 19032 (plingeling) R 19022 19024 18342 0 -1 4202560 19240 1251 0 2 1259 3 0 0 25 0 5 0 731962620 181317632 15748 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364984 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=19024/tid=19033] ppid=19022 vsize=177068 CPUtime=12.62 cores=1,3,5,7
/proc/19024/task/19033/stat : 19033 (plingeling) R 19022 19024 18342 0 -1 4202560 23460 1251 0 2 1260 2 0 0 25 0 5 0 731962620 181317632 15748 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364885 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=19024/tid=19034] ppid=19022 vsize=177068 CPUtime=12.52 cores=1,3,5,7
/proc/19024/task/19034/stat : 19034 (plingeling) R 19022 19024 18342 0 -1 4202560 20531 1251 0 2 1249 3 0 0 25 0 5 0 731962620 181317632 15748 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.43
Current children cumulated vsize (KiB) 177068
[startup+25.5007 s]
/proc/loadavg: 5.90 7.25 7.73 9/325 19050
/proc/meminfo: memFree=15494476/32950928 swapFree=67085488/67111528
[pid=19024] ppid=19022 vsize=206488 CPUtime=101.5 cores=1,3,5,7
/proc/19024/stat : 19024 (plingeling) S 19022 19024 18342 0 -1 4202496 117825 1251 0 2 10131 19 0 0 21 0 5 0 731962614 211443712 23076 33554432000 4194304 4417452 140736877881440 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/19024/statm: 51622 23076 180 55 0 49508 0
[pid=19024/tid=19031] ppid=19022 vsize=206488 CPUtime=25.42 cores=1,3,5,7
/proc/19024/task/19031/stat : 19031 (plingeling) R 19022 19024 18342 0 -1 4202560 23168 1251 0 2 2539 3 0 0 25 0 5 0 731962620 211443712 23076 33554432000 4194304 4417452 140736877881440 18446744073709551615 4365058 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=19024/tid=19032] ppid=19022 vsize=206488 CPUtime=25.42 cores=1,3,5,7
/proc/19024/task/19032/stat : 19032 (plingeling) R 19022 19024 18342 0 -1 4202560 28042 1251 0 2 2537 5 0 0 25 0 5 0 731962620 211443712 23076 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=19024/tid=19033] ppid=19022 vsize=206488 CPUtime=25.43 cores=1,3,5,7
/proc/19024/task/19033/stat : 19033 (plingeling) R 19022 19024 18342 0 -1 4202560 32469 1251 0 2 2539 4 0 0 25 0 5 0 731962620 211443712 23076 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=19024/tid=19034] ppid=19022 vsize=206488 CPUtime=25.18 cores=1,3,5,7
/proc/19024/task/19034/stat : 19034 (plingeling) R 19022 19024 18342 0 -1 4202560 33082 1251 0 2 2513 5 0 0 25 0 5 0 731962620 211443712 23076 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 206488
[startup+51.1009 s]
/proc/loadavg: 6.69 7.33 7.74 9/325 19050
/proc/meminfo: memFree=15408912/32950928 swapFree=67085488/67111528
[pid=19024] ppid=19022 vsize=260628 CPUtime=203.65 cores=1,3,5,7
/proc/19024/stat : 19024 (plingeling) S 19022 19024 18342 0 -1 4202496 164023 1251 0 2 20339 26 0 0 21 0 5 0 731962614 266883072 36611 33554432000 4194304 4417452 140736877881440 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/19024/statm: 65157 36611 180 55 0 63043 0
[pid=19024/tid=19031] ppid=19022 vsize=260628 CPUtime=51.03 cores=1,3,5,7
/proc/19024/task/19031/stat : 19031 (plingeling) R 19022 19024 18342 0 -1 4202560 35046 1251 0 2 5098 5 0 0 25 0 5 0 731962620 266883072 36611 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=19024/tid=19032] ppid=19022 vsize=260628 CPUtime=51.02 cores=1,3,5,7
/proc/19024/task/19032/stat : 19032 (plingeling) R 19022 19024 18342 0 -1 4202560 34874 1251 0 2 5096 6 0 0 25 0 5 0 731962620 266883072 36611 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=19024/tid=19033] ppid=19022 vsize=260628 CPUtime=51.02 cores=1,3,5,7
/proc/19024/task/19033/stat : 19033 (plingeling) R 19022 19024 18342 0 -1 4202560 42708 1251 0 2 5097 5 0 0 25 0 5 0 731962620 266883072 36611 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=19024/tid=19034] ppid=19022 vsize=260628 CPUtime=50.53 cores=1,3,5,7
/proc/19024/task/19034/stat : 19034 (plingeling) R 19022 19024 18342 0 -1 4202560 50331 1251 0 2 5045 8 0 0 25 0 5 0 731962620 266883072 36611 33554432000 4194304 4417452 140736877881440 18446744073709551615 4366385 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.65
Current children cumulated vsize (KiB) 260628
[startup+102.3 s]
/proc/loadavg: 7.57 7.46 7.76 9/325 19052
/proc/meminfo: memFree=15340936/32950928 swapFree=67085488/67111528
[pid=19024] ppid=19022 vsize=343116 CPUtime=407.94 cores=1,3,5,7
/proc/19024/stat : 19024 (plingeling) S 19022 19024 18342 0 -1 4202496 228310 1251 0 2 40758 36 0 0 21 0 5 0 731962614 351350784 57233 33554432000 4194304 4417452 140736877881440 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/19024/statm: 85779 57233 180 55 0 83665 0
[pid=19024/tid=19031] ppid=19022 vsize=343116 CPUtime=102.22 cores=1,3,5,7
/proc/19024/task/19031/stat : 19031 (plingeling) R 19022 19024 18342 0 -1 4202560 50080 1251 0 2 10215 7 0 0 25 0 5 0 731962620 351350784 57233 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=19024/tid=19032] ppid=19022 vsize=343116 CPUtime=102.21 cores=1,3,5,7
/proc/19024/task/19032/stat : 19032 (plingeling) R 19022 19024 18342 0 -1 4202560 51436 1251 0 2 10213 8 0 0 25 0 5 0 731962620 351350784 57233 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=19024/tid=19033] ppid=19022 vsize=343116 CPUtime=102.23 cores=1,3,5,7
/proc/19024/task/19033/stat : 19033 (plingeling) R 19022 19024 18342 0 -1 4202560 56630 1251 0 2 10215 8 0 0 25 0 5 0 731962620 351350784 57233 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=19024/tid=19034] ppid=19022 vsize=343116 CPUtime=101.21 cores=1,3,5,7
/proc/19024/task/19034/stat : 19034 (plingeling) R 19022 19024 18342 0 -1 4202560 69100 1251 0 2 10111 10 0 0 25 0 5 0 731962620 351350784 57233 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.94
Current children cumulated vsize (KiB) 343116
[startup+162.301 s]
/proc/loadavg: 7.97 7.59 7.78 9/325 19053
/proc/meminfo: memFree=15355892/32950928 swapFree=67085488/67111528
[pid=19024] ppid=19022 vsize=314156 CPUtime=647.35 cores=1,3,5,7
/proc/19024/stat : 19024 (plingeling) S 19022 19024 18342 0 -1 4202496 347297 1251 0 2 64679 56 0 0 21 0 5 0 731962614 321695744 49993 33554432000 4194304 4417452 140736877881440 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/19024/statm: 78539 49993 180 55 0 76425 0
[pid=19024/tid=19031] ppid=19022 vsize=314156 CPUtime=162.23 cores=1,3,5,7
/proc/19024/task/19031/stat : 19031 (plingeling) R 19022 19024 18342 0 -1 4202560 72438 1251 0 2 16212 11 0 0 25 0 5 0 731962620 321695744 49993 33554432000 4194304 4417452 140736877881440 18446744073709551615 4259618 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=19024/tid=19032] ppid=19022 vsize=314156 CPUtime=162.22 cores=1,3,5,7
/proc/19024/task/19032/stat : 19032 (plingeling) R 19022 19024 18342 0 -1 4202560 81714 1251 0 2 16208 14 0 0 25 0 5 0 731962620 321695744 49993 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=19024/tid=19033] ppid=19022 vsize=314156 CPUtime=162.23 cores=1,3,5,7
/proc/19024/task/19033/stat : 19033 (plingeling) R 19022 19024 18342 0 -1 4202560 102878 1251 0 2 16208 15 0 0 25 0 5 0 731962620 321695744 49993 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=19024/tid=19034] ppid=19022 vsize=314156 CPUtime=160.63 cores=1,3,5,7
/proc/19024/task/19034/stat : 19034 (plingeling) R 19022 19024 18342 0 -1 4202560 89203 1251 0 2 16049 14 0 0 25 0 5 0 731962620 321695744 49993 33554432000 4194304 4417452 140736877881440 18446744073709551615 4353546 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 647.35
Current children cumulated vsize (KiB) 314156
[startup+222.301 s]
/proc/loadavg: 8.20 7.71 7.81 9/325 19055
/proc/meminfo: memFree=15214848/32950928 swapFree=67085488/67111528
[pid=19024] ppid=19022 vsize=443384 CPUtime=886.75 cores=1,3,5,7
/proc/19024/stat : 19024 (plingeling) S 19022 19024 18342 0 -1 4202496 394966 1251 0 2 88612 63 0 0 21 0 5 0 731962614 454025216 82300 33554432000 4194304 4417452 140736877881440 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/19024/statm: 110846 82300 180 55 0 108732 0
[pid=19024/tid=19031] ppid=19022 vsize=443384 CPUtime=222.23 cores=1,3,5,7
/proc/19024/task/19031/stat : 19031 (plingeling) R 19022 19024 18342 0 -1 4202560 82647 1251 0 2 22210 13 0 0 25 0 5 0 731962620 454025216 82300 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/19024/stat : 19024 (plingeling) S 19022 19024 18342 0 -1 4202496 897721 1251 0 2 375827 139 0 0 21 0 5 0 731962614 999575552 215491 33554432000 4194304 4417452 140736877881440 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/19024/statm: 244037 215491 180 55 0 241923 0
[pid=19024/tid=19031] ppid=19022 vsize=976148 CPUtime=942.25 cores=1,3,5,7
/proc/19024/task/19031/stat : 19031 (plingeling) R 19022 19024 18342 0 -1 4202560 192451 1251 0 2 94196 29 0 0 25 0 5 0 731962620 999575552 215491 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=19024/tid=19032] ppid=19022 vsize=976148 CPUtime=942.26 cores=1,3,5,7
/proc/19024/task/19032/stat : 19032 (plingeling) R 19022 19024 18342 0 -1 4202560 271688 1251 0 2 94183 43 0 0 25 0 5 0 731962620 999575552 215491 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=19024/tid=19033] ppid=19022 vsize=976148 CPUtime=942.27 cores=1,3,5,7
/proc/19024/task/19033/stat : 19033 (plingeling) R 19022 19024 18342 0 -1 4202560 200891 1251 0 2 94197 30 0 0 25 0 5 0 731962620 999575552 215491 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364958 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=19024/tid=19034] ppid=19022 vsize=976148 CPUtime=932.85 cores=1,3,5,7
/proc/19024/task/19034/stat : 19034 (plingeling) R 19022 19024 18342 0 -1 4202560 231627 1251 0 2 93250 35 0 0 25 0 5 0 731962620 999575552 215491 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3759.66
Current children cumulated vsize (KiB) 976148
[startup+1002.3 s]
/proc/loadavg: 8.19 8.10 7.96 9/325 19085
/proc/meminfo: memFree=13964912/32950928 swapFree=67085488/67111528
[pid=19024] ppid=19022 vsize=1092584 CPUtime=3999.04 cores=1,3,5,7
/proc/19024/stat : 19024 (plingeling) S 19022 19024 18342 0 -1 4202496 938540 1251 0 2 399760 144 0 0 21 0 5 0 731962614 1118806016 244600 33554432000 4194304 4417452 140736877881440 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/19024/statm: 273146 244600 180 55 0 271032 0
[pid=19024/tid=19031] ppid=19022 vsize=1092584 CPUtime=1002.24 cores=1,3,5,7
/proc/19024/task/19031/stat : 19031 (plingeling) R 19022 19024 18342 0 -1 4202560 192451 1251 0 2 100195 29 0 0 25 0 5 0 731962620 1118806016 244600 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=19024/tid=19032] ppid=19022 vsize=1092584 CPUtime=1002.25 cores=1,3,5,7
/proc/19024/task/19032/stat : 19032 (plingeling) R 19022 19024 18342 0 -1 4202560 279880 1251 0 2 100181 44 0 0 25 0 5 0 731962620 1118806016 244600 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=19024/tid=19033] ppid=19022 vsize=1092584 CPUtime=1002.25 cores=1,3,5,7
/proc/19024/task/19033/stat : 19033 (plingeling) R 19022 19024 18342 0 -1 4202560 217133 1251 0 2 100193 32 0 0 25 0 5 0 731962620 1118806016 244600 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=19024/tid=19034] ppid=19022 vsize=1092584 CPUtime=992.25 cores=1,3,5,7
/proc/19024/task/19034/stat : 19034 (plingeling) R 19022 19024 18342 0 -1 4202560 248012 1251 0 2 99188 37 0 0 25 0 5 0 731962620 1118806016 244600 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364780 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3999.04
Current children cumulated vsize (KiB) 1092584
[startup+1062.31 s]
/proc/loadavg: 8.20 8.11 7.97 9/325 19086
/proc/meminfo: memFree=13741064/32950928 swapFree=67085488/67111528
[pid=19024] ppid=19022 vsize=1115776 CPUtime=4238.49 cores=1,3,5,7
/proc/19024/stat : 19024 (plingeling) S 19022 19024 18342 0 -1 4202496 944338 1251 0 2 423703 146 0 0 21 0 5 0 731962614 1142554624 250398 33554432000 4194304 4417452 140736877881440 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/19024/statm: 278944 250398 180 55 0 276830 0
[pid=19024/tid=19031] ppid=19022 vsize=1115776 CPUtime=1062.25 cores=1,3,5,7
/proc/19024/task/19031/stat : 19031 (plingeling) R 19022 19024 18342 0 -1 4202560 192451 1251 0 2 106196 29 0 0 25 0 5 0 731962620 1142554624 250398 33554432000 4194304 4417452 140736877881440 18446744073709551615 4365058 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=19024/tid=19032] ppid=19022 vsize=1115776 CPUtime=1062.27 cores=1,3,5,7
/proc/19024/task/19032/stat : 19032 (plingeling) R 19022 19024 18342 0 -1 4202560 279880 1251 0 2 106183 44 0 0 25 0 5 0 731962620 1142554624 250398 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=19024/tid=19033] ppid=19022 vsize=1115776 CPUtime=1062.26 cores=1,3,5,7
/proc/19024/task/19033/stat : 19033 (plingeling) R 19022 19024 18342 0 -1 4202560 217133 1251 0 2 106194 32 0 0 25 0 5 0 731962620 1142554624 250398 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=19024/tid=19034] ppid=19022 vsize=1115776 CPUtime=1051.65 cores=1,3,5,7
/proc/19024/task/19034/stat : 19034 (plingeling) R 19022 19024 18342 0 -1 4202560 253810 1251 0 2 105127 38 0 0 25 0 5 0 731962620 1142554624 250398 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4238.49
Current children cumulated vsize (KiB) 1115776
Solver just ended. Dumping a history of the last processes samples
[startup+1075.9 s]
/proc/loadavg: 8.15 8.10 7.97 9/325 19087
/proc/meminfo: memFree=13740672/32950928 swapFree=67085488/67111528
[pid=19024] ppid=19022 vsize=1115776 CPUtime=4292.72 cores=1,3,5,7
/proc/19024/stat : 19024 (plingeling) S 19022 19024 18342 0 -1 4202496 944338 1251 0 2 429126 146 0 0 21 0 5 0 731962614 1142554624 250398 33554432000 4194304 4417452 140736877881440 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/19024/statm: 278944 250398 180 55 0 276830 0
[pid=19024/tid=19031] ppid=19022 vsize=1115776 CPUtime=1075.84 cores=1,3,5,7
/proc/19024/task/19031/stat : 19031 (plingeling) R 19022 19024 18342 0 -1 4202560 192451 1251 0 2 107555 29 0 0 25 0 5 0 731962620 1142554624 250398 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=19024/tid=19032] ppid=19022 vsize=1115776 CPUtime=1075.86 cores=1,3,5,7
/proc/19024/task/19032/stat : 19032 (plingeling) R 19022 19024 18342 0 -1 4202560 279880 1251 0 2 107542 44 0 0 25 0 5 0 731962620 1142554624 250398 33554432000 4194304 4417452 140736877881440 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=19024/tid=19033] ppid=19022 vsize=1115776 CPUtime=1075.85 cores=1,3,5,7
/proc/19024/task/19033/stat : 19033 (plingeling) R 19022 19024 18342 0 -1 4202560 217133 1251 0 2 107553 32 0 0 25 0 5 0 731962620 1142554624 250398 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=19024/tid=19034] ppid=19022 vsize=1115776 CPUtime=1065.11 cores=1,3,5,7
/proc/19024/task/19034/stat : 19034 (plingeling) R 19022 19024 18342 0 -1 4202560 253810 1251 0 2 106473 38 0 0 25 0 5 0 731962620 1142554624 250398 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364984 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4292.72
Current children cumulated vsize (KiB) 1115776
[startup+1101.5 s]
/proc/loadavg: 8.17 8.11 7.98 9/325 19087
/proc/meminfo: memFree=13421736/32950928 swapFree=67085488/67111528
[pid=19024] ppid=19022 vsize=1255148 CPUtime=4394.87 cores=1,3,5,7
/proc/19024/stat : 19024 (plingeling) S 19022 19024 18342 0 -1 4202496 986561 1251 0 2 439334 153 0 0 21 0 5 0 731962614 1285271552 285241 33554432000 4194304 4417452 140736877881440 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/19024/statm: 313787 285241 180 55 0 311673 0
[pid=19024/tid=19031] ppid=19022 vsize=1255148 CPUtime=1101.44 cores=1,3,5,7
/proc/19024/task/19031/stat : 19031 (plingeling) R 19022 19024 18342 0 -1 4202560 200423 1251 0 2 110114 30 0 0 25 0 5 0 731962620 1285271552 285241 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=19024/tid=19032] ppid=19022 vsize=1255148 CPUtime=1101.45 cores=1,3,5,7
/proc/19024/task/19032/stat : 19032 (plingeling) R 19022 19024 18342 0 -1 4202560 302419 1251 0 2 110098 47 0 0 25 0 5 0 731962620 1285271552 285241 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=19024/tid=19033] ppid=19022 vsize=1255148 CPUtime=1101.45 cores=1,3,5,7
/proc/19024/task/19033/stat : 19033 (plingeling) R 19022 19024 18342 0 -1 4202560 217133 1251 0 2 110113 32 0 0 25 0 5 0 731962620 1285271552 285241 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364572 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=19024/tid=19034] ppid=19022 vsize=1255148 CPUtime=1090.46 cores=1,3,5,7
/proc/19024/task/19034/stat : 19034 (plingeling) R 19022 19024 18342 0 -1 4202560 265522 1251 0 2 109005 41 0 0 25 0 5 0 731962620 1285271552 285241 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4394.87
Current children cumulated vsize (KiB) 1255148
[startup+1114.3 s]
/proc/loadavg: 8.21 8.12 7.98 9/325 19088
/proc/meminfo: memFree=13421728/32950928 swapFree=67085488/67111528
[pid=19024] ppid=19022 vsize=1255148 CPUtime=4445.94 cores=1,3,5,7
/proc/19024/stat : 19024 (plingeling) S 19022 19024 18342 0 -1 4202496 986561 1251 0 2 444441 153 0 0 21 0 5 0 731962614 1285271552 285241 33554432000 4194304 4417452 140736877881440 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/19024/statm: 313787 285241 180 55 0 311673 0
[pid=19024/tid=19031] ppid=19022 vsize=1255148 CPUtime=1114.24 cores=1,3,5,7
/proc/19024/task/19031/stat : 19031 (plingeling) R 19022 19024 18342 0 -1 4202560 200423 1251 0 2 111394 30 0 0 25 0 5 0 731962620 1285271552 285241 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=19024/tid=19032] ppid=19022 vsize=1255148 CPUtime=1114.25 cores=1,3,5,7
/proc/19024/task/19032/stat : 19032 (plingeling) R 19022 19024 18342 0 -1 4202560 302419 1251 0 2 111378 47 0 0 25 0 5 0 731962620 1285271552 285241 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=19024/tid=19033] ppid=19022 vsize=1255148 CPUtime=1114.26 cores=1,3,5,7
/proc/19024/task/19033/stat : 19033 (plingeling) R 19022 19024 18342 0 -1 4202560 217133 1251 0 2 111394 32 0 0 25 0 5 0 731962620 1285271552 285241 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=19024/tid=19034] ppid=19022 vsize=1255148 CPUtime=1103.13 cores=1,3,5,7
/proc/19024/task/19034/stat : 19034 (plingeling) R 19022 19024 18342 0 -1 4202560 265522 1251 0 2 110272 41 0 0 25 0 5 0 731962620 1285271552 285241 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4445.94
Current children cumulated vsize (KiB) 1255148
[startup+1117.5 s]
/proc/loadavg: 8.21 8.12 7.98 9/325 19088
/proc/meminfo: memFree=13388868/32950928 swapFree=67085488/67111528
[pid=19024] ppid=19022 vsize=1287920 CPUtime=4458.7 cores=1,3,5,7
/proc/19024/stat : 19024 (plingeling) S 19022 19024 18342 0 -1 4202496 994754 1251 0 2 445717 153 0 0 21 0 5 0 731962614 1318830080 293434 33554432000 4194304 4417452 140736877881440 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/19024/statm: 321980 293434 180 55 0 319866 0
[pid=19024/tid=19031] ppid=19022 vsize=1287920 CPUtime=1117.44 cores=1,3,5,7
/proc/19024/task/19031/stat : 19031 (plingeling) R 19022 19024 18342 0 -1 4202560 200423 1251 0 2 111714 30 0 0 25 0 5 0 731962620 1318830080 293434 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364829 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=19024/tid=19032] ppid=19022 vsize=1287920 CPUtime=1117.45 cores=1,3,5,7
/proc/19024/task/19032/stat : 19032 (plingeling) R 19022 19024 18342 0 -1 4202560 302419 1251 0 2 111698 47 0 0 25 0 5 0 731962620 1318830080 293434 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=19024/tid=19033] ppid=19022 vsize=1287920 CPUtime=1117.46 cores=1,3,5,7
/proc/19024/task/19033/stat : 19033 (plingeling) R 19022 19024 18342 0 -1 4202560 217133 1251 0 2 111714 32 0 0 25 0 5 0 731962620 1318830080 293434 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=19024/tid=19034] ppid=19022 vsize=1287920 CPUtime=1106.3 cores=1,3,5,7
/proc/19024/task/19034/stat : 19034 (plingeling) R 19022 19024 18342 0 -1 4202560 273715 1251 0 2 110588 42 0 0 25 0 5 0 731962620 1318830080 293434 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4458.7
Current children cumulated vsize (KiB) 1287920
[startup+1120.7 s]
/proc/loadavg: 8.19 8.12 7.98 9/325 19088
/proc/meminfo: memFree=13388868/32950928 swapFree=67085488/67111528
[pid=19024] ppid=19022 vsize=1287920 CPUtime=4471.46 cores=1,3,5,7
/proc/19024/stat : 19024 (plingeling) S 19022 19024 18342 0 -1 4202496 994754 1251 0 2 446993 153 0 0 21 0 5 0 731962614 1318830080 293434 33554432000 4194304 4417452 140736877881440 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/19024/statm: 321980 293434 180 55 0 319866 0
[pid=19024/tid=19031] ppid=19022 vsize=1287920 CPUtime=1120.64 cores=1,3,5,7
/proc/19024/task/19031/stat : 19031 (plingeling) R 19022 19024 18342 0 -1 4202560 200423 1251 0 2 112034 30 0 0 25 0 5 0 731962620 1318830080 293434 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364684 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=19024/tid=19032] ppid=19022 vsize=1287920 CPUtime=1120.65 cores=1,3,5,7
/proc/19024/task/19032/stat : 19032 (plingeling) R 19022 19024 18342 0 -1 4202560 302419 1251 0 2 112018 47 0 0 25 0 5 0 731962620 1318830080 293434 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=19024/tid=19033] ppid=19022 vsize=1287920 CPUtime=1120.66 cores=1,3,5,7
/proc/19024/task/19033/stat : 19033 (plingeling) R 19022 19024 18342 0 -1 4202560 217133 1251 0 2 112034 32 0 0 25 0 5 0 731962620 1318830080 293434 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=19024/tid=19034] ppid=19022 vsize=1287920 CPUtime=1109.47 cores=1,3,5,7
/proc/19024/task/19034/stat : 19034 (plingeling) R 19022 19024 18342 0 -1 4202560 273715 1251 0 2 110905 42 0 0 25 0 5 0 731962620 1318830080 293434 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4471.46
Current children cumulated vsize (KiB) 1287920
[startup+1121.5 s]
/proc/loadavg: 8.19 8.12 7.98 9/325 19088
/proc/meminfo: memFree=13388868/32950928 swapFree=67085488/67111528
[pid=19024] ppid=19022 vsize=1287920 CPUtime=4474.31 cores=1,3,5,7
/proc/19024/stat : 19024 (plingeling) S 19022 19024 18342 0 -1 4202496 994755 1251 0 2 447277 154 0 0 21 0 4 0 731962614 1318830080 293435 33554432000 4194304 4417452 140736877881440 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/19024/statm: 321980 293435 181 55 0 319866 0
[pid=19024/tid=19031] ppid=19022 vsize=1287920 CPUtime=1121.44 cores=1,3,5,7
/proc/19024/task/19031/stat : 19031 (plingeling) R 19022 19024 18342 0 -1 4202560 200423 1251 0 2 112114 30 0 0 25 0 4 0 731962620 1318830080 293435 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=19024/tid=19032] ppid=19022 vsize=1287920 CPUtime=1121.45 cores=1,3,5,7
/proc/19024/task/19032/stat : 19032 (plingeling) R 19022 19024 18342 0 -1 4202560 302419 1251 0 2 112098 47 0 0 25 0 4 0 731962620 1318830080 293435 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=19024/tid=19034] ppid=19022 vsize=1287920 CPUtime=1110.27 cores=1,3,5,7
/proc/19024/task/19034/stat : 19034 (plingeling) R 19022 19024 18342 0 -1 4202560 273715 1251 0 2 110985 42 0 0 25 0 4 0 731962620 1318830080 293435 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4474.31
Current children cumulated vsize (KiB) 1287920
[startup+1121.9 s]
/proc/loadavg: 8.19 8.12 7.98 8/324 19088
/proc/meminfo: memFree=13388752/32950928 swapFree=67085488/67111528
[pid=19024] ppid=19022 vsize=1287920 CPUtime=4475.19 cores=1,3,5,7
/proc/19024/stat : 19024 (plingeling) S 19022 19024 18342 0 -1 4202496 994755 1251 0 2 447365 154 0 0 21 0 2 0 731962614 1318830080 293435 33554432000 4194304 4417452 140736877881440 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/19024/statm: 321980 293435 181 55 0 319866 0
[pid=19024/tid=19031] ppid=19022 vsize=1287920 CPUtime=1121.84 cores=1,3,5,7
/proc/19024/task/19031/stat : 19031 (plingeling) R 19022 19024 18342 0 -1 4202560 200423 1251 0 2 112154 30 0 0 25 0 2 0 731962620 1318830080 293435 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4475.19
Current children cumulated vsize (KiB) 1287920
[startup+1122.1 s]
/proc/loadavg: 8.19 8.12 7.98 8/324 19088
/proc/meminfo: memFree=13388752/32950928 swapFree=67085488/67111528
[pid=19024] ppid=19022 vsize=1287920 CPUtime=4475.39 cores=1,3,5,7
/proc/19024/stat : 19024 (plingeling) S 19022 19024 18342 0 -1 4202496 994755 1251 0 2 447385 154 0 0 21 0 2 0 731962614 1318830080 293435 33554432000 4194304 4417452 140736877881440 18446744073709551615 231907293157 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/19024/statm: 321980 293435 181 55 0 319866 0
[pid=19024/tid=19031] ppid=19022 vsize=1287920 CPUtime=1122.04 cores=1,3,5,7
/proc/19024/task/19031/stat : 19031 (plingeling) R 19022 19024 18342 0 -1 4202560 200423 1251 0 2 112174 30 0 0 25 0 2 0 731962620 1318830080 293435 33554432000 4194304 4417452 140736877881440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4475.39
Current children cumulated vsize (KiB) 1287920
Child status: 10
Real time (s): 1122.19
CPU time (s): 4475.48
CPU user time (s): 4473.89
CPU system time (s): 1.59476
CPU usage (%): 398.818
Max. virtual memory (cumulated for all children) (KiB): 1287920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4473.89
system time used= 1.59476
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 996021
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 83
involuntary context switches= 32698
runsolver used 3.15252 second user time and 8.06677 second system time
The end