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-3386012-1305578208/watcher-3386012-1305578208 -o /tmp/evaluation-result-3386012-1305578208/solver-3386012-1305578208 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386012-1305578208.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: 9.48 9.98 10.15 4/366 27965
/proc/meminfo: memFree=14881516/32951132 swapFree=67093824/67111528
[pid=27965] ppid=27962 vsize=53436 CPUtime=0.01 cores=0,2,4,6
/proc/27965/stat : 27965 (SArTagnan) R 27962 27965 27834 0 -1 4202496 1330 0 0 0 1 0 0 0 25 0 4 0 669420473 54718464 965 33554432000 4194304 4625164 140737446591984 18446744073709551615 47055692466098 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27965/statm: 13359 965 301 106 0 8862 0
[pid=27965/tid=27969] ppid=27962 vsize=53436 CPUtime=0 cores=0,2,4,6
/proc/27965/task/27969/stat : 27969 (SArTagnan) R 27962 27965 27834 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 669420475 54718464 965 33554432000 4194304 4625164 140737446591984 18446744073709551615 274664864753 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27965/tid=27970] ppid=27962 vsize=53436 CPUtime=0 cores=0,2,4,6
/proc/27965/task/27970/stat : 27970 (SArTagnan) R 27962 27965 27834 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 669420475 54718464 965 33554432000 4194304 4625164 140737446591984 18446744073709551615 274664864753 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27965/tid=27971] ppid=27962 vsize=53436 CPUtime=0 cores=0,2,4,6
/proc/27965/task/27971/stat : 27971 (SArTagnan) R 27962 27965 27834 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 669420475 54718464 965 33554432000 4194304 4625164 140737446591984 18446744073709551615 274664864753 0 0 4096 2 0 0 0 -1 2 0 0 0
[startup+0.126829 s]
/proc/loadavg: 9.48 9.98 10.15 4/366 27965
/proc/meminfo: memFree=14881516/32951132 swapFree=67093824/67111528
[pid=27965] ppid=27962 vsize=187112 CPUtime=0.33 cores=0,2,4,6
/proc/27965/stat : 27965 (SArTagnan) R 27962 27965 27834 0 -1 4202496 3840 0 0 0 33 0 0 0 25 0 4 0 669420473 191602688 2847 33554432000 4194304 4625164 140737446591984 18446744073709551615 4361099 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27965/statm: 46778 2847 333 106 0 42281 0
[pid=27965/tid=27969] ppid=27962 vsize=187112 CPUtime=0.08 cores=0,2,4,6
/proc/27965/task/27969/stat : 27969 (SArTagnan) R 27962 27965 27834 0 -1 4202560 376 0 0 0 8 0 0 0 25 0 4 0 669420475 191602688 2847 33554432000 4194304 4625164 140737446591984 18446744073709551615 4352240 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27965/tid=27970] ppid=27962 vsize=187112 CPUtime=0.1 cores=0,2,4,6
/proc/27965/task/27970/stat : 27970 (SArTagnan) R 27962 27965 27834 0 -1 4202560 376 0 0 0 10 0 0 0 25 0 4 0 669420475 191602688 2847 33554432000 4194304 4625164 140737446591984 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27965/tid=27971] ppid=27962 vsize=187112 CPUtime=0.11 cores=0,2,4,6
/proc/27965/task/27971/stat : 27971 (SArTagnan) R 27962 27965 27834 0 -1 4202560 243 0 0 0 11 0 0 0 25 0 4 0 669420475 191602688 2847 33554432000 4194304 4625164 140737446591984 18446744073709551615 4352005 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 187112
[startup+0.200817 s]
/proc/loadavg: 9.48 9.98 10.15 4/366 27965
/proc/meminfo: memFree=14881516/32951132 swapFree=67093824/67111528
[pid=27965] ppid=27962 vsize=188276 CPUtime=0.55 cores=0,2,4,6
/proc/27965/stat : 27965 (SArTagnan) R 27962 27965 27834 0 -1 4202496 4405 0 0 0 55 0 0 0 25 0 4 0 669420473 192794624 3412 33554432000 4194304 4625164 140737446591984 18446744073709551615 274664505440 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27965/statm: 47069 3412 334 106 0 42572 0
[pid=27965/tid=27969] ppid=27962 vsize=188276 CPUtime=0.15 cores=0,2,4,6
/proc/27965/task/27969/stat : 27969 (SArTagnan) R 27962 27965 27834 0 -1 4202560 527 0 0 0 15 0 0 0 25 0 4 0 669420475 192794624 3412 33554432000 4194304 4625164 140737446591984 18446744073709551615 4351844 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27965/tid=27970] ppid=27962 vsize=188276 CPUtime=0.17 cores=0,2,4,6
/proc/27965/task/27970/stat : 27970 (SArTagnan) R 27962 27965 27834 0 -1 4202560 680 0 0 0 17 0 0 0 18 0 4 0 669420475 192794624 3412 33554432000 4194304 4625164 140737446591984 18446744073709551615 4339639 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27965/tid=27971] ppid=27962 vsize=188276 CPUtime=0.18 cores=0,2,4,6
/proc/27965/task/27971/stat : 27971 (SArTagnan) R 27962 27965 27834 0 -1 4202560 314 0 0 0 18 0 0 0 25 0 4 0 669420475 192794624 3412 33554432000 4194304 4625164 140737446591984 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 188276
[startup+0.3008 s]
/proc/loadavg: 9.48 9.98 10.15 4/366 27965
/proc/meminfo: memFree=14881516/32951132 swapFree=67093824/67111528
[pid=27965] ppid=27962 vsize=188660 CPUtime=0.85 cores=0,2,4,6
/proc/27965/stat : 27965 (SArTagnan) R 27962 27965 27834 0 -1 4202496 4665 0 0 0 85 0 0 0 25 0 4 0 669420473 193187840 3672 33554432000 4194304 4625164 140737446591984 18446744073709551615 274664505440 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27965/statm: 47165 3672 334 106 0 42668 0
[pid=27965/tid=27969] ppid=27962 vsize=188660 CPUtime=0.25 cores=0,2,4,6
/proc/27965/task/27969/stat : 27969 (SArTagnan) R 27962 27965 27834 0 -1 4202560 568 0 0 0 25 0 0 0 25 0 4 0 669420475 193187840 3672 33554432000 4194304 4625164 140737446591984 18446744073709551615 4351804 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27965/tid=27970] ppid=27962 vsize=188660 CPUtime=0.27 cores=0,2,4,6
/proc/27965/task/27970/stat : 27970 (SArTagnan) R 27962 27965 27834 0 -1 4202560 827 0 0 0 27 0 0 0 18 0 4 0 669420475 193187840 3672 33554432000 4194304 4625164 140737446591984 18446744073709551615 4352035 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27965/tid=27971] ppid=27962 vsize=188660 CPUtime=0.28 cores=0,2,4,6
/proc/27965/task/27971/stat : 27971 (SArTagnan) R 27962 27965 27834 0 -1 4202560 386 0 0 0 28 0 0 0 25 0 4 0 669420475 193187840 3672 33554432000 4194304 4625164 140737446591984 18446744073709551615 4339541 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 188660
[startup+0.70073 s]
/proc/loadavg: 9.48 9.98 10.15 4/366 27965
/proc/meminfo: memFree=14881516/32951132 swapFree=67093824/67111528
[pid=27965] ppid=27962 vsize=193820 CPUtime=2.05 cores=0,2,4,6
/proc/27965/stat : 27965 (SArTagnan) R 27962 27965 27834 0 -1 4202496 6640 0 0 0 205 0 0 0 25 0 4 0 669420473 198471680 4885 33554432000 4194304 4625164 140737446591984 18446744073709551615 274664505440 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27965/statm: 48455 4885 333 106 0 43958 0
[pid=27965/tid=27969] ppid=27962 vsize=193820 CPUtime=0.65 cores=0,2,4,6
/proc/27965/task/27969/stat : 27969 (SArTagnan) R 27962 27965 27834 0 -1 4202560 1378 0 0 0 65 0 0 0 25 0 4 0 669420475 198471680 4885 33554432000 4194304 4625164 140737446591984 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27965/tid=27970] ppid=27962 vsize=193820 CPUtime=0.67 cores=0,2,4,6
/proc/27965/task/27970/stat : 27970 (SArTagnan) R 27962 27965 27834 0 -1 4202560 1599 0 0 0 67 0 0 0 18 0 4 0 669420475 198471680 4885 33554432000 4194304 4625164 140737446591984 18446744073709551615 4317237 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27965/tid=27971] ppid=27962 vsize=193820 CPUtime=0.68 cores=0,2,4,6
/proc/27965/task/27971/stat : 27971 (SArTagnan) R 27962 27965 27834 0 -1 4202560 779 0 0 0 68 0 0 0 25 0 4 0 669420475 198471680 4885 33554432000 4194304 4625164 140737446591984 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 193820
[startup+1.50059 s]
/proc/loadavg: 9.48 9.98 10.15 12/377 27976
/proc/meminfo: memFree=14833344/32951132 swapFree=67093824/67111528
[pid=27965] ppid=27962 vsize=198208 CPUtime=4.43 cores=0,2,4,6
/proc/27965/stat : 27965 (SArTagnan) R 27962 27965 27834 0 -1 4202496 11010 0 0 0 442 1 0 0 25 0 4 0 669420473 202964992 6816 33554432000 4194304 4625164 140737446591984 18446744073709551615 274664505813 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27965/statm: 49552 6816 333 106 0 45055 0
[pid=27965/tid=27969] ppid=27962 vsize=198208 CPUtime=1.44 cores=0,2,4,6
/proc/27965/task/27969/stat : 27969 (SArTagnan) R 27962 27965 27834 0 -1 4202560 2410 0 0 0 144 0 0 0 25 0 4 0 669420475 202964992 6816 33554432000 4194304 4625164 140737446591984 18446744073709551615 4375299 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27965/tid=27970] ppid=27962 vsize=198208 CPUtime=1.47 cores=0,2,4,6
/proc/27965/task/27970/stat : 27970 (SArTagnan) R 27962 27965 27834 0 -1 4202560 2374 0 0 0 147 0 0 0 18 0 4 0 669420475 202964992 6816 33554432000 4194304 4625164 140737446591984 18446744073709551615 4351989 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27965/tid=27971] ppid=27962 vsize=198208 CPUtime=1.46 cores=0,2,4,6
/proc/27965/task/27971/stat : 27971 (SArTagnan) R 27962 27965 27834 0 -1 4202560 3111 0 0 0 146 0 0 0 25 0 4 0 669420475 202964992 6816 33554432000 4194304 4625164 140737446591984 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.43
Current children cumulated vsize (KiB) 198208
[startup+3.44451 s]
/proc/loadavg: 9.48 9.98 10.15 11/377 27976
/proc/meminfo: memFree=14810276/32951132 swapFree=67093824/67111528
[pid=27965] ppid=27962 vsize=205464 CPUtime=9.74 cores=0,2,4,6
/proc/27965/stat : 27965 (SArTagnan) R 27962 27965 27834 0 -1 4202496 16553 0 0 0 971 3 0 0 25 0 4 0 669420473 210395136 9382 33554432000 4194304 4625164 140737446591984 18446744073709551615 4512092 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27965/statm: 51366 9382 351 106 0 46869 0
[pid=27965/tid=27969] ppid=27962 vsize=205464 CPUtime=3.38 cores=0,2,4,6
/proc/27965/task/27969/stat : 27969 (SArTagnan) R 27962 27965 27834 0 -1 4202560 3478 0 0 0 338 0 0 0 25 0 4 0 669420475 210395136 9382 33554432000 4194304 4625164 140737446591984 18446744073709551615 4352014 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27965/tid=27970] ppid=27962 vsize=205464 CPUtime=2.82 cores=0,2,4,6
/proc/27965/task/27970/stat : 27970 (SArTagnan) R 27962 27965 27834 0 -1 4202560 2624 0 0 0 282 0 0 0 20 0 4 0 669420475 210395136 9382 33554432000 4194304 4625164 140737446591984 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27965/tid=27971] ppid=27962 vsize=205464 CPUtime=2.9 cores=0,2,4,6
/proc/27965/task/27971/stat : 27971 (SArTagnan) R 27962 27965 27834 0 -1 4202560 5337 0 0 0 290 0 0 0 25 0 4 0 669420475 210395136 9382 33554432000 4194304 4625164 140737446591984 18446744073709551615 4352007 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 9.74
Current children cumulated vsize (KiB) 205464
[startup+6.30076 s]
/proc/loadavg: 9.52 9.98 10.15 11/377 27976
/proc/meminfo: memFree=14785772/32951132 swapFree=67093824/67111528
[pid=27965] ppid=27962 vsize=211280 CPUtime=18.31 cores=0,2,4,6
/proc/27965/stat : 27965 (SArTagnan) R 27962 27965 27834 0 -1 4202496 19917 0 0 0 1828 3 0 0 25 0 4 0 669420473 216350720 11177 33554432000 4194304 4625164 140737446591984 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27965/statm: 52820 11177 349 106 0 48323 0
[pid=27965/tid=27969] ppid=27962 vsize=211280 CPUtime=6.23 cores=0,2,4,6
/proc/27965/task/27969/stat : 27969 (SArTagnan) R 27962 27965 27834 0 -1 4202560 5102 0 0 0 623 0 0 0 25 0 4 0 669420475 216350720 11177 33554432000 4194304 4625164 140737446591984 18446744073709551615 4462380 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27965/tid=27970] ppid=27962 vsize=211280 CPUtime=5.69 cores=0,2,4,6
/proc/27965/task/27970/stat : 27970 (SArTagnan) R 27962 27965 27834 0 -1 4202560 3589 0 0 0 568 1 0 0 25 0 4 0 669420475 216350720 11177 33554432000 4194304 4625164 140737446591984 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27965/tid=27971] ppid=27962 vsize=211280 CPUtime=4.34 cores=0,2,4,6
/proc/27965/task/27971/stat : 27971 (SArTagnan) R 27962 27965 27834 0 -1 4202560 5490 0 0 0 434 0 0 0 25 0 4 0 669420475 216350720 11177 33554432000 4194304 4625164 140737446591984 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 18.31
Current children cumulated vsize (KiB) 211280
[startup+12.7136 s]
/proc/loadavg: 9.64 10.00 10.15 11/377 27976
/proc/meminfo: memFree=14729980/32951132 swapFree=67093824/67111528
[pid=27965] ppid=27962 vsize=237644 CPUtime=37.53 cores=0,2,4,6
/proc/27965/stat : 27965 (SArTagnan) R 27962 27965 27834 0 -1 4202496 43307 0 0 0 3745 8 0 0 25 0 4 0 669420473 243347456 18883 33554432000 4194304 4625164 140737446591984 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27965/statm: 59411 18883 389 106 0 54914 0
[pid=27965/tid=27969] ppid=27962 vsize=237644 CPUtime=12.64 cores=0,2,4,6
/proc/27965/task/27969/stat : 27969 (SArTagnan) R 27962 27965 27834 0 -1 4202560 8048 0 0 0 1263 1 0 0 25 0 4 0 669420475 243347456 18883 33554432000 4194304 4625164 140737446591984 18446744073709551615 4351975 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27965/tid=27970] ppid=27962 vsize=237644 CPUtime=10.83 cores=0,2,4,6
/proc/27965/task/27970/stat : 27970 (SArTagnan) R 27962 27965 27834 0 -1 4202560 7654 0 0 0 1081 2 0 0 25 0 4 0 669420475 243347456 18883 33554432000 4194304 4625164 140737446591984 18446744073709551615 4467259 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27965/tid=27971] ppid=27962 vsize=237644 CPUtime=8.72 cores=0,2,4,6
/proc/27965/task/27971/stat : 27971 (SArTagnan) R 27962 27965 27834 0 -1 4202560 17745 0 0 0 870 2 0 0 25 0 4 0 669420475 243347456 18883 33554432000 4194304 4625164 140737446591984 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 37.53
Current children cumulated vsize (KiB) 237644
[startup+25.5004 s]
/proc/loadavg: 9.79 10.01 10.15 11/377 27977
/proc/meminfo: memFree=14672584/32951132 swapFree=67093824/67111528
[pid=27965] ppid=27962 vsize=311932 CPUtime=75.88 cores=0,2,4,6
/proc/27965/stat : 27965 (SArTagnan) R 27962 27965 27834 0 -1 4202496 81459 0 0 0 7574 14 0 0 25 0 4 0 669420473 319418368 24722 33554432000 4194304 4625164 140737446591984 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27965/statm: 77983 24722 394 106 0 73486 0
[pid=27965/tid=27969] ppid=27962 vsize=311932 CPUtime=21.49 cores=0,2,4,6
/proc/27965/task/27969/stat : 27969 (SArTagnan) R 27962 27965 27834 0 -1 4202560 11802 0 0 0 2148 1 0 0 25 0 4 0 669420475 319418368 24722 33554432000 4194304 4625164 140737446591984 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27965/tid=27970] ppid=27962 vsize=311932 CPUtime=21.11 cores=0,2,4,6
/proc/27965/task/27970/stat : 27970 (SArTagnan) R 27962 27965 27834 0 -1 4202560 11833 0 0 0 2108 3 0 0 25 0 4 0 669420475 319418368 24722 33554432000 4194304 4625164 140737446591984 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27965/tid=27971] ppid=27962 vsize=311932 CPUtime=15.32 cores=0,2,4,6
/proc/27965/task/27971/stat : 27971 (SArTagnan) R 27962 27965 27834 0 -1 4202560 47350 0 0 0 1526 6 0 0 25 0 4 0 669420475 319418368 24722 33554432000 4194304 4625164 140737446591984 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 75.88
Current children cumulated vsize (KiB) 311932
[startup+51.101 s]
/proc/loadavg: 9.86 10.01 10.15 11/377 27977
/proc/meminfo: memFree=14549424/32951132 swapFree=67093824/67111528
[pid=27965] ppid=27962 vsize=321068 CPUtime=152.7 cores=0,2,4,6
/proc/27965/stat : 27965 (SArTagnan) R 27962 27965 27834 0 -1 4202496 106085 0 0 0 15250 20 0 0 25 0 4 0 669420473 328773632 35075 33554432000 4194304 4625164 140737446591984 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27965/statm: 80267 35075 391 106 0 75770 0
[pid=27965/tid=27969] ppid=27962 vsize=321068 CPUtime=40.94 cores=0,2,4,6
/proc/27965/task/27969/stat : 27969 (SArTagnan) R 27962 27965 27834 0 -1 4202560 18639 0 0 0 4090 4 0 0 25 0 4 0 669420475 328773632 35075 33554432000 4194304 4625164 140737446591984 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27965/tid=27970] ppid=27962 vsize=321068 CPUtime=33.91 cores=0,2,4,6
/proc/27965/task/27970/stat : 27970 (SArTagnan) R 27962 27965 27834 0 -1 4202560 17494 0 0 0 3387 4 0 0 25 0 4 0 669420475 328773632 35075 33554432000 4194304 4625164 140737446591984 18446744073709551615 4352843 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27965/tid=27971] ppid=27962 vsize=321068 CPUtime=38.4 cores=0,2,4,6
/proc/27965/task/27971/stat : 27971 (SArTagnan) R 27962 27965 27834 0 -1 4202560 54706 0 0 0 3832 8 0 0 25 0 4 0 669420475 328773632 35075 33554432000 4194304 4625164 140737446591984 18446744073709551615 274680792091 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 152.7
Current children cumulated vsize (KiB) 321068
[startup+102.301 s]
/proc/loadavg: 10.03 10.04 10.15 11/377 27979
/proc/meminfo: memFree=14384988/32951132 swapFree=67093824/67111528
[pid=27965] ppid=27962 vsize=399688 CPUtime=306.26 cores=0,2,4,6
/proc/27965/stat : 27965 (SArTagnan) R 27962 27965 27834 0 -1 4202496 155501 0 0 0 30598 28 0 0 25 0 4 0 669420473 409280512 56467 33554432000 4194304 4625164 140737446591984 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27965/statm: 99922 56467 368 106 0 95425 0
[pid=27965/tid=27969] ppid=27962 vsize=399688 CPUtime=89.56 cores=0,2,4,6
/proc/27965/task/27969/stat : 27969 (SArTagnan) R 27962 27965 27834 0 -1 4202560 35280 0 0 0 8949 7 0 0 25 0 4 0 669420475 409280512 56467 33554432000 4194304 4625164 140737446591984 18446744073709551615 4351839 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27965/tid=27970] ppid=27962 vsize=399688 CPUtime=59.4 cores=0,2,4,6
/proc/27965/task/27970/stat : 27970 (SArTagnan) R 27962 27965 27834 0 -1 4202560 19247 0 0 0 5935 5 0 0 25 0 4 0 669420475 409280512 56467 33554432000 4194304 4625164 140737446591984 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27965/tid=27971] ppid=27962 vsize=399688 CPUtime=89.58 cores=0,2,4,6
/proc/27965/task/27971/stat : 27971 (SArTagnan) R 27962 27965 27834 0 -1 4202560 64054 0 0 0 8949 9 0 0 25 0 4 0 669420475 409280512 56467 33554432000 4194304 4625164 140737446591984 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 306.26
Current children cumulated vsize (KiB) 399688
[startup+162.314 s]
################
# More data... #
################
/proc/27965/task/27971/stat : 27971 (SArTagnan) R 27962 27965 27834 0 -1 4202560 566208 0 0 0 36074 81 0 0 25 0 4 0 669420475 721649664 124556 33554432000 4194304 4625164 140737446591984 18446744073709551615 4562168 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1399.16
Current children cumulated vsize (KiB) 704736
[startup+522.3 s]
/proc/loadavg: 10.07 10.07 10.12 11/377 27990
/proc/meminfo: memFree=13637376/32951132 swapFree=67093824/67111528
[pid=27965] ppid=27962 vsize=804440 CPUtime=1605.82 cores=0,2,4,6
/proc/27965/stat : 27965 (SArTagnan) R 27962 27965 27834 0 -1 4202496 1361562 0 0 0 160370 212 0 0 25 0 4 0 669420473 823746560 132250 33554432000 4194304 4625164 140737446591984 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27965/statm: 201110 132250 366 106 0 196613 0
[pid=27965/tid=27969] ppid=27962 vsize=804440 CPUtime=347.94 cores=0,2,4,6
/proc/27965/task/27969/stat : 27969 (SArTagnan) R 27962 27965 27834 0 -1 4202560 81384 0 0 0 34773 21 0 0 25 0 4 0 669420475 823746560 132250 33554432000 4194304 4625164 140737446591984 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27965/tid=27970] ppid=27962 vsize=804440 CPUtime=385.13 cores=0,2,4,6
/proc/27965/task/27970/stat : 27970 (SArTagnan) R 27962 27965 27834 0 -1 4202560 41230 0 0 0 38501 12 0 0 25 0 4 0 669420475 823746560 132250 33554432000 4194304 4625164 140737446591984 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27965/tid=27971] ppid=27962 vsize=804440 CPUtime=418.36 cores=0,2,4,6
/proc/27965/task/27971/stat : 27971 (SArTagnan) R 27962 27965 27834 0 -1 4202560 1105915 0 0 0 41678 158 0 0 25 0 4 0 669420475 823746560 132250 33554432000 4194304 4625164 140737446591984 18446744073709551615 274664505783 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1605.82
Current children cumulated vsize (KiB) 804440
[startup+582.301 s]
/proc/loadavg: 10.16 10.09 10.12 11/377 27991
/proc/meminfo: memFree=13561608/32951132 swapFree=67093824/67111528
[pid=27965] ppid=27962 vsize=831188 CPUtime=1798.39 cores=0,2,4,6
/proc/27965/stat : 27965 (SArTagnan) R 27962 27965 27834 0 -1 4202496 1844143 0 0 0 179554 285 0 0 25 0 4 0 669420473 851136512 141926 33554432000 4194304 4625164 140737446591984 18446744073709551615 4511874 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27965/statm: 207797 141926 346 106 0 203300 0
[pid=27965/tid=27969] ppid=27962 vsize=831188 CPUtime=384.33 cores=0,2,4,6
/proc/27965/task/27969/stat : 27969 (SArTagnan) R 27962 27965 27834 0 -1 4202560 82983 0 0 0 38411 22 0 0 25 0 4 0 669420475 851136512 141926 33554432000 4194304 4625164 140737446591984 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27965/tid=27970] ppid=27962 vsize=831188 CPUtime=445.13 cores=0,2,4,6
/proc/27965/task/27970/stat : 27970 (SArTagnan) R 27962 27965 27834 0 -1 4202560 43488 0 0 0 44500 13 0 0 25 0 4 0 669420475 851136512 141927 33554432000 4194304 4625164 140737446591984 18446744073709551615 274664469189 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27965/tid=27971] ppid=27962 vsize=831188 CPUtime=463.23 cores=0,2,4,6
/proc/27965/task/27971/stat : 27971 (SArTagnan) R 27962 27965 27834 0 -1 4202560 1572860 0 0 0 46097 226 0 0 25 0 4 0 669420475 851136512 141927 33554432000 4194304 4625164 140737446591984 18446744073709551615 4552315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1798.39
Current children cumulated vsize (KiB) 831188
[startup+642.301 s]
/proc/loadavg: 10.22 10.11 10.12 11/377 27993
/proc/meminfo: memFree=13477892/32951132 swapFree=67093824/67111528
[pid=27965] ppid=27962 vsize=899496 CPUtime=1978.19 cores=0,2,4,6
/proc/27965/stat : 27965 (SArTagnan) R 27962 27965 27834 0 -1 4202496 2167492 0 0 0 197489 330 0 0 25 0 4 0 669420473 921083904 154592 33554432000 4194304 4625164 140737446591984 18446744073709551615 4512880 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27965/statm: 224874 154592 346 106 0 220377 0
[pid=27965/tid=27969] ppid=27962 vsize=899496 CPUtime=416.24 cores=0,2,4,6
/proc/27965/task/27969/stat : 27969 (SArTagnan) R 27962 27965 27834 0 -1 4202560 84764 0 0 0 41600 24 0 0 25 0 4 0 669420475 921083904 154592 33554432000 4194304 4625164 140737446591984 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27965/tid=27970] ppid=27962 vsize=899496 CPUtime=505.11 cores=0,2,4,6
/proc/27965/task/27970/stat : 27970 (SArTagnan) R 27962 27965 27834 0 -1 4202560 44707 0 0 0 50498 13 0 0 25 0 4 0 669420475 921083904 154592 33554432000 4194304 4625164 140737446591984 18446744073709551615 4339541 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27965/tid=27971] ppid=27962 vsize=899496 CPUtime=492.82 cores=0,2,4,6
/proc/27965/task/27971/stat : 27971 (SArTagnan) R 27962 27965 27834 0 -1 4202560 1879581 0 0 0 49016 266 0 0 25 0 4 0 669420475 921083904 154592 33554432000 4194304 4625164 140737446591984 18446744073709551615 4335165 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1978.19
Current children cumulated vsize (KiB) 899496
[startup+702.3 s]
/proc/loadavg: 10.27 10.14 10.12 11/377 27995
/proc/meminfo: memFree=13404608/32951132 swapFree=67093824/67111528
[pid=27965] ppid=27962 vsize=900816 CPUtime=2157.48 cores=0,2,4,6
/proc/27965/stat : 27965 (SArTagnan) R 27962 27965 27834 0 -1 4202496 2494998 0 0 0 215374 374 0 0 25 0 4 0 669420473 922435584 162388 33554432000 4194304 4625164 140737446591984 18446744073709551615 4519319 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27965/statm: 225204 162388 346 106 0 220707 0
[pid=27965/tid=27969] ppid=27962 vsize=900816 CPUtime=474.11 cores=0,2,4,6
/proc/27965/task/27969/stat : 27969 (SArTagnan) R 27962 27965 27834 0 -1 4202560 86527 0 0 0 47386 25 0 0 25 0 4 0 669420475 922435584 162388 33554432000 4194304 4625164 140737446591984 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27965/tid=27970] ppid=27962 vsize=900816 CPUtime=565.11 cores=0,2,4,6
/proc/27965/task/27970/stat : 27970 (SArTagnan) R 27962 27965 27834 0 -1 4202560 45588 0 0 0 56498 13 0 0 25 0 4 0 669420475 922435584 162388 33554432000 4194304 4625164 140737446591984 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27965/tid=27971] ppid=27962 vsize=900816 CPUtime=522.82 cores=0,2,4,6
/proc/27965/task/27971/stat : 27971 (SArTagnan) R 27962 27965 27834 0 -1 4202560 2196416 0 0 0 51975 307 0 0 25 0 4 0 669420475 922435584 162388 33554432000 4194304 4625164 140737446591984 18446744073709551615 4547483 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2157.48
Current children cumulated vsize (KiB) 900816
Solver just ended. Dumping a history of the last processes samples
[startup+717.301 s]
/proc/loadavg: 10.21 10.13 10.12 11/377 27995
/proc/meminfo: memFree=13342732/32951132 swapFree=67093824/67111528
[pid=27965] ppid=27962 vsize=940896 CPUtime=2202.27 cores=0,2,4,6
/proc/27965/stat : 27965 (SArTagnan) R 27962 27965 27834 0 -1 4202496 2584979 0 0 0 219841 386 0 0 25 0 4 0 669420473 963477504 170142 33554432000 4194304 4625164 140737446591984 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27965/statm: 235224 170142 422 106 0 230727 0
[pid=27965/tid=27969] ppid=27962 vsize=940896 CPUtime=488.92 cores=0,2,4,6
/proc/27965/task/27969/stat : 27969 (SArTagnan) R 27962 27965 27834 0 -1 4202560 87263 0 0 0 48867 25 0 0 25 0 4 0 669420475 963477504 170142 33554432000 4194304 4625164 140737446591984 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27965/tid=27970] ppid=27962 vsize=940896 CPUtime=580.1 cores=0,2,4,6
/proc/27965/task/27970/stat : 27970 (SArTagnan) R 27962 27965 27834 0 -1 4202560 45667 0 0 0 57997 13 0 0 25 0 4 0 669420475 963477504 170142 33554432000 4194304 4625164 140737446591984 18446744073709551615 4351878 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27965/tid=27971] ppid=27962 vsize=940896 CPUtime=530.32 cores=0,2,4,6
/proc/27965/task/27971/stat : 27971 (SArTagnan) R 27962 27965 27834 0 -1 4202560 2285030 0 0 0 52713 319 0 0 25 0 4 0 669420475 963477504 170142 33554432000 4194304 4625164 140737446591984 18446744073709551615 4547348 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2202.27
Current children cumulated vsize (KiB) 940896
[startup+730.1 s]
/proc/loadavg: 10.23 10.14 10.12 11/377 27995
/proc/meminfo: memFree=13298216/32951132 swapFree=67093824/67111528
[pid=27965] ppid=27962 vsize=1096584 CPUtime=2240.51 cores=0,2,4,6
/proc/27965/stat : 27965 (SArTagnan) R 27962 27965 27834 0 -1 4202496 2733795 0 0 0 223645 406 0 0 25 0 4 0 669420473 1122902016 180551 33554432000 4194304 4625164 140737446591984 18446744073709551615 4511866 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27965/statm: 274146 180551 423 106 0 269649 0
[pid=27965/tid=27969] ppid=27962 vsize=1096584 CPUtime=501.57 cores=0,2,4,6
/proc/27965/task/27969/stat : 27969 (SArTagnan) R 27962 27965 27834 0 -1 4202560 88033 0 0 0 50132 25 0 0 25 0 4 0 669420475 1122902016 180551 33554432000 4194304 4625164 140737446591984 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27965/tid=27970] ppid=27962 vsize=1096584 CPUtime=589.22 cores=0,2,4,6
/proc/27965/task/27970/stat : 27970 (SArTagnan) R 27962 27965 27834 0 -1 4202560 58849 0 0 0 58907 15 0 0 25 0 4 0 669420475 1122902016 180551 33554432000 4194304 4625164 140737446591984 18446744073709551615 4351918 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27965/tid=27971] ppid=27962 vsize=1096584 CPUtime=539.97 cores=0,2,4,6
/proc/27965/task/27971/stat : 27971 (SArTagnan) R 27962 27965 27834 0 -1 4202560 2380876 0 0 0 53664 333 0 0 25 0 4 0 669420475 1122902016 180551 33554432000 4194304 4625164 140737446591984 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2240.51
Current children cumulated vsize (KiB) 1096584
[startup+733.301 s]
/proc/loadavg: 10.23 10.14 10.12 11/377 27995
/proc/meminfo: memFree=13296232/32951132 swapFree=67093824/67111528
[pid=27965] ppid=27962 vsize=1096584 CPUtime=2250.06 cores=0,2,4,6
/proc/27965/stat : 27965 (SArTagnan) R 27962 27965 27834 0 -1 4202496 2763846 0 0 0 224596 410 0 0 25 0 4 0 669420473 1122902016 181131 33554432000 4194304 4625164 140737446591984 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27965/statm: 274146 181131 422 106 0 269649 0
[pid=27965/tid=27969] ppid=27962 vsize=1096584 CPUtime=504.73 cores=0,2,4,6
/proc/27965/task/27969/stat : 27969 (SArTagnan) R 27962 27965 27834 0 -1 4202560 88051 0 0 0 50448 25 0 0 25 0 4 0 669420475 1122902016 181131 33554432000 4194304 4625164 140737446591984 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27965/tid=27970] ppid=27962 vsize=1096584 CPUtime=590.82 cores=0,2,4,6
/proc/27965/task/27970/stat : 27970 (SArTagnan) R 27962 27965 27834 0 -1 4202560 58927 0 0 0 59067 15 0 0 25 0 4 0 669420475 1122902016 181131 33554432000 4194304 4625164 140737446591984 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27965/tid=27971] ppid=27962 vsize=1096584 CPUtime=543.16 cores=0,2,4,6
/proc/27965/task/27971/stat : 27971 (SArTagnan) R 27962 27965 27834 0 -1 4202560 2410779 0 0 0 53979 337 0 0 25 0 4 0 669420475 1122902016 181131 33554432000 4194304 4625164 140737446591984 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2250.06
Current children cumulated vsize (KiB) 1096584
[startup+736.514 s]
/proc/loadavg: 10.30 10.15 10.13 11/377 27996
/proc/meminfo: memFree=13278128/32951132 swapFree=67093824/67111528
[pid=27965] ppid=27962 vsize=1096584 CPUtime=2259.67 cores=0,2,4,6
/proc/27965/stat : 27965 (SArTagnan) R 27962 27965 27834 0 -1 4202496 2794706 0 0 0 225552 415 0 0 25 0 4 0 669420473 1122902016 181495 33554432000 4194304 4625164 140737446591984 18446744073709551615 4512854 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27965/statm: 274146 181495 427 106 0 269649 0
[pid=27965/tid=27969] ppid=27962 vsize=1096584 CPUtime=507.9 cores=0,2,4,6
/proc/27965/task/27969/stat : 27969 (SArTagnan) R 27962 27965 27834 0 -1 4202560 88101 0 0 0 50765 25 0 0 25 0 4 0 669420475 1122902016 181495 33554432000 4194304 4625164 140737446591984 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27965/tid=27970] ppid=27962 vsize=1096584 CPUtime=592.52 cores=0,2,4,6
/proc/27965/task/27970/stat : 27970 (SArTagnan) R 27962 27965 27834 0 -1 4202560 58927 0 0 0 59237 15 0 0 25 0 4 0 669420475 1122902016 181495 33554432000 4194304 4625164 140737446591984 18446744073709551615 4345272 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27965/tid=27971] ppid=27962 vsize=1096584 CPUtime=546.38 cores=0,2,4,6
/proc/27965/task/27971/stat : 27971 (SArTagnan) R 27962 27965 27834 0 -1 4202560 2441333 0 0 0 54296 342 0 0 25 0 4 0 669420475 1122902016 181495 33554432000 4194304 4625164 140737446591984 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2259.67
Current children cumulated vsize (KiB) 1096584
[startup+738.101 s]
/proc/loadavg: 10.30 10.15 10.13 11/377 27996
/proc/meminfo: memFree=13275772/32951132 swapFree=67093824/67111528
[pid=27965] ppid=27962 vsize=1031048 CPUtime=2264.4 cores=0,2,4,6
/proc/27965/stat : 27965 (SArTagnan) R 27962 27965 27834 0 -1 4202496 2809956 0 0 0 226024 416 0 0 25 0 4 0 669420473 1055793152 180135 33554432000 4194304 4625164 140737446591984 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27965/statm: 257762 180135 421 106 0 253265 0
[pid=27965/tid=27969] ppid=27962 vsize=1031048 CPUtime=509.46 cores=0,2,4,6
/proc/27965/task/27969/stat : 27969 (SArTagnan) R 27962 27965 27834 0 -1 4202560 88147 0 0 0 50921 25 0 0 25 0 4 0 669420475 1055793152 180135 33554432000 4194304 4625164 140737446591984 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27965/tid=27970] ppid=27962 vsize=1031048 CPUtime=593.32 cores=0,2,4,6
/proc/27965/task/27970/stat : 27970 (SArTagnan) R 27962 27965 27834 0 -1 4202560 58927 0 0 0 59317 15 0 0 25 0 4 0 669420475 1055793152 180135 33554432000 4194304 4625164 140737446591984 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27965/tid=27971] ppid=27962 vsize=1031048 CPUtime=547.96 cores=0,2,4,6
/proc/27965/task/27971/stat : 27971 (SArTagnan) R 27962 27965 27834 0 -1 4202560 2456510 0 0 0 54453 343 0 0 25 0 4 0 669420475 1055793152 180135 33554432000 4194304 4625164 140737446591984 18446744073709551615 4547416 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2264.4
Current children cumulated vsize (KiB) 1031048
[startup+738.901 s]
/proc/loadavg: 10.30 10.15 10.13 11/377 27996
/proc/meminfo: memFree=13275028/32951132 swapFree=67093824/67111528
[pid=27965] ppid=27962 vsize=1096584 CPUtime=2266.79 cores=0,2,4,6
/proc/27965/stat : 27965 (SArTagnan) R 27962 27965 27834 0 -1 4202496 2819192 0 0 0 226261 418 0 0 25 0 4 0 669420473 1122902016 181430 33554432000 4194304 4625164 140737446591984 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27965/statm: 274146 181430 423 106 0 269649 0
[pid=27965/tid=27969] ppid=27962 vsize=1096584 CPUtime=510.25 cores=0,2,4,6
/proc/27965/task/27969/stat : 27969 (SArTagnan) R 27962 27965 27834 0 -1 4202560 88169 0 0 0 51000 25 0 0 25 0 4 0 669420475 1122902016 181430 33554432000 4194304 4625164 140737446591984 18446744073709551615 4352072 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27965/tid=27970] ppid=27962 vsize=1096584 CPUtime=593.72 cores=0,2,4,6
/proc/27965/task/27970/stat : 27970 (SArTagnan) R 27962 27965 27834 0 -1 4202560 58927 0 0 0 59357 15 0 0 25 0 4 0 669420475 1122902016 181430 33554432000 4194304 4625164 140737446591984 18446744073709551615 4288883 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27965/tid=27971] ppid=27962 vsize=1096584 CPUtime=548.76 cores=0,2,4,6
/proc/27965/task/27971/stat : 27971 (SArTagnan) R 27962 27965 27834 0 -1 4202560 2465690 0 0 0 54532 344 0 0 25 0 4 0 669420475 1122902016 181430 33554432000 4194304 4625164 140737446591984 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2266.79
Current children cumulated vsize (KiB) 1096584
[startup+739.101 s]
/proc/loadavg: 10.30 10.15 10.13 11/377 27996
/proc/meminfo: memFree=13275028/32951132 swapFree=67093824/67111528
[pid=27965] ppid=27962 vsize=1096584 CPUtime=2267.39 cores=0,2,4,6
/proc/27965/stat : 27965 (SArTagnan) R 27962 27965 27834 0 -1 4202496 2820526 0 0 0 226321 418 0 0 25 0 4 0 669420473 1122902016 181513 33554432000 4194304 4625164 140737446591984 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27965/statm: 274146 181513 423 106 0 269649 0
[pid=27965/tid=27969] ppid=27962 vsize=1096584 CPUtime=510.45 cores=0,2,4,6
/proc/27965/task/27969/stat : 27969 (SArTagnan) R 27962 27965 27834 0 -1 4202560 88177 0 0 0 51020 25 0 0 25 0 4 0 669420475 1122902016 181513 33554432000 4194304 4625164 140737446591984 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27965/tid=27970] ppid=27962 vsize=1096584 CPUtime=593.82 cores=0,2,4,6
/proc/27965/task/27970/stat : 27970 (SArTagnan) R 27962 27965 27834 0 -1 4202560 58927 0 0 0 59367 15 0 0 25 0 4 0 669420475 1122902016 181513 33554432000 4194304 4625164 140737446591984 18446744073709551615 4351998 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27965/tid=27971] ppid=27962 vsize=1096584 CPUtime=548.96 cores=0,2,4,6
/proc/27965/task/27971/stat : 27971 (SArTagnan) R 27962 27965 27834 0 -1 4202560 2466998 0 0 0 54552 344 0 0 25 0 4 0 669420475 1122902016 181513 33554432000 4194304 4625164 140737446591984 18446744073709551615 4334595 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2267.39
Current children cumulated vsize (KiB) 1096584
Child status: 10
Real time (s): 739.178
CPU time (s): 2267.57
CPU user time (s): 2263.35
CPU system time (s): 4.21536
CPU usage (%): 306.769
Max. virtual memory (cumulated for all children) (KiB): 1163092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2263.35
system time used= 4.21536
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2821745
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= 1101
involuntary context switches= 24330
runsolver used 2.45363 second user time and 6.41602 second system time
The end