2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2-SuperNG	SAT (TO)	68	2520.15	2463.75
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 (2440 MiB free)
  memory of node 1: 16384 MiB (3242 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304218-1534047599/watcher-4304218-1534047599 -o /tmp/evaluation-result-4304218-1534047599/solver-4304218-1534047599 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534037719-31471 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1021491574 -superng HOME/instance-4304218-1534047599.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
solver pid=958, runsolver pid=953
Current StackSize limit: 8192 KiB


[startup+0.100113 s]*
/proc/loadavg: 1.74 1.42 1.35 2/215 1003
/proc/meminfo: memFree=5789028/32770624 swapFree=67108860/67108860
[pid=958] ppid=953 vsize=113256 memory=1608 CPUtime=0.01 cores=0,2,4,6
/proc/958/stat : 958 (bash) S 953 958 30457 0 -1 4202496 879 5676 0 0 0 0 0 1 20 0 1 0 222323065 115974144 402 33554432000 4194304 5098028 140720599100576 140720599094584 140718988131328 0 0 4100 65536 18446744071580971376 0 0 17 4 0 0 0 0 0 7196144 7232144 16506880 140720599102626 140720599102760 140720599102760 140720599105518 0
/proc/958/statm: 28314 402 319 221 0 119 0
[pid=986] ppid=958 vsize=113256 memory=704 CPUtime=0 cores=0,2,4,6
/proc/986/stat : 986 (bash) S 958 958 30457 0 -1 4202560 160 0 0 0 0 0 0 0 20 0 1 0 222323066 115974144 176 33554432000 4194304 5098028 140720599100576 140720599093256 140718987956860 0 65536 4096 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16506880 140720599102626 140720599102760 140720599102760 140720599105518 0
/proc/986/statm: 28314 176 93 221 0 119 0
[pid=987] ppid=986 vsize=10659708 memory=25720 CPUtime=0.05 cores=0,2,4,6
/proc/987/stat : 987 (java) S 986 958 30457 0 -1 1077944320 4772 0 0 0 4 1 0 0 20 0 12 0 222323066 10915540992 6430 33554432000 4194304 4196468 140732075710032 140732075692576 140399273996023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36990976 140732075717923 140732075717937 140732075717937 140732075720655 0
/proc/987/statm: 2664927 6430 2627 1 0 2627468 0
[pid=987/tid=990] ppid=986 vsize=10659708 memory=7022364632946311227 CPUtime=0.04 cores=0,2,4,6
/proc/987/task/990/stat : 990 (java) D 986 958 30457 0 -1 4202560 2874 0 0 0 4 0 0 0 20 0 12 0 222323067 10915540992 6430 33554432000 4194304 4196468 140732075710032 140399278239032 140399266681655 0 0 0 16800975 18446744072100379781 0 0 -1 0 0 0 0 0 0 6293624 6294260 36990976 140732075717923 140732075717937 140732075717937 140732075720655 0
[pid=987/tid=991] ppid=986 vsize=10659708 memory=4294981852 CPUtime=0 cores=0,2,4,6
/proc/987/task/991/stat : 991 (java) S 986 958 30457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 12 0 222323068 10915540992 6430 33554432000 4194304 4196468 140732075710032 140399200070416 140399274006229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36990976 140732075717923 140732075717937 140732075717937 140732075720655 0
[pid=987/tid=992] ppid=986 vsize=10659708 memory=140146592092246 CPUtime=0 cores=0,2,4,6
/proc/987/task/992/stat : 992 (java) S 986 958 30457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 12 0 222323068 10915540992 6430 33554432000 4194304 4196468 140732075710032 140399199017872 140399274006229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36990976 140732075717923 140732075717937 140732075717937 140732075720655 0
[pid=987/tid=993] ppid=986 vsize=10659708 memory=0 CPUtime=0 cores=0,2,4,6
/proc/987/task/993/stat : 993 (java) S 986 958 30457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 12 0 222323068 10915540992 6430 33554432000 4194304 4196468 140732075710032 140399197965328 140399274006229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36990976 140732075717923 140732075717937 140732075717937 140732075720655 0
[pid=987/tid=994] ppid=986 vsize=10659708 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/987/task/994/stat : 994 (java) S 986 958 30457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 12 0 222323068 10915540992 6430 33554432000 4194304 4196468 140732075710032 140399196912784 140399274006229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36990976 140732075717923 140732075717937 140732075717937 140732075720655 0
[pid=987/tid=996] ppid=986 vsize=10659708 memory=140146592065152 CPUtime=0 cores=0,2,4,6
/proc/987/task/996/stat : 996 (java) S 986 958 30457 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 12 0 222323070 10915540992 6430 33554432000 4194304 4196468 140732075710032 140398307517344 140399274006229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36990976 140732075717923 140732075717937 140732075717937 140732075720655 0
[pid=987/tid=997] ppid=986 vsize=10659708 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/987/task/997/stat : 997 (java) S 986 958 30457 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 12 0 222323070 10915540992 6430 33554432000 4194304 4196468 140732075710032 140398306464752 140399274006229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36990976 140732075717923 140732075717937 140732075717937 140732075720655 0
[pid=987/tid=999] ppid=986 vsize=10659708 memory=0 CPUtime=0 cores=0,2,4,6
/proc/987/task/999/stat : 999 (java) S 986 958 30457 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 12 0 222323072 10915540992 6430 33554432000 4194304 4196468 140732075710032 140398304360944 140399274007170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36990976 140732075717923 140732075717937 140732075717937 140732075720655 0
[pid=987/tid=1000] ppid=986 vsize=10659708 memory=0 CPUtime=0 cores=0,2,4,6
/proc/987/task/1000/stat : 1000 (java) S 986 958 30457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 12 0 222323072 10915540992 6430 33554432000 4194304 4196468 140732075710032 140398303308400 140399274007170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36990976 140732075717923 140732075717937 140732075717937 140732075720655 0
[pid=987/tid=1001] ppid=986 vsize=10659708 memory=0 CPUtime=0 cores=0,2,4,6
/proc/987/task/1001/stat : 1001 (java) S 986 958 30457 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 12 0 222323072 10915540992 6430 33554432000 4194304 4196468 140732075710032 140398302255856 140399274007170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36990976 140732075717923 140732075717937 140732075717937 140732075720655 0
[pid=987/tid=1002] ppid=986 vsize=10659708 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/987/task/1002/stat : 1002 (java) S 986 958 30457 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 12 0 222323072 10915540992 6430 33554432000 4194304 4196468 140732075710032 140398301203552 140399274006229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36990976 140732075717923 140732075717937 140732075717937 140732075720655 0
[pid=988] ppid=986 vsize=113492 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/988/stat : 988 (awk) S 986 958 30457 0 -1 4202496 448 0 0 0 0 0 0 0 20 0 1 0 222323067 116215808 308 33554432000 4194304 4609284 140725274515504 140725274514680 140281798302720 0 0 4096 1216 18446744071580971376 0 0 17 4 0 0 0 0 0 6708720 6711756 32333824 140725274518867 140725274518897 140725274518897 140725274521583 0
/proc/988/statm: 28373 308 256 102 0 89 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 10999712 KiB
Current children cumulated memory: 29264 KiB

[startup+0.642479 s]*
/proc/loadavg: 1.74 1.42 1.35 3/206 1018
/proc/meminfo: memFree=5810924/32770624 swapFree=67108860/67108860
[pid=958] ppid=953 vsize=10005480 memory=17340 CPUtime=0.1 cores=0,2,4,6
/proc/958/stat : 958 (java) S 953 958 30457 0 -1 1077944320 4463 13154 0 0 1 1 5 3 20 0 6 0 222323065 10245611520 4335 33554432000 4194304 4196468 140735065520400 140735065502944 140625936776951 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
/proc/958/statm: 2501370 4335 1956 1 0 2489808 0
[pid=958/tid=1014] ppid=953 vsize=10088124 memory=8389772277269004345 CPUtime=0.09 cores=0,2,4,6
/proc/958/task/1014/stat : 1014 (java) R 953 958 30457 0 -1 4202560 2440 13154 0 0 1 0 5 3 20 0 7 0 222323127 10330238976 4467 33554432000 4194304 4196468 140735065520400 140625908620048 140625922459443 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1015] ppid=953 vsize=10088124 memory=4294967661 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1015/stat : 1015 (java) S 953 958 30457 0 -1 1077944384 1 13154 0 0 0 0 5 3 20 0 7 0 222323128 10330238976 4467 33554432000 4194304 4196468 140735065520400 140625941019024 140625936787157 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1016] ppid=953 vsize=10088124 memory=3905667253870929568 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1016/stat : 1016 (java) S 953 958 30457 0 -1 1077944384 1 13154 0 0 0 0 5 3 20 0 7 0 222323128 10330238976 4467 33554432000 4194304 4196468 140735065520400 140625822284048 140625936787157 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1017] ppid=953 vsize=10088124 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1017/stat : 1017 (java) S 953 958 30457 0 -1 1077944384 1 13154 0 0 0 0 5 3 20 0 7 0 222323128 10330238976 4467 33554432000 4194304 4196468 140735065520400 140625821231760 140625936787157 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1018] ppid=953 vsize=10088124 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1018/stat : 1018 (java) S 953 958 30457 0 -1 1077944384 2 13154 0 0 0 0 5 3 20 0 7 0 222323128 10330238976 4467 33554432000 4194304 4196468 140735065520400 140625473886736 140625936787157 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1019] ppid=953 vsize=10088124 memory=140146592065152 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1019/stat : 1019 (java) S 953 958 30457 0 -1 1077944384 2 13154 0 0 0 0 5 3 20 0 7 0 222323130 10330238976 4467 33554432000 4194304 4196468 140735065520400 140625429793392 140625936788098 0 0 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17340 KiB

