2018 XCSP3 competition: mini-solvers track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Solver of Xavier Schul & Yvhan Smal 2018-04-28	SAT (TO)	29	2520.08	2500.62
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 (9427 MiB free)
  memory of node 1: 16384 MiB (12805 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298396-1532756447/watcher-4298396-1532756447 -o /tmp/evaluation-result-4298396-1532756447/solver-4298396-1532756447 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532741422-28017 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298396-1532756447.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30477, runsolver pid=30474
Current StackSize limit: 8192 KiB


[startup+0.100797 s]*
/proc/loadavg: 1.93 1.58 1.48 3/215 30492
/proc/meminfo: memFree=22750532/32770624 swapFree=67108860/67108860
[pid=30477] ppid=30474 vsize=10661052 memory=27676 CPUtime=0.12 cores=1,3,5,7
/proc/30477/stat : 30477 (java) S 30474 30477 27985 0 -1 1077944320 5272 0 0 0 11 1 0 0 20 0 15 0 93207891 10916917248 6919 33554432000 4194304 4196468 140732934927872 140732934910416 140517453680375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
/proc/30477/statm: 2665263 6919 2857 1 0 2627263 0
[pid=30477/tid=30479] ppid=30474 vsize=10661052 memory=-8269626465541197437 CPUtime=0.09 cores=1,3,5,7
/proc/30477/task/30479/stat : 30479 (java) R 30474 30477 27985 0 -1 4202560 3129 0 0 0 8 1 0 0 20 0 15 0 93207891 10916917248 6919 33554432000 4194304 4196468 140732934927872 140517457908864 140517453692310 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30480] ppid=30474 vsize=10661052 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30480/stat : 30480 (java) S 30474 30477 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93207892 10916917248 6919 33554432000 4194304 4196468 140732934927872 140517379754512 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30481] ppid=30474 vsize=10661052 memory=139641593128576 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30481/stat : 30481 (java) S 30474 30477 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93207892 10916917248 6919 33554432000 4194304 4196468 140732934927872 140517378701968 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30482] ppid=30474 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30482/stat : 30482 (java) S 30474 30477 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93207892 10916917248 6919 33554432000 4194304 4196468 140732934927872 140517377648912 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30483] ppid=30474 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30483/stat : 30483 (java) S 30474 30477 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93207892 10916917248 6919 33554432000 4194304 4196468 140732934927872 140517376596368 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30484] ppid=30474 vsize=10661052 memory=139641593128576 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30484/stat : 30484 (java) S 30474 30477 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93207894 10916917248 6919 33554432000 4194304 4196468 140732934927872 140516489386736 140517453691522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30485] ppid=30474 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30485/stat : 30485 (java) S 30474 30477 27985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93207894 10916917248 6919 33554432000 4194304 4196468 140732934927872 140516488332960 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30486] ppid=30474 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30486/stat : 30486 (java) S 30474 30477 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93207894 10916917248 6919 33554432000 4194304 4196468 140732934927872 140516487279856 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30487] ppid=30474 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30487/stat : 30487 (java) S 30474 30477 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93207897 10916917248 6919 33554432000 4194304 4196468 140732934927872 140516486228432 140517453698971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30488] ppid=30474 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30488/stat : 30488 (java) S 30474 30477 27985 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 93207897 10916917248 6919 33554432000 4194304 4196468 140732934927872 140516485175536 140517453691522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30489] ppid=30474 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30489/stat : 30489 (java) S 30474 30477 27985 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 15 0 93207897 10916917248 6919 33554432000 4194304 4196468 140732934927872 140516484122992 140517453691522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30490] ppid=30474 vsize=10661052 memory=139641593128576 CPUtime=0.02 cores=1,3,5,7
/proc/30477/task/30490/stat : 30490 (java) R 30474 30477 27985 0 -1 4202560 340 0 0 0 2 0 0 0 20 0 15 0 93207897 10916917248 6919 33554432000 4194304 4196468 140732934927872 140516483069936 140517437760862 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30491] ppid=30474 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30491/stat : 30491 (java) S 30474 30477 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93207897 10916917248 6919 33554432000 4194304 4196468 140732934927872 140516482017632 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30492] ppid=30474 vsize=10661052 memory=139641593128576 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30492/stat : 30492 (java) S 30474 30477 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93207897 10916917248 6919 33554432000 4194304 4196468 140732934927872 140516480965680 140517453691522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 27676 KiB

