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 (3679 MiB free)
memory of node 1: 16384 MiB (1985 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404094-1568991449/watcher-4404094-1568991449 -o /tmp/evaluation-result-4404094-1568991449/solver-4404094-1568991449 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568990731-2770 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 250982558 HOME/instance-4404094-1568991449.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=5045, runsolver pid=5042
[startup+0.100082 s]*
/proc/loadavg: 8.73 7.73 4.92 7/233 5061
/proc/meminfo: memFree=5784572/32770624 swapFree=67002128/67108860
[pid=5045] ppid=5042 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5045/stat : 5045 (xcsp3-exec) S 5042 5045 2739 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475306441 115843072 363 33554432000 4194304 5098028 140724509557904 140724509556008 140204467892860 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32415744 140724509561723 140724509561965 140724509561965 140724509564874 0
/proc/5045/statm: 28282 363 304 221 0 87 0
[pid=5047] ppid=5045 vsize=15144776 memory=28664 CPUtime=0.13 cores=0,2,4,6
/proc/5047/stat : 5047 (java) S 5045 5045 2739 0 -1 1077944320 5694 0 0 0 12 1 0 0 20 0 15 0 475306441 15508250624 7166 33554432000 4194304 4196468 140727411902224 140727411884768 139954788896503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
/proc/5047/statm: 3786194 7166 3121 1 0 3748377 0
[pid=5047/tid=5048] ppid=5045 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/5047/task/5048/stat : 5048 (java) R 5045 5045 2739 0 -1 4202560 3563 0 0 0 9 0 0 0 20 0 15 0 475306442 15508250624 7232 33554432000 4194304 4196468 140727411902224 139954793129280 139954781133630 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5049] ppid=5045 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5049/stat : 5049 (java) S 5045 5045 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475306442 15508250624 7232 33554432000 4194304 4196468 140727411902224 139954741516560 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5050] ppid=5045 vsize=15144776 memory=288370661443081856 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5050/stat : 5050 (java) S 5045 5045 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475306442 15508250624 7232 33554432000 4194304 4196468 140727411902224 139954740464016 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5051] ppid=5045 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5051/stat : 5051 (java) S 5045 5045 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475306442 15508250624 7232 33554432000 4194304 4196468 140727411902224 139954739411472 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5052] ppid=5045 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5052/stat : 5052 (java) S 5045 5045 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475306442 15508250624 7232 33554432000 4194304 4196468 140727411902224 139954738358928 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5053] ppid=5045 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5053/stat : 5053 (java) S 5045 5045 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475306444 15508250624 7232 33554432000 4194304 4196468 140727411902224 139954256587248 139954788907650 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5054] ppid=5045 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5054/stat : 5054 (java) S 5045 5045 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475306444 15508250624 7232 33554432000 4194304 4196468 140727411902224 139954255533472 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5055] ppid=5045 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5055/stat : 5055 (java) S 5045 5045 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475306444 15508250624 7232 33554432000 4194304 4196468 140727411902224 139954254480880 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5056] ppid=5045 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5056/stat : 5056 (java) S 5045 5045 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475306447 15508250624 7232 33554432000 4194304 4196468 140727411902224 139954253429456 139954788915099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5057] ppid=5045 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5057/stat : 5057 (java) S 5045 5045 2739 0 -1 1077944384 342 0 0 0 0 0 0 0 20 0 15 0 475306447 15508250624 7232 33554432000 4194304 4196468 140727411902224 139954252376048 139954788907650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5058] ppid=5045 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5058/stat : 5058 (java) S 5045 5045 2739 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 475306447 15508250624 7232 33554432000 4194304 4196468 140727411902224 139954251323504 139954788907650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5059] ppid=5045 vsize=15144776 memory=140285291370112 CPUtime=0.02 cores=0,2,4,6
/proc/5047/task/5059/stat : 5059 (java) R 5045 5045 2739 0 -1 4202560 386 0 0 0 2 0 0 0 20 0 15 0 475306447 15508250624 7232 33554432000 4194304 4196468 140727411902224 139954250270960 139954772976990 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5060] ppid=5045 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5060/stat : 5060 (java) S 5045 5045 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475306447 15508250624 7232 33554432000 4194304 4196468 140727411902224 139954249218656 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5061] ppid=5045 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5061/stat : 5061 (java) S 5045 5045 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475306447 15508250624 7232 33554432000 4194304 4196468 140727411902224 139954248166192 139954788907650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30116 KiB
[startup+0.211253 s]*
/proc/loadavg: 8.73 7.73 4.92 7/233 5061
/proc/meminfo: memFree=5771388/32770624 swapFree=67002128/67108860
[pid=5045] ppid=5042 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5045/stat : 5045 (xcsp3-exec) S 5042 5045 2739 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475306441 115843072 363 33554432000 4194304 5098028 140724509557904 140724509556008 140204467892860 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32415744 140724509561723 140724509561965 140724509561965 140724509564874 0
/proc/5045/statm: 28282 363 304 221 0 87 0
[pid=5047] ppid=5045 vsize=15144776 memory=40812 CPUtime=0.33 cores=0,2,4,6
/proc/5047/stat : 5047 (java) S 5045 5045 2739 0 -1 1077944320 9463 0 0 0 31 2 0 0 20 0 15 0 475306441 15508250624 10203 33554432000 4194304 4196468 140727411902224 140727411884768 139954788896503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
/proc/5047/statm: 3786194 10203 3276 1 0 3748377 0
[pid=5047/tid=5048] ppid=5045 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/5047/task/5048/stat : 5048 (java) R 5045 5045 2739 0 -1 4202560 6605 0 0 0 18 1 0 0 20 0 15 0 475306442 15508250624 10203 33554432000 4194304 4196468 140727411902224 139954793131488 139954788908438 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5049] ppid=5045 vsize=15144776 memory=14645 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5049/stat : 5049 (java) S 5045 5045 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475306442 15508250624 10203 33554432000 4194304 4196468 140727411902224 139954741516560 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5050] ppid=5045 vsize=15144776 memory=140285291387609 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5050/stat : 5050 (java) S 5045 5045 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475306442 15508250624 10203 33554432000 4194304 4196468 140727411902224 139954740464016 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5051] ppid=5045 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5051/stat : 5051 (java) S 5045 5045 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475306442 15508250624 10203 33554432000 4194304 4196468 140727411902224 139954739411472 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5052] ppid=5045 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5052/stat : 5052 (java) S 5045 5045 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475306442 15508250624 10203 33554432000 4194304 4196468 140727411902224 139954738358928 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5053] ppid=5045 vsize=15144776 memory=140285291370112 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5053/stat : 5053 (java) S 5045 5045 2739 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475306444 15508250624 10203 33554432000 4194304 4196468 140727411902224 139954256587248 139954788907650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5054] ppid=5045 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5054/stat : 5054 (java) S 5045 5045 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475306444 15508250624 10203 33554432000 4194304 4196468 140727411902224 139954255533472 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5055] ppid=5045 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5055/stat : 5055 (java) S 5045 5045 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475306444 15508250624 10203 33554432000 4194304 4196468 140727411902224 139954254480880 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5056] ppid=5045 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5056/stat : 5056 (java) S 5045 5045 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475306447 15508250624 10203 33554432000 4194304 4196468 140727411902224 139954253429456 139954788915099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5057] ppid=5045 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5047/task/5057/stat : 5057 (java) S 5045 5045 2739 0 -1 1077944384 588 0 0 0 2 0 0 0 20 0 15 0 475306447 15508250624 10203 33554432000 4194304 4196468 140727411902224 139954252376048 139954788907650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5058] ppid=5045 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/5047/task/5058/stat : 5058 (java) S 5045 5045 2739 0 -1 1077944384 174 0 0 0 1 0 0 0 20 0 15 0 475306447 15508250624 10203 33554432000 4194304 4196468 140727411902224 139954251323504 139954788907650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5059] ppid=5045 vsize=15144776 memory=140285291370112 CPUtime=0.08 cores=0,2,4,6
/proc/5047/task/5059/stat : 5059 (java) R 5045 5045 2739 0 -1 4202560 801 0 0 0 8 0 0 0 20 0 15 0 475306447 15508250624 10203 33554432000 4194304 4196468 140727411902224 139954250270960 139954788917850 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5060] ppid=5045 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5060/stat : 5060 (java) S 5045 5045 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475306447 15508250624 10203 33554432000 4194304 4196468 140727411902224 139954249218656 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5061] ppid=5045 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5061/stat : 5061 (java) S 5045 5045 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475306447 15508250624 10203 33554432000 4194304 4196468 140727411902224 139954248166192 139954788907650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42264 KiB
[startup+0.316584 s]*
/proc/loadavg: 8.73 7.73 4.92 7/233 5061
/proc/meminfo: memFree=5763868/32770624 swapFree=67002128/67108860
[pid=5045] ppid=5042 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5045/stat : 5045 (xcsp3-exec) S 5042 5045 2739 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475306441 115843072 363 33554432000 4194304 5098028 140724509557904 140724509556008 140204467892860 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32415744 140724509561723 140724509561965 140724509561965 140724509564874 0
/proc/5045/statm: 28282 363 304 221 0 87 0
[pid=5047] ppid=5045 vsize=15149032 memory=50180 CPUtime=0.51 cores=0,2,4,6
/proc/5047/stat : 5047 (java) S 5045 5045 2739 0 -1 1077944320 10874 0 0 0 48 3 0 0 20 0 15 0 475306441 15512608768 12545 33554432000 4194304 4196468 140727411902224 140727411884768 139954788896503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
/proc/5047/statm: 3787258 12545 3369 1 0 3748377 0
[pid=5047/tid=5048] ppid=5045 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/5047/task/5048/stat : 5048 (java) R 5045 5045 2739 0 -1 4202560 7847 0 0 0 28 2 0 0 20 0 15 0 475306442 15512608768 12610 33554432000 4194304 4196468 140727411902224 139954793131440 139954772976990 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5049] ppid=5045 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5049/stat : 5049 (java) S 5045 5045 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475306442 15512608768 12610 33554432000 4194304 4196468 140727411902224 139954741516560 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5050] ppid=5045 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5050/stat : 5050 (java) S 5045 5045 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475306442 15512608768 12610 33554432000 4194304 4196468 140727411902224 139954740464016 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5051] ppid=5045 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5051/stat : 5051 (java) S 5045 5045 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475306442 15512608768 12610 33554432000 4194304 4196468 140727411902224 139954739411472 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5052] ppid=5045 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5052/stat : 5052 (java) S 5045 5045 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475306442 15512608768 12610 33554432000 4194304 4196468 140727411902224 139954738358928 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5053] ppid=5045 vsize=15149032 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5053/stat : 5053 (java) S 5045 5045 2739 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475306444 15512608768 12610 33554432000 4194304 4196468 140727411902224 139954256587248 139954788907650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5054] ppid=5045 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5054/stat : 5054 (java) S 5045 5045 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475306444 15512608768 12610 33554432000 4194304 4196468 140727411902224 139954255533472 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5055] ppid=5045 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5055/stat : 5055 (java) S 5045 5045 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475306444 15512608768 12610 33554432000 4194304 4196468 140727411902224 139954254480880 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5056] ppid=5045 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5056/stat : 5056 (java) S 5045 5045 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475306447 15512608768 12610 33554432000 4194304 4196468 140727411902224 139954253429456 139954788915099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5057] ppid=5045 vsize=15149032 memory=-8412656567168561567 CPUtime=0.03 cores=0,2,4,6
/proc/5047/task/5057/stat : 5057 (java) R 5045 5045 2739 0 -1 1077944384 607 0 0 0 3 0 0 0 20 0 15 0 475306447 15512608768 12610 33554432000 4194304 4196468 140727411902224 139954252376048 139954788907650 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5058] ppid=5045 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5047/task/5058/stat : 5058 (java) S 5045 5045 2739 0 -1 1077944384 213 0 0 0 3 0 0 0 20 0 15 0 475306447 15512608768 12610 33554432000 4194304 4196468 140727411902224 139954251323504 139954788907650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5059] ppid=5045 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/5047/task/5059/stat : 5059 (java) R 5045 5045 2739 0 -1 1077944384 909 0 0 0 12 0 0 0 20 0 15 0 475306447 15512608768 12610 33554432000 4194304 4196468 140727411902224 139954250270960 139954788907650 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5060] ppid=5045 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5060/stat : 5060 (java) S 5045 5045 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475306447 15512608768 12610 33554432000 4194304 4196468 140727411902224 139954249218656 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5061] ppid=5045 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5061/stat : 5061 (java) S 5045 5045 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475306447 15512608768 12610 33554432000 4194304 4196468 140727411902224 139954248166192 139954788907650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51632 KiB
[startup+0.708581 s]
/proc/loadavg: 8.73 7.73 4.92 8/233 5061
/proc/meminfo: memFree=5747308/32770624 swapFree=67002128/67108860
[pid=5045] ppid=5042 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5045/stat : 5045 (xcsp3-exec) S 5042 5045 2739 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475306441 115843072 363 33554432000 4194304 5098028 140724509557904 140724509556008 140204467892860 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32415744 140724509561723 140724509561965 140724509561965 140724509564874 0
/proc/5045/statm: 28282 363 304 221 0 87 0
[pid=5047] ppid=5045 vsize=15417412 memory=92212 CPUtime=1.56 cores=0,2,4,6
/proc/5047/stat : 5047 (java) S 5045 5045 2739 0 -1 1077944320 15735 0 0 0 151 5 0 0 20 0 19 0 475306441 15787429888 23053 33554432000 4194304 4196468 140727411902224 140727411884768 139954788896503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
/proc/5047/statm: 3854353 23053 3453 1 0 3815453 0
[pid=5047/tid=5048] ppid=5045 vsize=15417412 memory=-3704326594973231466 CPUtime=0.63 cores=0,2,4,6
/proc/5047/task/5048/stat : 5048 (java) S 5045 5045 2739 0 -1 1077944384 9309 0 0 0 60 3 0 0 20 0 19 0 475306442 15787429888 23053 33554432000 4194304 4196468 140727411902224 139954793137280 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5049] ppid=5045 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5049/stat : 5049 (java) S 5045 5045 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475306442 15787429888 23053 33554432000 4194304 4196468 140727411902224 139954741516560 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5050] ppid=5045 vsize=15417412 memory=3617 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5050/stat : 5050 (java) S 5045 5045 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475306442 15787429888 23053 33554432000 4194304 4196468 140727411902224 139954740464016 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5051] ppid=5045 vsize=15417412 memory=740 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5051/stat : 5051 (java) S 5045 5045 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475306442 15787429888 23053 33554432000 4194304 4196468 140727411902224 139954739411472 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5052] ppid=5045 vsize=15417412 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5052/stat : 5052 (java) S 5045 5045 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475306442 15787429888 23053 33554432000 4194304 4196468 140727411902224 139954738358928 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5053] ppid=5045 vsize=15417412 memory=7548 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5053/stat : 5053 (java) S 5045 5045 2739 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475306444 15787429888 23053 33554432000 4194304 4196468 140727411902224 139954256587248 139954788907650 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5054] ppid=5045 vsize=15417412 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5054/stat : 5054 (java) S 5045 5045 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475306444 15787429888 23053 33554432000 4194304 4196468 140727411902224 139954255533472 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5055] ppid=5045 vsize=15417412 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5055/stat : 5055 (java) S 5045 5045 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475306444 15787429888 23053 33554432000 4194304 4196468 140727411902224 139954254480880 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5056] ppid=5045 vsize=15417412 memory=776 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5056/stat : 5056 (java) S 5045 5045 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475306447 15787429888 23053 33554432000 4194304 4196468 140727411902224 139954253429456 139954788915099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5057] ppid=5045 vsize=15417412 memory=1160 CPUtime=0.2 cores=0,2,4,6
/proc/5047/task/5057/stat : 5057 (java) R 5045 5045 2739 0 -1 4202560 1341 0 0 0 20 0 0 0 20 0 19 0 475306447 15787429888 23053 33554432000 4194304 4196468 140727411902224 139954252369072 139954768114338 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5058] ppid=5045 vsize=15417412 memory=1716 CPUtime=0.21 cores=0,2,4,6
/proc/5047/task/5058/stat : 5058 (java) R 5045 5045 2739 0 -1 4202560 1029 0 0 0 21 0 0 0 20 0 19 0 475306447 15787429888 23053 33554432000 4194304 4196468 140727411902224 139954251309824 139954772283307 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5059] ppid=5045 vsize=15417412 memory=1096 CPUtime=0.4 cores=0,2,4,6
/proc/5047/task/5059/stat : 5059 (java) S 5045 5045 2739 0 -1 1077944384 2079 0 0 0 40 0 0 0 20 0 19 0 475306447 15787429888 23053 33554432000 4194304 4196468 140727411902224 139954250268752 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5060] ppid=5045 vsize=15417412 memory=6128 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5060/stat : 5060 (java) S 5045 5045 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475306447 15787429888 23053 33554432000 4194304 4196468 140727411902224 139954249218656 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5061] ppid=5045 vsize=15417412 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5061/stat : 5061 (java) S 5045 5045 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475306447 15787429888 23053 33554432000 4194304 4196468 140727411902224 139954248166192 139954788907650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 93664 KiB
[startup+1.50158 s]
/proc/loadavg: 8.73 7.73 4.92 12/237 5077
/proc/meminfo: memFree=5664396/32770624 swapFree=67002128/67108860
[pid=5045] ppid=5042 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5045/stat : 5045 (xcsp3-exec) S 5042 5045 2739 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475306441 115843072 363 33554432000 4194304 5098028 140724509557904 140724509556008 140204467892860 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32415744 140724509561723 140724509561965 140724509561965 140724509564874 0
/proc/5045/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/5047/task/5061/stat : 5061 (java) S 5045 5045 2739 0 -1 1077944384 978 0 0 0 0 1 0 0 20 0 19 0 475306447 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954248166192 139954788907650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5108] ppid=5045 vsize=15486024 memory=1560 CPUtime=54.31 cores=0,2,4,6
/proc/5047/task/5108/stat : 5108 (java) R 5045 5045 2739 0 -1 4202560 497 0 0 0 5431 0 0 0 20 0 19 0 475308985 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954237081024 139954418350853 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5109] ppid=5045 vsize=15486024 memory=924 CPUtime=54.29 cores=0,2,4,6
/proc/5047/task/5109/stat : 5109 (java) R 5045 5045 2739 0 -1 4202560 975 0 0 0 5429 0 0 0 20 0 19 0 475308985 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954236026584 139954418353638 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5110] ppid=5045 vsize=15486024 memory=8112282956445269571 CPUtime=54.27 cores=0,2,4,6
/proc/5047/task/5110/stat : 5110 (java) R 5045 5045 2739 0 -1 4202560 1313 0 0 0 5427 0 0 0 20 0 19 0 475308985 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954238132872 139954416240052 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5111] ppid=5045 vsize=15486024 memory=233180 CPUtime=54.07 cores=0,2,4,6
/proc/5047/task/5111/stat : 5111 (java) R 5045 5045 2739 0 -1 4202560 827 0 0 0 5407 0 0 0 20 0 19 0 475308985 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954232875856 139954417938902 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
Current children cumulated CPU time: 316.86 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 234664 KiB
[startup+80.8016 s]
/proc/loadavg: 9.36 8.18 5.31 9/237 5116
/proc/meminfo: memFree=5577108/32770624 swapFree=67002128/67108860
[pid=5045] ppid=5042 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5045/stat : 5045 (xcsp3-exec) S 5042 5045 2739 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475306441 115843072 363 33554432000 4194304 5098028 140724509557904 140724509556008 140204467892860 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32415744 140724509561723 140724509561965 140724509561965 140724509564874 0
/proc/5045/statm: 28282 363 304 221 0 87 0
[pid=5047] ppid=5045 vsize=15486024 memory=233212 CPUtime=319.99 cores=0,2,4,6
/proc/5047/stat : 5047 (java) S 5045 5045 2739 0 -1 1077944320 77069 0 0 0 31983 16 0 0 20 0 19 0 475306441 15857688576 58303 33554432000 4194304 4196468 140727411902224 140727411884768 139954788896503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
/proc/5047/statm: 3871506 58303 3520 1 0 3832606 0
[pid=5047/tid=5048] ppid=5045 vsize=15486024 memory=1452 CPUtime=0.63 cores=0,2,4,6
/proc/5047/task/5048/stat : 5048 (java) S 5045 5045 2739 0 -1 1077944384 9737 0 0 0 60 3 0 0 20 0 19 0 475306442 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954793137280 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5049] ppid=5045 vsize=15486024 memory=1452 CPUtime=0.02 cores=0,2,4,6
/proc/5047/task/5049/stat : 5049 (java) S 5045 5045 2739 0 -1 1077944384 2807 0 0 0 2 0 0 0 20 0 19 0 475306442 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954741516560 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5050] ppid=5045 vsize=15486024 memory=1452 CPUtime=0.02 cores=0,2,4,6
/proc/5047/task/5050/stat : 5050 (java) S 5045 5045 2739 0 -1 1077944384 1381 0 0 0 2 0 0 0 20 0 19 0 475306442 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954740464016 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5051] ppid=5045 vsize=15486024 memory=233212 CPUtime=0.02 cores=0,2,4,6
/proc/5047/task/5051/stat : 5051 (java) S 5045 5045 2739 0 -1 1077944384 2182 0 0 0 2 0 0 0 20 0 19 0 475306442 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954739411472 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5052] ppid=5045 vsize=15486024 memory=1052 CPUtime=0.02 cores=0,2,4,6
/proc/5047/task/5052/stat : 5052 (java) S 5045 5045 2739 0 -1 1077944384 1142 0 0 0 2 0 0 0 20 0 19 0 475306442 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954738358928 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5053] ppid=5045 vsize=15486024 memory=8112282956445269571 CPUtime=0.02 cores=0,2,4,6
/proc/5047/task/5053/stat : 5053 (java) S 5045 5045 2739 0 -1 1077944384 1967 0 0 0 2 0 0 0 20 0 19 0 475306444 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954256587248 139954788907650 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5054] ppid=5045 vsize=15486024 memory=233212 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5054/stat : 5054 (java) S 5045 5045 2739 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 475306444 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954255533536 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5055] ppid=5045 vsize=15486024 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5055/stat : 5055 (java) S 5045 5045 2739 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 19 0 475306444 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954254480896 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5056] ppid=5045 vsize=15486024 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5056/stat : 5056 (java) S 5045 5045 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475306447 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954253429456 139954788915099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5057] ppid=5045 vsize=15486024 memory=8112282956445269571 CPUtime=2.84 cores=0,2,4,6
/proc/5047/task/5057/stat : 5057 (java) S 5045 5045 2739 0 -1 1077944384 19893 0 0 0 282 2 0 0 20 0 19 0 475306447 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954252376048 139954788907650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5058] ppid=5045 vsize=15486024 memory=0 CPUtime=3.01 cores=0,2,4,6
/proc/5047/task/5058/stat : 5058 (java) S 5045 5045 2739 0 -1 1077944384 17801 0 0 0 300 1 0 0 20 0 19 0 475306447 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954251323504 139954788907650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5059] ppid=5045 vsize=15486024 memory=0 CPUtime=0.72 cores=0,2,4,6
/proc/5047/task/5059/stat : 5059 (java) S 5045 5045 2739 0 -1 1077944384 7592 0 0 0 71 1 0 0 20 0 19 0 475306447 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954250270960 139954788907650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5060] ppid=5045 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5060/stat : 5060 (java) S 5045 5045 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475306447 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954249218656 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5061] ppid=5045 vsize=15486024 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/5047/task/5061/stat : 5061 (java) S 5045 5045 2739 0 -1 1077944384 978 0 0 0 0 1 0 0 20 0 19 0 475306447 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954248166192 139954788907650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5108] ppid=5045 vsize=15486024 memory=0 CPUtime=55.09 cores=0,2,4,6
/proc/5047/task/5108/stat : 5108 (java) R 5045 5045 2739 0 -1 4202560 497 0 0 0 5509 0 0 0 20 0 19 0 475308985 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954237081024 139954416240043 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5109] ppid=5045 vsize=15486024 memory=804 CPUtime=55.07 cores=0,2,4,6
/proc/5047/task/5109/stat : 5109 (java) R 5045 5045 2739 0 -1 4202560 975 0 0 0 5507 0 0 0 20 0 19 0 475308985 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954236026584 139954419941919 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5110] ppid=5045 vsize=15486024 memory=1804 CPUtime=55.05 cores=0,2,4,6
/proc/5047/task/5110/stat : 5110 (java) R 5045 5045 2739 0 -1 4202560 1314 0 0 0 5505 0 0 0 20 0 19 0 475308985 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954238132872 139954417844575 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5111] ppid=5045 vsize=15486024 memory=27572 CPUtime=54.85 cores=0,2,4,6
/proc/5047/task/5111/stat : 5111 (java) R 5045 5045 2739 0 -1 4202560 827 0 0 0 5485 0 0 0 20 0 19 0 475308985 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954232875856 139954419078729 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
Current children cumulated CPU time: 319.99 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 234664 KiB
[startup+81.2036 s]
/proc/loadavg: 9.36 8.18 5.31 9/237 5116
/proc/meminfo: memFree=5577108/32770624 swapFree=67002128/67108860
[pid=5045] ppid=5042 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5045/stat : 5045 (xcsp3-exec) S 5042 5045 2739 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475306441 115843072 363 33554432000 4194304 5098028 140724509557904 140724509556008 140204467892860 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32415744 140724509561723 140724509561965 140724509561965 140724509564874 0
/proc/5045/statm: 28282 363 304 221 0 87 0
[pid=5047] ppid=5045 vsize=15486024 memory=233212 CPUtime=321.59 cores=0,2,4,6
/proc/5047/stat : 5047 (java) S 5045 5045 2739 0 -1 1077944320 77069 0 0 0 32143 16 0 0 20 0 19 0 475306441 15857688576 58303 33554432000 4194304 4196468 140727411902224 140727411884768 139954788896503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
/proc/5047/statm: 3871506 58303 3520 1 0 3832606 0
[pid=5047/tid=5048] ppid=5045 vsize=15486024 memory=3977295499660735250 CPUtime=0.63 cores=0,2,4,6
/proc/5047/task/5048/stat : 5048 (java) S 5045 5045 2739 0 -1 1077944384 9737 0 0 0 60 3 0 0 20 0 19 0 475306442 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954793137280 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5049] ppid=5045 vsize=15486024 memory=4420 CPUtime=0.02 cores=0,2,4,6
/proc/5047/task/5049/stat : 5049 (java) S 5045 5045 2739 0 -1 1077944384 2807 0 0 0 2 0 0 0 20 0 19 0 475306442 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954741516560 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5050] ppid=5045 vsize=15486024 memory=6628 CPUtime=0.02 cores=0,2,4,6
/proc/5047/task/5050/stat : 5050 (java) S 5045 5045 2739 0 -1 1077944384 1381 0 0 0 2 0 0 0 20 0 19 0 475306442 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954740464016 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5051] ppid=5045 vsize=15486024 memory=8836 CPUtime=0.02 cores=0,2,4,6
/proc/5047/task/5051/stat : 5051 (java) S 5045 5045 2739 0 -1 1077944384 2182 0 0 0 2 0 0 0 20 0 19 0 475306442 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954739411472 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5052] ppid=5045 vsize=15486024 memory=11044 CPUtime=0.02 cores=0,2,4,6
/proc/5047/task/5052/stat : 5052 (java) S 5045 5045 2739 0 -1 1077944384 1142 0 0 0 2 0 0 0 20 0 19 0 475306442 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954738358928 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5053] ppid=5045 vsize=15486024 memory=13252 CPUtime=0.02 cores=0,2,4,6
/proc/5047/task/5053/stat : 5053 (java) S 5045 5045 2739 0 -1 1077944384 1967 0 0 0 2 0 0 0 20 0 19 0 475306444 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954256587248 139954788907650 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5054] ppid=5045 vsize=15486024 memory=15460 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5054/stat : 5054 (java) S 5045 5045 2739 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 475306444 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954255533536 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5055] ppid=5045 vsize=15486024 memory=17668 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5055/stat : 5055 (java) S 5045 5045 2739 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 19 0 475306444 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954254480896 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5056] ppid=5045 vsize=15486024 memory=19876 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5056/stat : 5056 (java) S 5045 5045 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475306447 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954253429456 139954788915099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5057] ppid=5045 vsize=15486024 memory=22084 CPUtime=2.84 cores=0,2,4,6
/proc/5047/task/5057/stat : 5057 (java) S 5045 5045 2739 0 -1 1077944384 19893 0 0 0 282 2 0 0 20 0 19 0 475306447 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954252376048 139954788907650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5058] ppid=5045 vsize=15486024 memory=24292 CPUtime=3.01 cores=0,2,4,6
/proc/5047/task/5058/stat : 5058 (java) S 5045 5045 2739 0 -1 1077944384 17801 0 0 0 300 1 0 0 20 0 19 0 475306447 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954251323504 139954788907650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5059] ppid=5045 vsize=15486024 memory=26500 CPUtime=0.72 cores=0,2,4,6
/proc/5047/task/5059/stat : 5059 (java) S 5045 5045 2739 0 -1 1077944384 7592 0 0 0 71 1 0 0 20 0 19 0 475306447 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954250270960 139954788907650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5060] ppid=5045 vsize=15486024 memory=28708 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5060/stat : 5060 (java) S 5045 5045 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475306447 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954249218656 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5061] ppid=5045 vsize=15486024 memory=30916 CPUtime=0.01 cores=0,2,4,6
/proc/5047/task/5061/stat : 5061 (java) S 5045 5045 2739 0 -1 1077944384 978 0 0 0 0 1 0 0 20 0 19 0 475306447 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954248166192 139954788907650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5108] ppid=5045 vsize=15486024 memory=3120 CPUtime=55.49 cores=0,2,4,6
/proc/5047/task/5108/stat : 5108 (java) R 5045 5045 2739 0 -1 4202560 497 0 0 0 5549 0 0 0 20 0 19 0 475308985 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954237081024 139954417364323 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5109] ppid=5045 vsize=15486024 memory=1452 CPUtime=55.47 cores=0,2,4,6
/proc/5047/task/5109/stat : 5109 (java) R 5045 5045 2739 0 -1 4202560 975 0 0 0 5547 0 0 0 20 0 19 0 475308985 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954236026584 139954418013861 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5110] ppid=5045 vsize=15486024 memory=233212 CPUtime=55.45 cores=0,2,4,6
/proc/5047/task/5110/stat : 5110 (java) R 5045 5045 2739 0 -1 4202560 1314 0 0 0 5545 0 0 0 20 0 19 0 475308985 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954238132872 139954417940063 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5111] ppid=5045 vsize=15486024 memory=1736 CPUtime=55.24 cores=0,2,4,6
/proc/5047/task/5111/stat : 5111 (java) R 5045 5045 2739 0 -1 4202560 827 0 0 0 5524 0 0 0 20 0 19 0 475308985 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954232875856 139954417741810 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
Current children cumulated CPU time: 321.59 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 234664 KiB
[startup+81.4076 s]
/proc/loadavg: 9.36 8.18 5.31 9/237 5116
/proc/meminfo: memFree=5577108/32770624 swapFree=67002128/67108860
[pid=5045] ppid=5042 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5045/stat : 5045 (xcsp3-exec) S 5042 5045 2739 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475306441 115843072 363 33554432000 4194304 5098028 140724509557904 140724509556008 140204467892860 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32415744 140724509561723 140724509561965 140724509561965 140724509564874 0
/proc/5045/statm: 28282 363 304 221 0 87 0
[pid=5047] ppid=5045 vsize=15486024 memory=233212 CPUtime=322.4 cores=0,2,4,6
/proc/5047/stat : 5047 (java) S 5045 5045 2739 0 -1 1077944320 77069 0 0 0 32224 16 0 0 20 0 19 0 475306441 15857688576 58303 33554432000 4194304 4196468 140727411902224 140727411884768 139954788896503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
/proc/5047/statm: 3871506 58303 3520 1 0 3832606 0
[pid=5047/tid=5048] ppid=5045 vsize=15486024 memory=14981091563931951 CPUtime=0.63 cores=0,2,4,6
/proc/5047/task/5048/stat : 5048 (java) S 5045 5045 2739 0 -1 1077944384 9737 0 0 0 60 3 0 0 20 0 19 0 475306442 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954793137280 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5049] ppid=5045 vsize=15486024 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5047/task/5049/stat : 5049 (java) S 5045 5045 2739 0 -1 1077944384 2807 0 0 0 2 0 0 0 20 0 19 0 475306442 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954741516560 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5050] ppid=5045 vsize=15486024 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5047/task/5050/stat : 5050 (java) S 5045 5045 2739 0 -1 1077944384 1381 0 0 0 2 0 0 0 20 0 19 0 475306442 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954740464016 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5051] ppid=5045 vsize=15486024 memory=7084560715573387373 CPUtime=0.02 cores=0,2,4,6
/proc/5047/task/5051/stat : 5051 (java) S 5045 5045 2739 0 -1 1077944384 2182 0 0 0 2 0 0 0 20 0 19 0 475306442 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954739411472 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5052] ppid=5045 vsize=15486024 memory=6441076899410104404 CPUtime=0.02 cores=0,2,4,6
/proc/5047/task/5052/stat : 5052 (java) S 5045 5045 2739 0 -1 1077944384 1142 0 0 0 2 0 0 0 20 0 19 0 475306442 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954738358928 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5053] ppid=5045 vsize=15486024 memory=7738981128612375148 CPUtime=0.02 cores=0,2,4,6
/proc/5047/task/5053/stat : 5053 (java) S 5045 5045 2739 0 -1 1077944384 1967 0 0 0 2 0 0 0 20 0 19 0 475306444 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954256587248 139954788907650 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5054] ppid=5045 vsize=15486024 memory=7590653827606211669 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5054/stat : 5054 (java) S 5045 5045 2739 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 475306444 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954255533536 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5055] ppid=5045 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5055/stat : 5055 (java) S 5045 5045 2739 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 19 0 475306444 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954254480896 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5056] ppid=5045 vsize=15486024 memory=7881951811016880224 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5056/stat : 5056 (java) S 5045 5045 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475306447 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954253429456 139954788915099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5057] ppid=5045 vsize=15486024 memory=7590655979367786604 CPUtime=2.84 cores=0,2,4,6
/proc/5047/task/5057/stat : 5057 (java) S 5045 5045 2739 0 -1 1077944384 19893 0 0 0 282 2 0 0 20 0 19 0 475306447 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954252376048 139954788907650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5058] ppid=5045 vsize=15486024 memory=15260018805713 CPUtime=3.01 cores=0,2,4,6
/proc/5047/task/5058/stat : 5058 (java) S 5045 5045 2739 0 -1 1077944384 17801 0 0 0 300 1 0 0 20 0 19 0 475306447 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954251323504 139954788907650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5059] ppid=5045 vsize=15486024 memory=280570351168592 CPUtime=0.72 cores=0,2,4,6
/proc/5047/task/5059/stat : 5059 (java) S 5045 5045 2739 0 -1 1077944384 7592 0 0 0 71 1 0 0 20 0 19 0 475306447 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954250270960 139954788907650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5060] ppid=5045 vsize=15486024 memory=280570351016864 CPUtime=0 cores=0,2,4,6
/proc/5047/task/5060/stat : 5060 (java) S 5045 5045 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475306447 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954249218656 139954788906709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5061] ppid=5045 vsize=15486024 memory=6944656575208382560 CPUtime=0.01 cores=0,2,4,6
/proc/5047/task/5061/stat : 5061 (java) S 5045 5045 2739 0 -1 1077944384 978 0 0 0 0 1 0 0 20 0 19 0 475306447 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954248166192 139954788907650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5108] ppid=5045 vsize=15486024 memory=280570351017248 CPUtime=55.7 cores=0,2,4,6
/proc/5047/task/5108/stat : 5108 (java) R 5045 5045 2739 0 -1 4202560 497 0 0 0 5570 0 0 0 20 0 19 0 475308985 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954237081024 139954419079035 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5109] ppid=5045 vsize=15486024 memory=280570351017440 CPUtime=55.67 cores=0,2,4,6
/proc/5047/task/5109/stat : 5109 (java) R 5045 5045 2739 0 -1 4202560 975 0 0 0 5567 0 0 0 20 0 19 0 475308985 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954236026584 139954417844901 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5110] ppid=5045 vsize=15486024 memory=280570351017632 CPUtime=55.66 cores=0,2,4,6
/proc/5047/task/5110/stat : 5110 (java) R 5045 5045 2739 0 -1 4202560 1314 0 0 0 5566 0 0 0 20 0 19 0 475308985 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954238132872 139954417309637 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
[pid=5047/tid=5111] ppid=5045 vsize=15486024 memory=-7023579799431922829 CPUtime=55.44 cores=0,2,4,6
/proc/5047/task/5111/stat : 5111 (java) R 5045 5045 2739 0 -1 4202560 827 0 0 0 5544 0 0 0 20 0 19 0 475308985 15857688576 58303 33554432000 4194304 4196468 140727411902224 139954232875856 139954417940063 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30826496 140727411909615 140727411909786 140727411909786 140727411912655 0
Current children cumulated CPU time: 322.4 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 234664 KiB
Child status: 0
Real time (s): 81.4574
CPU time (s): 322.58
CPU user time (s): 322.41
CPU system time (s): 0.169904
CPU usage (%): 396.01
Max. virtual memory (cumulated for all children) (KiB): 15600904
Max. memory (cumulated for all children) (KiB): 234664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 322.41
system time used= 0.169904
maximum resident set size= 237284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78502
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5567
involuntary context switches= 8798
# summary of solver processes directly reported to runsolver:
# pid: 5045
# total CPU time (s): 322.58
# total CPU user time (s): 322.41
# total CPU system time (s): 0.169904
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.503687 second user time and 0.921573 second system time
The end