[startup+0.71511 s]*
/proc/loadavg: 1.74 1.42 1.35 6/215 1027
/proc/meminfo: memFree=5794560/32770624 swapFree=67108860/67108860
[pid=958] ppid=953 vsize=10982696 memory=35772 CPUtime=0.21 cores=0,2,4,6
/proc/958/stat : 958 (java) S 953 958 30457 0 -1 1077944320 6682 13154 0 0 11 2 5 3 20 0 15 0 222323065 11246280704 8943 33554432000 4194304 4196468 140735065520400 140735065502944 140625936776951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
/proc/958/statm: 2745674 8943 2904 1 0 2708109 0
[pid=958/tid=1014] ppid=953 vsize=10982696 memory=6935054825532540783 CPUtime=0.16 cores=0,2,4,6
/proc/958/task/1014/stat : 1014 (java) R 953 958 30457 0 -1 4202560 3318 13154 0 0 7 1 5 3 20 0 15 0 222323127 11246280704 9585 33554432000 4194304 4196468 140735065520400 140625908582032 140625920857438 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1015] ppid=953 vsize=10982696 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1015/stat : 1015 (java) S 953 958 30457 0 -1 1077944384 1 13154 0 0 0 0 5 3 20 0 15 0 222323128 11246280704 9585 33554432000 4194304 4196468 140735065520400 140625941019024 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1016] ppid=953 vsize=10982696 memory=140146460680656 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1016/stat : 1016 (java) S 953 958 30457 0 -1 1077944384 1 13154 0 0 0 0 5 3 20 0 15 0 222323128 11246280704 9585 33554432000 4194304 4196468 140735065520400 140625822284048 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1017] ppid=953 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1017/stat : 1017 (java) S 953 958 30457 0 -1 1077944384 1 13154 0 0 0 0 5 3 20 0 15 0 222323128 11246280704 9585 33554432000 4194304 4196468 140735065520400 140625821231760 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1018] ppid=953 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1018/stat : 1018 (java) S 953 958 30457 0 -1 1077944384 2 13154 0 0 0 0 5 3 20 0 15 0 222323128 11246280704 9585 33554432000 4194304 4196468 140735065520400 140625473886736 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1019] ppid=953 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1019/stat : 1019 (java) S 953 958 30457 0 -1 1077944384 2 13154 0 0 0 0 5 3 20 0 15 0 222323130 11246280704 9585 33554432000 4194304 4196468 140735065520400 140625429793392 140625936788098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1020] ppid=953 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1020/stat : 1020 (java) S 953 958 30457 0 -1 1077944384 13 13154 0 0 0 0 5 3 20 0 15 0 222323130 11246280704 9585 33554432000 4194304 4196468 140735065520400 140624812565792 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1021] ppid=953 vsize=10982696 memory=288230574492221466 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1021/stat : 1021 (java) S 953 958 30457 0 -1 1077944384 1 13154 0 0 0 0 5 3 20 0 15 0 222323130 11246280704 9585 33554432000 4194304 4196468 140735065520400 140624611239536 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1022] ppid=953 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1022/stat : 1022 (java) S 953 958 30457 0 -1 1077944384 3 13154 0 0 0 0 5 3 20 0 15 0 222323133 11246280704 9585 33554432000 4194304 4196468 140735065520400 140624303839824 140625936795547 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1023] ppid=953 vsize=10982696 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/958/task/1023/stat : 1023 (java) S 953 958 30457 0 -1 1077944384 543 13154 0 0 1 0 5 3 20 0 15 0 222323133 11246280704 9585 33554432000 4194304 4196468 140735065520400 140625428740208 140625936788098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1024] ppid=953 vsize=10982696 memory=6944656575208382560 CPUtime=0.09 cores=0,2,4,6
/proc/958/task/1024/stat : 1024 (java) S 953 958 30457 0 -1 1077944384 67 13154 0 0 1 0 5 3 20 0 15 0 222323133 11246280704 9585 33554432000 4194304 4196468 140735065520400 140625427687408 140625936788098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1025] ppid=953 vsize=10982696 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/958/task/1025/stat : 1025 (java) S 953 958 30457 0 -1 1077944384 597 13154 0 0 2 0 5 3 20 0 15 0 222323133 11246280704 9585 33554432000 4194304 4196468 140735065520400 140625426635120 140625936788098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1026] ppid=953 vsize=10982696 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1026/stat : 1026 (java) S 953 958 30457 0 -1 1077944384 3 13154 0 0 0 0 5 3 20 0 15 0 222323133 11246280704 9585 33554432000 4194304 4196468 140735065520400 140623873042912 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1027] ppid=953 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1027/stat : 1027 (java) S 953 958 30457 0 -1 1077944384 1 13154 0 0 0 0 5 3 20 0 15 0 222323133 11246280704 9585 33554432000 4194304 4196468 140735065520400 140625425583024 140625936788098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 35772 KiB

