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-3385939-1305582685/watcher-3385939-1305582685 -o /tmp/evaluation-result-3385939-1305582685/solver-3385939-1305582685 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3385939-1305582685.cnf -threads=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: 8.01 8.08 8.02 5/450 31013
/proc/meminfo: memFree=18349436/32950940 swapFree=67111356/67111528
[pid=31013] ppid=31011 vsize=52536 CPUtime=0.01 cores=0,2,4,6
/proc/31013/stat : 31013 (SArTagnan) R 31011 31013 30199 0 -1 4202496 1152 0 0 0 1 0 0 0 25 0 4 0 748499248 53796864 869 33554432000 4194304 4625164 140735423561392 18446744073709551615 47569614895030 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31013/statm: 13134 869 301 106 0 8637 0
[pid=31013/tid=31014] ppid=31011 vsize=52536 CPUtime=0 cores=0,2,4,6
/proc/31013/task/31014/stat : 31014 (SArTagnan) R 31011 31013 30199 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 748499249 53796864 869 33554432000 4194304 4625164 140735423561392 18446744073709551615 215988648945 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31013/tid=31015] ppid=31011 vsize=52536 CPUtime=0 cores=0,2,4,6
/proc/31013/task/31015/stat : 31015 (SArTagnan) R 31011 31013 30199 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 748499249 53796864 869 33554432000 4194304 4625164 140735423561392 18446744073709551615 47569614895026 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31013/tid=31016] ppid=31011 vsize=52536 CPUtime=0 cores=0,2,4,6
/proc/31013/task/31016/stat : 31016 (SArTagnan) R 31011 31013 30199 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 748499249 53796864 869 33554432000 4194304 4625164 140735423561392 18446744073709551615 47569614895020 0 0 4096 2 0 0 0 -1 0 0 0 0
[startup+0.162619 s]
/proc/loadavg: 8.01 8.08 8.02 5/450 31013
/proc/meminfo: memFree=18349436/32950940 swapFree=67111356/67111528
[pid=31013] ppid=31011 vsize=253760 CPUtime=0.6 cores=0,2,4,6
/proc/31013/stat : 31013 (SArTagnan) R 31011 31013 30199 0 -1 4202496 3552 0 0 0 60 0 0 0 25 0 4 0 748499248 259850240 2569 33554432000 4194304 4625164 140735423561392 18446744073709551615 4511906 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31013/statm: 63440 2569 345 106 0 58943 0
[pid=31013/tid=31014] ppid=31011 vsize=253760 CPUtime=0.14 cores=0,2,4,6
/proc/31013/task/31014/stat : 31014 (SArTagnan) R 31011 31013 30199 0 -1 4202560 534 0 0 0 14 0 0 0 25 0 4 0 748499249 259850240 2569 33554432000 4194304 4625164 140735423561392 18446744073709551615 4339787 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31013/tid=31015] ppid=31011 vsize=253760 CPUtime=0.14 cores=0,2,4,6
/proc/31013/task/31015/stat : 31015 (SArTagnan) R 31011 31013 30199 0 -1 4202560 408 0 0 0 14 0 0 0 25 0 4 0 748499249 259850240 2570 33554432000 4194304 4625164 140735423561392 18446744073709551615 215988253729 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31013/tid=31016] ppid=31011 vsize=253760 CPUtime=0.14 cores=0,2,4,6
/proc/31013/task/31016/stat : 31016 (SArTagnan) R 31011 31013 30199 0 -1 4202560 266 0 0 0 14 0 0 0 25 0 4 0 748499249 259850240 2570 33554432000 4194304 4625164 140735423561392 18446744073709551615 4334473 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 253760
[startup+0.200613 s]
/proc/loadavg: 8.01 8.08 8.02 5/450 31013
/proc/meminfo: memFree=18349436/32950940 swapFree=67111356/67111528
[pid=31013] ppid=31011 vsize=254328 CPUtime=0.75 cores=0,2,4,6
/proc/31013/stat : 31013 (SArTagnan) R 31011 31013 30199 0 -1 4202496 4072 0 0 0 75 0 0 0 25 0 4 0 748499248 260431872 2802 33554432000 4194304 4625164 140735423561392 18446744073709551615 4511747 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31013/statm: 63582 2802 345 106 0 59085 0
[pid=31013/tid=31014] ppid=31011 vsize=254328 CPUtime=0.18 cores=0,2,4,6
/proc/31013/task/31014/stat : 31014 (SArTagnan) R 31011 31013 30199 0 -1 4202560 796 0 0 0 18 0 0 0 25 0 4 0 748499249 260431872 2802 33554432000 4194304 4625164 140735423561392 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31013/tid=31015] ppid=31011 vsize=254328 CPUtime=0.18 cores=0,2,4,6
/proc/31013/task/31015/stat : 31015 (SArTagnan) R 31011 31013 30199 0 -1 4202560 456 0 0 0 18 0 0 0 25 0 4 0 748499249 260431872 2802 33554432000 4194304 4625164 140735423561392 18446744073709551615 4352414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31013/tid=31016] ppid=31011 vsize=254328 CPUtime=0.18 cores=0,2,4,6
/proc/31013/task/31016/stat : 31016 (SArTagnan) R 31011 31013 30199 0 -1 4202560 416 0 0 0 18 0 0 0 25 0 4 0 748499249 260431872 2803 33554432000 4194304 4625164 140735423561392 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 254328
[startup+0.300596 s]
/proc/loadavg: 8.01 8.08 8.02 5/450 31013
/proc/meminfo: memFree=18349436/32950940 swapFree=67111356/67111528
[pid=31013] ppid=31011 vsize=255520 CPUtime=1.14 cores=0,2,4,6
/proc/31013/stat : 31013 (SArTagnan) R 31011 31013 30199 0 -1 4202496 5182 0 0 0 114 0 0 0 25 0 4 0 748499248 261652480 3233 33554432000 4194304 4625164 140735423561392 18446744073709551615 4513127 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31013/statm: 63880 3233 345 106 0 59383 0
[pid=31013/tid=31014] ppid=31011 vsize=255520 CPUtime=0.28 cores=0,2,4,6
/proc/31013/task/31014/stat : 31014 (SArTagnan) R 31011 31013 30199 0 -1 4202560 878 0 0 0 28 0 0 0 25 0 4 0 748499249 261652480 3233 33554432000 4194304 4625164 140735423561392 18446744073709551615 4339536 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31013/tid=31015] ppid=31011 vsize=255520 CPUtime=0.28 cores=0,2,4,6
/proc/31013/task/31015/stat : 31015 (SArTagnan) R 31011 31013 30199 0 -1 4202560 761 0 0 0 28 0 0 0 25 0 4 0 748499249 261652480 3233 33554432000 4194304 4625164 140735423561392 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31013/tid=31016] ppid=31011 vsize=255520 CPUtime=0.28 cores=0,2,4,6
/proc/31013/task/31016/stat : 31016 (SArTagnan) R 31011 31013 30199 0 -1 4202560 574 0 0 0 28 0 0 0 25 0 4 0 748499249 261652480 3233 33554432000 4194304 4625164 140735423561392 18446744073709551615 4351853 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 255520
[startup+0.700527 s]
/proc/loadavg: 8.01 8.08 8.02 5/450 31013
/proc/meminfo: memFree=18349436/32950940 swapFree=67111356/67111528
[pid=31013] ppid=31011 vsize=256900 CPUtime=2.75 cores=0,2,4,6
/proc/31013/stat : 31013 (SArTagnan) R 31011 31013 30199 0 -1 4202496 8150 0 0 0 274 1 0 0 25 0 4 0 748499248 263065600 4373 33554432000 4194304 4625164 140735423561392 18446744073709551615 4512142 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31013/statm: 64225 4373 345 106 0 59728 0
[pid=31013/tid=31014] ppid=31011 vsize=256900 CPUtime=0.68 cores=0,2,4,6
/proc/31013/task/31014/stat : 31014 (SArTagnan) R 31011 31013 30199 0 -1 4202560 1493 0 0 0 68 0 0 0 25 0 4 0 748499249 263065600 4373 33554432000 4194304 4625164 140735423561392 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31013/tid=31015] ppid=31011 vsize=256900 CPUtime=0.68 cores=0,2,4,6
/proc/31013/task/31015/stat : 31015 (SArTagnan) R 31011 31013 30199 0 -1 4202560 1406 0 0 0 68 0 0 0 25 0 4 0 748499249 263065600 4373 33554432000 4194304 4625164 140735423561392 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31013/tid=31016] ppid=31011 vsize=256900 CPUtime=0.68 cores=0,2,4,6
/proc/31013/task/31016/stat : 31016 (SArTagnan) R 31011 31013 30199 0 -1 4202560 2231 0 0 0 68 0 0 0 25 0 4 0 748499249 263065600 4373 33554432000 4194304 4625164 140735423561392 18446744073709551615 216004576283 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 256900
[startup+1.50039 s]
/proc/loadavg: 8.01 8.08 8.02 9/454 31017
/proc/meminfo: memFree=18325728/32950940 swapFree=67111356/67111528
[pid=31013] ppid=31011 vsize=258708 CPUtime=5.93 cores=0,2,4,6
/proc/31013/stat : 31013 (SArTagnan) R 31011 31013 30199 0 -1 4202496 12472 0 0 0 591 2 0 0 25 0 4 0 748499248 264916992 6045 33554432000 4194304 4625164 140735423561392 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31013/statm: 64677 6045 345 106 0 60180 0
[pid=31013/tid=31014] ppid=31011 vsize=258708 CPUtime=1.46 cores=0,2,4,6
/proc/31013/task/31014/stat : 31014 (SArTagnan) R 31011 31013 30199 0 -1 4202560 2253 0 0 0 146 0 0 0 25 0 4 0 748499249 264916992 6045 33554432000 4194304 4625164 140735423561392 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31013/tid=31015] ppid=31011 vsize=258708 CPUtime=1.47 cores=0,2,4,6
/proc/31013/task/31015/stat : 31015 (SArTagnan) R 31011 31013 30199 0 -1 4202560 2495 0 0 0 147 0 0 0 25 0 4 0 748499249 264916992 6046 33554432000 4194304 4625164 140735423561392 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31013/tid=31016] ppid=31011 vsize=258708 CPUtime=1.48 cores=0,2,4,6
/proc/31013/task/31016/stat : 31016 (SArTagnan) R 31011 31013 30199 0 -1 4202560 3813 0 0 0 148 0 0 0 25 0 4 0 748499249 264916992 6046 33554432000 4194304 4625164 140735423561392 18446744073709551615 215988253729 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 258708
[startup+3.10111 s]
/proc/loadavg: 8.09 8.09 8.02 9/454 31017
/proc/meminfo: memFree=18317544/32950940 swapFree=67111356/67111528
[pid=31013] ppid=31011 vsize=264476 CPUtime=12.32 cores=0,2,4,6
/proc/31013/stat : 31013 (SArTagnan) R 31011 31013 30199 0 -1 4202496 18962 0 0 0 1229 3 0 0 25 0 4 0 748499248 270823424 8609 33554432000 4194304 4625164 140735423561392 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31013/statm: 66119 8610 347 106 0 61622 0
[pid=31013/tid=31014] ppid=31011 vsize=264476 CPUtime=3.04 cores=0,2,4,6
/proc/31013/task/31014/stat : 31014 (SArTagnan) R 31011 31013 30199 0 -1 4202560 3257 0 0 0 304 0 0 0 25 0 4 0 748499249 270823424 8610 33554432000 4194304 4625164 140735423561392 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31013/tid=31015] ppid=31011 vsize=264476 CPUtime=3.07 cores=0,2,4,6
/proc/31013/task/31015/stat : 31015 (SArTagnan) R 31011 31013 30199 0 -1 4202560 3889 0 0 0 307 0 0 0 25 0 4 0 748499249 270823424 8611 33554432000 4194304 4625164 140735423561392 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31013/tid=31016] ppid=31011 vsize=264476 CPUtime=3.08 cores=0,2,4,6
/proc/31013/task/31016/stat : 31016 (SArTagnan) R 31011 31013 30199 0 -1 4202560 7708 0 0 0 307 1 0 0 25 0 4 0 748499249 270823424 8611 33554432000 4194304 4625164 140735423561392 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 264476
[startup+6.30055 s]
/proc/loadavg: 8.09 8.09 8.02 9/454 31017
/proc/meminfo: memFree=18288024/32950940 swapFree=67111356/67111528
[pid=31013] ppid=31011 vsize=269928 CPUtime=25.07 cores=0,2,4,6
/proc/31013/stat : 31013 (SArTagnan) R 31011 31013 30199 0 -1 4202496 43119 0 0 0 2500 7 0 0 25 0 4 0 748499248 276406272 12311 33554432000 4194304 4625164 140735423561392 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31013/statm: 67482 12311 347 106 0 62985 0
[pid=31013/tid=31014] ppid=31011 vsize=269928 CPUtime=6.2 cores=0,2,4,6
/proc/31013/task/31014/stat : 31014 (SArTagnan) R 31011 31013 30199 0 -1 4202560 4990 0 0 0 619 1 0 0 25 0 4 0 748499249 276406272 12311 33554432000 4194304 4625164 140735423561392 18446744073709551615 4351839 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31013/tid=31015] ppid=31011 vsize=269928 CPUtime=6.28 cores=0,2,4,6
/proc/31013/task/31015/stat : 31015 (SArTagnan) R 31011 31013 30199 0 -1 4202560 5953 0 0 0 626 2 0 0 25 0 4 0 748499249 276406272 12311 33554432000 4194304 4625164 140735423561392 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31013/tid=31016] ppid=31011 vsize=269928 CPUtime=6.28 cores=0,2,4,6
/proc/31013/task/31016/stat : 31016 (SArTagnan) R 31011 31013 30199 0 -1 4202560 27029 0 0 0 625 3 0 0 25 0 4 0 748499249 276406272 12311 33554432000 4194304 4625164 140735423561392 18446744073709551615 4335146 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 269928
[startup+12.7004 s]
/proc/loadavg: 8.07 8.09 8.02 9/454 31017
/proc/meminfo: memFree=18261128/32950940 swapFree=67111356/67111528
[pid=31013] ppid=31011 vsize=283208 CPUtime=50.57 cores=0,2,4,6
/proc/31013/stat : 31013 (SArTagnan) R 31011 31013 30199 0 -1 4202496 76379 0 0 0 5044 13 0 0 25 0 4 0 748499248 290004992 18389 33554432000 4194304 4625164 140735423561392 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31013/statm: 70802 18389 347 106 0 66305 0
[pid=31013/tid=31014] ppid=31011 vsize=283208 CPUtime=12.49 cores=0,2,4,6
/proc/31013/task/31014/stat : 31014 (SArTagnan) R 31011 31013 30199 0 -1 4202560 7967 0 0 0 1248 1 0 0 25 0 4 0 748499249 290004992 18389 33554432000 4194304 4625164 140735423561392 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31013/tid=31015] ppid=31011 vsize=283208 CPUtime=12.67 cores=0,2,4,6
/proc/31013/task/31015/stat : 31015 (SArTagnan) R 31011 31013 30199 0 -1 4202560 9002 0 0 0 1265 2 0 0 25 0 4 0 748499249 290004992 18389 33554432000 4194304 4625164 140735423561392 18446744073709551615 4352536 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31013/tid=31016] ppid=31011 vsize=283208 CPUtime=12.68 cores=0,2,4,6
/proc/31013/task/31016/stat : 31016 (SArTagnan) R 31011 31013 30199 0 -1 4202560 53501 0 0 0 1261 7 0 0 25 0 4 0 748499249 290004992 18389 33554432000 4194304 4625164 140735423561392 18446744073709551615 4579343 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 283208
[startup+25.5012 s]
/proc/loadavg: 8.06 8.09 8.02 9/454 31018
/proc/meminfo: memFree=18193556/32950940 swapFree=67111356/67111528
[pid=31013] ppid=31011 vsize=297628 CPUtime=101.57 cores=0,2,4,6
/proc/31013/stat : 31013 (SArTagnan) R 31011 31013 30199 0 -1 4202496 141569 0 0 0 10133 24 0 0 25 0 4 0 748499248 304771072 26570 33554432000 4194304 4625164 140735423561392 18446744073709551615 4519319 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31013/statm: 74407 26570 347 106 0 69910 0
[pid=31013/tid=31014] ppid=31011 vsize=297628 CPUtime=25.11 cores=0,2,4,6
/proc/31013/task/31014/stat : 31014 (SArTagnan) R 31011 31013 30199 0 -1 4202560 15335 0 0 0 2508 3 0 0 25 0 4 0 748499249 304771072 26570 33554432000 4194304 4625164 140735423561392 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31013/tid=31015] ppid=31011 vsize=297628 CPUtime=25.47 cores=0,2,4,6
/proc/31013/task/31015/stat : 31015 (SArTagnan) R 31011 31013 30199 0 -1 4202560 12644 0 0 0 2544 3 0 0 25 0 4 0 748499249 304771072 26570 33554432000 4194304 4625164 140735423561392 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31013/tid=31016] ppid=31011 vsize=297628 CPUtime=25.48 cores=0,2,4,6
/proc/31013/task/31016/stat : 31016 (SArTagnan) R 31011 31013 30199 0 -1 4202560 105012 0 0 0 2533 15 0 0 25 0 4 0 748499249 304771072 26570 33554432000 4194304 4625164 140735423561392 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.57
Current children cumulated vsize (KiB) 297628
[startup+51.1007 s]
/proc/loadavg: 8.04 8.08 8.02 9/454 31018
/proc/meminfo: memFree=18062708/32950940 swapFree=67111356/67111528
[pid=31013] ppid=31011 vsize=337964 CPUtime=203.6 cores=0,2,4,6
/proc/31013/stat : 31013 (SArTagnan) R 31011 31013 30199 0 -1 4202496 188492 0 0 0 20328 32 0 0 25 0 4 0 748499248 346075136 48125 33554432000 4194304 4625164 140735423561392 18446744073709551615 4512017 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31013/statm: 84491 48125 591 106 0 79994 0
[pid=31013/tid=31014] ppid=31011 vsize=337964 CPUtime=50.34 cores=0,2,4,6
/proc/31013/task/31014/stat : 31014 (SArTagnan) R 31011 31013 30199 0 -1 4202560 16977 0 0 0 5031 3 0 0 25 0 4 0 748499249 346075136 48125 33554432000 4194304 4625164 140735423561392 18446744073709551615 4465186 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31013/tid=31015] ppid=31011 vsize=337964 CPUtime=51.06 cores=0,2,4,6
/proc/31013/task/31015/stat : 31015 (SArTagnan) R 31011 31013 30199 0 -1 4202560 19262 0 0 0 5101 5 0 0 25 0 4 0 748499249 346075136 48125 33554432000 4194304 4625164 140735423561392 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31013/tid=31016] ppid=31011 vsize=337964 CPUtime=51.08 cores=0,2,4,6
/proc/31013/task/31016/stat : 31016 (SArTagnan) R 31011 31013 30199 0 -1 4202560 125047 0 0 0 5090 18 0 0 25 0 4 0 748499249 346075136 48125 33554432000 4194304 4625164 140735423561392 18446744073709551615 4288861 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.6
Current children cumulated vsize (KiB) 337964
[startup+102.301 s]
/proc/loadavg: 8.13 8.11 8.03 9/454 31020
/proc/meminfo: memFree=17861540/32950940 swapFree=67111356/67111528
[pid=31013] ppid=31011 vsize=403848 CPUtime=407.69 cores=0,2,4,6
/proc/31013/stat : 31013 (SArTagnan) R 31011 31013 30199 0 -1 4202496 417365 0 0 0 40699 70 0 0 25 0 4 0 748499248 413540352 73521 33554432000 4194304 4625164 140735423561392 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31013/statm: 100962 73521 399 106 0 96465 0
[pid=31013/tid=31014] ppid=31011 vsize=403848 CPUtime=100.8 cores=0,2,4,6
/proc/31013/task/31014/stat : 31014 (SArTagnan) R 31011 31013 30199 0 -1 4202560 26366 0 0 0 10075 5 0 0 25 0 4 0 748499249 413540352 73521 33554432000 4194304 4625164 140735423561392 18446744073709551615 4351786 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31013/tid=31015] ppid=31011 vsize=403848 CPUtime=102.26 cores=0,2,4,6
/proc/31013/task/31015/stat : 31015 (SArTagnan) R 31011 31013 30199 0 -1 4202560 27309 0 0 0 10218 8 0 0 25 0 4 0 748499249 413540352 73521 33554432000 4194304 4625164 140735423561392 18446744073709551615 4355296 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31013/tid=31016] ppid=31011 vsize=403848 CPUtime=102.29 cores=0,2,4,6
/proc/31013/task/31016/stat : 31016 (SArTagnan) R 31011 31013 30199 0 -1 4202560 302638 0 0 0 10184 45 0 0 25 0 4 0 748499249 413540352 73521 33554432000 4194304 4625164 140735423561392 18446744073709551615 4334485 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.69
Current children cumulated vsize (KiB) 403848
[startup+162.3 s]
/proc/loadavg: 8.12 8.11 8.04 9/454 31021
/proc/meminfo: memFree=17639412/32950940 swapFree=67111356/67111528
[pid=31013] ppid=31011 vsize=609556 CPUtime=646.74 cores=0,2,4,6
/proc/31013/stat : 31013 (SArTagnan) R 31011 31013 30199 0 -1 4202496 776222 0 0 0 64549 125 0 0 25 0 4 0 748499248 624185344 94404 33554432000 4194304 4625164 140735423561392 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31013/statm: 152389 94430 625 106 0 147892 0
[pid=31013/tid=31014] ppid=31011 vsize=609556 CPUtime=159.92 cores=0,2,4,6
/proc/31013/task/31014/stat : 31014 (SArTagnan) R 31011 31013 30199 0 -1 4202560 36565 0 0 0 15984 8 0 0 25 0 4 0 748499249 624185344 94442 33554432000 4194304 4625164 140735423561392 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31013/tid=31015] ppid=31011 vsize=609556 CPUtime=162.22 cores=0,2,4,6
/proc/31013/task/31015/stat : 31015 (SArTagnan) R 31011 31013 30199 0 -1 4202560 27958 0 0 0 16214 8 0 0 25 0 4 0 748499249 624185344 94455 33554432000 4194304 4625164 140735423561392 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31013/tid=31016] ppid=31011 vsize=609556 CPUtime=162.28 cores=0,2,4,6
/proc/31013/task/31016/stat : 31016 (SArTagnan) R 31011 31013 30199 0 -1 4202560 623760 0 0 0 16136 92 0 0 25 0 4 0 748499249 624185344 94467 33554432000 4194304 4625164 140735423561392 18446744073709551615 215988289923 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 646.74
Current children cumulated vsize (KiB) 609556
[startup+222.318 s]
/proc/loadavg: 8.08 8.10 8.04 9/454 31023
/proc/meminfo: memFree=17472852/32950940 swapFree=67111356/67111528
[pid=31013] ppid=31011 vsize=637176 CPUtime=885.92 cores=0,2,4,6
/proc/31013/stat : 31013 (SArTagnan) R 31011 31013 30199 0 -1 4202496 1357441 0 0 0 88380 212 0 0 25 0 4 0 748499248 652468224 106569 33554432000 4194304 4625164 140735423561392 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31013/statm: 159294 106569 618 106 0 154797 0
[pid=31013/tid=31014] ppid=31011 vsize=637176 CPUtime=219.06 cores=0,2,4,6
/proc/31013/task/31014/stat : 31014 (SArTagnan) R 31011 31013 30199 0 -1 4202560 37853 0 0 0 21897 9 0 0 25 0 4 0 748499249 652468224 106569 33554432000 4194304 4625164 140735423561392 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31013/tid=31015] ppid=31011 vsize=637176 CPUtime=222.23 cores=0,2,4,6
/proc/31013/task/31015/stat : 31015 (SArTagnan) R 31011 31013 30199 0 -1 4202560 35740 0 0 0 22214 9 0 0 25 0 4 0 748499249 652468224 106569 33554432000 4194304 4625164 140735423561392 18446744073709551615 4352098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31013/tid=31016] ppid=31011 vsize=637176 CPUtime=222.29 cores=0,2,4,6
/proc/31013/task/31016/stat : 31016 (SArTagnan) R 31011 31013 30199 0 -1 4202560 1183009 0 0 0 22054 175 0 0 25 0 4 0 748499249 652468224 106569 33554432000 4194304 4625164 140735423561392 18446744073709551615 4579601 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 885.92
Current children cumulated vsize (KiB) 637176
[startup+282.3 s]
/proc/loadavg: 8.06 8.10 8.03 9/454 31025
/proc/meminfo: memFree=17167804/32950940 swapFree=67111356/67111528
[pid=31013] ppid=31011 vsize=834844 CPUtime=1124.97 cores=0,2,4,6
/proc/31013/stat : 31013 (SArTagnan) R 31011 31013 30199 0 -1 4202496 1725959 0 0 0 112228 269 0 0 25 0 4 0 748499248 854880256 152187 33554432000 4194304 4625164 140735423561392 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31013/statm: 208711 152187 522 106 0 204214 0
[pid=31013/tid=31014] ppid=31011 vsize=834844 CPUtime=278.18 cores=0,2,4,6
/proc/31013/task/31014/stat : 31014 (SArTagnan) R 31011 31013 30199 0 -1 4202560 53646 0 0 0 27807 11 0 0 25 0 4 0 748499249 854880256 152187 33554432000 4194304 4625164 140735423561392 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31013/tid=31015] ppid=31011 vsize=834844 CPUtime=282.21 cores=0,2,4,6
/proc/31013/task/31015/stat : 31015 (SArTagnan) R 31011 31013 30199 0 -1 4202560 36339 0 0 0 28211 10 0 0 25 0 4 0 748499249 854880256 152187 33554432000 4194304 4625164 140735423561392 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31013/tid=31016] ppid=31011 vsize=834844 CPUtime=282.28 cores=0,2,4,6
/proc/31013/task/31016/stat : 31016 (SArTagnan) R 31011 31013 30199 0 -1 4202560 1443220 0 0 0 28014 214 0 0 25 0 4 0 748499249 854880256 152187 33554432000 4194304 4625164 140735423561392 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1124.97
Current children cumulated vsize (KiB) 834844
Solver just ended. Dumping a history of the last processes samples
[startup+307.201 s]
/proc/loadavg: 8.15 8.12 8.04 9/454 31025
/proc/meminfo: memFree=17084220/32950940 swapFree=67111356/67111528
[pid=31013] ppid=31011 vsize=882808 CPUtime=1224.2 cores=0,2,4,6
/proc/31013/stat : 31013 (SArTagnan) R 31011 31013 30199 0 -1 4202496 1746468 0 0 0 122148 272 0 0 25 0 4 0 748499248 903995392 161739 33554432000 4194304 4625164 140735423561392 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31013/statm: 220702 161739 452 106 0 216205 0
[pid=31013/tid=31014] ppid=31011 vsize=882808 CPUtime=302.71 cores=0,2,4,6
/proc/31013/task/31014/stat : 31014 (SArTagnan) R 31011 31013 30199 0 -1 4202560 54522 0 0 0 30260 11 0 0 25 0 4 0 748499249 903995392 161739 33554432000 4194304 4625164 140735423561392 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31013/tid=31015] ppid=31011 vsize=882808 CPUtime=307.1 cores=0,2,4,6
/proc/31013/task/31015/stat : 31015 (SArTagnan) R 31011 31013 30199 0 -1 4202560 36478 0 0 0 30700 10 0 0 25 0 4 0 748499249 903995392 161739 33554432000 4194304 4625164 140735423561392 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31013/tid=31016] ppid=31011 vsize=882808 CPUtime=307.18 cores=0,2,4,6
/proc/31013/task/31016/stat : 31016 (SArTagnan) R 31011 31013 30199 0 -1 4202560 1447982 0 0 0 30504 214 0 0 25 0 4 0 748499249 903995392 161739 33554432000 4194304 4625164 140735423561392 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1224.2
Current children cumulated vsize (KiB) 882808
[startup+320.001 s]
/proc/loadavg: 8.13 8.11 8.04 9/454 31026
/proc/meminfo: memFree=17048756/32950940 swapFree=67111356/67111528
[pid=31013] ppid=31011 vsize=882808 CPUtime=1275.22 cores=0,2,4,6
/proc/31013/stat : 31013 (SArTagnan) R 31011 31013 30199 0 -1 4202496 1826996 0 0 0 127238 284 0 0 25 0 4 0 748499248 903995392 165309 33554432000 4194304 4625164 140735423561392 18446744073709551615 4512315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31013/statm: 220702 165310 392 106 0 216205 0
[pid=31013/tid=31014] ppid=31011 vsize=882808 CPUtime=315.33 cores=0,2,4,6
/proc/31013/task/31014/stat : 31014 (SArTagnan) R 31011 31013 30199 0 -1 4202560 55015 0 0 0 31522 11 0 0 25 0 4 0 748499249 903995392 165310 33554432000 4194304 4625164 140735423561392 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31013/tid=31015] ppid=31011 vsize=882808 CPUtime=319.9 cores=0,2,4,6
/proc/31013/task/31015/stat : 31015 (SArTagnan) R 31011 31013 30199 0 -1 4202560 36649 0 0 0 31980 10 0 0 25 0 4 0 748499249 903995392 165310 33554432000 4194304 4625164 140735423561392 18446744073709551615 215988253381 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31013/tid=31016] ppid=31011 vsize=882808 CPUtime=319.98 cores=0,2,4,6
/proc/31013/task/31016/stat : 31016 (SArTagnan) R 31011 31013 30199 0 -1 4202560 1526082 0 0 0 31772 226 0 0 25 0 4 0 748499249 903995392 165311 33554432000 4194304 4625164 140735423561392 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1275.22
Current children cumulated vsize (KiB) 882808
[startup+332.8 s]
/proc/loadavg: 8.10 8.11 8.04 9/454 31026
/proc/meminfo: memFree=17015388/32950940 swapFree=67111356/67111528
[pid=31013] ppid=31011 vsize=887956 CPUtime=1326.22 cores=0,2,4,6
/proc/31013/stat : 31013 (SArTagnan) R 31011 31013 30199 0 -1 4202496 1940465 0 0 0 132321 301 0 0 25 0 4 0 748499248 909266944 168435 33554432000 4194304 4625164 140735423561392 18446744073709551615 4519334 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31013/statm: 221989 168435 391 106 0 217492 0
[pid=31013/tid=31014] ppid=31011 vsize=887956 CPUtime=327.94 cores=0,2,4,6
/proc/31013/task/31014/stat : 31014 (SArTagnan) R 31011 31013 30199 0 -1 4202560 55221 0 0 0 32783 11 0 0 25 0 4 0 748499249 909266944 168435 33554432000 4194304 4625164 140735423561392 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31013/tid=31015] ppid=31011 vsize=887956 CPUtime=332.69 cores=0,2,4,6
/proc/31013/task/31015/stat : 31015 (SArTagnan) R 31011 31013 30199 0 -1 4202560 38149 0 0 0 33259 10 0 0 25 0 4 0 748499249 909266944 168435 33554432000 4194304 4625164 140735423561392 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31013/tid=31016] ppid=31011 vsize=887956 CPUtime=332.78 cores=0,2,4,6
/proc/31013/task/31016/stat : 31016 (SArTagnan) R 31011 31013 30199 0 -1 4202560 1637072 0 0 0 33036 242 0 0 25 0 4 0 748499249 909266944 168435 33554432000 4194304 4625164 140735423561392 18446744073709551615 4352112 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1326.22
Current children cumulated vsize (KiB) 887956
[startup+336.001 s]
/proc/loadavg: 8.10 8.11 8.04 9/454 31026
/proc/meminfo: memFree=17003484/32950940 swapFree=67111356/67111528
[pid=31013] ppid=31011 vsize=889012 CPUtime=1338.97 cores=0,2,4,6
/proc/31013/stat : 31013 (SArTagnan) R 31011 31013 30199 0 -1 4202496 1969854 0 0 0 133592 305 0 0 25 0 4 0 748499248 910348288 168460 33554432000 4194304 4625164 140735423561392 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31013/statm: 222253 168460 391 106 0 217756 0
[pid=31013/tid=31014] ppid=31011 vsize=889012 CPUtime=331.09 cores=0,2,4,6
/proc/31013/task/31014/stat : 31014 (SArTagnan) R 31011 31013 30199 0 -1 4202560 55343 0 0 0 33098 11 0 0 25 0 4 0 748499249 910348288 168460 33554432000 4194304 4625164 140735423561392 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31013/tid=31015] ppid=31011 vsize=889012 CPUtime=335.89 cores=0,2,4,6
/proc/31013/task/31015/stat : 31015 (SArTagnan) R 31011 31013 30199 0 -1 4202560 38529 0 0 0 33579 10 0 0 25 0 4 0 748499249 910348288 168460 33554432000 4194304 4625164 140735423561392 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31013/tid=31016] ppid=31011 vsize=889012 CPUtime=335.98 cores=0,2,4,6
/proc/31013/task/31016/stat : 31016 (SArTagnan) R 31011 31013 30199 0 -1 4202560 1665673 0 0 0 33352 246 0 0 25 0 4 0 748499249 910348288 168460 33554432000 4194304 4625164 140735423561392 18446744073709551615 4579607 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1338.97
Current children cumulated vsize (KiB) 889012
[startup+337.601 s]
/proc/loadavg: 8.09 8.11 8.04 9/454 31026
/proc/meminfo: memFree=17001748/32950940 swapFree=67111356/67111528
[pid=31013] ppid=31011 vsize=889408 CPUtime=1345.36 cores=0,2,4,6
/proc/31013/stat : 31013 (SArTagnan) R 31011 31013 30199 0 -1 4202496 1988413 0 0 0 134228 308 0 0 25 0 4 0 748499248 910753792 169724 33554432000 4194304 4625164 140735423561392 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31013/statm: 222352 169724 392 106 0 217855 0
[pid=31013/tid=31014] ppid=31011 vsize=889408 CPUtime=332.68 cores=0,2,4,6
/proc/31013/task/31014/stat : 31014 (SArTagnan) R 31011 31013 30199 0 -1 4202560 55348 0 0 0 33257 11 0 0 25 0 4 0 748499249 910753792 169724 33554432000 4194304 4625164 140735423561392 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31013/tid=31015] ppid=31011 vsize=889408 CPUtime=337.49 cores=0,2,4,6
/proc/31013/task/31015/stat : 31015 (SArTagnan) R 31011 31013 30199 0 -1 4202560 38628 0 0 0 33739 10 0 0 25 0 4 0 748499249 910753792 169724 33554432000 4194304 4625164 140735423561392 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31013/tid=31016] ppid=31011 vsize=889408 CPUtime=337.58 cores=0,2,4,6
/proc/31013/task/31016/stat : 31016 (SArTagnan) R 31011 31013 30199 0 -1 4202560 1684065 0 0 0 33509 249 0 0 25 0 4 0 748499249 910753792 169724 33554432000 4194304 4625164 140735423561392 18446744073709551615 4334513 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1345.36
Current children cumulated vsize (KiB) 889408
[startup+339.2 s]
/proc/loadavg: 8.09 8.11 8.04 9/454 31026
/proc/meminfo: memFree=17001496/32950940 swapFree=67111356/67111528
[pid=31013] ppid=31011 vsize=889408 CPUtime=1351.73 cores=0,2,4,6
/proc/31013/stat : 31013 (SArTagnan) R 31011 31013 30199 0 -1 4202496 2006028 0 0 0 134863 310 0 0 25 0 4 0 748499248 910753792 169608 33554432000 4194304 4625164 140735423561392 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31013/statm: 222352 169608 391 106 0 217855 0
[pid=31013/tid=31014] ppid=31011 vsize=889408 CPUtime=334.25 cores=0,2,4,6
/proc/31013/task/31014/stat : 31014 (SArTagnan) R 31011 31013 30199 0 -1 4202560 55351 0 0 0 33414 11 0 0 25 0 4 0 748499249 910753792 169608 33554432000 4194304 4625164 140735423561392 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31013/tid=31015] ppid=31011 vsize=889408 CPUtime=339.09 cores=0,2,4,6
/proc/31013/task/31015/stat : 31015 (SArTagnan) R 31011 31013 30199 0 -1 4202560 38628 0 0 0 33899 10 0 0 25 0 4 0 748499249 910753792 169608 33554432000 4194304 4625164 140735423561392 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31013/tid=31016] ppid=31011 vsize=889408 CPUtime=339.18 cores=0,2,4,6
/proc/31013/task/31016/stat : 31016 (SArTagnan) R 31011 31013 30199 0 -1 4202560 1701570 0 0 0 33668 250 0 0 25 0 4 0 748499249 910753792 169608 33554432000 4194304 4625164 140735423561392 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1351.73
Current children cumulated vsize (KiB) 889408
[startup+339.6 s]
/proc/loadavg: 8.09 8.11 8.04 9/454 31026
/proc/meminfo: memFree=17001496/32950940 swapFree=67111356/67111528
[pid=31013] ppid=31011 vsize=889408 CPUtime=1353.32 cores=0,2,4,6
/proc/31013/stat : 31013 (SArTagnan) R 31011 31013 30199 0 -1 4202496 2009465 0 0 0 135022 310 0 0 25 0 4 0 748499248 910753792 169396 33554432000 4194304 4625164 140735423561392 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31013/statm: 222352 169396 391 106 0 217855 0
[pid=31013/tid=31014] ppid=31011 vsize=889408 CPUtime=334.65 cores=0,2,4,6
/proc/31013/task/31014/stat : 31014 (SArTagnan) R 31011 31013 30199 0 -1 4202560 55351 0 0 0 33454 11 0 0 25 0 4 0 748499249 910753792 169396 33554432000 4194304 4625164 140735423561392 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31013/tid=31015] ppid=31011 vsize=889408 CPUtime=339.49 cores=0,2,4,6
/proc/31013/task/31015/stat : 31015 (SArTagnan) R 31011 31013 30199 0 -1 4202560 38630 0 0 0 33939 10 0 0 25 0 4 0 748499249 910753792 169396 33554432000 4194304 4625164 140735423561392 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31013/tid=31016] ppid=31011 vsize=889408 CPUtime=339.58 cores=0,2,4,6
/proc/31013/task/31016/stat : 31016 (SArTagnan) R 31011 31013 30199 0 -1 4202560 1705004 0 0 0 33707 251 0 0 25 0 4 0 748499249 910753792 169396 33554432000 4194304 4625164 140735423561392 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1353.32
Current children cumulated vsize (KiB) 889408
[startup+339.8 s]
/proc/loadavg: 8.09 8.11 8.04 9/454 31026
/proc/meminfo: memFree=17001496/32950940 swapFree=67111356/67111528
[pid=31013] ppid=31011 vsize=889408 CPUtime=1354.12 cores=0,2,4,6
/proc/31013/stat : 31013 (SArTagnan) R 31011 31013 30199 0 -1 4202496 2011332 0 0 0 135101 311 0 0 25 0 4 0 748499248 910753792 169596 33554432000 4194304 4625164 140735423561392 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31013/statm: 222352 169596 391 106 0 217855 0
[pid=31013/tid=31014] ppid=31011 vsize=889408 CPUtime=334.85 cores=0,2,4,6
/proc/31013/task/31014/stat : 31014 (SArTagnan) R 31011 31013 30199 0 -1 4202560 55351 0 0 0 33474 11 0 0 25 0 4 0 748499249 910753792 169596 33554432000 4194304 4625164 140735423561392 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31013/tid=31015] ppid=31011 vsize=889408 CPUtime=339.69 cores=0,2,4,6
/proc/31013/task/31015/stat : 31015 (SArTagnan) R 31011 31013 30199 0 -1 4202560 38630 0 0 0 33959 10 0 0 25 0 4 0 748499249 910753792 169596 33554432000 4194304 4625164 140735423561392 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31013/tid=31016] ppid=31011 vsize=889408 CPUtime=339.78 cores=0,2,4,6
/proc/31013/task/31016/stat : 31016 (SArTagnan) R 31011 31013 30199 0 -1 4202560 1706865 0 0 0 33726 252 0 0 25 0 4 0 748499249 910753792 169596 33554432000 4194304 4625164 140735423561392 18446744073709551615 4334485 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1354.12
Current children cumulated vsize (KiB) 889408
Child status: 10
Real time (s): 339.835
CPU time (s): 1354.17
CPU user time (s): 1351.03
CPU system time (s): 3.14252
CPU usage (%): 398.48
Max. virtual memory (cumulated for all children) (KiB): 961652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1351.03
system time used= 3.14252
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2011414
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= 552
involuntary context switches= 9242
runsolver used 1.37079 second user time and 3.58945 second system time
The end