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 (15010 MiB free)
memory of node 1: 16384 MiB (15751 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270433-1502624393/watcher-4270433-1502624393 -o /tmp/evaluation-result-4270433-1502624393/solver-4270433-1502624393 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node106-1502620090-31366 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1313334171 HOME/instance-4270433-1502624393.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=1782, runsolver pid=1779
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 1.77 1.92 1.92 3/217 1798
/proc/meminfo: memFree=31485220/32770624 swapFree=67108860/67108860
[pid=1782] ppid=1779 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1782/stat : 1782 (xcsp3-exec) S 1779 1782 28385 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95527103 9740288 345 33554432000 4194304 5098028 140726022152288 140726022150392 140625939210876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37646336 140726022153332 140726022153536 140726022153536 140726022156267 0
/proc/1782/statm: 2378 345 289 221 0 87 0
[pid=1784] ppid=1782 vsize=13978596 memory=26472 CPUtime=0.12 cores=1,3,5,7
/proc/1784/stat : 1784 (java) S 1782 1782 28385 0 -1 1077944320 5528 0 0 0 11 1 0 0 20 0 15 0 95527103 14314082304 6618 33554432000 4194304 4196468 140730586499152 140730586481696 140345606835959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
/proc/1784/statm: 3494649 6618 2857 1 0 3482966 0
[pid=1784/tid=1785] ppid=1782 vsize=13978596 memory=7031125463459224206 CPUtime=0.08 cores=1,3,5,7
/proc/1784/task/1785/stat : 1785 (java) R 1782 1782 28385 0 -1 4202560 3509 0 0 0 8 0 0 0 20 0 15 0 95527104 14314082304 6618 33554432000 4194304 4196468 140730586499152 140345611067648 140345606847894 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1786] ppid=1782 vsize=13978596 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1786/stat : 1786 (java) S 1782 1782 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95527104 14314082304 6618 33554432000 4194304 4196468 140730586499152 140345574395024 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1787] ppid=1782 vsize=13978596 memory=140264015361664 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1787/stat : 1787 (java) S 1782 1782 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95527104 14314082304 6618 33554432000 4194304 4196468 140730586499152 140345201327120 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1788] ppid=1782 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1788/stat : 1788 (java) S 1782 1782 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95527104 14314082304 6618 33554432000 4194304 4196468 140730586499152 140345200274320 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1789] ppid=1782 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1789/stat : 1789 (java) S 1782 1782 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95527104 14314082304 6618 33554432000 4194304 4196468 140730586499152 140345199221520 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1790] ppid=1782 vsize=13978596 memory=140264015361664 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1790/stat : 1790 (java) S 1782 1782 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95527106 14314082304 6618 33554432000 4194304 4196468 140730586499152 140344586353008 140345606847106 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1791] ppid=1782 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1791/stat : 1791 (java) S 1782 1782 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95527106 14314082304 6618 33554432000 4194304 4196468 140730586499152 140344585298976 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1792] ppid=1782 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1792/stat : 1792 (java) S 1782 1782 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95527106 14314082304 6618 33554432000 4194304 4196468 140730586499152 140344584246128 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1793] ppid=1782 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1793/stat : 1793 (java) S 1782 1782 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95527109 14314082304 6618 33554432000 4194304 4196468 140730586499152 140344583194448 140345606854555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1794] ppid=1782 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1794/stat : 1794 (java) S 1782 1782 28385 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 15 0 95527109 14314082304 6618 33554432000 4194304 4196468 140730586499152 140344582142832 140345606847106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1795] ppid=1782 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1795/stat : 1795 (java) S 1782 1782 28385 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 95527109 14314082304 6618 33554432000 4194304 4196468 140730586499152 140344581090032 140345606847106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1796] ppid=1782 vsize=13978596 memory=140264015361664 CPUtime=0.01 cores=1,3,5,7
/proc/1784/task/1796/stat : 1796 (java) R 1782 1782 28385 0 -1 4202560 286 0 0 0 1 0 0 0 20 0 15 0 95527109 14314082304 6618 33554432000 4194304 4196468 140730586499152 140344580037232 140345599940662 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1797] ppid=1782 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1797/stat : 1797 (java) S 1782 1782 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95527109 14314082304 6618 33554432000 4194304 4196468 140730586499152 140344578984672 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1798] ppid=1782 vsize=13978596 memory=140264015361664 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1798/stat : 1798 (java) S 1782 1782 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95527109 14314082304 6618 33554432000 4194304 4196468 140730586499152 140344577931952 140345606847106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 27852 KiB
[startup+0.210904 s]*
/proc/loadavg: 1.77 1.92 1.92 3/217 1798
/proc/meminfo: memFree=31473328/32770624 swapFree=67108860/67108860
[pid=1782] ppid=1779 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1782/stat : 1782 (xcsp3-exec) S 1779 1782 28385 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95527103 9740288 345 33554432000 4194304 5098028 140726022152288 140726022150392 140625939210876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37646336 140726022153332 140726022153536 140726022153536 140726022156267 0
/proc/1782/statm: 2378 345 289 221 0 87 0
[pid=1784] ppid=1782 vsize=13982852 memory=38836 CPUtime=0.34 cores=1,3,5,7
/proc/1784/stat : 1784 (java) S 1782 1782 28385 0 -1 1077944320 8266 0 0 0 32 2 0 0 20 0 15 0 95527103 14318440448 9709 33554432000 4194304 4196468 140730586499152 140730586481696 140345606835959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
/proc/1784/statm: 3495713 9709 3064 1 0 3482966 0
[pid=1784/tid=1785] ppid=1782 vsize=13982852 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/1784/task/1785/stat : 1785 (java) R 1782 1782 28385 0 -1 4202560 5337 0 0 0 19 1 0 0 20 0 15 0 95527104 14318440448 9709 33554432000 4194304 4196468 140730586499152 140345611056768 140345589243523 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1786] ppid=1782 vsize=13982852 memory=4294980891 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1786/stat : 1786 (java) S 1782 1782 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95527104 14318440448 9709 33554432000 4194304 4196468 140730586499152 140345574395024 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1787] ppid=1782 vsize=13982852 memory=140264015700044 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1787/stat : 1787 (java) S 1782 1782 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95527104 14318440448 9709 33554432000 4194304 4196468 140730586499152 140345201327120 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1788] ppid=1782 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1788/stat : 1788 (java) S 1782 1782 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95527104 14318440448 9709 33554432000 4194304 4196468 140730586499152 140345200274320 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1789] ppid=1782 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1789/stat : 1789 (java) S 1782 1782 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95527104 14318440448 9709 33554432000 4194304 4196468 140730586499152 140345199221520 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1790] ppid=1782 vsize=13982852 memory=140264015361664 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1790/stat : 1790 (java) S 1782 1782 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95527106 14318440448 9709 33554432000 4194304 4196468 140730586499152 140344586353008 140345606847106 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1791] ppid=1782 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1791/stat : 1791 (java) S 1782 1782 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95527106 14318440448 9709 33554432000 4194304 4196468 140730586499152 140344585298976 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1792] ppid=1782 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1792/stat : 1792 (java) S 1782 1782 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95527106 14318440448 9709 33554432000 4194304 4196468 140730586499152 140344584246128 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1793] ppid=1782 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1793/stat : 1793 (java) S 1782 1782 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95527109 14318440448 9709 33554432000 4194304 4196468 140730586499152 140344583194448 140345606854555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1794] ppid=1782 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/1784/task/1794/stat : 1794 (java) S 1782 1782 28385 0 -1 1077944384 498 0 0 0 3 0 0 0 20 0 15 0 95527109 14318440448 9709 33554432000 4194304 4196468 140730586499152 140344582142832 140345606847106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1795] ppid=1782 vsize=13982852 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/1784/task/1795/stat : 1795 (java) S 1782 1782 28385 0 -1 1077944384 298 0 0 0 1 0 0 0 20 0 15 0 95527109 14318440448 9709 33554432000 4194304 4196468 140730586499152 140344581090032 140345606847106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1796] ppid=1782 vsize=13982852 memory=140264015361664 CPUtime=0.08 cores=1,3,5,7
/proc/1784/task/1796/stat : 1796 (java) R 1782 1782 28385 0 -1 4202560 846 0 0 0 8 0 0 0 20 0 15 0 95527109 14318440448 9709 33554432000 4194304 4196468 140730586499152 140344580037232 140345590916446 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1797] ppid=1782 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1797/stat : 1797 (java) S 1782 1782 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95527109 14318440448 9709 33554432000 4194304 4196468 140730586499152 140344578984672 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1798] ppid=1782 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1798/stat : 1798 (java) S 1782 1782 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95527109 14318440448 9709 33554432000 4194304 4196468 140730586499152 140344577931952 140345606847106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 40216 KiB
[startup+0.310773 s]*
/proc/loadavg: 1.77 1.92 1.92 4/217 1798
/proc/meminfo: memFree=31465760/32770624 swapFree=67108860/67108860
[pid=1782] ppid=1779 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1782/stat : 1782 (xcsp3-exec) S 1779 1782 28385 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95527103 9740288 345 33554432000 4194304 5098028 140726022152288 140726022150392 140625939210876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37646336 140726022153332 140726022153536 140726022153536 140726022156267 0
/proc/1782/statm: 2378 345 289 221 0 87 0
[pid=1784] ppid=1782 vsize=13982852 memory=46452 CPUtime=0.51 cores=1,3,5,7
/proc/1784/stat : 1784 (java) S 1782 1782 28385 0 -1 1077944320 9270 0 0 0 48 3 0 0 20 0 15 0 95527103 14318440448 11613 33554432000 4194304 4196468 140730586499152 140730586481696 140345606835959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
/proc/1784/statm: 3495713 11613 3108 1 0 3482966 0
[pid=1784/tid=1785] ppid=1782 vsize=13982852 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/1784/task/1785/stat : 1785 (java) R 1782 1782 28385 0 -1 4202560 5999 0 0 0 28 2 0 0 20 0 15 0 95527104 14318440448 11679 33554432000 4194304 4196468 140730586499152 140345611066752 140345242926599 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1786] ppid=1782 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1786/stat : 1786 (java) S 1782 1782 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95527104 14318440448 11679 33554432000 4194304 4196468 140730586499152 140345574395024 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1787] ppid=1782 vsize=13982852 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1787/stat : 1787 (java) S 1782 1782 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95527104 14318440448 11679 33554432000 4194304 4196468 140730586499152 140345201327120 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1788] ppid=1782 vsize=13982852 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1788/stat : 1788 (java) S 1782 1782 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95527104 14318440448 11679 33554432000 4194304 4196468 140730586499152 140345200274320 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1789] ppid=1782 vsize=13982852 memory=640 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1789/stat : 1789 (java) S 1782 1782 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95527104 14318440448 11679 33554432000 4194304 4196468 140730586499152 140345199221520 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1790] ppid=1782 vsize=13982852 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1790/stat : 1790 (java) S 1782 1782 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95527106 14318440448 11679 33554432000 4194304 4196468 140730586499152 140344586353008 140345606847106 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1791] ppid=1782 vsize=13982852 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1791/stat : 1791 (java) S 1782 1782 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95527106 14318440448 11679 33554432000 4194304 4196468 140730586499152 140344585298976 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1792] ppid=1782 vsize=13982852 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1792/stat : 1792 (java) S 1782 1782 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95527106 14318440448 11679 33554432000 4194304 4196468 140730586499152 140344584246128 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1793] ppid=1782 vsize=13982852 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1793/stat : 1793 (java) S 1782 1782 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95527109 14318440448 11679 33554432000 4194304 4196468 140730586499152 140344583194448 140345606854555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1794] ppid=1782 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/1784/task/1794/stat : 1794 (java) R 1782 1782 28385 0 -1 1077944384 599 0 0 0 4 0 0 0 20 0 15 0 95527109 14318440448 11679 33554432000 4194304 4196468 140730586499152 140344582142832 140345606847106 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1795] ppid=1782 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1784/task/1795/stat : 1795 (java) R 1782 1782 28385 0 -1 4202560 336 0 0 0 2 0 0 0 20 0 15 0 95527109 14318440448 11679 33554432000 4194304 4196468 140730586499152 140344581090032 140345584716112 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1796] ppid=1782 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/1784/task/1796/stat : 1796 (java) R 1782 1782 28385 0 -1 4202560 1056 0 0 0 13 0 0 0 20 0 15 0 95527109 14318440448 11679 33554432000 4194304 4196468 140730586499152 140344580033968 140345599932795 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1797] ppid=1782 vsize=13982852 memory=-1161699032755964503 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1797/stat : 1797 (java) S 1782 1782 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95527109 14318440448 11679 33554432000 4194304 4196468 140730586499152 140344578984672 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1798] ppid=1782 vsize=13982852 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1798/stat : 1798 (java) S 1782 1782 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95527109 14318440448 11679 33554432000 4194304 4196468 140730586499152 140344577931952 140345606847106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 47832 KiB
[startup+0.700777 s]
/proc/loadavg: 1.77 1.92 1.92 6/217 1798
/proc/meminfo: memFree=31437904/32770624 swapFree=67108860/67108860
[pid=1782] ppid=1779 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1782/stat : 1782 (xcsp3-exec) S 1779 1782 28385 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95527103 9740288 345 33554432000 4194304 5098028 140726022152288 140726022150392 140625939210876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37646336 140726022153332 140726022153536 140726022153536 140726022156267 0
/proc/1782/statm: 2378 345 289 221 0 87 0
[pid=1784] ppid=1782 vsize=13984976 memory=102884 CPUtime=1.69 cores=1,3,5,7
/proc/1784/stat : 1784 (java) S 1782 1782 28385 0 -1 1077944320 12727 0 0 0 163 6 0 0 20 0 15 0 95527103 14320615424 25721 33554432000 4194304 4196468 140730586499152 140730586481696 140345606835959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
/proc/1784/statm: 3496244 25721 3199 1 0 3483478 0
[pid=1784/tid=1785] ppid=1782 vsize=13984976 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/1784/task/1785/stat : 1785 (java) R 1782 1782 28385 0 -1 4202560 6609 0 0 0 63 3 0 0 20 0 15 0 95527104 14320615424 25721 33554432000 4194304 4196468 140730586499152 140345611064448 140345606857885 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1786] ppid=1782 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1786/stat : 1786 (java) S 1782 1782 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95527104 14320615424 25721 33554432000 4194304 4196468 140730586499152 140345574395024 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1787] ppid=1782 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1787/stat : 1787 (java) S 1782 1782 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95527104 14320615424 25721 33554432000 4194304 4196468 140730586499152 140345201327120 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1788] ppid=1782 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1788/stat : 1788 (java) S 1782 1782 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95527104 14320615424 25721 33554432000 4194304 4196468 140730586499152 140345200274320 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1789] ppid=1782 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1789/stat : 1789 (java) S 1782 1782 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95527104 14320615424 25721 33554432000 4194304 4196468 140730586499152 140345199221520 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1790] ppid=1782 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1790/stat : 1790 (java) S 1782 1782 28385 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95527106 14320615424 25721 33554432000 4194304 4196468 140730586499152 140344586353008 140345606847106 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1791] ppid=1782 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1791/stat : 1791 (java) S 1782 1782 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95527106 14320615424 25721 33554432000 4194304 4196468 140730586499152 140344585298976 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1792] ppid=1782 vsize=13984976 memory=138 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1792/stat : 1792 (java) S 1782 1782 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95527106 14320615424 25721 33554432000 4194304 4196468 140730586499152 140344584246128 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1793] ppid=1782 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1793/stat : 1793 (java) S 1782 1782 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95527109 14320615424 25721 33554432000 4194304 4196468 140730586499152 140344583194448 140345606854555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1794] ppid=1782 vsize=13984976 memory=2 CPUtime=0.34 cores=1,3,5,7
/proc/1784/task/1794/stat : 1794 (java) S 1782 1782 28385 0 -1 1077944384 1655 0 0 0 34 0 0 0 20 0 15 0 95527109 14320615424 25721 33554432000 4194304 4196468 140730586499152 140344582142832 140345606847106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1795] ppid=1782 vsize=13984976 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/1784/task/1795/stat : 1795 (java) S 1782 1782 28385 0 -1 1077944384 1311 0 0 0 31 1 0 0 20 0 15 0 95527109 14320615424 25721 33554432000 4194304 4196468 140730586499152 140344581090032 140345606847106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1796] ppid=1782 vsize=13984976 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/1784/task/1796/stat : 1796 (java) S 1782 1782 28385 0 -1 1077944384 1844 0 0 0 34 0 0 0 20 0 15 0 95527109 14320615424 25721 33554432000 4194304 4196468 140730586499152 140344580037232 140345606847106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1797] ppid=1782 vsize=13984976 memory=10 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1797/stat : 1797 (java) S 1782 1782 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95527109 14320615424 25721 33554432000 4194304 4196468 140730586499152 140344578984672 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1798] ppid=1782 vsize=13984976 memory=17692 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1798/stat : 1798 (java) S 1782 1782 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95527109 14320615424 25721 33554432000 4194304 4196468 140730586499152 140344577931952 140345606847106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 104264 KiB
[startup+1.50087 s]
/proc/loadavg: 1.77 1.92 1.92 5/217 1798
/proc/meminfo: memFree=31381000/32770624 swapFree=67108860/67108860
[pid=1782] ppid=1779 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1782/stat : 1782 (xcsp3-exec) S 1779 1782 28385 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95527103 9740288 345 33554432000 4194304 5098028 140726022152288 140726022150392 140625939210876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37646336 140726022153332 140726022153536 140726022153536 140726022156267 0
/proc/1782/statm: 2378 345 289 221 0 87 0
################
# More data... #
################
/proc/1782/stat : 1782 (xcsp3-exec) S 1779 1782 28385 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95527103 9740288 345 33554432000 4194304 5098028 140726022152288 140726022150392 140625939210876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37646336 140726022153332 140726022153536 140726022153536 140726022156267 0
/proc/1782/statm: 2378 345 289 221 0 87 0
[pid=1784] ppid=1782 vsize=13984976 memory=236720 CPUtime=183.46 cores=1,3,5,7
/proc/1784/stat : 1784 (java) S 1782 1782 28385 0 -1 1077944320 56533 0 0 0 18327 19 0 0 20 0 15 0 95527103 14320615424 59180 33554432000 4194304 4196468 140730586499152 140730586481696 140345606835959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
/proc/1784/statm: 3496244 59180 3264 1 0 3483478 0
[pid=1784/tid=1785] ppid=1782 vsize=13984976 memory=236720 CPUtime=177.51 cores=1,3,5,7
/proc/1784/task/1785/stat : 1785 (java) R 1782 1782 28385 0 -1 4202560 12873 0 0 0 17746 5 0 0 20 0 15 0 95527104 14320615424 59180 33554432000 4194304 4196468 140730586499152 140345611075680 140345248482593 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1786] ppid=1782 vsize=13984976 memory=8112282956445269571 CPUtime=0.02 cores=1,3,5,7
/proc/1784/task/1786/stat : 1786 (java) S 1782 1782 28385 0 -1 1077944384 1606 0 0 0 1 1 0 0 20 0 15 0 95527104 14320615424 59180 33554432000 4194304 4196468 140730586499152 140345574395024 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1787] ppid=1782 vsize=13984976 memory=8560 CPUtime=0.01 cores=1,3,5,7
/proc/1784/task/1787/stat : 1787 (java) S 1782 1782 28385 0 -1 1077944384 943 0 0 0 1 0 0 0 20 0 15 0 95527104 14320615424 59180 33554432000 4194304 4196468 140730586499152 140345201327120 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1788] ppid=1782 vsize=13984976 memory=1228 CPUtime=0.02 cores=1,3,5,7
/proc/1784/task/1788/stat : 1788 (java) S 1782 1782 28385 0 -1 1077944384 252 0 0 0 1 1 0 0 20 0 15 0 95527104 14320615424 59180 33554432000 4194304 4196468 140730586499152 140345200274320 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1789] ppid=1782 vsize=13984976 memory=12028 CPUtime=0.01 cores=1,3,5,7
/proc/1784/task/1789/stat : 1789 (java) S 1782 1782 28385 0 -1 1077944384 1458 0 0 0 1 0 0 0 20 0 15 0 95527104 14320615424 59180 33554432000 4194304 4196468 140730586499152 140345199221520 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1790] ppid=1782 vsize=13984976 memory=5668 CPUtime=0.01 cores=1,3,5,7
/proc/1784/task/1790/stat : 1790 (java) S 1782 1782 28385 0 -1 1077944384 1003 0 0 0 1 0 0 0 20 0 15 0 95527106 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344586353008 140345606847106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1791] ppid=1782 vsize=13984976 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1791/stat : 1791 (java) S 1782 1782 28385 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 95527106 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344585298976 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1792] ppid=1782 vsize=13984976 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1792/stat : 1792 (java) S 1782 1782 28385 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 95527106 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344584246128 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1793] ppid=1782 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1793/stat : 1793 (java) S 1782 1782 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95527109 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344583194448 140345606854555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1794] ppid=1782 vsize=13984976 memory=956 CPUtime=2.53 cores=1,3,5,7
/proc/1784/task/1794/stat : 1794 (java) S 1782 1782 28385 0 -1 1077944384 14378 0 0 0 251 2 0 0 20 0 15 0 95527109 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344582142832 140345606847106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1795] ppid=1782 vsize=13984976 memory=4096 CPUtime=2.47 cores=1,3,5,7
/proc/1784/task/1795/stat : 1795 (java) S 1782 1782 28385 0 -1 1077944384 12904 0 0 0 245 2 0 0 20 0 15 0 95527109 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344581090032 140345606847106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 20 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1796] ppid=1782 vsize=13984976 memory=1160 CPUtime=0.73 cores=1,3,5,7
/proc/1784/task/1796/stat : 1796 (java) S 1782 1782 28385 0 -1 1077944384 8265 0 0 0 72 1 0 0 20 0 15 0 95527109 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344580037232 140345606847106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1797] ppid=1782 vsize=13984976 memory=3088 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1797/stat : 1797 (java) S 1782 1782 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95527109 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344578984672 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1798] ppid=1782 vsize=13984976 memory=1380 CPUtime=0.04 cores=1,3,5,7
/proc/1784/task/1798/stat : 1798 (java) S 1782 1782 28385 0 -1 1077944384 1468 0 0 0 2 2 0 0 20 0 15 0 95527109 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344577931952 140345606847106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 32 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
Current children cumulated CPU time: 183.46 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 238100 KiB
[startup+178.401 s]
/proc/loadavg: 2.44 2.11 1.99 3/217 1801
/proc/meminfo: memFree=31179384/32770624 swapFree=67108860/67108860
[pid=1782] ppid=1779 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1782/stat : 1782 (xcsp3-exec) S 1779 1782 28385 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95527103 9740288 345 33554432000 4194304 5098028 140726022152288 140726022150392 140625939210876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37646336 140726022153332 140726022153536 140726022153536 140726022156267 0
/proc/1782/statm: 2378 345 289 221 0 87 0
[pid=1784] ppid=1782 vsize=13984976 memory=236720 CPUtime=184.26 cores=1,3,5,7
/proc/1784/stat : 1784 (java) S 1782 1782 28385 0 -1 1077944320 56533 0 0 0 18407 19 0 0 20 0 15 0 95527103 14320615424 59180 33554432000 4194304 4196468 140730586499152 140730586481696 140345606835959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
/proc/1784/statm: 3496244 59180 3264 1 0 3483478 0
[pid=1784/tid=1785] ppid=1782 vsize=13984976 memory=236720 CPUtime=178.31 cores=1,3,5,7
/proc/1784/task/1785/stat : 1785 (java) R 1782 1782 28385 0 -1 4202560 12873 0 0 0 17826 5 0 0 20 0 15 0 95527104 14320615424 59180 33554432000 4194304 4196468 140730586499152 140345611075680 140345249580237 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1786] ppid=1782 vsize=13984976 memory=8112282956445269571 CPUtime=0.02 cores=1,3,5,7
/proc/1784/task/1786/stat : 1786 (java) S 1782 1782 28385 0 -1 1077944384 1606 0 0 0 1 1 0 0 20 0 15 0 95527104 14320615424 59180 33554432000 4194304 4196468 140730586499152 140345574395024 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1787] ppid=1782 vsize=13984976 memory=15876 CPUtime=0.01 cores=1,3,5,7
/proc/1784/task/1787/stat : 1787 (java) S 1782 1782 28385 0 -1 1077944384 943 0 0 0 1 0 0 0 20 0 15 0 95527104 14320615424 59180 33554432000 4194304 4196468 140730586499152 140345201327120 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1788] ppid=1782 vsize=13984976 memory=17692 CPUtime=0.02 cores=1,3,5,7
/proc/1784/task/1788/stat : 1788 (java) S 1782 1782 28385 0 -1 1077944384 252 0 0 0 1 1 0 0 20 0 15 0 95527104 14320615424 59180 33554432000 4194304 4196468 140730586499152 140345200274320 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1789] ppid=1782 vsize=13984976 memory=4048 CPUtime=0.01 cores=1,3,5,7
/proc/1784/task/1789/stat : 1789 (java) S 1782 1782 28385 0 -1 1077944384 1458 0 0 0 1 0 0 0 20 0 15 0 95527104 14320615424 59180 33554432000 4194304 4196468 140730586499152 140345199221520 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1790] ppid=1782 vsize=13984976 memory=18488 CPUtime=0.01 cores=1,3,5,7
/proc/1784/task/1790/stat : 1790 (java) S 1782 1782 28385 0 -1 1077944384 1003 0 0 0 1 0 0 0 20 0 15 0 95527106 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344586353008 140345606847106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1791] ppid=1782 vsize=13984976 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1791/stat : 1791 (java) S 1782 1782 28385 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 95527106 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344585298976 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1792] ppid=1782 vsize=13984976 memory=236720 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1792/stat : 1792 (java) S 1782 1782 28385 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 95527106 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344584246128 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1793] ppid=1782 vsize=13984976 memory=236720 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1793/stat : 1793 (java) S 1782 1782 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95527109 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344583194448 140345606854555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1794] ppid=1782 vsize=13984976 memory=12028 CPUtime=2.53 cores=1,3,5,7
/proc/1784/task/1794/stat : 1794 (java) S 1782 1782 28385 0 -1 1077944384 14378 0 0 0 251 2 0 0 20 0 15 0 95527109 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344582142832 140345606847106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1795] ppid=1782 vsize=13984976 memory=5668 CPUtime=2.47 cores=1,3,5,7
/proc/1784/task/1795/stat : 1795 (java) S 1782 1782 28385 0 -1 1077944384 12904 0 0 0 245 2 0 0 20 0 15 0 95527109 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344581090032 140345606847106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 20 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1796] ppid=1782 vsize=13984976 memory=1008 CPUtime=0.73 cores=1,3,5,7
/proc/1784/task/1796/stat : 1796 (java) S 1782 1782 28385 0 -1 1077944384 8265 0 0 0 72 1 0 0 20 0 15 0 95527109 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344580037232 140345606847106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1797] ppid=1782 vsize=13984976 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1797/stat : 1797 (java) S 1782 1782 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95527109 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344578984672 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1798] ppid=1782 vsize=13984976 memory=1428 CPUtime=0.04 cores=1,3,5,7
/proc/1784/task/1798/stat : 1798 (java) S 1782 1782 28385 0 -1 1077944384 1468 0 0 0 2 2 0 0 20 0 15 0 95527109 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344577931952 140345606847106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 32 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
Current children cumulated CPU time: 184.26 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 238100 KiB
[startup+179.201 s]
/proc/loadavg: 2.44 2.11 1.99 3/217 1801
/proc/meminfo: memFree=31179384/32770624 swapFree=67108860/67108860
[pid=1782] ppid=1779 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1782/stat : 1782 (xcsp3-exec) S 1779 1782 28385 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95527103 9740288 345 33554432000 4194304 5098028 140726022152288 140726022150392 140625939210876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37646336 140726022153332 140726022153536 140726022153536 140726022156267 0
/proc/1782/statm: 2378 345 289 221 0 87 0
[pid=1784] ppid=1782 vsize=13984976 memory=236720 CPUtime=185.06 cores=1,3,5,7
/proc/1784/stat : 1784 (java) S 1782 1782 28385 0 -1 1077944320 56533 0 0 0 18487 19 0 0 20 0 15 0 95527103 14320615424 59180 33554432000 4194304 4196468 140730586499152 140730586481696 140345606835959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
/proc/1784/statm: 3496244 59180 3264 1 0 3483478 0
[pid=1784/tid=1785] ppid=1782 vsize=13984976 memory=164 CPUtime=179.11 cores=1,3,5,7
/proc/1784/task/1785/stat : 1785 (java) R 1782 1782 28385 0 -1 4202560 12873 0 0 0 17906 5 0 0 20 0 15 0 95527104 14320615424 59180 33554432000 4194304 4196468 140730586499152 140345611075680 140345248298024 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1786] ppid=1782 vsize=13984976 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1784/task/1786/stat : 1786 (java) S 1782 1782 28385 0 -1 1077944384 1606 0 0 0 1 1 0 0 20 0 15 0 95527104 14320615424 59180 33554432000 4194304 4196468 140730586499152 140345574395024 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1787] ppid=1782 vsize=13984976 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1784/task/1787/stat : 1787 (java) S 1782 1782 28385 0 -1 1077944384 943 0 0 0 1 0 0 0 20 0 15 0 95527104 14320615424 59180 33554432000 4194304 4196468 140730586499152 140345201327120 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1788] ppid=1782 vsize=13984976 memory=147986252790901 CPUtime=0.02 cores=1,3,5,7
/proc/1784/task/1788/stat : 1788 (java) S 1782 1782 28385 0 -1 1077944384 252 0 0 0 1 1 0 0 20 0 15 0 95527104 14320615424 59180 33554432000 4194304 4196468 140730586499152 140345200274320 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1789] ppid=1782 vsize=13984976 memory=301741420669305133 CPUtime=0.01 cores=1,3,5,7
/proc/1784/task/1789/stat : 1789 (java) S 1782 1782 28385 0 -1 1077944384 1458 0 0 0 1 0 0 0 20 0 15 0 95527104 14320615424 59180 33554432000 4194304 4196468 140730586499152 140345199221520 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1790] ppid=1782 vsize=13984976 memory=15819988871153146 CPUtime=0.01 cores=1,3,5,7
/proc/1784/task/1790/stat : 1790 (java) S 1782 1782 28385 0 -1 1077944384 1003 0 0 0 1 0 0 0 20 0 15 0 95527106 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344586353008 140345606847106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1791] ppid=1782 vsize=13984976 memory=236688 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1791/stat : 1791 (java) S 1782 1782 28385 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 95527106 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344585298976 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1792] ppid=1782 vsize=13984976 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1792/stat : 1792 (java) S 1782 1782 28385 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 95527106 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344584246128 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1793] ppid=1782 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1793/stat : 1793 (java) S 1782 1782 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95527109 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344583194448 140345606854555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1794] ppid=1782 vsize=13984976 memory=68 CPUtime=2.53 cores=1,3,5,7
/proc/1784/task/1794/stat : 1794 (java) S 1782 1782 28385 0 -1 1077944384 14378 0 0 0 251 2 0 0 20 0 15 0 95527109 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344582142832 140345606847106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1795] ppid=1782 vsize=13984976 memory=-5862684354271559055 CPUtime=2.47 cores=1,3,5,7
/proc/1784/task/1795/stat : 1795 (java) S 1782 1782 28385 0 -1 1077944384 12904 0 0 0 245 2 0 0 20 0 15 0 95527109 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344581090032 140345606847106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 20 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1796] ppid=1782 vsize=13984976 memory=7378391922335244898 CPUtime=0.73 cores=1,3,5,7
/proc/1784/task/1796/stat : 1796 (java) S 1782 1782 28385 0 -1 1077944384 8265 0 0 0 72 1 0 0 20 0 15 0 95527109 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344580037232 140345606847106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1797] ppid=1782 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1797/stat : 1797 (java) S 1782 1782 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95527109 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344578984672 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1798] ppid=1782 vsize=13984976 memory=236672 CPUtime=0.04 cores=1,3,5,7
/proc/1784/task/1798/stat : 1798 (java) S 1782 1782 28385 0 -1 1077944384 1468 0 0 0 2 2 0 0 20 0 15 0 95527109 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344577931952 140345606847106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 32 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
Current children cumulated CPU time: 185.06 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 238100 KiB
[startup+179.601 s]
/proc/loadavg: 2.44 2.11 1.99 3/217 1801
/proc/meminfo: memFree=31179384/32770624 swapFree=67108860/67108860
[pid=1782] ppid=1779 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1782/stat : 1782 (xcsp3-exec) S 1779 1782 28385 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95527103 9740288 345 33554432000 4194304 5098028 140726022152288 140726022150392 140625939210876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37646336 140726022153332 140726022153536 140726022153536 140726022156267 0
/proc/1782/statm: 2378 345 289 221 0 87 0
[pid=1784] ppid=1782 vsize=13984976 memory=236720 CPUtime=185.46 cores=1,3,5,7
/proc/1784/stat : 1784 (java) S 1782 1782 28385 0 -1 1077944320 56633 0 0 0 18527 19 0 0 20 0 15 0 95527103 14320615424 59180 33554432000 4194304 4196468 140730586499152 140730586481696 140345606835959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
/proc/1784/statm: 3496244 59180 3264 1 0 3483478 0
[pid=1784/tid=1785] ppid=1782 vsize=13984976 memory=27420 CPUtime=179.51 cores=1,3,5,7
/proc/1784/task/1785/stat : 1785 (java) R 1782 1782 28385 0 -1 4202560 12877 0 0 0 17946 5 0 0 20 0 15 0 95527104 14320615424 59180 33554432000 4194304 4196468 140730586499152 140345611075680 140345247958175 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1786] ppid=1782 vsize=13984976 memory=1296 CPUtime=0.02 cores=1,3,5,7
/proc/1784/task/1786/stat : 1786 (java) S 1782 1782 28385 0 -1 1077944384 1606 0 0 0 1 1 0 0 20 0 15 0 95527104 14320615424 59180 33554432000 4194304 4196468 140730586499152 140345574395024 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1787] ppid=1782 vsize=13984976 memory=2416 CPUtime=0.01 cores=1,3,5,7
/proc/1784/task/1787/stat : 1787 (java) S 1782 1782 28385 0 -1 1077944384 943 0 0 0 1 0 0 0 20 0 15 0 95527104 14320615424 59180 33554432000 4194304 4196468 140730586499152 140345201327120 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1788] ppid=1782 vsize=13984976 memory=1728 CPUtime=0.02 cores=1,3,5,7
/proc/1784/task/1788/stat : 1788 (java) S 1782 1782 28385 0 -1 1077944384 252 0 0 0 1 1 0 0 20 0 15 0 95527104 14320615424 59180 33554432000 4194304 4196468 140730586499152 140345200274320 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1789] ppid=1782 vsize=13984976 memory=796 CPUtime=0.01 cores=1,3,5,7
/proc/1784/task/1789/stat : 1789 (java) S 1782 1782 28385 0 -1 1077944384 1458 0 0 0 1 0 0 0 20 0 15 0 95527104 14320615424 59180 33554432000 4194304 4196468 140730586499152 140345199221520 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1790] ppid=1782 vsize=13984976 memory=1716 CPUtime=0.01 cores=1,3,5,7
/proc/1784/task/1790/stat : 1790 (java) S 1782 1782 28385 0 -1 1077944384 1003 0 0 0 1 0 0 0 20 0 15 0 95527106 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344586353008 140345606847106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1791] ppid=1782 vsize=13984976 memory=640 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1791/stat : 1791 (java) S 1782 1782 28385 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 95527106 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344585298976 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1792] ppid=1782 vsize=13984976 memory=956 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1792/stat : 1792 (java) S 1782 1782 28385 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 95527106 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344584246128 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1793] ppid=1782 vsize=13984976 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1793/stat : 1793 (java) S 1782 1782 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95527109 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344583194448 140345606854555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1794] ppid=1782 vsize=13984976 memory=1160 CPUtime=2.53 cores=1,3,5,7
/proc/1784/task/1794/stat : 1794 (java) S 1782 1782 28385 0 -1 1077944384 14378 0 0 0 251 2 0 0 20 0 15 0 95527109 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344582142832 140345606847106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 20 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1795] ppid=1782 vsize=13984976 memory=3072 CPUtime=2.48 cores=1,3,5,7
/proc/1784/task/1795/stat : 1795 (java) S 1782 1782 28385 0 -1 1077944384 13000 0 0 0 246 2 0 0 20 0 15 0 95527109 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344581090032 140345606847106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1796] ppid=1782 vsize=13984976 memory=1380 CPUtime=0.73 cores=1,3,5,7
/proc/1784/task/1796/stat : 1796 (java) S 1782 1782 28385 0 -1 1077944384 8265 0 0 0 72 1 0 0 20 0 15 0 95527109 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344580037232 140345606847106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1797] ppid=1782 vsize=13984976 memory=171188 CPUtime=0 cores=1,3,5,7
/proc/1784/task/1797/stat : 1797 (java) S 1782 1782 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95527109 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344578984672 140345606846165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
[pid=1784/tid=1798] ppid=1782 vsize=13984976 memory=1160 CPUtime=0.04 cores=1,3,5,7
/proc/1784/task/1798/stat : 1798 (java) S 1782 1782 28385 0 -1 1077944384 1468 0 0 0 2 2 0 0 20 0 15 0 95527109 14320615424 59180 33554432000 4194304 4196468 140730586499152 140344577931952 140345606847106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 19845120 140730586506397 140730586506572 140730586506572 140730586509263 0
Current children cumulated CPU time: 185.46 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 238100 KiB
Child status: 0
Real time (s): 179.676
CPU time (s): 185.536
CPU user time (s): 185.339
CPU system time (s): 0.197105
CPU usage (%): 103.262
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 238100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 185.339
system time used= 0.197105
maximum resident set size= 236880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57763
page faults= 0
swaps= 0
block input operations= 0
block output operations= 304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6658
involuntary context switches= 96
# summary of solver processes directly reported to runsolver:
# pid: 1782
# total CPU time (s): 185.536
# total CPU user time (s): 185.339
# total CPU system time (s): 0.197105
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.06023 second user time and 1.7904 second system time
The end