runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3261064-1307633290/watcher-3261064-1307633290 -o /tmp/evaluation-result-3261064-1307633290/solver-3261064-1307633290 -C 4800 -W 1300 -M 15500 HOME/priss.sh HOME HOME/instance-3261064-1307633290.cnf 1999906410 4800 15500 4
running on 4 cores: 0,2,4,6
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: 0.61 0.13 0.04 6/182 22022
/proc/meminfo: memFree=32085440/32951124 swapFree=67056304/67111528
[pid=22022] ppid=22020 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22022/stat : 22022 (priss.sh) S 22020 22022 21841 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 953559646 8908800 252 33554432000 4194304 4922060 140734720536944 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22022/statm: 2175 252 211 178 0 68 0
[startup+0.100459 s]
/proc/loadavg: 0.61 0.13 0.04 6/182 22022
/proc/meminfo: memFree=32085440/32951124 swapFree=67056304/67111528
[pid=22022] ppid=22020 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22022/stat : 22022 (priss.sh) S 22020 22022 21841 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 953559646 8908800 252 33554432000 4194304 4922060 140734720536944 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22022/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.205406 s]
/proc/loadavg: 0.61 0.13 0.04 6/182 22022
/proc/meminfo: memFree=32085440/32951124 swapFree=67056304/67111528
[pid=22022] ppid=22020 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22022/stat : 22022 (priss.sh) S 22020 22022 21841 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 953559646 8908800 252 33554432000 4194304 4922060 140734720536944 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22022/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.305388 s]
/proc/loadavg: 0.61 0.13 0.04 6/182 22022
/proc/meminfo: memFree=32085440/32951124 swapFree=67056304/67111528
[pid=22022] ppid=22020 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22022/stat : 22022 (priss.sh) S 22020 22022 21841 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 953559646 8908800 252 33554432000 4194304 4922060 140734720536944 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22022/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.700315 s]
/proc/loadavg: 0.61 0.13 0.04 6/182 22022
/proc/meminfo: memFree=32085440/32951124 swapFree=67056304/67111528
[pid=22022] ppid=22020 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22022/stat : 22022 (priss.sh) S 22020 22022 21841 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 953559646 8908800 252 33554432000 4194304 4922060 140734720536944 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22022/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.50117 s]
/proc/loadavg: 0.61 0.13 0.04 9/188 22030
/proc/meminfo: memFree=32054128/32951124 swapFree=67056304/67111528
[pid=22022] ppid=22020 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22022/stat : 22022 (priss.sh) S 22020 22022 21841 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 953559646 8908800 252 33554432000 4194304 4922060 140734720536944 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22022/statm: 2175 252 211 178 0 68 0
[pid=22024] ppid=22022 vsize=275348 CPUtime=5.86 cores=0,2,4,6
/proc/22024/stat : 22024 (priss) S 22022 22022 21841 0 -1 4202496 11932 0 0 0 584 2 0 0 19 0 5 0 953559647 281956352 8302 33554432000 4194304 5787044 140736232404976 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/22024/statm: 68837 8302 404 389 0 64587 0
[pid=22024/tid=22027] ppid=22022 vsize=275348 CPUtime=1.48 cores=0,2,4,6
/proc/22024/task/22027/stat : 22027 (priss) R 22022 22022 21841 0 -1 4202560 2540 0 0 0 148 0 0 0 20 0 5 0 953559648 281956352 8302 33554432000 4194304 5787044 140736232404976 18446744073709551615 5591337 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=22024/tid=22028] ppid=22022 vsize=275348 CPUtime=1.48 cores=0,2,4,6
/proc/22024/task/22028/stat : 22028 (priss) R 22022 22022 21841 0 -1 4202560 2783 0 0 0 148 0 0 0 20 0 5 0 953559648 281956352 8302 33554432000 4194304 5787044 140736232404976 18446744073709551615 260020501023 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=22024/tid=22029] ppid=22022 vsize=275348 CPUtime=1.47 cores=0,2,4,6
/proc/22024/task/22029/stat : 22029 (priss) R 22022 22022 21841 0 -1 4202560 2269 0 0 0 147 0 0 0 20 0 5 0 953559648 281956352 8302 33554432000 4194304 5787044 140736232404976 18446744073709551615 260020501023 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=22024/tid=22030] ppid=22022 vsize=275348 CPUtime=1.39 cores=0,2,4,6
/proc/22024/task/22030/stat : 22030 (priss) R 22022 22022 21841 0 -1 4202560 2632 0 0 0 139 0 0 0 25 0 5 0 953559648 281956352 8302 33554432000 4194304 5787044 140736232404976 18446744073709551615 4359266 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.86
Current children cumulated vsize (KiB) 284048
[startup+3.10088 s]
/proc/loadavg: 1.21 0.26 0.08 9/188 22030
/proc/meminfo: memFree=32039496/32951124 swapFree=67056304/67111528
[pid=22022] ppid=22020 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22022/stat : 22022 (priss.sh) S 22020 22022 21841 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 953559646 8908800 252 33554432000 4194304 4922060 140734720536944 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22022/statm: 2175 252 211 178 0 68 0
[pid=22024] ppid=22022 vsize=280812 CPUtime=12.25 cores=0,2,4,6
/proc/22024/stat : 22024 (priss) S 22022 22022 21841 0 -1 4202496 13952 0 0 0 1223 2 0 0 19 0 5 0 953559647 287551488 10322 33554432000 4194304 5787044 140736232404976 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/22024/statm: 70203 10322 404 389 0 65953 0
[pid=22024/tid=22027] ppid=22022 vsize=280812 CPUtime=3.07 cores=0,2,4,6
/proc/22024/task/22027/stat : 22027 (priss) R 22022 22022 21841 0 -1 4202560 2878 0 0 0 307 0 0 0 25 0 5 0 953559648 287551488 10322 33554432000 4194304 5787044 140736232404976 18446744073709551615 5591543 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=22024/tid=22028] ppid=22022 vsize=280812 CPUtime=3.07 cores=0,2,4,6
/proc/22024/task/22028/stat : 22028 (priss) R 22022 22022 21841 0 -1 4202560 3085 0 0 0 307 0 0 0 25 0 5 0 953559648 287551488 10322 33554432000 4194304 5787044 140736232404976 18446744073709551615 5576478 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=22024/tid=22029] ppid=22022 vsize=280812 CPUtime=3.07 cores=0,2,4,6
/proc/22024/task/22029/stat : 22029 (priss) R 22022 22022 21841 0 -1 4202560 3647 0 0 0 307 0 0 0 25 0 5 0 953559648 287551488 10322 33554432000 4194304 5787044 140736232404976 18446744073709551615 5590526 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=22024/tid=22030] ppid=22022 vsize=280812 CPUtime=2.98 cores=0,2,4,6
/proc/22024/task/22030/stat : 22030 (priss) R 22022 22022 21841 0 -1 4202560 2634 0 0 0 298 0 0 0 25 0 5 0 953559648 287551488 10322 33554432000 4194304 5787044 140736232404976 18446744073709551615 4359248 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 289512
[startup+6.30029 s]
/proc/loadavg: 1.21 0.26 0.08 9/188 22030
/proc/meminfo: memFree=32027308/32951124 swapFree=67056304/67111528
[pid=22022] ppid=22020 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22022/stat : 22022 (priss.sh) S 22020 22022 21841 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 953559646 8908800 252 33554432000 4194304 4922060 140734720536944 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22022/statm: 2175 252 211 178 0 68 0
[pid=22024] ppid=22022 vsize=282728 CPUtime=25.03 cores=0,2,4,6
/proc/22024/stat : 22024 (priss) S 22022 22022 21841 0 -1 4202496 17134 0 0 0 2498 5 0 0 19 0 5 0 953559647 289513472 12526 33554432000 4194304 5787044 140736232404976 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/22024/statm: 70682 12526 417 389 0 66432 0
[pid=22024/tid=22027] ppid=22022 vsize=282728 CPUtime=6.27 cores=0,2,4,6
/proc/22024/task/22027/stat : 22027 (priss) R 22022 22022 21841 0 -1 4202560 3336 0 0 0 627 0 0 0 25 0 5 0 953559648 289513472 12526 33554432000 4194304 5787044 140736232404976 18446744073709551615 260020056773 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=22024/tid=22028] ppid=22022 vsize=282728 CPUtime=6.27 cores=0,2,4,6
/proc/22024/task/22028/stat : 22028 (priss) R 22022 22022 21841 0 -1 4202560 3534 0 0 0 626 1 0 0 25 0 5 0 953559648 289513472 12526 33554432000 4194304 5787044 140736232404976 18446744073709551615 4283475 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=22024/tid=22029] ppid=22022 vsize=282728 CPUtime=6.27 cores=0,2,4,6
/proc/22024/task/22029/stat : 22029 (priss) R 22022 22022 21841 0 -1 4202560 4189 0 0 0 626 1 0 0 25 0 5 0 953559648 289513472 12526 33554432000 4194304 5787044 140736232404976 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=22024/tid=22030] ppid=22022 vsize=282728 CPUtime=6.16 cores=0,2,4,6
/proc/22024/task/22030/stat : 22030 (priss) R 22022 22022 21841 0 -1 4202560 4367 0 0 0 616 0 0 0 25 0 5 0 953559648 289513472 12526 33554432000 4194304 5787044 140736232404976 18446744073709551615 5528398 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.03
Current children cumulated vsize (KiB) 291428
[startup+12.7011 s]
/proc/loadavg: 2.40 0.55 0.18 9/188 22159
/proc/meminfo: memFree=31938092/32951124 swapFree=67056304/67111528
[pid=22022] ppid=22020 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22022/stat : 22022 (priss.sh) S 22020 22022 21841 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 953559646 8908800 252 33554432000 4194304 4922060 140734720536944 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22022/statm: 2175 252 211 178 0 68 0
[pid=22024] ppid=22022 vsize=291396 CPUtime=50.57 cores=0,2,4,6
/proc/22024/stat : 22024 (priss) S 22022 22022 21841 0 -1 4202496 22587 0 0 0 5046 11 0 0 19 0 5 0 953559647 298389504 17978 33554432000 4194304 5787044 140736232404976 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/22024/statm: 72849 17978 417 389 0 68599 0
[pid=22024/tid=22027] ppid=22022 vsize=291396 CPUtime=12.67 cores=0,2,4,6
/proc/22024/task/22027/stat : 22027 (priss) R 22022 22022 21841 0 -1 4202560 4406 0 0 0 1266 1 0 0 25 0 5 0 953559648 298389504 17978 33554432000 4194304 5787044 140736232404976 18446744073709551615 5591337 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=22024/tid=22028] ppid=22022 vsize=291396 CPUtime=12.67 cores=0,2,4,6
/proc/22024/task/22028/stat : 22028 (priss) R 22022 22022 21841 0 -1 4202560 4683 0 0 0 1264 3 0 0 24 0 5 0 953559648 298389504 17978 33554432000 4194304 5787044 140736232404976 18446744073709551615 5576432 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=22024/tid=22029] ppid=22022 vsize=291396 CPUtime=12.67 cores=0,2,4,6
/proc/22024/task/22029/stat : 22029 (priss) R 22022 22022 21841 0 -1 4202560 5175 0 0 0 1264 3 0 0 22 0 5 0 953559648 298389504 17978 33554432000 4194304 5787044 140736232404976 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=22024/tid=22030] ppid=22022 vsize=291396 CPUtime=12.52 cores=0,2,4,6
/proc/22024/task/22030/stat : 22030 (priss) R 22022 22022 21841 0 -1 4202560 6615 0 0 0 1249 3 0 0 25 0 5 0 953559648 298389504 17978 33554432000 4194304 5787044 140736232404976 18446744073709551615 4254537 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 300096
[startup+25.5008 s]
/proc/loadavg: 3.42 0.83 0.27 9/188 22159
/proc/meminfo: memFree=31840436/32951124 swapFree=67056304/67111528
[pid=22022] ppid=22020 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22022/stat : 22022 (priss.sh) S 22020 22022 21841 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 953559646 8908800 252 33554432000 4194304 4922060 140734720536944 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22022/statm: 2175 252 211 178 0 68 0
[pid=22024] ppid=22022 vsize=306076 CPUtime=101.67 cores=0,2,4,6
/proc/22024/stat : 22024 (priss) S 22022 22022 21841 0 -1 4202496 30900 0 0 0 10143 24 0 0 19 0 5 0 953559647 313421824 26263 33554432000 4194304 5787044 140736232404976 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/22024/statm: 76519 26263 417 389 0 72269 0
[pid=22024/tid=22027] ppid=22022 vsize=306076 CPUtime=25.47 cores=0,2,4,6
/proc/22024/task/22027/stat : 22027 (priss) R 22022 22022 21841 0 -1 4202560 6075 0 0 0 2544 3 0 0 25 0 5 0 953559648 313421824 26263 33554432000 4194304 5787044 140736232404976 18446744073709551615 260020501023 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=22024/tid=22028] ppid=22022 vsize=306076 CPUtime=25.46 cores=0,2,4,6
/proc/22024/task/22028/stat : 22028 (priss) R 22022 22022 21841 0 -1 4202560 6318 0 0 0 2540 6 0 0 21 0 5 0 953559648 313421824 26263 33554432000 4194304 5787044 140736232404976 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=22024/tid=22029] ppid=22022 vsize=306076 CPUtime=25.46 cores=0,2,4,6
/proc/22024/task/22029/stat : 22029 (priss) R 22022 22022 21841 0 -1 4202560 6824 0 0 0 2539 7 0 0 25 0 5 0 953559648 313421824 26263 33554432000 4194304 5787044 140736232404976 18446744073709551615 260020501023 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=22024/tid=22030] ppid=22022 vsize=306076 CPUtime=25.23 cores=0,2,4,6
/proc/22024/task/22030/stat : 22030 (priss) R 22022 22022 21841 0 -1 4202560 9975 0 0 0 2517 6 0 0 25 0 5 0 953559648 313421824 26263 33554432000 4194304 5787044 140736232404976 18446744073709551615 5526895 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 314776
[startup+51.1011 s]
/proc/loadavg: 5.05 1.42 0.48 9/188 22160
/proc/meminfo: memFree=31763788/32951124 swapFree=67056304/67111528
[pid=22022] ppid=22020 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22022/stat : 22022 (priss.sh) S 22020 22022 21841 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 953559646 8908800 252 33554432000 4194304 4922060 140734720536944 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22022/statm: 2175 252 211 178 0 68 0
[pid=22024] ppid=22022 vsize=323988 CPUtime=203.91 cores=0,2,4,6
/proc/22024/stat : 22024 (priss) S 22022 22022 21841 0 -1 4202496 43257 0 0 0 20352 39 0 0 19 0 5 0 953559647 331763712 38469 33554432000 4194304 5787044 140736232404976 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/22024/statm: 80997 38469 417 389 0 76747 0
[pid=22024/tid=22027] ppid=22022 vsize=323988 CPUtime=51.06 cores=0,2,4,6
/proc/22024/task/22027/stat : 22027 (priss) R 22022 22022 21841 0 -1 4202560 8406 0 0 0 5100 6 0 0 25 0 5 0 953559648 331763712 38469 33554432000 4194304 5787044 140736232404976 18446744073709551615 5576432 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=22024/tid=22028] ppid=22022 vsize=323988 CPUtime=51.05 cores=0,2,4,6
/proc/22024/task/22028/stat : 22028 (priss) R 22022 22022 21841 0 -1 4202560 9667 0 0 0 5097 8 0 0 25 0 5 0 953559648 331763712 38469 33554432000 4194304 5787044 140736232404976 18446744073709551615 4220688 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=22024/tid=22029] ppid=22022 vsize=323988 CPUtime=51.05 cores=0,2,4,6
/proc/22024/task/22029/stat : 22029 (priss) R 22022 22022 21841 0 -1 4202560 9502 0 0 0 5093 12 0 0 25 0 5 0 953559648 331763712 38469 33554432000 4194304 5787044 140736232404976 18446744073709551615 5591587 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=22024/tid=22030] ppid=22022 vsize=323988 CPUtime=50.69 cores=0,2,4,6
/proc/22024/task/22030/stat : 22030 (priss) R 22022 22022 21841 0 -1 4202560 13974 0 0 0 5058 11 0 0 25 0 5 0 953559648 331763712 38469 33554432000 4194304 5787044 140736232404976 18446744073709551615 5526883 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.91
Current children cumulated vsize (KiB) 332688
[startup+102.301 s]
/proc/loadavg: 6.94 2.55 0.92 9/188 22161
/proc/meminfo: memFree=31624740/32951124 swapFree=67056304/67111528
[pid=22022] ppid=22020 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22022/stat : 22022 (priss.sh) S 22020 22022 21841 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 953559646 8908800 252 33554432000 4194304 4922060 140734720536944 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22022/statm: 2175 252 211 178 0 68 0
[pid=22024] ppid=22022 vsize=357616 CPUtime=408.41 cores=0,2,4,6
/proc/22024/stat : 22024 (priss) S 22022 22022 21841 0 -1 4202496 65794 0 0 0 40776 65 0 0 19 0 5 0 953559647 366198784 60566 33554432000 4194304 5787044 140736232404976 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/22024/statm: 89404 60566 417 389 0 85154 0
[pid=22024/tid=22027] ppid=22022 vsize=357616 CPUtime=102.26 cores=0,2,4,6
/proc/22024/task/22027/stat : 22027 (priss) R 22022 22022 21841 0 -1 4202560 13504 0 0 0 10215 11 0 0 25 0 5 0 953559648 366198784 60566 33554432000 4194304 5787044 140736232404976 18446744073709551615 260032203148 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=22024/tid=22028] ppid=22022 vsize=357616 CPUtime=102.25 cores=0,2,4,6
/proc/22024/task/22028/stat : 22028 (priss) R 22022 22022 21841 0 -1 4202560 14855 0 0 0 10210 15 0 0 25 0 5 0 953559648 366198784 60566 33554432000 4194304 5787044 140736232404976 18446744073709551615 5591190 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=22024/tid=22029] ppid=22022 vsize=357616 CPUtime=102.25 cores=0,2,4,6
/proc/22024/task/22029/stat : 22029 (priss) R 22022 22022 21841 0 -1 4202560 15522 0 0 0 10207 18 0 0 25 0 5 0 953559648 366198784 60566 33554432000 4194304 5787044 140736232404976 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=22024/tid=22030] ppid=22022 vsize=357616 CPUtime=101.61 cores=0,2,4,6
/proc/22024/task/22030/stat : 22030 (priss) R 22022 22022 21841 0 -1 4202560 20205 0 0 0 10141 20 0 0 25 0 5 0 953559648 366198784 60566 33554432000 4194304 5787044 140736232404976 18446744073709551615 5527101 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.41
Current children cumulated vsize (KiB) 366316
[startup+162.301 s]
/proc/loadavg: 7.66 3.56 1.37 9/188 22163
/proc/meminfo: memFree=31493356/32951124 swapFree=67056304/67111528
[pid=22022] ppid=22020 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22022/stat : 22022 (priss.sh) S 22020 22022 21841 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 953559646 8908800 252 33554432000 4194304 4922060 140734720536944 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22022/statm: 2175 252 211 178 0 68 0
[pid=22024] ppid=22022 vsize=448736 CPUtime=648.04 cores=0,2,4,6
/proc/22024/stat : 22024 (priss) S 22022 22022 21841 0 -1 4202496 84808 0 0 0 64714 90 0 0 19 0 5 0 953559647 459505664 79289 33554432000 4194304 5787044 140736232404976 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/22024/statm: 112184 79289 417 389 0 107934 0
[pid=22024/tid=22027] ppid=22022 vsize=448736 CPUtime=162.21 cores=0,2,4,6
/proc/22024/task/22027/stat : 22027 (priss) R 22022 22022 21841 0 -1 4202560 17915 0 0 0 16206 15 0 0 25 0 5 0 953559648 459505664 79289 33554432000 4194304 5787044 140736232404976 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=22024/tid=22028] ppid=22022 vsize=448736 CPUtime=162.24 cores=0,2,4,6
/proc/22024/task/22028/stat : 22028 (priss) R 22022 22022 21841 0 -1 4202560 19022 0 0 0 16204 20 0 0 25 0 5 0 953559648 459505664 79289 33554432000 4194304 5787044 140736232404976 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=22024/tid=22029] ppid=22022 vsize=448736 CPUtime=162.24 cores=0,2,4,6
/proc/22024/task/22029/stat : 22029 (priss) R 22022 22022 21841 0 -1 4202560 21711 0 0 0 16199 25 0 0 25 0 5 0 953559648 459505664 79289 33554432000 4194304 5787044 140736232404976 18446744073709551615 5591999 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=22024/tid=22030] ppid=22022 vsize=448736 CPUtime=161.3 cores=0,2,4,6
/proc/22024/task/22030/stat : 22030 (priss) R 22022 22022 21841 0 -1 4202560 24452 0 0 0 16102 28 0 0 25 0 5 0 953559648 459505664 79289 33554432000 4194304 5787044 140736232404976 18446744073709551615 5528380 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 648.04
Current children cumulated vsize (KiB) 457436
Solver just ended. Dumping a history of the last processes samples
[startup+166.401 s]
/proc/loadavg: 7.66 3.56 1.37 9/188 22163
/proc/meminfo: memFree=31490876/32951124 swapFree=67056304/67111528
[pid=22022] ppid=22020 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22022/stat : 22022 (priss.sh) S 22020 22022 21841 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 953559646 8908800 252 33554432000 4194304 4922060 140734720536944 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22022/statm: 2175 252 211 178 0 68 0
[pid=22024] ppid=22022 vsize=448736 CPUtime=664.42 cores=0,2,4,6
/proc/22024/stat : 22024 (priss) S 22022 22022 21841 0 -1 4202496 84813 0 0 0 66352 90 0 0 19 0 5 0 953559647 459505664 79294 33554432000 4194304 5787044 140736232404976 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/22024/statm: 112184 79294 417 389 0 107934 0
[pid=22024/tid=22027] ppid=22022 vsize=448736 CPUtime=166.28 cores=0,2,4,6
/proc/22024/task/22027/stat : 22027 (priss) R 22022 22022 21841 0 -1 4202560 17915 0 0 0 16613 15 0 0 25 0 5 0 953559648 459505664 79294 33554432000 4194304 5787044 140736232404976 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=22024/tid=22028] ppid=22022 vsize=448736 CPUtime=166.34 cores=0,2,4,6
/proc/22024/task/22028/stat : 22028 (priss) R 22022 22022 21841 0 -1 4202560 19022 0 0 0 16614 20 0 0 25 0 5 0 953559648 459505664 79294 33554432000 4194304 5787044 140736232404976 18446744073709551615 5590240 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=22024/tid=22029] ppid=22022 vsize=448736 CPUtime=166.34 cores=0,2,4,6
/proc/22024/task/22029/stat : 22029 (priss) R 22022 22022 21841 0 -1 4202560 21715 0 0 0 16609 25 0 0 25 0 5 0 953559648 459505664 79294 33554432000 4194304 5787044 140736232404976 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=22024/tid=22030] ppid=22022 vsize=448736 CPUtime=165.4 cores=0,2,4,6
/proc/22024/task/22030/stat : 22030 (priss) R 22022 22022 21841 0 -1 4202560 24453 0 0 0 16512 28 0 0 25 0 5 0 953559648 459505664 79294 33554432000 4194304 5787044 140736232404976 18446744073709551615 5527472 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 664.42
Current children cumulated vsize (KiB) 457436
[startup+172.807 s]
/proc/loadavg: 7.71 3.70 1.44 9/188 22163
/proc/meminfo: memFree=31470788/32951124 swapFree=67056304/67111528
[pid=22022] ppid=22020 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22022/stat : 22022 (priss.sh) S 22020 22022 21841 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 953559646 8908800 252 33554432000 4194304 4922060 140734720536944 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22022/statm: 2175 252 211 178 0 68 0
[pid=22024] ppid=22022 vsize=452836 CPUtime=690 cores=0,2,4,6
/proc/22024/stat : 22024 (priss) S 22022 22022 21841 0 -1 4202496 85867 0 0 0 68910 90 0 0 19 0 5 0 953559647 463704064 80348 33554432000 4194304 5787044 140736232404976 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/22024/statm: 113209 80348 417 389 0 108959 0
[pid=22024/tid=22027] ppid=22022 vsize=452836 CPUtime=172.65 cores=0,2,4,6
/proc/22024/task/22027/stat : 22027 (priss) R 22022 22022 21841 0 -1 4202560 18943 0 0 0 17250 15 0 0 25 0 5 0 953559648 463704064 80348 33554432000 4194304 5787044 140736232404976 18446744073709551615 5591019 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=22024/tid=22028] ppid=22022 vsize=452836 CPUtime=172.75 cores=0,2,4,6
/proc/22024/task/22028/stat : 22028 (priss) R 22022 22022 21841 0 -1 4202560 19023 0 0 0 17255 20 0 0 25 0 5 0 953559648 463704064 80348 33554432000 4194304 5787044 140736232404976 18446744073709551615 5592149 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=22024/tid=22029] ppid=22022 vsize=452836 CPUtime=172.74 cores=0,2,4,6
/proc/22024/task/22029/stat : 22029 (priss) R 22022 22022 21841 0 -1 4202560 21739 0 0 0 17249 25 0 0 25 0 5 0 953559648 463704064 80348 33554432000 4194304 5787044 140736232404976 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=22024/tid=22030] ppid=22022 vsize=452836 CPUtime=171.8 cores=0,2,4,6
/proc/22024/task/22030/stat : 22030 (priss) R 22022 22022 21841 0 -1 4202560 24454 0 0 0 17152 28 0 0 25 0 5 0 953559648 463704064 80348 33554432000 4194304 5787044 140736232404976 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 690
Current children cumulated vsize (KiB) 461536
[startup+179.201 s]
/proc/loadavg: 7.74 3.78 1.47 9/188 22163
/proc/meminfo: memFree=31454152/32951124 swapFree=67056304/67111528
[pid=22022] ppid=22020 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22022/stat : 22022 (priss.sh) S 22020 22022 21841 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 953559646 8908800 252 33554432000 4194304 4922060 140734720536944 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22022/statm: 2175 252 211 178 0 68 0
[pid=22024] ppid=22022 vsize=522472 CPUtime=715.54 cores=0,2,4,6
/proc/22024/stat : 22024 (priss) S 22022 22022 21841 0 -1 4202496 87744 0 0 0 71462 92 0 0 19 0 5 0 953559647 535011328 82225 33554432000 4194304 5787044 140736232404976 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/22024/statm: 130618 82225 417 389 0 126368 0
[pid=22024/tid=22027] ppid=22022 vsize=522472 CPUtime=179.02 cores=0,2,4,6
/proc/22024/task/22027/stat : 22027 (priss) R 22022 22022 21841 0 -1 4202560 18945 0 0 0 17886 16 0 0 25 0 5 0 953559648 535011328 82225 33554432000 4194304 5787044 140736232404976 18446744073709551615 5591722 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=22024/tid=22028] ppid=22022 vsize=522472 CPUtime=179.14 cores=0,2,4,6
/proc/22024/task/22028/stat : 22028 (priss) R 22022 22022 21841 0 -1 4202560 19030 0 0 0 17894 20 0 0 25 0 5 0 953559648 535011328 82225 33554432000 4194304 5787044 140736232404976 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=22024/tid=22029] ppid=22022 vsize=522472 CPUtime=179.14 cores=0,2,4,6
/proc/22024/task/22029/stat : 22029 (priss) R 22022 22022 21841 0 -1 4202560 23587 0 0 0 17887 27 0 0 25 0 5 0 953559648 535011328 82225 33554432000 4194304 5787044 140736232404976 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=22024/tid=22030] ppid=22022 vsize=522472 CPUtime=178.2 cores=0,2,4,6
/proc/22024/task/22030/stat : 22030 (priss) R 22022 22022 21841 0 -1 4202560 24474 0 0 0 17792 28 0 0 25 0 5 0 953559648 535011328 82225 33554432000 4194304 5787044 140736232404976 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 715.54
Current children cumulated vsize (KiB) 531172
[startup+180.8 s]
/proc/loadavg: 7.74 3.78 1.47 9/188 22164
/proc/meminfo: memFree=31443116/32951124 swapFree=67056304/67111528
[pid=22022] ppid=22020 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22022/stat : 22022 (priss.sh) S 22020 22022 21841 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 953559646 8908800 252 33554432000 4194304 4922060 140734720536944 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22022/statm: 2175 252 211 178 0 68 0
[pid=22024] ppid=22022 vsize=522472 CPUtime=721.93 cores=0,2,4,6
/proc/22024/stat : 22024 (priss) S 22022 22022 21841 0 -1 4202496 88038 0 0 0 72100 93 0 0 19 0 5 0 953559647 535011328 82519 33554432000 4194304 5787044 140736232404976 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/22024/statm: 130618 82519 417 389 0 126368 0
[pid=22024/tid=22027] ppid=22022 vsize=522472 CPUtime=180.61 cores=0,2,4,6
/proc/22024/task/22027/stat : 22027 (priss) R 22022 22022 21841 0 -1 4202560 18948 0 0 0 18045 16 0 0 25 0 5 0 953559648 535011328 82519 33554432000 4194304 5787044 140736232404976 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=22024/tid=22028] ppid=22022 vsize=522472 CPUtime=180.74 cores=0,2,4,6
/proc/22024/task/22028/stat : 22028 (priss) R 22022 22022 21841 0 -1 4202560 19037 0 0 0 18054 20 0 0 25 0 5 0 953559648 535011328 82519 33554432000 4194304 5787044 140736232404976 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=22024/tid=22029] ppid=22022 vsize=522472 CPUtime=180.75 cores=0,2,4,6
/proc/22024/task/22029/stat : 22029 (priss) R 22022 22022 21841 0 -1 4202560 23860 0 0 0 18047 28 0 0 25 0 5 0 953559648 535011328 82519 33554432000 4194304 5787044 140736232404976 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=22024/tid=22030] ppid=22022 vsize=522472 CPUtime=179.8 cores=0,2,4,6
/proc/22024/task/22030/stat : 22030 (priss) R 22022 22022 21841 0 -1 4202560 24485 0 0 0 17952 28 0 0 25 0 5 0 953559648 535011328 82519 33554432000 4194304 5787044 140736232404976 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 721.93
Current children cumulated vsize (KiB) 531172
[startup+182.401 s]
/proc/loadavg: 7.76 3.85 1.51 9/188 22164
/proc/meminfo: memFree=31440016/32951124 swapFree=67056304/67111528
[pid=22022] ppid=22020 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22022/stat : 22022 (priss.sh) S 22020 22022 21841 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 953559646 8908800 252 33554432000 4194304 4922060 140734720536944 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22022/statm: 2175 252 211 178 0 68 0
[pid=22024] ppid=22022 vsize=522472 CPUtime=728.32 cores=0,2,4,6
/proc/22024/stat : 22024 (priss) S 22022 22022 21841 0 -1 4202496 88312 0 0 0 72739 93 0 0 19 0 5 0 953559647 535011328 82793 33554432000 4194304 5787044 140736232404976 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/22024/statm: 130618 82793 417 389 0 126368 0
[pid=22024/tid=22027] ppid=22022 vsize=522472 CPUtime=182.21 cores=0,2,4,6
/proc/22024/task/22027/stat : 22027 (priss) R 22022 22022 21841 0 -1 4202560 18952 0 0 0 18205 16 0 0 25 0 5 0 953559648 535011328 82793 33554432000 4194304 5787044 140736232404976 18446744073709551615 5591217 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=22024/tid=22028] ppid=22022 vsize=522472 CPUtime=182.34 cores=0,2,4,6
/proc/22024/task/22028/stat : 22028 (priss) R 22022 22022 21841 0 -1 4202560 19042 0 0 0 18214 20 0 0 25 0 5 0 953559648 535011328 82793 33554432000 4194304 5787044 140736232404976 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=22024/tid=22029] ppid=22022 vsize=522472 CPUtime=182.34 cores=0,2,4,6
/proc/22024/task/22029/stat : 22029 (priss) R 22022 22022 21841 0 -1 4202560 24115 0 0 0 18206 28 0 0 25 0 5 0 953559648 535011328 82793 33554432000 4194304 5787044 140736232404976 18446744073709551615 5590753 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=22024/tid=22030] ppid=22022 vsize=522472 CPUtime=181.4 cores=0,2,4,6
/proc/22024/task/22030/stat : 22030 (priss) R 22022 22022 21841 0 -1 4202560 24495 0 0 0 18112 28 0 0 25 0 5 0 953559648 535011328 82793 33554432000 4194304 5787044 140736232404976 18446744073709551615 5528056 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 728.32
Current children cumulated vsize (KiB) 531172
[startup+183.201 s]
/proc/loadavg: 7.76 3.85 1.51 9/188 22164
/proc/meminfo: memFree=31436668/32951124 swapFree=67056304/67111528
[pid=22022] ppid=22020 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22022/stat : 22022 (priss.sh) S 22020 22022 21841 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 953559646 8908800 252 33554432000 4194304 4922060 140734720536944 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22022/statm: 2175 252 211 178 0 68 0
[pid=22024] ppid=22022 vsize=522472 CPUtime=731.52 cores=0,2,4,6
/proc/22024/stat : 22024 (priss) S 22022 22022 21841 0 -1 4202496 88454 0 0 0 73058 94 0 0 19 0 5 0 953559647 535011328 82935 33554432000 4194304 5787044 140736232404976 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/22024/statm: 130618 82935 417 389 0 126368 0
[pid=22024/tid=22027] ppid=22022 vsize=522472 CPUtime=183 cores=0,2,4,6
/proc/22024/task/22027/stat : 22027 (priss) R 22022 22022 21841 0 -1 4202560 18955 0 0 0 18284 16 0 0 25 0 5 0 953559648 535011328 82935 33554432000 4194304 5787044 140736232404976 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=22024/tid=22028] ppid=22022 vsize=522472 CPUtime=183.14 cores=0,2,4,6
/proc/22024/task/22028/stat : 22028 (priss) R 22022 22022 21841 0 -1 4202560 19044 0 0 0 18294 20 0 0 25 0 5 0 953559648 535011328 82935 33554432000 4194304 5787044 140736232404976 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=22024/tid=22029] ppid=22022 vsize=522472 CPUtime=183.14 cores=0,2,4,6
/proc/22024/task/22029/stat : 22029 (priss) R 22022 22022 21841 0 -1 4202560 24249 0 0 0 18286 28 0 0 25 0 5 0 953559648 535011328 82935 33554432000 4194304 5787044 140736232404976 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=22024/tid=22030] ppid=22022 vsize=522472 CPUtime=182.2 cores=0,2,4,6
/proc/22024/task/22030/stat : 22030 (priss) R 22022 22022 21841 0 -1 4202560 24498 0 0 0 18192 28 0 0 25 0 5 0 953559648 535011328 82935 33554432000 4194304 5787044 140736232404976 18446744073709551615 5527482 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 731.52
Current children cumulated vsize (KiB) 531172
[startup+183.601 s]
/proc/loadavg: 7.76 3.85 1.51 9/188 22164
/proc/meminfo: memFree=31436668/32951124 swapFree=67056304/67111528
[pid=22022] ppid=22020 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22022/stat : 22022 (priss.sh) S 22020 22022 21841 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 953559646 8908800 252 33554432000 4194304 4922060 140734720536944 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22022/statm: 2175 252 211 178 0 68 0
[pid=22024] ppid=22022 vsize=522472 CPUtime=733.12 cores=0,2,4,6
/proc/22024/stat : 22024 (priss) S 22022 22022 21841 0 -1 4202496 88537 0 0 0 73218 94 0 0 19 0 5 0 953559647 535011328 83018 33554432000 4194304 5787044 140736232404976 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/22024/statm: 130618 83018 431 389 0 126368 0
[pid=22024/tid=22027] ppid=22022 vsize=522472 CPUtime=183.4 cores=0,2,4,6
/proc/22024/task/22027/stat : 22027 (priss) R 22022 22022 21841 0 -1 4202560 18956 0 0 0 18324 16 0 0 25 0 5 0 953559648 535011328 83018 33554432000 4194304 5787044 140736232404976 18446744073709551615 5588182 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=22024/tid=22028] ppid=22022 vsize=522472 CPUtime=183.54 cores=0,2,4,6
/proc/22024/task/22028/stat : 22028 (priss) R 22022 22022 21841 0 -1 4202560 19046 0 0 0 18334 20 0 0 25 0 5 0 953559648 535011328 83018 33554432000 4194304 5787044 140736232404976 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=22024/tid=22029] ppid=22022 vsize=522472 CPUtime=183.54 cores=0,2,4,6
/proc/22024/task/22029/stat : 22029 (priss) R 22022 22022 21841 0 -1 4202560 24318 0 0 0 18326 28 0 0 18 0 5 0 953559648 535011328 83018 33554432000 4194304 5787044 140736232404976 18446744073709551615 260032221877 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=22024/tid=22030] ppid=22022 vsize=522472 CPUtime=182.6 cores=0,2,4,6
/proc/22024/task/22030/stat : 22030 (priss) R 22022 22022 21841 0 -1 4202560 24509 0 0 0 18232 28 0 0 25 0 5 0 953559648 535011328 83018 33554432000 4194304 5787044 140736232404976 18446744073709551615 260032221877 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 733.12
Current children cumulated vsize (KiB) 531172
Child status: 10
Real time (s): 183.663
CPU time (s): 733.322
CPU user time (s): 732.363
CPU system time (s): 0.958854
CPU usage (%): 399.275
Max. virtual memory (cumulated for all children) (KiB): 531172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 732.363
system time used= 0.958854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88920
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= 10556
involuntary context switches= 3310
runsolver used 0.291955 second user time and 0.716891 second system time
The end