0.67/0.55 c version: 2018-07-02
0.67/0.55 c seed: 1836271027
0.67/0.55 c timeout: 20160
0.67/0.55 c memlimit: 22000
0.67/0.55 c nbcore: 8
0.67/0.58 c Parsing instance...
1.40/0.99 c Parsing done, starting search...
7.09/2.80 s SATISFIABLE
7.09/2.80 v <instantiation>
7.09/2.80 v <list>
7.09/2.80 v x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] s[0][1][0] s[0][1][1] s[0][1][2] s[0][1][3] s[0][1][4] s[0][1][5] s[0][1][6] s[0][2][0] s[0][2][1] s[0][2][2] s[0][2][3] s[0][2][4] s[0][2][5] s[0][2][6] s[0][3][0] s[0][3][1] s[0][3][2] s[0][3][3] s[0][3][4] s[0][3][5] s[0][3][6] s[0][4][0] s[0][4][1] s[0][4][2] s[0][4][3] s[0][4][4] s[0][4][5] s[0][4][6] s[0][5][0] s[0][5][1] s[0][5][2] s[0][5][3] s[0][5][4] s[0][5][5] s[0][5][6] s[0][6][0] s[0][6][1] s[0][6][2] s[0][6][3] s[0][6][4] s[0][6][5] s[0][6][6] s[1][2][0] s[1][2][1] s[1][2][2] s[1][2][3] s[1][2][4] s[1][2][5] s[1][2][6] s[1][3][0] s[1][3][1] s[1][3][2] s[1][3][3] s[1][3][4] s[1][3][5] s[1][3][6] s[1][4][0] s[1][4][1] s[1][4][2] s[1][4][3] s[1][4][4] s[1][4][5] s[1][4][6] s[1][5][0] s[1][5][1] s[1][5][2] s[1][5][3] s[1][5][4] s[1][5][5] s[1][5][6] s[1][6][0] s[1][6][1] s[1][6][2] s[1][6][3] s[1][6][4] s[1][6][5] s[1][6][6] s[2][3][0] s[2][3][1] s[2][3][2] s[2][3][3] s[2][3][4] s[2][3][5] s[2][3][6] s[2][4][0] s[2][4][1] s[2][4][2] s[2][4][3] s[2][4][4] s[2][4][5] s[2][4][6] s[2][5][0] s[2][5][1] s[2][5][2] s[2][5][3] s[2][5][4] s[2][5][5] s[2][5][6] s[2][6][0] s[2][6][1] s[2][6][2] s[2][6][3] s[2][6][4] s[2][6][5] s[2][6][6] s[3][4][0] s[3][4][1] s[3][4][2] s[3][4][3] s[3][4][4] s[3][4][5] s[3][4][6] s[3][5][0] s[3][5][1] s[3][5][2] s[3][5][3] s[3][5][4] s[3][5][5] s[3][5][6] s[3][6][0] s[3][6][1] s[3][6][2] s[3][6][3] s[3][6][4] s[3][6][5] s[3][6][6] s[4][5][0] s[4][5][1] s[4][5][2] s[4][5][3] s[4][5][4] s[4][5][5] s[4][5][6] s[4][6][0] s[4][6][1] s[4][6][2] s[4][6][3] s[4][6][4] s[4][6][5] s[4][6][6] s[5][6][0] s[5][6][1] s[5][6][2] s[5][6][3] s[5][6][4] s[5][6][5] s[5][6][6]
7.09/2.80 v </list>
7.09/2.80 v <values>
7.09/2.80 v 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0
7.09/2.80 v </values>
7.09/2.80 v </instantiation>
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (10442 MiB free)
memory of node 1: 16384 MiB (12485 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291205-1532652052/watcher-4291205-1532652052 -o /tmp/evaluation-result-4291205-1532652052/solver-4291205-1532652052 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1532644131-1407 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1836271027 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291205-1532652052.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=2767, runsolver pid=2764
[startup+0.100141 s]*
/proc/loadavg: 8.02 8.64 8.73 2/198 2787
/proc/meminfo: memFree=23462876/32770624 swapFree=67108800/67108860
[pid=2767] ppid=2764 vsize=26103424 memory=29696 CPUtime=0.11 cores=0-7
/proc/2767/stat : 2767 (java) S 2764 2767 1380 0 -1 1077944320 6858 0 0 0 10 1 0 0 20 0 20 0 82768429 26729906176 7424 33554432000 4194304 4196468 140722060932128 140722060914672 140327787486967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
/proc/2767/statm: 6525856 7424 3139 1 0 6487932 0
[pid=2767/tid=2769] ppid=2764 vsize=26103424 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/2767/task/2769/stat : 2769 (java) R 2764 2767 1380 0 -1 4202560 5148 0 0 0 8 1 0 0 20 0 20 0 82768430 26729906176 7622 33554432000 4194304 4196468 140722060932128 140327791690096 140327767762795 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2770] ppid=2764 vsize=26103424 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/2767/task/2770/stat : 2770 (java) S 2764 2767 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82768430 26729906176 7622 33554432000 4194304 4196468 140722060932128 140327740107024 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2771] ppid=2764 vsize=26103424 memory=139932223252096 CPUtime=0 cores=0-7
/proc/2767/task/2771/stat : 2771 (java) S 2764 2767 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82768430 26729906176 7622 33554432000 4194304 4196468 140722060932128 140327739054480 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2772] ppid=2764 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2772/stat : 2772 (java) S 2764 2767 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82768430 26729906176 7622 33554432000 4194304 4196468 140722060932128 140327738001936 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2773] ppid=2764 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2773/stat : 2773 (java) S 2764 2767 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82768430 26729906176 7622 33554432000 4194304 4196468 140722060932128 140327736949392 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2774] ppid=2764 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2774/stat : 2774 (java) S 2764 2767 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82768431 26729906176 7622 33554432000 4194304 4196468 140722060932128 140327735896848 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2775] ppid=2764 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/2767/task/2775/stat : 2775 (java) S 2764 2767 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82768431 26729906176 7688 33554432000 4194304 4196468 140722060932128 140327734844304 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2776] ppid=2764 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2776/stat : 2776 (java) S 2764 2767 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82768431 26729906176 7688 33554432000 4194304 4196468 140722060932128 140327733791760 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2777] ppid=2764 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2777/stat : 2777 (java) S 2764 2767 1380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82768431 26729906176 7688 33554432000 4194304 4196468 140722060932128 140327732739216 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2778] ppid=2764 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2778/stat : 2778 (java) S 2764 2767 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82768432 26729906176 7688 33554432000 4194304 4196468 140722060932128 140326530258928 140327787498114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2779] ppid=2764 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2779/stat : 2779 (java) S 2764 2767 1380 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 82768432 26729906176 7688 33554432000 4194304 4196468 140722060932128 140326529205152 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2780] ppid=2764 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2780/stat : 2780 (java) S 2764 2767 1380 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 82768433 26729906176 7688 33554432000 4194304 4196468 140722060932128 140326528152560 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2781] ppid=2764 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2781/stat : 2781 (java) S 2764 2767 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82768435 26729906176 7688 33554432000 4194304 4196468 140722060932128 140326527101136 140327787505563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2782] ppid=2764 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2782/stat : 2782 (java) S 2764 2767 1380 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 82768435 26729906176 7688 33554432000 4194304 4196468 140722060932128 140326526048752 140327787498114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2783] ppid=2764 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2783/stat : 2783 (java) S 2764 2767 1380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82768435 26729906176 7688 33554432000 4194304 4196468 140722060932128 140326524996208 140327787498114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2784] ppid=2764 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2784/stat : 2784 (java) S 2764 2767 1380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82768435 26729906176 7688 33554432000 4194304 4196468 140722060932128 140326523943664 140327787498114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2785] ppid=2764 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/2767/task/2785/stat : 2785 (java) S 2764 2767 1380 0 -1 1077944384 244 0 0 0 1 0 0 0 20 0 20 0 82768435 26729906176 7688 33554432000 4194304 4196468 140722060932128 140326522891120 140327787498114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2786] ppid=2764 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2786/stat : 2786 (java) S 2764 2767 1380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82768435 26729906176 7754 33554432000 4194304 4196468 140722060932128 140326521837792 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2787] ppid=2764 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/2767/task/2787/stat : 2787 (java) S 2764 2767 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82768435 26729906176 7754 33554432000 4194304 4196468 140722060932128 140326520785328 140327787498114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 29696 KiB
[startup+0.210071 s]*
/proc/loadavg: 8.02 8.64 8.73 3/198 2787
/proc/meminfo: memFree=23448768/32770624 swapFree=67108800/67108860
[pid=2767] ppid=2764 vsize=26103424 memory=42972 CPUtime=0.29 cores=0-7
/proc/2767/stat : 2767 (java) S 2764 2767 1380 0 -1 1077944320 10397 0 0 0 27 2 0 0 20 0 20 0 82768429 26729906176 10743 33554432000 4194304 4196468 140722060932128 140722060914672 140327787486967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
/proc/2767/statm: 6525856 10743 3328 1 0 6487932 0
[pid=2767/tid=2769] ppid=2764 vsize=26103424 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/2767/task/2769/stat : 2769 (java) R 2764 2767 1380 0 -1 4202560 8162 0 0 0 18 2 0 0 20 0 20 0 82768430 26729906176 10743 33554432000 4194304 4196468 140722060932128 140327791713872 140327779724094 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2770] ppid=2764 vsize=26103424 memory=11921 CPUtime=0 cores=0-7
/proc/2767/task/2770/stat : 2770 (java) S 2764 2767 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82768430 26729906176 10743 33554432000 4194304 4196468 140722060932128 140327740107024 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2771] ppid=2764 vsize=26103424 memory=139932223259105 CPUtime=0 cores=0-7
/proc/2767/task/2771/stat : 2771 (java) S 2764 2767 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82768430 26729906176 10743 33554432000 4194304 4196468 140722060932128 140327739054480 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2772] ppid=2764 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/2767/task/2772/stat : 2772 (java) S 2764 2767 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82768430 26729906176 10743 33554432000 4194304 4196468 140722060932128 140327738001936 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2773] ppid=2764 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2773/stat : 2773 (java) S 2764 2767 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82768430 26729906176 10743 33554432000 4194304 4196468 140722060932128 140327736949392 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2774] ppid=2764 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2774/stat : 2774 (java) S 2764 2767 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82768431 26729906176 10743 33554432000 4194304 4196468 140722060932128 140327735896848 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2775] ppid=2764 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/2767/task/2775/stat : 2775 (java) S 2764 2767 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82768431 26729906176 10743 33554432000 4194304 4196468 140722060932128 140327734844304 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2776] ppid=2764 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2776/stat : 2776 (java) S 2764 2767 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82768431 26729906176 10743 33554432000 4194304 4196468 140722060932128 140327733791760 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2777] ppid=2764 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2777/stat : 2777 (java) S 2764 2767 1380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82768431 26729906176 10743 33554432000 4194304 4196468 140722060932128 140327732739216 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2778] ppid=2764 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2778/stat : 2778 (java) S 2764 2767 1380 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 82768432 26729906176 10743 33554432000 4194304 4196468 140722060932128 140326530258928 140327787498114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2779] ppid=2764 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2779/stat : 2779 (java) S 2764 2767 1380 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 82768432 26729906176 10743 33554432000 4194304 4196468 140722060932128 140326529205152 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2780] ppid=2764 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2780/stat : 2780 (java) S 2764 2767 1380 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 82768433 26729906176 10743 33554432000 4194304 4196468 140722060932128 140326528152560 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2781] ppid=2764 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2781/stat : 2781 (java) S 2764 2767 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82768435 26729906176 10743 33554432000 4194304 4196468 140722060932128 140326527101136 140327787505563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2782] ppid=2764 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2782/stat : 2782 (java) R 2764 2767 1380 0 -1 4202560 382 0 0 0 0 0 0 0 20 0 20 0 82768435 26729906176 10743 33554432000 4194304 4196468 140722060932128 140326526039136 140327772612866 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2783] ppid=2764 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/2767/task/2783/stat : 2783 (java) S 2764 2767 1380 0 -1 1077944384 175 0 0 0 1 0 0 0 20 0 20 0 82768435 26729906176 10743 33554432000 4194304 4196468 140722060932128 140326524996208 140327787498114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2784] ppid=2764 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2784/stat : 2784 (java) S 2764 2767 1380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82768435 26729906176 10743 33554432000 4194304 4196468 140722060932128 140326523943664 140327787498114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2785] ppid=2764 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7
/proc/2767/task/2785/stat : 2785 (java) R 2764 2767 1380 0 -1 4202560 315 0 0 0 6 0 0 0 20 0 20 0 82768435 26729906176 10743 33554432000 4194304 4196468 140722060932128 140326522886112 140327766427350 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2786] ppid=2764 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2786/stat : 2786 (java) S 2764 2767 1380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82768435 26729906176 10743 33554432000 4194304 4196468 140722060932128 140326521837792 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2787] ppid=2764 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/2767/task/2787/stat : 2787 (java) S 2764 2767 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82768435 26729906176 10743 33554432000 4194304 4196468 140722060932128 140326520785328 140327787498114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 42972 KiB
[startup+0.310026 s]*
/proc/loadavg: 8.02 8.64 8.73 3/198 2787
/proc/meminfo: memFree=23445232/32770624 swapFree=67108800/67108860
[pid=2767] ppid=2764 vsize=26103424 memory=46760 CPUtime=0.43 cores=0-7
/proc/2767/stat : 2767 (java) S 2764 2767 1380 0 -1 1077944320 10863 0 0 0 40 3 0 0 20 0 20 0 82768429 26729906176 11690 33554432000 4194304 4196468 140722060932128 140722060914672 140327787486967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
/proc/2767/statm: 6525856 11690 3389 1 0 6487932 0
[pid=2767/tid=2769] ppid=2764 vsize=26103424 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/2767/task/2769/stat : 2769 (java) R 2764 2767 1380 0 -1 4202560 8510 0 0 0 27 2 0 0 20 0 20 0 82768430 26729906176 11690 33554432000 4194304 4196468 140722060932128 140327791648704 140327772652640 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2770] ppid=2764 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2770/stat : 2770 (java) S 2764 2767 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82768430 26729906176 11690 33554432000 4194304 4196468 140722060932128 140327740107024 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2771] ppid=2764 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2771/stat : 2771 (java) S 2764 2767 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82768430 26729906176 11690 33554432000 4194304 4196468 140722060932128 140327739054480 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2772] ppid=2764 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2772/stat : 2772 (java) S 2764 2767 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82768430 26729906176 11690 33554432000 4194304 4196468 140722060932128 140327738001936 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2773] ppid=2764 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2773/stat : 2773 (java) S 2764 2767 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82768430 26729906176 11690 33554432000 4194304 4196468 140722060932128 140327736949392 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2774] ppid=2764 vsize=26103424 memory=2244 CPUtime=0 cores=0-7
/proc/2767/task/2774/stat : 2774 (java) S 2764 2767 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82768431 26729906176 11690 33554432000 4194304 4196468 140722060932128 140327735896848 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2775] ppid=2764 vsize=26103424 memory=139932114973615 CPUtime=0 cores=0-7
/proc/2767/task/2775/stat : 2775 (java) S 2764 2767 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82768431 26729906176 11690 33554432000 4194304 4196468 140722060932128 140327734844304 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2776] ppid=2764 vsize=26103424 memory=139932114975920 CPUtime=0 cores=0-7
/proc/2767/task/2776/stat : 2776 (java) S 2764 2767 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82768431 26729906176 11690 33554432000 4194304 4196468 140722060932128 140327733791760 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2777] ppid=2764 vsize=26103424 memory=139932114978224 CPUtime=0 cores=0-7
/proc/2767/task/2777/stat : 2777 (java) S 2764 2767 1380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82768431 26729906176 11690 33554432000 4194304 4196468 140722060932128 140327732739216 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2778] ppid=2764 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2778/stat : 2778 (java) S 2764 2767 1380 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 82768432 26729906176 11690 33554432000 4194304 4196468 140722060932128 140326530258928 140327787498114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2779] ppid=2764 vsize=26103424 memory=279864229963408 CPUtime=0 cores=0-7
/proc/2767/task/2779/stat : 2779 (java) S 2764 2767 1380 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 82768432 26729906176 11690 33554432000 4194304 4196468 140722060932128 140326529205152 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2780] ppid=2764 vsize=26103424 memory=279864229970320 CPUtime=0 cores=0-7
/proc/2767/task/2780/stat : 2780 (java) S 2764 2767 1380 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 82768433 26729906176 11690 33554432000 4194304 4196468 140722060932128 140326528152560 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2781] ppid=2764 vsize=26103424 memory=279864229911600 CPUtime=0 cores=0-7
/proc/2767/task/2781/stat : 2781 (java) S 2764 2767 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82768435 26729906176 11690 33554432000 4194304 4196468 140722060932128 140326527101136 140327787505563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2782] ppid=2764 vsize=26103424 memory=279864229984144 CPUtime=0.01 cores=0-7
/proc/2767/task/2782/stat : 2782 (java) S 2764 2767 1380 0 -1 1077944384 444 0 0 0 1 0 0 0 20 0 20 0 82768435 26729906176 11690 33554432000 4194304 4196468 140722060932128 140326526048752 140327787498114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2783] ppid=2764 vsize=26103424 memory=279864229991056 CPUtime=0.01 cores=0-7
/proc/2767/task/2783/stat : 2783 (java) S 2764 2767 1380 0 -1 1077944384 175 0 0 0 1 0 0 0 20 0 20 0 82768435 26729906176 11690 33554432000 4194304 4196468 140722060932128 140326524996208 140327787498114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2784] ppid=2764 vsize=26103424 memory=279864229988752 CPUtime=0 cores=0-7
/proc/2767/task/2784/stat : 2784 (java) S 2764 2767 1380 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 82768435 26729906176 11690 33554432000 4194304 4196468 140722060932128 140326523943664 140327787498114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2785] ppid=2764 vsize=26103424 memory=279864230005360 CPUtime=0.07 cores=0-7
/proc/2767/task/2785/stat : 2785 (java) S 2764 2767 1380 0 -1 1077944384 333 0 0 0 7 0 0 0 20 0 20 0 82768435 26729906176 11690 33554432000 4194304 4196468 140722060932128 140326522891120 140327787498114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2786] ppid=2764 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2786/stat : 2786 (java) S 2764 2767 1380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82768435 26729906176 11690 33554432000 4194304 4196468 140722060932128 140326521837792 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2787] ppid=2764 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/2767/task/2787/stat : 2787 (java) S 2764 2767 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82768435 26729906176 11690 33554432000 4194304 4196468 140722060932128 140326520785328 140327787498114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 46760 KiB
[startup+0.700853 s]
/proc/loadavg: 8.02 8.64 8.73 2/198 2787
/proc/meminfo: memFree=23422000/32770624 swapFree=67108800/67108860
[pid=2767] ppid=2764 vsize=26105492 memory=87660 CPUtime=1 cores=0-7
/proc/2767/stat : 2767 (java) S 2764 2767 1380 0 -1 1077944320 17825 0 0 0 94 6 0 0 20 0 20 0 82768429 26732023808 21915 33554432000 4194304 4196468 140722060932128 140722060914672 140327787486967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
/proc/2767/statm: 6526373 21915 3498 1 0 6488444 0
[pid=2767/tid=2769] ppid=2764 vsize=26105492 memory=0 CPUtime=0.67 cores=0-7
/proc/2767/task/2769/stat : 2769 (java) R 2764 2767 1380 0 -1 4202560 15006 0 0 0 63 4 0 0 20 0 20 0 82768430 26732023808 21915 33554432000 4194304 4196468 140722060932128 140327791710288 140327787508893 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2770] ppid=2764 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2770/stat : 2770 (java) S 2764 2767 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82768430 26732023808 21915 33554432000 4194304 4196468 140722060932128 140327740107024 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2771] ppid=2764 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2771/stat : 2771 (java) S 2764 2767 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82768430 26732023808 21915 33554432000 4194304 4196468 140722060932128 140327739054480 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2772] ppid=2764 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2772/stat : 2772 (java) S 2764 2767 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82768430 26732023808 21915 33554432000 4194304 4196468 140722060932128 140327738001936 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2773] ppid=2764 vsize=26105492 memory=8548 CPUtime=0 cores=0-7
/proc/2767/task/2773/stat : 2773 (java) S 2764 2767 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82768430 26732023808 21915 33554432000 4194304 4196468 140722060932128 140327736949392 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2774] ppid=2764 vsize=26105492 memory=1012 CPUtime=0 cores=0-7
/proc/2767/task/2774/stat : 2774 (java) S 2764 2767 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82768431 26732023808 21915 33554432000 4194304 4196468 140722060932128 140327735896848 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2775] ppid=2764 vsize=26105492 memory=1444 CPUtime=0 cores=0-7
/proc/2767/task/2775/stat : 2775 (java) S 2764 2767 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82768431 26732023808 21915 33554432000 4194304 4196468 140722060932128 140327734844304 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2776] ppid=2764 vsize=26105492 memory=1200 CPUtime=0 cores=0-7
/proc/2767/task/2776/stat : 2776 (java) S 2764 2767 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82768431 26732023808 21915 33554432000 4194304 4196468 140722060932128 140327733791760 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2777] ppid=2764 vsize=26105492 memory=15872 CPUtime=0 cores=0-7
/proc/2767/task/2777/stat : 2777 (java) S 2764 2767 1380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82768431 26732023808 21915 33554432000 4194304 4196468 140722060932128 140327732739216 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2778] ppid=2764 vsize=26105492 memory=14872 CPUtime=0 cores=0-7
/proc/2767/task/2778/stat : 2778 (java) S 2764 2767 1380 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 82768432 26732023808 21915 33554432000 4194304 4196468 140722060932128 140326530258928 140327787498114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
################
# More data... #
################
[pid=2767/tid=2786] ppid=2764 vsize=26111636 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2786/stat : 2786 (java) S 2764 2767 1380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82768435 26738315264 35941 33554432000 4194304 4196468 140722060932128 140326521837792 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2787] ppid=2764 vsize=26111636 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2787/stat : 2787 (java) S 2764 2767 1380 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 82768435 26738315264 35941 33554432000 4194304 4196468 140722060932128 140326520785328 140327787498114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 26111636 KiB
Current children cumulated memory: 143708 KiB
[startup+2.82858 s]
# the end of solver process 2767 was just reported to runsolver
# cumulated CPU time of all completed processes: user=6.88785 s, system=0.24265 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60103 s]
/proc/loadavg: 8.02 8.64 8.73 2/198 2787
/proc/meminfo: memFree=23389616/32770624 swapFree=67108800/67108860
[pid=2767] ppid=2764 vsize=26111636 memory=167696 CPUtime=3.24 cores=0-7
/proc/2767/stat : 2767 (java) S 2764 2767 1380 0 -1 1077944320 33482 0 0 0 311 13 0 0 20 0 20 0 82768429 26738315264 41924 33554432000 4194304 4196468 140722060932128 140722060914672 140327787486967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
/proc/2767/statm: 6527909 41924 3550 1 0 6489980 0
[pid=2767/tid=2769] ppid=2764 vsize=26111636 memory=0 CPUtime=1.56 cores=0-7
/proc/2767/task/2769/stat : 2769 (java) R 2764 2767 1380 0 -1 4202560 20643 0 0 0 150 6 0 0 20 0 20 0 82768430 26738315264 41924 33554432000 4194304 4196468 140722060932128 140327791721888 140327408227059 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2770] ppid=2764 vsize=26111636 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2770/stat : 2770 (java) S 2764 2767 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82768430 26738315264 41924 33554432000 4194304 4196468 140722060932128 140327740107024 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2771] ppid=2764 vsize=26111636 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2771/stat : 2771 (java) S 2764 2767 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82768430 26738315264 41924 33554432000 4194304 4196468 140722060932128 140327739054480 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2772] ppid=2764 vsize=26111636 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2772/stat : 2772 (java) S 2764 2767 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82768430 26738315264 41924 33554432000 4194304 4196468 140722060932128 140327738001936 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2773] ppid=2764 vsize=26111636 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2773/stat : 2773 (java) S 2764 2767 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82768430 26738315264 41924 33554432000 4194304 4196468 140722060932128 140327736949392 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2774] ppid=2764 vsize=26111636 memory=4140 CPUtime=0 cores=0-7
/proc/2767/task/2774/stat : 2774 (java) S 2764 2767 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82768431 26738315264 41924 33554432000 4194304 4196468 140722060932128 140327735896848 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2775] ppid=2764 vsize=26111636 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2775/stat : 2775 (java) S 2764 2767 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82768431 26738315264 41924 33554432000 4194304 4196468 140722060932128 140327734844304 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2776] ppid=2764 vsize=26111636 memory=139932115187136 CPUtime=0 cores=0-7
/proc/2767/task/2776/stat : 2776 (java) S 2764 2767 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82768431 26738315264 41924 33554432000 4194304 4196468 140722060932128 140327733791760 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2777] ppid=2764 vsize=26111636 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2777/stat : 2777 (java) S 2764 2767 1380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82768431 26738315264 41924 33554432000 4194304 4196468 140722060932128 140327732739216 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2778] ppid=2764 vsize=26111636 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2778/stat : 2778 (java) S 2764 2767 1380 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 20 0 82768432 26738315264 41924 33554432000 4194304 4196468 140722060932128 140326530258928 140327787498114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2779] ppid=2764 vsize=26111636 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2779/stat : 2779 (java) S 2764 2767 1380 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 82768432 26738315264 41924 33554432000 4194304 4196468 140722060932128 140326529205152 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2780] ppid=2764 vsize=26111636 memory=13078175418732 CPUtime=0 cores=0-7
/proc/2767/task/2780/stat : 2780 (java) S 2764 2767 1380 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 82768433 26738315264 41924 33554432000 4194304 4196468 140722060932128 140326528152560 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2781] ppid=2764 vsize=26111636 memory=288230583166042426 CPUtime=0 cores=0-7
/proc/2767/task/2781/stat : 2781 (java) S 2764 2767 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82768435 26738315264 41924 33554432000 4194304 4196468 140722060932128 140326527101136 140327787505563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2782] ppid=2764 vsize=26111636 memory=14410423554279548 CPUtime=0.31 cores=0-7
/proc/2767/task/2782/stat : 2782 (java) R 2764 2767 1380 0 -1 4202560 2252 0 0 0 30 1 0 0 20 0 20 0 82768435 26738315264 41924 33554432000 4194304 4196468 140722060932128 140326526029768 140327770897997 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2783] ppid=2764 vsize=26111636 memory=0 CPUtime=0.32 cores=0-7
/proc/2767/task/2783/stat : 2783 (java) R 2764 2767 1380 0 -1 4202560 1681 0 0 0 31 1 0 0 20 0 20 0 82768435 26738315264 41924 33554432000 4194304 4196468 140722060932128 140326524977224 140327770987173 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2784] ppid=2764 vsize=26111636 memory=0 CPUtime=0.33 cores=0-7
/proc/2767/task/2784/stat : 2784 (java) R 2764 2767 1380 0 -1 4202560 2120 0 0 0 32 1 0 0 20 0 20 0 82768435 26738315264 41924 33554432000 4194304 4196468 140722060932128 140326523930096 140327771885373 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2785] ppid=2764 vsize=26111636 memory=0 CPUtime=0.68 cores=0-7
/proc/2767/task/2785/stat : 2785 (java) S 2764 2767 1380 0 -1 1077944384 5226 0 0 0 66 2 0 0 20 0 20 0 82768435 26738315264 41924 33554432000 4194304 4196468 140722060932128 140326522891120 140327787498114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2786] ppid=2764 vsize=26111636 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2786/stat : 2786 (java) S 2764 2767 1380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82768435 26738315264 41924 33554432000 4194304 4196468 140722060932128 140326521837792 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2787] ppid=2764 vsize=26111636 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2787/stat : 2787 (java) S 2764 2767 1380 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 82768435 26738315264 41924 33554432000 4194304 4196468 140722060932128 140326520785328 140327787498114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
Current children cumulated CPU time: 3.24 s
Current children cumulated vsize: 26111636 KiB
Current children cumulated memory: 167696 KiB
[startup+2.40088 s]
/proc/loadavg: 7.70 8.57 8.70 5/198 2787
/proc/meminfo: memFree=23251460/32770624 swapFree=67108800/67108860
[pid=2767] ppid=2764 vsize=26180248 memory=261540 CPUtime=5.75 cores=0-7
/proc/2767/stat : 2767 (java) S 2764 2767 1380 0 -1 1077944320 41048 0 0 0 556 19 0 0 20 0 21 0 82768429 26808573952 65385 33554432000 4194304 4196468 140722060932128 140722060914672 140327787486967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
/proc/2767/statm: 6545062 65385 3587 1 0 6507133 0
[pid=2767/tid=2769] ppid=2764 vsize=26180248 memory=0 CPUtime=2.31 cores=0-7
/proc/2767/task/2769/stat : 2769 (java) R 2764 2767 1380 0 -1 4202560 22074 0 0 0 224 7 0 0 20 0 21 0 82768430 26808573952 65385 33554432000 4194304 4196468 140722060932128 140327791720304 140327772731255 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2770] ppid=2764 vsize=26180248 memory=0 CPUtime=0.01 cores=0-7
/proc/2767/task/2770/stat : 2770 (java) S 2764 2767 1380 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 21 0 82768430 26808573952 65385 33554432000 4194304 4196468 140722060932128 140327740107024 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2771] ppid=2764 vsize=26180248 memory=0 CPUtime=0.01 cores=0-7
/proc/2767/task/2771/stat : 2771 (java) S 2764 2767 1380 0 -1 1077944384 140 0 0 0 1 0 0 0 20 0 21 0 82768430 26808573952 65385 33554432000 4194304 4196468 140722060932128 140327739054480 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2772] ppid=2764 vsize=26180248 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2772/stat : 2772 (java) S 2764 2767 1380 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 21 0 82768430 26808573952 65385 33554432000 4194304 4196468 140722060932128 140327738001936 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2773] ppid=2764 vsize=26180248 memory=3472328296160571439 CPUtime=0 cores=0-7
/proc/2767/task/2773/stat : 2773 (java) S 2764 2767 1380 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 21 0 82768430 26808573952 65385 33554432000 4194304 4196468 140722060932128 140327736949392 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2774] ppid=2764 vsize=26180248 memory=6944656592455360604 CPUtime=0.01 cores=0-7
/proc/2767/task/2774/stat : 2774 (java) S 2764 2767 1380 0 -1 1077944384 60 0 0 0 1 0 0 0 20 0 21 0 82768431 26808573952 65385 33554432000 4194304 4196468 140722060932128 140327735896848 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2775] ppid=2764 vsize=26180248 memory=6944656592455097440 CPUtime=0.01 cores=0-7
/proc/2767/task/2775/stat : 2775 (java) S 2764 2767 1380 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 21 0 82768431 26808573952 65385 33554432000 4194304 4196468 140722060932128 140327734844304 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2776] ppid=2764 vsize=26180248 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/2767/task/2776/stat : 2776 (java) S 2764 2767 1380 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 21 0 82768431 26808573952 65385 33554432000 4194304 4196468 140722060932128 140327733791760 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2777] ppid=2764 vsize=26180248 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/2767/task/2777/stat : 2777 (java) S 2764 2767 1380 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 21 0 82768431 26808573952 65385 33554432000 4194304 4196468 140722060932128 140327732739216 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2778] ppid=2764 vsize=26180248 memory=6944656592387989600 CPUtime=0.02 cores=0-7
/proc/2767/task/2778/stat : 2778 (java) S 2764 2767 1380 0 -1 1077944384 1307 0 0 0 2 0 0 0 20 0 21 0 82768432 26808573952 65385 33554432000 4194304 4196468 140722060932128 140326530258928 140327787498114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2779] ppid=2764 vsize=26180248 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/2767/task/2779/stat : 2779 (java) S 2764 2767 1380 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 21 0 82768432 26808573952 65385 33554432000 4194304 4196468 140722060932128 140326529205216 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2780] ppid=2764 vsize=26180248 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/2767/task/2780/stat : 2780 (java) S 2764 2767 1380 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 21 0 82768433 26808573952 65385 33554432000 4194304 4196468 140722060932128 140326528152576 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2781] ppid=2764 vsize=26180248 memory=-8383301570218270069 CPUtime=0 cores=0-7
/proc/2767/task/2781/stat : 2781 (java) S 2764 2767 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 82768435 26808573952 65385 33554432000 4194304 4196468 140722060932128 140326527101136 140327787505563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2782] ppid=2764 vsize=26180248 memory=7100839887184827521 CPUtime=0.79 cores=0-7
/proc/2767/task/2782/stat : 2782 (java) S 2764 2767 1380 0 -1 1077944384 3611 0 0 0 77 2 0 0 20 0 21 0 82768435 26808573952 65385 33554432000 4194304 4196468 140722060932128 140326526048752 140327787498114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2783] ppid=2764 vsize=26180248 memory=0 CPUtime=0.86 cores=0-7
/proc/2767/task/2783/stat : 2783 (java) S 2764 2767 1380 0 -1 1077944384 3149 0 0 0 85 1 0 0 20 0 21 0 82768435 26808573952 65385 33554432000 4194304 4196468 140722060932128 140326524996208 140327787498114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2784] ppid=2764 vsize=26180248 memory=0 CPUtime=0.8 cores=0-7
/proc/2767/task/2784/stat : 2784 (java) S 2764 2767 1380 0 -1 1077944384 2905 0 0 0 79 1 0 0 20 0 21 0 82768435 26808573952 65385 33554432000 4194304 4196468 140722060932128 140326523943664 140327787498114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2785] ppid=2764 vsize=26180248 memory=0 CPUtime=0.79 cores=0-7
/proc/2767/task/2785/stat : 2785 (java) S 2764 2767 1380 0 -1 1077944384 6029 0 0 0 76 3 0 0 20 0 21 0 82768435 26808573952 65385 33554432000 4194304 4196468 140722060932128 140326522891120 140327787498114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2786] ppid=2764 vsize=26180248 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2786/stat : 2786 (java) S 2764 2767 1380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 82768435 26808573952 65385 33554432000 4194304 4196468 140722060932128 140326521837792 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2787] ppid=2764 vsize=26180248 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2787/stat : 2787 (java) S 2764 2767 1380 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 21 0 82768435 26808573952 65385 33554432000 4194304 4196468 140722060932128 140326520785328 140327787498114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
Current children cumulated CPU time: 5.75 s
Current children cumulated vsize: 26180248 KiB
Current children cumulated memory: 261540 KiB
[startup+2.80088 s]
/proc/loadavg: 7.70 8.57 8.70 5/198 2787
/proc/meminfo: memFree=23251460/32770624 swapFree=67108800/67108860
[pid=2767] ppid=2764 vsize=27051760 memory=269744 CPUtime=7.09 cores=0-7
/proc/2767/stat : 2767 (java) S 2764 2767 1380 0 -1 1077944320 45184 0 0 0 688 21 0 0 20 0 33 0 82768429 27701002240 67436 33554432000 4194304 4196468 140722060932128 140722060914672 140327787486967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
/proc/2767/statm: 6762940 67436 3597 1 0 6724490 0
[pid=2767/tid=2769] ppid=2764 vsize=27051760 memory=0 CPUtime=2.57 cores=0-7
/proc/2767/task/2769/stat : 2769 (java) S 2764 2767 1380 0 -1 1077944384 23534 0 0 0 249 8 0 0 20 0 32 0 82768430 27701002240 67436 33554432000 4194304 4196468 140722060932128 140327791724432 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2770] ppid=2764 vsize=27051760 memory=0 CPUtime=0.01 cores=0-7
/proc/2767/task/2770/stat : 2770 (java) S 2764 2767 1380 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 32 0 82768430 27701002240 67436 33554432000 4194304 4196468 140722060932128 140327740107024 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2771] ppid=2764 vsize=27051760 memory=279864230316512 CPUtime=0.01 cores=0-7
/proc/2767/task/2771/stat : 2771 (java) S 2764 2767 1380 0 -1 1077944384 140 0 0 0 1 0 0 0 20 0 32 0 82768430 27701002240 67436 33554432000 4194304 4196468 140722060932128 140327739054480 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2772] ppid=2764 vsize=27051760 memory=139932115172240 CPUtime=0 cores=0-7
/proc/2767/task/2772/stat : 2772 (java) S 2764 2767 1380 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 32 0 82768430 27701002240 67436 33554432000 4194304 4196468 140722060932128 140327738001936 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2773] ppid=2764 vsize=27051760 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2773/stat : 2773 (java) S 2764 2767 1380 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 32 0 82768430 27701002240 67436 33554432000 4194304 4196468 140722060932128 140327736949392 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2774] ppid=2764 vsize=27051760 memory=0 CPUtime=0.01 cores=0-7
/proc/2767/task/2774/stat : 2774 (java) S 2764 2767 1380 0 -1 1077944384 60 0 0 0 1 0 0 0 20 0 32 0 82768431 27701002240 67436 33554432000 4194304 4196468 140722060932128 140327735896848 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2775] ppid=2764 vsize=27051760 memory=0 CPUtime=0.01 cores=0-7
/proc/2767/task/2775/stat : 2775 (java) S 2764 2767 1380 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 32 0 82768431 27701002240 67436 33554432000 4194304 4196468 140722060932128 140327734844304 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2776] ppid=2764 vsize=27051760 memory=0 CPUtime=0 cores=0-7
/proc/2767/task/2776/stat : 2776 (java) S 2764 2767 1380 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 32 0 82768431 27701002240 67436 33554432000 4194304 4196468 140722060932128 140327733791760 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2777] ppid=2764 vsize=27051760 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/2767/task/2777/stat : 2777 (java) S 2764 2767 1380 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 32 0 82768431 27701002240 67436 33554432000 4194304 4196468 140722060932128 140327732739216 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2778] ppid=2764 vsize=27051760 memory=0 CPUtime=0.02 cores=0-7
/proc/2767/task/2778/stat : 2778 (java) S 2764 2767 1380 0 -1 1077944384 1308 0 0 0 2 0 0 0 20 0 32 0 82768432 27701002240 67436 33554432000 4194304 4196468 140722060932128 140326530258928 140327787498114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2779] ppid=2764 vsize=27051760 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/2767/task/2779/stat : 2779 (java) S 2764 2767 1380 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 32 0 82768432 27701002240 67436 33554432000 4194304 4196468 140722060932128 140326529205216 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2780] ppid=2764 vsize=27051760 memory=131264 CPUtime=0 cores=0-7
/proc/2767/task/2780/stat : 2780 (java) S 2764 2767 1380 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 32 0 82768433 27701002240 67436 33554432000 4194304 4196468 140722060932128 140326528152576 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2781] ppid=2764 vsize=27051760 memory=279864230150864 CPUtime=0 cores=0-7
/proc/2767/task/2781/stat : 2781 (java) S 2764 2767 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 32 0 82768435 27701002240 67436 33554432000 4194304 4196468 140722060932128 140326527101136 140327787505563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2782] ppid=2764 vsize=27051760 memory=247008 CPUtime=0.93 cores=0-7
/proc/2767/task/2782/stat : 2782 (java) S 2764 2767 1380 0 -1 1077944384 3763 0 0 0 91 2 0 0 20 0 32 0 82768435 27701002240 67436 33554432000 4194304 4196468 140722060932128 140326526048752 140327787498114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2783] ppid=2764 vsize=27051760 memory=279864230122176 CPUtime=1.01 cores=0-7
/proc/2767/task/2783/stat : 2783 (java) R 2764 2767 1380 0 -1 4202560 3396 0 0 0 100 1 0 0 20 0 32 0 82768435 27701002240 67436 33554432000 4194304 4196468 140722060932128 140326524996208 140327766732943 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2784] ppid=2764 vsize=27051760 memory=279864230122368 CPUtime=0.92 cores=0-7
/proc/2767/task/2784/stat : 2784 (java) S 2764 2767 1380 0 -1 1077944384 3151 0 0 0 91 1 0 0 20 0 32 0 82768435 27701002240 67436 33554432000 4194304 4196468 140722060932128 140326523943664 140327787498114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2785] ppid=2764 vsize=27051760 memory=279864230122560 CPUtime=0.94 cores=0-7
/proc/2767/task/2785/stat : 2785 (java) R 2764 2767 1380 0 -1 4202560 7071 0 0 0 91 3 0 0 20 0 32 0 82768435 27701002240 67436 33554432000 4194304 4196468 140722060932128 140326522886880 140327787508314 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2786] ppid=2764 vsize=27051760 memory=279864230100672 CPUtime=0 cores=0-7
/proc/2767/task/2786/stat : 2786 (java) S 2764 2767 1380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 32 0 82768435 27701002240 67436 33554432000 4194304 4196468 140722060932128 140326521837792 140327787497173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
[pid=2767/tid=2787] ppid=2764 vsize=27051760 memory=279864229824288 CPUtime=0 cores=0-7
/proc/2767/task/2787/stat : 2787 (java) S 2764 2767 1380 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 32 0 82768435 27701002240 67436 33554432000 4194304 4196468 140722060932128 140326520785328 140327787498114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35885056 140722060936269 140722060936453 140722060936453 140722060939215 0
Current children cumulated CPU time: 7.09 s
Current children cumulated vsize: 27051760 KiB
Current children cumulated memory: 269744 KiB
Child status: 0
Real time (s): 2.82862
CPU time (s): 7.1305
CPU user time (s): 6.88785
CPU system time (s): 0.24265
CPU usage (%): 252.084
Max. virtual memory (cumulated for all children) (KiB): 27051760
Max. memory (cumulated for all children) (KiB): 269744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.88785
system time used= 0.24265
maximum resident set size= 271384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45241
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6276
involuntary context switches= 53
# summary of solver processes directly reported to runsolver:
# pid: 2767
# total CPU time (s): 7.1305
# total CPU user time (s): 6.88785
# total CPU system time (s): 0.24265
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033827 second user time and 0.070639 second system time
The end
Begin job on node104 at 2018-07-27 02:40:52
IDJOB=4291205
IDBENCH=141331
IDSOLVER=2745
FILE ID=node104/4291205-1532652052
RUNJOBID= node104-1532644131-1407
PBS_JOBID= 21022199
Free space on /tmp= 48344 MiB
SOLVER NAME= OscaR - Parallel with EPS 2018-07-02
BENCH NAME= XCSP18/Bibd/Bibd-sc-07-03-01_c18.xml
COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291205-1532652052/watcher-4291205-1532652052 -o /tmp/evaluation-result-4291205-1532652052/solver-4291205-1532652052 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1532644131-1407 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1836271027 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291205-1532652052.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= c825423b6f6dd90e2ab011227fbd0e9e
RANDOM SEED=1836271027
node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.11
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.11
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.11
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.11
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 23478484 kB
MemAvailable: 31928900 kB
Buffers: 181224 kB
Cached: 8485872 kB
SwapCached: 60 kB
Active: 4032636 kB
Inactive: 4687612 kB
Active(anon): 3052 kB
Inactive(anon): 78012 kB
Active(file): 4029584 kB
Inactive(file): 4609600 kB
Unevictable: 7168 kB
Mlocked: 7168 kB
SwapTotal: 67108860 kB
SwapFree: 67108800 kB
Dirty: 35784 kB
Writeback: 36 kB
AnonPages: 59204 kB
Mapped: 41260 kB
Shmem: 25168 kB
Slab: 267112 kB
SReclaimable: 239692 kB
SUnreclaim: 27420 kB
KernelStack: 3200 kB
PageTables: 4836 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 324456 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 116096 kB
DirectMap2M: 33429504 kB
Free space on /tmp at the end= 48312 MiB
End job on node104 at 2018-07-27 02:40:56