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 (7233 MiB free)
memory of node 1: 16384 MiB (10068 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292794-1532293266/watcher-4292794-1532293266 -o /tmp/evaluation-result-4292794-1532293266/solver-4292794-1532293266 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532293260-9184 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=110270134 -superng HOME/instance-4292794-1532293266.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=9430, runsolver pid=9427
[startup+0.100096 s]*
/proc/loadavg: 2.16 2.06 1.99 3/211 9487
/proc/meminfo: memFree=17707120/32770624 swapFree=67108860/67108860
[pid=9430] ppid=9427 vsize=9972712 memory=18584 CPUtime=0.08 cores=0,2,4,6
/proc/9430/stat : 9430 (java) S 9427 9430 3751 0 -1 1077944320 4288 13014 0 0 1 0 5 2 20 0 6 0 46889510 10212057088 4646 33554432000 4194304 4196468 140736281814240 140736281796784 140431464808183 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
/proc/9430/statm: 2493178 4646 1934 1 0 2481616 0
[pid=9430/tid=9483] ppid=9427 vsize=9989820 memory=-8457040764540862403 CPUtime=0.08 cores=0,2,4,6
/proc/9430/task/9483/stat : 9483 (java) S 9427 9430 3751 0 -1 1077944384 2156 13014 0 0 1 0 5 2 20 0 7 0 46889519 10229575680 4712 33554432000 4194304 4196468 140736281814240 140431436651280 140431464818389 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9484] ppid=9427 vsize=10055356 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9484/stat : 9484 (java) S 9427 9430 3751 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 7 0 46889520 10296684544 4712 33554432000 4194304 4196468 140736281814240 140431469050256 140431464818389 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9485] ppid=9427 vsize=10055356 memory=140653218145920 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9485/stat : 9485 (java) S 9427 9430 3751 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 7 0 46889520 10296684544 4712 33554432000 4194304 4196468 140736281814240 140431357323536 140431464818389 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9486] ppid=9427 vsize=10055356 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9486/stat : 9486 (java) S 9427 9430 3751 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 7 0 46889520 10296684544 4712 33554432000 4194304 4196468 140736281814240 140431356271248 140431464818389 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9487] ppid=9427 vsize=10055356 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9487/stat : 9487 (java) S 9427 9430 3751 0 -1 1077944384 2 13014 0 0 0 0 5 2 20 0 7 0 46889520 10296684544 4712 33554432000 4194304 4196468 140736281814240 140431355218448 140431464818389 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9488] ppid=9427 vsize=10055356 memory=140653218145920 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9488/stat : 9488 (java) S 9427 9430 3751 0 -1 1077944384 2 13014 0 0 0 0 5 2 20 0 7 0 46889521 10296684544 4712 33554432000 4194304 4196468 140736281814240 140430535240304 140431464819330 0 0 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18584 KiB
[startup+0.210252 s]*
/proc/loadavg: 2.16 2.06 1.99 3/220 9496
/proc/meminfo: memFree=17685428/32770624 swapFree=67108860/67108860
[pid=9430] ppid=9427 vsize=10818904 memory=47140 CPUtime=0.25 cores=0,2,4,6
/proc/9430/stat : 9430 (java) S 9427 9430 3751 0 -1 1077944320 9127 13014 0 0 16 2 5 2 20 0 15 0 46889510 11078557696 11785 33554432000 4194304 4196468 140736281814240 140736281796784 140431464808183 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
/proc/9430/statm: 2704726 11785 2972 1 0 2667149 0
[pid=9430/tid=9483] ppid=9427 vsize=10819044 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/9430/task/9483/stat : 9483 (java) R 9427 9430 3751 0 -1 4202560 5798 13014 0 0 10 1 5 2 20 0 15 0 46889519 11078701056 11785 33554432000 4194304 4196468 140736281814240 140431436632992 140431387885430 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9484] ppid=9427 vsize=10819044 memory=342 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9484/stat : 9484 (java) S 9427 9430 3751 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 46889520 11078701056 11785 33554432000 4194304 4196468 140736281814240 140431469050256 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9485] ppid=9427 vsize=10819044 memory=140653218155385 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9485/stat : 9485 (java) S 9427 9430 3751 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 46889520 11078701056 11785 33554432000 4194304 4196468 140736281814240 140431357323536 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9486] ppid=9427 vsize=10819044 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9486/stat : 9486 (java) S 9427 9430 3751 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 46889520 11078701056 11785 33554432000 4194304 4196468 140736281814240 140431356271248 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9487] ppid=9427 vsize=10819044 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9487/stat : 9487 (java) S 9427 9430 3751 0 -1 1077944384 2 13014 0 0 0 0 5 2 20 0 15 0 46889520 11078701056 11785 33554432000 4194304 4196468 140736281814240 140431355218448 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9488] ppid=9427 vsize=10819044 memory=140653218145920 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9488/stat : 9488 (java) S 9427 9430 3751 0 -1 1077944384 2 13014 0 0 0 0 5 2 20 0 15 0 46889521 11078701056 11785 33554432000 4194304 4196468 140736281814240 140430535240304 140431464819330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9489] ppid=9427 vsize=10819044 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9489/stat : 9489 (java) S 9427 9430 3751 0 -1 1077944384 13 13014 0 0 0 0 5 2 20 0 15 0 46889521 11078701056 11785 33554432000 4194304 4196468 140736281814240 140430465295648 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9490] ppid=9427 vsize=10819044 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9490/stat : 9490 (java) S 9427 9430 3751 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 46889522 11078701056 11785 33554432000 4194304 4196468 140736281814240 140430263969392 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9491] ppid=9427 vsize=10819044 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9491/stat : 9491 (java) S 9427 9430 3751 0 -1 1077944384 3 13014 0 0 0 0 5 2 20 0 15 0 46889524 11078701056 11785 33554432000 4194304 4196468 140736281814240 140430023678544 140431464826779 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9492] ppid=9427 vsize=10819044 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9492/stat : 9492 (java) R 9427 9430 3751 0 -1 1077944384 491 13014 0 0 0 0 5 2 20 0 15 0 46889524 11078701056 11785 33554432000 4194304 4196468 140736281814240 140430534187120 140431464819330 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9493] ppid=9427 vsize=10819044 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9430/task/9493/stat : 9493 (java) S 9427 9430 3751 0 -1 1077944384 90 13014 0 0 1 0 5 2 20 0 15 0 46889524 11078701056 11785 33554432000 4194304 4196468 140736281814240 140430431737840 140431464819330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9494] ppid=9427 vsize=10819044 memory=140653218145920 CPUtime=0.1 cores=0,2,4,6
/proc/9430/task/9494/stat : 9494 (java) R 9427 9430 3751 0 -1 1077944384 553 13014 0 0 3 0 5 2 20 0 15 0 46889524 11078701056 11785 33554432000 4194304 4196468 140736281814240 140430430685552 140431464819330 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9495] ppid=9427 vsize=10819044 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9495/stat : 9495 (java) S 9427 9430 3751 0 -1 1077944384 3 13014 0 0 0 0 5 2 20 0 15 0 46889524 11078701056 11785 33554432000 4194304 4196468 140736281814240 140429990119904 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9496] ppid=9427 vsize=10819044 memory=140653218145920 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9496/stat : 9496 (java) S 9427 9430 3751 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 46889525 11078701056 11785 33554432000 4194304 4196468 140736281814240 140430429633456 140431464819330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 47140 KiB
[startup+0.31064 s]*
/proc/loadavg: 2.16 2.06 1.99 3/220 9496
/proc/meminfo: memFree=17674528/32770624 swapFree=67108860/67108860
[pid=9430] ppid=9427 vsize=10819352 memory=55020 CPUtime=0.38 cores=0,2,4,6
/proc/9430/stat : 9430 (java) S 9427 9430 3751 0 -1 1077944320 10319 13014 0 0 28 3 5 2 20 0 15 0 46889510 11079016448 13755 33554432000 4194304 4196468 140736281814240 140736281796784 140431464808183 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
/proc/9430/statm: 2704838 13755 3091 1 0 2667149 0
[pid=9430/tid=9483] ppid=9427 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=0,2,4,6
/proc/9430/task/9483/stat : 9483 (java) R 9427 9430 3751 0 -1 4202560 6963 13014 0 0 19 2 5 2 20 0 15 0 46889519 11079016448 13755 33554432000 4194304 4196468 140736281814240 140431436620192 140431446373156 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9484] ppid=9427 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9484/stat : 9484 (java) S 9427 9430 3751 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 46889520 11079016448 13755 33554432000 4194304 4196468 140736281814240 140431469050256 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9485] ppid=9427 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9485/stat : 9485 (java) S 9427 9430 3751 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 46889520 11079016448 13755 33554432000 4194304 4196468 140736281814240 140431357323536 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9486] ppid=9427 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9486/stat : 9486 (java) S 9427 9430 3751 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 46889520 11079016448 13755 33554432000 4194304 4196468 140736281814240 140431356271248 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9487] ppid=9427 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9487/stat : 9487 (java) S 9427 9430 3751 0 -1 1077944384 2 13014 0 0 0 0 5 2 20 0 15 0 46889520 11079016448 13755 33554432000 4194304 4196468 140736281814240 140431355218448 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9488] ppid=9427 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9488/stat : 9488 (java) S 9427 9430 3751 0 -1 1077944384 2 13014 0 0 0 0 5 2 20 0 15 0 46889521 11079016448 13755 33554432000 4194304 4196468 140736281814240 140430535240304 140431464819330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9489] ppid=9427 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9489/stat : 9489 (java) S 9427 9430 3751 0 -1 1077944384 13 13014 0 0 0 0 5 2 20 0 15 0 46889521 11079016448 13755 33554432000 4194304 4196468 140736281814240 140430465295648 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9490] ppid=9427 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9490/stat : 9490 (java) S 9427 9430 3751 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 46889522 11079016448 13755 33554432000 4194304 4196468 140736281814240 140430263969392 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9491] ppid=9427 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9491/stat : 9491 (java) S 9427 9430 3751 0 -1 1077944384 3 13014 0 0 0 0 5 2 20 0 15 0 46889524 11079016448 13755 33554432000 4194304 4196468 140736281814240 140430023678544 140431464826779 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9492] ppid=9427 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9430/task/9492/stat : 9492 (java) S 9427 9430 3751 0 -1 1077944384 491 13014 0 0 1 0 5 2 20 0 15 0 46889524 11079016448 13755 33554432000 4194304 4196468 140736281814240 140430534187120 140431464819330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9493] ppid=9427 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9430/task/9493/stat : 9493 (java) S 9427 9430 3751 0 -1 1077944384 91 13014 0 0 1 0 5 2 20 0 15 0 46889524 11079016448 13755 33554432000 4194304 4196468 140736281814240 140430431737840 140431464819330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9494] ppid=9427 vsize=10819352 memory=140653218145920 CPUtime=0.12 cores=0,2,4,6
/proc/9430/task/9494/stat : 9494 (java) S 9427 9430 3751 0 -1 1077944384 559 13014 0 0 5 0 5 2 20 0 15 0 46889524 11079016448 13755 33554432000 4194304 4196468 140736281814240 140430430685552 140431464819330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9495] ppid=9427 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9495/stat : 9495 (java) S 9427 9430 3751 0 -1 1077944384 3 13014 0 0 0 0 5 2 20 0 15 0 46889524 11079016448 13755 33554432000 4194304 4196468 140736281814240 140429990119904 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9496] ppid=9427 vsize=10819352 memory=140653218145920 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9496/stat : 9496 (java) S 9427 9430 3751 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 46889525 11079016448 13755 33554432000 4194304 4196468 140736281814240 140430429633456 140431464819330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 55020 KiB
[startup+0.700727 s]
/proc/loadavg: 2.16 2.06 1.99 4/220 9496
/proc/meminfo: memFree=17650892/32770624 swapFree=67108860/67108860
[pid=9430] ppid=9427 vsize=10819352 memory=87188 CPUtime=0.97 cores=0,2,4,6
/proc/9430/stat : 9430 (java) S 9427 9430 3751 0 -1 1077944320 16388 13014 0 0 86 4 5 2 20 0 15 0 46889510 11079016448 21797 33554432000 4194304 4196468 140736281814240 140736281796784 140431464808183 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
/proc/9430/statm: 2704838 21797 3237 1 0 2667149 0
[pid=9430/tid=9483] ppid=9427 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/9430/task/9483/stat : 9483 (java) R 9427 9430 3751 0 -1 4202560 11958 13014 0 0 56 3 5 2 20 0 15 0 46889519 11079016448 21797 33554432000 4194304 4196468 140736281814240 140431436629008 140431442032336 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9484] ppid=9427 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9484/stat : 9484 (java) S 9427 9430 3751 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 46889520 11079016448 21797 33554432000 4194304 4196468 140736281814240 140431469050256 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9485] ppid=9427 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9485/stat : 9485 (java) S 9427 9430 3751 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 46889520 11079016448 21797 33554432000 4194304 4196468 140736281814240 140431357323536 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9486] ppid=9427 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9486/stat : 9486 (java) S 9427 9430 3751 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 46889520 11079016448 21797 33554432000 4194304 4196468 140736281814240 140431356271248 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9487] ppid=9427 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9487/stat : 9487 (java) S 9427 9430 3751 0 -1 1077944384 2 13014 0 0 0 0 5 2 20 0 15 0 46889520 11079016448 21797 33554432000 4194304 4196468 140736281814240 140431355218448 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9488] ppid=9427 vsize=10819352 memory=140655883977290 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9488/stat : 9488 (java) S 9427 9430 3751 0 -1 1077944384 5 13014 0 0 0 0 5 2 20 0 15 0 46889521 11079016448 21797 33554432000 4194304 4196468 140736281814240 140430535240304 140431464819330 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9489] ppid=9427 vsize=10819352 memory=140655883977292 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9489/stat : 9489 (java) S 9427 9430 3751 0 -1 1077944384 13 13014 0 0 0 0 5 2 20 0 15 0 46889521 11079016448 21797 33554432000 4194304 4196468 140736281814240 140430465295648 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9490] ppid=9427 vsize=10819352 memory=140655883977294 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9490/stat : 9490 (java) S 9427 9430 3751 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 46889522 11079016448 21797 33554432000 4194304 4196468 140736281814240 140430263969392 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9491] ppid=9427 vsize=10819352 memory=140655883977297 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9491/stat : 9491 (java) S 9427 9430 3751 0 -1 1077944384 3 13014 0 0 0 0 5 2 20 0 15 0 46889524 11079016448 21797 33554432000 4194304 4196468 140736281814240 140430023678544 140431464826779 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9492] ppid=9427 vsize=10819352 memory=140655883977300 CPUtime=0.16 cores=0,2,4,6
/proc/9430/task/9492/stat : 9492 (java) S 9427 9430 3751 0 -1 1077944384 1091 13014 0 0 9 0 5 2 20 0 15 0 46889524 11079016448 21797 33554432000 4194304 4196468 140736281814240 140430534187120 140431464819330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9493] ppid=9427 vsize=10819352 memory=140655883977316 CPUtime=0.14 cores=0,2,4,6
/proc/9430/task/9493/stat : 9493 (java) S 9427 9430 3751 0 -1 1077944384 508 13014 0 0 7 0 5 2 20 0 15 0 46889524 11079016448 21797 33554432000 4194304 4196468 140736281814240 140430431737840 140431464819330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9494] ppid=9427 vsize=10819352 memory=143168439845526 CPUtime=0.2 cores=0,2,4,6
/proc/9430/task/9494/stat : 9494 (java) S 9427 9430 3751 0 -1 1077944384 613 13014 0 0 13 0 5 2 20 0 15 0 46889524 11079016448 21797 33554432000 4194304 4196468 140736281814240 140430430685552 140431464819330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9495] ppid=9427 vsize=10819352 memory=4008 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9495/stat : 9495 (java) S 9427 9430 3751 0 -1 1077944384 3 13014 0 0 0 0 5 2 20 0 15 0 46889524 11079016448 21797 33554432000 4194304 4196468 140736281814240 140429990119904 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9496] ppid=9427 vsize=10819352 memory=18460 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9496/stat : 9496 (java) S 9427 9430 3751 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 46889525 11079016448 21797 33554432000 4194304 4196468 140736281814240 140430429633456 140431464819330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 87188 KiB
[startup+1.50124 s]
/proc/loadavg: 2.16 2.06 1.99 3/220 9496
/proc/meminfo: memFree=17605780/32770624 swapFree=67108860/67108860
[pid=9430] ppid=9427 vsize=10836300 memory=180556 CPUtime=2.24 cores=0,2,4,6
/proc/9430/stat : 9430 (java) S 9427 9430 3751 0 -1 1077944320 24099 13014 0 0 207 10 5 2 20 0 15 0 46889510 11096371200 45139 33554432000 4194304 4196468 140736281814240 140736281796784 140431464808183 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
/proc/9430/statm: 2709075 45139 3469 1 0 2670733 0
[pid=9430/tid=9483] ppid=9427 vsize=10836300 memory=12846 CPUtime=1.42 cores=0,2,4,6
/proc/9430/task/9483/stat : 9483 (java) R 9427 9430 3751 0 -1 4202560 17596 13014 0 0 130 5 5 2 20 0 15 0 46889519 11096371200 45139 33554432000 4194304 4196468 140736281814240 140431436637064 140431019087991 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9484] ppid=9427 vsize=10836300 memory=25341 CPUtime=0.08 cores=0,2,4,6
/proc/9430/task/9484/stat : 9484 (java) S 9427 9430 3751 0 -1 1077944384 52 13014 0 0 1 0 5 2 20 0 15 0 46889520 11096371200 45139 33554432000 4194304 4196468 140736281814240 140431469050256 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9485] ppid=9427 vsize=10836300 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9430/task/9485/stat : 9485 (java) S 9427 9430 3751 0 -1 1077944384 27 13014 0 0 1 0 5 2 20 0 15 0 46889520 11096371200 45139 33554432000 4194304 4196468 140736281814240 140431357323536 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9486] ppid=9427 vsize=10836300 memory=321013415734948134 CPUtime=0.08 cores=0,2,4,6
/proc/9430/task/9486/stat : 9486 (java) S 9427 9430 3751 0 -1 1077944384 303 13014 0 0 1 0 5 2 20 0 15 0 46889520 11096371200 45139 33554432000 4194304 4196468 140736281814240 140431356271248 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9487] ppid=9427 vsize=10836300 memory=288287766461303889 CPUtime=0.08 cores=0,2,4,6
/proc/9430/task/9487/stat : 9487 (java) S 9427 9430 3751 0 -1 1077944384 101 13014 0 0 1 0 5 2 20 0 15 0 46889520 11096371200 45139 33554432000 4194304 4196468 140736281814240 140431355218448 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9488] ppid=9427 vsize=10836300 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/9430/task/9488/stat : 9488 (java) S 9427 9430 3751 0 -1 1077944384 467 13014 0 0 1 0 5 2 20 0 15 0 46889521 11096371200 45139 33554432000 4194304 4196468 140736281814240 140430535240304 140431464819330 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9489] ppid=9427 vsize=10836300 memory=6944656575208382560 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9489/stat : 9489 (java) S 9427 9430 3751 0 -1 1077944384 14 13014 0 0 0 0 5 2 20 0 15 0 46889521 11096371200 45139 33554432000 4194304 4196468 140736281814240 140430465295712 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9490] ppid=9427 vsize=10836300 memory=4945125699554088323 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9490/stat : 9490 (java) S 9427 9430 3751 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 46889522 11096371200 45139 33554432000 4194304 4196468 140736281814240 140430263969408 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9491] ppid=9427 vsize=10836300 memory=7222483652687470737 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9491/stat : 9491 (java) S 9427 9430 3751 0 -1 1077944384 3 13014 0 0 0 0 5 2 20 0 15 0 46889524 11096371200 45139 33554432000 4194304 4196468 140736281814240 140430023678544 140431464826779 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9492] ppid=9427 vsize=10836300 memory=-2893623298589923098 CPUtime=0.26 cores=0,2,4,6
/proc/9430/task/9492/stat : 9492 (java) S 9427 9430 3751 0 -1 1077944384 1264 13014 0 0 19 0 5 2 20 0 15 0 46889524 11096371200 45139 33554432000 4194304 4196468 140736281814240 140430534187120 140431464819330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9493] ppid=9427 vsize=10836300 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/9430/task/9493/stat : 9493 (java) S 9427 9430 3751 0 -1 1077944384 993 13014 0 0 20 0 5 2 20 0 15 0 46889524 11096371200 45139 33554432000 4194304 4196468 140736281814240 140430431737840 140431464819330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9494] ppid=9427 vsize=10836300 memory=8546823402028195750 CPUtime=0.37 cores=0,2,4,6
/proc/9430/task/9494/stat : 9494 (java) R 9427 9430 3751 0 -1 4202560 1087 13014 0 0 30 0 5 2 20 0 15 0 46889524 11096371200 45139 33554432000 4194304 4196468 140736281814240 140430430685552 140431442834001 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9495] ppid=9427 vsize=10836300 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9495/stat : 9495 (java) S 9427 9430 3751 0 -1 1077944384 3 13014 0 0 0 0 5 2 20 0 15 0 46889524 11096371200 45139 33554432000 4194304 4196468 140736281814240 140429990119904 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9496] ppid=9427 vsize=10836300 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9496/stat : 9496 (java) S 9427 9430 3751 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 46889525 11096371200 45139 33554432000 4194304 4196468 140736281814240 140430429633456 140431464819330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
Current children cumulated CPU time: 2.24 s
Current children cumulated vsize: 10836300 KiB
Current children cumulated memory: 180556 KiB
[startup+3.11058 s]
/proc/loadavg: 2.16 2.06 1.99 4/220 9496
/proc/meminfo: memFree=17332728/32770624 swapFree=67108860/67108860
[pid=9430] ppid=9427 vsize=10846560 memory=274128 CPUtime=6.03 cores=0,2,4,6
/proc/9430/stat : 9430 (java) S 9427 9430 3751 0 -1 1077944320 40968 13014 0 0 580 16 5 2 20 0 15 0 46889510 11106877440 68532 33554432000 4194304 4196468 140736281814240 140736281796784 140431464808183 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
/proc/9430/statm: 2711640 68532 3494 1 0 2673293 0
[pid=9430/tid=9483] ppid=9427 vsize=10846560 memory=4140 CPUtime=2.98 cores=0,2,4,6
/proc/9430/task/9483/stat : 9483 (java) R 9427 9430 3751 0 -1 4202560 27779 13014 0 0 281 10 5 2 20 0 15 0 46889519 11106877440 68532 33554432000 4194304 4196468 140736281814240 140431436623640 140431446371758 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9484] ppid=9427 vsize=10846560 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/9430/task/9484/stat : 9484 (java) S 9427 9430 3751 0 -1 1077944384 61 13014 0 0 3 0 5 2 20 0 15 0 46889520 11106877440 68532 33554432000 4194304 4196468 140736281814240 140431469050256 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9485] ppid=9427 vsize=10846560 memory=288230617492238643 CPUtime=0.1 cores=0,2,4,6
/proc/9430/task/9485/stat : 9485 (java) S 9427 9430 3751 0 -1 1077944384 50 13014 0 0 3 0 5 2 20 0 15 0 46889520 11106877440 68532 33554432000 4194304 4196468 140736281814240 140431357323536 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9486] ppid=9427 vsize=10846560 memory=187132 CPUtime=0.1 cores=0,2,4,6
/proc/9430/task/9486/stat : 9486 (java) S 9427 9430 3751 0 -1 1077944384 319 13014 0 0 3 0 5 2 20 0 15 0 46889520 11106877440 68532 33554432000 4194304 4196468 140736281814240 140431356271248 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9487] ppid=9427 vsize=10846560 memory=1444 CPUtime=0.09 cores=0,2,4,6
/proc/9430/task/9487/stat : 9487 (java) S 9427 9430 3751 0 -1 1077944384 113 13014 0 0 2 0 5 2 20 0 15 0 46889520 11106877440 68532 33554432000 4194304 4196468 140736281814240 140431355218448 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9488] ppid=9427 vsize=10846560 memory=5520 CPUtime=0.1 cores=0,2,4,6
/proc/9430/task/9488/stat : 9488 (java) S 9427 9430 3751 0 -1 1077944384 1324 13014 0 0 3 0 5 2 20 0 15 0 46889521 11106877440 68532 33554432000 4194304 4196468 140736281814240 140430535240304 140431464819330 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9489] ppid=9427 vsize=10846560 memory=4616 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9489/stat : 9489 (java) S 9427 9430 3751 0 -1 1077944384 14 13014 0 0 0 0 5 2 20 0 15 0 46889521 11106877440 68532 33554432000 4194304 4196468 140736281814240 140430465295712 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9490] ppid=9427 vsize=10846560 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9490/stat : 9490 (java) S 9427 9430 3751 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 46889522 11106877440 68532 33554432000 4194304 4196468 140736281814240 140430263969408 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9491] ppid=9427 vsize=10846560 memory=7019607740988653881 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9491/stat : 9491 (java) S 9427 9430 3751 0 -1 1077944384 3 13014 0 0 0 0 5 2 20 0 15 0 46889524 11106877440 68532 33554432000 4194304 4196468 140736281814240 140430023678544 140431464826779 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9492] ppid=9427 vsize=10846560 memory=7019467087973725241 CPUtime=0.92 cores=0,2,4,6
/proc/9430/task/9492/stat : 9492 (java) R 9427 9430 3751 0 -1 4202560 3642 13014 0 0 84 1 5 2 20 0 15 0 46889524 11106877440 68532 33554432000 4194304 4196468 140736281814240 140430534168136 140431448304953 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9493] ppid=9427 vsize=10846560 memory=7019467087990502457 CPUtime=1.02 cores=0,2,4,6
/proc/9430/task/9493/stat : 9493 (java) S 9427 9430 3751 0 -1 1077944384 2455 13014 0 0 95 0 5 2 20 0 15 0 46889524 11106877440 68532 33554432000 4194304 4196468 140736281814240 140430431737840 140431464819330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9494] ppid=9427 vsize=10846560 memory=0 CPUtime=1.09 cores=0,2,4,6
/proc/9430/task/9494/stat : 9494 (java) S 9427 9430 3751 0 -1 1077944384 3014 13014 0 0 101 1 5 2 20 0 15 0 46889524 11106877440 68532 33554432000 4194304 4196468 140736281814240 140430430685552 140431464819330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9495] ppid=9427 vsize=10846560 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9495/stat : 9495 (java) S 9427 9430 3751 0 -1 1077944384 3 13014 0 0 0 0 5 2 20 0 15 0 46889524 11106877440 68532 33554432000 4194304 4196468 140736281814240 140429990119904 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9496] ppid=9427 vsize=10846560 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9496/stat : 9496 (java) S 9427 9430 3751 0 -1 1077944384 3 13014 0 0 0 0 5 2 20 0 15 0 46889525 11106877440 68532 33554432000 4194304 4196468 140736281814240 140430429633456 140431464819330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 10846560 KiB
Current children cumulated memory: 274128 KiB
[startup+3.46123 s]
# the end of solver process 9430 was just reported to runsolver
# cumulated CPU time of all completed processes: user=6.79452 s, system=0.224599 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20167 s]
/proc/loadavg: 2.16 2.06 1.99 4/220 9496
/proc/meminfo: memFree=17332728/32770624 swapFree=67108860/67108860
[pid=9430] ppid=9427 vsize=10912096 memory=298460 CPUtime=6.28 cores=0,2,4,6
/proc/9430/stat : 9430 (java) S 9427 9430 3751 0 -1 1077944320 49769 13014 0 0 604 17 5 2 20 0 15 0 46889510 11173986304 74615 33554432000 4194304 4196468 140736281814240 140736281796784 140431464808183 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
/proc/9430/statm: 2728024 74615 3495 1 0 2689677 0
[pid=9430/tid=9483] ppid=9427 vsize=10912096 memory=0 CPUtime=3.07 cores=0,2,4,6
/proc/9430/task/9483/stat : 9483 (java) R 9427 9430 3751 0 -1 4202560 35111 13014 0 0 290 10 5 2 20 0 15 0 46889519 11173986304 74615 33554432000 4194304 4196468 140736281814240 140431436637504 140431027028320 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9484] ppid=9427 vsize=10912096 memory=8112282956445269571 CPUtime=0.1 cores=0,2,4,6
/proc/9430/task/9484/stat : 9484 (java) S 9427 9430 3751 0 -1 1077944384 61 13014 0 0 3 0 5 2 20 0 15 0 46889520 11173986304 74615 33554432000 4194304 4196468 140736281814240 140431469050256 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9485] ppid=9427 vsize=10912096 memory=12846 CPUtime=0.1 cores=0,2,4,6
/proc/9430/task/9485/stat : 9485 (java) S 9427 9430 3751 0 -1 1077944384 50 13014 0 0 3 0 5 2 20 0 15 0 46889520 11173986304 74615 33554432000 4194304 4196468 140736281814240 140431357323536 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9486] ppid=9427 vsize=10912096 memory=25341 CPUtime=0.1 cores=0,2,4,6
/proc/9430/task/9486/stat : 9486 (java) S 9427 9430 3751 0 -1 1077944384 319 13014 0 0 3 0 5 2 20 0 15 0 46889520 11173986304 74615 33554432000 4194304 4196468 140736281814240 140431356271248 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9487] ppid=9427 vsize=10912096 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9430/task/9487/stat : 9487 (java) S 9427 9430 3751 0 -1 1077944384 113 13014 0 0 2 0 5 2 20 0 15 0 46889520 11173986304 74615 33554432000 4194304 4196468 140736281814240 140431355218448 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9488] ppid=9427 vsize=10912096 memory=321013415734948134 CPUtime=0.1 cores=0,2,4,6
/proc/9430/task/9488/stat : 9488 (java) S 9427 9430 3751 0 -1 1077944384 1324 13014 0 0 3 0 5 2 20 0 15 0 46889521 11173986304 74615 33554432000 4194304 4196468 140736281814240 140430535240304 140431464819330 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9489] ppid=9427 vsize=10912096 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9489/stat : 9489 (java) S 9427 9430 3751 0 -1 1077944384 14 13014 0 0 0 0 5 2 20 0 15 0 46889521 11173986304 74615 33554432000 4194304 4196468 140736281814240 140430465295712 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9490] ppid=9427 vsize=10912096 memory=184744 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9490/stat : 9490 (java) S 9427 9430 3751 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 46889522 11173986304 74615 33554432000 4194304 4196468 140736281814240 140430263969408 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9491] ppid=9427 vsize=10912096 memory=6944656575208382560 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9491/stat : 9491 (java) S 9427 9430 3751 0 -1 1077944384 3 13014 0 0 0 0 5 2 20 0 15 0 46889524 11173986304 74615 33554432000 4194304 4196468 140736281814240 140430023678544 140431464826779 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9492] ppid=9427 vsize=10912096 memory=4945125699554088323 CPUtime=1.01 cores=0,2,4,6
/proc/9430/task/9492/stat : 9492 (java) R 9427 9430 3751 0 -1 4202560 4795 13014 0 0 93 1 5 2 20 0 15 0 46889524 11173986304 74615 33554432000 4194304 4196468 140736281814240 140430534173304 140431448714188 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9493] ppid=9427 vsize=10912096 memory=7222483652687470737 CPUtime=1.07 cores=0,2,4,6
/proc/9430/task/9493/stat : 9493 (java) R 9427 9430 3751 0 -1 4202560 2558 13014 0 0 100 0 5 2 20 0 15 0 46889524 11173986304 74615 33554432000 4194304 4196468 140736281814240 140430431724064 140431444064607 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9494] ppid=9427 vsize=10912096 memory=-2893623298589923098 CPUtime=1.11 cores=0,2,4,6
/proc/9430/task/9494/stat : 9494 (java) R 9427 9430 3751 0 -1 1077944384 3231 13014 0 0 103 1 5 2 20 0 15 0 46889524 11173986304 74615 33554432000 4194304 4196468 140736281814240 140430430685552 140431464819330 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9495] ppid=9427 vsize=10912096 memory=288230574492221466 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9495/stat : 9495 (java) S 9427 9430 3751 0 -1 1077944384 3 13014 0 0 0 0 5 2 20 0 15 0 46889524 11173986304 74620 33554432000 4194304 4196468 140736281814240 140429990119904 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9496] ppid=9427 vsize=10912096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9496/stat : 9496 (java) S 9427 9430 3751 0 -1 1077944384 3 13014 0 0 0 0 5 2 20 0 15 0 46889525 11173986304 74620 33554432000 4194304 4196468 140736281814240 140430429633456 140431464819330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 10912096 KiB
Current children cumulated memory: 298460 KiB
[startup+3.40063 s]
/proc/loadavg: 2.16 2.06 1.99 4/220 9496
/proc/meminfo: memFree=17332728/32770624 swapFree=67108860/67108860
[pid=9430] ppid=9427 vsize=11012680 memory=302372 CPUtime=6.94 cores=0,2,4,6
/proc/9430/stat : 9430 (java) S 9427 9430 3751 0 -1 1077944320 54906 13014 0 0 669 18 5 2 20 0 14 0 46889510 11276984320 75527 33554432000 4194304 4196468 140736281814240 140736281796784 140431464808183 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
/proc/9430/statm: 2753170 75527 3499 1 0 2714823 0
[pid=9430/tid=9483] ppid=9427 vsize=11012680 memory=0 CPUtime=3.26 cores=0,2,4,6
/proc/9430/task/9483/stat : 9483 (java) S 9427 9430 3751 0 -1 1077944384 37285 13014 0 0 308 11 5 2 20 0 14 0 46889519 11276984320 75593 33554432000 4194304 4196468 140736281814240 140431436651664 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9484] ppid=9427 vsize=11012680 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/9430/task/9484/stat : 9484 (java) S 9427 9430 3751 0 -1 1077944384 61 13014 0 0 3 0 5 2 20 0 14 0 46889520 11276984320 75659 33554432000 4194304 4196468 140736281814240 140431469050256 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9485] ppid=9427 vsize=11012680 memory=6656426216303648864 CPUtime=0.1 cores=0,2,4,6
/proc/9430/task/9485/stat : 9485 (java) S 9427 9430 3751 0 -1 1077944384 50 13014 0 0 3 0 5 2 20 0 14 0 46889520 11276984320 75659 33554432000 4194304 4196468 140736281814240 140431357323536 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9486] ppid=9427 vsize=11012680 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/9430/task/9486/stat : 9486 (java) S 9427 9430 3751 0 -1 1077944384 319 13014 0 0 3 0 5 2 20 0 14 0 46889520 11276984320 75659 33554432000 4194304 4196468 140736281814240 140431356271248 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9487] ppid=9427 vsize=11012680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9430/task/9487/stat : 9487 (java) S 9427 9430 3751 0 -1 1077944384 113 13014 0 0 2 0 5 2 20 0 14 0 46889520 11276984320 75659 33554432000 4194304 4196468 140736281814240 140431355218448 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9488] ppid=9427 vsize=11012680 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/9430/task/9488/stat : 9488 (java) S 9427 9430 3751 0 -1 1077944384 1988 13014 0 0 3 0 5 2 20 0 14 0 46889521 11276984320 75659 33554432000 4194304 4196468 140736281814240 140430535240512 140431464819330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9489] ppid=9427 vsize=11012680 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9489/stat : 9489 (java) S 9427 9430 3751 0 -1 1077944384 14 13014 0 0 0 0 5 2 20 0 14 0 46889521 11276984320 75659 33554432000 4194304 4196468 140736281814240 140430465295712 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9490] ppid=9427 vsize=11012680 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9490/stat : 9490 (java) S 9427 9430 3751 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 14 0 46889522 11276984320 75659 33554432000 4194304 4196468 140736281814240 140430263969408 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9491] ppid=9427 vsize=11012680 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9491/stat : 9491 (java) S 9427 9430 3751 0 -1 1077944384 6 13014 0 0 0 0 5 2 20 0 14 0 46889524 11276984320 75659 33554432000 4194304 4196468 140736281814240 140430023678192 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9492] ppid=9427 vsize=11012680 memory=0 CPUtime=1.21 cores=0,2,4,6
/proc/9430/task/9492/stat : 9492 (java) R 9427 9430 3751 0 -1 4202560 6034 13014 0 0 113 1 5 2 20 0 14 0 46889524 11276984320 75659 33554432000 4194304 4196468 140736281814240 140430534172000 140431446351906 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9493] ppid=9427 vsize=11012680 memory=0 CPUtime=1.24 cores=0,2,4,6
/proc/9430/task/9493/stat : 9493 (java) S 9427 9430 3751 0 -1 1077944384 2839 13014 0 0 116 1 5 2 20 0 14 0 46889524 11276984320 75725 33554432000 4194304 4196468 140736281814240 140430431729120 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9494] ppid=9427 vsize=11012680 memory=55 CPUtime=1.21 cores=0,2,4,6
/proc/9430/task/9494/stat : 9494 (java) S 9427 9430 3751 0 -1 1077944384 4123 13014 0 0 113 1 5 2 20 0 14 0 46889524 11276984320 75725 33554432000 4194304 4196468 140736281814240 140430430685552 140431464819330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
[pid=9430/tid=9495] ppid=9427 vsize=11012680 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9430/task/9495/stat : 9495 (java) S 9427 9430 3751 0 -1 1077944384 3 13014 0 0 0 0 5 2 20 0 14 0 46889524 11276984320 75725 33554432000 4194304 4196468 140736281814240 140429990119904 140431464818389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10489856 140736281815212 140736281818460 140736281818460 140736281821135 0
Current children cumulated CPU time: 6.94 s
Current children cumulated vsize: 11012680 KiB
Current children cumulated memory: 302372 KiB
Child status: 0
Real time (s): 3.46127
CPU time (s): 7.01912
CPU user time (s): 6.79452
CPU system time (s): 0.224599
CPU usage (%): 202.79
Max. virtual memory (cumulated for all children) (KiB): 11012680
Max. memory (cumulated for all children) (KiB): 302372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.79452
system time used= 0.224599
maximum resident set size= 305260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68631
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5501
involuntary context switches= 40
# summary of solver processes directly reported to runsolver:
# pid: 9430
# total CPU time (s): 7.01912
# total CPU user time (s): 6.79452
# total CPU system time (s): 0.224599
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04633 second user time and 0.073267 second system time
The end