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 (13990 MiB free)
memory of node 1: 16384 MiB (15138 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273334-1502905658/watcher-4273334-1502905658 -o /tmp/evaluation-result-4273334-1502905658/solver-4273334-1502905658 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502893776-17186 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1196690136 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273334-1502905658.xml
running on 4 cores: 1,3,5,7
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=18764, runsolver pid=18761
Current StackSize limit: 8192 KiB
[startup+0.100157 s]*
/proc/loadavg: 1.87 1.51 1.84 3/206 18770
/proc/meminfo: memFree=29822464/32770624 swapFree=67108860/67108860
[pid=18764] ppid=18761 vsize=13440536 memory=15720 CPUtime=0.01 cores=1,3,5,7
/proc/18764/stat : 18764 (java) S 18761 18764 12395 0 -1 1077944320 3802 0 0 0 1 0 0 0 20 0 7 0 132477302 13763108864 3930 18446744073709551615 4194304 4196468 140728874464496 140728874447040 140425763204855 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
/proc/18764/statm: 3360134 3930 2011 1 0 3349631 0
[pid=18764/tid=18766] ppid=18761 vsize=13440536 memory=-6439968830534014599 CPUtime=0.01 cores=1,3,5,7
/proc/18764/task/18766/stat : 18766 (java) R 18761 18764 12395 0 -1 4202560 2500 0 0 0 1 0 0 0 20 0 7 0 132477311 13763108864 3996 18446744073709551615 4194304 4196468 140728874464496 140425767447312 140425763226781 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18767] ppid=18761 vsize=13440536 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18767/stat : 18767 (java) S 18761 18764 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 132477312 13763108864 3996 18446744073709551615 4194304 4196468 140728874464496 140425705151120 140425763215061 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18768] ppid=18761 vsize=13440536 memory=139928260114048 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18768/stat : 18768 (java) S 18761 18764 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 132477312 13763108864 3996 18446744073709551615 4194304 4196468 140728874464496 140425704098320 140425763215061 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18769] ppid=18761 vsize=13440536 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18769/stat : 18769 (java) S 18761 18764 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 132477312 13763108864 3996 18446744073709551615 4194304 4196468 140728874464496 140425703045520 140425763215061 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18770] ppid=18761 vsize=13440536 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18770/stat : 18770 (java) S 18761 18764 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 132477312 13763108864 3996 18446744073709551615 4194304 4196468 140728874464496 140425701992720 140425763215061 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18771] ppid=18761 vsize=13440536 memory=139928260114048 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18771/stat : 18771 (java) S 18761 18764 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 132477313 13763108864 3996 18446744073709551615 4194304 4196468 140728874464496 140425309817712 140425763216002 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13440536 KiB
Current children cumulated memory: 15720 KiB
[startup+0.209947 s]*
/proc/loadavg: 1.87 1.51 1.84 2/214 18778
/proc/meminfo: memFree=29817784/32770624 swapFree=67108860/67108860
[pid=18764] ppid=18761 vsize=13906484 memory=21672 CPUtime=0.05 cores=1,3,5,7
/proc/18764/stat : 18764 (java) S 18761 18764 12395 0 -1 1077944320 4870 0 0 0 4 1 0 0 20 0 14 0 132477302 14240239616 5418 18446744073709551615 4194304 4196468 140728874464496 140728874447040 140425763204855 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
/proc/18764/statm: 3476621 5418 2580 1 0 3466118 0
[pid=18764/tid=18766] ppid=18761 vsize=13906484 memory=8318255677412212789 CPUtime=0.04 cores=1,3,5,7
/proc/18764/task/18766/stat : 18766 (java) D 18761 18764 12395 0 -1 4202560 2979 0 0 0 4 0 0 0 20 0 14 0 132477311 14240239616 5418 18446744073709551615 4194304 4196468 140728874464496 140425767442336 140425763226877 0 4 1 16800974 18446744071580418449 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18767] ppid=18761 vsize=13906484 memory=331 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18767/stat : 18767 (java) S 18761 18764 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 132477312 14240239616 5418 18446744073709551615 4194304 4196468 140728874464496 140425705151120 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18768] ppid=18761 vsize=13906484 memory=139928261407624 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18768/stat : 18768 (java) S 18761 18764 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 132477312 14240239616 5418 18446744073709551615 4194304 4196468 140728874464496 140425704098320 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18769] ppid=18761 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18769/stat : 18769 (java) S 18761 18764 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 132477312 14240239616 5418 18446744073709551615 4194304 4196468 140728874464496 140425703045520 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18770] ppid=18761 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18770/stat : 18770 (java) S 18761 18764 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 132477312 14240239616 5418 18446744073709551615 4194304 4196468 140728874464496 140425701992720 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18771] ppid=18761 vsize=13906484 memory=139928260114048 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18771/stat : 18771 (java) S 18761 18764 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 132477313 14240239616 5418 18446744073709551615 4194304 4196468 140728874464496 140425309817712 140425763216002 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18772] ppid=18761 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18772/stat : 18772 (java) S 18761 18764 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 132477314 14240239616 5418 18446744073709551615 4194304 4196468 140728874464496 140425308763680 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18773] ppid=18761 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18773/stat : 18773 (java) S 18761 18764 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 132477314 14240239616 5418 18446744073709551615 4194304 4196468 140728874464496 140425307710832 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18774] ppid=18761 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18774/stat : 18774 (java) S 18761 18764 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 132477316 14240239616 5418 18446744073709551615 4194304 4196468 140728874464496 140425306659152 140425763223451 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18775] ppid=18761 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18775/stat : 18775 (java) S 18761 18764 12395 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 14 0 132477316 14240239616 5418 18446744073709551615 4194304 4196468 140728874464496 140425305606512 140425763216002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18776] ppid=18761 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18776/stat : 18776 (java) S 18761 18764 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 14 0 132477316 14240239616 5418 18446744073709551615 4194304 4196468 140728874464496 140425304553712 140425763216002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18777] ppid=18761 vsize=13906484 memory=139928260114048 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18777/stat : 18777 (java) S 18761 18764 12395 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 14 0 132477316 14240239616 5418 18446744073709551615 4194304 4196468 140728874464496 140425303500912 140425763216002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18778] ppid=18761 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18778/stat : 18778 (java) S 18761 18764 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 132477316 14240239616 5418 18446744073709551615 4194304 4196468 140728874464496 140425302448352 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13906484 KiB
Current children cumulated memory: 21672 KiB
[startup+0.310099 s]*
/proc/loadavg: 1.87 1.51 1.84 3/215 18779
/proc/meminfo: memFree=29804424/32770624 swapFree=67108860/67108860
[pid=18764] ppid=18761 vsize=13975920 memory=36580 CPUtime=0.18 cores=1,3,5,7
/proc/18764/stat : 18764 (java) S 18761 18764 12395 0 -1 1077944320 9782 0 0 0 16 2 0 0 20 0 15 0 132477302 14311342080 9145 18446744073709551615 4194304 4196468 140728874464496 140728874447040 140425763204855 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
/proc/18764/statm: 3493980 9145 3511 1 0 3482759 0
[pid=18764/tid=18766] ppid=18761 vsize=13975920 memory=-8774313645642428999 CPUtime=0.13 cores=1,3,5,7
/proc/18764/task/18766/stat : 18766 (java) R 18761 18764 12395 0 -1 4202560 7554 0 0 0 11 2 0 0 20 0 15 0 132477311 14311342080 9145 18446744073709551615 4194304 4196468 140728874464496 140425767432368 140425755882948 0 4 1 16800974 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18767] ppid=18761 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18767/stat : 18767 (java) S 18761 18764 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132477312 14311342080 9145 18446744073709551615 4194304 4196468 140728874464496 140425705151120 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18768] ppid=18761 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18768/stat : 18768 (java) S 18761 18764 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132477312 14311342080 9145 18446744073709551615 4194304 4196468 140728874464496 140425704098320 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18769] ppid=18761 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18769/stat : 18769 (java) S 18761 18764 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132477312 14311342080 9145 18446744073709551615 4194304 4196468 140728874464496 140425703045520 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18770] ppid=18761 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18770/stat : 18770 (java) S 18761 18764 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 132477312 14311342080 9145 18446744073709551615 4194304 4196468 140728874464496 140425701992720 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18771] ppid=18761 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18771/stat : 18771 (java) S 18761 18764 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 132477313 14311342080 9145 18446744073709551615 4194304 4196468 140728874464496 140425309817712 140425763216002 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18772] ppid=18761 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18772/stat : 18772 (java) S 18761 18764 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 132477314 14311342080 9145 18446744073709551615 4194304 4196468 140728874464496 140425308763680 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18773] ppid=18761 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18773/stat : 18773 (java) S 18761 18764 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 132477314 14311342080 9145 18446744073709551615 4194304 4196468 140728874464496 140425307710832 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18774] ppid=18761 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18774/stat : 18774 (java) S 18761 18764 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132477316 14311342080 9145 18446744073709551615 4194304 4196468 140728874464496 140425306659152 140425763223451 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18775] ppid=18761 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18775/stat : 18775 (java) S 18761 18764 12395 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 15 0 132477316 14311342080 9145 18446744073709551615 4194304 4196468 140728874464496 140425305606512 140425763216002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18776] ppid=18761 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/18764/task/18776/stat : 18776 (java) S 18761 18764 12395 0 -1 1077944384 173 0 0 0 1 0 0 0 20 0 15 0 132477316 14311342080 9145 18446744073709551615 4194304 4196468 140728874464496 140425304553712 140425763216002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18777] ppid=18761 vsize=13975920 memory=139928260114048 CPUtime=0.03 cores=1,3,5,7
/proc/18764/task/18777/stat : 18777 (java) S 18761 18764 12395 0 -1 1077944384 363 0 0 0 3 0 0 0 20 0 15 0 132477316 14311342080 9145 18446744073709551615 4194304 4196468 140728874464496 140425303500912 140425763216002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18778] ppid=18761 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18778/stat : 18778 (java) S 18761 18764 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132477316 14311342080 9145 18446744073709551615 4194304 4196468 140728874464496 140425302448352 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18779] ppid=18761 vsize=13975920 memory=139928260114048 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18779/stat : 18779 (java) S 18761 18764 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132477326 14311342080 9145 18446744073709551615 4194304 4196468 140728874464496 140425301396656 140425763216002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 36580 KiB
[startup+0.709273 s]
/proc/loadavg: 1.87 1.51 1.84 5/215 18779
/proc/meminfo: memFree=29790660/32770624 swapFree=67108860/67108860
[pid=18764] ppid=18761 vsize=13977988 memory=64992 CPUtime=0.94 cores=1,3,5,7
/proc/18764/stat : 18764 (java) S 18761 18764 12395 0 -1 1077944320 14037 0 0 0 89 5 0 0 20 0 15 0 132477302 14313459712 16248 18446744073709551615 4194304 4196468 140728874464496 140728874447040 140425763204855 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
/proc/18764/statm: 3494497 16248 3727 1 0 3483271 0
[pid=18764/tid=18766] ppid=18761 vsize=13977988 memory=139932555081343 CPUtime=0.52 cores=1,3,5,7
/proc/18764/task/18766/stat : 18766 (java) R 18761 18764 12395 0 -1 4202560 10343 0 0 0 48 4 0 0 20 0 15 0 132477311 14313459712 16248 18446744073709551615 4194304 4196468 140728874464496 140425767439872 140425384369759 0 4 1 16800974 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18767] ppid=18761 vsize=13977988 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18767/stat : 18767 (java) S 18761 18764 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132477312 14313459712 16248 18446744073709551615 4194304 4196468 140728874464496 140425705151120 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18768] ppid=18761 vsize=13977988 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18768/stat : 18768 (java) S 18761 18764 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132477312 14313459712 16248 18446744073709551615 4194304 4196468 140728874464496 140425704098320 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18769] ppid=18761 vsize=13977988 memory=609 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18769/stat : 18769 (java) S 18761 18764 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132477312 14313459712 16248 18446744073709551615 4194304 4196468 140728874464496 140425703045520 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18770] ppid=18761 vsize=13977988 memory=223 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18770/stat : 18770 (java) S 18761 18764 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 132477312 14313459712 16248 18446744073709551615 4194304 4196468 140728874464496 140425701992720 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18771] ppid=18761 vsize=13977988 memory=2 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18771/stat : 18771 (java) S 18761 18764 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 132477313 14313459712 16248 18446744073709551615 4194304 4196468 140728874464496 140425309817712 140425763216002 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18772] ppid=18761 vsize=13977988 memory=46 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18772/stat : 18772 (java) S 18761 18764 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 132477314 14313459712 16248 18446744073709551615 4194304 4196468 140728874464496 140425308763680 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18773] ppid=18761 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18773/stat : 18773 (java) S 18761 18764 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 132477314 14313459712 16248 18446744073709551615 4194304 4196468 140728874464496 140425307710832 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18774] ppid=18761 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18774/stat : 18774 (java) S 18761 18764 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132477316 14313459712 16248 18446744073709551615 4194304 4196468 140728874464496 140425306659152 140425763223451 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18775] ppid=18761 vsize=13977988 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/18764/task/18775/stat : 18775 (java) R 18761 18764 12395 0 -1 4202560 766 0 0 0 11 0 0 0 20 0 15 0 132477316 14313459712 16248 18446744073709551615 4194304 4196468 140728874464496 140425305592536 140425744750219 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18776] ppid=18761 vsize=13977988 memory=8319106358720148022 CPUtime=0.1 cores=1,3,5,7
/proc/18764/task/18776/stat : 18776 (java) R 18761 18764 12395 0 -1 4202560 721 0 0 0 10 0 0 0 20 0 15 0 132477316 14313459712 16248 18446744073709551615 4194304 4196468 140728874464496 140425304534072 140425748126172 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18777] ppid=18761 vsize=13977988 memory=7368004788339040850 CPUtime=0.19 cores=1,3,5,7
/proc/18764/task/18777/stat : 18777 (java) R 18761 18764 12395 0 -1 4202560 826 0 0 0 19 0 0 0 20 0 15 0 132477316 14313459712 16248 18446744073709551615 4194304 4196468 140728874464496 140425303497064 140425748370443 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18778] ppid=18761 vsize=13977988 memory=53320 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18778/stat : 18778 (java) S 18761 18764 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132477316 14313459712 16248 18446744073709551615 4194304 4196468 140728874464496 140425302448352 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18779] ppid=18761 vsize=13977988 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18779/stat : 18779 (java) S 18761 18764 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132477326 14313459712 16248 18446744073709551615 4194304 4196468 140728874464496 140425301396656 140425763216002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
Current children cumulated CPU time: 0.94 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 64992 KiB
[startup+1.50128 s]
/proc/loadavg: 1.87 1.51 1.84 3/215 18779
/proc/meminfo: memFree=29743820/32770624 swapFree=67108860/67108860
[pid=18764] ppid=18761 vsize=13982084 memory=174452 CPUtime=3.27 cores=1,3,5,7
/proc/18764/stat : 18764 (java) S 18761 18764 12395 0 -1 1077944320 26018 0 0 0 318 9 0 0 20 0 15 0 132477302 14317654016 43613 18446744073709551615 4194304 4196468 140728874464496 140728874447040 140425763204855 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
/proc/18764/statm: 3495521 43613 3763 1 0 3484295 0
[pid=18764/tid=18766] ppid=18761 vsize=13982084 memory=0 CPUtime=1.3 cores=1,3,5,7
/proc/18764/task/18766/stat : 18766 (java) R 18761 18764 12395 0 -1 4202560 13943 0 0 0 124 6 0 0 20 0 15 0 132477311 14317654016 43613 18446744073709551615 4194304 4196468 140728874464496 140425767439944 140425744047811 0 4 1 16800974 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18767] ppid=18761 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18767/stat : 18767 (java) S 18761 18764 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132477312 14317654016 43613 18446744073709551615 4194304 4196468 140728874464496 140425705151120 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18768] ppid=18761 vsize=13982084 memory=8945 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18768/stat : 18768 (java) S 18761 18764 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132477312 14317654016 43613 18446744073709551615 4194304 4196468 140728874464496 140425704098320 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18769] ppid=18761 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18769/stat : 18769 (java) S 18761 18764 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132477312 14317654016 43613 18446744073709551615 4194304 4196468 140728874464496 140425703045520 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18770] ppid=18761 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18770/stat : 18770 (java) S 18761 18764 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 132477312 14317654016 43613 18446744073709551615 4194304 4196468 140728874464496 140425701992720 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18771] ppid=18761 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18771/stat : 18771 (java) S 18761 18764 12395 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 132477313 14317654016 43613 18446744073709551615 4194304 4196468 140728874464496 140425309817712 140425763216002 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18772] ppid=18761 vsize=13982084 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18772/stat : 18772 (java) S 18761 18764 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 132477314 14317654016 43613 18446744073709551615 4194304 4196468 140728874464496 140425308763680 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18773] ppid=18761 vsize=13982084 memory=1 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18773/stat : 18773 (java) S 18761 18764 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 132477314 14317654016 43613 18446744073709551615 4194304 4196468 140728874464496 140425307710832 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18774] ppid=18761 vsize=13982084 memory=79 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18774/stat : 18774 (java) S 18761 18764 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132477316 14317654016 43613 18446744073709551615 4194304 4196468 140728874464496 140425306659152 140425763223451 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18775] ppid=18761 vsize=13982084 memory=1 CPUtime=0.75 cores=1,3,5,7
/proc/18764/task/18775/stat : 18775 (java) R 18761 18764 12395 0 -1 4202560 4138 0 0 0 74 1 0 0 20 0 15 0 132477316 14317654016 43613 18446744073709551615 4194304 4196468 140728874464496 140425305593616 140425744749486 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18776] ppid=18761 vsize=13982084 memory=237 CPUtime=0.71 cores=1,3,5,7
/proc/18764/task/18776/stat : 18776 (java) R 18761 18764 12395 0 -1 4202560 3367 0 0 0 71 0 0 0 20 0 15 0 132477316 14317654016 43613 18446744073709551615 4194304 4196468 140728874464496 140425304538704 140425742448549 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18777] ppid=18761 vsize=13982084 memory=2319389199337275488 CPUtime=0.49 cores=1,3,5,7
/proc/18764/task/18777/stat : 18777 (java) S 18761 18764 12395 0 -1 1077944384 3101 0 0 0 48 1 0 0 20 0 15 0 132477316 14317654016 43613 18446744073709551615 4194304 4196468 140728874464496 140425303500912 140425763216002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18778] ppid=18761 vsize=13982084 memory=5412 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18778/stat : 18778 (java) S 18761 18764 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132477316 14317654016 43613 18446744073709551615 4194304 4196468 140728874464496 140425302448352 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18779] ppid=18761 vsize=13982084 memory=7883944151737460846 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18779/stat : 18779 (java) S 18761 18764 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 132477326 14317654016 43613 18446744073709551615 4194304 4196468 140728874464496 140425301396656 140425763216002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
Current children cumulated CPU time: 3.27 s
Current children cumulated vsize: 13982084 KiB
################
# More data... #
################
/proc/18764/task/18766/stat : 18766 (java) R 18761 18764 12395 0 -1 4202560 112356 0 0 0 235389 58 0 0 20 0 15 0 132477311 14317654016 98542 18446744073709551615 4194304 4196468 140728874464496 140425767443504 140425390919554 0 4 1 16800974 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18767] ppid=18761 vsize=13982084 memory=395708 CPUtime=16.1 cores=1,3,5,7
/proc/18764/task/18767/stat : 18767 (java) S 18761 18764 12395 0 -1 1077944384 13212 0 0 0 1532 78 0 0 20 0 15 0 132477312 14317654016 98542 18446744073709551615 4194304 4196468 140728874464496 140425705151120 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18768] ppid=18761 vsize=13982084 memory=394680 CPUtime=16.15 cores=1,3,5,7
/proc/18764/task/18768/stat : 18768 (java) S 18761 18764 12395 0 -1 1077944384 13277 0 0 0 1534 81 0 0 20 0 15 0 132477312 14317654016 98542 18446744073709551615 4194304 4196468 140728874464496 140425704098320 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18769] ppid=18761 vsize=13982084 memory=395192 CPUtime=16.13 cores=1,3,5,7
/proc/18764/task/18769/stat : 18769 (java) S 18761 18764 12395 0 -1 1077944384 13677 0 0 0 1538 75 0 0 20 0 15 0 132477312 14317654016 98542 18446744073709551615 4194304 4196468 140728874464496 140425703045520 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18770] ppid=18761 vsize=13982084 memory=394168 CPUtime=16.15 cores=1,3,5,7
/proc/18764/task/18770/stat : 18770 (java) S 18761 18764 12395 0 -1 1077944384 15524 0 0 0 1536 79 0 0 20 0 15 0 132477312 14317654016 98542 18446744073709551615 4194304 4196468 140728874464496 140425701992720 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18771] ppid=18761 vsize=13982084 memory=0 CPUtime=8.03 cores=1,3,5,7
/proc/18764/task/18771/stat : 18771 (java) S 18761 18764 12395 0 -1 1077944384 20608 0 0 0 721 82 0 0 20 0 15 0 132477313 14317654016 98542 18446744073709551615 4194304 4196468 140728874464496 140425309817712 140425763216002 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18772] ppid=18761 vsize=13982084 memory=403388 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18772/stat : 18772 (java) S 18761 18764 12395 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 132477314 14317654016 98542 18446744073709551615 4194304 4196468 140728874464496 140425308763744 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18773] ppid=18761 vsize=13982084 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18773/stat : 18773 (java) S 18761 18764 12395 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 132477314 14317654016 98542 18446744073709551615 4194304 4196468 140728874464496 140425307710848 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18774] ppid=18761 vsize=13982084 memory=403644 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18774/stat : 18774 (java) S 18761 18764 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132477316 14317654016 98542 18446744073709551615 4194304 4196468 140728874464496 140425306659152 140425763223451 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18775] ppid=18761 vsize=13982084 memory=18468 CPUtime=4.14 cores=1,3,5,7
/proc/18764/task/18775/stat : 18775 (java) S 18761 18764 12395 0 -1 1077944384 25712 0 0 0 410 4 0 0 20 0 15 0 132477316 14317654016 98542 18446744073709551615 4194304 4196468 140728874464496 140425305606512 140425763216002 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18776] ppid=18761 vsize=13982084 memory=396220 CPUtime=3.67 cores=1,3,5,7
/proc/18764/task/18776/stat : 18776 (java) S 18761 18764 12395 0 -1 1077944384 26234 0 0 0 365 2 0 0 20 0 15 0 132477316 14317654016 98542 18446744073709551615 4194304 4196468 140728874464496 140425304553712 140425763216002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 39 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18777] ppid=18761 vsize=13982084 memory=644 CPUtime=0.94 cores=1,3,5,7
/proc/18764/task/18777/stat : 18777 (java) S 18761 18764 12395 0 -1 1077944384 22671 0 0 0 90 4 0 0 20 0 15 0 132477316 14317654016 98542 18446744073709551615 4194304 4196468 140728874464496 140425303500912 140425763216002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18778] ppid=18761 vsize=13982084 memory=401852 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18778/stat : 18778 (java) S 18761 18764 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132477316 14317654016 98542 18446744073709551615 4194304 4196468 140728874464496 140425302448352 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18779] ppid=18761 vsize=13982084 memory=403388 CPUtime=1.4 cores=1,3,5,7
/proc/18764/task/18779/stat : 18779 (java) S 18761 18764 12395 0 -1 1077944384 840 0 0 0 58 82 0 0 20 0 15 0 132477326 14317654016 98542 18446744073709551615 4194304 4196468 140728874464496 140425301396656 140425763216002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 63 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
Current children cumulated CPU time: 2437.29 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 394168 KiB
[startup+2442.3 s]
/proc/loadavg: 1.19 1.29 1.39 3/215 19036
/proc/meminfo: memFree=29198896/32770624 swapFree=67108860/67108860
[pid=18764] ppid=18761 vsize=13982084 memory=409708 CPUtime=2498.42 cores=1,3,5,7
/proc/18764/stat : 18764 (java) S 18761 18764 12395 0 -1 1077944320 271095 0 0 0 249358 484 0 0 20 0 15 0 132477302 14317654016 102427 18446744073709551615 4194304 4196468 140728874464496 140728874447040 140425763204855 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
/proc/18764/statm: 3495521 102427 3838 1 0 3484295 0
[pid=18764/tid=18766] ppid=18761 vsize=13982084 memory=410572 CPUtime=2413.8 cores=1,3,5,7
/proc/18764/task/18766/stat : 18766 (java) R 18761 18764 12395 0 -1 4202560 116000 0 0 0 241321 59 0 0 20 0 15 0 132477311 14317654016 102427 18446744073709551615 4194304 4196468 140728874464496 140425767443504 140425390147433 0 4 1 16800974 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18767] ppid=18761 vsize=13982084 memory=411608 CPUtime=16.5 cores=1,3,5,7
/proc/18764/task/18767/stat : 18767 (java) S 18761 18764 12395 0 -1 1077944384 13585 0 0 0 1569 81 0 0 20 0 15 0 132477312 14317654016 102427 18446744073709551615 4194304 4196468 140728874464496 140425705151120 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18768] ppid=18761 vsize=13982084 memory=410576 CPUtime=16.54 cores=1,3,5,7
/proc/18764/task/18768/stat : 18768 (java) S 18761 18764 12395 0 -1 1077944384 13628 0 0 0 1571 83 0 0 20 0 15 0 132477312 14317654016 102427 18446744073709551615 4194304 4196468 140728874464496 140425704098320 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18769] ppid=18761 vsize=13982084 memory=410060 CPUtime=16.5 cores=1,3,5,7
/proc/18764/task/18769/stat : 18769 (java) S 18761 18764 12395 0 -1 1077944384 13993 0 0 0 1573 77 0 0 20 0 15 0 132477312 14317654016 102427 18446744073709551615 4194304 4196468 140728874464496 140425703045520 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18770] ppid=18761 vsize=13982084 memory=410056 CPUtime=16.54 cores=1,3,5,7
/proc/18764/task/18770/stat : 18770 (java) S 18761 18764 12395 0 -1 1077944384 15822 0 0 0 1573 81 0 0 20 0 15 0 132477312 14317654016 102427 18446744073709551615 4194304 4196468 140728874464496 140425701992720 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18771] ppid=18761 vsize=13982084 memory=410756 CPUtime=8.25 cores=1,3,5,7
/proc/18764/task/18771/stat : 18771 (java) S 18761 18764 12395 0 -1 1077944384 20814 0 0 0 741 84 0 0 20 0 15 0 132477313 14317654016 102427 18446744073709551615 4194304 4196468 140728874464496 140425309817712 140425763216002 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18772] ppid=18761 vsize=13982084 memory=409728 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18772/stat : 18772 (java) S 18761 18764 12395 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 132477314 14317654016 102427 18446744073709551615 4194304 4196468 140728874464496 140425308763744 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18773] ppid=18761 vsize=13982084 memory=409460 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18773/stat : 18773 (java) S 18761 18764 12395 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 132477314 14317654016 102427 18446744073709551615 4194304 4196468 140728874464496 140425307710848 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18774] ppid=18761 vsize=13982084 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18774/stat : 18774 (java) S 18761 18764 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132477316 14317654016 102427 18446744073709551615 4194304 4196468 140728874464496 140425306659152 140425763223451 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18775] ppid=18761 vsize=13982084 memory=4064 CPUtime=4.14 cores=1,3,5,7
/proc/18764/task/18775/stat : 18775 (java) S 18761 18764 12395 0 -1 1077944384 25714 0 0 0 410 4 0 0 20 0 15 0 132477316 14317654016 102427 18446744073709551615 4194304 4196468 140728874464496 140425305606512 140425763216002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18776] ppid=18761 vsize=13982084 memory=411268 CPUtime=3.69 cores=1,3,5,7
/proc/18764/task/18776/stat : 18776 (java) S 18761 18764 12395 0 -1 1077944384 26392 0 0 0 366 3 0 0 20 0 15 0 132477316 14317654016 102427 18446744073709551615 4194304 4196468 140728874464496 140425304553712 140425763216002 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 39 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18777] ppid=18761 vsize=13982084 memory=410760 CPUtime=0.95 cores=1,3,5,7
/proc/18764/task/18777/stat : 18777 (java) S 18761 18764 12395 0 -1 1077944384 22816 0 0 0 91 4 0 0 20 0 15 0 132477316 14317654016 102427 18446744073709551615 4194304 4196468 140728874464496 140425303500912 140425763216002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18778] ppid=18761 vsize=13982084 memory=411272 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18778/stat : 18778 (java) S 18761 18764 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132477316 14317654016 102427 18446744073709551615 4194304 4196468 140728874464496 140425302448352 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18779] ppid=18761 vsize=13982084 memory=411780 CPUtime=1.43 cores=1,3,5,7
/proc/18764/task/18779/stat : 18779 (java) S 18761 18764 12395 0 -1 1077944384 858 0 0 0 59 84 0 0 20 0 15 0 132477326 14317654016 102427 18446744073709551615 4194304 4196468 140728874464496 140425301396656 140425763216002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 63 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
Current children cumulated CPU time: 2498.42 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 409708 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2463.5 s]
/proc/loadavg: 1.24 1.30 1.39 3/214 19037
/proc/meminfo: memFree=29211724/32770624 swapFree=67108860/67108860
[pid=18764] ppid=18761 vsize=13982084 memory=393776 CPUtime=2520.02 cores=1,3,5,7
/proc/18764/stat : 18764 (java) S 18761 18764 12395 0 -1 1077944320 274139 0 0 0 251515 487 0 0 20 0 15 0 132477302 14317654016 98444 18446744073709551615 4194304 4196468 140728874464496 140728874447040 140425763204855 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
/proc/18764/statm: 3495521 98444 3838 1 0 3484295 0
[pid=18764/tid=18766] ppid=18761 vsize=13982084 memory=0 CPUtime=2434.77 cores=1,3,5,7
/proc/18764/task/18766/stat : 18766 (java) R 18761 18764 12395 0 -1 4202560 118902 0 0 0 243418 59 0 0 20 0 15 0 132477311 14317654016 98444 18446744073709551615 4194304 4196468 140728874464496 140425767443120 140425389047653 0 4 1 16800974 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18767] ppid=18761 vsize=13982084 memory=397880 CPUtime=16.63 cores=1,3,5,7
/proc/18764/task/18767/stat : 18767 (java) S 18761 18764 12395 0 -1 1077944384 13632 0 0 0 1582 81 0 0 20 0 15 0 132477312 14317654016 98444 18446744073709551615 4194304 4196468 140728874464496 140425705151120 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18768] ppid=18761 vsize=13982084 memory=395316 CPUtime=16.67 cores=1,3,5,7
/proc/18764/task/18768/stat : 18768 (java) S 18761 18764 12395 0 -1 1077944384 13649 0 0 0 1584 83 0 0 20 0 15 0 132477312 14317654016 98444 18446744073709551615 4194304 4196468 140728874464496 140425704098320 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18769] ppid=18761 vsize=13982084 memory=3104 CPUtime=16.64 cores=1,3,5,7
/proc/18764/task/18769/stat : 18769 (java) S 18761 18764 12395 0 -1 1077944384 14026 0 0 0 1587 77 0 0 20 0 15 0 132477312 14317654016 98444 18446744073709551615 4194304 4196468 140728874464496 140425703045520 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18770] ppid=18761 vsize=13982084 memory=394288 CPUtime=16.68 cores=1,3,5,7
/proc/18764/task/18770/stat : 18770 (java) S 18761 18764 12395 0 -1 1077944384 15848 0 0 0 1586 82 0 0 20 0 15 0 132477312 14317654016 98444 18446744073709551615 4194304 4196468 140728874464496 140425701992720 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18771] ppid=18761 vsize=13982084 memory=394288 CPUtime=8.33 cores=1,3,5,7
/proc/18764/task/18771/stat : 18771 (java) S 18761 18764 12395 0 -1 1077944384 20828 0 0 0 748 85 0 0 20 0 15 0 132477313 14317654016 98444 18446744073709551615 4194304 4196468 140728874464496 140425309817712 140425763216002 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18772] ppid=18761 vsize=13982084 memory=393776 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18772/stat : 18772 (java) S 18761 18764 12395 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 132477314 14317654016 98444 18446744073709551615 4194304 4196468 140728874464496 140425308763744 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18773] ppid=18761 vsize=13982084 memory=5784 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18773/stat : 18773 (java) S 18761 18764 12395 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 132477314 14317654016 98444 18446744073709551615 4194304 4196468 140728874464496 140425307710848 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18774] ppid=18761 vsize=13982084 memory=409460 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18774/stat : 18774 (java) S 18761 18764 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132477316 14317654016 98444 18446744073709551615 4194304 4196468 140728874464496 140425306659152 140425763223451 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18775] ppid=18761 vsize=13982084 memory=396852 CPUtime=4.14 cores=1,3,5,7
/proc/18764/task/18775/stat : 18775 (java) S 18761 18764 12395 0 -1 1077944384 25714 0 0 0 410 4 0 0 20 0 15 0 132477316 14317654016 98444 18446744073709551615 4194304 4196468 140728874464496 140425305606512 140425763216002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18776] ppid=18761 vsize=13982084 memory=1152 CPUtime=3.69 cores=1,3,5,7
/proc/18764/task/18776/stat : 18776 (java) S 18761 18764 12395 0 -1 1077944384 26392 0 0 0 366 3 0 0 20 0 15 0 132477316 14317654016 98444 18446744073709551615 4194304 4196468 140728874464496 140425304553712 140425763216002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 39 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18777] ppid=18761 vsize=13982084 memory=394800 CPUtime=0.95 cores=1,3,5,7
/proc/18764/task/18777/stat : 18777 (java) S 18761 18764 12395 0 -1 1077944384 22816 0 0 0 91 4 0 0 20 0 15 0 132477316 14317654016 98444 18446744073709551615 4194304 4196468 140728874464496 140425303500912 140425763216002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18778] ppid=18761 vsize=13982084 memory=394288 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18778/stat : 18778 (java) S 18761 18764 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132477316 14317654016 98444 18446744073709551615 4194304 4196468 140728874464496 140425302448352 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18779] ppid=18761 vsize=13982084 memory=4132 CPUtime=1.44 cores=1,3,5,7
/proc/18764/task/18779/stat : 18779 (java) S 18761 18764 12395 0 -1 1077944384 859 0 0 0 60 84 0 0 20 0 15 0 132477326 14317654016 98444 18446744073709551615 4194304 4196468 140728874464496 140425301396656 140425763216002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 63 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 393776 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2463.51 s]
# the end of solver process 18764 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.17 s, system=4.88214 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2463.5 s]
/proc/loadavg: 1.24 1.30 1.39 3/214 19037
/proc/meminfo: memFree=29211724/32770624 swapFree=67108860/67108860
[pid=18764] ppid=18761 vsize=13982084 memory=393776 CPUtime=2520.02 cores=1,3,5,7
/proc/18764/stat : 18764 (java) S 18761 18764 12395 0 -1 1077944320 274139 0 0 0 251515 487 0 0 20 0 15 0 132477302 14317654016 98444 18446744073709551615 4194304 4196468 140728874464496 140728874447040 140425763204855 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
/proc/18764/statm: 3495521 98444 3838 1 0 3484295 0
[pid=18764/tid=18766] ppid=18761 vsize=13982084 memory=0 CPUtime=2434.77 cores=1,3,5,7
/proc/18764/task/18766/stat : 18766 (java) R 18761 18764 12395 0 -1 4202560 118902 0 0 0 243418 59 0 0 20 0 15 0 132477311 14317654016 98444 18446744073709551615 4194304 4196468 140728874464496 140425767443120 140425389047653 0 4 1 16800974 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18767] ppid=18761 vsize=13982084 memory=397880 CPUtime=16.63 cores=1,3,5,7
/proc/18764/task/18767/stat : 18767 (java) S 18761 18764 12395 0 -1 1077944384 13632 0 0 0 1582 81 0 0 20 0 15 0 132477312 14317654016 98444 18446744073709551615 4194304 4196468 140728874464496 140425705151120 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18768] ppid=18761 vsize=13982084 memory=395316 CPUtime=16.67 cores=1,3,5,7
/proc/18764/task/18768/stat : 18768 (java) S 18761 18764 12395 0 -1 1077944384 13649 0 0 0 1584 83 0 0 20 0 15 0 132477312 14317654016 98444 18446744073709551615 4194304 4196468 140728874464496 140425704098320 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18769] ppid=18761 vsize=13982084 memory=3104 CPUtime=16.64 cores=1,3,5,7
/proc/18764/task/18769/stat : 18769 (java) S 18761 18764 12395 0 -1 1077944384 14026 0 0 0 1587 77 0 0 20 0 15 0 132477312 14317654016 98444 18446744073709551615 4194304 4196468 140728874464496 140425703045520 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18770] ppid=18761 vsize=13982084 memory=394288 CPUtime=16.68 cores=1,3,5,7
/proc/18764/task/18770/stat : 18770 (java) S 18761 18764 12395 0 -1 1077944384 15848 0 0 0 1586 82 0 0 20 0 15 0 132477312 14317654016 98444 18446744073709551615 4194304 4196468 140728874464496 140425701992720 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18771] ppid=18761 vsize=13982084 memory=394288 CPUtime=8.33 cores=1,3,5,7
/proc/18764/task/18771/stat : 18771 (java) S 18761 18764 12395 0 -1 1077944384 20828 0 0 0 748 85 0 0 20 0 15 0 132477313 14317654016 98444 18446744073709551615 4194304 4196468 140728874464496 140425309817712 140425763216002 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18772] ppid=18761 vsize=13982084 memory=393776 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18772/stat : 18772 (java) S 18761 18764 12395 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 132477314 14317654016 98444 18446744073709551615 4194304 4196468 140728874464496 140425308763744 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18773] ppid=18761 vsize=13982084 memory=5784 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18773/stat : 18773 (java) S 18761 18764 12395 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 132477314 14317654016 98444 18446744073709551615 4194304 4196468 140728874464496 140425307710848 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18774] ppid=18761 vsize=13982084 memory=409460 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18774/stat : 18774 (java) S 18761 18764 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132477316 14317654016 98444 18446744073709551615 4194304 4196468 140728874464496 140425306659152 140425763223451 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18775] ppid=18761 vsize=13982084 memory=396852 CPUtime=4.14 cores=1,3,5,7
/proc/18764/task/18775/stat : 18775 (java) S 18761 18764 12395 0 -1 1077944384 25714 0 0 0 410 4 0 0 20 0 15 0 132477316 14317654016 98444 18446744073709551615 4194304 4196468 140728874464496 140425305606512 140425763216002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18776] ppid=18761 vsize=13982084 memory=1152 CPUtime=3.69 cores=1,3,5,7
/proc/18764/task/18776/stat : 18776 (java) S 18761 18764 12395 0 -1 1077944384 26392 0 0 0 366 3 0 0 20 0 15 0 132477316 14317654016 98444 18446744073709551615 4194304 4196468 140728874464496 140425304553712 140425763216002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 39 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18777] ppid=18761 vsize=13982084 memory=394800 CPUtime=0.95 cores=1,3,5,7
/proc/18764/task/18777/stat : 18777 (java) S 18761 18764 12395 0 -1 1077944384 22816 0 0 0 91 4 0 0 20 0 15 0 132477316 14317654016 98444 18446744073709551615 4194304 4196468 140728874464496 140425303500912 140425763216002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18778] ppid=18761 vsize=13982084 memory=394288 CPUtime=0 cores=1,3,5,7
/proc/18764/task/18778/stat : 18778 (java) S 18761 18764 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132477316 14317654016 98444 18446744073709551615 4194304 4196468 140728874464496 140425302448352 140425763215061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
[pid=18764/tid=18779] ppid=18761 vsize=13982084 memory=4132 CPUtime=1.44 cores=1,3,5,7
/proc/18764/task/18779/stat : 18779 (java) S 18761 18764 12395 0 -1 1077944384 859 0 0 0 60 84 0 0 20 0 15 0 132477326 14317654016 98444 18446744073709551615 4194304 4196468 140728874464496 140425301396656 140425763216002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 63 0 0 6293624 6294260 35237888 140728874467700 140728874467881 140728874467881 140728874471375 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 393776 KiB
Child status: 143
Real time (s): 2463.51
CPU time (s): 2520.05
CPU user time (s): 2515.17
CPU system time (s): 4.88214
CPU usage (%): 102.295
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 646392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.17
system time used= 4.88214
maximum resident set size= 646392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274379
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 278758
involuntary context switches= 8468
# summary of solver processes directly reported to runsolver:
# pid: 18764
# total CPU time (s): 2520.05
# total CPU user time (s): 2515.17
# total CPU system time (s): 4.88214
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2875 second user time and 23.103 second system time
The end