[startup+0.81053 s]*
/proc/loadavg: 1.74 1.42 1.35 3/215 1027
/proc/meminfo: memFree=5779612/32770624 swapFree=67108860/67108860
[pid=958] ppid=953 vsize=10983192 memory=51892 CPUtime=0.33 cores=0,2,4,6
/proc/958/stat : 958 (java) S 953 958 30457 0 -1 1077944320 9847 13154 0 0 23 2 5 3 20 0 15 0 222323065 11246788608 12973 33554432000 4194304 4196468 140735065520400 140735065502944 140625936776951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
/proc/958/statm: 2745798 12973 3096 1 0 2708109 0
[pid=958/tid=1014] ppid=953 vsize=10983192 memory=8389772277269004345 CPUtime=0.25 cores=0,2,4,6
/proc/958/task/1014/stat : 1014 (java) R 953 958 30457 0 -1 4202560 6425 13154 0 0 16 1 5 3 20 0 15 0 222323127 11246788608 13042 33554432000 4194304 4196468 140735065520400 140625908598064 140625920857438 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1015] ppid=953 vsize=10983192 memory=4294967661 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1015/stat : 1015 (java) S 953 958 30457 0 -1 1077944384 1 13154 0 0 0 0 5 3 20 0 15 0 222323128 11246788608 13042 33554432000 4194304 4196468 140735065520400 140625941019024 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1016] ppid=953 vsize=10983192 memory=3905667253870929568 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1016/stat : 1016 (java) S 953 958 30457 0 -1 1077944384 1 13154 0 0 0 0 5 3 20 0 15 0 222323128 11246788608 13042 33554432000 4194304 4196468 140735065520400 140625822284048 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1017] ppid=953 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1017/stat : 1017 (java) S 953 958 30457 0 -1 1077944384 1 13154 0 0 0 0 5 3 20 0 15 0 222323128 11246788608 13042 33554432000 4194304 4196468 140735065520400 140625821231760 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1018] ppid=953 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1018/stat : 1018 (java) S 953 958 30457 0 -1 1077944384 2 13154 0 0 0 0 5 3 20 0 15 0 222323128 11246788608 13042 33554432000 4194304 4196468 140735065520400 140625473886736 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1019] ppid=953 vsize=10983192 memory=140146592065152 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1019/stat : 1019 (java) S 953 958 30457 0 -1 1077944384 2 13154 0 0 0 0 5 3 20 0 15 0 222323130 11246788608 13042 33554432000 4194304 4196468 140735065520400 140625429793392 140625936788098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1020] ppid=953 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1020/stat : 1020 (java) S 953 958 30457 0 -1 1077944384 13 13154 0 0 0 0 5 3 20 0 15 0 222323130 11246788608 13042 33554432000 4194304 4196468 140735065520400 140624812565792 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1021] ppid=953 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1021/stat : 1021 (java) S 953 958 30457 0 -1 1077944384 1 13154 0 0 0 0 5 3 20 0 15 0 222323130 11246788608 13042 33554432000 4194304 4196468 140735065520400 140624611239536 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1022] ppid=953 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1022/stat : 1022 (java) S 953 958 30457 0 -1 1077944384 3 13154 0 0 0 0 5 3 20 0 15 0 222323133 11246788608 13042 33554432000 4194304 4196468 140735065520400 140624303839824 140625936795547 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1023] ppid=953 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/958/task/1023/stat : 1023 (java) S 953 958 30457 0 -1 1077944384 543 13154 0 0 1 0 5 3 20 0 15 0 222323133 11246788608 13042 33554432000 4194304 4196468 140735065520400 140625428740208 140625936788098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1024] ppid=953 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/958/task/1024/stat : 1024 (java) R 953 958 30457 0 -1 4202560 70 13154 0 0 1 0 5 3 20 0 15 0 222323133 11246788608 13042 33554432000 4194304 4196468 140735065520400 140625427687408 140625919989566 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1025] ppid=953 vsize=10983192 memory=140146592065152 CPUtime=0.12 cores=0,2,4,6
/proc/958/task/1025/stat : 1025 (java) S 953 958 30457 0 -1 1077944384 619 13154 0 0 4 0 5 3 20 0 15 0 222323133 11246788608 13042 33554432000 4194304 4196468 140735065520400 140625426635120 140625936788098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1026] ppid=953 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1026/stat : 1026 (java) S 953 958 30457 0 -1 1077944384 3 13154 0 0 0 0 5 3 20 0 15 0 222323133 11246788608 13042 33554432000 4194304 4196468 140735065520400 140623873042912 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1027] ppid=953 vsize=10983192 memory=140146592065152 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1027/stat : 1027 (java) S 953 958 30457 0 -1 1077944384 1 13154 0 0 0 0 5 3 20 0 15 0 222323133 11246788608 13042 33554432000 4194304 4196468 140735065520400 140625425583024 140625936788098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 51892 KiB