[startup+0.210604 s]*
/proc/loadavg: 1.93 1.58 1.48 4/215 30492
/proc/meminfo: memFree=22738104/32770624 swapFree=67108860/67108860
[pid=30477] ppid=30474 vsize=10661052 memory=40384 CPUtime=0.35 cores=1,3,5,7
/proc/30477/stat : 30477 (java) S 30474 30477 27985 0 -1 1077944320 8171 0 0 0 32 3 0 0 20 0 15 0 93207891 10916917248 10096 33554432000 4194304 4196468 140732934927872 140732934910416 140517453680375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
/proc/30477/statm: 2665263 10096 3000 1 0 2627263 0
[pid=30477/tid=30479] ppid=30474 vsize=10661052 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/30477/task/30479/stat : 30479 (java) R 30474 30477 27985 0 -1 4202560 5083 0 0 0 18 2 0 0 20 0 15 0 93207891 10916917248 10096 33554432000 4194304 4196468 140732934927872 140517457919520 140517052546320 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30480] ppid=30474 vsize=10661052 memory=345 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30480/stat : 30480 (java) S 30474 30477 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93207892 10916917248 10096 33554432000 4194304 4196468 140732934927872 140517379754512 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30481] ppid=30474 vsize=10661052 memory=3544807041225844384 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30481/stat : 30481 (java) S 30474 30477 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93207892 10916917248 10096 33554432000 4194304 4196468 140732934927872 140517378701968 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30482] ppid=30474 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30482/stat : 30482 (java) S 30474 30477 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93207892 10916917248 10096 33554432000 4194304 4196468 140732934927872 140517377648912 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30483] ppid=30474 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30483/stat : 30483 (java) S 30474 30477 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93207892 10916917248 10096 33554432000 4194304 4196468 140732934927872 140517376596368 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30484] ppid=30474 vsize=10661052 memory=139641593128576 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30484/stat : 30484 (java) S 30474 30477 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93207894 10916917248 10096 33554432000 4194304 4196468 140732934927872 140516489386736 140517453691522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30485] ppid=30474 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30485/stat : 30485 (java) S 30474 30477 27985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93207894 10916917248 10096 33554432000 4194304 4196468 140732934927872 140516488332960 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30486] ppid=30474 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30486/stat : 30486 (java) S 30474 30477 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93207894 10916917248 10096 33554432000 4194304 4196468 140732934927872 140516487279856 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30487] ppid=30474 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30487/stat : 30487 (java) S 30474 30477 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93207897 10916917248 10096 33554432000 4194304 4196468 140732934927872 140516486228432 140517453698971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30488] ppid=30474 vsize=10661052 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30477/task/30488/stat : 30488 (java) S 30474 30477 27985 0 -1 1077944384 557 0 0 0 2 0 0 0 20 0 15 0 93207897 10916917248 10096 33554432000 4194304 4196468 140732934927872 140516485175536 140517453691522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30489] ppid=30474 vsize=10661052 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/30477/task/30489/stat : 30489 (java) R 30474 30477 27985 0 -1 4202560 283 0 0 0 2 0 0 0 20 0 15 0 93207897 10916917248 10096 33554432000 4194304 4196468 140732934927872 140516484122992 140517453692310 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30490] ppid=30474 vsize=10661052 memory=139641593128576 CPUtime=0.08 cores=1,3,5,7
/proc/30477/task/30490/stat : 30490 (java) R 30474 30477 27985 0 -1 4202560 884 0 0 0 8 0 0 0 20 0 15 0 93207897 10916917248 10096 33554432000 4194304 4196468 140732934927872 140516483065888 140517445921765 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30491] ppid=30474 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30491/stat : 30491 (java) S 30474 30477 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93207897 10916917248 10096 33554432000 4194304 4196468 140732934927872 140516482017632 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30492] ppid=30474 vsize=10661052 memory=139641593128576 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30492/stat : 30492 (java) S 30474 30477 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93207897 10916917248 10096 33554432000 4194304 4196468 140732934927872 140516480965680 140517453691522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 40384 KiB

[startup+0.310587 s]*
/proc/loadavg: 1.93 1.58 1.48 4/215 30492
/proc/meminfo: memFree=22733948/32770624 swapFree=67108860/67108860
[pid=30477] ppid=30474 vsize=10661128 memory=46416 CPUtime=0.57 cores=1,3,5,7
/proc/30477/stat : 30477 (java) S 30474 30477 27985 0 -1 1077944320 8710 0 0 0 54 3 0 0 20 0 15 0 93207891 10916995072 11604 33554432000 4194304 4196468 140732934927872 140732934910416 140517453680375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
/proc/30477/statm: 2665282 11604 3033 1 0 2627263 0
[pid=30477/tid=30479] ppid=30474 vsize=10661128 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/30477/task/30479/stat : 30479 (java) R 30474 30477 27985 0 -1 4202560 5420 0 0 0 27 2 0 0 20 0 15 0 93207891 10916995072 11604 33554432000 4194304 4196468 140732934927872 140517457917232 140517453692310 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30480] ppid=30474 vsize=10661128 memory=304556157652172823 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30480/stat : 30480 (java) S 30474 30477 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93207892 10916995072 11604 33554432000 4194304 4196468 140732934927872 140517379754512 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30481] ppid=30474 vsize=10661128 memory=4121277684838950560 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30481/stat : 30481 (java) S 30474 30477 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93207892 10916995072 11604 33554432000 4194304 4196468 140732934927872 140517378701968 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30482] ppid=30474 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30482/stat : 30482 (java) S 30474 30477 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93207892 10916995072 11604 33554432000 4194304 4196468 140732934927872 140517377648912 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30483] ppid=30474 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30483/stat : 30483 (java) S 30474 30477 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93207892 10916995072 11604 33554432000 4194304 4196468 140732934927872 140517376596368 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30484] ppid=30474 vsize=10661128 memory=139641593128576 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30484/stat : 30484 (java) S 30474 30477 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93207894 10916995072 11604 33554432000 4194304 4196468 140732934927872 140516489386736 140517453691522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30485] ppid=30474 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30485/stat : 30485 (java) S 30474 30477 27985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93207894 10916995072 11604 33554432000 4194304 4196468 140732934927872 140516488332960 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30486] ppid=30474 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30486/stat : 30486 (java) S 30474 30477 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93207894 10916995072 11604 33554432000 4194304 4196468 140732934927872 140516487279856 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30487] ppid=30474 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30487/stat : 30487 (java) S 30474 30477 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93207897 10916995072 11604 33554432000 4194304 4196468 140732934927872 140516486228432 140517453698971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30488] ppid=30474 vsize=10661128 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/30477/task/30488/stat : 30488 (java) R 30474 30477 27985 0 -1 1077944384 590 0 0 0 5 0 0 0 20 0 15 0 93207897 10916995072 11604 33554432000 4194304 4196468 140732934927872 140516485175536 140517453691522 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30489] ppid=30474 vsize=10661128 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/30477/task/30489/stat : 30489 (java) R 30474 30477 27985 0 -1 4202560 297 0 0 0 5 0 0 0 20 0 15 0 93207897 10916995072 11604 33554432000 4194304 4196468 140732934927872 140516484122992 140517446665417 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30490] ppid=30474 vsize=10661128 memory=139641593128576 CPUtime=0.16 cores=1,3,5,7
/proc/30477/task/30490/stat : 30490 (java) R 30474 30477 27985 0 -1 4202560 1035 0 0 0 16 0 0 0 20 0 15 0 93207897 10916995072 11604 33554432000 4194304 4196468 140732934927872 140516483066872 140517431683217 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30491] ppid=30474 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30491/stat : 30491 (java) S 30474 30477 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93207897 10916995072 11604 33554432000 4194304 4196468 140732934927872 140516482017632 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30492] ppid=30474 vsize=10661128 memory=139641593128576 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30492/stat : 30492 (java) S 30474 30477 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93207897 10916995072 11604 33554432000 4194304 4196468 140732934927872 140516480965680 140517453691522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 46416 KiB

