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-3458072-1307157893/watcher-3458072-1307157893 -o /tmp/evaluation-result-3458072-1307157893/solver-3458072-1307157893 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458072-1307157893.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 2.01 2.03 2.00 3/460 21752
/proc/meminfo: memFree=29822592/32950928 swapFree=52246700/67111528
[pid=21752] ppid=21750 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/21752/stat : 21752 (java) S 21750 21752 18266 0 -1 4202496 3105 0 1 0 0 0 0 0 22 0 2 0 906020013 13833195520 2809 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/21752/statm: 3377245 2823 906 9 0 3368401 0
[pid=21752/tid=21753] ppid=21750 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21753/stat : 21753 (java) R 21750 21752 18266 0 -1 4202560 5971 0 1 0 0 0 0 0 24 0 2 0 906020014 13850947584 6787 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231895184443 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0850769 s]
/proc/loadavg: 2.01 2.03 2.00 3/460 21752
/proc/meminfo: memFree=29822592/32950928 swapFree=52246700/67111528
[pid=21752] ppid=21750 vsize=13620920 CPUtime=0.07 cores=1,3,5,7
/proc/21752/stat : 21752 (java) S 21750 21752 18266 0 -1 4202496 14776 0 1 0 6 1 0 0 22 0 18 0 906020013 13947822080 14474 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21752/statm: 3405230 14474 1913 9 0 3395964 0
[pid=21752/tid=21753] ppid=21750 vsize=13620920 CPUtime=0.07 cores=1,3,5,7
/proc/21752/task/21753/stat : 21753 (java) R 21750 21752 18266 0 -1 4202560 13402 0 1 0 6 1 0 0 18 0 18 0 906020014 13947822080 14476 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231895184331 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13620920
[startup+0.101105 s]
/proc/loadavg: 2.01 2.03 2.00 3/460 21752
/proc/meminfo: memFree=29822592/32950928 swapFree=52246700/67111528
[pid=21752] ppid=21750 vsize=13621944 CPUtime=0.1 cores=1,3,5,7
/proc/21752/stat : 21752 (java) S 21750 21752 18266 0 -1 4202496 15552 0 1 0 9 1 0 0 22 0 18 0 906020013 13948870656 15230 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21752/statm: 3405486 15231 2092 9 0 3396220 0
[pid=21752/tid=21753] ppid=21750 vsize=13621944 CPUtime=0.08 cores=1,3,5,7
/proc/21752/task/21753/stat : 21753 (java) R 21750 21752 18266 0 -1 4202560 13637 0 1 0 7 1 0 0 18 0 18 0 906020014 13948870656 15231 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231895151649 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621944
[startup+0.301094 s]
/proc/loadavg: 2.01 2.03 2.00 3/460 21752
/proc/meminfo: memFree=29822592/32950928 swapFree=52246700/67111528
[pid=21752] ppid=21750 vsize=13627068 CPUtime=0.55 cores=1,3,5,7
/proc/21752/stat : 21752 (java) S 21750 21752 18266 0 -1 4202496 18139 0 1 0 53 2 0 0 22 0 19 0 906020013 13954117632 17151 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21752/statm: 3406767 17151 2213 9 0 3397501 0
[pid=21752/tid=21753] ppid=21750 vsize=13627068 CPUtime=0.28 cores=1,3,5,7
/proc/21752/task/21753/stat : 21753 (java) R 21750 21752 18266 0 -1 4202560 14248 0 1 0 27 1 0 0 19 0 19 0 906020014 13954117632 17151 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 46912505217120 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 13627068
[startup+0.701022 s]
/proc/loadavg: 2.01 2.03 2.00 3/460 21752
/proc/meminfo: memFree=29822592/32950928 swapFree=52246700/67111528
[pid=21752] ppid=21750 vsize=13627068 CPUtime=1.04 cores=1,3,5,7
/proc/21752/stat : 21752 (java) S 21750 21752 18266 0 -1 4202496 19312 0 1 0 102 2 0 0 22 0 19 0 906020013 13954117632 18318 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21752/statm: 3406767 18318 2248 9 0 3397501 0
[pid=21752/tid=21753] ppid=21750 vsize=13627068 CPUtime=0.67 cores=1,3,5,7
/proc/21752/task/21753/stat : 21753 (java) R 21750 21752 18266 0 -1 4202560 14641 0 1 0 66 1 0 0 19 0 19 0 906020014 13954117632 18318 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 46912505542047 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 13627068
[startup+1.50087 s]
/proc/loadavg: 2.01 2.03 2.00 4/480 21818
/proc/meminfo: memFree=29728116/32950928 swapFree=52246700/67111528
[pid=21752] ppid=21750 vsize=13627068 CPUtime=2.41 cores=1,3,5,7
/proc/21752/stat : 21752 (java) S 21750 21752 18266 0 -1 4202496 30509 0 1 0 237 4 0 0 22 0 19 0 906020013 13954117632 24459 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21752/statm: 3406767 24459 2248 9 0 3397501 0
[pid=21752/tid=21753] ppid=21750 vsize=13627068 CPUtime=1.44 cores=1,3,5,7
/proc/21752/task/21753/stat : 21753 (java) R 21750 21752 18266 0 -1 4202560 14645 0 1 0 143 1 0 0 20 0 19 0 906020014 13954117632 24459 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 46912505530338 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21752/tid=21756] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21756/stat : 21756 (java) S 21750 21752 18266 0 -1 4202560 184 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 24459 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 7 0 0 0
[pid=21752/tid=21757] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21757/stat : 21757 (java) S 21750 21752 18266 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 24459 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 7 0 0 0
[pid=21752/tid=21758] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21758/stat : 21758 (java) S 21750 21752 18266 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 24459 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 5 0 0 0
[pid=21752/tid=21759] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21759/stat : 21759 (java) S 21750 21752 18266 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 24459 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 5 0 0 0
[pid=21752/tid=21760] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21760/stat : 21760 (java) S 21750 21752 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 24459 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 7 0 0 0
[pid=21752/tid=21761] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21761/stat : 21761 (java) S 21750 21752 18266 0 -1 4202560 217 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 24459 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 5 0 0 0
[pid=21752/tid=21762] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21762/stat : 21762 (java) S 21750 21752 18266 0 -1 4202560 90 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 24459 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 5 0 0 0
[pid=21752/tid=21763] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21763/stat : 21763 (java) S 21750 21752 18266 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 24459 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 7 0 0 0
[pid=21752/tid=21764] ppid=21750 vsize=13627068 CPUtime=0.03 cores=1,3,5,7
/proc/21752/task/21764/stat : 21764 (java) S 21750 21752 18266 0 -1 4202560 811 0 0 0 3 0 0 0 16 0 19 0 906020017 13954117632 24459 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907307008 0 0 0 16800975 18446604463960484864 0 0 -1 3 0 0 0
[pid=21752/tid=21765] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21765/stat : 21765 (java) S 21750 21752 18266 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 906020017 13954117632 24459 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 5 0 0 0
[pid=21752/tid=21766] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21766/stat : 21766 (java) S 21750 21752 18266 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 906020017 13954117632 24459 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 5 0 0 0
[pid=21752/tid=21767] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21767/stat : 21767 (java) S 21750 21752 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906020020 13954117632 24459 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907314097 0 4 0 16800975 18446604463960484864 0 0 -1 3 0 0 0
[pid=21752/tid=21768] ppid=21750 vsize=13627068 CPUtime=0.66 cores=1,3,5,7
/proc/21752/task/21768/stat : 21768 (java) R 21750 21752 18266 0 -1 4202560 11498 0 0 0 64 2 0 0 15 0 19 0 906020020 13954117632 24459 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 47738268039256 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21752/tid=21769] ppid=21750 vsize=13627068 CPUtime=0.24 cores=1,3,5,7
/proc/21752/task/21769/stat : 21769 (java) S 21750 21752 18266 0 -1 4202560 1689 0 0 0 24 0 0 0 15 0 19 0 906020020 13954117632 24459 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 5 0 0 0
[pid=21752/tid=21770] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21770/stat : 21770 (java) S 21750 21752 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906020020 13954117632 24459 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 3 0 0 0
[pid=21752/tid=21771] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21771/stat : 21771 (java) S 21750 21752 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906020020 13954117632 24459 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907307008 0 4 0 16800975 18446604463960484864 0 0 -1 5 0 0 0
[pid=21752/tid=21772] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21772/stat : 21772 (java) S 21750 21752 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906020030 13954117632 24459 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907307008 0 4 0 16800975 18446604463960484864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 13627068
[startup+3.1005 s]
/proc/loadavg: 2.01 2.03 2.00 4/480 21818
/proc/meminfo: memFree=29697312/32950928 swapFree=52246700/67111528
[pid=21752] ppid=21750 vsize=13627068 CPUtime=4.27 cores=1,3,5,7
/proc/21752/stat : 21752 (java) S 21750 21752 18266 0 -1 4202496 32100 0 1 0 423 4 0 0 22 0 19 0 906020013 13954117632 24206 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21752/statm: 3406767 24206 2249 9 0 3397501 0
[pid=21752/tid=21753] ppid=21750 vsize=13627068 CPUtime=2.99 cores=1,3,5,7
/proc/21752/task/21753/stat : 21753 (java) R 21750 21752 18266 0 -1 4202560 14654 0 1 0 298 1 0 0 25 0 19 0 906020014 13954117632 24206 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 46912505533351 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=21752/tid=21756] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21756/stat : 21756 (java) S 21750 21752 18266 0 -1 4202560 217 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 24206 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 1 0 0 0
[pid=21752/tid=21757] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21757/stat : 21757 (java) S 21750 21752 18266 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 24206 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 7 0 0 0
[pid=21752/tid=21758] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21758/stat : 21758 (java) S 21750 21752 18266 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 24206 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 5 0 0 0
[pid=21752/tid=21759] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21759/stat : 21759 (java) S 21750 21752 18266 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 24206 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 5 0 0 0
[pid=21752/tid=21760] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21760/stat : 21760 (java) S 21750 21752 18266 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 24206 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 7 0 0 0
[pid=21752/tid=21761] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21761/stat : 21761 (java) S 21750 21752 18266 0 -1 4202560 225 0 0 0 0 0 0 0 16 0 19 0 906020016 13954117632 24206 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 5 0 0 0
[pid=21752/tid=21762] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21762/stat : 21762 (java) S 21750 21752 18266 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 24206 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 1 0 0 0
[pid=21752/tid=21763] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21763/stat : 21763 (java) S 21750 21752 18266 0 -1 4202560 162 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 24206 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 7 0 0 0
[pid=21752/tid=21764] ppid=21750 vsize=13627068 CPUtime=0.07 cores=1,3,5,7
/proc/21752/task/21764/stat : 21764 (java) S 21750 21752 18266 0 -1 4202560 1067 0 0 0 7 0 0 0 16 0 19 0 906020017 13954117632 24206 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907307008 0 0 0 16800975 18446604463960484864 0 0 -1 3 0 0 0
[pid=21752/tid=21765] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21765/stat : 21765 (java) S 21750 21752 18266 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 906020017 13954117632 24206 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 5 0 0 0
[pid=21752/tid=21766] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21766/stat : 21766 (java) S 21750 21752 18266 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 906020017 13954117632 24206 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 5 0 0 0
[pid=21752/tid=21767] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21767/stat : 21767 (java) S 21750 21752 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906020020 13954117632 24206 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907314097 0 4 0 16800975 18446604463960484864 0 0 -1 3 0 0 0
[pid=21752/tid=21768] ppid=21750 vsize=13627068 CPUtime=0.89 cores=1,3,5,7
/proc/21752/task/21768/stat : 21768 (java) S 21750 21752 18266 0 -1 4202560 12611 0 0 0 87 2 0 0 15 0 19 0 906020020 13954117632 24206 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 1 0 0 0
[pid=21752/tid=21769] ppid=21750 vsize=13627068 CPUtime=0.26 cores=1,3,5,7
/proc/21752/task/21769/stat : 21769 (java) S 21750 21752 18266 0 -1 4202560 1709 0 0 0 26 0 0 0 15 0 19 0 906020020 13954117632 24206 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 5 0 0 0
[pid=21752/tid=21770] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21770/stat : 21770 (java) S 21750 21752 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906020020 13954117632 24206 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 3 0 0 0
[pid=21752/tid=21771] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21771/stat : 21771 (java) S 21750 21752 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906020020 13954117632 24206 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907307008 0 4 0 16800975 18446604463960484864 0 0 -1 7 0 0 0
[pid=21752/tid=21772] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21772/stat : 21772 (java) S 21750 21752 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906020030 13954117632 24206 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907307008 0 4 0 16800975 18446604463960484864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 13627068
[startup+6.30097 s]
/proc/loadavg: 2.01 2.03 2.00 3/480 21864
/proc/meminfo: memFree=29718060/32950928 swapFree=52246700/67111528
[pid=21752] ppid=21750 vsize=13627068 CPUtime=7.49 cores=1,3,5,7
/proc/21752/stat : 21752 (java) S 21750 21752 18266 0 -1 4202496 32315 0 1 0 744 5 0 0 22 0 19 0 906020013 13954117632 23702 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21752/statm: 3406767 23702 2249 9 0 3397501 0
[pid=21752/tid=21753] ppid=21750 vsize=13627068 CPUtime=6.05 cores=1,3,5,7
/proc/21752/task/21753/stat : 21753 (java) R 21750 21752 18266 0 -1 4202560 14664 0 1 0 604 1 0 0 19 0 19 0 906020014 13954117632 23702 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 46912505533301 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21752/tid=21756] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21756/stat : 21756 (java) S 21750 21752 18266 0 -1 4202560 219 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 23702 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 7 0 0 0
[pid=21752/tid=21757] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21757/stat : 21757 (java) S 21750 21752 18266 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 23702 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 7 0 0 0
[pid=21752/tid=21758] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21758/stat : 21758 (java) S 21750 21752 18266 0 -1 4202560 114 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 23702 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 1 0 0 0
[pid=21752/tid=21759] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21759/stat : 21759 (java) S 21750 21752 18266 0 -1 4202560 65 0 0 0 0 0 0 0 16 0 19 0 906020016 13954117632 23702 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 7 0 0 0
[pid=21752/tid=21760] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21760/stat : 21760 (java) S 21750 21752 18266 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 19 0 906020016 13954117632 23702 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 5 0 0 0
[pid=21752/tid=21761] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21761/stat : 21761 (java) S 21750 21752 18266 0 -1 4202560 233 0 0 0 0 0 0 0 16 0 19 0 906020016 13954117632 23702 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 1 0 0 0
[pid=21752/tid=21762] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21762/stat : 21762 (java) S 21750 21752 18266 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 23702 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 7 0 0 0
[pid=21752/tid=21763] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21763/stat : 21763 (java) S 21750 21752 18266 0 -1 4202560 163 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 23702 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 7 0 0 0
[pid=21752/tid=21764] ppid=21750 vsize=13627068 CPUtime=0.19 cores=1,3,5,7
/proc/21752/task/21764/stat : 21764 (java) S 21750 21752 18266 0 -1 4202560 1249 0 0 0 19 0 0 0 15 0 19 0 906020017 13954117632 23702 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907307008 0 0 0 16800975 18446604463960484864 0 0 -1 3 0 0 0
[pid=21752/tid=21765] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21765/stat : 21765 (java) S 21750 21752 18266 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 906020017 13954117632 23702 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 5 0 0 0
[pid=21752/tid=21766] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21766/stat : 21766 (java) S 21750 21752 18266 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 906020017 13954117632 23702 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 5 0 0 0
[pid=21752/tid=21767] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21767/stat : 21767 (java) S 21750 21752 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906020020 13954117632 23702 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907314097 0 4 0 16800975 18446604463960484864 0 0 -1 3 0 0 0
[pid=21752/tid=21768] ppid=21750 vsize=13627068 CPUtime=0.89 cores=1,3,5,7
/proc/21752/task/21768/stat : 21768 (java) S 21750 21752 18266 0 -1 4202560 12611 0 0 0 87 2 0 0 15 0 19 0 906020020 13954117632 23702 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 1 0 0 0
[pid=21752/tid=21769] ppid=21750 vsize=13627068 CPUtime=0.27 cores=1,3,5,7
/proc/21752/task/21769/stat : 21769 (java) S 21750 21752 18266 0 -1 4202560 1709 0 0 0 27 0 0 0 15 0 19 0 906020020 13954117632 23702 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 5 0 0 0
[pid=21752/tid=21770] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21770/stat : 21770 (java) S 21750 21752 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906020020 13954117632 23702 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 3 0 0 0
[pid=21752/tid=21771] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21771/stat : 21771 (java) S 21750 21752 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906020020 13954117632 23702 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907307008 0 4 0 16800975 18446604463960484864 0 0 -1 5 0 0 0
[pid=21752/tid=21772] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21772/stat : 21772 (java) S 21750 21752 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906020030 13954117632 23702 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907307008 0 4 0 16800975 18446604463960484864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.49
Current children cumulated vsize (KiB) 13627068
Solver just ended. Dumping a history of the last processes samples
[startup+6.7009 s]
/proc/loadavg: 2.01 2.03 2.00 4/480 21864
/proc/meminfo: memFree=29703676/32950928 swapFree=52246700/67111528
[pid=21752] ppid=21750 vsize=13627068 CPUtime=7.89 cores=1,3,5,7
/proc/21752/stat : 21752 (java) S 21750 21752 18266 0 -1 4202496 32390 0 1 0 784 5 0 0 22 0 19 0 906020013 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21752/statm: 3406767 23776 2249 9 0 3397501 0
[pid=21752/tid=21753] ppid=21750 vsize=13627068 CPUtime=6.43 cores=1,3,5,7
/proc/21752/task/21753/stat : 21753 (java) R 21750 21752 18266 0 -1 4202560 14665 0 1 0 642 1 0 0 20 0 19 0 906020014 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 46912505530285 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21752/tid=21756] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21756/stat : 21756 (java) S 21750 21752 18266 0 -1 4202560 219 0 0 0 0 0 0 0 16 0 19 0 906020016 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 7 0 0 0
[pid=21752/tid=21757] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21757/stat : 21757 (java) S 21750 21752 18266 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 1 0 0 0
[pid=21752/tid=21758] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21758/stat : 21758 (java) S 21750 21752 18266 0 -1 4202560 114 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 1 0 0 0
[pid=21752/tid=21759] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21759/stat : 21759 (java) S 21750 21752 18266 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 7 0 0 0
[pid=21752/tid=21760] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21760/stat : 21760 (java) S 21750 21752 18266 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 5 0 0 0
[pid=21752/tid=21761] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21761/stat : 21761 (java) S 21750 21752 18266 0 -1 4202560 233 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 1 0 0 0
[pid=21752/tid=21762] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21762/stat : 21762 (java) S 21750 21752 18266 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 1 0 0 0
[pid=21752/tid=21763] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21763/stat : 21763 (java) S 21750 21752 18266 0 -1 4202560 163 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 7 0 0 0
[pid=21752/tid=21764] ppid=21750 vsize=13627068 CPUtime=0.21 cores=1,3,5,7
/proc/21752/task/21764/stat : 21764 (java) S 21750 21752 18266 0 -1 4202560 1322 0 0 0 21 0 0 0 15 0 19 0 906020017 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907307008 0 0 0 16800975 18446604463960484864 0 0 -1 3 0 0 0
[pid=21752/tid=21765] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21765/stat : 21765 (java) S 21750 21752 18266 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 906020017 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 5 0 0 0
[pid=21752/tid=21766] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21766/stat : 21766 (java) S 21750 21752 18266 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 906020017 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 5 0 0 0
[pid=21752/tid=21767] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21767/stat : 21767 (java) S 21750 21752 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906020020 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907314097 0 4 0 16800975 18446604463960484864 0 0 -1 3 0 0 0
[pid=21752/tid=21768] ppid=21750 vsize=13627068 CPUtime=0.89 cores=1,3,5,7
/proc/21752/task/21768/stat : 21768 (java) S 21750 21752 18266 0 -1 4202560 12611 0 0 0 87 2 0 0 15 0 19 0 906020020 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 1 0 0 0
[pid=21752/tid=21769] ppid=21750 vsize=13627068 CPUtime=0.27 cores=1,3,5,7
/proc/21752/task/21769/stat : 21769 (java) S 21750 21752 18266 0 -1 4202560 1709 0 0 0 27 0 0 0 15 0 19 0 906020020 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 5 0 0 0
[pid=21752/tid=21770] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21770/stat : 21770 (java) S 21750 21752 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906020020 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 3 0 0 0
[pid=21752/tid=21771] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21771/stat : 21771 (java) S 21750 21752 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906020020 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907307008 0 4 0 16800975 18446604463960484864 0 0 -1 5 0 0 0
[pid=21752/tid=21772] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21772/stat : 21772 (java) S 21750 21752 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906020030 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907307008 0 4 0 16800975 18446604463960484864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 13627068
[startup+7.10082 s]
/proc/loadavg: 2.01 2.03 2.00 4/480 21864
/proc/meminfo: memFree=29703676/32950928 swapFree=52246700/67111528
[pid=21752] ppid=21750 vsize=13627068 CPUtime=8.29 cores=1,3,5,7
/proc/21752/stat : 21752 (java) S 21750 21752 18266 0 -1 4202496 32390 0 1 0 824 5 0 0 22 0 19 0 906020013 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21752/statm: 3406767 23776 2249 9 0 3397501 0
[pid=21752/tid=21753] ppid=21750 vsize=13627068 CPUtime=6.82 cores=1,3,5,7
/proc/21752/task/21753/stat : 21753 (java) R 21750 21752 18266 0 -1 4202560 14665 0 1 0 681 1 0 0 21 0 19 0 906020014 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 46912505548803 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21752/tid=21756] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21756/stat : 21756 (java) S 21750 21752 18266 0 -1 4202560 219 0 0 0 0 0 0 0 16 0 19 0 906020016 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 7 0 0 0
[pid=21752/tid=21757] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21757/stat : 21757 (java) S 21750 21752 18266 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 1 0 0 0
[pid=21752/tid=21758] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21758/stat : 21758 (java) S 21750 21752 18266 0 -1 4202560 114 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 1 0 0 0
[pid=21752/tid=21759] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21759/stat : 21759 (java) S 21750 21752 18266 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 7 0 0 0
[pid=21752/tid=21760] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21760/stat : 21760 (java) S 21750 21752 18266 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 5 0 0 0
[pid=21752/tid=21761] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21761/stat : 21761 (java) S 21750 21752 18266 0 -1 4202560 233 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 1 0 0 0
[pid=21752/tid=21762] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21762/stat : 21762 (java) S 21750 21752 18266 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 1 0 0 0
[pid=21752/tid=21763] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21763/stat : 21763 (java) S 21750 21752 18266 0 -1 4202560 163 0 0 0 0 0 0 0 15 0 19 0 906020016 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 7 0 0 0
[pid=21752/tid=21764] ppid=21750 vsize=13627068 CPUtime=0.21 cores=1,3,5,7
/proc/21752/task/21764/stat : 21764 (java) S 21750 21752 18266 0 -1 4202560 1322 0 0 0 21 0 0 0 15 0 19 0 906020017 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907307008 0 0 0 16800975 18446604463960484864 0 0 -1 3 0 0 0
[pid=21752/tid=21765] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21765/stat : 21765 (java) S 21750 21752 18266 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 906020017 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 5 0 0 0
[pid=21752/tid=21766] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21766/stat : 21766 (java) S 21750 21752 18266 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 906020017 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 5 0 0 0
[pid=21752/tid=21767] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21767/stat : 21767 (java) S 21750 21752 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906020020 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907314097 0 4 0 16800975 18446604463960484864 0 0 -1 3 0 0 0
[pid=21752/tid=21768] ppid=21750 vsize=13627068 CPUtime=0.89 cores=1,3,5,7
/proc/21752/task/21768/stat : 21768 (java) S 21750 21752 18266 0 -1 4202560 12611 0 0 0 87 2 0 0 15 0 19 0 906020020 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 1 0 0 0
[pid=21752/tid=21769] ppid=21750 vsize=13627068 CPUtime=0.27 cores=1,3,5,7
/proc/21752/task/21769/stat : 21769 (java) S 21750 21752 18266 0 -1 4202560 1709 0 0 0 27 0 0 0 15 0 19 0 906020020 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 5 0 0 0
[pid=21752/tid=21770] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21770/stat : 21770 (java) S 21750 21752 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906020020 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 3 0 0 0
[pid=21752/tid=21771] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21771/stat : 21771 (java) S 21750 21752 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906020020 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907307008 0 4 0 16800975 18446604463960484864 0 0 -1 5 0 0 0
[pid=21752/tid=21772] ppid=21750 vsize=13627068 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21772/stat : 21772 (java) S 21750 21752 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906020030 13954117632 23776 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907307008 0 4 0 16800975 18446604463960484864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.29
Current children cumulated vsize (KiB) 13627068
[startup+7.20079 s]
/proc/loadavg: 2.01 2.03 2.00 4/480 21864
/proc/meminfo: memFree=29703676/32950928 swapFree=52246700/67111528
[pid=21752] ppid=21750 vsize=13628096 CPUtime=8.39 cores=1,3,5,7
/proc/21752/stat : 21752 (java) S 21750 21752 18266 0 -1 4202496 32408 0 1 0 834 5 0 0 22 0 18 0 906020013 13955170304 23794 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21752/statm: 3407024 23795 2251 9 0 3397758 0
[pid=21752/tid=21753] ppid=21750 vsize=13628096 CPUtime=6.92 cores=1,3,5,7
/proc/21752/task/21753/stat : 21753 (java) S 21750 21752 18266 0 -1 4202560 14669 0 1 0 691 1 0 0 22 0 18 0 906020014 13955170304 23795 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 1 0 0 0
[pid=21752/tid=21756] ppid=21750 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21756/stat : 21756 (java) S 21750 21752 18266 0 -1 4202560 219 0 0 0 0 0 0 0 16 0 18 0 906020016 13955170304 23795 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 7 0 0 0
[pid=21752/tid=21757] ppid=21750 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21757/stat : 21757 (java) S 21750 21752 18266 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 18 0 906020016 13955170304 23795 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 1 0 0 0
[pid=21752/tid=21758] ppid=21750 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21758/stat : 21758 (java) S 21750 21752 18266 0 -1 4202560 114 0 0 0 0 0 0 0 15 0 18 0 906020016 13955170304 23795 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 1 0 0 0
[pid=21752/tid=21759] ppid=21750 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21759/stat : 21759 (java) S 21750 21752 18266 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 18 0 906020016 13955170304 23795 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 7 0 0 0
[pid=21752/tid=21760] ppid=21750 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21760/stat : 21760 (java) S 21750 21752 18266 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 18 0 906020016 13955170304 23795 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 5 0 0 0
[pid=21752/tid=21761] ppid=21750 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21761/stat : 21761 (java) S 21750 21752 18266 0 -1 4202560 233 0 0 0 0 0 0 0 15 0 18 0 906020016 13955170304 23795 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 1 0 0 0
[pid=21752/tid=21762] ppid=21750 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21762/stat : 21762 (java) S 21750 21752 18266 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 18 0 906020016 13955170304 23795 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 1 0 0 0
[pid=21752/tid=21763] ppid=21750 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21763/stat : 21763 (java) S 21750 21752 18266 0 -1 4202560 163 0 0 0 0 0 0 0 15 0 18 0 906020016 13955170304 23795 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 7 0 0 0
[pid=21752/tid=21764] ppid=21750 vsize=13628096 CPUtime=0.21 cores=1,3,5,7
/proc/21752/task/21764/stat : 21764 (java) S 21750 21752 18266 0 -1 4202560 1323 0 0 0 21 0 0 0 15 0 18 0 906020017 13955170304 23795 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907307008 0 0 0 16800975 18446604463960484864 0 0 -1 3 0 0 0
[pid=21752/tid=21765] ppid=21750 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21765/stat : 21765 (java) S 21750 21752 18266 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 906020017 13955170304 23795 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 5 0 0 0
[pid=21752/tid=21766] ppid=21750 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21766/stat : 21766 (java) S 21750 21752 18266 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 18 0 906020017 13955170304 23795 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 5 0 0 0
[pid=21752/tid=21767] ppid=21750 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21767/stat : 21767 (java) S 21750 21752 18266 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 906020020 13955170304 23795 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 3 0 0 0
[pid=21752/tid=21768] ppid=21750 vsize=13628096 CPUtime=0.89 cores=1,3,5,7
/proc/21752/task/21768/stat : 21768 (java) S 21750 21752 18266 0 -1 4202560 12611 0 0 0 87 2 0 0 15 0 18 0 906020020 13955170304 23795 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 1 0 0 0
[pid=21752/tid=21769] ppid=21750 vsize=13628096 CPUtime=0.28 cores=1,3,5,7
/proc/21752/task/21769/stat : 21769 (java) S 21750 21752 18266 0 -1 4202560 1709 0 0 0 28 0 0 0 15 0 18 0 906020020 13955170304 23795 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 5 0 0 0
[pid=21752/tid=21770] ppid=21750 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21770/stat : 21770 (java) S 21750 21752 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 906020020 13955170304 23795 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907306393 0 4 0 16800975 18446604463960484864 0 0 -1 3 0 0 0
[pid=21752/tid=21772] ppid=21750 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/21752/task/21772/stat : 21772 (java) S 21750 21752 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 18 0 906020030 13955170304 23795 33554432000 1073741824 1073778376 140736388981632 18446744073709551615 231907307008 0 4 0 16800975 18446604463960484864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.39
Current children cumulated vsize (KiB) 13628096
Child status: 30
Real time (s): 7.21817
CPU time (s): 8.40472
CPU user time (s): 8.34773
CPU system time (s): 0.056991
CPU usage (%): 116.438
Max. virtual memory (cumulated for all children) (KiB): 13628096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.34773
system time used= 0.056991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32410
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 709
involuntary context switches= 207
runsolver used 0.032994 second user time and 0.081987 second system time
The end