[startup+1.51114 s]
/proc/loadavg: 1.74 1.42 1.35 3/215 1027
/proc/meminfo: memFree=5733076/32770624 swapFree=67108860/67108860
[pid=958] ppid=953 vsize=10989824 memory=109376 CPUtime=1.42 cores=0,2,4,6
/proc/958/stat : 958 (java) S 953 958 30457 0 -1 1077944320 18971 13154 0 0 128 6 5 3 20 0 15 0 222323065 11253579776 27344 33554432000 4194304 4196468 140735065520400 140735065502944 140625936776951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
/proc/958/statm: 2747456 27344 3410 1 0 2709133 0
[pid=958/tid=1014] ppid=953 vsize=10989824 memory=4032 CPUtime=0.94 cores=0,2,4,6
/proc/958/task/1014/stat : 1014 (java) R 953 958 30457 0 -1 4202560 14146 13154 0 0 81 5 5 3 20 0 15 0 222323127 11253579776 27344 33554432000 4194304 4196468 140735065520400 140625908594272 140625920857438 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1015] ppid=953 vsize=10989824 memory=67712 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1015/stat : 1015 (java) S 953 958 30457 0 -1 1077944384 1 13154 0 0 0 0 5 3 20 0 15 0 222323128 11253579776 27344 33554432000 4194304 4196468 140735065520400 140625941019024 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1016] ppid=953 vsize=10989824 memory=60384 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1016/stat : 1016 (java) S 953 958 30457 0 -1 1077944384 1 13154 0 0 0 0 5 3 20 0 15 0 222323128 11253579776 27344 33554432000 4194304 4196468 140735065520400 140625822284048 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1017] ppid=953 vsize=10989824 memory=1240 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1017/stat : 1017 (java) S 953 958 30457 0 -1 1077944384 1 13154 0 0 0 0 5 3 20 0 15 0 222323128 11253579776 27344 33554432000 4194304 4196468 140735065520400 140625821231760 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1018] ppid=953 vsize=10989824 memory=6947385649911455296 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1018/stat : 1018 (java) S 953 958 30457 0 -1 1077944384 2 13154 0 0 0 0 5 3 20 0 15 0 222323128 11253579776 27344 33554432000 4194304 4196468 140735065520400 140625473886736 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1019] ppid=953 vsize=10989824 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1019/stat : 1019 (java) S 953 958 30457 0 -1 1077944384 5 13154 0 0 0 0 5 3 20 0 15 0 222323130 11253579776 27344 33554432000 4194304 4196468 140735065520400 140625429793392 140625936788098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1020] ppid=953 vsize=10989824 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1020/stat : 1020 (java) S 953 958 30457 0 -1 1077944384 13 13154 0 0 0 0 5 3 20 0 15 0 222323130 11253579776 27344 33554432000 4194304 4196468 140735065520400 140624812565792 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1021] ppid=953 vsize=10989824 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1021/stat : 1021 (java) S 953 958 30457 0 -1 1077944384 1 13154 0 0 0 0 5 3 20 0 15 0 222323130 11253579776 27344 33554432000 4194304 4196468 140735065520400 140624611239536 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1022] ppid=953 vsize=10989824 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1022/stat : 1022 (java) S 953 958 30457 0 -1 1077944384 3 13154 0 0 0 0 5 3 20 0 15 0 222323133 11253579776 27344 33554432000 4194304 4196468 140735065520400 140624303839824 140625936795547 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1023] ppid=953 vsize=10989824 memory=8 CPUtime=0.22 cores=0,2,4,6
/proc/958/task/1023/stat : 1023 (java) R 953 958 30457 0 -1 4202560 1214 13154 0 0 14 0 5 3 20 0 15 0 222323133 11253579776 27344 33554432000 4194304 4196468 140735065520400 140625428726608 140625916600537 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1024] ppid=953 vsize=10989824 memory=8 CPUtime=0.19 cores=0,2,4,6
/proc/958/task/1024/stat : 1024 (java) S 953 958 30457 0 -1 1077944384 549 13154 0 0 11 0 5 3 20 0 15 0 222323133 11253579776 27344 33554432000 4194304 4196468 140735065520400 140625427687408 140625936788098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1025] ppid=953 vsize=10989824 memory=8 CPUtime=0.28 cores=0,2,4,6
/proc/958/task/1025/stat : 1025 (java) S 953 958 30457 0 -1 1077944384 844 13154 0 0 20 0 5 3 20 0 15 0 222323133 11253579776 27344 33554432000 4194304 4196468 140735065520400 140625426635120 140625936788098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1026] ppid=953 vsize=10989824 memory=8 CPUtime=0.08 cores=0,2,4,6

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