[startup+0.700801 s]
/proc/loadavg: 1.93 1.58 1.48 5/215 30492
/proc/meminfo: memFree=22715388/32770624 swapFree=67108860/67108860
[pid=30477] ppid=30474 vsize=10661128 memory=77236 CPUtime=1.62 cores=1,3,5,7
/proc/30477/stat : 30477 (java) S 30474 30477 27985 0 -1 1077944320 10207 0 0 0 158 4 0 0 20 0 15 0 93207891 10916995072 19309 33554432000 4194304 4196468 140732934927872 140732934910416 140517453680375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
/proc/30477/statm: 2665282 19309 3116 1 0 2627263 0
[pid=30477/tid=30479] ppid=30474 vsize=10661128 memory=1836 CPUtime=0.67 cores=1,3,5,7
/proc/30477/task/30479/stat : 30479 (java) R 30474 30477 27985 0 -1 4202560 5618 0 0 0 65 2 0 0 20 0 15 0 93207891 10916995072 19309 33554432000 4194304 4196468 140732934927872 140517457919776 140517056438016 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30480] ppid=30474 vsize=10661128 memory=13044 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30480/stat : 30480 (java) S 30474 30477 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93207892 10916995072 19309 33554432000 4194304 4196468 140732934927872 140517379754512 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30481] ppid=30474 vsize=10661128 memory=792 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30481/stat : 30481 (java) S 30474 30477 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93207892 10916995072 19309 33554432000 4194304 4196468 140732934927872 140517378701968 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30482] ppid=30474 vsize=10661128 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30482/stat : 30482 (java) S 30474 30477 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93207892 10916995072 19309 33554432000 4194304 4196468 140732934927872 140517377648912 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30483] ppid=30474 vsize=10661128 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30483/stat : 30483 (java) S 30474 30477 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93207892 10916995072 19309 33554432000 4194304 4196468 140732934927872 140517376596368 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30484] ppid=30474 vsize=10661128 memory=8556 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30484/stat : 30484 (java) S 30474 30477 27985 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93207894 10916995072 19309 33554432000 4194304 4196468 140732934927872 140516489386736 140517453691522 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30485] ppid=30474 vsize=10661128 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30485/stat : 30485 (java) S 30474 30477 27985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93207894 10916995072 19309 33554432000 4194304 4196468 140732934927872 140516488332960 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30486] ppid=30474 vsize=10661128 memory=5412 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30486/stat : 30486 (java) S 30474 30477 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93207894 10916995072 19309 33554432000 4194304 4196468 140732934927872 140516487279856 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30487] ppid=30474 vsize=10661128 memory=7668879548562892096 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30487/stat : 30487 (java) S 30474 30477 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93207897 10916995072 19309 33554432000 4194304 4196468 140732934927872 140516486228432 140517453698971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30488] ppid=30474 vsize=10661128 memory=7881696724453321575 CPUtime=0.29 cores=1,3,5,7
/proc/30477/task/30488/stat : 30488 (java) S 30474 30477 27985 0 -1 1077944384 1021 0 0 0 29 0 0 0 20 0 15 0 93207897 10916995072 19309 33554432000 4194304 4196468 140732934927872 140516485175536 140517453691522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30489] ppid=30474 vsize=10661128 memory=5787213827163908199 CPUtime=0.32 cores=1,3,5,7
/proc/30477/task/30489/stat : 30489 (java) S 30474 30477 27985 0 -1 1077944384 784 0 0 0 32 0 0 0 20 0 15 0 93207897 10916995072 19309 33554432000 4194304 4196468 140732934927872 140516484122992 140517453691522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30490] ppid=30474 vsize=10661128 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/30477/task/30490/stat : 30490 (java) S 30474 30477 27985 0 -1 1077944384 1413 0 0 0 32 0 0 0 20 0 15 0 93207897 10916995072 19309 33554432000 4194304 4196468 140732934927872 140516483069936 140517453691522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30491] ppid=30474 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30491/stat : 30491 (java) S 30474 30477 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93207897 10916995072 19309 33554432000 4194304 4196468 140732934927872 140516482017632 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30492] ppid=30474 vsize=10661128 memory=33 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30492/stat : 30492 (java) S 30474 30477 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93207897 10916995072 19309 33554432000 4194304 4196468 140732934927872 140516480965680 140517453691522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 77236 KiB

