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 (6746 MiB free)
memory of node 1: 16384 MiB (4678 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305723-1534077406/watcher-4305723-1534077406 -o /tmp/evaluation-result-4305723-1534077406/solver-4305723-1534077406 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534062530-19415 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305723-1534077406.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
Current StackSize limit: 8192 KiB
solver pid=24684, runsolver pid=24681
[startup+0.100093 s]*
/proc/loadavg: 2.09 2.32 2.63 3/225 24701
/proc/meminfo: memFree=11640532/32770624 swapFree=67108860/67108860
[pid=24684] ppid=24681 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/24684/stat : 24684 (scop.sh) S 24681 24684 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225303798 115843072 349 33554432000 4194304 5098028 140737071841392 140737071838648 140492880069244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25694208 140737071846465 140737071846663 140737071846663 140737071849421 0
/proc/24684/statm: 28282 349 296 221 0 87 0
[pid=24687] ppid=24684 vsize=15012476 memory=71228 CPUtime=0.11 cores=1,3,5,7
/proc/24687/stat : 24687 (java) S 24684 24684 19383 0 -1 1077944320 6451 0 0 0 9 2 0 0 20 0 15 0 225303798 15372775424 17807 33554432000 4194304 4196468 140733028794320 140733028776864 140165060787959 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
/proc/24687/statm: 3753119 17807 2770 1 0 3715579 0
[pid=24687/tid=24688] ppid=24684 vsize=15012476 memory=-6078870780940435399 CPUtime=0.08 cores=1,3,5,7
/proc/24687/task/24688/stat : 24688 (java) R 24684 24684 19383 0 -1 4202560 4551 0 0 0 7 1 0 0 20 0 15 0 225303799 15372775424 17873 33554432000 4194304 4196468 140733028794320 140165032599944 140165041063773 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24689] ppid=24684 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24689/stat : 24689 (java) S 24684 24684 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225303800 15372775424 17873 33554432000 4194304 4196468 140733028794320 140165065029904 140165060798165 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24690] ppid=24684 vsize=15012476 memory=140280185226880 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24690/stat : 24690 (java) S 24684 24684 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225303800 15372775424 17873 33554432000 4194304 4196468 140733028794320 140164856113552 140165060798165 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24691] ppid=24684 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24691/stat : 24691 (java) S 24684 24684 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225303800 15372775424 17873 33554432000 4194304 4196468 140733028794320 140164855061008 140165060798165 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24692] ppid=24684 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24692/stat : 24692 (java) S 24684 24684 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225303800 15372775424 17873 33554432000 4194304 4196468 140733028794320 140164854008464 140165060798165 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24693] ppid=24684 vsize=15012476 memory=140280185226880 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24693/stat : 24693 (java) S 24684 24684 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225303802 15372775424 17873 33554432000 4194304 4196468 140733028794320 140164031257072 140165060799106 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24694] ppid=24684 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24694/stat : 24694 (java) S 24684 24684 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225303802 15372775424 17873 33554432000 4194304 4196468 140733028794320 140163506234784 140165060798165 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24695] ppid=24684 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24695/stat : 24695 (java) S 24684 24684 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225303802 15372775424 17873 33554432000 4194304 4196468 140733028794320 140163372013040 140165060798165 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24696] ppid=24684 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24696/stat : 24696 (java) S 24684 24684 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225303805 15372775424 17873 33554432000 4194304 4196468 140733028794320 140162997508816 140165060806555 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24697] ppid=24684 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24697/stat : 24697 (java) S 24684 24684 19383 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 225303805 15372775424 17873 33554432000 4194304 4196468 140733028794320 140164030203888 140165060799106 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24698] ppid=24684 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24698/stat : 24698 (java) S 24684 24684 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225303805 15372775424 17873 33554432000 4194304 4196468 140733028794320 140164029151344 140165060799106 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24699] ppid=24684 vsize=15012476 memory=140280185226880 CPUtime=0.01 cores=1,3,5,7
/proc/24687/task/24699/stat : 24699 (java) S 24684 24684 19383 0 -1 1077944384 274 0 0 0 1 0 0 0 20 0 15 0 225303805 15372775424 17939 33554432000 4194304 4196468 140733028794320 140164028098800 140165060799106 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24700] ppid=24684 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24700/stat : 24700 (java) S 24684 24684 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225303805 15372775424 17939 33554432000 4194304 4196468 140733028794320 140162499603040 140165060798165 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24701] ppid=24684 vsize=15012476 memory=140280185226880 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24701/stat : 24701 (java) S 24684 24684 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225303805 15372775424 17939 33554432000 4194304 4196468 140733028794320 140164027046704 140165060799106 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 72624 KiB
[startup+0.210854 s]*
/proc/loadavg: 2.09 2.32 2.63 3/225 24701
/proc/meminfo: memFree=11626828/32770624 swapFree=67108860/67108860
[pid=24684] ppid=24681 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/24684/stat : 24684 (scop.sh) S 24681 24684 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225303798 115843072 349 33554432000 4194304 5098028 140737071841392 140737071838648 140492880069244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25694208 140737071846465 140737071846663 140737071846663 140737071849421 0
/proc/24684/statm: 28282 349 296 221 0 87 0
[pid=24687] ppid=24684 vsize=15012476 memory=83764 CPUtime=0.26 cores=1,3,5,7
/proc/24687/stat : 24687 (java) S 24684 24684 19383 0 -1 1077944320 9791 0 0 0 23 3 0 0 20 0 15 0 225303798 15372775424 20941 33554432000 4194304 4196468 140733028794320 140733028776864 140165060787959 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
/proc/24687/statm: 3753119 20941 2929 1 0 3715579 0
[pid=24687/tid=24688] ppid=24684 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/24687/task/24688/stat : 24688 (java) R 24684 24684 19383 0 -1 4202560 7674 0 0 0 18 2 0 0 20 0 15 0 225303799 15372775424 20941 33554432000 4194304 4196468 140733028794320 140165032604016 140164530943679 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24689] ppid=24684 vsize=15012476 memory=550 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24689/stat : 24689 (java) S 24684 24684 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225303800 15372775424 20941 33554432000 4194304 4196468 140733028794320 140165065029904 140165060798165 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24690] ppid=24684 vsize=15012476 memory=140280185247098 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24690/stat : 24690 (java) S 24684 24684 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225303800 15372775424 20941 33554432000 4194304 4196468 140733028794320 140164856113552 140165060798165 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24691] ppid=24684 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24691/stat : 24691 (java) S 24684 24684 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225303800 15372775424 20941 33554432000 4194304 4196468 140733028794320 140164855061008 140165060798165 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24692] ppid=24684 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24692/stat : 24692 (java) S 24684 24684 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225303800 15372775424 20941 33554432000 4194304 4196468 140733028794320 140164854008464 140165060798165 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24693] ppid=24684 vsize=15012476 memory=140280185226880 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24693/stat : 24693 (java) S 24684 24684 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225303802 15372775424 20941 33554432000 4194304 4196468 140733028794320 140164031257072 140165060799106 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24694] ppid=24684 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24694/stat : 24694 (java) S 24684 24684 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225303802 15372775424 20941 33554432000 4194304 4196468 140733028794320 140163506234784 140165060798165 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24695] ppid=24684 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24695/stat : 24695 (java) S 24684 24684 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225303802 15372775424 20941 33554432000 4194304 4196468 140733028794320 140163372013040 140165060798165 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24696] ppid=24684 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24696/stat : 24696 (java) S 24684 24684 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225303805 15372775424 20941 33554432000 4194304 4196468 140733028794320 140162997508816 140165060806555 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24697] ppid=24684 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/24687/task/24697/stat : 24697 (java) R 24684 24684 19383 0 -1 4202560 339 0 0 0 1 0 0 0 20 0 15 0 225303805 15372775424 20941 33554432000 4194304 4196468 140733028794320 140164030203072 140165038447024 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24698] ppid=24684 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24698/stat : 24698 (java) R 24684 24684 19383 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 225303805 15372775424 20941 33554432000 4194304 4196468 140733028794320 140164029151440 140165060798165 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24699] ppid=24684 vsize=15012476 memory=140280185226880 CPUtime=0.03 cores=1,3,5,7
/proc/24687/task/24699/stat : 24699 (java) S 24684 24684 19383 0 -1 1077944384 295 0 0 0 3 0 0 0 20 0 15 0 225303805 15372775424 20941 33554432000 4194304 4196468 140733028794320 140164028098800 140165060799106 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24700] ppid=24684 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24700/stat : 24700 (java) S 24684 24684 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225303805 15372775424 20941 33554432000 4194304 4196468 140733028794320 140162499603040 140165060798165 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24701] ppid=24684 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24701/stat : 24701 (java) S 24684 24684 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225303805 15372775424 20941 33554432000 4194304 4196468 140733028794320 140164027046704 140165060799106 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 85160 KiB
[startup+0.310973 s]*
/proc/loadavg: 2.09 2.32 2.63 3/225 24701
/proc/meminfo: memFree=11623044/32770624 swapFree=67108860/67108860
[pid=24684] ppid=24681 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/24684/stat : 24684 (scop.sh) S 24681 24684 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225303798 115843072 349 33554432000 4194304 5098028 140737071841392 140737071838648 140492880069244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25694208 140737071846465 140737071846663 140737071846663 140737071849421 0
/proc/24684/statm: 28282 349 296 221 0 87 0
[pid=24687] ppid=24684 vsize=15012476 memory=87644 CPUtime=0.43 cores=1,3,5,7
/proc/24687/stat : 24687 (java) S 24684 24684 19383 0 -1 1077944320 10395 0 0 0 40 3 0 0 20 0 15 0 225303798 15372775424 21911 33554432000 4194304 4196468 140733028794320 140733028776864 140165060787959 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
/proc/24687/statm: 3753119 21911 2980 1 0 3715579 0
[pid=24687/tid=24688] ppid=24684 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/24687/task/24688/stat : 24688 (java) R 24684 24684 19383 0 -1 4202560 8112 0 0 0 27 2 0 0 20 0 15 0 225303799 15372775424 21911 33554432000 4194304 4196468 140733028794320 140165032582960 140165043979752 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24689] ppid=24684 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24689/stat : 24689 (java) S 24684 24684 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225303800 15372775424 21911 33554432000 4194304 4196468 140733028794320 140165065029904 140165060798165 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24690] ppid=24684 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24690/stat : 24690 (java) S 24684 24684 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225303800 15372775424 21911 33554432000 4194304 4196468 140733028794320 140164856113552 140165060798165 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24691] ppid=24684 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24691/stat : 24691 (java) S 24684 24684 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225303800 15372775424 21911 33554432000 4194304 4196468 140733028794320 140164855061008 140165060798165 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24692] ppid=24684 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24692/stat : 24692 (java) S 24684 24684 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225303800 15372775424 21911 33554432000 4194304 4196468 140733028794320 140164854008464 140165060798165 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24693] ppid=24684 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24693/stat : 24693 (java) S 24684 24684 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225303802 15372775424 21911 33554432000 4194304 4196468 140733028794320 140164031257072 140165060799106 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24694] ppid=24684 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24694/stat : 24694 (java) S 24684 24684 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225303802 15372775424 21911 33554432000 4194304 4196468 140733028794320 140163506234784 140165060798165 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24695] ppid=24684 vsize=15012476 memory=-6664436420846798482 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24695/stat : 24695 (java) S 24684 24684 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225303802 15372775424 21911 33554432000 4194304 4196468 140733028794320 140163372013040 140165060798165 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24696] ppid=24684 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24696/stat : 24696 (java) S 24684 24684 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225303805 15372775424 21911 33554432000 4194304 4196468 140733028794320 140162997508816 140165060806555 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24697] ppid=24684 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/24687/task/24697/stat : 24697 (java) R 24684 24684 19383 0 -1 1077944384 350 0 0 0 1 0 0 0 20 0 15 0 225303805 15372775424 21911 33554432000 4194304 4196468 140733028794320 140164030203888 140165060799106 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24698] ppid=24684 vsize=15012476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/24687/task/24698/stat : 24698 (java) R 24684 24684 19383 0 -1 4202560 244 0 0 0 3 0 0 0 20 0 15 0 225303805 15372775424 21911 33554432000 4194304 4196468 140733028794320 140164029151344 140165045895792 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24699] ppid=24684 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24687/task/24699/stat : 24699 (java) R 24684 24684 19383 0 -1 4202560 337 0 0 0 7 0 0 0 20 0 15 0 225303805 15372775424 21911 33554432000 4194304 4196468 140733028794320 140164028098800 140165046161706 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24700] ppid=24684 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24700/stat : 24700 (java) S 24684 24684 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225303805 15372775424 21911 33554432000 4194304 4196468 140733028794320 140162499603040 140165060798165 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24701] ppid=24684 vsize=15012476 memory=3833468387996016689 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24701/stat : 24701 (java) S 24684 24684 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225303805 15372775424 21911 33554432000 4194304 4196468 140733028794320 140164027046704 140165060799106 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89040 KiB
[startup+0.700791 s]
/proc/loadavg: 2.09 2.32 2.63 3/225 24701
/proc/meminfo: memFree=11598364/32770624 swapFree=67108860/67108860
[pid=24684] ppid=24681 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/24684/stat : 24684 (scop.sh) S 24681 24684 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225303798 115843072 349 33554432000 4194304 5098028 140737071841392 140737071838648 140492880069244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25694208 140737071846465 140737071846663 140737071846663 140737071849421 0
/proc/24684/statm: 28282 349 296 221 0 87 0
[pid=24687] ppid=24684 vsize=15018748 memory=130732 CPUtime=1.02 cores=1,3,5,7
/proc/24687/stat : 24687 (java) S 24684 24684 19383 0 -1 1077944320 17386 0 0 0 97 5 0 0 20 0 15 0 225303798 15379197952 32683 33554432000 4194304 4196468 140733028794320 140733028776864 140165060787959 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
/proc/24687/statm: 3754687 32683 3136 1 0 3716091 0
[pid=24687/tid=24688] ppid=24684 vsize=15018748 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/24687/task/24688/stat : 24688 (java) R 24684 24684 19383 0 -1 4202560 14564 0 0 0 63 4 0 0 20 0 15 0 225303799 15379197952 32683 33554432000 4194304 4196468 140733028794320 140165032624496 140164532022634 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24689] ppid=24684 vsize=15018748 memory=288230377057958153 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24689/stat : 24689 (java) S 24684 24684 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225303800 15379197952 32683 33554432000 4194304 4196468 140733028794320 140165065029904 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24690] ppid=24684 vsize=15018748 memory=14975555351106623 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24690/stat : 24690 (java) S 24684 24684 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225303800 15379197952 32683 33554432000 4194304 4196468 140733028794320 140164856113552 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24691] ppid=24684 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24691/stat : 24691 (java) S 24684 24684 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225303800 15379197952 32683 33554432000 4194304 4196468 140733028794320 140164855061008 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24692] ppid=24684 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24692/stat : 24692 (java) S 24684 24684 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225303800 15379197952 32683 33554432000 4194304 4196468 140733028794320 140164854008464 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24693] ppid=24684 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24693/stat : 24693 (java) S 24684 24684 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225303802 15379197952 32683 33554432000 4194304 4196468 140733028794320 140164031257072 140165060799106 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24694] ppid=24684 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24694/stat : 24694 (java) S 24684 24684 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225303802 15379197952 32683 33554432000 4194304 4196468 140733028794320 140163506234784 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24695] ppid=24684 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24695/stat : 24695 (java) S 24684 24684 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225303802 15379197952 32683 33554432000 4194304 4196468 140733028794320 140163372013040 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24696] ppid=24684 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24696/stat : 24696 (java) S 24684 24684 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225303805 15379197952 32683 33554432000 4194304 4196468 140733028794320 140162997508816 140165060806555 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24697] ppid=24684 vsize=15018748 memory=280560148676848 CPUtime=0.09 cores=1,3,5,7
/proc/24687/task/24697/stat : 24697 (java) R 24684 24684 19383 0 -1 4202560 621 0 0 0 9 0 0 0 20 0 15 0 225303805 15379197952 32683 33554432000 4194304 4196468 140733028794320 140164030195216 140165044300192 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24698] ppid=24684 vsize=15018748 memory=6942133144549615185 CPUtime=0.09 cores=1,3,5,7
/proc/24687/task/24698/stat : 24698 (java) S 24684 24684 19383 0 -1 1077944384 393 0 0 0 9 0 0 0 20 0 15 0 225303805 15379197952 32683 33554432000 4194304 4196468 140733028794320 140164029151344 140165060799106 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24699] ppid=24684 vsize=15018748 memory=7594587674001172330 CPUtime=0.15 cores=1,3,5,7
/proc/24687/task/24699/stat : 24699 (java) R 24684 24684 19383 0 -1 4202560 453 0 0 0 15 0 0 0 20 0 15 0 225303805 15379197952 32683 33554432000 4194304 4196468 140733028794320 140164028098800 140165039908076 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24700] ppid=24684 vsize=15018748 memory=7649399397233865778 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24700/stat : 24700 (java) S 24684 24684 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225303805 15379197952 32683 33554432000 4194304 4196468 140733028794320 140162499603040 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24701] ppid=24684 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24701/stat : 24701 (java) S 24684 24684 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225303805 15379197952 32683 33554432000 4194304 4196468 140733028794320 140164027046704 140165060799106 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 132128 KiB
[startup+1.50241 s]
/proc/loadavg: 2.09 2.32 2.63 3/225 24701
/proc/meminfo: memFree=11461172/32770624 swapFree=67108860/67108860
[pid=24684] ppid=24681 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/24684/stat : 24684 (scop.sh) S 24681 24684 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225303798 115843072 349 33554432000 4194304 5098028 140737071841392 140737071838648 140492880069244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25694208 140737071846465 140737071846663 140737071846663 140737071849421 0
/proc/24684/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Solver just ended.
Dumping a history of the last processes samples
[startup+958.401 s]
/proc/loadavg: 5.00 4.08 3.27 6/227 24738
/proc/meminfo: memFree=192976/32770624 swapFree=67108860/67108860
[pid=24687] ppid=24681 vsize=15024968 memory=12057376 CPUtime=2521.85 cores=1,3,5,7
/proc/24687/stat : 24687 (java) S 24681 24684 19383 0 -1 1077944320 7388507 0 0 0 250460 1725 0 0 20 0 15 0 225303798 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140733028776864 140165060787959 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
/proc/24687/statm: 3756242 3014344 3247 1 0 3717627 0
[pid=24687/tid=24688] ppid=24681 vsize=15024968 memory=3424 CPUtime=433.48 cores=1,3,5,7
/proc/24687/task/24688/stat : 24688 (java) S 24681 24684 19383 0 -1 1077944384 229353 0 0 0 43284 64 0 0 20 0 15 0 225303799 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140165032626320 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24689] ppid=24681 vsize=15024968 memory=2588 CPUtime=516.95 cores=1,3,5,7
/proc/24687/task/24689/stat : 24689 (java) R 24681 24684 19383 0 -1 4202560 1629821 0 0 0 51275 420 0 0 20 0 15 0 225303800 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140165065029792 140165045485708 0 4 2 25189581 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24690] ppid=24681 vsize=15024968 memory=4112 CPUtime=517.72 cores=1,3,5,7
/proc/24687/task/24690/stat : 24690 (java) R 24681 24684 19383 0 -1 4202560 1373637 0 0 0 51401 371 0 0 20 0 15 0 225303800 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140164856113752 140165045485598 0 4 2 25189581 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24691] ppid=24681 vsize=15024968 memory=6791534058613427641 CPUtime=517.05 cores=1,3,5,7
/proc/24687/task/24691/stat : 24691 (java) R 24681 24684 19383 0 -1 4202560 1308692 0 0 0 51341 364 0 0 20 0 15 0 225303800 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140164855061208 140165042384417 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24692] ppid=24681 vsize=15024968 memory=4012 CPUtime=517.44 cores=1,3,5,7
/proc/24687/task/24692/stat : 24692 (java) R 24681 24684 19383 0 -1 4202560 1796379 0 0 0 51310 434 0 0 20 0 15 0 225303800 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140164854008664 140165042384970 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24693] ppid=24681 vsize=15024968 memory=35052 CPUtime=3.74 cores=1,3,5,7
/proc/24687/task/24693/stat : 24693 (java) S 24681 24684 19383 0 -1 1077944384 997327 0 0 0 327 47 0 0 20 0 15 0 225303802 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140164031255392 140165060798165 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24694] ppid=24681 vsize=15024968 memory=18220 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24694/stat : 24694 (java) S 24681 24684 19383 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 225303802 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140163506234848 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24695] ppid=24681 vsize=15024968 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24695/stat : 24695 (java) S 24681 24684 19383 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 225303802 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140163372013056 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24696] ppid=24681 vsize=15024968 memory=928 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24696/stat : 24696 (java) S 24681 24684 19383 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 225303805 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140162997508464 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24697] ppid=24681 vsize=15024968 memory=2244 CPUtime=7.01 cores=1,3,5,7
/proc/24687/task/24697/stat : 24697 (java) S 24681 24684 19383 0 -1 1077944384 15984 0 0 0 699 2 0 0 20 0 15 0 225303805 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140164030203936 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24698] ppid=24681 vsize=15024968 memory=4132 CPUtime=6.45 cores=1,3,5,7
/proc/24687/task/24698/stat : 24698 (java) S 24681 24684 19383 0 -1 1077944384 16438 0 0 0 643 2 0 0 20 0 15 0 225303805 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140164029151104 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24699] ppid=24681 vsize=15024968 memory=2192 CPUtime=1.1 cores=1,3,5,7
/proc/24687/task/24699/stat : 24699 (java) S 24681 24684 19383 0 -1 1077944384 17857 0 0 0 108 2 0 0 20 0 15 0 225303805 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140164028098848 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24700] ppid=24681 vsize=15024968 memory=7528 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24700/stat : 24700 (java) S 24681 24684 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225303805 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140162499603040 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24701] ppid=24681 vsize=15024968 memory=8812 CPUtime=0.82 cores=1,3,5,7
/proc/24687/task/24701/stat : 24701 (java) S 24681 24684 19383 0 -1 1077944384 1602 0 0 0 36 46 0 0 20 0 15 0 225303805 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140164027046704 140165060799106 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
Current cumulated CPU time of completed processes: 0.003354 s
Current children cumulated CPU time: 2521.85 s
Current children cumulated vsize: 15024968 KiB
Current children cumulated memory: 12057376 KiB
[startup+959.201 s]
/proc/loadavg: 5.00 4.08 3.27 6/227 24738
/proc/meminfo: memFree=192372/32770624 swapFree=67108860/67108860
[pid=24687] ppid=24681 vsize=15024968 memory=12057376 CPUtime=2525.03 cores=1,3,5,7
/proc/24687/stat : 24687 (java) S 24681 24684 19383 0 -1 1077944320 7393710 0 0 0 250778 1725 0 0 20 0 15 0 225303798 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140733028776864 140165060787959 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
/proc/24687/statm: 3756242 3014344 3247 1 0 3717627 0
[pid=24687/tid=24688] ppid=24681 vsize=15024968 memory=1228 CPUtime=433.48 cores=1,3,5,7
/proc/24687/task/24688/stat : 24688 (java) S 24681 24684 19383 0 -1 1077944384 229353 0 0 0 43284 64 0 0 20 0 15 0 225303799 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140165032626320 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24689] ppid=24681 vsize=15024968 memory=2432 CPUtime=517.75 cores=1,3,5,7
/proc/24687/task/24689/stat : 24689 (java) R 24681 24684 19383 0 -1 4202560 1631865 0 0 0 51355 420 0 0 20 0 15 0 225303800 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140165065029792 140165045738668 0 4 2 25189581 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24690] ppid=24681 vsize=15024968 memory=1828 CPUtime=518.52 cores=1,3,5,7
/proc/24687/task/24690/stat : 24690 (java) R 24681 24684 19383 0 -1 4202560 1374296 0 0 0 51481 371 0 0 20 0 15 0 225303800 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140164856113752 140165045738564 0 4 2 25189581 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24691] ppid=24681 vsize=15024968 memory=792 CPUtime=517.83 cores=1,3,5,7
/proc/24687/task/24691/stat : 24691 (java) R 24681 24684 19383 0 -1 4202560 1311041 0 0 0 51419 364 0 0 20 0 15 0 225303800 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140164855061208 140165045738615 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24692] ppid=24681 vsize=15024968 memory=12057376 CPUtime=518.24 cores=1,3,5,7
/proc/24687/task/24692/stat : 24692 (java) R 24681 24684 19383 0 -1 4202560 1796528 0 0 0 51390 434 0 0 20 0 15 0 225303800 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140164854008664 140165045485672 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24693] ppid=24681 vsize=15024968 memory=15868 CPUtime=3.74 cores=1,3,5,7
/proc/24687/task/24693/stat : 24693 (java) S 24681 24684 19383 0 -1 1077944384 997327 0 0 0 327 47 0 0 20 0 15 0 225303802 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140164031255392 140165060798165 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24694] ppid=24681 vsize=15024968 memory=4012 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24694/stat : 24694 (java) S 24681 24684 19383 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 225303802 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140163506234848 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24695] ppid=24681 vsize=15024968 memory=35052 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24695/stat : 24695 (java) S 24681 24684 19383 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 225303802 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140163372013056 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24696] ppid=24681 vsize=15024968 memory=18220 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24696/stat : 24696 (java) S 24681 24684 19383 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 225303805 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140162997508464 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24697] ppid=24681 vsize=15024968 memory=1788 CPUtime=7.01 cores=1,3,5,7
/proc/24687/task/24697/stat : 24697 (java) S 24681 24684 19383 0 -1 1077944384 15984 0 0 0 699 2 0 0 20 0 15 0 225303805 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140164030203936 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24698] ppid=24681 vsize=15024968 memory=12144 CPUtime=6.45 cores=1,3,5,7
/proc/24687/task/24698/stat : 24698 (java) S 24681 24684 19383 0 -1 1077944384 16438 0 0 0 643 2 0 0 20 0 15 0 225303805 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140164029151104 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24699] ppid=24681 vsize=15024968 memory=1712 CPUtime=1.1 cores=1,3,5,7
/proc/24687/task/24699/stat : 24699 (java) S 24681 24684 19383 0 -1 1077944384 17857 0 0 0 108 2 0 0 20 0 15 0 225303805 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140164028098848 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24700] ppid=24681 vsize=15024968 memory=8812 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24700/stat : 24700 (java) S 24681 24684 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225303805 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140162499603040 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24701] ppid=24681 vsize=15024968 memory=4576 CPUtime=0.82 cores=1,3,5,7
/proc/24687/task/24701/stat : 24701 (java) S 24681 24684 19383 0 -1 1077944384 1602 0 0 0 36 46 0 0 20 0 15 0 225303805 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140164027046704 140165060799106 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
Current cumulated CPU time of completed processes: 0.003354 s
Current children cumulated CPU time: 2525.03 s
Current children cumulated vsize: 15024968 KiB
Current children cumulated memory: 12057376 KiB
[startup+959.601 s]
/proc/loadavg: 5.00 4.08 3.27 6/227 24738
/proc/meminfo: memFree=192372/32770624 swapFree=67108860/67108860
[pid=24687] ppid=24681 vsize=15024968 memory=12057376 CPUtime=2526.59 cores=1,3,5,7
/proc/24687/stat : 24687 (java) S 24681 24684 19383 0 -1 1077944320 7401864 0 0 0 250933 1726 0 0 20 0 15 0 225303798 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140733028776864 140165060787959 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
/proc/24687/statm: 3756242 3014344 3247 1 0 3717627 0
[pid=24687/tid=24688] ppid=24681 vsize=15024968 memory=1944 CPUtime=433.48 cores=1,3,5,7
/proc/24687/task/24688/stat : 24688 (java) S 24681 24684 19383 0 -1 1077944384 229353 0 0 0 43284 64 0 0 20 0 15 0 225303799 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140165032626320 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24689] ppid=24681 vsize=15024968 memory=5772 CPUtime=518.13 cores=1,3,5,7
/proc/24687/task/24689/stat : 24689 (java) R 24681 24684 19383 0 -1 4202560 1632293 0 0 0 51393 420 0 0 20 0 15 0 225303800 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140165065030104 140165042397764 0 4 2 25189581 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24690] ppid=24681 vsize=15024968 memory=1444 CPUtime=518.91 cores=1,3,5,7
/proc/24687/task/24690/stat : 24690 (java) R 24681 24684 19383 0 -1 4202560 1374701 0 0 0 51520 371 0 0 20 0 15 0 225303800 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140164856113552 140165045783941 0 4 2 25189581 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24691] ppid=24681 vsize=15024968 memory=1160 CPUtime=518.22 cores=1,3,5,7
/proc/24687/task/24691/stat : 24691 (java) R 24681 24684 19383 0 -1 4202560 1311535 0 0 0 51458 364 0 0 20 0 15 0 225303800 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140164855061208 140165045486727 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24692] ppid=24681 vsize=15024968 memory=968 CPUtime=518.62 cores=1,3,5,7
/proc/24687/task/24692/stat : 24692 (java) R 24681 24684 19383 0 -1 4202560 1796936 0 0 0 51428 434 0 0 20 0 15 0 225303800 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140164854008464 140165045486761 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24693] ppid=24681 vsize=15024968 memory=3560 CPUtime=3.75 cores=1,3,5,7
/proc/24687/task/24693/stat : 24693 (java) S 24681 24684 19383 0 -1 1077944384 1003746 0 0 0 328 47 0 0 20 0 15 0 225303802 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140164031255616 140165060798165 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24694] ppid=24681 vsize=15024968 memory=61260 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24694/stat : 24694 (java) S 24681 24684 19383 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 225303802 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140163506234848 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24695] ppid=24681 vsize=15024968 memory=928 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24695/stat : 24695 (java) S 24681 24684 19383 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 225303802 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140163372013056 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24696] ppid=24681 vsize=15024968 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24696/stat : 24696 (java) S 24681 24684 19383 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 225303805 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140162997508464 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24697] ppid=24681 vsize=15024968 memory=4132 CPUtime=7.01 cores=1,3,5,7
/proc/24687/task/24697/stat : 24697 (java) S 24681 24684 19383 0 -1 1077944384 15984 0 0 0 699 2 0 0 20 0 15 0 225303805 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140164030203936 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24698] ppid=24681 vsize=15024968 memory=2192 CPUtime=6.45 cores=1,3,5,7
/proc/24687/task/24698/stat : 24698 (java) S 24681 24684 19383 0 -1 1077944384 16438 0 0 0 643 2 0 0 20 0 15 0 225303805 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140164029151104 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24699] ppid=24681 vsize=15024968 memory=7528 CPUtime=1.1 cores=1,3,5,7
/proc/24687/task/24699/stat : 24699 (java) S 24681 24684 19383 0 -1 1077944384 17857 0 0 0 108 2 0 0 20 0 15 0 225303805 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140164028098848 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24700] ppid=24681 vsize=15024968 memory=828 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24700/stat : 24700 (java) S 24681 24684 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225303805 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140162499603040 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24701] ppid=24681 vsize=15024968 memory=1796 CPUtime=0.82 cores=1,3,5,7
/proc/24687/task/24701/stat : 24701 (java) S 24681 24684 19383 0 -1 1077944384 1602 0 0 0 36 46 0 0 20 0 15 0 225303805 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140164027046704 140165060799106 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
Current cumulated CPU time of completed processes: 0.003354 s
Current children cumulated CPU time: 2526.59 s
Current children cumulated vsize: 15024968 KiB
Current children cumulated memory: 12057376 KiB
[startup+960.001 s]*
/proc/loadavg: 5.00 4.08 3.27 6/227 24738
/proc/meminfo: memFree=192372/32770624 swapFree=67108860/67108860
[pid=24687] ppid=24681 vsize=15024968 memory=12057376 CPUtime=2528.22 cores=1,3,5,7
/proc/24687/stat : 24687 (java) S 24681 24684 19383 0 -1 1077944320 7402291 0 0 0 251096 1726 0 0 20 0 15 0 225303798 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140733028776864 140165060787959 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
/proc/24687/statm: 3756242 3014344 3247 1 0 3717627 0
[pid=24687/tid=24688] ppid=24681 vsize=15024968 memory=12057376 CPUtime=433.48 cores=1,3,5,7
/proc/24687/task/24688/stat : 24688 (java) S 24681 24684 19383 0 -1 1077944384 229353 0 0 0 43284 64 0 0 20 0 15 0 225303799 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140165032626320 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24689] ppid=24681 vsize=15024968 memory=4126316290023845779 CPUtime=518.54 cores=1,3,5,7
/proc/24687/task/24689/stat : 24689 (java) R 24681 24684 19383 0 -1 4202560 1632342 0 0 0 51434 420 0 0 20 0 15 0 225303800 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140165065030104 140165042397651 0 4 2 25189581 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24690] ppid=24681 vsize=15024968 memory=61260 CPUtime=519.32 cores=1,3,5,7
/proc/24687/task/24690/stat : 24690 (java) R 24681 24684 19383 0 -1 4202560 1374703 0 0 0 51561 371 0 0 20 0 15 0 225303800 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140164856113752 140165045785904 0 4 2 25189581 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24691] ppid=24681 vsize=15024968 memory=1228 CPUtime=518.61 cores=1,3,5,7
/proc/24687/task/24691/stat : 24691 (java) R 24681 24684 19383 0 -1 4202560 1311900 0 0 0 51497 364 0 0 20 0 15 0 225303800 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140164855061208 140165045784360 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24692] ppid=24681 vsize=15024968 memory=2432 CPUtime=519.03 cores=1,3,5,7
/proc/24687/task/24692/stat : 24692 (java) R 24681 24684 19383 0 -1 4202560 1796947 0 0 0 51469 434 0 0 20 0 15 0 225303800 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140164854008464 140165042397805 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24693] ppid=24681 vsize=15024968 memory=1396 CPUtime=3.75 cores=1,3,5,7
/proc/24687/task/24693/stat : 24693 (java) S 24681 24684 19383 0 -1 1077944384 1003746 0 0 0 328 47 0 0 20 0 15 0 225303802 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140164031255616 140165060798165 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24694] ppid=24681 vsize=15024968 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24694/stat : 24694 (java) S 24681 24684 19383 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 225303802 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140163506234848 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24695] ppid=24681 vsize=15024968 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24695/stat : 24695 (java) S 24681 24684 19383 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 225303802 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140163372013056 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24696] ppid=24681 vsize=15024968 memory=1 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24696/stat : 24696 (java) S 24681 24684 19383 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 225303805 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140162997508464 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24697] ppid=24681 vsize=15024968 memory=5939 CPUtime=7.01 cores=1,3,5,7
/proc/24687/task/24697/stat : 24697 (java) S 24681 24684 19383 0 -1 1077944384 15984 0 0 0 699 2 0 0 20 0 15 0 225303805 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140164030203936 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24698] ppid=24681 vsize=15024968 memory=0 CPUtime=6.45 cores=1,3,5,7
/proc/24687/task/24698/stat : 24698 (java) S 24681 24684 19383 0 -1 1077944384 16438 0 0 0 643 2 0 0 20 0 15 0 225303805 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140164029151104 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24699] ppid=24681 vsize=15024968 memory=1396 CPUtime=1.1 cores=1,3,5,7
/proc/24687/task/24699/stat : 24699 (java) S 24681 24684 19383 0 -1 1077944384 17857 0 0 0 108 2 0 0 20 0 15 0 225303805 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140164028098848 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24700] ppid=24681 vsize=15024968 memory=12057376 CPUtime=0 cores=1,3,5,7
/proc/24687/task/24700/stat : 24700 (java) S 24681 24684 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225303805 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140162499603040 140165060798165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
[pid=24687/tid=24701] ppid=24681 vsize=15024968 memory=1396 CPUtime=0.82 cores=1,3,5,7
/proc/24687/task/24701/stat : 24701 (java) S 24681 24684 19383 0 -1 1077944384 1602 0 0 0 36 46 0 0 20 0 15 0 225303805 15385567232 3014344 33554432000 4194304 4196468 140733028794320 140164027046704 140165060799106 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28102656 140733028799495 140733028799793 140733028799793 140733028802511 0
Current cumulated CPU time of completed processes: 0.003354 s
Current children cumulated CPU time: 2528.22 s
Current children cumulated vsize: 15024968 KiB
Current children cumulated memory: 12057376 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 960.126
CPU time (s): 2528.37
CPU user time (s): 2511
CPU system time (s): 17.3711
CPU usage (%): 263.338
Max. virtual memory (cumulated for all children) (KiB): 15138096
Max. memory (cumulated for all children) (KiB): 12058772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511
system time used= 17.3711
maximum resident set size= 12057552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7403405
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41822
involuntary context switches= 20301
# summary of solver processes directly reported to runsolver:
# pid: 24684,24687
# total CPU time (s): 2528.37
# total CPU user time (s): 2511
# total CPU system time (s): 17.3711
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.75381 second user time and 10.528 second system time
The end