/proc/958/task/1014/stat : 1014 (java) R 953 958 30457 0 -1 4202560 244761 13154 0 0 236948 78 5 3 20 0 15 0 222323127 11278843904 888917 33554432000 4194304 4196468 140735065520400 140625908612400 140625517007859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1015] ppid=953 vsize=11014496 memory=3555668 CPUtime=10.19 cores=0,2,4,6
/proc/958/task/1015/stat : 1015 (java) S 953 958 30457 0 -1 1077944384 33983 13154 0 0 970 41 5 3 20 0 15 0 222323128 11278843904 888917 33554432000 4194304 4196468 140735065520400 140625941019024 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1016] ppid=953 vsize=11014496 memory=3555668 CPUtime=10.2 cores=0,2,4,6
/proc/958/task/1016/stat : 1016 (java) S 953 958 30457 0 -1 1077944384 26371 13154 0 0 970 42 5 3 20 0 15 0 222323128 11278843904 888917 33554432000 4194304 4196468 140735065520400 140625822284048 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1017] ppid=953 vsize=11014496 memory=3555668 CPUtime=10.2 cores=0,2,4,6
/proc/958/task/1017/stat : 1017 (java) S 953 958 30457 0 -1 1077944384 24393 13154 0 0 972 40 5 3 20 0 15 0 222323128 11278843904 888917 33554432000 4194304 4196468 140735065520400 140625821231760 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1018] ppid=953 vsize=11014496 memory=3555668 CPUtime=10.23 cores=0,2,4,6
/proc/958/task/1018/stat : 1018 (java) S 953 958 30457 0 -1 1077944384 21815 13154 0 0 975 40 5 3 20 0 15 0 222323128 11278843904 888917 33554432000 4194304 4196468 140735065520400 140625473886736 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1019] ppid=953 vsize=11014496 memory=3555668 CPUtime=0.81 cores=0,2,4,6
/proc/958/task/1019/stat : 1019 (java) S 953 958 30457 0 -1 1077944384 36113 13154 0 0 66 7 5 3 20 0 15 0 222323130 11278843904 888917 33554432000 4194304 4196468 140735065520400 140625429793392 140625936788098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1020] ppid=953 vsize=11014496 memory=3555668 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1020/stat : 1020 (java) S 953 958 30457 0 -1 1077944384 24 13154 0 0 0 0 5 3 20 0 15 0 222323130 11278843904 888917 33554432000 4194304 4196468 140735065520400 140624812565856 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1021] ppid=953 vsize=11014496 memory=3555668 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1021/stat : 1021 (java) S 953 958 30457 0 -1 1077944384 14 13154 0 0 0 0 5 3 20 0 15 0 222323130 11278843904 888917 33554432000 4194304 4196468 140735065520400 140624611239552 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1022] ppid=953 vsize=11014496 memory=3555668 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1022/stat : 1022 (java) S 953 958 30457 0 -1 1077944384 3 13154 0 0 0 0 5 3 20 0 15 0 222323133 11278843904 888917 33554432000 4194304 4196468 140735065520400 140624303839824 140625936795547 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1023] ppid=953 vsize=11014496 memory=3555668 CPUtime=11.16 cores=0,2,4,6
/proc/958/task/1023/stat : 1023 (java) S 953 958 30457 0 -1 1077944384 65975 13154 0 0 1101 7 5 3 20 0 15 0 222323133 11278843904 888917 33554432000 4194304 4196468 140735065520400 140625428740208 140625936788098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1024] ppid=953 vsize=11014496 memory=4028 CPUtime=11.28 cores=0,2,4,6
/proc/958/task/1024/stat : 1024 (java) S 953 958 30457 0 -1 1077944384 62519 13154 0 0 1114 6 5 3 20 0 15 0 222323133 11278843904 888917 33554432000 4194304 4196468 140735065520400 140625427687408 140625936788098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1025] ppid=953 vsize=11014496 memory=68 CPUtime=3.12 cores=0,2,4,6
/proc/958/task/1025/stat : 1025 (java) S 953 958 30457 0 -1 1077944384 42351 13154 0 0 297 7 5 3 20 0 15 0 222323133 11278843904 888917 33554432000 4194304 4196468 140735065520400 140625426635120 140625936788098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1026] ppid=953 vsize=11014496 memory=3555668 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1026/stat : 1026 (java) S 953 958 30457 0 -1 1077944384 3 13154 0 0 0 0 5 3 20 0 15 0 222323133 11278843904 888917 33554432000 4194304 4196468 140735065520400 140623873042912 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1027] ppid=953 vsize=11014496 memory=3555668 CPUtime=1.34 cores=0,2,4,6
/proc/958/task/1027/stat : 1027 (java) S 953 958 30457 0 -1 1077944384 2573 13154 0 0 63 63 5 3 20 0 15 0 222323133 11278843904 888917 33554432000 4194304 4196468 140735065520400 140625425583024 140625936788098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
Current children cumulated CPU time: 2438.27 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3555668 KiB

