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 (14793 MiB free)
memory of node 1: 16384 MiB (15135 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399156-1568698301/watcher-4399156-1568698301 -o /tmp/evaluation-result-4399156-1568698301/solver-4399156-1568698301 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568690084-23428 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1900003361 HOME/instance-4399156-1568698301.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Current StackSize limit: 8192 KiB
solver pid=31647, runsolver pid=31644
[startup+0.100062 s]*
/proc/loadavg: 8.46 8.41 8.30 7/232 31663
/proc/meminfo: memFree=30630680/32770624 swapFree=66977408/67108860
[pid=31647] ppid=31644 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/31647/stat : 31647 (xcsp3-exec) S 31644 31647 23397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446087159 115843072 362 33554432000 4194304 5098028 140733895046048 140733895044152 140146414695036 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19828736 140733895050106 140733895050349 140733895050349 140733895053258 0
/proc/31647/statm: 28282 362 304 221 0 87 0
[pid=31649] ppid=31647 vsize=15144776 memory=29756 CPUtime=0.13 cores=0,2,4,6
/proc/31649/stat : 31649 (java) S 31647 31647 23397 0 -1 1077944320 5915 0 0 0 12 1 0 0 20 0 15 0 446087159 15508250624 7439 33554432000 4194304 4196468 140720427205440 140720427187984 139828629995255 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
/proc/31649/statm: 3786194 7439 3120 1 0 3748377 0
[pid=31649/tid=31650] ppid=31647 vsize=15144776 memory=576460756329955459 CPUtime=0.08 cores=0,2,4,6
/proc/31649/task/31650/stat : 31650 (java) R 31647 31647 23397 0 -1 4202560 3819 0 0 0 8 0 0 0 20 0 15 0 446087159 15508250624 7439 33554432000 4194304 4196468 140720427205440 139828634219664 139828630007190 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31651] ppid=31647 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31651/stat : 31651 (java) S 31647 31647 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446087160 15508250624 7439 33554432000 4194304 4196468 140720427205440 139828222549008 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31652] ppid=31647 vsize=15144776 memory=140319898761388 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31652/stat : 31652 (java) S 31647 31647 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446087160 15508250624 7439 33554432000 4194304 4196468 140720427205440 139828221496464 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31653] ppid=31647 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31653/stat : 31653 (java) S 31647 31647 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446087160 15508250624 7439 33554432000 4194304 4196468 140720427205440 139828220443408 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31654] ppid=31647 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31654/stat : 31654 (java) S 31647 31647 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446087160 15508250624 7439 33554432000 4194304 4196468 140720427205440 139828219390864 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31655] ppid=31647 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31655/stat : 31655 (java) S 31647 31647 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446087161 15508250624 7439 33554432000 4194304 4196468 140720427205440 139828165794032 139828630006402 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31656] ppid=31647 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31656/stat : 31656 (java) S 31647 31647 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446087162 15508250624 7439 33554432000 4194304 4196468 140720427205440 139828164740256 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31657] ppid=31647 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31657/stat : 31657 (java) S 31647 31647 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446087162 15508250624 7439 33554432000 4194304 4196468 140720427205440 139828096131824 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31658] ppid=31647 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31658/stat : 31658 (java) S 31647 31647 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446087165 15508250624 7439 33554432000 4194304 4196468 140720427205440 139828095080400 139828630013851 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31659] ppid=31647 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31659/stat : 31659 (java) R 31647 31647 23397 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 446087165 15508250624 7439 33554432000 4194304 4196468 140720427205440 139828094028528 139828630006402 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31660] ppid=31647 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31660/stat : 31660 (java) R 31647 31647 23397 0 -1 4202560 127 0 0 0 0 0 0 0 20 0 15 0 446087165 15508250624 7439 33554432000 4194304 4196468 140720427205440 139828092967488 139828614811757 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31661] ppid=31647 vsize=15144776 memory=140319895594624 CPUtime=0.02 cores=0,2,4,6
/proc/31649/task/31661/stat : 31661 (java) R 31647 31647 23397 0 -1 4202560 361 0 0 0 2 0 0 0 20 0 15 0 446087165 15508250624 7439 33554432000 4194304 4196468 140720427205440 139828091922928 139828630007190 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31662] ppid=31647 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31662/stat : 31662 (java) S 31647 31647 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446087165 15508250624 7439 33554432000 4194304 4196468 140720427205440 139828090870624 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31663] ppid=31647 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31663/stat : 31663 (java) S 31647 31647 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446087165 15508250624 7439 33554432000 4194304 4196468 140720427205440 139828089817648 139828630006402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31204 KiB
[startup+0.210728 s]*
/proc/loadavg: 8.46 8.41 8.30 7/232 31663
/proc/meminfo: memFree=30619004/32770624 swapFree=66977408/67108860
[pid=31647] ppid=31644 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/31647/stat : 31647 (xcsp3-exec) S 31644 31647 23397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446087159 115843072 362 33554432000 4194304 5098028 140733895046048 140733895044152 140146414695036 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19828736 140733895050106 140733895050349 140733895050349 140733895053258 0
/proc/31647/statm: 28282 362 304 221 0 87 0
[pid=31649] ppid=31647 vsize=15144776 memory=40684 CPUtime=0.34 cores=0,2,4,6
/proc/31649/stat : 31649 (java) S 31647 31647 23397 0 -1 1077944320 9388 0 0 0 32 2 0 0 20 0 15 0 446087159 15508250624 10171 33554432000 4194304 4196468 140720427205440 140720427187984 139828629995255 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
/proc/31649/statm: 3786194 10171 3270 1 0 3748377 0
[pid=31649/tid=31650] ppid=31647 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/31649/task/31650/stat : 31650 (java) R 31647 31647 23397 0 -1 4202560 6599 0 0 0 18 2 0 0 20 0 15 0 446087159 15508250624 10171 33554432000 4194304 4196468 140720427205440 139828634229312 139828622673269 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31651] ppid=31647 vsize=15144776 memory=1898158 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31651/stat : 31651 (java) S 31647 31647 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446087160 15508250624 10171 33554432000 4194304 4196468 140720427205440 139828222549008 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31652] ppid=31647 vsize=15144776 memory=3472752303038801568 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31652/stat : 31652 (java) S 31647 31647 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446087160 15508250624 10171 33554432000 4194304 4196468 140720427205440 139828221496464 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31653] ppid=31647 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31653/stat : 31653 (java) S 31647 31647 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446087160 15508250624 10171 33554432000 4194304 4196468 140720427205440 139828220443408 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31654] ppid=31647 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31654/stat : 31654 (java) S 31647 31647 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446087160 15508250624 10171 33554432000 4194304 4196468 140720427205440 139828219390864 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31655] ppid=31647 vsize=15144776 memory=140319895594624 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31655/stat : 31655 (java) S 31647 31647 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446087161 15508250624 10171 33554432000 4194304 4196468 140720427205440 139828165794032 139828630006402 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31656] ppid=31647 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31656/stat : 31656 (java) S 31647 31647 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446087162 15508250624 10171 33554432000 4194304 4196468 140720427205440 139828164740256 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31657] ppid=31647 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31657/stat : 31657 (java) S 31647 31647 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446087162 15508250624 10171 33554432000 4194304 4196468 140720427205440 139828096131824 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31658] ppid=31647 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31658/stat : 31658 (java) S 31647 31647 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446087165 15508250624 10171 33554432000 4194304 4196468 140720427205440 139828095080400 139828630013851 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31659] ppid=31647 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/31649/task/31659/stat : 31659 (java) S 31647 31647 23397 0 -1 1077944384 546 0 0 0 3 0 0 0 20 0 15 0 446087165 15508250624 10171 33554432000 4194304 4196468 140720427205440 139828094028528 139828630006402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31660] ppid=31647 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/31649/task/31660/stat : 31660 (java) S 31647 31647 23397 0 -1 1077944384 183 0 0 0 1 0 0 0 20 0 15 0 446087165 15508250624 10171 33554432000 4194304 4196468 140720427205440 139828092975984 139828630006402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31661] ppid=31647 vsize=15144776 memory=140319895594624 CPUtime=0.08 cores=0,2,4,6
/proc/31649/task/31661/stat : 31661 (java) R 31647 31647 23397 0 -1 4202560 754 0 0 0 8 0 0 0 20 0 15 0 446087165 15508250624 10171 33554432000 4194304 4196468 140720427205440 139828091922928 139828630016602 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31662] ppid=31647 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31662/stat : 31662 (java) S 31647 31647 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446087165 15508250624 10171 33554432000 4194304 4196468 140720427205440 139828090870624 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31663] ppid=31647 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31663/stat : 31663 (java) S 31647 31647 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446087165 15508250624 10171 33554432000 4194304 4196468 140720427205440 139828089817648 139828630006402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42132 KiB
[startup+0.311067 s]*
/proc/loadavg: 8.46 8.41 8.30 4/210 31667
/proc/meminfo: memFree=31159644/32770624 swapFree=66977408/67108860
[pid=31647] ppid=31644 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/31647/stat : 31647 (xcsp3-exec) S 31644 31647 23397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446087159 115843072 362 33554432000 4194304 5098028 140733895046048 140733895044152 140146414695036 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19828736 140733895050106 140733895050349 140733895050349 140733895053258 0
/proc/31647/statm: 28282 362 304 221 0 87 0
[pid=31649] ppid=31647 vsize=15149032 memory=49608 CPUtime=0.53 cores=0,2,4,6
/proc/31649/stat : 31649 (java) S 31647 31647 23397 0 -1 1077944320 10729 0 0 0 50 3 0 0 20 0 15 0 446087159 15512608768 12402 33554432000 4194304 4196468 140720427205440 140720427187984 139828629995255 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
/proc/31649/statm: 3787258 12402 3354 1 0 3748377 0
[pid=31649/tid=31650] ppid=31647 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/31649/task/31650/stat : 31650 (java) R 31647 31647 23397 0 -1 4202560 7692 0 0 0 28 2 0 0 20 0 15 0 446087159 15512608768 12402 33554432000 4194304 4196468 140720427205440 139828634229040 139828630017181 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31651] ppid=31647 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31651/stat : 31651 (java) S 31647 31647 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446087160 15512608768 12402 33554432000 4194304 4196468 140720427205440 139828222549008 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31652] ppid=31647 vsize=15149032 memory=35809 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31652/stat : 31652 (java) S 31647 31647 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446087160 15512608768 12402 33554432000 4194304 4196468 140720427205440 139828221496464 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31653] ppid=31647 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31653/stat : 31653 (java) S 31647 31647 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446087160 15512608768 12402 33554432000 4194304 4196468 140720427205440 139828220443408 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31654] ppid=31647 vsize=15149032 memory=9123589904177684695 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31654/stat : 31654 (java) S 31647 31647 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446087160 15512608768 12402 33554432000 4194304 4196468 140720427205440 139828219390864 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31655] ppid=31647 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31655/stat : 31655 (java) S 31647 31647 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446087161 15512608768 12402 33554432000 4194304 4196468 140720427205440 139828165794032 139828630006402 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31656] ppid=31647 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31656/stat : 31656 (java) S 31647 31647 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446087162 15512608768 12402 33554432000 4194304 4196468 140720427205440 139828164740256 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31657] ppid=31647 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31657/stat : 31657 (java) S 31647 31647 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446087162 15512608768 12402 33554432000 4194304 4196468 140720427205440 139828096131824 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31658] ppid=31647 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31658/stat : 31658 (java) S 31647 31647 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446087165 15512608768 12402 33554432000 4194304 4196468 140720427205440 139828095080400 139828630013851 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31659] ppid=31647 vsize=15149032 memory=4572146057552828020 CPUtime=0.05 cores=0,2,4,6
/proc/31649/task/31659/stat : 31659 (java) R 31647 31647 23397 0 -1 1077944384 561 0 0 0 5 0 0 0 20 0 15 0 446087165 15512608768 12402 33554432000 4194304 4196468 140720427205440 139828094028624 139828630005461 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31660] ppid=31647 vsize=15149032 memory=6944613755495348631 CPUtime=0.03 cores=0,2,4,6
/proc/31649/task/31660/stat : 31660 (java) R 31647 31647 23397 0 -1 4202560 321 0 0 0 3 0 0 0 20 0 15 0 446087165 15512608768 12402 33554432000 4194304 4196468 140720427205440 139828092957000 139828610384896 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31661] ppid=31647 vsize=15149032 memory=7893295687695687954 CPUtime=0.12 cores=0,2,4,6
/proc/31649/task/31661/stat : 31661 (java) S 31647 31647 23397 0 -1 1077944384 856 0 0 0 12 0 0 0 20 0 15 0 446087165 15512608768 12402 33554432000 4194304 4196468 140720427205440 139828091922928 139828630006402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31662] ppid=31647 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31662/stat : 31662 (java) S 31647 31647 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446087165 15512608768 12402 33554432000 4194304 4196468 140720427205440 139828090870624 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31663] ppid=31647 vsize=15149032 memory=7827413994055111515 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31663/stat : 31663 (java) S 31647 31647 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446087165 15512608768 12402 33554432000 4194304 4196468 140720427205440 139828089817648 139828630006402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51056 KiB
[startup+0.701692 s]
/proc/loadavg: 8.02 8.32 8.27 12/232 31744
/proc/meminfo: memFree=31022804/32770624 swapFree=66977408/67108860
[pid=31647] ppid=31644 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/31647/stat : 31647 (xcsp3-exec) S 31644 31647 23397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446087159 115843072 362 33554432000 4194304 5098028 140733895046048 140733895044152 140146414695036 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19828736 140733895050106 140733895050349 140733895050349 140733895053258 0
/proc/31647/statm: 28282 362 304 221 0 87 0
[pid=31649] ppid=31647 vsize=15551568 memory=174180 CPUtime=1.68 cores=0,2,4,6
/proc/31649/stat : 31649 (java) S 31647 31647 23397 0 -1 1077944320 16261 0 0 0 161 7 0 0 20 0 20 0 446087159 15924805632 43545 33554432000 4194304 4196468 140720427205440 140720427187984 139828629995255 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
/proc/31649/statm: 3887892 43545 3462 1 0 3848992 0
[pid=31649/tid=31650] ppid=31647 vsize=15551568 memory=-7533522213388100735 CPUtime=0.45 cores=0,2,4,6
/proc/31649/task/31650/stat : 31650 (java) S 31647 31647 23397 0 -1 1077944384 9004 0 0 0 42 3 0 0 20 0 20 0 446087159 15924805632 43545 33554432000 4194304 4196468 140720427205440 139828634236032 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31651] ppid=31647 vsize=15551568 memory=7595725831727968097 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31651/stat : 31651 (java) S 31647 31647 23397 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 446087160 15924805632 43545 33554432000 4194304 4196468 140720427205440 139828222549008 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31652] ppid=31647 vsize=15551568 memory=7156334510635766096 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31652/stat : 31652 (java) S 31647 31647 23397 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 446087160 15924805632 43545 33554432000 4194304 4196468 140720427205440 139828221496464 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31653] ppid=31647 vsize=15551568 memory=692 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31653/stat : 31653 (java) S 31647 31647 23397 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 446087160 15924805632 43545 33554432000 4194304 4196468 140720427205440 139828220443408 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31654] ppid=31647 vsize=15551568 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31654/stat : 31654 (java) S 31647 31647 23397 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 446087160 15924805632 43545 33554432000 4194304 4196468 140720427205440 139828219390864 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31655] ppid=31647 vsize=15551568 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31655/stat : 31655 (java) S 31647 31647 23397 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 446087161 15924805632 43545 33554432000 4194304 4196468 140720427205440 139828165794032 139828630006402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31656] ppid=31647 vsize=15551568 memory=780 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31656/stat : 31656 (java) S 31647 31647 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446087162 15924805632 43545 33554432000 4194304 4196468 140720427205440 139828164740256 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31657] ppid=31647 vsize=15551568 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31657/stat : 31657 (java) S 31647 31647 23397 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 446087162 15924805632 43545 33554432000 4194304 4196468 140720427205440 139828096131824 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31658] ppid=31647 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31658/stat : 31658 (java) S 31647 31647 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446087165 15924805632 43545 33554432000 4194304 4196468 140720427205440 139828095080400 139828630013851 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31659] ppid=31647 vsize=15551568 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/31649/task/31659/stat : 31659 (java) R 31647 31647 23397 0 -1 4202560 1189 0 0 0 29 0 0 0 20 0 20 0 446087165 15924805632 43545 33554432000 4194304 4196468 140720427205440 139828094009544 139828614283964 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31660] ppid=31647 vsize=15551568 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/31649/task/31660/stat : 31660 (java) R 31647 31647 23397 0 -1 4202560 806 0 0 0 24 0 0 0 20 0 20 0 446087165 15924805632 43545 33554432000 4194304 4196468 140720427205440 139828092957000 139828613902673 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31661] ppid=31647 vsize=15551568 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/31649/task/31661/stat : 31661 (java) R 31647 31647 23397 0 -1 1077944384 1683 0 0 0 29 0 0 0 20 0 20 0 446087165 15924805632 43545 33554432000 4194304 4196468 140720427205440 139828091922928 139828630006402 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31662] ppid=31647 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31662/stat : 31662 (java) S 31647 31647 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446087165 15924805632 43545 33554432000 4194304 4196468 140720427205440 139828090870624 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31663] ppid=31647 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31663/stat : 31663 (java) S 31647 31647 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446087165 15924805632 43545 33554432000 4194304 4196468 140720427205440 139828089817648 139828630006402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 175628 KiB
[startup+1.5077 s]
/proc/loadavg: 8.02 8.32 8.27 8/226 31893
/proc/meminfo: memFree=31003552/32770624 swapFree=66977408/67108860
[pid=31647] ppid=31644 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/31647/stat : 31647 (xcsp3-exec) S 31644 31647 23397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446087159 115843072 362 33554432000 4194304 5098028 140733895046048 140733895044152 140146414695036 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19828736 140733895050106 140733895050349 140733895050349 140733895053258 0
/proc/31647/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/31649/task/31663/stat : 31663 (java) S 31647 31647 23397 0 -1 1077944384 341 0 0 0 0 0 0 0 20 0 19 0 446087165 15924805632 45052 33554432000 4194304 4196468 140720427205440 139828089817648 139828630006402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31912] ppid=31647 vsize=15551568 memory=7163085330834273590 CPUtime=8.71 cores=0,2,4,6
/proc/31649/task/31912/stat : 31912 (java) R 31647 31647 23397 0 -1 4202560 276 0 0 0 870 1 0 0 20 0 19 0 446087283 15924805632 45052 33554432000 4194304 4196468 140720427205440 139828075573432 139828615205700 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31913] ppid=31647 vsize=15551568 memory=0 CPUtime=8.7 cores=0,2,4,6
/proc/31649/task/31913/stat : 31913 (java) R 31647 31647 23397 0 -1 4202560 452 0 0 0 869 1 0 0 20 0 19 0 446087283 15924805632 45052 33554432000 4194304 4196468 140720427205440 139828079784688 139828251697773 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31914] ppid=31647 vsize=15551568 memory=40804 CPUtime=8.86 cores=0,2,4,6
/proc/31649/task/31914/stat : 31914 (java) R 31647 31647 23397 0 -1 4202560 698 0 0 0 886 0 0 0 20 0 19 0 446087283 15924805632 45052 33554432000 4194304 4196468 140720427205440 139828074521456 139828250649524 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31915] ppid=31647 vsize=15551568 memory=6944656592455359580 CPUtime=8.73 cores=0,2,4,6
/proc/31649/task/31915/stat : 31915 (java) R 31647 31647 23397 0 -1 4202560 355 0 0 0 873 0 0 0 20 0 19 0 446087283 15924805632 45052 33554432000 4194304 4196468 140720427205440 139828076627824 139828251171634 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
Current children cumulated CPU time: 39.87 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 181656 KiB
[startup+10.8017 s]
/proc/loadavg: 8.02 8.32 8.27 9/236 32183
/proc/meminfo: memFree=30826888/32770624 swapFree=66977408/67108860
[pid=31647] ppid=31644 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/31647/stat : 31647 (xcsp3-exec) S 31644 31647 23397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446087159 115843072 362 33554432000 4194304 5098028 140733895046048 140733895044152 140146414695036 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19828736 140733895050106 140733895050349 140733895050349 140733895053258 0
/proc/31647/statm: 28282 362 304 221 0 87 0
[pid=31649] ppid=31647 vsize=15551568 memory=178204 CPUtime=41.46 cores=0,2,4,6
/proc/31649/stat : 31649 (java) S 31647 31647 23397 0 -1 1077944320 30874 0 0 0 4131 15 0 0 20 0 19 0 446087159 15924805632 44551 33554432000 4194304 4196468 140720427205440 140720427187984 139828629995255 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
/proc/31649/statm: 3887892 44551 3515 1 0 3848992 0
[pid=31649/tid=31650] ppid=31647 vsize=15551568 memory=-9123011406873178988 CPUtime=0.46 cores=0,2,4,6
/proc/31649/task/31650/stat : 31650 (java) S 31647 31647 23397 0 -1 1077944384 9004 0 0 0 43 3 0 0 20 0 19 0 446087159 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828634236032 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31651] ppid=31647 vsize=15551568 memory=8514726395714956678 CPUtime=0.02 cores=0,2,4,6
/proc/31649/task/31651/stat : 31651 (java) S 31647 31647 23397 0 -1 1077944384 534 0 0 0 2 0 0 0 20 0 19 0 446087160 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828222549008 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31652] ppid=31647 vsize=15551568 memory=8261186656868483443 CPUtime=0.02 cores=0,2,4,6
/proc/31649/task/31652/stat : 31652 (java) S 31647 31647 23397 0 -1 1077944384 164 0 0 0 2 0 0 0 20 0 19 0 446087160 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828221496464 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31653] ppid=31647 vsize=15551568 memory=-5082702989052053089 CPUtime=0.02 cores=0,2,4,6
/proc/31649/task/31653/stat : 31653 (java) S 31647 31647 23397 0 -1 1077944384 53 0 0 0 2 0 0 0 20 0 19 0 446087160 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828220443408 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31654] ppid=31647 vsize=15551568 memory=1448 CPUtime=0.02 cores=0,2,4,6
/proc/31649/task/31654/stat : 31654 (java) S 31647 31647 23397 0 -1 1077944384 796 0 0 0 2 0 0 0 20 0 19 0 446087160 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828219390864 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31655] ppid=31647 vsize=15551568 memory=180208 CPUtime=0.02 cores=0,2,4,6
/proc/31649/task/31655/stat : 31655 (java) S 31647 31647 23397 0 -1 1077944384 452 0 0 0 2 0 0 0 20 0 19 0 446087161 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828165794032 139828630006402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31656] ppid=31647 vsize=15551568 memory=7451860223997798228 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31656/stat : 31656 (java) S 31647 31647 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446087162 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828164740320 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31657] ppid=31647 vsize=15551568 memory=7523932150493768552 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31657/stat : 31657 (java) S 31647 31647 23397 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446087162 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828096131840 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31658] ppid=31647 vsize=15551568 memory=8243665748970333806 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31658/stat : 31658 (java) S 31647 31647 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446087165 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828095080400 139828630013851 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31659] ppid=31647 vsize=15551568 memory=7367995975065948240 CPUtime=1.18 cores=0,2,4,6
/proc/31649/task/31659/stat : 31659 (java) S 31647 31647 23397 0 -1 1077944384 5958 0 0 0 118 0 0 0 20 0 19 0 446087165 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828094028528 139828630006402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31660] ppid=31647 vsize=15551568 memory=7018411772518820714 CPUtime=1.13 cores=0,2,4,6
/proc/31649/task/31660/stat : 31660 (java) S 31647 31647 23397 0 -1 1077944384 4511 0 0 0 113 0 0 0 20 0 19 0 446087165 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828092975984 139828630006402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31661] ppid=31647 vsize=15551568 memory=-7233780906022726806 CPUtime=0.43 cores=0,2,4,6
/proc/31649/task/31661/stat : 31661 (java) S 31647 31647 23397 0 -1 1077944384 2726 0 0 0 43 0 0 0 20 0 19 0 446087165 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828091922928 139828630006402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31662] ppid=31647 vsize=15551568 memory=7377829019559083116 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31662/stat : 31662 (java) S 31647 31647 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446087165 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828090870624 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31663] ppid=31647 vsize=15551568 memory=7089056485457617985 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31663/stat : 31663 (java) S 31647 31647 23397 0 -1 1077944384 341 0 0 0 0 0 0 0 20 0 19 0 446087165 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828089817648 139828630006402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31912] ppid=31647 vsize=15551568 memory=-7316765472996040608 CPUtime=9.1 cores=0,2,4,6
/proc/31649/task/31912/stat : 31912 (java) R 31647 31647 23397 0 -1 4202560 276 0 0 0 909 1 0 0 20 0 19 0 446087283 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828075572640 139828611401479 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31913] ppid=31647 vsize=15551568 memory=-6876588461455810464 CPUtime=9.09 cores=0,2,4,6
/proc/31649/task/31913/stat : 31913 (java) R 31647 31647 23397 0 -1 4202560 461 0 0 0 908 1 0 0 20 0 19 0 446087283 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828079783776 139828250732979 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31914] ppid=31647 vsize=15551568 memory=4206468019014099040 CPUtime=9.26 cores=0,2,4,6
/proc/31649/task/31914/stat : 31914 (java) R 31647 31647 23397 0 -1 4202560 699 0 0 0 926 0 0 0 20 0 19 0 446087283 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828074523920 139828615206634 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31915] ppid=31647 vsize=15551568 memory=6944656592455360569 CPUtime=9.11 cores=0,2,4,6
/proc/31649/task/31915/stat : 31915 (java) R 31647 31647 23397 0 -1 4202560 356 0 0 0 911 0 0 0 20 0 19 0 446087283 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828076626728 139828252334560 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
Current children cumulated CPU time: 41.46 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 179652 KiB
[startup+11.0017 s]*
/proc/loadavg: 8.10 8.33 8.27 9/236 32183
/proc/meminfo: memFree=30831476/32770624 swapFree=66977408/67108860
[pid=31647] ppid=31644 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/31647/stat : 31647 (xcsp3-exec) S 31644 31647 23397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446087159 115843072 362 33554432000 4194304 5098028 140733895046048 140733895044152 140146414695036 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19828736 140733895050106 140733895050349 140733895050349 140733895053258 0
/proc/31647/statm: 28282 362 304 221 0 87 0
[pid=31649] ppid=31647 vsize=15551568 memory=178204 CPUtime=42.28 cores=0,2,4,6
/proc/31649/stat : 31649 (java) S 31647 31647 23397 0 -1 1077944320 30947 0 0 0 4213 15 0 0 20 0 19 0 446087159 15924805632 44551 33554432000 4194304 4196468 140720427205440 140720427187984 139828629995255 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
/proc/31649/statm: 3887892 44551 3515 1 0 3848992 0
[pid=31649/tid=31650] ppid=31647 vsize=15551568 memory=7883960649037381690 CPUtime=0.46 cores=0,2,4,6
/proc/31649/task/31650/stat : 31650 (java) S 31647 31647 23397 0 -1 1077944384 9004 0 0 0 43 3 0 0 20 0 19 0 446087159 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828634236032 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31651] ppid=31647 vsize=15551568 memory=1898158 CPUtime=0.02 cores=0,2,4,6
/proc/31649/task/31651/stat : 31651 (java) S 31647 31647 23397 0 -1 1077944384 536 0 0 0 2 0 0 0 20 0 19 0 446087160 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828222549008 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31652] ppid=31647 vsize=15551568 memory=3472752303038801568 CPUtime=0.02 cores=0,2,4,6
/proc/31649/task/31652/stat : 31652 (java) S 31647 31647 23397 0 -1 1077944384 164 0 0 0 2 0 0 0 20 0 19 0 446087160 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828221496464 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31653] ppid=31647 vsize=15551568 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31649/task/31653/stat : 31653 (java) S 31647 31647 23397 0 -1 1077944384 54 0 0 0 2 0 0 0 20 0 19 0 446087160 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828220443408 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31654] ppid=31647 vsize=15551568 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/31649/task/31654/stat : 31654 (java) S 31647 31647 23397 0 -1 1077944384 796 0 0 0 2 0 0 0 20 0 19 0 446087160 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828219390864 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31655] ppid=31647 vsize=15551568 memory=140319895594624 CPUtime=0.02 cores=0,2,4,6
/proc/31649/task/31655/stat : 31655 (java) S 31647 31647 23397 0 -1 1077944384 452 0 0 0 2 0 0 0 20 0 19 0 446087161 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828165794032 139828630006402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31656] ppid=31647 vsize=15551568 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31656/stat : 31656 (java) S 31647 31647 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446087162 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828164740320 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31657] ppid=31647 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31657/stat : 31657 (java) S 31647 31647 23397 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446087162 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828096131840 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31658] ppid=31647 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31658/stat : 31658 (java) S 31647 31647 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446087165 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828095080400 139828630013851 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31659] ppid=31647 vsize=15551568 memory=0 CPUtime=1.18 cores=0,2,4,6
/proc/31649/task/31659/stat : 31659 (java) S 31647 31647 23397 0 -1 1077944384 5958 0 0 0 118 0 0 0 20 0 19 0 446087165 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828094028528 139828630006402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31660] ppid=31647 vsize=15551568 memory=-1 CPUtime=1.13 cores=0,2,4,6
/proc/31649/task/31660/stat : 31660 (java) R 31647 31647 23397 0 -1 4202560 4576 0 0 0 113 0 0 0 20 0 19 0 446087165 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828092975984 139828622236236 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31661] ppid=31647 vsize=15551568 memory=140319895594624 CPUtime=0.43 cores=0,2,4,6
/proc/31649/task/31661/stat : 31661 (java) S 31647 31647 23397 0 -1 1077944384 2726 0 0 0 43 0 0 0 20 0 19 0 446087165 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828091922928 139828630006402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31662] ppid=31647 vsize=15551568 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31662/stat : 31662 (java) S 31647 31647 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446087165 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828090870624 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31663] ppid=31647 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31663/stat : 31663 (java) S 31647 31647 23397 0 -1 1077944384 341 0 0 0 0 0 0 0 20 0 19 0 446087165 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828089817648 139828630006402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31912] ppid=31647 vsize=15551568 memory=0 CPUtime=9.31 cores=0,2,4,6
/proc/31649/task/31912/stat : 31912 (java) R 31647 31647 23397 0 -1 4202560 276 0 0 0 930 1 0 0 20 0 19 0 446087283 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828075572528 139828250732093 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31913] ppid=31647 vsize=15551568 memory=0 CPUtime=9.3 cores=0,2,4,6
/proc/31649/task/31913/stat : 31913 (java) R 31647 31647 23397 0 -1 4202560 465 0 0 0 929 1 0 0 20 0 19 0 446087283 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828079783968 139828251171530 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31914] ppid=31647 vsize=15551568 memory=0 CPUtime=9.46 cores=0,2,4,6
/proc/31649/task/31914/stat : 31914 (java) R 31647 31647 23397 0 -1 4202560 700 0 0 0 946 0 0 0 20 0 19 0 446087283 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828074521592 139828251213978 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31915] ppid=31647 vsize=15551568 memory=0 CPUtime=9.3 cores=0,2,4,6
/proc/31649/task/31915/stat : 31915 (java) R 31647 31647 23397 0 -1 4202560 357 0 0 0 930 0 0 0 20 0 19 0 446087283 15924805632 44551 33554432000 4194304 4196468 140720427205440 139828076627712 139828251608756 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
Current children cumulated CPU time: 42.28 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 179652 KiB
[startup+11.1117 s]
/proc/loadavg: 8.10 8.33 8.27 9/236 32183
/proc/meminfo: memFree=30831476/32770624 swapFree=66977408/67108860
[pid=31647] ppid=31644 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/31647/stat : 31647 (xcsp3-exec) S 31644 31647 23397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446087159 115843072 362 33554432000 4194304 5098028 140733895046048 140733895044152 140146414695036 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19828736 140733895050106 140733895050349 140733895050349 140733895053258 0
/proc/31647/statm: 28282 362 304 221 0 87 0
[pid=31649] ppid=31647 vsize=15551568 memory=177196 CPUtime=42.63 cores=0,2,4,6
/proc/31649/stat : 31649 (java) S 31647 31647 23397 0 -1 1077944320 31034 0 0 0 4248 15 0 0 20 0 19 0 446087159 15924805632 44299 33554432000 4194304 4196468 140720427205440 140720427187984 139828629995255 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
/proc/31649/statm: 3887892 44299 3515 1 0 3848992 0
[pid=31649/tid=31650] ppid=31647 vsize=15551568 memory=180916 CPUtime=0.46 cores=0,2,4,6
/proc/31649/task/31650/stat : 31650 (java) S 31647 31647 23397 0 -1 1077944384 9004 0 0 0 43 3 0 0 20 0 19 0 446087159 15924805632 44299 33554432000 4194304 4196468 140720427205440 139828634236032 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31651] ppid=31647 vsize=15551568 memory=201272 CPUtime=0.02 cores=0,2,4,6
/proc/31649/task/31651/stat : 31651 (java) S 31647 31647 23397 0 -1 1077944384 536 0 0 0 2 0 0 0 20 0 19 0 446087160 15924805632 44299 33554432000 4194304 4196468 140720427205440 139828222549008 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31652] ppid=31647 vsize=15551568 memory=204256 CPUtime=0.02 cores=0,2,4,6
/proc/31649/task/31652/stat : 31652 (java) S 31647 31647 23397 0 -1 1077944384 164 0 0 0 2 0 0 0 20 0 19 0 446087160 15924805632 44299 33554432000 4194304 4196468 140720427205440 139828221496464 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31653] ppid=31647 vsize=15551568 memory=6791534058613427641 CPUtime=0.02 cores=0,2,4,6
/proc/31649/task/31653/stat : 31653 (java) S 31647 31647 23397 0 -1 1077944384 54 0 0 0 2 0 0 0 20 0 19 0 446087160 15924805632 44299 33554432000 4194304 4196468 140720427205440 139828220443408 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31654] ppid=31647 vsize=15551568 memory=6944656591801717918 CPUtime=0.02 cores=0,2,4,6
/proc/31649/task/31654/stat : 31654 (java) S 31647 31647 23397 0 -1 1077944384 796 0 0 0 2 0 0 0 20 0 19 0 446087160 15924805632 44299 33554432000 4194304 4196468 140720427205440 139828219390864 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31655] ppid=31647 vsize=15551568 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31649/task/31655/stat : 31655 (java) S 31647 31647 23397 0 -1 1077944384 454 0 0 0 2 0 0 0 20 0 19 0 446087161 15924805632 44299 33554432000 4194304 4196468 140720427205440 139828165794032 139828630006402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31656] ppid=31647 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31656/stat : 31656 (java) S 31647 31647 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446087162 15924805632 44299 33554432000 4194304 4196468 140720427205440 139828164740320 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31657] ppid=31647 vsize=15551568 memory=280639472294640 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31657/stat : 31657 (java) S 31647 31647 23397 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446087162 15924805632 44299 33554432000 4194304 4196468 140720427205440 139828096131840 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31658] ppid=31647 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31658/stat : 31658 (java) S 31647 31647 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446087165 15924805632 44299 33554432000 4194304 4196468 140720427205440 139828095080400 139828630013851 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31659] ppid=31647 vsize=15551568 memory=0 CPUtime=1.18 cores=0,2,4,6
/proc/31649/task/31659/stat : 31659 (java) S 31647 31647 23397 0 -1 1077944384 5958 0 0 0 118 0 0 0 20 0 19 0 446087165 15924805632 44299 33554432000 4194304 4196468 140720427205440 139828094028528 139828630006402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31660] ppid=31647 vsize=15551568 memory=0 CPUtime=1.15 cores=0,2,4,6
/proc/31649/task/31660/stat : 31660 (java) S 31647 31647 23397 0 -1 1077944384 4657 0 0 0 115 0 0 0 20 0 19 0 446087165 15924805632 44299 33554432000 4194304 4196468 140720427205440 139828092975984 139828630006402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31661] ppid=31647 vsize=15551568 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/31649/task/31661/stat : 31661 (java) S 31647 31647 23397 0 -1 1077944384 2726 0 0 0 43 0 0 0 20 0 19 0 446087165 15924805632 44299 33554432000 4194304 4196468 140720427205440 139828091922928 139828630006402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31662] ppid=31647 vsize=15551568 memory=891 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31662/stat : 31662 (java) S 31647 31647 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446087165 15924805632 44299 33554432000 4194304 4196468 140720427205440 139828090870624 139828630005461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31663] ppid=31647 vsize=15551568 memory=890 CPUtime=0 cores=0,2,4,6
/proc/31649/task/31663/stat : 31663 (java) S 31647 31647 23397 0 -1 1077944384 341 0 0 0 0 0 0 0 20 0 19 0 446087165 15924805632 44299 33554432000 4194304 4196468 140720427205440 139828089817648 139828630006402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31912] ppid=31647 vsize=15551568 memory=906 CPUtime=9.4 cores=0,2,4,6
/proc/31649/task/31912/stat : 31912 (java) R 31647 31647 23397 0 -1 4202560 277 0 0 0 939 1 0 0 20 0 19 0 446087283 15924805632 44299 33554432000 4194304 4196468 140720427205440 139828075572752 139828250732906 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31913] ppid=31647 vsize=15551568 memory=891 CPUtime=9.38 cores=0,2,4,6
/proc/31649/task/31913/stat : 31913 (java) R 31647 31647 23397 0 -1 4202560 465 0 0 0 937 1 0 0 20 0 19 0 446087283 15924805632 44299 33554432000 4194304 4196468 140720427205440 139828079784824 139828251501703 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31914] ppid=31647 vsize=15551568 memory=1716 CPUtime=9.54 cores=0,2,4,6
/proc/31649/task/31914/stat : 31914 (java) R 31647 31647 23397 0 -1 4202560 701 0 0 0 954 0 0 0 20 0 19 0 446087283 15924805632 44299 33554432000 4194304 4196468 140720427205440 139828074521592 139828251087297 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
[pid=31649/tid=31915] ppid=31647 vsize=15551568 memory=692 CPUtime=9.39 cores=0,2,4,6
/proc/31649/task/31915/stat : 31915 (java) R 31647 31647 23397 0 -1 4202560 358 0 0 0 939 0 0 0 20 0 19 0 446087283 15924805632 44299 33554432000 4194304 4196468 140720427205440 139828076627712 139828251171432 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16150528 140720427213807 140720427213978 140720427213978 140720427216847 0
Current children cumulated CPU time: 42.63 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 178644 KiB
Child status: 0
Real time (s): 11.1334
CPU time (s): 42.708
CPU user time (s): 42.5487
CPU system time (s): 0.159265
CPU usage (%): 383.601
Max. virtual memory (cumulated for all children) (KiB): 15664696
Max. memory (cumulated for all children) (KiB): 209508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.5487
system time used= 0.159265
maximum resident set size= 210172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32305
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4112
involuntary context switches= 1148
# summary of solver processes directly reported to runsolver:
# pid: 31647
# total CPU time (s): 42.708
# total CPU user time (s): 42.5487
# total CPU system time (s): 0.159265
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.090089 second user time and 0.175956 second system time
The end