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 (13330 MiB free)
memory of node 1: 16384 MiB (13837 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4256178-1502643777/watcher-4256178-1502643777 -o /tmp/evaluation-result-4256178-1502643777/solver-4256178-1502643777 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1502642918-7710 --watchdog 312 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1082224198 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4256178-1502643777.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=7743, runsolver pid=7736
Current StackSize limit: 8192 KiB
[startup+0.100122 s]*
/proc/loadavg: 0.96 1.00 1.35 4/218 7772
/proc/meminfo: memFree=27780148/32770624 swapFree=67108860/67108860
[pid=7743] ppid=7736 vsize=13980164 memory=34604 CPUtime=0.12 cores=0,2,4,6
/proc/7743/stat : 7743 (java) S 7736 7743 3242 0 -1 1077944320 8564 0 0 0 11 1 0 0 20 0 15 0 97458603 14315687936 8651 33554432000 4194304 4196468 140722277287072 140722277269616 140632260873975 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
/proc/7743/statm: 3495041 8651 3408 1 0 3482761 0
[pid=7743/tid=7746] ppid=7736 vsize=13980164 memory=-8253362762721355408 CPUtime=0.09 cores=0,2,4,6
/proc/7743/task/7746/stat : 7746 (java) R 7736 7743 3242 0 -1 4202560 6505 0 0 0 8 1 0 0 20 0 15 0 97458603 14315687936 8651 33554432000 4194304 4196468 140722277287072 140632265079968 140632217484119 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7751] ppid=7736 vsize=13980164 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7751/stat : 7751 (java) S 7736 7743 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97458604 14315687936 8651 33554432000 4194304 4196468 140722277287072 140632198474000 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7752] ppid=7736 vsize=13980164 memory=140584232711808 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7752/stat : 7752 (java) S 7736 7743 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97458604 14315687936 8651 33554432000 4194304 4196468 140722277287072 140632197421456 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7753] ppid=7736 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7753/stat : 7753 (java) S 7736 7743 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97458604 14315687936 8651 33554432000 4194304 4196468 140722277287072 140632196368912 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7754] ppid=7736 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7754/stat : 7754 (java) S 7736 7743 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97458604 14315687936 8651 33554432000 4194304 4196468 140722277287072 140631853243024 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7756] ppid=7736 vsize=13980164 memory=140584232711808 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7756/stat : 7756 (java) S 7736 7743 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97458605 14315687936 8651 33554432000 4194304 4196468 140722277287072 140631803062768 140632260885122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7758] ppid=7736 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7758/stat : 7758 (java) S 7736 7743 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97458606 14315687936 8651 33554432000 4194304 4196468 140722277287072 140631802008992 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7760] ppid=7736 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7760/stat : 7760 (java) S 7736 7743 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97458606 14315687936 8651 33554432000 4194304 4196468 140722277287072 140631800956400 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7765] ppid=7736 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7765/stat : 7765 (java) S 7736 7743 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97458609 14315687936 8651 33554432000 4194304 4196468 140722277287072 140631799904976 140632260892571 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7766] ppid=7736 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7766/stat : 7766 (java) S 7736 7743 3242 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 97458609 14315687936 8651 33554432000 4194304 4196468 140722277287072 140631798851568 140632260885122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7767] ppid=7736 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7767/stat : 7767 (java) S 7736 7743 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97458609 14315687936 8651 33554432000 4194304 4196468 140722277287072 140631797799024 140632260885122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7768] ppid=7736 vsize=13980164 memory=140584232711808 CPUtime=0.01 cores=0,2,4,6
/proc/7743/task/7768/stat : 7768 (java) S 7736 7743 3242 0 -1 1077944384 375 0 0 0 1 0 0 0 20 0 15 0 97458609 14315687936 8651 33554432000 4194304 4196468 140722277287072 140631796746480 140632260885122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7770] ppid=7736 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7770/stat : 7770 (java) S 7736 7743 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97458609 14315687936 8651 33554432000 4194304 4196468 140722277287072 140631795694176 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7772] ppid=7736 vsize=13980164 memory=140584232711808 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7772/stat : 7772 (java) S 7736 7743 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97458609 14315687936 8651 33554432000 4194304 4196468 140722277287072 140631794641712 140632260885122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 34604 KiB
[startup+0.210446 s]*
/proc/loadavg: 0.96 1.00 1.35 5/218 7772
/proc/meminfo: memFree=27761280/32770624 swapFree=67108860/67108860
[pid=7743] ppid=7736 vsize=13980164 memory=44040 CPUtime=0.3 cores=0,2,4,6
/proc/7743/stat : 7743 (java) S 7736 7743 3242 0 -1 1077944320 9619 0 0 0 28 2 0 0 20 0 15 0 97458603 14315687936 11010 33554432000 4194304 4196468 140722277287072 140722277269616 140632260873975 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
/proc/7743/statm: 3495041 11010 3623 1 0 3482761 0
[pid=7743/tid=7746] ppid=7736 vsize=13980164 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/7743/task/7746/stat : 7746 (java) R 7736 7743 3242 0 -1 4202560 7126 0 0 0 18 1 0 0 20 0 15 0 97458603 14315687936 11010 33554432000 4194304 4196468 140722277287072 140632265099712 140632260895901 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7751] ppid=7736 vsize=13980164 memory=342 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7751/stat : 7751 (java) S 7736 7743 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97458604 14315687936 11010 33554432000 4194304 4196468 140722277287072 140632198474000 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7752] ppid=7736 vsize=13980164 memory=140584232719782 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7752/stat : 7752 (java) S 7736 7743 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97458604 14315687936 11010 33554432000 4194304 4196468 140722277287072 140632197421456 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7753] ppid=7736 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7753/stat : 7753 (java) S 7736 7743 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97458604 14315687936 11010 33554432000 4194304 4196468 140722277287072 140632196368912 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7754] ppid=7736 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7754/stat : 7754 (java) S 7736 7743 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97458604 14315687936 11010 33554432000 4194304 4196468 140722277287072 140631853243024 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7756] ppid=7736 vsize=13980164 memory=140584232711808 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7756/stat : 7756 (java) S 7736 7743 3242 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 97458605 14315687936 11010 33554432000 4194304 4196468 140722277287072 140631803062768 140632260885122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7758] ppid=7736 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7758/stat : 7758 (java) S 7736 7743 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97458606 14315687936 11010 33554432000 4194304 4196468 140722277287072 140631802008992 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7760] ppid=7736 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7760/stat : 7760 (java) S 7736 7743 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97458606 14315687936 11010 33554432000 4194304 4196468 140722277287072 140631800956400 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7765] ppid=7736 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7765/stat : 7765 (java) S 7736 7743 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97458609 14315687936 11010 33554432000 4194304 4196468 140722277287072 140631799904976 140632260892571 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7766] ppid=7736 vsize=13980164 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/7743/task/7766/stat : 7766 (java) S 7736 7743 3242 0 -1 1077944384 471 0 0 0 2 0 0 0 20 0 15 0 97458609 14315687936 11010 33554432000 4194304 4196468 140722277287072 140631798851568 140632260885122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7767] ppid=7736 vsize=13980164 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/7743/task/7767/stat : 7767 (java) S 7736 7743 3242 0 -1 1077944384 187 0 0 0 1 0 0 0 20 0 15 0 97458609 14315687936 11010 33554432000 4194304 4196468 140722277287072 140631797799024 140632260885122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7768] ppid=7736 vsize=13980164 memory=140584232711808 CPUtime=0.05 cores=0,2,4,6
/proc/7743/task/7768/stat : 7768 (java) S 7736 7743 3242 0 -1 1077944384 454 0 0 0 5 0 0 0 20 0 15 0 97458609 14315687936 11010 33554432000 4194304 4196468 140722277287072 140631796746480 140632260885122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7770] ppid=7736 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7770/stat : 7770 (java) S 7736 7743 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97458609 14315687936 11010 33554432000 4194304 4196468 140722277287072 140631795694176 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7772] ppid=7736 vsize=13980164 memory=140584232711808 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7772/stat : 7772 (java) S 7736 7743 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97458609 14315687936 11010 33554432000 4194304 4196468 140722277287072 140631794641712 140632260885122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 44040 KiB
[startup+0.310088 s]*
/proc/loadavg: 0.96 1.00 1.35 4/218 7772
/proc/meminfo: memFree=27747368/32770624 swapFree=67108860/67108860
[pid=7743] ppid=7736 vsize=13980184 memory=50452 CPUtime=0.46 cores=0,2,4,6
/proc/7743/stat : 7743 (java) S 7736 7743 3242 0 -1 1077944320 10351 0 1 0 43 3 0 0 20 0 15 0 97458603 14315708416 12613 33554432000 4194304 4196468 140722277287072 140722277269616 140632260873975 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
/proc/7743/statm: 3495046 12613 3707 1 0 3482761 0
[pid=7743/tid=7746] ppid=7736 vsize=13980184 memory=7311146985107750967 CPUtime=0.28 cores=0,2,4,6
/proc/7743/task/7746/stat : 7746 (java) R 7736 7743 3242 0 -1 4202560 7656 0 1 0 26 2 0 0 20 0 15 0 97458603 14315708416 12613 33554432000 4194304 4196468 140722277287072 140632265111376 140632260895901 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7751] ppid=7736 vsize=13980184 memory=304556153357205527 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7751/stat : 7751 (java) S 7736 7743 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97458604 14315708416 12613 33554432000 4194304 4196468 140722277287072 140632198474000 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7752] ppid=7736 vsize=13980184 memory=15394341896091288 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7752/stat : 7752 (java) S 7736 7743 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97458604 14315708416 12613 33554432000 4194304 4196468 140722277287072 140632197421456 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7753] ppid=7736 vsize=13980184 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7753/stat : 7753 (java) S 7736 7743 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97458604 14315708416 12613 33554432000 4194304 4196468 140722277287072 140632196368912 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7754] ppid=7736 vsize=13980184 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7754/stat : 7754 (java) S 7736 7743 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97458604 14315708416 12613 33554432000 4194304 4196468 140722277287072 140631853243024 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7756] ppid=7736 vsize=13980184 memory=140584232711808 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7756/stat : 7756 (java) S 7736 7743 3242 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 97458605 14315708416 12613 33554432000 4194304 4196468 140722277287072 140631803062768 140632260885122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7758] ppid=7736 vsize=13980184 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7758/stat : 7758 (java) S 7736 7743 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97458606 14315708416 12613 33554432000 4194304 4196468 140722277287072 140631802008992 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7760] ppid=7736 vsize=13980184 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7760/stat : 7760 (java) S 7736 7743 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97458606 14315708416 12613 33554432000 4194304 4196468 140722277287072 140631800956400 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7765] ppid=7736 vsize=13980184 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7765/stat : 7765 (java) S 7736 7743 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97458609 14315708416 12613 33554432000 4194304 4196468 140722277287072 140631799904976 140632260892571 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7766] ppid=7736 vsize=13980184 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/7743/task/7766/stat : 7766 (java) S 7736 7743 3242 0 -1 1077944384 474 0 0 0 3 0 0 0 20 0 15 0 97458609 14315708416 12613 33554432000 4194304 4196468 140722277287072 140631798851568 140632260885122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7767] ppid=7736 vsize=13980184 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/7743/task/7767/stat : 7767 (java) R 7736 7743 3242 0 -1 1077944384 327 0 0 0 4 0 0 0 20 0 15 0 97458609 14315708416 12613 33554432000 4194304 4196468 140722277287072 140631797799024 140632260885122 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7768] ppid=7736 vsize=13980184 memory=140584232711808 CPUtime=0.07 cores=0,2,4,6
/proc/7743/task/7768/stat : 7768 (java) R 7736 7743 3242 0 -1 1077944384 512 0 0 0 7 0 0 0 20 0 15 0 97458609 14315708416 12613 33554432000 4194304 4196468 140722277287072 140631796746480 140632260885122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7770] ppid=7736 vsize=13980184 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7770/stat : 7770 (java) S 7736 7743 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97458609 14315708416 12613 33554432000 4194304 4196468 140722277287072 140631795694176 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7772] ppid=7736 vsize=13980184 memory=140584232711808 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7772/stat : 7772 (java) S 7736 7743 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97458609 14315708416 12613 33554432000 4194304 4196468 140722277287072 140631794641712 140632260885122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 13980184 KiB
Current children cumulated memory: 50452 KiB
[startup+0.700667 s]
/proc/loadavg: 0.96 1.00 1.35 8/218 7772
/proc/meminfo: memFree=27718052/32770624 swapFree=67108860/67108860
[pid=7743] ppid=7736 vsize=13982232 memory=106864 CPUtime=1.51 cores=0,2,4,6
/proc/7743/stat : 7743 (java) S 7736 7743 3242 0 -1 1077944320 14240 0 1 0 146 5 0 0 20 0 15 0 97458603 14317805568 26716 33554432000 4194304 4196468 140722277287072 140722277269616 140632260873975 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
/proc/7743/statm: 3495558 26716 3779 1 0 3483273 0
[pid=7743/tid=7746] ppid=7736 vsize=13982232 memory=1732 CPUtime=0.66 cores=0,2,4,6
/proc/7743/task/7746/stat : 7746 (java) R 7736 7743 3242 0 -1 4202560 8291 0 1 0 63 3 0 0 20 0 15 0 97458603 14317805568 26716 33554432000 4194304 4196468 140722277287072 140632265106968 140631878992360 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7751] ppid=7736 vsize=13982232 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7751/stat : 7751 (java) S 7736 7743 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97458604 14317805568 26716 33554432000 4194304 4196468 140722277287072 140632198474000 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7752] ppid=7736 vsize=13982232 memory=12032 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7752/stat : 7752 (java) S 7736 7743 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97458604 14317805568 26716 33554432000 4194304 4196468 140722277287072 140632197421456 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7753] ppid=7736 vsize=13982232 memory=5792 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7753/stat : 7753 (java) S 7736 7743 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97458604 14317805568 26716 33554432000 4194304 4196468 140722277287072 140632196368912 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7754] ppid=7736 vsize=13982232 memory=796 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7754/stat : 7754 (java) S 7736 7743 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97458604 14317805568 26716 33554432000 4194304 4196468 140722277287072 140631853243024 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7756] ppid=7736 vsize=13982232 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7756/stat : 7756 (java) S 7736 7743 3242 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 97458605 14317805568 26716 33554432000 4194304 4196468 140722277287072 140631803062768 140632260885122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7758] ppid=7736 vsize=13982232 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7758/stat : 7758 (java) S 7736 7743 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97458606 14317805568 26716 33554432000 4194304 4196468 140722277287072 140631802008992 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7760] ppid=7736 vsize=13982232 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7760/stat : 7760 (java) S 7736 7743 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97458606 14317805568 26716 33554432000 4194304 4196468 140722277287072 140631800956400 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7765] ppid=7736 vsize=13982232 memory=6296683629868568929 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7765/stat : 7765 (java) S 7736 7743 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97458609 14317805568 26716 33554432000 4194304 4196468 140722277287072 140631799904976 140632260892571 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7766] ppid=7736 vsize=13982232 memory=7519159149027546218 CPUtime=0.28 cores=0,2,4,6
/proc/7743/task/7766/stat : 7766 (java) R 7736 7743 3242 0 -1 4202560 1692 0 0 0 28 0 0 0 20 0 15 0 97458609 14317805568 26716 33554432000 4194304 4196468 140722277287072 140631798837592 140632244258879 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7767] ppid=7736 vsize=13982232 memory=7523071198212214892 CPUtime=0.27 cores=0,2,4,6
/proc/7743/task/7767/stat : 7767 (java) R 7736 7743 3242 0 -1 4202560 1582 0 0 0 27 0 0 0 20 0 15 0 97458609 14317805568 26716 33554432000 4194304 4196468 140722277287072 140631797780040 140632241621929 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7768] ppid=7736 vsize=13982232 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/7743/task/7768/stat : 7768 (java) S 7736 7743 3242 0 -1 1077944384 1292 0 0 0 25 0 0 0 20 0 15 0 97458609 14317805568 26716 33554432000 4194304 4196468 140722277287072 140631796746480 140632260885122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7770] ppid=7736 vsize=13982232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7770/stat : 7770 (java) S 7736 7743 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97458609 14317805568 26716 33554432000 4194304 4196468 140722277287072 140631795694176 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7772] ppid=7736 vsize=13982232 memory=33 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7772/stat : 7772 (java) S 7736 7743 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97458609 14317805568 26716 33554432000 4194304 4196468 140722277287072 140631794641712 140632260885122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 13982232 KiB
Current children cumulated memory: 106864 KiB
[startup+1.50064 s]
/proc/loadavg: 0.96 1.00 1.35 9/218 7772
/proc/meminfo: memFree=27557988/32770624 swapFree=67108860/67108860
[pid=7743] ppid=7736 vsize=13986328 memory=220760 CPUtime=4.12 cores=0,2,4,6
/proc/7743/stat : 7743 (java) S 7736 7743 3242 0 -1 1077944320 28052 0 1 0 403 9 0 0 20 0 15 0 97458603 14321999872 55190 33554432000 4194304 4196468 140722277287072 140722277269616 140632260873975 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
/proc/7743/statm: 3496582 55190 3811 1 0 3484297 0
[pid=7743/tid=7746] ppid=7736 vsize=13986328 memory=8112282956445269571 CPUtime=1.42 cores=0,2,4,6
/proc/7743/task/7746/stat : 7746 (java) R 7736 7743 3242 0 -1 4202560 11208 0 1 0 138 4 0 0 20 0 15 0 97458603 14321999872 55190 33554432000 4194304 4196468 140722277287072 140632265107072 140631882366086 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7751] ppid=7736 vsize=13986328 memory=-8754540793456063680 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7751/stat : 7751 (java) S 7736 7743 3242 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 97458604 14321999872 55190 33554432000 4194304 4196468 140722277287072 140632198474000 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7752] ppid=7736 vsize=13986328 memory=-2843869621055772062 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7752/stat : 7752 (java) S 7736 7743 3242 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 15 0 97458604 14321999872 55190 33554432000 4194304 4196468 140722277287072 140632197421456 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7753] ppid=7736 vsize=13986328 memory=5450919713671312938 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7753/stat : 7753 (java) S 7736 7743 3242 0 -1 1077944384 163 0 0 0 0 0 0 0 20 0 15 0 97458604 14321999872 55190 33554432000 4194304 4196468 140722277287072 140632196368912 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7754] ppid=7736 vsize=13986328 memory=1401637097735671167 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7754/stat : 7754 (java) S 7736 7743 3242 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 97458604 14321999872 55190 33554432000 4194304 4196468 140722277287072 140631853243024 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7756] ppid=7736 vsize=13986328 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7756/stat : 7756 (java) S 7736 7743 3242 0 -1 1077944384 466 0 0 0 0 0 0 0 20 0 15 0 97458605 14321999872 55190 33554432000 4194304 4196468 140722277287072 140631803062768 140632260885122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
################
# More data... #
################
/proc/7743/task/7746/stat : 7746 (java) R 7736 7743 3242 0 -1 4202560 45806 0 1 0 8932 26 0 0 20 0 15 0 97458603 14321999872 1761240 33554432000 4194304 4196468 140722277287072 140632265110008 140631885295537 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7751] ppid=7736 vsize=13986328 memory=7044960 CPUtime=11.39 cores=0,2,4,6
/proc/7743/task/7751/stat : 7751 (java) S 7736 7743 3242 0 -1 1077944384 37543 0 0 0 1013 126 0 0 20 0 15 0 97458604 14321999872 1761240 33554432000 4194304 4196468 140722277287072 140632198474000 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7752] ppid=7736 vsize=13986328 memory=7044960 CPUtime=11.42 cores=0,2,4,6
/proc/7743/task/7752/stat : 7752 (java) S 7736 7743 3242 0 -1 1077944384 36878 0 0 0 1017 125 0 0 20 0 15 0 97458604 14321999872 1761240 33554432000 4194304 4196468 140722277287072 140632197421456 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7753] ppid=7736 vsize=13986328 memory=55 CPUtime=11.46 cores=0,2,4,6
/proc/7743/task/7753/stat : 7753 (java) S 7736 7743 3242 0 -1 1077944384 31603 0 0 0 1018 128 0 0 20 0 15 0 97458604 14321999872 1761240 33554432000 4194304 4196468 140722277287072 140632196368912 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7754] ppid=7736 vsize=13986328 memory=55 CPUtime=11.44 cores=0,2,4,6
/proc/7743/task/7754/stat : 7754 (java) S 7736 7743 3242 0 -1 1077944384 31739 0 0 0 1012 132 0 0 20 0 15 0 97458604 14321999872 1761240 33554432000 4194304 4196468 140722277287072 140631853243024 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7756] ppid=7736 vsize=13986328 memory=7044960 CPUtime=1.15 cores=0,2,4,6
/proc/7743/task/7756/stat : 7756 (java) S 7736 7743 3242 0 -1 1077944384 11958 0 0 0 114 1 0 0 20 0 15 0 97458605 14321999872 1761240 33554432000 4194304 4196468 140722277287072 140631803062768 140632260885122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7758] ppid=7736 vsize=13986328 memory=7044960 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7758/stat : 7758 (java) S 7736 7743 3242 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 97458606 14321999872 1761240 33554432000 4194304 4196468 140722277287072 140631802009056 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7760] ppid=7736 vsize=13986328 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7760/stat : 7760 (java) S 7736 7743 3242 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 97458606 14321999872 1761240 33554432000 4194304 4196468 140722277287072 140631800956416 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7765] ppid=7736 vsize=13986328 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7765/stat : 7765 (java) S 7736 7743 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97458609 14321999872 1761240 33554432000 4194304 4196468 140722277287072 140631799904976 140632260892571 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7766] ppid=7736 vsize=13986328 memory=7044960 CPUtime=1.95 cores=0,2,4,6
/proc/7743/task/7766/stat : 7766 (java) S 7736 7743 3242 0 -1 1077944384 6959 0 0 0 195 0 0 0 20 0 15 0 97458609 14321999872 1761240 33554432000 4194304 4196468 140722277287072 140631798851568 140632260885122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7767] ppid=7736 vsize=13986328 memory=7044960 CPUtime=1.96 cores=0,2,4,6
/proc/7743/task/7767/stat : 7767 (java) S 7736 7743 3242 0 -1 1077944384 8993 0 0 0 196 0 0 0 20 0 15 0 97458609 14321999872 1761240 33554432000 4194304 4196468 140722277287072 140631797799024 140632260885122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7768] ppid=7736 vsize=13986328 memory=1296 CPUtime=0.82 cores=0,2,4,6
/proc/7743/task/7768/stat : 7768 (java) S 7736 7743 3242 0 -1 1077944384 6167 0 0 0 81 1 0 0 20 0 15 0 97458609 14321999872 1761240 33554432000 4194304 4196468 140722277287072 140631796746480 140632260885122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7770] ppid=7736 vsize=13986328 memory=2408 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7770/stat : 7770 (java) S 7736 7743 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97458609 14321999872 1761240 33554432000 4194304 4196468 140722277287072 140631795694176 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7772] ppid=7736 vsize=13986328 memory=1732 CPUtime=0.05 cores=0,2,4,6
/proc/7743/task/7772/stat : 7772 (java) S 7736 7743 3242 0 -1 1077944384 139 0 0 0 3 2 0 0 20 0 15 0 97458609 14321999872 1761240 33554432000 4194304 4196468 140722277287072 140631794641712 140632260885122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
Current children cumulated CPU time: 141.33 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 7044960 KiB
[startup+162.301 s]
/proc/loadavg: 1.91 1.44 1.46 4/219 7782
/proc/meminfo: memFree=15779080/32770624 swapFree=67108860/67108860
[pid=7743] ppid=7736 vsize=13986328 memory=7044968 CPUtime=201.37 cores=0,2,4,6
/proc/7743/stat : 7743 (java) S 7736 7743 3242 0 -1 1077944320 273760 0 1 0 19585 552 0 0 20 0 15 0 97458603 14321999872 1761242 33554432000 4194304 4196468 140722277287072 140722277269616 140632260873975 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
/proc/7743/statm: 3496582 1761242 3847 1 0 3484297 0
[pid=7743/tid=7746] ppid=7736 vsize=13986328 memory=7044968 CPUtime=149.58 cores=0,2,4,6
/proc/7743/task/7746/stat : 7746 (java) R 7736 7743 3242 0 -1 4202560 99908 0 1 0 14929 29 0 0 20 0 15 0 97458603 14321999872 1761242 33554432000 4194304 4196468 140722277287072 140632265111624 140631885087065 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7751] ppid=7736 vsize=13986328 memory=7044968 CPUtime=11.39 cores=0,2,4,6
/proc/7743/task/7751/stat : 7751 (java) S 7736 7743 3242 0 -1 1077944384 37543 0 0 0 1013 126 0 0 20 0 15 0 97458604 14321999872 1761242 33554432000 4194304 4196468 140722277287072 140632198474000 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7752] ppid=7736 vsize=13986328 memory=7044968 CPUtime=11.42 cores=0,2,4,6
/proc/7743/task/7752/stat : 7752 (java) S 7736 7743 3242 0 -1 1077944384 36878 0 0 0 1017 125 0 0 20 0 15 0 97458604 14321999872 1761242 33554432000 4194304 4196468 140722277287072 140632197421456 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7753] ppid=7736 vsize=13986328 memory=281168155718056 CPUtime=11.46 cores=0,2,4,6
/proc/7743/task/7753/stat : 7753 (java) S 7736 7743 3242 0 -1 1077944384 31603 0 0 0 1018 128 0 0 20 0 15 0 97458604 14321999872 1761242 33554432000 4194304 4196468 140722277287072 140632196368912 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7754] ppid=7736 vsize=13986328 memory=7044968 CPUtime=11.44 cores=0,2,4,6
/proc/7743/task/7754/stat : 7754 (java) S 7736 7743 3242 0 -1 1077944384 31739 0 0 0 1012 132 0 0 20 0 15 0 97458604 14321999872 1761242 33554432000 4194304 4196468 140722277287072 140631853243024 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7756] ppid=7736 vsize=13986328 memory=7044968 CPUtime=1.15 cores=0,2,4,6
/proc/7743/task/7756/stat : 7756 (java) S 7736 7743 3242 0 -1 1077944384 11971 0 0 0 114 1 0 0 20 0 15 0 97458605 14321999872 1761242 33554432000 4194304 4196468 140722277287072 140631803062768 140632260885122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7758] ppid=7736 vsize=13986328 memory=7044968 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7758/stat : 7758 (java) S 7736 7743 3242 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 97458606 14321999872 1761242 33554432000 4194304 4196468 140722277287072 140631802009056 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7760] ppid=7736 vsize=13986328 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7760/stat : 7760 (java) S 7736 7743 3242 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 97458606 14321999872 1761242 33554432000 4194304 4196468 140722277287072 140631800956416 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7765] ppid=7736 vsize=13986328 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7765/stat : 7765 (java) S 7736 7743 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97458609 14321999872 1761242 33554432000 4194304 4196468 140722277287072 140631799904976 140632260892571 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7766] ppid=7736 vsize=13986328 memory=4966248 CPUtime=1.95 cores=0,2,4,6
/proc/7743/task/7766/stat : 7766 (java) S 7736 7743 3242 0 -1 1077944384 7260 0 0 0 195 0 0 0 20 0 15 0 97458609 14321999872 1761242 33554432000 4194304 4196468 140722277287072 140631798851568 140632260885122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7767] ppid=7736 vsize=13986328 memory=7044968 CPUtime=1.96 cores=0,2,4,6
/proc/7743/task/7767/stat : 7767 (java) S 7736 7743 3242 0 -1 1077944384 9004 0 0 0 196 0 0 0 20 0 15 0 97458609 14321999872 1761242 33554432000 4194304 4196468 140722277287072 140631797799024 140632260885122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7768] ppid=7736 vsize=13986328 memory=4144 CPUtime=0.82 cores=0,2,4,6
/proc/7743/task/7768/stat : 7768 (java) S 7736 7743 3242 0 -1 1077944384 6214 0 0 0 81 1 0 0 20 0 15 0 97458609 14321999872 1761242 33554432000 4194304 4196468 140722277287072 140631796746480 140632260885122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7770] ppid=7736 vsize=13986328 memory=7044968 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7770/stat : 7770 (java) S 7736 7743 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97458609 14321999872 1761242 33554432000 4194304 4196468 140722277287072 140631795694176 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7772] ppid=7736 vsize=13986328 memory=7044968 CPUtime=0.08 cores=0,2,4,6
/proc/7743/task/7772/stat : 7772 (java) S 7736 7743 3242 0 -1 1077944384 208 0 0 0 4 4 0 0 20 0 15 0 97458609 14321999872 1761242 33554432000 4194304 4196468 140722277287072 140631794641712 140632260885122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
Current children cumulated CPU time: 201.37 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 7044968 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+212.901 s]
/proc/loadavg: 1.91 1.51 1.49 4/219 7783
/proc/meminfo: memFree=15729576/32770624 swapFree=67108860/67108860
[pid=7743] ppid=7736 vsize=13986328 memory=7045072 CPUtime=252.07 cores=0,2,4,6
/proc/7743/stat : 7743 (java) S 7736 7743 3242 0 -1 1077944320 305162 0 1 0 24651 556 0 0 20 0 15 0 97458603 14321999872 1761268 33554432000 4194304 4196468 140722277287072 140722277269616 140632260873975 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
/proc/7743/statm: 3496582 1761268 3847 1 0 3484297 0
[pid=7743/tid=7746] ppid=7736 vsize=13986328 memory=7045072 CPUtime=200.18 cores=0,2,4,6
/proc/7743/task/7746/stat : 7746 (java) R 7736 7743 3242 0 -1 4202560 127860 0 1 0 19987 31 0 0 20 0 15 0 97458603 14321999872 1761268 33554432000 4194304 4196468 140722277287072 140632265110328 140631885298051 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7751] ppid=7736 vsize=13986328 memory=7045072 CPUtime=11.39 cores=0,2,4,6
/proc/7743/task/7751/stat : 7751 (java) S 7736 7743 3242 0 -1 1077944384 37543 0 0 0 1013 126 0 0 20 0 15 0 97458604 14321999872 1761268 33554432000 4194304 4196468 140722277287072 140632198474000 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7752] ppid=7736 vsize=13986328 memory=7045072 CPUtime=11.42 cores=0,2,4,6
/proc/7743/task/7752/stat : 7752 (java) S 7736 7743 3242 0 -1 1077944384 36878 0 0 0 1017 125 0 0 20 0 15 0 97458604 14321999872 1761268 33554432000 4194304 4196468 140722277287072 140632197421456 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7753] ppid=7736 vsize=13986328 memory=7045072 CPUtime=11.46 cores=0,2,4,6
/proc/7743/task/7753/stat : 7753 (java) S 7736 7743 3242 0 -1 1077944384 31603 0 0 0 1018 128 0 0 20 0 15 0 97458604 14321999872 1761268 33554432000 4194304 4196468 140722277287072 140632196368912 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7754] ppid=7736 vsize=13986328 memory=7045072 CPUtime=11.44 cores=0,2,4,6
/proc/7743/task/7754/stat : 7754 (java) S 7736 7743 3242 0 -1 1077944384 31739 0 0 0 1012 132 0 0 20 0 15 0 97458604 14321999872 1761268 33554432000 4194304 4196468 140722277287072 140631853243024 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7756] ppid=7736 vsize=13986328 memory=7045072 CPUtime=1.15 cores=0,2,4,6
/proc/7743/task/7756/stat : 7756 (java) S 7736 7743 3242 0 -1 1077944384 12017 0 0 0 114 1 0 0 20 0 15 0 97458605 14321999872 1761268 33554432000 4194304 4196468 140722277287072 140631803062768 140632260885122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7758] ppid=7736 vsize=13986328 memory=4620 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7758/stat : 7758 (java) S 7736 7743 3242 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 97458606 14321999872 1761268 33554432000 4194304 4196468 140722277287072 140631802009056 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7760] ppid=7736 vsize=13986328 memory=7045072 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7760/stat : 7760 (java) S 7736 7743 3242 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 97458606 14321999872 1761268 33554432000 4194304 4196468 140722277287072 140631800956416 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7765] ppid=7736 vsize=13986328 memory=7045072 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7765/stat : 7765 (java) S 7736 7743 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97458609 14321999872 1761268 33554432000 4194304 4196468 140722277287072 140631799904976 140632260892571 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7766] ppid=7736 vsize=13986328 memory=7045072 CPUtime=1.98 cores=0,2,4,6
/proc/7743/task/7766/stat : 7766 (java) S 7736 7743 3242 0 -1 1077944384 8854 0 0 0 198 0 0 0 20 0 15 0 97458609 14321999872 1761268 33554432000 4194304 4196468 140722277287072 140631798851568 140632260885122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7767] ppid=7736 vsize=13986328 memory=7045072 CPUtime=2 cores=0,2,4,6
/proc/7743/task/7767/stat : 7767 (java) S 7736 7743 3242 0 -1 1077944384 10772 0 0 0 199 1 0 0 20 0 15 0 97458609 14321999872 1761268 33554432000 4194304 4196468 140722277287072 140631797799024 140632260885122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7768] ppid=7736 vsize=13986328 memory=7045072 CPUtime=0.82 cores=0,2,4,6
/proc/7743/task/7768/stat : 7768 (java) S 7736 7743 3242 0 -1 1077944384 6218 0 0 0 81 1 0 0 20 0 15 0 97458609 14321999872 1761268 33554432000 4194304 4196468 140722277287072 140631796746480 140632260885122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7770] ppid=7736 vsize=13986328 memory=7045072 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7770/stat : 7770 (java) S 7736 7743 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97458609 14321999872 1761268 33554432000 4194304 4196468 140722277287072 140631795694176 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7772] ppid=7736 vsize=13986328 memory=1296 CPUtime=0.11 cores=0,2,4,6
/proc/7743/task/7772/stat : 7772 (java) S 7736 7743 3242 0 -1 1077944384 246 0 0 0 5 6 0 0 20 0 15 0 97458609 14321999872 1761268 33554432000 4194304 4196468 140722277287072 140631794641712 140632260885122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 7045072 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+212.949 s]
# the end of solver process 7743 was just reported to runsolver
# cumulated CPU time of all completed processes: user=246.521 s, system=5.60151 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+212.901 s]
/proc/loadavg: 1.91 1.51 1.49 4/219 7783
/proc/meminfo: memFree=15729576/32770624 swapFree=67108860/67108860
[pid=7743] ppid=7736 vsize=13986328 memory=7045072 CPUtime=252.07 cores=0,2,4,6
/proc/7743/stat : 7743 (java) S 7736 7743 3242 0 -1 1077944320 305162 0 1 0 24651 556 0 0 20 0 15 0 97458603 14321999872 1761268 33554432000 4194304 4196468 140722277287072 140722277269616 140632260873975 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
/proc/7743/statm: 3496582 1761268 3847 1 0 3484297 0
[pid=7743/tid=7746] ppid=7736 vsize=13986328 memory=7045072 CPUtime=200.18 cores=0,2,4,6
/proc/7743/task/7746/stat : 7746 (java) R 7736 7743 3242 0 -1 4202560 127860 0 1 0 19987 31 0 0 20 0 15 0 97458603 14321999872 1761268 33554432000 4194304 4196468 140722277287072 140632265110328 140631885298051 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7751] ppid=7736 vsize=13986328 memory=7045072 CPUtime=11.39 cores=0,2,4,6
/proc/7743/task/7751/stat : 7751 (java) S 7736 7743 3242 0 -1 1077944384 37543 0 0 0 1013 126 0 0 20 0 15 0 97458604 14321999872 1761268 33554432000 4194304 4196468 140722277287072 140632198474000 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7752] ppid=7736 vsize=13986328 memory=7045072 CPUtime=11.42 cores=0,2,4,6
/proc/7743/task/7752/stat : 7752 (java) S 7736 7743 3242 0 -1 1077944384 36878 0 0 0 1017 125 0 0 20 0 15 0 97458604 14321999872 1761268 33554432000 4194304 4196468 140722277287072 140632197421456 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7753] ppid=7736 vsize=13986328 memory=7045072 CPUtime=11.46 cores=0,2,4,6
/proc/7743/task/7753/stat : 7753 (java) S 7736 7743 3242 0 -1 1077944384 31603 0 0 0 1018 128 0 0 20 0 15 0 97458604 14321999872 1761268 33554432000 4194304 4196468 140722277287072 140632196368912 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7754] ppid=7736 vsize=13986328 memory=7045072 CPUtime=11.44 cores=0,2,4,6
/proc/7743/task/7754/stat : 7754 (java) S 7736 7743 3242 0 -1 1077944384 31739 0 0 0 1012 132 0 0 20 0 15 0 97458604 14321999872 1761268 33554432000 4194304 4196468 140722277287072 140631853243024 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7756] ppid=7736 vsize=13986328 memory=7045072 CPUtime=1.15 cores=0,2,4,6
/proc/7743/task/7756/stat : 7756 (java) S 7736 7743 3242 0 -1 1077944384 12017 0 0 0 114 1 0 0 20 0 15 0 97458605 14321999872 1761268 33554432000 4194304 4196468 140722277287072 140631803062768 140632260885122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7758] ppid=7736 vsize=13986328 memory=4620 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7758/stat : 7758 (java) S 7736 7743 3242 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 97458606 14321999872 1761268 33554432000 4194304 4196468 140722277287072 140631802009056 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7760] ppid=7736 vsize=13986328 memory=7045072 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7760/stat : 7760 (java) S 7736 7743 3242 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 97458606 14321999872 1761268 33554432000 4194304 4196468 140722277287072 140631800956416 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7765] ppid=7736 vsize=13986328 memory=7045072 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7765/stat : 7765 (java) S 7736 7743 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97458609 14321999872 1761268 33554432000 4194304 4196468 140722277287072 140631799904976 140632260892571 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7766] ppid=7736 vsize=13986328 memory=7045072 CPUtime=1.98 cores=0,2,4,6
/proc/7743/task/7766/stat : 7766 (java) S 7736 7743 3242 0 -1 1077944384 8854 0 0 0 198 0 0 0 20 0 15 0 97458609 14321999872 1761268 33554432000 4194304 4196468 140722277287072 140631798851568 140632260885122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7767] ppid=7736 vsize=13986328 memory=7045072 CPUtime=2 cores=0,2,4,6
/proc/7743/task/7767/stat : 7767 (java) S 7736 7743 3242 0 -1 1077944384 10772 0 0 0 199 1 0 0 20 0 15 0 97458609 14321999872 1761268 33554432000 4194304 4196468 140722277287072 140631797799024 140632260885122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7768] ppid=7736 vsize=13986328 memory=7045072 CPUtime=0.82 cores=0,2,4,6
/proc/7743/task/7768/stat : 7768 (java) S 7736 7743 3242 0 -1 1077944384 6218 0 0 0 81 1 0 0 20 0 15 0 97458609 14321999872 1761268 33554432000 4194304 4196468 140722277287072 140631796746480 140632260885122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7770] ppid=7736 vsize=13986328 memory=7045072 CPUtime=0 cores=0,2,4,6
/proc/7743/task/7770/stat : 7770 (java) S 7736 7743 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97458609 14321999872 1761268 33554432000 4194304 4196468 140722277287072 140631795694176 140632260884181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
[pid=7743/tid=7772] ppid=7736 vsize=13986328 memory=1296 CPUtime=0.11 cores=0,2,4,6
/proc/7743/task/7772/stat : 7772 (java) S 7736 7743 3242 0 -1 1077944384 246 0 0 0 5 6 0 0 20 0 15 0 97458609 14321999872 1761268 33554432000 4194304 4196468 140722277287072 140631794641712 140632260885122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7393280 140722277295210 140722277295396 140722277295396 140722277298127 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 7045072 KiB
Child status: 143
Real time (s): 212.949
CPU time (s): 252.123
CPU user time (s): 246.521
CPU system time (s): 5.60151
CPU usage (%): 118.396
Max. virtual memory (cumulated for all children) (KiB): 13986328
Max. memory (cumulated for all children) (KiB): 7045072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.521
system time used= 5.60151
maximum resident set size= 7045552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 305779
page faults= 1
swaps= 0
block input operations= 864
block output operations= 320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8986
involuntary context switches= 754
# summary of solver processes directly reported to runsolver:
# pid: 7743
# total CPU time (s): 252.123
# total CPU user time (s): 246.521
# total CPU system time (s): 5.60151
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.14653 second user time and 2.09022 second system time
The end