[startup+2442.3 s]
/proc/loadavg: 1.49 1.46 1.49 3/216 1110
/proc/meminfo: memFree=2156556/32770624 swapFree=67108860/67108860
[pid=958] ppid=953 vsize=11014496 memory=3555828 CPUtime=2498.6 cores=0,2,4,6
/proc/958/stat : 958 (java) S 953 958 30457 0 -1 1077944320 574607 13154 0 0 249528 324 5 3 20 0 15 0 222323065 11278843904 888957 33554432000 4194304 4196468 140735065520400 140735065502944 140625936776951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
/proc/958/statm: 2753624 888957 3533 1 0 2715277 0
[pid=958/tid=1014] ppid=953 vsize=11014496 memory=3555828 CPUtime=2430.23 cores=0,2,4,6
/proc/958/task/1014/stat : 1014 (java) R 953 958 30457 0 -1 4202560 250370 13154 0 0 242936 79 5 3 20 0 15 0 222323127 11278843904 888957 33554432000 4194304 4196468 140735065520400 140625908612304 140625519148352 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1015] ppid=953 vsize=11014496 memory=3555828 CPUtime=10.28 cores=0,2,4,6
/proc/958/task/1015/stat : 1015 (java) S 953 958 30457 0 -1 1077944384 34503 13154 0 0 979 41 5 3 20 0 15 0 222323128 11278843904 888957 33554432000 4194304 4196468 140735065520400 140625941019024 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1016] ppid=953 vsize=11014496 memory=3555668 CPUtime=10.29 cores=0,2,4,6
/proc/958/task/1016/stat : 1016 (java) S 953 958 30457 0 -1 1077944384 26832 13154 0 0 979 42 5 3 20 0 15 0 222323128 11278843904 888957 33554432000 4194304 4196468 140735065520400 140625822284048 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1017] ppid=953 vsize=11014496 memory=3555668 CPUtime=10.3 cores=0,2,4,6
/proc/958/task/1017/stat : 1017 (java) S 953 958 30457 0 -1 1077944384 24713 13154 0 0 981 41 5 3 20 0 15 0 222323128 11278843904 888957 33554432000 4194304 4196468 140735065520400 140625821231760 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1018] ppid=953 vsize=11014496 memory=3555668 CPUtime=10.32 cores=0,2,4,6
/proc/958/task/1018/stat : 1018 (java) S 953 958 30457 0 -1 1077944384 23569 13154 0 0 984 40 5 3 20 0 15 0 222323128 11278843904 888957 33554432000 4194304 4196468 140735065520400 140625473886736 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1019] ppid=953 vsize=11014496 memory=4206468019014099040 CPUtime=0.82 cores=0,2,4,6
/proc/958/task/1019/stat : 1019 (java) S 953 958 30457 0 -1 1077944384 36428 13154 0 0 67 7 5 3 20 0 15 0 222323130 11278843904 888957 33554432000 4194304 4196468 140735065520400 140625429793392 140625936788098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1020] ppid=953 vsize=11014496 memory=3555668 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1020/stat : 1020 (java) S 953 958 30457 0 -1 1077944384 24 13154 0 0 0 0 5 3 20 0 15 0 222323130 11278843904 888957 33554432000 4194304 4196468 140735065520400 140624812565856 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1021] ppid=953 vsize=11014496 memory=3555668 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1021/stat : 1021 (java) S 953 958 30457 0 -1 1077944384 14 13154 0 0 0 0 5 3 20 0 15 0 222323130 11278843904 888957 33554432000 4194304 4196468 140735065520400 140624611239552 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1022] ppid=953 vsize=11014496 memory=3555828 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1022/stat : 1022 (java) S 953 958 30457 0 -1 1077944384 3 13154 0 0 0 0 5 3 20 0 15 0 222323133 11278843904 888957 33554432000 4194304 4196468 140735065520400 140624303839824 140625936795547 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1023] ppid=953 vsize=11014496 memory=3555828 CPUtime=11.17 cores=0,2,4,6
/proc/958/task/1023/stat : 1023 (java) S 953 958 30457 0 -1 1077944384 68092 13154 0 0 1102 7 5 3 20 0 15 0 222323133 11278843904 888957 33554432000 4194304 4196468 140735065520400 140625428740208 140625936788098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1024] ppid=953 vsize=11014496 memory=3555828 CPUtime=11.29 cores=0,2,4,6
/proc/958/task/1024/stat : 1024 (java) S 953 958 30457 0 -1 1077944384 62792 13154 0 0 1115 6 5 3 20 0 15 0 222323133 11278843904 888957 33554432000 4194304 4196468 140735065520400 140625427687408 140625936788098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1025] ppid=953 vsize=11014496 memory=3555828 CPUtime=3.12 cores=0,2,4,6
/proc/958/task/1025/stat : 1025 (java) S 953 958 30457 0 -1 1077944384 42433 13154 0 0 297 7 5 3 20 0 15 0 222323133 11278843904 888957 33554432000 4194304 4196468 140735065520400 140625426635120 140625936788098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1026] ppid=953 vsize=11014496 memory=34496 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1026/stat : 1026 (java) S 953 958 30457 0 -1 1077944384 3 13154 0 0 0 0 5 3 20 0 15 0 222323133 11278843904 888957 33554432000 4194304 4196468 140735065520400 140623873042912 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1027] ppid=953 vsize=11014496 memory=3555668 CPUtime=1.37 cores=0,2,4,6
/proc/958/task/1027/stat : 1027 (java) S 953 958 30457 0 -1 1077944384 2641 13154 0 0 65 64 5 3 20 0 15 0 222323133 11278843904 888957 33554432000 4194304 4196468 140735065520400 140625425583024 140625936788098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
Current children cumulated CPU time: 2498.6 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3555828 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2463.7 s]
/proc/loadavg: 1.87 1.55 1.52 3/217 1277
/proc/meminfo: memFree=2323716/32770624 swapFree=67108860/67108860
[pid=958] ppid=953 vsize=11014496 memory=3556400 CPUtime=2520.09 cores=0,2,4,6
/proc/958/stat : 958 (java) S 953 958 30457 0 -1 1077944320 576692 13154 0 0 251677 324 5 3 20 0 15 0 222323065 11278843904 889100 33554432000 4194304 4196468 140735065520400 140735065502944 140625936776951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
/proc/958/statm: 2753624 889100 3533 1 0 2715277 0
[pid=958/tid=1014] ppid=953 vsize=11014496 memory=3556400 CPUtime=2451.58 cores=0,2,4,6
/proc/958/task/1014/stat : 1014 (java) R 953 958 30457 0 -1 4202560 252291 13154 0 0 245071 79 5 3 20 0 15 0 222323127 11278843904 889100 33554432000 4194304 4196468 140735065520400 140625908612464 140625521601689 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1015] ppid=953 vsize=11014496 memory=3556400 CPUtime=10.31 cores=0,2,4,6
/proc/958/task/1015/stat : 1015 (java) S 953 958 30457 0 -1 1077944384 34554 13154 0 0 982 41 5 3 20 0 15 0 222323128 11278843904 889100 33554432000 4194304 4196468 140735065520400 140625941019024 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1016] ppid=953 vsize=11014496 memory=3556400 CPUtime=10.33 cores=0,2,4,6
/proc/958/task/1016/stat : 1016 (java) S 953 958 30457 0 -1 1077944384 26871 13154 0 0 983 42 5 3 20 0 15 0 222323128 11278843904 889100 33554432000 4194304 4196468 140735065520400 140625822284048 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1017] ppid=953 vsize=11014496 memory=3556400 CPUtime=10.33 cores=0,2,4,6
/proc/958/task/1017/stat : 1017 (java) S 953 958 30457 0 -1 1077944384 24752 13154 0 0 984 41 5 3 20 0 15 0 222323128 11278843904 889100 33554432000 4194304 4196468 140735065520400 140625821231760 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1018] ppid=953 vsize=11014496 memory=3556400 CPUtime=10.35 cores=0,2,4,6
/proc/958/task/1018/stat : 1018 (java) S 953 958 30457 0 -1 1077944384 23604 13154 0 0 987 40 5 3 20 0 15 0 222323128 11278843904 889100 33554432000 4194304 4196468 140735065520400 140625473886736 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1019] ppid=953 vsize=11014496 memory=3556400 CPUtime=0.82 cores=0,2,4,6
/proc/958/task/1019/stat : 1019 (java) S 953 958 30457 0 -1 1077944384 36428 13154 0 0 67 7 5 3 20 0 15 0 222323130 11278843904 889100 33554432000 4194304 4196468 140735065520400 140625429793392 140625936788098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1020] ppid=953 vsize=11014496 memory=4206468019014099040 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1020/stat : 1020 (java) S 953 958 30457 0 -1 1077944384 24 13154 0 0 0 0 5 3 20 0 15 0 222323130 11278843904 889100 33554432000 4194304 4196468 140735065520400 140624812565856 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1021] ppid=953 vsize=11014496 memory=3556400 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1021/stat : 1021 (java) S 953 958 30457 0 -1 1077944384 14 13154 0 0 0 0 5 3 20 0 15 0 222323130 11278843904 889100 33554432000 4194304 4196468 140735065520400 140624611239552 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1022] ppid=953 vsize=11014496 memory=3556400 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1022/stat : 1022 (java) S 953 958 30457 0 -1 1077944384 3 13154 0 0 0 0 5 3 20 0 15 0 222323133 11278843904 889100 33554432000 4194304 4196468 140735065520400 140624303839824 140625936795547 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1023] ppid=953 vsize=11014496 memory=4028 CPUtime=11.17 cores=0,2,4,6
/proc/958/task/1023/stat : 1023 (java) S 953 958 30457 0 -1 1077944384 68092 13154 0 0 1102 7 5 3 20 0 15 0 222323133 11278843904 889100 33554432000 4194304 4196468 140735065520400 140625428740208 140625936788098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1024] ppid=953 vsize=11014496 memory=3555668 CPUtime=11.29 cores=0,2,4,6
/proc/958/task/1024/stat : 1024 (java) S 953 958 30457 0 -1 1077944384 62792 13154 0 0 1115 6 5 3 20 0 15 0 222323133 11278843904 889100 33554432000 4194304 4196468 140735065520400 140625427687408 140625936788098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1025] ppid=953 vsize=11014496 memory=1628 CPUtime=3.12 cores=0,2,4,6
/proc/958/task/1025/stat : 1025 (java) S 953 958 30457 0 -1 1077944384 42433 13154 0 0 297 7 5 3 20 0 15 0 222323133 11278843904 889100 33554432000 4194304 4196468 140735065520400 140625426635120 140625936788098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1026] ppid=953 vsize=11014496 memory=280291243490456 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1026/stat : 1026 (java) S 953 958 30457 0 -1 1077944384 3 13154 0 0 0 0 5 3 20 0 15 0 222323133 11278843904 889100 33554432000 4194304 4196468 140735065520400 140623873042912 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1027] ppid=953 vsize=11014496 memory=3556400 CPUtime=1.38 cores=0,2,4,6
/proc/958/task/1027/stat : 1027 (java) S 953 958 30457 0 -1 1077944384 2641 13154 0 0 65 65 5 3 20 0 15 0 222323133 11278843904 889100 33554432000 4194304 4196468 140735065520400 140625425583024 140625936788098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3556400 KiB

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