[startup+1.50077 s]
/proc/loadavg: 1.93 1.58 1.48 3/215 30492
/proc/meminfo: memFree=22653092/32770624 swapFree=67108860/67108860
[pid=30477] ppid=30474 vsize=10661128 memory=178388 CPUtime=2.58 cores=1,3,5,7
/proc/30477/stat : 30477 (java) S 30474 30477 27985 0 -1 1077944320 12842 0 0 0 252 6 0 0 20 0 15 0 93207891 10916995072 44597 33554432000 4194304 4196468 140732934927872 140732934910416 140517453680375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
/proc/30477/statm: 2665282 44597 3140 1 0 2627263 0
[pid=30477/tid=30479] ppid=30474 vsize=10661128 memory=6791534058613427641 CPUtime=1.46 cores=1,3,5,7
/proc/30477/task/30479/stat : 30479 (java) R 30474 30477 27985 0 -1 4202560 5872 0 0 0 143 3 0 0 20 0 15 0 93207891 10916995072 44597 33554432000 4194304 4196468 140732934927872 140517457919536 140517053885912 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30480] ppid=30474 vsize=10661128 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30480/stat : 30480 (java) S 30474 30477 27985 0 -1 1077944384 326 0 0 0 0 0 0 0 20 0 15 0 93207892 10916995072 44597 33554432000 4194304 4196468 140732934927872 140517379754512 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30481] ppid=30474 vsize=10661128 memory=-6509546260019855295 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30481/stat : 30481 (java) S 30474 30477 27985 0 -1 1077944384 223 0 0 0 0 0 0 0 20 0 15 0 93207892 10916995072 44597 33554432000 4194304 4196468 140732934927872 140517378701968 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30482] ppid=30474 vsize=10661128 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30482/stat : 30482 (java) S 30474 30477 27985 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 93207892 10916995072 44597 33554432000 4194304 4196468 140732934927872 140517377648912 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30483] ppid=30474 vsize=10661128 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30483/stat : 30483 (java) S 30474 30477 27985 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 93207892 10916995072 44597 33554432000 4194304 4196468 140732934927872 140517376596368 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30484] ppid=30474 vsize=10661128 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30484/stat : 30484 (java) S 30474 30477 27985 0 -1 1077944384 259 0 0 0 0 0 0 0 20 0 15 0 93207894 10916995072 44597 33554432000 4194304 4196468 140732934927872 140516489386736 140517453691522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0

################
# More data... #
################

