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 (8826 MiB free)
memory of node 1: 16384 MiB (5819 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403802-1568992289/watcher-4403802-1568992289 -o /var/tmp/evaluation-result-4403802-1568992289/solver-4403802-1568992289 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1568983381-1915 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 426857912 HOME/instance-4403802-1568992289.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
solver pid=9829, runsolver pid=9826
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 8.55 8.53 8.37 7/233 9845
/proc/meminfo: memFree=14982812/32770624 swapFree=66952600/67108860
[pid=9829] ppid=9826 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9829/stat : 9829 (xcsp3-exec) S 9826 9829 1883 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475484532 115843072 364 33554432000 4194304 5098028 140728524282144 140728524280248 140499263992444 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19881984 140728524284759 140728524285017 140728524285017 140728524287942 0
/proc/9829/statm: 28282 364 305 221 0 87 0
[pid=9831] ppid=9829 vsize=15144776 memory=29080 CPUtime=0.12 cores=0,2,4,6
/proc/9831/stat : 9831 (java) S 9829 9829 1883 0 -1 1077944320 5640 0 0 0 11 1 0 0 20 0 15 0 475484532 15508250624 7270 33554432000 4194304 4196468 140736206795904 140736206778448 140258938871543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
/proc/9831/statm: 3786194 7270 3188 1 0 3748377 0
[pid=9831/tid=9832] ppid=9829 vsize=15144776 memory=-2698087569006908830 CPUtime=0.09 cores=0,2,4,6
/proc/9831/task/9832/stat : 9832 (java) R 9829 9829 1883 0 -1 4202560 3570 0 0 0 8 1 0 0 20 0 15 0 475484532 15508250624 7270 33554432000 4194304 4196468 140736206795904 140258943104208 140258931108670 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9833] ppid=9829 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9833/stat : 9833 (java) S 9829 9829 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475484533 15508250624 7270 33554432000 4194304 4196468 140736206795904 140258875107600 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9834] ppid=9829 vsize=15144776 memory=140255403775616 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9834/stat : 9834 (java) S 9829 9829 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475484533 15508250624 7270 33554432000 4194304 4196468 140736206795904 140258874055056 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9835] ppid=9829 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9835/stat : 9835 (java) S 9829 9829 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475484533 15508250624 7270 33554432000 4194304 4196468 140736206795904 140258873002512 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9836] ppid=9829 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9836/stat : 9836 (java) S 9829 9829 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475484533 15508250624 7270 33554432000 4194304 4196468 140736206795904 140258871949968 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9837] ppid=9829 vsize=15144776 memory=140255403775616 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9837/stat : 9837 (java) S 9829 9829 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475484535 15508250624 7270 33554432000 4194304 4196468 140736206795904 140258474674672 140258938882690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9838] ppid=9829 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9838/stat : 9838 (java) S 9829 9829 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475484535 15508250624 7270 33554432000 4194304 4196468 140736206795904 140258473620896 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9839] ppid=9829 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9839/stat : 9839 (java) S 9829 9829 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475484535 15508250624 7270 33554432000 4194304 4196468 140736206795904 140258472568304 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9840] ppid=9829 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9840/stat : 9840 (java) S 9829 9829 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475484538 15508250624 7270 33554432000 4194304 4196468 140736206795904 140258471516880 140258938890139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9841] ppid=9829 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9841/stat : 9841 (java) S 9829 9829 1883 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 15 0 475484538 15508250624 7270 33554432000 4194304 4196468 140736206795904 140258470463472 140258938882690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9842] ppid=9829 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9842/stat : 9842 (java) S 9829 9829 1883 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 15 0 475484538 15508250624 7270 33554432000 4194304 4196468 140736206795904 140258469410928 140258938882690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9843] ppid=9829 vsize=15144776 memory=140255403775616 CPUtime=0.02 cores=0,2,4,6
/proc/9831/task/9843/stat : 9843 (java) R 9829 9829 1883 0 -1 4202560 335 0 0 0 2 0 0 0 20 0 15 0 475484538 15508250624 7270 33554432000 4194304 4196468 140736206795904 140258468358384 140258924037215 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9844] ppid=9829 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9844/stat : 9844 (java) S 9829 9829 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475484538 15508250624 7270 33554432000 4194304 4196468 140736206795904 140258467306080 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9845] ppid=9829 vsize=15144776 memory=140255403775616 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9845/stat : 9845 (java) S 9829 9829 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475484538 15508250624 7270 33554432000 4194304 4196468 140736206795904 140258398169904 140258938882690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30536 KiB
[startup+0.210831 s]*
/proc/loadavg: 8.55 8.53 8.37 8/233 9845
/proc/meminfo: memFree=14968076/32770624 swapFree=66952600/67108860
[pid=9829] ppid=9826 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9829/stat : 9829 (xcsp3-exec) S 9826 9829 1883 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475484532 115843072 364 33554432000 4194304 5098028 140728524282144 140728524280248 140499263992444 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19881984 140728524284759 140728524285017 140728524285017 140728524287942 0
/proc/9829/statm: 28282 364 305 221 0 87 0
[pid=9831] ppid=9829 vsize=15144776 memory=40996 CPUtime=0.35 cores=0,2,4,6
/proc/9831/stat : 9831 (java) S 9829 9829 1883 0 -1 1077944320 9491 0 0 0 32 3 0 0 20 0 15 0 475484532 15508250624 10249 33554432000 4194304 4196468 140736206795904 140736206778448 140258938871543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
/proc/9831/statm: 3786194 10249 3303 1 0 3748377 0
[pid=9831/tid=9832] ppid=9829 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/9831/task/9832/stat : 9832 (java) R 9829 9829 1883 0 -1 4202560 6615 0 0 0 18 2 0 0 20 0 15 0 475484532 15508250624 10249 33554432000 4194304 4196468 140736206795904 140258943109856 140258922952030 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9833] ppid=9829 vsize=15144776 memory=10592 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9833/stat : 9833 (java) S 9829 9829 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475484533 15508250624 10249 33554432000 4194304 4196468 140736206795904 140258875107600 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9834] ppid=9829 vsize=15144776 memory=288370631555487360 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9834/stat : 9834 (java) S 9829 9829 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475484533 15508250624 10249 33554432000 4194304 4196468 140736206795904 140258874055056 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9835] ppid=9829 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9835/stat : 9835 (java) S 9829 9829 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475484533 15508250624 10249 33554432000 4194304 4196468 140736206795904 140258873002512 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9836] ppid=9829 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9836/stat : 9836 (java) S 9829 9829 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475484533 15508250624 10249 33554432000 4194304 4196468 140736206795904 140258871949968 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9837] ppid=9829 vsize=15144776 memory=140255403775616 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9837/stat : 9837 (java) S 9829 9829 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475484535 15508250624 10249 33554432000 4194304 4196468 140736206795904 140258474674672 140258938882690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9838] ppid=9829 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9838/stat : 9838 (java) S 9829 9829 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475484535 15508250624 10249 33554432000 4194304 4196468 140736206795904 140258473620896 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9839] ppid=9829 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9839/stat : 9839 (java) S 9829 9829 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475484535 15508250624 10249 33554432000 4194304 4196468 140736206795904 140258472568304 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9840] ppid=9829 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9840/stat : 9840 (java) S 9829 9829 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475484538 15508250624 10249 33554432000 4194304 4196468 140736206795904 140258471516880 140258938890139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9841] ppid=9829 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9831/task/9841/stat : 9841 (java) S 9829 9829 1883 0 -1 1077944384 427 0 0 0 2 0 0 0 20 0 15 0 475484538 15508250624 10249 33554432000 4194304 4196468 140736206795904 140258470463472 140258938882690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9842] ppid=9829 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/9831/task/9842/stat : 9842 (java) S 9829 9829 1883 0 -1 1077944384 368 0 0 0 2 0 0 0 20 0 15 0 475484538 15508250624 10249 33554432000 4194304 4196468 140736206795904 140258469410928 140258938882690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9843] ppid=9829 vsize=15144776 memory=140255403775616 CPUtime=0.08 cores=0,2,4,6
/proc/9831/task/9843/stat : 9843 (java) R 9829 9829 1883 0 -1 4202560 778 0 0 0 8 0 0 0 20 0 15 0 475484538 15508250624 10249 33554432000 4194304 4196468 140736206795904 140258468358384 140258938892890 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9844] ppid=9829 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9844/stat : 9844 (java) S 9829 9829 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475484538 15508250624 10249 33554432000 4194304 4196468 140736206795904 140258467306080 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9845] ppid=9829 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9845/stat : 9845 (java) S 9829 9829 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475484538 15508250624 10249 33554432000 4194304 4196468 140736206795904 140258398169904 140258938882690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42452 KiB
[startup+0.310709 s]*
/proc/loadavg: 8.55 8.53 8.37 7/233 9845
/proc/meminfo: memFree=14960648/32770624 swapFree=66952600/67108860
[pid=9829] ppid=9826 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9829/stat : 9829 (xcsp3-exec) S 9826 9829 1883 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475484532 115843072 364 33554432000 4194304 5098028 140728524282144 140728524280248 140499263992444 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19881984 140728524284759 140728524285017 140728524285017 140728524287942 0
/proc/9829/statm: 28282 364 305 221 0 87 0
[pid=9831] ppid=9829 vsize=15149032 memory=50052 CPUtime=0.54 cores=0,2,4,6
/proc/9831/stat : 9831 (java) S 9829 9829 1883 0 -1 1077944320 10851 0 0 0 51 3 0 0 20 0 15 0 475484532 15512608768 12513 33554432000 4194304 4196468 140736206795904 140736206778448 140258938871543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
/proc/9831/statm: 3787258 12513 3352 1 0 3748377 0
[pid=9831/tid=9832] ppid=9829 vsize=15149032 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/9831/task/9832/stat : 9832 (java) R 9829 9829 1883 0 -1 4202560 7823 0 0 0 27 2 0 0 20 0 15 0 475484532 15512608768 12513 33554432000 4194304 4196468 140736206795904 140258943102656 140258922952030 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9833] ppid=9829 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9833/stat : 9833 (java) S 9829 9829 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475484533 15512608768 12513 33554432000 4194304 4196468 140736206795904 140258875107600 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9834] ppid=9829 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9834/stat : 9834 (java) S 9829 9829 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475484533 15512608768 12513 33554432000 4194304 4196468 140736206795904 140258874055056 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9835] ppid=9829 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9835/stat : 9835 (java) S 9829 9829 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475484533 15512608768 12513 33554432000 4194304 4196468 140736206795904 140258873002512 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9836] ppid=9829 vsize=15149032 memory=8547712850019655617 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9836/stat : 9836 (java) S 9829 9829 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475484533 15512608768 12513 33554432000 4194304 4196468 140736206795904 140258871949968 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9837] ppid=9829 vsize=15149032 memory=7089056485457618024 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9837/stat : 9837 (java) S 9829 9829 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475484535 15512608768 12513 33554432000 4194304 4196468 140736206795904 140258474674672 140258938882690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9838] ppid=9829 vsize=15149032 memory=4209357772117481859 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9838/stat : 9838 (java) S 9829 9829 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475484535 15512608768 12513 33554432000 4194304 4196468 140736206795904 140258473620896 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9839] ppid=9829 vsize=15149032 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9839/stat : 9839 (java) S 9829 9829 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475484535 15512608768 12513 33554432000 4194304 4196468 140736206795904 140258472568304 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9840] ppid=9829 vsize=15149032 memory=-8412652169205224307 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9840/stat : 9840 (java) S 9829 9829 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475484538 15512608768 12513 33554432000 4194304 4196468 140736206795904 140258471516880 140258938890139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9841] ppid=9829 vsize=15149032 memory=-8412656567168561567 CPUtime=0.06 cores=0,2,4,6
/proc/9831/task/9841/stat : 9841 (java) S 9829 9829 1883 0 -1 1077944384 523 0 0 0 6 0 0 0 20 0 15 0 475484538 15512608768 12513 33554432000 4194304 4196468 140736206795904 140258470463472 140258938882690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9842] ppid=9829 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/9831/task/9842/stat : 9842 (java) S 9829 9829 1883 0 -1 1077944384 374 0 0 0 4 0 0 0 20 0 15 0 475484538 15512608768 12513 33554432000 4194304 4196468 140736206795904 140258469410928 140258938882690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9843] ppid=9829 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/9831/task/9843/stat : 9843 (java) S 9829 9829 1883 0 -1 1077944384 842 0 0 0 13 0 0 0 20 0 15 0 475484538 15512608768 12513 33554432000 4194304 4196468 140736206795904 140258468358384 140258938882690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9844] ppid=9829 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9844/stat : 9844 (java) S 9829 9829 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475484538 15512608768 12513 33554432000 4194304 4196468 140736206795904 140258467306080 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9845] ppid=9829 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9845/stat : 9845 (java) S 9829 9829 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475484538 15512608768 12513 33554432000 4194304 4196468 140736206795904 140258398169904 140258938882690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51508 KiB
[startup+0.703178 s]
/proc/loadavg: 8.59 8.54 8.37 10/237 9849
/proc/meminfo: memFree=14936752/32770624 swapFree=66952600/67108860
[pid=9829] ppid=9826 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9829/stat : 9829 (xcsp3-exec) S 9826 9829 1883 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475484532 115843072 364 33554432000 4194304 5098028 140728524282144 140728524280248 140499263992444 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19881984 140728524284759 140728524285017 140728524285017 140728524287942 0
/proc/9829/statm: 28282 364 305 221 0 87 0
[pid=9831] ppid=9829 vsize=15483976 memory=133164 CPUtime=1.73 cores=0,2,4,6
/proc/9831/stat : 9831 (java) S 9829 9829 1883 0 -1 1077944320 14808 0 0 0 168 5 0 0 20 0 19 0 475484532 15855591424 33291 33554432000 4194304 4196468 140736206795904 140736206778448 140258938871543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
/proc/9831/statm: 3870994 33291 3463 1 0 3832094 0
[pid=9831/tid=9832] ppid=9829 vsize=15483976 memory=0 CPUtime=0.48 cores=0,2,4,6
/proc/9831/task/9832/stat : 9832 (java) S 9829 9829 1883 0 -1 1077944384 9020 0 0 0 45 3 0 0 20 0 19 0 475484532 15855591424 33291 33554432000 4194304 4196468 140736206795904 140258943112320 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9833] ppid=9829 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9833/stat : 9833 (java) S 9829 9829 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475484533 15855591424 33291 33554432000 4194304 4196468 140736206795904 140258875107600 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9834] ppid=9829 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9834/stat : 9834 (java) S 9829 9829 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475484533 15855591424 33291 33554432000 4194304 4196468 140736206795904 140258874055056 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9835] ppid=9829 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9835/stat : 9835 (java) S 9829 9829 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475484533 15855591424 33291 33554432000 4194304 4196468 140736206795904 140258873002512 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9836] ppid=9829 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9836/stat : 9836 (java) S 9829 9829 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475484533 15855591424 33291 33554432000 4194304 4196468 140736206795904 140258871949968 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9837] ppid=9829 vsize=15483976 memory=164 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9837/stat : 9837 (java) S 9829 9829 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475484535 15855591424 33291 33554432000 4194304 4196468 140736206795904 140258474674672 140258938882690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9838] ppid=9829 vsize=15483976 memory=6154848828556269427 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9838/stat : 9838 (java) S 9829 9829 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475484535 15855591424 33291 33554432000 4194304 4196468 140736206795904 140258473620896 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9839] ppid=9829 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9839/stat : 9839 (java) S 9829 9829 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475484535 15855591424 33291 33554432000 4194304 4196468 140736206795904 140258472568304 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9840] ppid=9829 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9840/stat : 9840 (java) S 9829 9829 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475484538 15855591424 33291 33554432000 4194304 4196468 140736206795904 140258471516880 140258938890139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9841] ppid=9829 vsize=15483976 memory=40280 CPUtime=0.28 cores=0,2,4,6
/proc/9831/task/9841/stat : 9841 (java) R 9829 9829 1883 0 -1 4202560 1097 0 0 0 28 0 0 0 20 0 19 0 475484538 15855591424 33291 33554432000 4194304 4196468 140736206795904 140258470444488 140258931108670 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9842] ppid=9829 vsize=15483976 memory=988 CPUtime=0.25 cores=0,2,4,6
/proc/9831/task/9842/stat : 9842 (java) R 9829 9829 1883 0 -1 4202560 950 0 0 0 25 0 0 0 20 0 19 0 475484538 15855591424 33291 33554432000 4194304 4196468 140736206795904 140258469396392 140258923793480 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9843] ppid=9829 vsize=15483976 memory=2016 CPUtime=0.31 cores=0,2,4,6
/proc/9831/task/9843/stat : 9843 (java) R 9829 9829 1883 0 -1 4202560 1688 0 0 0 31 0 0 0 20 0 19 0 475484538 15855591424 33291 33554432000 4194304 4196468 140736206795904 140258468356776 140258918294153 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9844] ppid=9829 vsize=15483976 memory=1284 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9844/stat : 9844 (java) S 9829 9829 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475484538 15855591424 33291 33554432000 4194304 4196468 140736206795904 140258467306080 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9845] ppid=9829 vsize=15483976 memory=1044 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9845/stat : 9845 (java) S 9829 9829 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475484538 15855591424 33291 33554432000 4194304 4196468 140736206795904 140258398169904 140258938882690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 134620 KiB
[startup+1.50933 s]
/proc/loadavg: 8.59 8.54 8.37 11/238 9961
/proc/meminfo: memFree=14826016/32770624 swapFree=66952600/67108860
[pid=9829] ppid=9826 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9829/stat : 9829 (xcsp3-exec) S 9826 9829 1883 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475484532 115843072 364 33554432000 4194304 5098028 140728524282144 140728524280248 140499263992444 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19881984 140728524284759 140728524285017 140728524285017 140728524287942 0
/proc/9829/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/9831/task/9845/stat : 9845 (java) S 9829 9829 1883 0 -1 1077944384 173 0 0 0 0 1 0 0 20 0 19 0 475484538 16061128704 63651 33554432000 4194304 4196468 140736206795904 140258398169904 140258938882690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=10218] ppid=9829 vsize=15684696 memory=8112282956445269571 CPUtime=33.69 cores=0,2,4,6
/proc/9831/task/10218/stat : 10218 (java) R 9829 9829 1883 0 -1 4202560 498 0 0 0 3369 0 0 0 20 0 19 0 475484946 16061128704 63651 33554432000 4194304 4196468 140736206795904 140258386029168 140258552695747 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=10219] ppid=9829 vsize=15684696 memory=9364 CPUtime=33.56 cores=0,2,4,6
/proc/9831/task/10219/stat : 10219 (java) R 9829 9829 1883 0 -1 4202560 1941 0 0 0 3356 0 0 0 20 0 19 0 475484946 16061128704 63651 33554432000 4194304 4196468 140736206795904 140258380886568 140258553324988 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=10220] ppid=9829 vsize=15684696 memory=1120 CPUtime=33.74 cores=0,2,4,6
/proc/9831/task/10220/stat : 10220 (java) R 9829 9829 1883 0 -1 4202560 386 0 0 0 3374 0 0 0 20 0 19 0 475484946 16061128704 63651 33554432000 4194304 4196468 140736206795904 140258379836320 140258924082724 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=10221] ppid=9829 vsize=15684696 memory=776 CPUtime=33.45 cores=0,2,4,6
/proc/9831/task/10221/stat : 10221 (java) R 9829 9829 1883 0 -1 4202560 3154 0 0 0 3345 0 0 0 20 0 19 0 475484946 16061128704 63651 33554432000 4194304 4196468 140736206795904 140258388136744 140258554608538 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
Current children cumulated CPU time: 150.48 s
Current children cumulated vsize: 15797824 KiB
Current children cumulated memory: 256060 KiB
[startup+39.2013 s]
/proc/loadavg: 8.28 8.46 8.35 10/238 10230
/proc/meminfo: memFree=14751732/32770624 swapFree=66952608/67108860
[pid=9829] ppid=9826 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9829/stat : 9829 (xcsp3-exec) S 9826 9829 1883 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475484532 115843072 364 33554432000 4194304 5098028 140728524282144 140728524280248 140499263992444 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19881984 140728524284759 140728524285017 140728524285017 140728524287942 0
/proc/9829/statm: 28282 364 305 221 0 87 0
[pid=9831] ppid=9829 vsize=15684696 memory=256876 CPUtime=153.61 cores=0,2,4,6
/proc/9831/stat : 9831 (java) S 9829 9829 1883 0 -1 1077944320 52335 0 0 0 15340 21 0 0 20 0 19 0 475484532 16061128704 64219 33554432000 4194304 4196468 140736206795904 140736206778448 140258938871543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
/proc/9831/statm: 3921174 64219 3510 1 0 3882274 0
[pid=9831/tid=9832] ppid=9829 vsize=15684696 memory=1456 CPUtime=0.51 cores=0,2,4,6
/proc/9831/task/9832/stat : 9832 (java) S 9829 9829 1883 0 -1 1077944384 9025 0 0 0 48 3 0 0 20 0 19 0 475484532 16061128704 64219 33554432000 4194304 4196468 140736206795904 140258943112320 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9833] ppid=9829 vsize=15684696 memory=1452 CPUtime=0.12 cores=0,2,4,6
/proc/9831/task/9833/stat : 9833 (java) S 9829 9829 1883 0 -1 1077944384 897 0 0 0 11 1 0 0 20 0 19 0 475484533 16061128704 64219 33554432000 4194304 4196468 140736206795904 140258875107600 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9834] ppid=9829 vsize=15684696 memory=476028 CPUtime=0.13 cores=0,2,4,6
/proc/9831/task/9834/stat : 9834 (java) S 9829 9829 1883 0 -1 1077944384 1320 0 0 0 12 1 0 0 20 0 19 0 475484533 16061128704 64219 33554432000 4194304 4196468 140736206795904 140258874055056 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9835] ppid=9829 vsize=15684696 memory=1412 CPUtime=0.13 cores=0,2,4,6
/proc/9831/task/9835/stat : 9835 (java) S 9829 9829 1883 0 -1 1077944384 840 0 0 0 11 2 0 0 20 0 19 0 475484533 16061128704 64219 33554432000 4194304 4196468 140736206795904 140258873002512 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9836] ppid=9829 vsize=15684696 memory=8112282956445269571 CPUtime=0.13 cores=0,2,4,6
/proc/9831/task/9836/stat : 9836 (java) S 9829 9829 1883 0 -1 1077944384 1027 0 0 0 12 1 0 0 20 0 19 0 475484533 16061128704 64219 33554432000 4194304 4196468 140736206795904 140258871949968 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9837] ppid=9829 vsize=15684696 memory=1044 CPUtime=0.11 cores=0,2,4,6
/proc/9831/task/9837/stat : 9837 (java) S 9829 9829 1883 0 -1 1077944384 1318 0 0 0 10 1 0 0 20 0 19 0 475484535 16061128704 64219 33554432000 4194304 4196468 140736206795904 140258474674672 140258938882690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9838] ppid=9829 vsize=15684696 memory=708 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9838/stat : 9838 (java) S 9829 9829 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475484535 16061128704 64219 33554432000 4194304 4196468 140736206795904 140258473620960 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9839] ppid=9829 vsize=15684696 memory=9364 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9839/stat : 9839 (java) S 9829 9829 1883 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475484535 16061128704 64219 33554432000 4194304 4196468 140736206795904 140258472568320 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9840] ppid=9829 vsize=15684696 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9840/stat : 9840 (java) S 9829 9829 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475484538 16061128704 64219 33554432000 4194304 4196468 140736206795904 140258471516880 140258938890139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9841] ppid=9829 vsize=15684696 memory=8112282956445269571 CPUtime=1.69 cores=0,2,4,6
/proc/9831/task/9841/stat : 9841 (java) S 9829 9829 1883 0 -1 1077944384 9009 0 0 0 168 1 0 0 20 0 19 0 475484538 16061128704 64219 33554432000 4194304 4196468 140736206795904 140258470463472 140258938882690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9842] ppid=9829 vsize=15684696 memory=0 CPUtime=1.69 cores=0,2,4,6
/proc/9831/task/9842/stat : 9842 (java) S 9829 9829 1883 0 -1 1077944384 10710 0 0 0 167 2 0 0 20 0 19 0 475484538 16061128704 64219 33554432000 4194304 4196468 140736206795904 140258469410928 140258938882690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9843] ppid=9829 vsize=15684696 memory=1456 CPUtime=0.48 cores=0,2,4,6
/proc/9831/task/9843/stat : 9843 (java) S 9829 9829 1883 0 -1 1077944384 4251 0 0 0 48 0 0 0 20 0 19 0 475484538 16061128704 64219 33554432000 4194304 4196468 140736206795904 140258468358384 140258938882690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9844] ppid=9829 vsize=15684696 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9844/stat : 9844 (java) S 9829 9829 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475484538 16061128704 64219 33554432000 4194304 4196468 140736206795904 140258467306080 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9845] ppid=9829 vsize=15684696 memory=214208 CPUtime=0.01 cores=0,2,4,6
/proc/9831/task/9845/stat : 9845 (java) S 9829 9829 1883 0 -1 1077944384 173 0 0 0 0 1 0 0 20 0 19 0 475484538 16061128704 64219 33554432000 4194304 4196468 140736206795904 140258398169904 140258938882690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=10218] ppid=9829 vsize=15684696 memory=1456 CPUtime=34.48 cores=0,2,4,6
/proc/9831/task/10218/stat : 10218 (java) R 9829 9829 1883 0 -1 4202560 499 0 0 0 3448 0 0 0 20 0 19 0 475484946 16061128704 64219 33554432000 4194304 4196468 140736206795904 140258386029792 140258552817214 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=10219] ppid=9829 vsize=15684696 memory=57 CPUtime=34.33 cores=0,2,4,6
/proc/9831/task/10219/stat : 10219 (java) R 9829 9829 1883 0 -1 4202560 1942 0 0 0 3433 0 0 0 20 0 19 0 475484946 16061128704 64219 33554432000 4194304 4196468 140736206795904 140258380888544 140258552562487 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=10220] ppid=9829 vsize=15684696 memory=4420 CPUtime=34.53 cores=0,2,4,6
/proc/9831/task/10220/stat : 10220 (java) R 9829 9829 1883 0 -1 4202560 388 0 0 0 3453 0 0 0 20 0 19 0 475484946 16061128704 64219 33554432000 4194304 4196468 140736206795904 140258379834024 140258552816891 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=10221] ppid=9829 vsize=15684696 memory=6628 CPUtime=34.21 cores=0,2,4,6
/proc/9831/task/10221/stat : 10221 (java) R 9829 9829 1883 0 -1 4202560 3154 0 0 0 3421 0 0 0 20 0 19 0 475484946 16061128704 64219 33554432000 4194304 4196468 140736206795904 140258388135504 140258552562716 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
Current children cumulated CPU time: 153.61 s
Current children cumulated vsize: 15797824 KiB
Current children cumulated memory: 258332 KiB
[startup+40.0013 s]*
/proc/loadavg: 8.28 8.46 8.35 10/238 10230
/proc/meminfo: memFree=14751856/32770624 swapFree=66952608/67108860
[pid=9829] ppid=9826 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9829/stat : 9829 (xcsp3-exec) S 9826 9829 1883 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475484532 115843072 364 33554432000 4194304 5098028 140728524282144 140728524280248 140499263992444 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19881984 140728524284759 140728524285017 140728524285017 140728524287942 0
/proc/9829/statm: 28282 364 305 221 0 87 0
[pid=9831] ppid=9829 vsize=15684696 memory=256480 CPUtime=156.77 cores=0,2,4,6
/proc/9831/stat : 9831 (java) S 9829 9829 1883 0 -1 1077944320 52439 0 0 0 15656 21 0 0 20 0 19 0 475484532 16061128704 64120 33554432000 4194304 4196468 140736206795904 140736206778448 140258938871543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
/proc/9831/statm: 3921174 64120 3510 1 0 3882274 0
[pid=9831/tid=9832] ppid=9829 vsize=15684696 memory=8317482817917895235 CPUtime=0.51 cores=0,2,4,6
/proc/9831/task/9832/stat : 9832 (java) S 9829 9829 1883 0 -1 1077944384 9025 0 0 0 48 3 0 0 20 0 19 0 475484532 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258943112320 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9833] ppid=9829 vsize=15684696 memory=9364 CPUtime=0.12 cores=0,2,4,6
/proc/9831/task/9833/stat : 9833 (java) S 9829 9829 1883 0 -1 1077944384 916 0 0 0 11 1 0 0 20 0 19 0 475484533 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258875107600 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9834] ppid=9829 vsize=15684696 memory=1120 CPUtime=0.13 cores=0,2,4,6
/proc/9831/task/9834/stat : 9834 (java) S 9829 9829 1883 0 -1 1077944384 1339 0 0 0 12 1 0 0 20 0 19 0 475484533 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258874055056 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9835] ppid=9829 vsize=15684696 memory=776 CPUtime=0.13 cores=0,2,4,6
/proc/9831/task/9835/stat : 9835 (java) S 9829 9829 1883 0 -1 1077944384 871 0 0 0 11 2 0 0 20 0 19 0 475484533 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258873002512 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9836] ppid=9829 vsize=15684696 memory=4126316290023845779 CPUtime=0.13 cores=0,2,4,6
/proc/9831/task/9836/stat : 9836 (java) S 9829 9829 1883 0 -1 1077944384 1056 0 0 0 12 1 0 0 20 0 19 0 475484533 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258871949968 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9837] ppid=9829 vsize=15684696 memory=880 CPUtime=0.11 cores=0,2,4,6
/proc/9831/task/9837/stat : 9837 (java) S 9829 9829 1883 0 -1 1077944384 1318 0 0 0 10 1 0 0 20 0 19 0 475484535 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258474674672 140258938882690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9838] ppid=9829 vsize=15684696 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9838/stat : 9838 (java) S 9829 9829 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475484535 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258473620960 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9839] ppid=9829 vsize=15684696 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9839/stat : 9839 (java) S 9829 9829 1883 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475484535 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258472568320 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9840] ppid=9829 vsize=15684696 memory=2552 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9840/stat : 9840 (java) S 9829 9829 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475484538 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258471516880 140258938890139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9841] ppid=9829 vsize=15684696 memory=1760 CPUtime=1.69 cores=0,2,4,6
/proc/9831/task/9841/stat : 9841 (java) S 9829 9829 1883 0 -1 1077944384 9009 0 0 0 168 1 0 0 20 0 19 0 475484538 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258470463472 140258938882690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9842] ppid=9829 vsize=15684696 memory=111632 CPUtime=1.69 cores=0,2,4,6
/proc/9831/task/9842/stat : 9842 (java) S 9829 9829 1883 0 -1 1077944384 10710 0 0 0 167 2 0 0 20 0 19 0 475484538 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258469410928 140258938882690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9843] ppid=9829 vsize=15684696 memory=2720 CPUtime=0.48 cores=0,2,4,6
/proc/9831/task/9843/stat : 9843 (java) S 9829 9829 1883 0 -1 1077944384 4251 0 0 0 48 0 0 0 20 0 19 0 475484538 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258468358384 140258938882690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9844] ppid=9829 vsize=15684696 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9844/stat : 9844 (java) S 9829 9829 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475484538 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258467306080 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9845] ppid=9829 vsize=15684696 memory=880 CPUtime=0.01 cores=0,2,4,6
/proc/9831/task/9845/stat : 9845 (java) S 9829 9829 1883 0 -1 1077944384 173 0 0 0 0 1 0 0 20 0 19 0 475484538 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258398169904 140258938882690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=10218] ppid=9829 vsize=15684696 memory=4104 CPUtime=35.29 cores=0,2,4,6
/proc/9831/task/10218/stat : 10218 (java) R 9829 9829 1883 0 -1 4202560 500 0 0 0 3529 0 0 0 20 0 19 0 475484946 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258386032336 140258552696154 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=10219] ppid=9829 vsize=15684696 memory=1984 CPUtime=35.14 cores=0,2,4,6
/proc/9831/task/10219/stat : 10219 (java) R 9829 9829 1883 0 -1 4202560 1943 0 0 0 3514 0 0 0 20 0 19 0 475484946 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258380886432 140258553813210 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=10220] ppid=9829 vsize=15684696 memory=2552 CPUtime=35.31 cores=0,2,4,6
/proc/9831/task/10220/stat : 10220 (java) R 9829 9829 1883 0 -1 4202560 390 0 0 0 3531 0 0 0 20 0 19 0 475484946 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258379834024 140258552561743 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=10221] ppid=9829 vsize=15684696 memory=1760 CPUtime=34.97 cores=0,2,4,6
/proc/9831/task/10221/stat : 10221 (java) R 9829 9829 1883 0 -1 4202560 3156 0 0 0 3497 0 0 0 20 0 19 0 475484946 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258388135920 140258554608349 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
Current children cumulated CPU time: 156.77 s
Current children cumulated vsize: 15797824 KiB
Current children cumulated memory: 257936 KiB
[startup+40.4013 s]
/proc/loadavg: 8.28 8.46 8.35 10/238 10230
/proc/meminfo: memFree=14751856/32770624 swapFree=66952608/67108860
[pid=9829] ppid=9826 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9829/stat : 9829 (xcsp3-exec) S 9826 9829 1883 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475484532 115843072 364 33554432000 4194304 5098028 140728524282144 140728524280248 140499263992444 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19881984 140728524284759 140728524285017 140728524285017 140728524287942 0
/proc/9829/statm: 28282 364 305 221 0 87 0
[pid=9831] ppid=9829 vsize=15684696 memory=256480 CPUtime=158.32 cores=0,2,4,6
/proc/9831/stat : 9831 (java) S 9829 9829 1883 0 -1 1077944320 52448 0 0 0 15811 21 0 0 20 0 19 0 475484532 16061128704 64120 33554432000 4194304 4196468 140736206795904 140736206778448 140258938871543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
/proc/9831/statm: 3921174 64120 3510 1 0 3882274 0
[pid=9831/tid=9832] ppid=9829 vsize=15684696 memory=4104 CPUtime=0.51 cores=0,2,4,6
/proc/9831/task/9832/stat : 9832 (java) S 9829 9829 1883 0 -1 1077944384 9025 0 0 0 48 3 0 0 20 0 19 0 475484532 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258943112320 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9833] ppid=9829 vsize=15684696 memory=1984 CPUtime=0.12 cores=0,2,4,6
/proc/9831/task/9833/stat : 9833 (java) S 9829 9829 1883 0 -1 1077944384 916 0 0 0 11 1 0 0 20 0 19 0 475484533 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258875107600 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9834] ppid=9829 vsize=15684696 memory=1456 CPUtime=0.13 cores=0,2,4,6
/proc/9831/task/9834/stat : 9834 (java) S 9829 9829 1883 0 -1 1077944384 1341 0 0 0 12 1 0 0 20 0 19 0 475484533 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258874055056 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9835] ppid=9829 vsize=15684696 memory=256220 CPUtime=0.13 cores=0,2,4,6
/proc/9831/task/9835/stat : 9835 (java) S 9829 9829 1883 0 -1 1077944384 874 0 0 0 11 2 0 0 20 0 19 0 475484533 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258873002512 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9836] ppid=9829 vsize=15684696 memory=984 CPUtime=0.13 cores=0,2,4,6
/proc/9831/task/9836/stat : 9836 (java) S 9829 9829 1883 0 -1 1077944384 1059 0 0 0 12 1 0 0 20 0 19 0 475484533 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258871949968 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9837] ppid=9829 vsize=15684696 memory=14012 CPUtime=0.11 cores=0,2,4,6
/proc/9831/task/9837/stat : 9837 (java) S 9829 9829 1883 0 -1 1077944384 1318 0 0 0 10 1 0 0 20 0 19 0 475484535 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258474674672 140258938882690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9838] ppid=9829 vsize=15684696 memory=15348 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9838/stat : 9838 (java) S 9829 9829 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475484535 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258473620960 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9839] ppid=9829 vsize=15684696 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9839/stat : 9839 (java) S 9829 9829 1883 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475484535 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258472568320 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9840] ppid=9829 vsize=15684696 memory=12036 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9840/stat : 9840 (java) S 9829 9829 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475484538 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258471516880 140258938890139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9841] ppid=9829 vsize=15684696 memory=496 CPUtime=1.69 cores=0,2,4,6
/proc/9831/task/9841/stat : 9841 (java) S 9829 9829 1883 0 -1 1077944384 9009 0 0 0 168 1 0 0 20 0 19 0 475484538 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258470463472 140258938882690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9842] ppid=9829 vsize=15684696 memory=1560 CPUtime=1.69 cores=0,2,4,6
/proc/9831/task/9842/stat : 9842 (java) S 9829 9829 1883 0 -1 1077944384 10710 0 0 0 167 2 0 0 20 0 19 0 475484538 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258469410928 140258938882690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9843] ppid=9829 vsize=15684696 memory=928 CPUtime=0.48 cores=0,2,4,6
/proc/9831/task/9843/stat : 9843 (java) S 9829 9829 1883 0 -1 1077944384 4251 0 0 0 48 0 0 0 20 0 19 0 475484538 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258468358384 140258938882690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9844] ppid=9829 vsize=15684696 memory=1680 CPUtime=0 cores=0,2,4,6
/proc/9831/task/9844/stat : 9844 (java) S 9829 9829 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475484538 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258467306080 140258938881749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=9845] ppid=9829 vsize=15684696 memory=1808 CPUtime=0.01 cores=0,2,4,6
/proc/9831/task/9845/stat : 9845 (java) S 9829 9829 1883 0 -1 1077944384 173 0 0 0 0 1 0 0 20 0 19 0 475484538 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258398169904 140258938882690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=10218] ppid=9829 vsize=15684696 memory=924 CPUtime=35.67 cores=0,2,4,6
/proc/9831/task/10218/stat : 10218 (java) R 9829 9829 1883 0 -1 4202560 500 0 0 0 3567 0 0 0 20 0 19 0 475484946 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258386029928 140258552817115 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=10219] ppid=9829 vsize=15684696 memory=3848 CPUtime=35.52 cores=0,2,4,6
/proc/9831/task/10219/stat : 10219 (java) R 9829 9829 1883 0 -1 4202560 1943 0 0 0 3552 0 0 0 20 0 19 0 475484946 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258380886400 140258552816748 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=10220] ppid=9829 vsize=15684696 memory=2656 CPUtime=35.7 cores=0,2,4,6
/proc/9831/task/10220/stat : 10220 (java) R 9829 9829 1883 0 -1 4202560 391 0 0 0 3570 0 0 0 20 0 19 0 475484946 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258379834024 140258553264701 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
[pid=9831/tid=10221] ppid=9829 vsize=15684696 memory=2720 CPUtime=35.36 cores=0,2,4,6
/proc/9831/task/10221/stat : 10221 (java) R 9829 9829 1883 0 -1 4202560 3156 0 0 0 3536 0 0 0 20 0 19 0 475484946 16061128704 64120 33554432000 4194304 4196468 140736206795904 140258388138688 140258554608520 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31297536 140736206799835 140736206800010 140736206800010 140736206802895 0
Current children cumulated CPU time: 158.32 s
Current children cumulated vsize: 15797824 KiB
Current children cumulated memory: 257936 KiB
Child status: 0
Real time (s): 40.4577
CPU time (s): 158.527
CPU user time (s): 158.306
CPU system time (s): 0.220943
CPU usage (%): 391.834
Max. virtual memory (cumulated for all children) (KiB): 15799768
Max. memory (cumulated for all children) (KiB): 258332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 158.306
system time used= 0.220943
maximum resident set size= 257212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53764
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9253
involuntary context switches= 3313
# summary of solver processes directly reported to runsolver:
# pid: 9829
# total CPU time (s): 158.527
# total CPU user time (s): 158.306
# total CPU system time (s): 0.220943
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.278644 second user time and 0.486079 second system time
The end