[startup+2463.75 s]
# the end of solver process 958 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.84 s, system=3.31018 s

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

[startup+2463.7 s]
/proc/loadavg: 1.87 1.55 1.52 3/217 1277
/proc/meminfo: memFree=2323716/32770624 swapFree=67108860/67108860
[pid=958] ppid=953 vsize=11014496 memory=3556400 CPUtime=2520.09 cores=0,2,4,6
/proc/958/stat : 958 (java) S 953 958 30457 0 -1 1077944320 576692 13154 0 0 251677 324 5 3 20 0 15 0 222323065 11278843904 889100 33554432000 4194304 4196468 140735065520400 140735065502944 140625936776951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
/proc/958/statm: 2753624 889100 3533 1 0 2715277 0
[pid=958/tid=1014] ppid=953 vsize=11014496 memory=3556400 CPUtime=2451.58 cores=0,2,4,6
/proc/958/task/1014/stat : 1014 (java) R 953 958 30457 0 -1 4202560 252291 13154 0 0 245071 79 5 3 20 0 15 0 222323127 11278843904 889100 33554432000 4194304 4196468 140735065520400 140625908612464 140625521601689 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1015] ppid=953 vsize=11014496 memory=3556400 CPUtime=10.31 cores=0,2,4,6
/proc/958/task/1015/stat : 1015 (java) S 953 958 30457 0 -1 1077944384 34554 13154 0 0 982 41 5 3 20 0 15 0 222323128 11278843904 889100 33554432000 4194304 4196468 140735065520400 140625941019024 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1016] ppid=953 vsize=11014496 memory=3556400 CPUtime=10.33 cores=0,2,4,6
/proc/958/task/1016/stat : 1016 (java) S 953 958 30457 0 -1 1077944384 26871 13154 0 0 983 42 5 3 20 0 15 0 222323128 11278843904 889100 33554432000 4194304 4196468 140735065520400 140625822284048 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1017] ppid=953 vsize=11014496 memory=3556400 CPUtime=10.33 cores=0,2,4,6
/proc/958/task/1017/stat : 1017 (java) S 953 958 30457 0 -1 1077944384 24752 13154 0 0 984 41 5 3 20 0 15 0 222323128 11278843904 889100 33554432000 4194304 4196468 140735065520400 140625821231760 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1018] ppid=953 vsize=11014496 memory=3556400 CPUtime=10.35 cores=0,2,4,6
/proc/958/task/1018/stat : 1018 (java) S 953 958 30457 0 -1 1077944384 23604 13154 0 0 987 40 5 3 20 0 15 0 222323128 11278843904 889100 33554432000 4194304 4196468 140735065520400 140625473886736 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1019] ppid=953 vsize=11014496 memory=3556400 CPUtime=0.82 cores=0,2,4,6
/proc/958/task/1019/stat : 1019 (java) S 953 958 30457 0 -1 1077944384 36428 13154 0 0 67 7 5 3 20 0 15 0 222323130 11278843904 889100 33554432000 4194304 4196468 140735065520400 140625429793392 140625936788098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1020] ppid=953 vsize=11014496 memory=4206468019014099040 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1020/stat : 1020 (java) S 953 958 30457 0 -1 1077944384 24 13154 0 0 0 0 5 3 20 0 15 0 222323130 11278843904 889100 33554432000 4194304 4196468 140735065520400 140624812565856 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1021] ppid=953 vsize=11014496 memory=3556400 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1021/stat : 1021 (java) S 953 958 30457 0 -1 1077944384 14 13154 0 0 0 0 5 3 20 0 15 0 222323130 11278843904 889100 33554432000 4194304 4196468 140735065520400 140624611239552 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1022] ppid=953 vsize=11014496 memory=3556400 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1022/stat : 1022 (java) S 953 958 30457 0 -1 1077944384 3 13154 0 0 0 0 5 3 20 0 15 0 222323133 11278843904 889100 33554432000 4194304 4196468 140735065520400 140624303839824 140625936795547 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1023] ppid=953 vsize=11014496 memory=4028 CPUtime=11.17 cores=0,2,4,6
/proc/958/task/1023/stat : 1023 (java) S 953 958 30457 0 -1 1077944384 68092 13154 0 0 1102 7 5 3 20 0 15 0 222323133 11278843904 889100 33554432000 4194304 4196468 140735065520400 140625428740208 140625936788098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1024] ppid=953 vsize=11014496 memory=3555668 CPUtime=11.29 cores=0,2,4,6
/proc/958/task/1024/stat : 1024 (java) S 953 958 30457 0 -1 1077944384 62792 13154 0 0 1115 6 5 3 20 0 15 0 222323133 11278843904 889100 33554432000 4194304 4196468 140735065520400 140625427687408 140625936788098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1025] ppid=953 vsize=11014496 memory=1628 CPUtime=3.12 cores=0,2,4,6
/proc/958/task/1025/stat : 1025 (java) S 953 958 30457 0 -1 1077944384 42433 13154 0 0 297 7 5 3 20 0 15 0 222323133 11278843904 889100 33554432000 4194304 4196468 140735065520400 140625426635120 140625936788098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1026] ppid=953 vsize=11014496 memory=280291243490456 CPUtime=0.08 cores=0,2,4,6
/proc/958/task/1026/stat : 1026 (java) S 953 958 30457 0 -1 1077944384 3 13154 0 0 0 0 5 3 20 0 15 0 222323133 11278843904 889100 33554432000 4194304 4196468 140735065520400 140623873042912 140625936787157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
[pid=958/tid=1027] ppid=953 vsize=11014496 memory=3556400 CPUtime=1.38 cores=0,2,4,6
/proc/958/task/1027/stat : 1027 (java) S 953 958 30457 0 -1 1077944384 2641 13154 0 0 65 65 5 3 20 0 15 0 222323133 11278843904 889100 33554432000 4194304 4196468 140735065520400 140625425583024 140625936788098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17436672 140735065524835 140735065527644 140735065527644 140735065530319 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3556400 KiB