/proc/30477/task/30479/stat : 30479 (java) R 30474 30477 27985 0 -1 4202560 19267 0 0 0 230955 16 0 0 20 0 15 0 93207891 10916995072 92995 33554432000 4194304 4196468 140732934927872 140517457919664 140517056690185 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30480] ppid=30474 vsize=10661128 memory=640 CPUtime=5.82 cores=1,3,5,7
/proc/30477/task/30480/stat : 30480 (java) S 30474 30477 27985 0 -1 1077944384 4744 0 0 0 544 38 0 0 20 0 15 0 93207892 10916995072 92995 33554432000 4194304 4196468 140732934927872 140517379754512 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30481] ppid=30474 vsize=10661128 memory=371980 CPUtime=5.82 cores=1,3,5,7
/proc/30477/task/30481/stat : 30481 (java) S 30474 30477 27985 0 -1 1077944384 5040 0 0 0 543 39 0 0 20 0 15 0 93207892 10916995072 92995 33554432000 4194304 4196468 140732934927872 140517378701968 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30482] ppid=30474 vsize=10661128 memory=367884 CPUtime=5.81 cores=1,3,5,7
/proc/30477/task/30482/stat : 30482 (java) S 30474 30477 27985 0 -1 1077944384 4584 0 0 0 545 36 0 0 20 0 15 0 93207892 10916995072 92995 33554432000 4194304 4196468 140732934927872 140517377648912 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30483] ppid=30474 vsize=10661128 memory=367884 CPUtime=5.81 cores=1,3,5,7
/proc/30477/task/30483/stat : 30483 (java) S 30474 30477 27985 0 -1 1077944384 5383 0 0 0 539 42 0 0 20 0 15 0 93207892 10916995072 92995 33554432000 4194304 4196468 140732934927872 140517376596368 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30484] ppid=30474 vsize=10661128 memory=369932 CPUtime=4.9 cores=1,3,5,7
/proc/30477/task/30484/stat : 30484 (java) S 30474 30477 27985 0 -1 1077944384 6473 0 0 0 456 34 0 0 20 0 15 0 93207894 10916995072 92995 33554432000 4194304 4196468 140732934927872 140516489386736 140517453691522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30485] ppid=30474 vsize=10661128 memory=369932 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30485/stat : 30485 (java) S 30474 30477 27985 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 93207894 10916995072 92995 33554432000 4194304 4196468 140732934927872 140516488332960 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30486] ppid=30474 vsize=10661128 memory=371980 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30486/stat : 30486 (java) S 30474 30477 27985 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 93207894 10916995072 92995 33554432000 4194304 4196468 140732934927872 140516487279856 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30487] ppid=30474 vsize=10661128 memory=371980 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30487/stat : 30487 (java) S 30474 30477 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93207897 10916995072 92995 33554432000 4194304 4196468 140732934927872 140516486228432 140517453698971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30488] ppid=30474 vsize=10661128 memory=371980 CPUtime=0.36 cores=1,3,5,7
/proc/30477/task/30488/stat : 30488 (java) S 30474 30477 27985 0 -1 1077944384 1621 0 0 0 36 0 0 0 20 0 15 0 93207897 10916995072 92995 33554432000 4194304 4196468 140732934927872 140516485175536 140517453691522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30489] ppid=30474 vsize=10661128 memory=369932 CPUtime=0.43 cores=1,3,5,7
/proc/30477/task/30489/stat : 30489 (java) S 30474 30477 27985 0 -1 1077944384 1750 0 0 0 43 0 0 0 20 0 15 0 93207897 10916995072 92995 33554432000 4194304 4196468 140732934927872 140516484122992 140517453691522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30490] ppid=30474 vsize=10661128 memory=369932 CPUtime=0.33 cores=1,3,5,7
/proc/30477/task/30490/stat : 30490 (java) S 30474 30477 27985 0 -1 1077944384 1926 0 0 0 33 0 0 0 20 0 15 0 93207897 10916995072 92995 33554432000 4194304 4196468 140732934927872 140516483069936 140517453691522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30491] ppid=30474 vsize=10661128 memory=371980 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30491/stat : 30491 (java) S 30474 30477 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93207897 10916995072 92995 33554432000 4194304 4196468 140732934927872 140516482017632 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30492] ppid=30474 vsize=10661128 memory=371980 CPUtime=0.9 cores=1,3,5,7
/proc/30477/task/30492/stat : 30492 (java) S 30474 30477 27985 0 -1 1077944384 927 0 0 0 47 43 0 0 20 0 15 0 93207897 10916995072 92995 33554432000 4194304 4196468 140732934927872 140516480965680 140517453691522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
Current children cumulated CPU time: 2340 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 371980 KiB

