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 (3077 MiB free)
memory of node 1: 16384 MiB (1126 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304238-1534048903/watcher-4304238-1534048903 -o /tmp/evaluation-result-4304238-1534048903/solver-4304238-1534048903 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534038993-15971 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=657327932 -superng HOME/instance-4304238-1534048903.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=17604, runsolver pid=17601
[startup+0.10006 s]*
/proc/loadavg: 1.51 1.37 1.35 3/206 17661
/proc/meminfo: memFree=4299076/32770624 swapFree=67058720/67108860
[pid=17604] ppid=17601 vsize=10005480 memory=16812 CPUtime=0.09 cores=0,2,4,6
/proc/17604/stat : 17604 (java) S 17601 17604 15060 0 -1 1077944320 4360 12872 0 0 1 0 5 3 20 0 6 0 222453514 10245611520 4203 33554432000 4194304 4196468 140720584007520 140720583990064 140291421933303 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
/proc/17604/statm: 2501370 4203 1934 1 0 2489808 0
[pid=17604/tid=17657] ppid=17601 vsize=10005480 memory=4279135703946462605 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17657/stat : 17657 (java) R 17601 17604 15060 0 -1 4202560 2177 12872 0 0 0 0 5 3 20 0 6 0 222453523 10245611520 4203 33554432000 4194304 4196468 140720584007520 140291393770064 140291406013790 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17658] ppid=17601 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17658/stat : 17658 (java) S 17601 17604 15060 0 -1 1077944384 1 12872 0 0 0 0 5 3 20 0 6 0 222453524 10245611520 4203 33554432000 4194304 4196468 140720584007520 140291426175632 140291421943509 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17659] ppid=17601 vsize=10005480 memory=140470891898496 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17659/stat : 17659 (java) S 17601 17604 15060 0 -1 1077944384 2 12872 0 0 0 0 5 3 20 0 6 0 222453524 10245611520 4203 33554432000 4194304 4196468 140720584007520 140291291511312 140291421943509 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17660] ppid=17601 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17660/stat : 17660 (java) S 17601 17604 15060 0 -1 1077944384 2 12872 0 0 0 0 5 3 20 0 6 0 222453524 10245611520 4203 33554432000 4194304 4196468 140720584007520 140291290458512 140291421943509 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17661] ppid=17601 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17661/stat : 17661 (java) S 17601 17604 15060 0 -1 1077944384 2 12872 0 0 0 0 5 3 20 0 6 0 222453524 10245611520 4203 33554432000 4194304 4196468 140720584007520 140291289405712 140291421943509 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16812 KiB
[startup+0.210111 s]*
/proc/loadavg: 1.51 1.37 1.35 3/215 17670
/proc/meminfo: memFree=4274956/32770624 swapFree=67058720/67108860
[pid=17604] ppid=17601 vsize=10982744 memory=45192 CPUtime=0.27 cores=0,2,4,6
/proc/17604/stat : 17604 (java) S 17601 17604 15060 0 -1 1077944320 8014 12872 0 0 17 2 5 3 20 0 15 0 222453514 11246329856 11298 33554432000 4194304 4196468 140720584007520 140720583990064 140291421933303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
/proc/17604/statm: 2745686 11298 2955 1 0 2708109 0
[pid=17604/tid=17657] ppid=17601 vsize=10982744 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/17604/task/17657/stat : 17657 (java) R 17601 17604 15060 0 -1 4202560 4656 12872 0 0 10 1 5 3 20 0 15 0 222453523 11246329856 11364 33554432000 4194304 4196468 140720584007520 140291393729344 140291406013790 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17658] ppid=17601 vsize=10982744 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17658/stat : 17658 (java) S 17601 17604 15060 0 -1 1077944384 1 12872 0 0 0 0 5 3 20 0 15 0 222453524 11246329856 11364 33554432000 4194304 4196468 140720584007520 140291426175632 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17659] ppid=17601 vsize=10982744 memory=140470891898496 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17659/stat : 17659 (java) S 17601 17604 15060 0 -1 1077944384 2 12872 0 0 0 0 5 3 20 0 15 0 222453524 11246329856 11364 33554432000 4194304 4196468 140720584007520 140291291511312 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17660] ppid=17601 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17660/stat : 17660 (java) S 17601 17604 15060 0 -1 1077944384 2 12872 0 0 0 0 5 3 20 0 15 0 222453524 11246329856 11364 33554432000 4194304 4196468 140720584007520 140291290458512 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17661] ppid=17601 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17661/stat : 17661 (java) S 17601 17604 15060 0 -1 1077944384 2 12872 0 0 0 0 5 3 20 0 15 0 222453524 11246329856 11364 33554432000 4194304 4196468 140720584007520 140291289405712 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17662] ppid=17601 vsize=10982744 memory=140470891898496 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17662/stat : 17662 (java) S 17601 17604 15060 0 -1 1077944384 2 12872 0 0 0 0 5 3 20 0 15 0 222453525 11246329856 11364 33554432000 4194304 4196468 140720584007520 140290847177584 140291421944450 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17663] ppid=17601 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17663/stat : 17663 (java) S 17601 17604 15060 0 -1 1077944384 13 12872 0 0 0 0 5 3 20 0 15 0 222453526 11246329856 11364 33554432000 4194304 4196468 140720584007520 140290221401632 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17664] ppid=17601 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17664/stat : 17664 (java) S 17601 17604 15060 0 -1 1077944384 1 12872 0 0 0 0 5 3 20 0 15 0 222453526 11246329856 11364 33554432000 4194304 4196468 140720584007520 140290073552240 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17665] ppid=17601 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17665/stat : 17665 (java) S 17601 17604 15060 0 -1 1077944384 3 12872 0 0 0 0 5 3 20 0 15 0 222453528 11246329856 11364 33554432000 4194304 4196468 140720584007520 140289766152528 140291421951899 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17666] ppid=17601 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17604/task/17666/stat : 17666 (java) R 17601 17604 15060 0 -1 4202560 543 12872 0 0 1 0 5 3 20 0 15 0 222453528 11246329856 11364 33554432000 4194304 4196468 140720584007520 140290846124400 140291421944450 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17667] ppid=17601 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/17604/task/17667/stat : 17667 (java) R 17601 17604 15060 0 -1 1077944384 65 12872 0 0 1 0 5 3 20 0 15 0 222453528 11246329856 11364 33554432000 4194304 4196468 140720584007520 140290845071600 140291421944450 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17668] ppid=17601 vsize=10982744 memory=140470891898496 CPUtime=0.11 cores=0,2,4,6
/proc/17604/task/17668/stat : 17668 (java) S 17601 17604 15060 0 -1 1077944384 610 12872 0 0 3 0 5 3 20 0 15 0 222453528 11246329856 11364 33554432000 4194304 4196468 140720584007520 140290844018800 140291421944450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17669] ppid=17601 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17669/stat : 17669 (java) S 17601 17604 15060 0 -1 1077944384 3 12872 0 0 0 0 5 3 20 0 15 0 222453529 11246329856 11364 33554432000 4194304 4196468 140720584007520 140289335355616 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17670] ppid=17601 vsize=10982744 memory=140470891898496 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17670/stat : 17670 (java) S 17601 17604 15060 0 -1 1077944384 1 12872 0 0 0 0 5 3 20 0 15 0 222453529 11246329856 11364 33554432000 4194304 4196468 140720584007520 140290842967216 140291421944450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45192 KiB
[startup+0.310311 s]*
/proc/loadavg: 1.51 1.37 1.35 3/215 17670
/proc/meminfo: memFree=4263304/32770624 swapFree=67058720/67108860
[pid=17604] ppid=17601 vsize=10983192 memory=56400 CPUtime=0.39 cores=0,2,4,6
/proc/17604/stat : 17604 (java) S 17601 17604 15060 0 -1 1077944320 10596 12872 0 0 28 3 5 3 20 0 15 0 222453514 11246788608 14100 33554432000 4194304 4196468 140720584007520 140720583990064 140291421933303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
/proc/17604/statm: 2745798 14100 3103 1 0 2708109 0
[pid=17604/tid=17657] ppid=17601 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/17604/task/17657/stat : 17657 (java) R 17601 17604 15060 0 -1 4202560 7141 12872 0 0 19 1 5 3 20 0 15 0 222453523 11246788608 14100 33554432000 4194304 4196468 140720584007520 140291393745312 140291421955229 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17658] ppid=17601 vsize=10983192 memory=7084813469699035216 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17658/stat : 17658 (java) S 17601 17604 15060 0 -1 1077944384 1 12872 0 0 0 0 5 3 20 0 15 0 222453524 11246788608 14100 33554432000 4194304 4196468 140720584007520 140291426175632 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17659] ppid=17601 vsize=10983192 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17659/stat : 17659 (java) S 17601 17604 15060 0 -1 1077944384 2 12872 0 0 0 0 5 3 20 0 15 0 222453524 11246788608 14100 33554432000 4194304 4196468 140720584007520 140291291511312 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17660] ppid=17601 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17660/stat : 17660 (java) S 17601 17604 15060 0 -1 1077944384 2 12872 0 0 0 0 5 3 20 0 15 0 222453524 11246788608 14100 33554432000 4194304 4196468 140720584007520 140291290458512 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17661] ppid=17601 vsize=10983192 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17661/stat : 17661 (java) S 17601 17604 15060 0 -1 1077944384 2 12872 0 0 0 0 5 3 20 0 15 0 222453524 11246788608 14100 33554432000 4194304 4196468 140720584007520 140291289405712 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17662] ppid=17601 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17662/stat : 17662 (java) S 17601 17604 15060 0 -1 1077944384 2 12872 0 0 0 0 5 3 20 0 15 0 222453525 11246788608 14100 33554432000 4194304 4196468 140720584007520 140290847177584 140291421944450 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17663] ppid=17601 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17663/stat : 17663 (java) S 17601 17604 15060 0 -1 1077944384 13 12872 0 0 0 0 5 3 20 0 15 0 222453526 11246788608 14100 33554432000 4194304 4196468 140720584007520 140290221401632 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17664] ppid=17601 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17664/stat : 17664 (java) S 17601 17604 15060 0 -1 1077944384 1 12872 0 0 0 0 5 3 20 0 15 0 222453526 11246788608 14100 33554432000 4194304 4196468 140720584007520 140290073552240 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17665] ppid=17601 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17665/stat : 17665 (java) S 17601 17604 15060 0 -1 1077944384 3 12872 0 0 0 0 5 3 20 0 15 0 222453528 11246788608 14100 33554432000 4194304 4196468 140720584007520 140289766152528 140291421951899 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17666] ppid=17601 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17604/task/17666/stat : 17666 (java) S 17601 17604 15060 0 -1 1077944384 546 12872 0 0 1 0 5 3 20 0 15 0 222453528 11246788608 14100 33554432000 4194304 4196468 140720584007520 140290846124400 140291421944450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17667] ppid=17601 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17604/task/17667/stat : 17667 (java) S 17601 17604 15060 0 -1 1077944384 67 12872 0 0 1 0 5 3 20 0 15 0 222453528 11246788608 14100 33554432000 4194304 4196468 140720584007520 140290845071600 140291421944450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17668] ppid=17601 vsize=10983192 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/17604/task/17668/stat : 17668 (java) S 17601 17604 15060 0 -1 1077944384 616 12872 0 0 4 0 5 3 20 0 15 0 222453528 11246788608 14100 33554432000 4194304 4196468 140720584007520 140290844018800 140291421944450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17669] ppid=17601 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17669/stat : 17669 (java) S 17601 17604 15060 0 -1 1077944384 3 12872 0 0 0 0 5 3 20 0 15 0 222453529 11246788608 14100 33554432000 4194304 4196468 140720584007520 140289335355616 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17670] ppid=17601 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17670/stat : 17670 (java) S 17601 17604 15060 0 -1 1077944384 1 12872 0 0 0 0 5 3 20 0 15 0 222453529 11246788608 14100 33554432000 4194304 4196468 140720584007520 140290842967216 140291421944450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56400 KiB
[startup+0.700814 s]
/proc/loadavg: 1.51 1.37 1.35 4/215 17670
/proc/meminfo: memFree=4253248/32770624 swapFree=67058720/67108860
[pid=17604] ppid=17601 vsize=10983192 memory=88760 CPUtime=1 cores=0,2,4,6
/proc/17604/stat : 17604 (java) S 17601 17604 15060 0 -1 1077944320 16760 12872 0 0 88 4 5 3 20 0 15 0 222453514 11246788608 22190 33554432000 4194304 4196468 140720584007520 140720583990064 140291421933303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
/proc/17604/statm: 2745798 22190 3247 1 0 2708109 0
[pid=17604/tid=17657] ppid=17601 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/17604/task/17657/stat : 17657 (java) R 17601 17604 15060 0 -1 4202560 12223 12872 0 0 56 3 5 3 20 0 15 0 222453523 11246788608 22190 33554432000 4194304 4196468 140720584007520 140291393754128 140291402208606 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17658] ppid=17601 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17658/stat : 17658 (java) S 17601 17604 15060 0 -1 1077944384 1 12872 0 0 0 0 5 3 20 0 15 0 222453524 11246788608 22190 33554432000 4194304 4196468 140720584007520 140291426175632 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17659] ppid=17601 vsize=10983192 memory=3544 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17659/stat : 17659 (java) S 17601 17604 15060 0 -1 1077944384 2 12872 0 0 0 0 5 3 20 0 15 0 222453524 11246788608 22190 33554432000 4194304 4196468 140720584007520 140291291511312 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17660] ppid=17601 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17660/stat : 17660 (java) S 17601 17604 15060 0 -1 1077944384 2 12872 0 0 0 0 5 3 20 0 15 0 222453524 11246788608 22190 33554432000 4194304 4196468 140720584007520 140291290458512 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17661] ppid=17601 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17661/stat : 17661 (java) S 17601 17604 15060 0 -1 1077944384 2 12872 0 0 0 0 5 3 20 0 15 0 222453524 11246788608 22190 33554432000 4194304 4196468 140720584007520 140291289405712 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17662] ppid=17601 vsize=10983192 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17662/stat : 17662 (java) S 17601 17604 15060 0 -1 1077944384 5 12872 0 0 0 0 5 3 20 0 15 0 222453525 11246788608 22190 33554432000 4194304 4196468 140720584007520 140290847177584 140291421944450 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17663] ppid=17601 vsize=10983192 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17663/stat : 17663 (java) S 17601 17604 15060 0 -1 1077944384 13 12872 0 0 0 0 5 3 20 0 15 0 222453526 11246788608 22190 33554432000 4194304 4196468 140720584007520 140290221401632 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17664] ppid=17601 vsize=10983192 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17664/stat : 17664 (java) S 17601 17604 15060 0 -1 1077944384 1 12872 0 0 0 0 5 3 20 0 15 0 222453526 11246788608 22190 33554432000 4194304 4196468 140720584007520 140290073552240 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17665] ppid=17601 vsize=10983192 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17665/stat : 17665 (java) S 17601 17604 15060 0 -1 1077944384 3 12872 0 0 0 0 5 3 20 0 15 0 222453528 11246788608 22190 33554432000 4194304 4196468 140720584007520 140289766152528 140291421951899 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17666] ppid=17601 vsize=10983192 memory=13252 CPUtime=0.15 cores=0,2,4,6
/proc/17604/task/17666/stat : 17666 (java) S 17601 17604 15060 0 -1 1077944384 932 12872 0 0 7 0 5 3 20 0 15 0 222453528 11246788608 22190 33554432000 4194304 4196468 140720584007520 140290846124400 140291421944450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17667] ppid=17601 vsize=10983192 memory=15460 CPUtime=0.18 cores=0,2,4,6
/proc/17604/task/17667/stat : 17667 (java) S 17601 17604 15060 0 -1 1077944384 690 12872 0 0 10 0 5 3 20 0 15 0 222453528 11246788608 22190 33554432000 4194304 4196468 140720584007520 140290845071600 140291421944450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17668] ppid=17601 vsize=10983192 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/17604/task/17668/stat : 17668 (java) S 17601 17604 15060 0 -1 1077944384 686 12872 0 0 13 0 5 3 20 0 15 0 222453528 11246788608 22190 33554432000 4194304 4196468 140720584007520 140290844018800 140291421944450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17669] ppid=17601 vsize=10983192 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17669/stat : 17669 (java) S 17601 17604 15060 0 -1 1077944384 3 12872 0 0 0 0 5 3 20 0 15 0 222453529 11246788608 22190 33554432000 4194304 4196468 140720584007520 140289335355616 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17670] ppid=17601 vsize=10983192 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17670/stat : 17670 (java) S 17601 17604 15060 0 -1 1077944384 1 12872 0 0 0 0 5 3 20 0 15 0 222453529 11246788608 22190 33554432000 4194304 4196468 140720584007520 140290842967216 140291421944450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88760 KiB
[startup+1.501 s]
/proc/loadavg: 1.51 1.37 1.35 3/215 17670
/proc/meminfo: memFree=4206772/32770624 swapFree=67058720/67108860
[pid=17604] ppid=17601 vsize=10993996 memory=183304 CPUtime=3.14 cores=0,2,4,6
/proc/17604/stat : 17604 (java) S 17601 17604 15060 0 -1 1077944320 25466 12872 0 0 297 9 5 3 20 0 15 0 222453514 11257851904 45826 33554432000 4194304 4196468 140720584007520 140720583990064 140291421933303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
/proc/17604/statm: 2748499 45826 3450 1 0 2710157 0
[pid=17604/tid=17657] ppid=17601 vsize=10993996 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/17604/task/17657/stat : 17657 (java) R 17601 17604 15060 0 -1 4202560 15421 12872 0 0 132 6 5 3 20 0 15 0 222453523 11257851904 45826 33554432000 4194304 4196468 140720584007520 140291393763664 140291421955229 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17658] ppid=17601 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17658/stat : 17658 (java) S 17601 17604 15060 0 -1 1077944384 1 12872 0 0 0 0 5 3 20 0 15 0 222453524 11257851904 45826 33554432000 4194304 4196468 140720584007520 140291426175632 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17659] ppid=17601 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17659/stat : 17659 (java) S 17601 17604 15060 0 -1 1077944384 2 12872 0 0 0 0 5 3 20 0 15 0 222453524 11257851904 45826 33554432000 4194304 4196468 140720584007520 140291291511312 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17660] ppid=17601 vsize=10993996 memory=3834024672109998386 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17660/stat : 17660 (java) S 17601 17604 15060 0 -1 1077944384 2 12872 0 0 0 0 5 3 20 0 15 0 222453524 11257851904 45826 33554432000 4194304 4196468 140720584007520 140291290458512 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17661] ppid=17601 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17661/stat : 17661 (java) S 17601 17604 15060 0 -1 1077944384 2 12872 0 0 0 0 5 3 20 0 15 0 222453524 11257851904 45826 33554432000 4194304 4196468 140720584007520 140291289405712 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17662] ppid=17601 vsize=10993996 memory=-7965959130280075168 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17662/stat : 17662 (java) S 17601 17604 15060 0 -1 1077944384 13 12872 0 0 0 0 5 3 20 0 15 0 222453525 11257851904 45826 33554432000 4194304 4196468 140720584007520 140290847177584 140291421944450 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17663] ppid=17601 vsize=10993996 memory=280941461317888 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17663/stat : 17663 (java) S 17601 17604 15060 0 -1 1077944384 13 12872 0 0 0 0 5 3 20 0 15 0 222453526 11257851904 45826 33554432000 4194304 4196468 140720584007520 140290221401632 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17664] ppid=17601 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17664/stat : 17664 (java) S 17601 17604 15060 0 -1 1077944384 1 12872 0 0 0 0 5 3 20 0 15 0 222453526 11257851904 45826 33554432000 4194304 4196468 140720584007520 140290073552240 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17665] ppid=17601 vsize=10993996 memory=1024 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17665/stat : 17665 (java) S 17601 17604 15060 0 -1 1077944384 3 12872 0 0 0 0 5 3 20 0 15 0 222453528 11257851904 45826 33554432000 4194304 4196468 140720584007520 140289766152528 140291421951899 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17666] ppid=17601 vsize=10993996 memory=3172 CPUtime=0.65 cores=0,2,4,6
/proc/17604/task/17666/stat : 17666 (java) R 17601 17604 15060 0 -1 4202560 2978 12872 0 0 57 0 5 3 20 0 15 0 222453528 11257851904 45826 33554432000 4194304 4196468 140720584007520 140290846109552 140291403451191 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17667] ppid=17601 vsize=10993996 memory=2076 CPUtime=0.69 cores=0,2,4,6
/proc/17604/task/17667/stat : 17667 (java) R 17601 17604 15060 0 -1 4202560 3228 12872 0 0 61 0 5 3 20 0 15 0 222453528 11257851904 45826 33554432000 4194304 4196468 140720584007520 140290845059744 140291401152188 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17668] ppid=17601 vsize=10993996 memory=9004 CPUtime=0.52 cores=0,2,4,6
/proc/17604/task/17668/stat : 17668 (java) S 17601 17604 15060 0 -1 1077944384 1602 12872 0 0 43 1 5 3 20 0 15 0 222453528 11257851904 45826 33554432000 4194304 4196468 140720584007520 140290844018800 140291421944450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17669] ppid=17601 vsize=10993996 memory=768 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17669/stat : 17669 (java) S 17601 17604 15060 0 -1 1077944384 3 12872 0 0 0 0 5 3 20 0 15 0 222453529 11257851904 45826 33554432000 4194304 4196468 140720584007520 140289335355616 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17670] ppid=17601 vsize=10993996 memory=736 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17670/stat : 17670 (java) S 17601 17604 15060 0 -1 1077944384 1 12872 0 0 0 0 5 3 20 0 15 0 222453529 11257851904 45826 33554432000 4194304 4196468 140720584007520 140290842967216 140291421944450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
Current children cumulated CPU time: 3.14 s
Current children cumulated vsize: 10993996 KiB
################
# More data... #
################
[startup+819.394 s]
# the end of solver process 17604 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2483.13 s, system=45.4488 s
Solver just ended.
Dumping a history of the last processes samples
[startup+817.601 s]
/proc/loadavg: 5.88 6.58 4.43 6/215 17945
/proc/meminfo: memFree=6743192/32770624 swapFree=67058728/67108860
[pid=17604] ppid=17601 vsize=11014496 memory=8263140 CPUtime=2522.68 cores=0,2,4,6
/proc/17604/stat : 17604 (java) S 17601 17604 15060 0 -1 1077944320 10899940 12872 1 0 247757 4503 5 3 20 0 15 0 222453514 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140720583990064 140291421933303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
/proc/17604/statm: 2753624 2065785 3533 1 0 2715277 0
[pid=17604/tid=17657] ppid=17601 vsize=11014496 memory=1548 CPUtime=243.6 cores=0,2,4,6
/proc/17604/task/17657/stat : 17657 (java) S 17601 17604 15060 0 -1 1077944384 158514 12872 0 0 24327 25 5 3 20 0 15 0 222453523 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140291393769472 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17658] ppid=17601 vsize=11014496 memory=1432 CPUtime=561.82 cores=0,2,4,6
/proc/17604/task/17658/stat : 17658 (java) R 17601 17604 15060 0 -1 4202560 2534496 12872 0 0 55058 1116 5 3 20 0 15 0 222453524 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140291426175520 140291406632164 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17659] ppid=17601 vsize=11014496 memory=804 CPUtime=561 cores=0,2,4,6
/proc/17604/task/17659/stat : 17659 (java) R 17601 17604 15060 0 -1 4202560 2747349 12872 0 0 54971 1121 5 3 20 0 15 0 222453524 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140291291511512 140291406929796 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17660] ppid=17601 vsize=11014496 memory=1932 CPUtime=562.15 cores=0,2,4,6
/proc/17604/task/17660/stat : 17660 (java) R 17601 17604 15060 0 -1 4202560 2591223 12872 1 0 55109 1098 5 3 20 0 15 0 222453524 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140291290458320 140291414561511 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17661] ppid=17601 vsize=11014496 memory=2076 CPUtime=561.38 cores=0,2,4,6
/proc/17604/task/17661/stat : 17661 (java) R 17601 17604 15060 0 -1 4202560 2475965 12872 0 0 55031 1099 5 3 20 0 15 0 222453524 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140291289405520 140291414561511 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17662] ppid=17601 vsize=11014496 memory=1840 CPUtime=8.77 cores=0,2,4,6
/proc/17604/task/17662/stat : 17662 (java) S 17601 17604 15060 0 -1 1077944384 320984 12872 0 0 849 20 5 3 20 0 15 0 222453525 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140290847176128 140291421943509 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17663] ppid=17601 vsize=11014496 memory=3544 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17663/stat : 17663 (java) S 17601 17604 15060 0 -1 1077944384 22 12872 0 0 0 0 5 3 20 0 15 0 222453526 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140290221401760 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17664] ppid=17601 vsize=11014496 memory=59244 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17664/stat : 17664 (java) S 17601 17604 15060 0 -1 1077944384 14 12872 0 0 0 0 5 3 20 0 15 0 222453526 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140290073552256 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17665] ppid=17601 vsize=11014496 memory=780 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17665/stat : 17665 (java) S 17601 17604 15060 0 -1 1077944384 7 12872 0 0 0 0 5 3 20 0 15 0 222453528 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140289766152176 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17666] ppid=17601 vsize=11014496 memory=1948 CPUtime=10.68 cores=0,2,4,6
/proc/17604/task/17666/stat : 17666 (java) S 17601 17604 15060 0 -1 1077944384 26803 12872 0 0 1055 5 5 3 20 0 15 0 222453528 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140290846124448 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17667] ppid=17601 vsize=11014496 memory=1188 CPUtime=10.29 cores=0,2,4,6
/proc/17604/task/17667/stat : 17667 (java) S 17601 17604 15060 0 -1 1077944384 21536 12872 0 0 1017 4 5 3 20 0 15 0 222453528 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140290845071648 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17668] ppid=17601 vsize=11014496 memory=976 CPUtime=2.95 cores=0,2,4,6
/proc/17604/task/17668/stat : 17668 (java) S 17601 17604 15060 0 -1 1077944384 20108 12872 0 0 282 5 5 3 20 0 15 0 222453528 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140290844018560 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17669] ppid=17601 vsize=11014496 memory=8263140 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17669/stat : 17669 (java) S 17601 17604 15060 0 -1 1077944384 3 12872 0 0 0 0 5 3 20 0 15 0 222453529 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140289335355616 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17670] ppid=17601 vsize=11014496 memory=8263140 CPUtime=0.67 cores=0,2,4,6
/proc/17604/task/17670/stat : 17670 (java) S 17601 17604 15060 0 -1 1077944384 719 12872 0 0 31 28 5 3 20 0 15 0 222453529 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140290842967216 140291421944450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 47 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
Current children cumulated CPU time: 2522.68 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 8263140 KiB
[startup+818.401 s]
/proc/loadavg: 5.88 6.58 4.43 6/215 17945
/proc/meminfo: memFree=6743752/32770624 swapFree=67058728/67108860
[pid=17604] ppid=17601 vsize=11014496 memory=8263140 CPUtime=2525.73 cores=0,2,4,6
/proc/17604/stat : 17604 (java) S 17601 17604 15060 0 -1 1077944320 10904106 12872 1 0 248061 4504 5 3 20 0 15 0 222453514 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140720583990064 140291421933303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
/proc/17604/statm: 2753624 2065785 3533 1 0 2715277 0
[pid=17604/tid=17657] ppid=17601 vsize=11014496 memory=6791534058613427641 CPUtime=243.6 cores=0,2,4,6
/proc/17604/task/17657/stat : 17657 (java) S 17601 17604 15060 0 -1 1077944384 158514 12872 0 0 24327 25 5 3 20 0 15 0 222453523 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140291393769472 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17658] ppid=17601 vsize=11014496 memory=1948 CPUtime=562.57 cores=0,2,4,6
/proc/17604/task/17658/stat : 17658 (java) R 17601 17604 15060 0 -1 4202560 2538609 12872 0 0 55133 1116 5 3 20 0 15 0 222453524 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140291426175832 140291406884764 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17659] ppid=17601 vsize=11014496 memory=6791534058613427641 CPUtime=561.76 cores=0,2,4,6
/proc/17604/task/17659/stat : 17659 (java) R 17601 17604 15060 0 -1 4202560 2747351 12872 0 0 55047 1121 5 3 20 0 15 0 222453524 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140291291511312 140291406884012 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17660] ppid=17601 vsize=11014496 memory=1860 CPUtime=562.89 cores=0,2,4,6
/proc/17604/task/17660/stat : 17660 (java) R 17601 17604 15060 0 -1 4202560 2591223 12872 1 0 55183 1098 5 3 20 0 15 0 222453524 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140291290458712 140291406631128 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17661] ppid=17601 vsize=11014496 memory=31864 CPUtime=562.13 cores=0,2,4,6
/proc/17604/task/17661/stat : 17661 (java) R 17601 17604 15060 0 -1 4202560 2475969 12872 0 0 55106 1099 5 3 20 0 15 0 222453524 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140291289405912 140291403486544 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17662] ppid=17601 vsize=11014496 memory=13808 CPUtime=8.81 cores=0,2,4,6
/proc/17604/task/17662/stat : 17662 (java) S 17601 17604 15060 0 -1 1077944384 320987 12872 0 0 853 20 5 3 20 0 15 0 222453525 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140290847175904 140291421943509 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17663] ppid=17601 vsize=11014496 memory=524 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17663/stat : 17663 (java) S 17601 17604 15060 0 -1 1077944384 22 12872 0 0 0 0 5 3 20 0 15 0 222453526 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140290221401760 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17664] ppid=17601 vsize=11014496 memory=1528 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17664/stat : 17664 (java) S 17601 17604 15060 0 -1 1077944384 14 12872 0 0 0 0 5 3 20 0 15 0 222453526 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140290073552256 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17665] ppid=17601 vsize=11014496 memory=924 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17665/stat : 17665 (java) S 17601 17604 15060 0 -1 1077944384 51 12872 0 0 0 0 5 3 20 0 15 0 222453528 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140289766150880 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17666] ppid=17601 vsize=11014496 memory=1140 CPUtime=10.68 cores=0,2,4,6
/proc/17604/task/17666/stat : 17666 (java) S 17601 17604 15060 0 -1 1077944384 26803 12872 0 0 1055 5 5 3 20 0 15 0 222453528 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140290846124400 140291421944450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17667] ppid=17601 vsize=11014496 memory=1548 CPUtime=10.29 cores=0,2,4,6
/proc/17604/task/17667/stat : 17667 (java) S 17601 17604 15060 0 -1 1077944384 21536 12872 0 0 1017 4 5 3 20 0 15 0 222453528 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140290845071600 140291421944450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17668] ppid=17601 vsize=11014496 memory=1432 CPUtime=2.95 cores=0,2,4,6
/proc/17604/task/17668/stat : 17668 (java) S 17601 17604 15060 0 -1 1077944384 20108 12872 0 0 282 5 5 3 20 0 15 0 222453528 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140290844018800 140291421944450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17669] ppid=17601 vsize=11014496 memory=804 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17669/stat : 17669 (java) S 17601 17604 15060 0 -1 1077944384 3 12872 0 0 0 0 5 3 20 0 15 0 222453529 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140289335355616 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17670] ppid=17601 vsize=11014496 memory=1932 CPUtime=0.67 cores=0,2,4,6
/proc/17604/task/17670/stat : 17670 (java) S 17601 17604 15060 0 -1 1077944384 719 12872 0 0 31 28 5 3 20 0 15 0 222453529 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140290842967216 140291421944450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 47 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
Current children cumulated CPU time: 2525.73 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 8263140 KiB
[startup+818.801 s]
/proc/loadavg: 5.88 6.58 4.43 6/215 17945
/proc/meminfo: memFree=6743752/32770624 swapFree=67058728/67108860
[pid=17604] ppid=17601 vsize=11014496 memory=8263140 CPUtime=2527.33 cores=0,2,4,6
/proc/17604/stat : 17604 (java) S 17601 17604 15060 0 -1 1077944320 10904106 12872 1 0 248221 4504 5 3 20 0 15 0 222453514 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140720583990064 140291421933303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
/proc/17604/statm: 2753624 2065785 3533 1 0 2715277 0
[pid=17604/tid=17657] ppid=17601 vsize=11014496 memory=288230596050944315 CPUtime=243.6 cores=0,2,4,6
/proc/17604/task/17657/stat : 17657 (java) S 17601 17604 15060 0 -1 1077944384 158514 12872 0 0 24327 25 5 3 20 0 15 0 222453523 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140291393769472 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17658] ppid=17601 vsize=11014496 memory=15540717229445008 CPUtime=562.97 cores=0,2,4,6
/proc/17604/task/17658/stat : 17658 (java) R 17601 17604 15060 0 -1 4202560 2538609 12872 0 0 55173 1116 5 3 20 0 15 0 222453524 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140291426175832 140291406387289 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17659] ppid=17601 vsize=11014496 memory=13608 CPUtime=562.16 cores=0,2,4,6
/proc/17604/task/17659/stat : 17659 (java) R 17601 17604 15060 0 -1 4202560 2747351 12872 0 0 55087 1121 5 3 20 0 15 0 222453524 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140291291511200 140291406388060 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17660] ppid=17601 vsize=11014496 memory=1860 CPUtime=563.29 cores=0,2,4,6
/proc/17604/task/17660/stat : 17660 (java) R 17601 17604 15060 0 -1 4202560 2591223 12872 1 0 55223 1098 5 3 20 0 15 0 222453524 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140291290458712 140291403529744 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17661] ppid=17601 vsize=11014496 memory=31864 CPUtime=562.53 cores=0,2,4,6
/proc/17604/task/17661/stat : 17661 (java) R 17601 17604 15060 0 -1 4202560 2475969 12872 0 0 55146 1099 5 3 20 0 15 0 222453524 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140291289405912 140291406884778 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17662] ppid=17601 vsize=11014496 memory=13808 CPUtime=8.81 cores=0,2,4,6
/proc/17604/task/17662/stat : 17662 (java) S 17601 17604 15060 0 -1 1077944384 320987 12872 0 0 853 20 5 3 20 0 15 0 222453525 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140290847175904 140291421943509 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17663] ppid=17601 vsize=11014496 memory=524 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17663/stat : 17663 (java) S 17601 17604 15060 0 -1 1077944384 22 12872 0 0 0 0 5 3 20 0 15 0 222453526 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140290221401760 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17664] ppid=17601 vsize=11014496 memory=1528 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17664/stat : 17664 (java) S 17601 17604 15060 0 -1 1077944384 14 12872 0 0 0 0 5 3 20 0 15 0 222453526 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140290073552256 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17665] ppid=17601 vsize=11014496 memory=924 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17665/stat : 17665 (java) S 17601 17604 15060 0 -1 1077944384 51 12872 0 0 0 0 5 3 20 0 15 0 222453528 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140289766150880 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17666] ppid=17601 vsize=11014496 memory=1140 CPUtime=10.68 cores=0,2,4,6
/proc/17604/task/17666/stat : 17666 (java) S 17601 17604 15060 0 -1 1077944384 26803 12872 0 0 1055 5 5 3 20 0 15 0 222453528 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140290846124400 140291421944450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17667] ppid=17601 vsize=11014496 memory=1548 CPUtime=10.29 cores=0,2,4,6
/proc/17604/task/17667/stat : 17667 (java) S 17601 17604 15060 0 -1 1077944384 21536 12872 0 0 1017 4 5 3 20 0 15 0 222453528 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140290845071600 140291421944450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17668] ppid=17601 vsize=11014496 memory=1432 CPUtime=2.95 cores=0,2,4,6
/proc/17604/task/17668/stat : 17668 (java) S 17601 17604 15060 0 -1 1077944384 20108 12872 0 0 282 5 5 3 20 0 15 0 222453528 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140290844018800 140291421944450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17669] ppid=17601 vsize=11014496 memory=804 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17669/stat : 17669 (java) S 17601 17604 15060 0 -1 1077944384 3 12872 0 0 0 0 5 3 20 0 15 0 222453529 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140289335355616 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17670] ppid=17601 vsize=11014496 memory=8243952644161824871 CPUtime=0.67 cores=0,2,4,6
/proc/17604/task/17670/stat : 17670 (java) S 17601 17604 15060 0 -1 1077944384 719 12872 0 0 31 28 5 3 20 0 15 0 222453529 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140290842967216 140291421944450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 47 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
Current children cumulated CPU time: 2527.33 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 8263140 KiB
[startup+819.001 s]*
/proc/loadavg: 5.88 6.58 4.43 6/215 17945
/proc/meminfo: memFree=6743620/32770624 swapFree=67058728/67108860
[pid=17604] ppid=17601 vsize=11014496 memory=8263140 CPUtime=2528.15 cores=0,2,4,6
/proc/17604/stat : 17604 (java) S 17601 17604 15060 0 -1 1077944320 10904106 12872 1 0 248303 4504 5 3 20 0 15 0 222453514 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140720583990064 140291421933303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
/proc/17604/statm: 2753624 2065785 3533 1 0 2715277 0
[pid=17604/tid=17657] ppid=17601 vsize=11014496 memory=4026532047 CPUtime=243.6 cores=0,2,4,6
/proc/17604/task/17657/stat : 17657 (java) S 17601 17604 15060 0 -1 1077944384 158514 12872 0 0 24327 25 5 3 20 0 15 0 222453523 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140291393769472 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17658] ppid=17601 vsize=11014496 memory=0 CPUtime=563.18 cores=0,2,4,6
/proc/17604/task/17658/stat : 17658 (java) R 17601 17604 15060 0 -1 4202560 2538609 12872 0 0 55194 1116 5 3 20 0 15 0 222453524 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140291426175832 140291406883908 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17659] ppid=17601 vsize=11014496 memory=140470891913813 CPUtime=562.37 cores=0,2,4,6
/proc/17604/task/17659/stat : 17659 (java) R 17601 17604 15060 0 -1 4202560 2747351 12872 0 0 55108 1121 5 3 20 0 15 0 222453524 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140291291511200 140291406631078 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17660] ppid=17601 vsize=11014496 memory=6655300316396806240 CPUtime=563.49 cores=0,2,4,6
/proc/17604/task/17660/stat : 17660 (java) R 17601 17604 15060 0 -1 4202560 2591223 12872 1 0 55243 1098 5 3 20 0 15 0 222453524 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140291290458712 140291403529136 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17661] ppid=17601 vsize=11014496 memory=6944656592387989600 CPUtime=562.74 cores=0,2,4,6
/proc/17604/task/17661/stat : 17661 (java) R 17601 17604 15060 0 -1 4202560 2475969 12872 0 0 55167 1099 5 3 20 0 15 0 222453524 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140291289405912 140291406631078 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17662] ppid=17601 vsize=11014496 memory=0 CPUtime=8.81 cores=0,2,4,6
/proc/17604/task/17662/stat : 17662 (java) S 17601 17604 15060 0 -1 1077944384 320987 12872 0 0 853 20 5 3 20 0 15 0 222453525 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140290847175904 140291421943509 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17663] ppid=17601 vsize=11014496 memory=2320824066135564340 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17663/stat : 17663 (java) S 17601 17604 15060 0 -1 1077944384 22 12872 0 0 0 0 5 3 20 0 15 0 222453526 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140290221401760 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17664] ppid=17601 vsize=11014496 memory=-7606742959547834223 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17664/stat : 17664 (java) S 17601 17604 15060 0 -1 1077944384 14 12872 0 0 0 0 5 3 20 0 15 0 222453526 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140290073552256 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17665] ppid=17601 vsize=11014496 memory=-6371011775517773341 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17665/stat : 17665 (java) S 17601 17604 15060 0 -1 1077944384 51 12872 0 0 0 0 5 3 20 0 15 0 222453528 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140289766150880 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17666] ppid=17601 vsize=11014496 memory=0 CPUtime=10.68 cores=0,2,4,6
/proc/17604/task/17666/stat : 17666 (java) S 17601 17604 15060 0 -1 1077944384 26803 12872 0 0 1055 5 5 3 20 0 15 0 222453528 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140290846124400 140291421944450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17667] ppid=17601 vsize=11014496 memory=3472328279047811119 CPUtime=10.29 cores=0,2,4,6
/proc/17604/task/17667/stat : 17667 (java) S 17601 17604 15060 0 -1 1077944384 21536 12872 0 0 1017 4 5 3 20 0 15 0 222453528 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140290845071600 140291421944450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17668] ppid=17601 vsize=11014496 memory=8031868881220343689 CPUtime=2.95 cores=0,2,4,6
/proc/17604/task/17668/stat : 17668 (java) S 17601 17604 15060 0 -1 1077944384 20108 12872 0 0 282 5 5 3 20 0 15 0 222453528 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140290844018800 140291421944450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17669] ppid=17601 vsize=11014496 memory=3472328279047811119 CPUtime=0.08 cores=0,2,4,6
/proc/17604/task/17669/stat : 17669 (java) S 17601 17604 15060 0 -1 1077944384 3 12872 0 0 0 0 5 3 20 0 15 0 222453529 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140289335355616 140291421943509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
[pid=17604/tid=17670] ppid=17601 vsize=11014496 memory=735124618608449200 CPUtime=0.67 cores=0,2,4,6
/proc/17604/task/17670/stat : 17670 (java) S 17601 17604 15060 0 -1 1077944384 719 12872 0 0 31 28 5 3 20 0 15 0 222453529 11278843904 2065785 33554432000 4194304 4196468 140720584007520 140290842967216 140291421944450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 47 0 0 6293624 6294260 16953344 140720584014436 140720584017244 140720584017244 140720584019919 0
Current children cumulated CPU time: 2528.15 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 8263140 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 819.394
CPU time (s): 2528.58
CPU user time (s): 2483.13
CPU system time (s): 45.4488
CPU usage (%): 308.592
Max. virtual memory (cumulated for all children) (KiB): 11014496
Max. memory (cumulated for all children) (KiB): 8263140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2483.13
system time used= 45.4488
maximum resident set size= 8263396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10916980
page faults= 1
swaps= 0
block input operations= 392
block output operations= 1112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37720
involuntary context switches= 32729
# summary of solver processes directly reported to runsolver:
# pid: 17604
# total CPU time (s): 2528.58
# total CPU user time (s): 2483.13
# total CPU system time (s): 45.4488
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.02203 second user time and 8.13781 second system time
The end