Child status: 143
Real time (s): 2463.75
CPU time (s): 2520.15
CPU user time (s): 2516.84
CPU system time (s): 3.31018
CPU usage (%): 102.289
Max. virtual memory (cumulated for all children) (KiB): 11014656
Max. memory (cumulated for all children) (KiB): 3556400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.84
system time used= 3.31018
maximum resident set size= 3560664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 592025
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71396
involuntary context switches= 3544


# summary of solver processes directly reported to runsolver:
#   pid: 958
#   total CPU time (s): 2520.15
#   total CPU user time (s): 2516.84
#   total CPU system time (s): 3.31018

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9876 second user time and 23.0449 second system time

The end
Name	PseudoBoolean-opt/ Pb-circ6-3_c18.xml
MD5SUM	d3b486de415a0401f3261f3cd9b637d1
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	66
Best CPU time to get the best result obtained on this benchmark	2400.09
Satisfiable
(Un)Satisfiability was proved
Number of variables	540
Number of constraints	4476
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":540}]
Minimum variable degree	12
Maximum variable degree	76
Distribution of variable degrees	[{"degree":12,"count":12},{"degree":13,"count":60},{"degree":18,"count":12},{"degree":19,"count":12},{"degree":20,"count":54},{"degree":26,"count":30},{"degree":28,"count":120},{"degree":35,"count":30},{"degree":44,"count":30},{"degree":52,"count":30},{"degree":60,"count":30},{"degree":68,"count":30},{"degree":74,"count":30},{"degree":75,"count":30},{"degree":76,"count":30}]
Minimum constraint arity	2
Maximum constraint arity	20
Distribution of constraint arities	[{"arity":2,"count":630},{"arity":3,"count":1860},{"arity":4,"count":282},{"arity":5,"count":372},{"arity":6,"count":300},{"arity":7,"count":240},{"arity":8,"count":240},{"arity":9,"count":240},{"arity":10,"count":270},{"arity":20,"count":42}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":4476}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4304218

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