[startup+2382.3 s]
/proc/loadavg: 1.50 1.42 1.40 3/216 30738
/proc/meminfo: memFree=22594292/32770624 swapFree=67108860/67108860
[pid=30477] ppid=30474 vsize=10661128 memory=376076 CPUtime=2400.55 cores=1,3,5,7
/proc/30477/stat : 30477 (java) S 30474 30477 27985 0 -1 1077944320 54471 0 0 0 239847 208 0 0 20 0 15 0 93207891 10916995072 94019 33554432000 4194304 4196468 140732934927872 140732934910416 140517453680375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
/proc/30477/statm: 2665282 94019 3147 1 0 2627263 0
[pid=30477/tid=30479] ppid=30474 vsize=10661128 memory=376076 CPUtime=2369.31 cores=1,3,5,7
/proc/30477/task/30479/stat : 30479 (java) R 30474 30477 27985 0 -1 4202560 19609 0 0 0 236914 17 0 0 20 0 15 0 93207891 10916995072 94019 33554432000 4194304 4196468 140732934927872 140517457919760 140517056690185 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30480] ppid=30474 vsize=10661128 memory=367884 CPUtime=6.02 cores=1,3,5,7
/proc/30477/task/30480/stat : 30480 (java) S 30474 30477 27985 0 -1 1077944384 4871 0 0 0 564 38 0 0 20 0 15 0 93207892 10916995072 94019 33554432000 4194304 4196468 140732934927872 140517379754512 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30481] ppid=30474 vsize=10661128 memory=367884 CPUtime=6.02 cores=1,3,5,7
/proc/30477/task/30481/stat : 30481 (java) S 30474 30477 27985 0 -1 1077944384 5127 0 0 0 562 40 0 0 20 0 15 0 93207892 10916995072 94019 33554432000 4194304 4196468 140732934927872 140517378701968 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30482] ppid=30474 vsize=10661128 memory=1952 CPUtime=6.01 cores=1,3,5,7
/proc/30477/task/30482/stat : 30482 (java) S 30474 30477 27985 0 -1 1077944384 4886 0 0 0 565 36 0 0 20 0 15 0 93207892 10916995072 94019 33554432000 4194304 4196468 140732934927872 140517377648912 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30483] ppid=30474 vsize=10661128 memory=374028 CPUtime=6.01 cores=1,3,5,7
/proc/30477/task/30483/stat : 30483 (java) S 30474 30477 27985 0 -1 1077944384 5675 0 0 0 559 42 0 0 20 0 15 0 93207892 10916995072 94019 33554432000 4194304 4196468 140732934927872 140517376596368 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30484] ppid=30474 vsize=10661128 memory=376076 CPUtime=5.03 cores=1,3,5,7
/proc/30477/task/30484/stat : 30484 (java) S 30474 30477 27985 0 -1 1077944384 6640 0 0 0 468 35 0 0 20 0 15 0 93207894 10916995072 94019 33554432000 4194304 4196468 140732934927872 140516489386736 140517453691522 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30485] ppid=30474 vsize=10661128 memory=376076 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30485/stat : 30485 (java) S 30474 30477 27985 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 93207894 10916995072 94019 33554432000 4194304 4196468 140732934927872 140516488332960 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30486] ppid=30474 vsize=10661128 memory=376076 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30486/stat : 30486 (java) S 30474 30477 27985 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 93207894 10916995072 94019 33554432000 4194304 4196468 140732934927872 140516487279856 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30487] ppid=30474 vsize=10661128 memory=376076 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30487/stat : 30487 (java) S 30474 30477 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93207897 10916995072 94019 33554432000 4194304 4196468 140732934927872 140516486228432 140517453698971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30488] ppid=30474 vsize=10661128 memory=376076 CPUtime=0.36 cores=1,3,5,7
/proc/30477/task/30488/stat : 30488 (java) S 30474 30477 27985 0 -1 1077944384 1623 0 0 0 36 0 0 0 20 0 15 0 93207897 10916995072 94019 33554432000 4194304 4196468 140732934927872 140516485175536 140517453691522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30489] ppid=30474 vsize=10661128 memory=376076 CPUtime=0.43 cores=1,3,5,7
/proc/30477/task/30489/stat : 30489 (java) S 30474 30477 27985 0 -1 1077944384 1752 0 0 0 43 0 0 0 20 0 15 0 93207897 10916995072 94019 33554432000 4194304 4196468 140732934927872 140516484122992 140517453691522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30490] ppid=30474 vsize=10661128 memory=374028 CPUtime=0.33 cores=1,3,5,7
/proc/30477/task/30490/stat : 30490 (java) S 30474 30477 27985 0 -1 1077944384 1928 0 0 0 33 0 0 0 20 0 15 0 93207897 10916995072 94019 33554432000 4194304 4196468 140732934927872 140516483069936 140517453691522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30491] ppid=30474 vsize=10661128 memory=376076 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30491/stat : 30491 (java) S 30474 30477 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93207897 10916995072 94019 33554432000 4194304 4196468 140732934927872 140516482017632 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30492] ppid=30474 vsize=10661128 memory=4140 CPUtime=0.92 cores=1,3,5,7
/proc/30477/task/30492/stat : 30492 (java) S 30474 30477 27985 0 -1 1077944384 944 0 0 0 48 44 0 0 20 0 15 0 93207897 10916995072 94019 33554432000 4194304 4196468 140732934927872 140516480965680 140517453691522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
Current children cumulated CPU time: 2400.55 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 376076 KiB

