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 (13781 MiB free)
memory of node 1: 16384 MiB (10178 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387791-1568290087/watcher-4387791-1568290087 -o /tmp/evaluation-result-4387791-1568290087/solver-4387791-1568290087 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568286203-6146 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4387791-1568290087.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7487, runsolver pid=7484
[startup+0.10012 s]*
/proc/loadavg: 2.07 2.04 2.45 4/235 7504
/proc/meminfo: memFree=24473512/32770624 swapFree=67004752/67108860
[pid=7487] ppid=7484 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/7487/stat : 7487 (scop.sh) S 7484 7487 5150 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405276481 115843072 348 33554432000 4194304 5098028 140724670814992 140724670812248 139685121806972 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17940480 140724670817064 140724670817392 140724670817392 140724670820301 0
/proc/7487/statm: 28282 348 296 221 0 87 0
[pid=7490] ppid=7487 vsize=15012696 memory=73860 CPUtime=0.11 cores=0,2,4,6
/proc/7490/stat : 7490 (java) S 7487 7487 5150 0 -1 1077944320 6229 0 0 0 10 1 0 0 20 0 15 0 405276481 15373000704 18465 33554432000 4194304 4196468 140736490801216 140736490783760 139817116798711 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
/proc/7490/statm: 3753174 18465 2923 1 0 3715579 0
[pid=7490/tid=7491] ppid=7487 vsize=15013720 memory=-2915660033818482078 CPUtime=0.09 cores=0,2,4,6
/proc/7490/task/7491/stat : 7491 (java) R 7487 7487 5150 0 -1 4202560 4282 0 0 0 8 1 0 0 20 0 15 0 405276482 15374049280 18728 33554432000 4194304 4196468 140736490801216 139817088582960 139817109478429 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7492] ppid=7487 vsize=15013720 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7492/stat : 7492 (java) S 7487 7487 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405276483 15374049280 18728 33554432000 4194304 4196468 140736490801216 139817121041296 139817116808917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7493] ppid=7487 vsize=15013720 memory=139856897382016 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7493/stat : 7493 (java) S 7487 7487 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405276483 15374049280 18728 33554432000 4194304 4196468 140736490801216 139816896744208 139817116808917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7494] ppid=7487 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7494/stat : 7494 (java) S 7487 7487 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405276483 15374049280 18728 33554432000 4194304 4196468 140736490801216 139816895691920 139817116808917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7495] ppid=7487 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7495/stat : 7495 (java) S 7487 7487 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405276483 15374049280 18728 33554432000 4194304 4196468 140736490801216 139816894639120 139817116808917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7496] ppid=7487 vsize=15013720 memory=139856897382016 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7496/stat : 7496 (java) S 7487 7487 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405276485 15374049280 18728 33554432000 4194304 4196468 140736490801216 139816154351728 139817116809858 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7497] ppid=7487 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7497/stat : 7497 (java) S 7487 7487 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405276485 15374049280 18728 33554432000 4194304 4196468 140736490801216 139815680992032 139817116808917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7498] ppid=7487 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7498/stat : 7498 (java) S 7487 7487 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405276485 15374049280 18728 33554432000 4194304 4196468 140736490801216 139815412556912 139817116808917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7499] ppid=7487 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7499/stat : 7499 (java) S 7487 7487 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405276488 15374049280 18728 33554432000 4194304 4196468 140736490801216 139815038048336 139817116817307 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7500] ppid=7487 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7500/stat : 7500 (java) S 7487 7487 5150 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 405276488 15374049280 18728 33554432000 4194304 4196468 140736490801216 139816153299568 139817116809858 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7501] ppid=7487 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7501/stat : 7501 (java) S 7487 7487 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405276488 15374049280 18728 33554432000 4194304 4196468 140736490801216 139816152246768 139817116809858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7502] ppid=7487 vsize=15013720 memory=139856897382016 CPUtime=0.01 cores=0,2,4,6
/proc/7490/task/7502/stat : 7502 (java) S 7487 7487 5150 0 -1 1077944384 451 0 0 0 1 0 0 0 20 0 15 0 405276488 15374049280 18728 33554432000 4194304 4196468 140736490801216 139816083647344 139817116809858 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7503] ppid=7487 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7503/stat : 7503 (java) S 7487 7487 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405276488 15374049280 18728 33554432000 4194304 4196468 140736490801216 139814540143584 139817116808917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7504] ppid=7487 vsize=15013720 memory=139856897382016 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7504/stat : 7504 (java) S 7487 7487 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405276488 15374049280 18728 33554432000 4194304 4196468 140736490801216 139816082594224 139817116809858 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 75252 KiB
[startup+0.21157 s]*
/proc/loadavg: 2.07 2.04 2.45 3/235 7504
/proc/meminfo: memFree=24456808/32770624 swapFree=67004752/67108860
[pid=7487] ppid=7484 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/7487/stat : 7487 (scop.sh) S 7484 7487 5150 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405276481 115843072 348 33554432000 4194304 5098028 140724670814992 140724670812248 139685121806972 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17940480 140724670817064 140724670817392 140724670817392 140724670820301 0
/proc/7487/statm: 28282 348 296 221 0 87 0
[pid=7490] ppid=7487 vsize=15012696 memory=86828 CPUtime=0.25 cores=0,2,4,6
/proc/7490/stat : 7490 (java) S 7487 7487 5150 0 -1 1077944320 10742 0 0 0 22 3 0 0 20 0 15 0 405276481 15373000704 21707 33554432000 4194304 4196468 140736490801216 140736490783760 139817116798711 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
/proc/7490/statm: 3753174 21707 2926 1 0 3715579 0
[pid=7490/tid=7491] ppid=7487 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/7490/task/7491/stat : 7491 (java) R 7487 7487 5150 0 -1 4202560 8478 0 0 0 18 2 0 0 20 0 15 0 405276482 15373000704 21707 33554432000 4194304 4196468 140736490801216 139817088582272 139817101025008 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7492] ppid=7487 vsize=15012696 memory=365 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7492/stat : 7492 (java) S 7487 7487 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405276483 15373000704 21707 33554432000 4194304 4196468 140736490801216 139817121041296 139817116808917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7493] ppid=7487 vsize=15012696 memory=139856897389763 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7493/stat : 7493 (java) S 7487 7487 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405276483 15373000704 21707 33554432000 4194304 4196468 140736490801216 139816896744208 139817116808917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7494] ppid=7487 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7494/stat : 7494 (java) S 7487 7487 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405276483 15373000704 21707 33554432000 4194304 4196468 140736490801216 139816895691920 139817116808917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7495] ppid=7487 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7495/stat : 7495 (java) S 7487 7487 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405276483 15373000704 21707 33554432000 4194304 4196468 140736490801216 139816894639120 139817116808917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7496] ppid=7487 vsize=15012696 memory=139856897382016 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7496/stat : 7496 (java) S 7487 7487 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405276485 15373000704 21707 33554432000 4194304 4196468 140736490801216 139816154351728 139817116809858 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7497] ppid=7487 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7497/stat : 7497 (java) S 7487 7487 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405276485 15373000704 21707 33554432000 4194304 4196468 140736490801216 139815680992032 139817116808917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7498] ppid=7487 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7498/stat : 7498 (java) S 7487 7487 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405276485 15373000704 21707 33554432000 4194304 4196468 140736490801216 139815412556912 139817116808917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7499] ppid=7487 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7499/stat : 7499 (java) S 7487 7487 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405276488 15373000704 21707 33554432000 4194304 4196468 140736490801216 139815038048336 139817116817307 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7500] ppid=7487 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7500/stat : 7500 (java) S 7487 7487 5150 0 -1 1077944384 449 0 0 0 0 0 0 0 20 0 15 0 405276488 15373000704 21707 33554432000 4194304 4196468 140736490801216 139816153299568 139817116809858 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7501] ppid=7487 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7501/stat : 7501 (java) S 7487 7487 5150 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 405276488 15373000704 21707 33554432000 4194304 4196468 140736490801216 139816152246768 139817116809858 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7502] ppid=7487 vsize=15012696 memory=139856897382016 CPUtime=0.02 cores=0,2,4,6
/proc/7490/task/7502/stat : 7502 (java) R 7487 7487 5150 0 -1 4202560 466 0 0 0 2 0 0 0 20 0 15 0 405276488 15373000704 21707 33554432000 4194304 4196468 140736490801216 139816083647344 139817095719224 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7503] ppid=7487 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7503/stat : 7503 (java) S 7487 7487 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405276488 15373000704 21707 33554432000 4194304 4196468 140736490801216 139814540143584 139817116808917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7504] ppid=7487 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7504/stat : 7504 (java) S 7487 7487 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405276488 15373000704 21707 33554432000 4194304 4196468 140736490801216 139816082594224 139817116809858 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 88220 KiB
[startup+0.310652 s]*
/proc/loadavg: 2.07 2.04 2.45 4/235 7504
/proc/meminfo: memFree=24453988/32770624 swapFree=67004752/67108860
[pid=7487] ppid=7484 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/7487/stat : 7487 (scop.sh) S 7484 7487 5150 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405276481 115843072 348 33554432000 4194304 5098028 140724670814992 140724670812248 139685121806972 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17940480 140724670817064 140724670817392 140724670817392 140724670820301 0
/proc/7487/statm: 28282 348 296 221 0 87 0
[pid=7490] ppid=7487 vsize=15012696 memory=90508 CPUtime=0.43 cores=0,2,4,6
/proc/7490/stat : 7490 (java) S 7487 7487 5150 0 -1 1077944320 11676 0 0 0 40 3 0 0 20 0 15 0 405276481 15373000704 22627 33554432000 4194304 4196468 140736490801216 140736490783760 139817116798711 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
/proc/7490/statm: 3753174 22627 3026 1 0 3715579 0
[pid=7490/tid=7491] ppid=7487 vsize=15012696 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/7490/task/7491/stat : 7491 (java) R 7487 7487 5150 0 -1 4202560 9229 0 0 0 27 2 0 0 20 0 15 0 405276482 15373000704 22627 33554432000 4194304 4196468 140736490801216 139817088594072 139817098362288 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7492] ppid=7487 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7492/stat : 7492 (java) S 7487 7487 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405276483 15373000704 22627 33554432000 4194304 4196468 140736490801216 139817121041296 139817116808917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7493] ppid=7487 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7493/stat : 7493 (java) S 7487 7487 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405276483 15373000704 22627 33554432000 4194304 4196468 140736490801216 139816896744208 139817116808917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7494] ppid=7487 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7494/stat : 7494 (java) S 7487 7487 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405276483 15373000704 22627 33554432000 4194304 4196468 140736490801216 139816895691920 139817116808917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7495] ppid=7487 vsize=15012696 memory=6933954179156714387 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7495/stat : 7495 (java) S 7487 7487 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405276483 15373000704 22627 33554432000 4194304 4196468 140736490801216 139816894639120 139817116808917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7496] ppid=7487 vsize=15012696 memory=7684433391216329786 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7496/stat : 7496 (java) S 7487 7487 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405276485 15373000704 22627 33554432000 4194304 4196468 140736490801216 139816154351728 139817116809858 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7497] ppid=7487 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7497/stat : 7497 (java) S 7487 7487 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405276485 15373000704 22627 33554432000 4194304 4196468 140736490801216 139815680992032 139817116808917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7498] ppid=7487 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7498/stat : 7498 (java) S 7487 7487 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405276485 15373000704 22627 33554432000 4194304 4196468 140736490801216 139815412556912 139817116808917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7499] ppid=7487 vsize=15012696 memory=-8412656567168561567 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7499/stat : 7499 (java) S 7487 7487 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405276488 15373000704 22627 33554432000 4194304 4196468 140736490801216 139815038048336 139817116817307 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7500] ppid=7487 vsize=15012696 memory=-7384621950708166502 CPUtime=0.02 cores=0,2,4,6
/proc/7490/task/7500/stat : 7500 (java) S 7487 7487 5150 0 -1 1077944384 520 0 0 0 2 0 0 0 20 0 15 0 405276488 15373000704 22627 33554432000 4194304 4196468 140736490801216 139816153299568 139817116809858 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7501] ppid=7487 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/7490/task/7501/stat : 7501 (java) S 7487 7487 5150 0 -1 1077944384 106 0 0 0 2 0 0 0 20 0 15 0 405276488 15373000704 22627 33554432000 4194304 4196468 140736490801216 139816152246768 139817116809858 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7502] ppid=7487 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7490/task/7502/stat : 7502 (java) S 7487 7487 5150 0 -1 1077944384 488 0 0 0 7 0 0 0 20 0 15 0 405276488 15373000704 22627 33554432000 4194304 4196468 140736490801216 139816083647344 139817116809858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7503] ppid=7487 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7503/stat : 7503 (java) S 7487 7487 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405276488 15373000704 22627 33554432000 4194304 4196468 140736490801216 139814540143584 139817116808917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7504] ppid=7487 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7504/stat : 7504 (java) S 7487 7487 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405276488 15373000704 22627 33554432000 4194304 4196468 140736490801216 139816082594224 139817116809858 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91900 KiB
[startup+0.700786 s]
/proc/loadavg: 2.07 2.04 2.45 3/235 7504
/proc/meminfo: memFree=24430896/32770624 swapFree=67004752/67108860
[pid=7487] ppid=7484 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/7487/stat : 7487 (scop.sh) S 7484 7487 5150 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405276481 115843072 348 33554432000 4194304 5098028 140724670814992 140724670812248 139685121806972 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17940480 140724670817064 140724670817392 140724670817392 140724670820301 0
/proc/7487/statm: 28282 348 296 221 0 87 0
[pid=7490] ppid=7487 vsize=15018968 memory=129320 CPUtime=1.02 cores=0,2,4,6
/proc/7490/stat : 7490 (java) S 7487 7487 5150 0 -1 1077944320 19098 0 0 0 96 6 0 0 20 0 15 0 405276481 15379423232 32330 33554432000 4194304 4196468 140736490801216 140736490783760 139817116798711 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
/proc/7490/statm: 3754742 32330 3182 1 0 3716091 0
[pid=7490/tid=7491] ppid=7487 vsize=15018968 memory=286543155 CPUtime=0.68 cores=0,2,4,6
/proc/7490/task/7491/stat : 7491 (java) R 7487 7487 5150 0 -1 4202560 16164 0 0 0 63 5 0 0 20 0 15 0 405276482 15379423232 32330 33554432000 4194304 4196468 140736490801216 139817088634736 139817116820637 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7492] ppid=7487 vsize=15018968 memory=2372 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7492/stat : 7492 (java) S 7487 7487 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405276483 15379423232 32330 33554432000 4194304 4196468 140736490801216 139817121041296 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7493] ppid=7487 vsize=15018968 memory=180 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7493/stat : 7493 (java) S 7487 7487 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405276483 15379423232 32330 33554432000 4194304 4196468 140736490801216 139816896744208 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7494] ppid=7487 vsize=15018968 memory=9230 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7494/stat : 7494 (java) S 7487 7487 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405276483 15379423232 32330 33554432000 4194304 4196468 140736490801216 139816895691920 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7495] ppid=7487 vsize=15018968 memory=21150 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7495/stat : 7495 (java) S 7487 7487 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405276483 15379423232 32330 33554432000 4194304 4196468 140736490801216 139816894639120 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7496] ppid=7487 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7496/stat : 7496 (java) S 7487 7487 5150 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405276485 15379423232 32330 33554432000 4194304 4196468 140736490801216 139816154351728 139817116809858 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7497] ppid=7487 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7497/stat : 7497 (java) S 7487 7487 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405276485 15379423232 32330 33554432000 4194304 4196468 140736490801216 139815680992032 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7498] ppid=7487 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7498/stat : 7498 (java) S 7487 7487 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405276485 15379423232 32330 33554432000 4194304 4196468 140736490801216 139815412556912 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7499] ppid=7487 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7499/stat : 7499 (java) S 7487 7487 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405276488 15379423232 32330 33554432000 4194304 4196468 140736490801216 139815038048336 139817116817307 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7500] ppid=7487 vsize=15018968 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7490/task/7500/stat : 7500 (java) R 7487 7487 5150 0 -1 4202560 715 0 0 0 9 0 0 0 20 0 15 0 405276488 15379423232 32330 33554432000 4194304 4196468 140736490801216 139816153299568 139817096294472 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7501] ppid=7487 vsize=15018968 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7490/task/7501/stat : 7501 (java) R 7487 7487 5150 0 -1 4202560 321 0 0 0 9 0 0 0 20 0 15 0 405276488 15379423232 32330 33554432000 4194304 4196468 140736490801216 139816152246768 139817098343273 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7502] ppid=7487 vsize=15018968 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/7490/task/7502/stat : 7502 (java) S 7487 7487 5150 0 -1 1077944384 562 0 0 0 14 0 0 0 20 0 15 0 405276488 15379423232 32330 33554432000 4194304 4196468 140736490801216 139816083647344 139817116809858 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7503] ppid=7487 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7503/stat : 7503 (java) S 7487 7487 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405276488 15379423232 32330 33554432000 4194304 4196468 140736490801216 139814540143584 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7504] ppid=7487 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7504/stat : 7504 (java) S 7487 7487 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405276488 15379423232 32330 33554432000 4194304 4196468 140736490801216 139816082594224 139817116809858 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 130712 KiB
[startup+1.50089 s]
/proc/loadavg: 2.06 2.04 2.44 5/234 7504
/proc/meminfo: memFree=24317948/32770624 swapFree=67004752/67108860
[pid=7487] ppid=7484 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/7487/stat : 7487 (scop.sh) S 7484 7487 5150 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405276481 115843072 348 33554432000 4194304 5098028 140724670814992 140724670812248 139685121806972 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17940480 140724670817064 140724670817392 140724670817392 140724670820301 0
/proc/7487/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
/proc/7490/task/7494/stat : 7494 (java) R 7487 7487 5150 0 -1 4202560 20691 0 0 0 51034 247 0 0 20 0 15 0 405276483 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139816895692120 139817098395152 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7495] ppid=7487 vsize=15025188 memory=4872558044660077418 CPUtime=517.53 cores=0,2,4,6
/proc/7490/task/7495/stat : 7495 (java) R 7487 7487 5150 0 -1 4202560 23466 0 0 0 51516 237 0 0 20 0 15 0 405276483 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139816894639008 139817101784007 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7496] ppid=7487 vsize=15025188 memory=1392 CPUtime=4.02 cores=0,2,4,6
/proc/7490/task/7496/stat : 7496 (java) S 7487 7487 5150 0 -1 1077944384 72814 0 0 0 397 5 0 0 20 0 15 0 405276485 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139816154350048 139817116808917 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7497] ppid=7487 vsize=15025188 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7497/stat : 7497 (java) S 7487 7487 5150 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 405276485 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139815680992096 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7498] ppid=7487 vsize=15025188 memory=12073924 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7498/stat : 7498 (java) S 7487 7487 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405276485 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139815412556928 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7499] ppid=7487 vsize=15025188 memory=12073904 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7499/stat : 7499 (java) S 7487 7487 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405276488 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139815038048336 139817116817307 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7500] ppid=7487 vsize=15025188 memory=37336 CPUtime=4.34 cores=0,2,4,6
/proc/7490/task/7500/stat : 7500 (java) S 7487 7487 5150 0 -1 1077944384 11692 0 0 0 431 3 0 0 20 0 15 0 405276488 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139816153299328 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7501] ppid=7487 vsize=15025188 memory=984 CPUtime=4.12 cores=0,2,4,6
/proc/7490/task/7501/stat : 7501 (java) S 7487 7487 5150 0 -1 1077944384 10251 0 0 0 411 1 0 0 20 0 15 0 405276488 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139816152246816 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7502] ppid=7487 vsize=15025188 memory=924 CPUtime=0.96 cores=0,2,4,6
/proc/7490/task/7502/stat : 7502 (java) S 7487 7487 5150 0 -1 1077944384 13217 0 0 0 95 1 0 0 20 0 15 0 405276488 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139816083647392 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7503] ppid=7487 vsize=15025188 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7503/stat : 7503 (java) S 7487 7487 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405276488 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139814540143584 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7504] ppid=7487 vsize=15025188 memory=2688 CPUtime=0.53 cores=0,2,4,6
/proc/7490/task/7504/stat : 7504 (java) S 7487 7487 5150 0 -1 1077944384 691 0 0 0 34 19 0 0 20 0 15 0 405276488 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139816082594224 139817116809858 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
Current children cumulated CPU time: 2520.29 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 12076128 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+975.054 s]
# the end of solver process 7487 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00336 s, system=0.000375 s
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+977.074 s]
# the end of solver process 7490 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.81 s, system=10.504 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+976.002 s]*
/proc/loadavg: 4.68 4.12 3.29 6/234 7596
/proc/meminfo: memFree=12450584/32770624 swapFree=67004752/67108860
[pid=7490] ppid=7484 vsize=15025188 memory=12074736 CPUtime=2524.27 cores=0,2,4,6
/proc/7490/stat : 7490 (java) S 7484 7487 5150 0 -1 1077944320 260896 0 0 0 251383 1044 0 0 20 0 15 0 405276481 15385792512 3018684 33554432000 4194304 4196468 140736490801216 140736490783760 139817116798711 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
/proc/7490/statm: 3756297 3018684 3302 1 0 3717627 0
[pid=7490/tid=7491] ppid=7484 vsize=15025188 memory=1398722017469774279 CPUtime=442.72 cores=0,2,4,6
/proc/7490/task/7491/stat : 7491 (java) S 7484 7487 5150 0 -1 1077944384 55589 0 0 0 44220 52 0 0 20 0 15 0 405276482 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139817088628752 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7492] ppid=7484 vsize=15025188 memory=4872558044660077418 CPUtime=516.66 cores=0,2,4,6
/proc/7490/task/7492/stat : 7492 (java) R 7484 7487 5150 0 -1 4202560 24985 0 0 0 51398 268 0 0 20 0 15 0 405276483 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139817121041496 139817101496350 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7493] ppid=7484 vsize=15025188 memory=1392 CPUtime=518.45 cores=0,2,4,6
/proc/7490/task/7493/stat : 7493 (java) R 7484 7487 5150 0 -1 4202560 26129 0 0 0 51631 214 0 0 20 0 15 0 405276483 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139816896740296 139817101749316 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7494] ppid=7484 vsize=15025188 memory=12074736 CPUtime=513.81 cores=0,2,4,6
/proc/7490/task/7494/stat : 7494 (java) R 7484 7487 5150 0 -1 4202560 20718 0 0 0 51134 247 0 0 20 0 15 0 405276483 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139816895692120 139817098352336 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7495] ppid=7484 vsize=15025188 memory=4108 CPUtime=518.53 cores=0,2,4,6
/proc/7490/task/7495/stat : 7495 (java) R 7484 7487 5150 0 -1 4202560 23468 0 0 0 51616 237 0 0 20 0 15 0 405276483 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139816894639008 139817098395233 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7496] ppid=7484 vsize=15025188 memory=1780 CPUtime=4.02 cores=0,2,4,6
/proc/7490/task/7496/stat : 7496 (java) S 7484 7487 5150 0 -1 1077944384 72814 0 0 0 397 5 0 0 20 0 15 0 405276485 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139816154350048 139817116808917 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7497] ppid=7484 vsize=15025188 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7497/stat : 7497 (java) S 7484 7487 5150 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 405276485 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139815680992096 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7498] ppid=7484 vsize=15025188 memory=5956 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7498/stat : 7498 (java) S 7484 7487 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405276485 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139815412556928 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7499] ppid=7484 vsize=15025188 memory=772 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7499/stat : 7499 (java) S 7484 7487 5150 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 405276488 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139815038047984 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7500] ppid=7484 vsize=15025188 memory=952 CPUtime=4.34 cores=0,2,4,6
/proc/7490/task/7500/stat : 7500 (java) S 7484 7487 5150 0 -1 1077944384 11692 0 0 0 431 3 0 0 20 0 15 0 405276488 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139816153299328 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7501] ppid=7484 vsize=15025188 memory=14008 CPUtime=4.12 cores=0,2,4,6
/proc/7490/task/7501/stat : 7501 (java) S 7484 7487 5150 0 -1 1077944384 10251 0 0 0 411 1 0 0 20 0 15 0 405276488 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139816152246816 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7502] ppid=7484 vsize=15025188 memory=20504 CPUtime=0.96 cores=0,2,4,6
/proc/7490/task/7502/stat : 7502 (java) S 7484 7487 5150 0 -1 1077944384 13217 0 0 0 95 1 0 0 20 0 15 0 405276488 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139816083647392 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7503] ppid=7484 vsize=15025188 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7503/stat : 7503 (java) S 7484 7487 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405276488 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139814540143584 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7504] ppid=7484 vsize=15025188 memory=12028 CPUtime=0.53 cores=0,2,4,6
/proc/7490/task/7504/stat : 7504 (java) S 7484 7487 5150 0 -1 1077944384 694 0 0 0 34 19 0 0 20 0 15 0 405276488 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139816082594224 139817116809858 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
Current cumulated CPU time of completed processes: 0.003735 s
Current children cumulated CPU time: 2524.27 s
Current children cumulated vsize: 15025188 KiB
Current children cumulated memory: 12074736 KiB
[startup+976.802 s]
/proc/loadavg: 4.68 4.12 3.29 6/234 7596
/proc/meminfo: memFree=12450584/32770624 swapFree=67004752/67108860
[pid=7490] ppid=7484 vsize=15025188 memory=12074736 CPUtime=2527.42 cores=0,2,4,6
/proc/7490/stat : 7490 (java) S 7484 7487 5150 0 -1 1077944320 260899 0 0 0 251698 1044 0 0 20 0 15 0 405276481 15385792512 3018684 33554432000 4194304 4196468 140736490801216 140736490783760 139817116798711 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
/proc/7490/statm: 3756297 3018684 3302 1 0 3717627 0
[pid=7490/tid=7491] ppid=7484 vsize=15025188 memory=2116 CPUtime=442.72 cores=0,2,4,6
/proc/7490/task/7491/stat : 7491 (java) S 7484 7487 5150 0 -1 1077944384 55589 0 0 0 44220 52 0 0 20 0 15 0 405276482 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139817088628752 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7492] ppid=7484 vsize=15025188 memory=12028 CPUtime=517.45 cores=0,2,4,6
/proc/7490/task/7492/stat : 7492 (java) R 7484 7487 5150 0 -1 4202560 24985 0 0 0 51477 268 0 0 20 0 15 0 405276483 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139817121041496 139817101253468 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7493] ppid=7484 vsize=15025188 memory=496 CPUtime=519.24 cores=0,2,4,6
/proc/7490/task/7493/stat : 7493 (java) R 7484 7487 5150 0 -1 4202560 26131 0 0 0 51710 214 0 0 20 0 15 0 405276483 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139816896740296 139817101496486 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7494] ppid=7484 vsize=15025188 memory=1564 CPUtime=514.6 cores=0,2,4,6
/proc/7490/task/7494/stat : 7494 (java) R 7484 7487 5150 0 -1 4202560 20718 0 0 0 51213 247 0 0 20 0 15 0 405276483 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139816895692120 139817101496350 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7495] ppid=7484 vsize=15025188 memory=6791534058613427641 CPUtime=519.32 cores=0,2,4,6
/proc/7490/task/7495/stat : 7495 (java) R 7484 7487 5150 0 -1 4202560 23469 0 0 0 51695 237 0 0 20 0 15 0 405276483 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139816894639008 139817101749440 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7496] ppid=7484 vsize=15025188 memory=1660 CPUtime=4.02 cores=0,2,4,6
/proc/7490/task/7496/stat : 7496 (java) S 7484 7487 5150 0 -1 1077944384 72814 0 0 0 397 5 0 0 20 0 15 0 405276485 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139816154350048 139817116808917 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7497] ppid=7484 vsize=15025188 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7497/stat : 7497 (java) S 7484 7487 5150 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 405276485 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139815680992096 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7498] ppid=7484 vsize=15025188 memory=2472 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7498/stat : 7498 (java) S 7484 7487 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405276485 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139815412556928 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7499] ppid=7484 vsize=15025188 memory=2688 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7499/stat : 7499 (java) S 7484 7487 5150 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 405276488 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139815038047984 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7500] ppid=7484 vsize=15025188 memory=2676 CPUtime=4.34 cores=0,2,4,6
/proc/7490/task/7500/stat : 7500 (java) S 7484 7487 5150 0 -1 1077944384 11692 0 0 0 431 3 0 0 20 0 15 0 405276488 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139816153299328 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7501] ppid=7484 vsize=15025188 memory=12074736 CPUtime=4.12 cores=0,2,4,6
/proc/7490/task/7501/stat : 7501 (java) S 7484 7487 5150 0 -1 1077944384 10251 0 0 0 411 1 0 0 20 0 15 0 405276488 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139816152246816 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7502] ppid=7484 vsize=15025188 memory=3492 CPUtime=0.96 cores=0,2,4,6
/proc/7490/task/7502/stat : 7502 (java) S 7484 7487 5150 0 -1 1077944384 13217 0 0 0 95 1 0 0 20 0 15 0 405276488 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139816083647392 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7503] ppid=7484 vsize=15025188 memory=37336 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7503/stat : 7503 (java) S 7484 7487 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405276488 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139814540143584 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7504] ppid=7484 vsize=15025188 memory=1564 CPUtime=0.53 cores=0,2,4,6
/proc/7490/task/7504/stat : 7504 (java) S 7484 7487 5150 0 -1 1077944384 694 0 0 0 34 19 0 0 20 0 15 0 405276488 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139816082594224 139817116809858 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
Current cumulated CPU time of completed processes: 0.003735 s
Current children cumulated CPU time: 2527.42 s
Current children cumulated vsize: 15025188 KiB
Current children cumulated memory: 12074736 KiB
[startup+977.002 s]*
/proc/loadavg: 4.68 4.12 3.29 6/234 7596
/proc/meminfo: memFree=12448784/32770624 swapFree=67004752/67108860
[pid=7490] ppid=7484 vsize=15025188 memory=12074736 CPUtime=2528.21 cores=0,2,4,6
/proc/7490/stat : 7490 (java) S 7484 7487 5150 0 -1 1077944320 267040 0 0 0 251776 1045 0 0 20 0 15 0 405276481 15385792512 3018684 33554432000 4194304 4196468 140736490801216 140736490783760 139817116798711 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
/proc/7490/statm: 3756297 3018684 3302 1 0 3717627 0
[pid=7490/tid=7491] ppid=7484 vsize=15025188 memory=1398722017469774279 CPUtime=442.72 cores=0,2,4,6
/proc/7490/task/7491/stat : 7491 (java) S 7484 7487 5150 0 -1 1077944384 55589 0 0 0 44220 52 0 0 20 0 15 0 405276482 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139817088628752 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7492] ppid=7484 vsize=15025188 memory=4872558044660077418 CPUtime=517.63 cores=0,2,4,6
/proc/7490/task/7492/stat : 7492 (java) R 7484 7487 5150 0 -1 4202560 24990 0 0 0 51495 268 0 0 20 0 15 0 405276483 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139817121041496 139817098408326 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7493] ppid=7484 vsize=15025188 memory=3492 CPUtime=519.43 cores=0,2,4,6
/proc/7490/task/7493/stat : 7493 (java) R 7484 7487 5150 0 -1 4202560 26140 0 0 0 51729 214 0 0 20 0 15 0 405276483 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139816896744408 139817101498958 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7494] ppid=7484 vsize=15025188 memory=1472 CPUtime=514.79 cores=0,2,4,6
/proc/7490/task/7494/stat : 7494 (java) R 7484 7487 5150 0 -1 4202560 20725 0 0 0 51232 247 0 0 20 0 15 0 405276483 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139816895691920 139817101498568 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7495] ppid=7484 vsize=15025188 memory=1348372 CPUtime=519.52 cores=0,2,4,6
/proc/7490/task/7495/stat : 7495 (java) R 7484 7487 5150 0 -1 4202560 23475 0 0 0 51715 237 0 0 20 0 15 0 405276483 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139816894639120 139817101498563 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7496] ppid=7484 vsize=15025188 memory=2025400 CPUtime=4.03 cores=0,2,4,6
/proc/7490/task/7496/stat : 7496 (java) S 7484 7487 5150 0 -1 1077944384 78928 0 0 0 398 5 0 0 20 0 15 0 405276485 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139816154350272 139817116808917 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7497] ppid=7484 vsize=15025188 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7497/stat : 7497 (java) S 7484 7487 5150 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 405276485 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139815680992096 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7498] ppid=7484 vsize=15025188 memory=12073904 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7498/stat : 7498 (java) S 7484 7487 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405276485 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139815412556928 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7499] ppid=7484 vsize=15025188 memory=37336 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7499/stat : 7499 (java) S 7484 7487 5150 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 405276488 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139815038047984 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7500] ppid=7484 vsize=15025188 memory=984 CPUtime=4.34 cores=0,2,4,6
/proc/7490/task/7500/stat : 7500 (java) S 7484 7487 5150 0 -1 1077944384 11692 0 0 0 431 3 0 0 20 0 15 0 405276488 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139816153299328 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7501] ppid=7484 vsize=15025188 memory=924 CPUtime=4.12 cores=0,2,4,6
/proc/7490/task/7501/stat : 7501 (java) S 7484 7487 5150 0 -1 1077944384 10251 0 0 0 411 1 0 0 20 0 15 0 405276488 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139816152246816 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7502] ppid=7484 vsize=15025188 memory=3848 CPUtime=0.96 cores=0,2,4,6
/proc/7490/task/7502/stat : 7502 (java) S 7484 7487 5150 0 -1 1077944384 13217 0 0 0 95 1 0 0 20 0 15 0 405276488 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139816083647392 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7503] ppid=7484 vsize=15025188 memory=2688 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7503/stat : 7503 (java) S 7484 7487 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405276488 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139814540143584 139817116808917 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
[pid=7490/tid=7504] ppid=7484 vsize=15025188 memory=288230574492221466 CPUtime=0.53 cores=0,2,4,6
/proc/7490/task/7504/stat : 7504 (java) S 7484 7487 5150 0 -1 1077944384 694 0 0 0 34 19 0 0 20 0 15 0 405276488 15385792512 3018684 33554432000 4194304 4196468 140736490801216 139816082594224 139817116809858 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 39399424 140736490808047 140736490808474 140736490808474 140736490811343 0
Current cumulated CPU time of completed processes: 0.003735 s
Current children cumulated CPU time: 2528.21 s
Current children cumulated vsize: 15025188 KiB
Current children cumulated memory: 12074736 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 977.074
CPU time (s): 2528.31
CPU user time (s): 2517.81
CPU system time (s): 10.504
CPU usage (%): 258.764
Max. virtual memory (cumulated for all children) (KiB): 15138316
Max. memory (cumulated for all children) (KiB): 12076128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.81
system time used= 10.504
maximum resident set size= 12074936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268147
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= 62429
involuntary context switches= 54766
# summary of solver processes directly reported to runsolver:
# pid: 7487,7490
# total CPU time (s): 2528.31
# total CPU user time (s): 2517.81
# total CPU system time (s): 10.504
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.80243 second user time and 10.3099 second system time
The end