[startup+2442.3 s]
/proc/loadavg: 1.31 1.39 1.39 3/216 30739
/proc/meminfo: memFree=22582868/32770624 swapFree=67108860/67108860
[pid=30477] ppid=30474 vsize=10661128 memory=382220 CPUtime=2461.14 cores=1,3,5,7
/proc/30477/stat : 30477 (java) S 30474 30477 27985 0 -1 1077944320 55888 0 0 0 245902 212 0 0 20 0 15 0 93207891 10916995072 95555 33554432000 4194304 4196468 140732934927872 140732934910416 140517453680375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
/proc/30477/statm: 2665282 95555 3147 1 0 2627263 0
[pid=30477/tid=30479] ppid=30474 vsize=10661128 memory=1952 CPUtime=2428.91 cores=1,3,5,7
/proc/30477/task/30479/stat : 30479 (java) R 30474 30477 27985 0 -1 4202560 19950 0 0 0 242874 17 0 0 20 0 15 0 93207891 10916995072 95555 33554432000 4194304 4196468 140732934927872 140517457919584 140517056542995 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30480] ppid=30474 vsize=10661128 memory=374028 CPUtime=6.24 cores=1,3,5,7
/proc/30477/task/30480/stat : 30480 (java) S 30474 30477 27985 0 -1 1077944384 5207 0 0 0 585 39 0 0 20 0 15 0 93207892 10916995072 95555 33554432000 4194304 4196468 140732934927872 140517379754512 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30481] ppid=30474 vsize=10661128 memory=380172 CPUtime=6.23 cores=1,3,5,7
/proc/30477/task/30481/stat : 30481 (java) S 30474 30477 27985 0 -1 1077944384 5270 0 0 0 583 40 0 0 20 0 15 0 93207892 10916995072 95555 33554432000 4194304 4196468 140732934927872 140517378701968 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30482] ppid=30474 vsize=10661128 memory=380172 CPUtime=6.22 cores=1,3,5,7
/proc/30477/task/30482/stat : 30482 (java) S 30474 30477 27985 0 -1 1077944384 5025 0 0 0 585 37 0 0 20 0 15 0 93207892 10916995072 95555 33554432000 4194304 4196468 140732934927872 140517377648912 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30483] ppid=30474 vsize=10661128 memory=382220 CPUtime=6.22 cores=1,3,5,7
/proc/30477/task/30483/stat : 30483 (java) S 30474 30477 27985 0 -1 1077944384 5943 0 0 0 579 43 0 0 20 0 15 0 93207892 10916995072 95555 33554432000 4194304 4196468 140732934927872 140517376596368 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30484] ppid=30474 vsize=10661128 memory=382220 CPUtime=5.14 cores=1,3,5,7
/proc/30477/task/30484/stat : 30484 (java) S 30474 30477 27985 0 -1 1077944384 6808 0 0 0 479 35 0 0 20 0 15 0 93207894 10916995072 95555 33554432000 4194304 4196468 140732934927872 140516489386736 140517453691522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30485] ppid=30474 vsize=10661128 memory=382220 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30485/stat : 30485 (java) S 30474 30477 27985 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 93207894 10916995072 95555 33554432000 4194304 4196468 140732934927872 140516488332960 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30486] ppid=30474 vsize=10661128 memory=382220 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30486/stat : 30486 (java) S 30474 30477 27985 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 93207894 10916995072 95555 33554432000 4194304 4196468 140732934927872 140516487279856 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30487] ppid=30474 vsize=10661128 memory=382220 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30487/stat : 30487 (java) S 30474 30477 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93207897 10916995072 95555 33554432000 4194304 4196468 140732934927872 140516486228432 140517453698971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30488] ppid=30474 vsize=10661128 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/30477/task/30488/stat : 30488 (java) S 30474 30477 27985 0 -1 1077944384 1625 0 0 0 36 0 0 0 20 0 15 0 93207897 10916995072 95555 33554432000 4194304 4196468 140732934927872 140516485175536 140517453691522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30489] ppid=30474 vsize=10661128 memory=382220 CPUtime=0.43 cores=1,3,5,7
/proc/30477/task/30489/stat : 30489 (java) S 30474 30477 27985 0 -1 1077944384 1754 0 0 0 43 0 0 0 20 0 15 0 93207897 10916995072 95555 33554432000 4194304 4196468 140732934927872 140516484122992 140517453691522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30490] ppid=30474 vsize=10661128 memory=380172 CPUtime=0.34 cores=1,3,5,7
/proc/30477/task/30490/stat : 30490 (java) S 30474 30477 27985 0 -1 1077944384 1930 0 0 0 34 0 0 0 20 0 15 0 93207897 10916995072 95555 33554432000 4194304 4196468 140732934927872 140516483069936 140517453691522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30491] ppid=30474 vsize=10661128 memory=382220 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30491/stat : 30491 (java) S 30474 30477 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93207897 10916995072 95555 33554432000 4194304 4196468 140732934927872 140516482017632 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30492] ppid=30474 vsize=10661128 memory=382220 CPUtime=0.95 cores=1,3,5,7
/proc/30477/task/30492/stat : 30492 (java) S 30474 30477 27985 0 -1 1077944384 960 0 0 0 49 46 0 0 20 0 15 0 93207897 10916995072 95555 33554432000 4194304 4196468 140732934927872 140516480965680 140517453691522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
Current children cumulated CPU time: 2461.14 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 382220 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2500.6 s]
/proc/loadavg: 1.39 1.40 1.40 3/216 30740
/proc/meminfo: memFree=22572412/32770624 swapFree=67108860/67108860
[pid=30477] ppid=30474 vsize=10661128 memory=388364 CPUtime=2520.04 cores=1,3,5,7
/proc/30477/stat : 30477 (java) S 30474 30477 27985 0 -1 1077944320 57286 0 0 0 251788 216 0 0 20 0 15 0 93207891 10916995072 97091 33554432000 4194304 4196468 140732934927872 140732934910416 140517453680375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
/proc/30477/statm: 2665282 97091 3147 1 0 2627263 0
[pid=30477/tid=30479] ppid=30474 vsize=10661128 memory=4100 CPUtime=2486.81 cores=1,3,5,7
/proc/30477/task/30479/stat : 30479 (java) R 30474 30477 27985 0 -1 4202560 20291 0 0 0 248664 17 0 0 20 0 15 0 93207891 10916995072 97091 33554432000 4194304 4196468 140732934927872 140517457920000 140517055936666 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30480] ppid=30474 vsize=10661128 memory=1408 CPUtime=6.44 cores=1,3,5,7
/proc/30477/task/30480/stat : 30480 (java) S 30474 30477 27985 0 -1 1077944384 5348 0 0 0 605 39 0 0 20 0 15 0 93207892 10916995072 97091 33554432000 4194304 4196468 140732934927872 140517379754512 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30481] ppid=30474 vsize=10661128 memory=3212 CPUtime=6.45 cores=1,3,5,7
/proc/30477/task/30481/stat : 30481 (java) S 30474 30477 27985 0 -1 1077944384 5373 0 0 0 604 41 0 0 20 0 15 0 93207892 10916995072 97091 33554432000 4194304 4196468 140732934927872 140517378701968 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30482] ppid=30474 vsize=10661128 memory=388364 CPUtime=6.43 cores=1,3,5,7
/proc/30477/task/30482/stat : 30482 (java) S 30474 30477 27985 0 -1 1077944384 5347 0 0 0 605 38 0 0 20 0 15 0 93207892 10916995072 97091 33554432000 4194304 4196468 140732934927872 140517377648912 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30483] ppid=30474 vsize=10661128 memory=1408 CPUtime=6.43 cores=1,3,5,7
/proc/30477/task/30483/stat : 30483 (java) S 30474 30477 27985 0 -1 1077944384 6244 0 0 0 600 43 0 0 20 0 15 0 93207892 10916995072 97091 33554432000 4194304 4196468 140732934927872 140517376596368 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30484] ppid=30474 vsize=10661128 memory=3296 CPUtime=5.27 cores=1,3,5,7
/proc/30477/task/30484/stat : 30484 (java) S 30474 30477 27985 0 -1 1077944384 6975 0 0 0 491 36 0 0 20 0 15 0 93207894 10916995072 97091 33554432000 4194304 4196468 140732934927872 140516489386736 140517453691522 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30485] ppid=30474 vsize=10661128 memory=337860 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30485/stat : 30485 (java) S 30474 30477 27985 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 93207894 10916995072 97091 33554432000 4194304 4196468 140732934927872 140516488332960 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30486] ppid=30474 vsize=10661128 memory=388364 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30486/stat : 30486 (java) S 30474 30477 27985 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 93207894 10916995072 97091 33554432000 4194304 4196468 140732934927872 140516487279856 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30487] ppid=30474 vsize=10661128 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30487/stat : 30487 (java) S 30474 30477 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93207897 10916995072 97091 33554432000 4194304 4196468 140732934927872 140516486228432 140517453698971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30488] ppid=30474 vsize=10661128 memory=1836 CPUtime=0.36 cores=1,3,5,7
/proc/30477/task/30488/stat : 30488 (java) S 30474 30477 27985 0 -1 1077944384 1627 0 0 0 36 0 0 0 20 0 15 0 93207897 10916995072 97091 33554432000 4194304 4196468 140732934927872 140516485175536 140517453691522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30489] ppid=30474 vsize=10661128 memory=13044 CPUtime=0.43 cores=1,3,5,7
/proc/30477/task/30489/stat : 30489 (java) S 30474 30477 27985 0 -1 1077944384 1756 0 0 0 43 0 0 0 20 0 15 0 93207897 10916995072 97091 33554432000 4194304 4196468 140732934927872 140516484122992 140517453691522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30490] ppid=30474 vsize=10661128 memory=792 CPUtime=0.34 cores=1,3,5,7
/proc/30477/task/30490/stat : 30490 (java) S 30474 30477 27985 0 -1 1077944384 1932 0 0 0 34 0 0 0 20 0 15 0 93207897 10916995072 97091 33554432000 4194304 4196468 140732934927872 140516483069936 140517453691522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30491] ppid=30474 vsize=10661128 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/30477/task/30491/stat : 30491 (java) S 30474 30477 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93207897 10916995072 97091 33554432000 4194304 4196468 140732934927872 140516482017632 140517453690581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
[pid=30477/tid=30492] ppid=30474 vsize=10661128 memory=303430223234596890 CPUtime=0.97 cores=1,3,5,7
/proc/30477/task/30492/stat : 30492 (java) S 30474 30477 27985 0 -1 1077944384 977 0 0 0 51 46 0 0 20 0 15 0 93207897 10916995072 97091 33554432000 4194304 4196468 140732934927872 140516480965680 140517453691522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140732934935725 140732934935817 140732934935817 140732934938575 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 388364 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2500.62 s]
# the end of solver process 30477 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.91 s, system=2.17249 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2500.62
CPU time (s): 2520.08
CPU user time (s): 2517.91
CPU system time (s): 2.17249
CPU usage (%): 100.778
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 388364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.91
system time used= 2.17249
maximum resident set size= 388908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57612
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 201641
involuntary context switches= 5083


# summary of solver processes directly reported to runsolver:
#   pid: 30477
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2517.91
#   total CPU system time (s): 2.17249

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.3144 second user time and 27.121 second system time

The end
Name	PseudoBoolean-opt/ Pb-radar-10-20-45-050-100_c18.xml
MD5SUM	6059cce927de517ef09e7ab17e66c3d6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	2520.1
Satisfiable
(Un)Satisfiability was proved
Number of variables	776
Number of constraints	867
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":776}]
Minimum variable degree	2
Maximum variable degree	8
Distribution of variable degrees	[{"degree":2,"count":3},{"degree":3,"count":81},{"degree":4,"count":204},{"degree":5,"count":222},{"degree":6,"count":243},{"degree":7,"count":6},{"degree":8,"count":17}]
Minimum constraint arity	1
Maximum constraint arity	20
Distribution of constraint arities	[{"arity":1,"count":1},{"arity":2,"count":697},{"arity":3,"count":12},{"arity":4,"count":15},{"arity":5,"count":16},{"arity":6,"count":18},{"arity":7,"count":10},{"arity":8,"count":8},{"arity":9,"count":14},{"arity":10,"count":11},{"arity":11,"count":5},{"arity":12,"count":11},{"arity":13,"count":8},{"arity":14,"count":5},{"arity":15,"count":4},{"arity":16,"count":8},{"arity":17,"count":6},{"arity":18,"count":10},{"arity":19,"count":5},{"arity":20,"count":3}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":867}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4298396

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
