2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
sat4j-CSP 2017-07-05	SAT (TO)	8	2520.3701	2502.05
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 (14121 MiB free)
  memory of node 1: 16384 MiB (4298 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263025-1502632475/watcher-4263025-1502632475 -o /tmp/evaluation-result-4263025-1502632475/solver-4263025-1502632475 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node114-1502619125-747 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263025-1502632475.xml 

running on 4 cores: 0,2,4,6

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

solver pid=3225, runsolver pid=3222

[startup+0.100133 s]*
/proc/loadavg: 4.57 3.22 2.61 7/216 3240
/proc/meminfo: memFree=18843392/32770624 swapFree=67108860/67108860
[pid=3225] ppid=3222 vsize=10555400 memory=30012 CPUtime=0.12 cores=0,2,4,6
/proc/3225/stat : 3225 (java) S 3222 3225 30942 0 -1 1077944320 6571 0 0 0 11 1 0 0 20 0 15 0 96335371 10808729600 7503 33554432000 4194304 4196468 140720380378624 140720380361168 140058052566775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
/proc/3225/statm: 2638850 7503 2812 1 0 2627263 0
[pid=3225/tid=3227] ppid=3222 vsize=10555400 memory=7022364594140610616 CPUtime=0.09 cores=0,2,4,6
/proc/3225/task/3227/stat : 3227 (java) R 3222 3225 30942 0 -1 4202560 4403 0 0 0 8 1 0 0 20 0 15 0 96335372 10808729600 7503 33554432000 4194304 4196468 140720380378624 140058056788256 140058052578710 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3228] ppid=3222 vsize=10555400 memory=343 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3228/stat : 3228 (java) S 3222 3225 30942 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96335372 10808729600 7503 33554432000 4194304 4196468 140720380378624 140057659649040 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3229] ppid=3222 vsize=10555400 memory=288370260551734912 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3229/stat : 3229 (java) S 3222 3225 30942 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96335373 10808729600 7503 33554432000 4194304 4196468 140720380378624 140057658596496 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3230] ppid=3222 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3230/stat : 3230 (java) S 3222 3225 30942 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96335373 10808729600 7503 33554432000 4194304 4196468 140720380378624 140057657543440 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3231] ppid=3222 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3231/stat : 3231 (java) S 3222 3225 30942 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96335373 10808729600 7503 33554432000 4194304 4196468 140720380378624 140057656490896 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3232] ppid=3222 vsize=10555400 memory=139884400023168 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3232/stat : 3232 (java) S 3222 3225 30942 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96335374 10808729600 7503 33554432000 4194304 4196468 140720380378624 140057612216560 140058052577922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3233] ppid=3222 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3233/stat : 3233 (java) S 3222 3225 30942 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96335374 10808729600 7503 33554432000 4194304 4196468 140720380378624 140057611162784 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3234] ppid=3222 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3234/stat : 3234 (java) S 3222 3225 30942 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96335375 10808729600 7503 33554432000 4194304 4196468 140720380378624 140057610109680 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3235] ppid=3222 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3235/stat : 3235 (java) S 3222 3225 30942 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96335377 10808729600 7503 33554432000 4194304 4196468 140720380378624 140057541339088 140058052585371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3236] ppid=3222 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3236/stat : 3236 (java) S 3222 3225 30942 0 -1 1077944384 441 0 0 0 0 0 0 0 20 0 15 0 96335377 10808729600 7503 33554432000 4194304 4196468 140720380378624 140057540287216 140058052577922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3237] ppid=3222 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3237/stat : 3237 (java) S 3222 3225 30942 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96335377 10808729600 7503 33554432000 4194304 4196468 140720380378624 140057539234672 140058052577922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3238] ppid=3222 vsize=10555400 memory=139884400023168 CPUtime=0.02 cores=0,2,4,6
/proc/3225/task/3238/stat : 3238 (java) R 3222 3225 30942 0 -1 4202560 361 0 0 0 2 0 0 0 20 0 15 0 96335377 10808729600 7503 33554432000 4194304 4196468 140720380378624 140057538181616 140058037707744 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3239] ppid=3222 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3239/stat : 3239 (java) S 3222 3225 30942 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96335377 10808729600 7503 33554432000 4194304 4196468 140720380378624 140057537129312 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3240] ppid=3222 vsize=10555400 memory=139884400023168 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3240/stat : 3240 (java) S 3222 3225 30942 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96335377 10808729600 7503 33554432000 4194304 4196468 140720380378624 140057536076336 140058052577922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 30012 KiB

[startup+0.215959 s]*
/proc/loadavg: 4.57 3.22 2.61 6/216 3240
/proc/meminfo: memFree=18834168/32770624 swapFree=67108860/67108860
[pid=3225] ppid=3222 vsize=10555400 memory=39652 CPUtime=0.32 cores=0,2,4,6
/proc/3225/stat : 3225 (java) S 3222 3225 30942 0 -1 1077944320 8296 0 0 0 30 2 0 0 20 0 15 0 96335371 10808729600 9913 33554432000 4194304 4196468 140720380378624 140720380361168 140058052566775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
/proc/3225/statm: 2638850 9913 2936 1 0 2627263 0
[pid=3225/tid=3227] ppid=3222 vsize=10555400 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/3225/task/3227/stat : 3227 (java) R 3222 3225 30942 0 -1 4202560 5303 0 0 0 19 1 0 0 20 0 15 0 96335372 10808729600 9986 33554432000 4194304 4196468 140720380378624 140058056794032 140058036647262 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3228] ppid=3222 vsize=10555400 memory=343 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3228/stat : 3228 (java) S 3222 3225 30942 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96335372 10808729600 9986 33554432000 4194304 4196468 140720380378624 140057659649040 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3229] ppid=3222 vsize=10555400 memory=288370260551734912 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3229/stat : 3229 (java) S 3222 3225 30942 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96335373 10808729600 9986 33554432000 4194304 4196468 140720380378624 140057658596496 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3230] ppid=3222 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3230/stat : 3230 (java) S 3222 3225 30942 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96335373 10808729600 9986 33554432000 4194304 4196468 140720380378624 140057657543440 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3231] ppid=3222 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3231/stat : 3231 (java) S 3222 3225 30942 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96335373 10808729600 9986 33554432000 4194304 4196468 140720380378624 140057656490896 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3232] ppid=3222 vsize=10555400 memory=139884400023168 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3232/stat : 3232 (java) S 3222 3225 30942 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96335374 10808729600 9986 33554432000 4194304 4196468 140720380378624 140057612216560 140058052577922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3233] ppid=3222 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3233/stat : 3233 (java) S 3222 3225 30942 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96335374 10808729600 9986 33554432000 4194304 4196468 140720380378624 140057611162784 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3234] ppid=3222 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3234/stat : 3234 (java) S 3222 3225 30942 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96335375 10808729600 9986 33554432000 4194304 4196468 140720380378624 140057610109680 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3235] ppid=3222 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3235/stat : 3235 (java) S 3222 3225 30942 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96335377 10808729600 9986 33554432000 4194304 4196468 140720380378624 140057541339088 140058052585371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3236] ppid=3222 vsize=10555400 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3225/task/3236/stat : 3236 (java) S 3222 3225 30942 0 -1 1077944384 659 0 0 0 2 0 0 0 20 0 15 0 96335377 10808729600 9986 33554432000 4194304 4196468 140720380378624 140057540287216 140058052577922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3237] ppid=3222 vsize=10555400 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/3225/task/3237/stat : 3237 (java) S 3222 3225 30942 0 -1 1077944384 132 0 0 0 1 0 0 0 20 0 15 0 96335377 10808729600 9986 33554432000 4194304 4196468 140720380378624 140057539234672 140058052577922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3238] ppid=3222 vsize=10555400 memory=139884400023168 CPUtime=0.06 cores=0,2,4,6
/proc/3225/task/3238/stat : 3238 (java) S 3222 3225 30942 0 -1 1077944384 855 0 0 0 6 0 0 0 20 0 15 0 96335377 10808729600 9986 33554432000 4194304 4196468 140720380378624 140057538181616 140058052577922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3239] ppid=3222 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3239/stat : 3239 (java) S 3222 3225 30942 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96335377 10808729600 9986 33554432000 4194304 4196468 140720380378624 140057537129312 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3240] ppid=3222 vsize=10555400 memory=139884400023168 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3240/stat : 3240 (java) S 3222 3225 30942 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96335377 10808729600 9986 33554432000 4194304 4196468 140720380378624 140057536076336 140058052577922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 39652 KiB

[startup+0.310521 s]*
/proc/loadavg: 4.57 3.22 2.61 7/216 3240
/proc/meminfo: memFree=18827220/32770624 swapFree=67108860/67108860
[pid=3225] ppid=3222 vsize=10555476 memory=46752 CPUtime=0.52 cores=0,2,4,6
/proc/3225/stat : 3225 (java) S 3222 3225 30942 0 -1 1077944320 8913 0 0 0 49 3 0 0 20 0 15 0 96335371 10808807424 11688 33554432000 4194304 4196468 140720380378624 140720380361168 140058052566775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
/proc/3225/statm: 2638869 11688 3026 1 0 2627263 0
[pid=3225/tid=3227] ppid=3222 vsize=10555476 memory=279768532746560 CPUtime=0.3 cores=0,2,4,6
/proc/3225/task/3227/stat : 3227 (java) R 3222 3225 30942 0 -1 4202560 5709 0 0 0 28 2 0 0 20 0 15 0 96335372 10808807424 11688 33554432000 4194304 4196468 140720380378624 140058056802128 140057692255567 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3228] ppid=3222 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3228/stat : 3228 (java) S 3222 3225 30942 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96335372 10808807424 11688 33554432000 4194304 4196468 140720380378624 140057659649040 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3229] ppid=3222 vsize=10555476 memory=279768666386016 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3229/stat : 3229 (java) S 3222 3225 30942 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96335373 10808807424 11688 33554432000 4194304 4196468 140720380378624 140057658596496 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3230] ppid=3222 vsize=10555476 memory=279768532723408 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3230/stat : 3230 (java) S 3222 3225 30942 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96335373 10808807424 11688 33554432000 4194304 4196468 140720380378624 140057657543440 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3231] ppid=3222 vsize=10555476 memory=1970350607106051 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3231/stat : 3231 (java) S 3222 3225 30942 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96335373 10808807424 11688 33554432000 4194304 4196468 140720380378624 140057656490896 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3232] ppid=3222 vsize=10555476 memory=279768666392928 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3232/stat : 3232 (java) S 3222 3225 30942 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96335374 10808807424 11688 33554432000 4194304 4196468 140720380378624 140057612216560 140058052577922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3233] ppid=3222 vsize=10555476 memory=1970350607106051 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3233/stat : 3233 (java) S 3222 3225 30942 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96335374 10808807424 11688 33554432000 4194304 4196468 140720380378624 140057611162784 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3234] ppid=3222 vsize=10555476 memory=2110234873367364 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3234/stat : 3234 (java) S 3222 3225 30942 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96335375 10808807424 11688 33554432000 4194304 4196468 140720380378624 140057610109680 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3235] ppid=3222 vsize=10555476 memory=2110234873478084 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3235/stat : 3235 (java) S 3222 3225 30942 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96335377 10808807424 11688 33554432000 4194304 4196468 140720380378624 140057541339088 140058052585371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3236] ppid=3222 vsize=10555476 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/3225/task/3236/stat : 3236 (java) S 3222 3225 30942 0 -1 1077944384 671 0 0 0 4 0 0 0 20 0 15 0 96335377 10808807424 11688 33554432000 4194304 4196468 140720380378624 140057540287216 140058052577922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3237] ppid=3222 vsize=10555476 memory=2272 CPUtime=0.04 cores=0,2,4,6
/proc/3225/task/3237/stat : 3237 (java) S 3222 3225 30942 0 -1 1077944384 242 0 0 0 4 0 0 0 20 0 15 0 96335377 10808807424 11688 33554432000 4194304 4196468 140720380378624 140057539234672 140058052577922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3238] ppid=3222 vsize=10555476 memory=139888694990463 CPUtime=0.12 cores=0,2,4,6
/proc/3225/task/3238/stat : 3238 (java) R 3222 3225 30942 0 -1 4202560 932 0 0 0 12 0 0 0 20 0 15 0 96335377 10808807424 11688 33554432000 4194304 4196468 140720380378624 140057538181744 140058052588122 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3239] ppid=3222 vsize=10555476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3239/stat : 3239 (java) S 3222 3225 30942 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96335377 10808807424 11688 33554432000 4194304 4196468 140720380378624 140057537129312 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3240] ppid=3222 vsize=10555476 memory=139884400023168 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3240/stat : 3240 (java) S 3222 3225 30942 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96335377 10808807424 11688 33554432000 4194304 4196468 140720380378624 140057536076336 140058052577922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46752 KiB

[startup+0.700742 s]
/proc/loadavg: 4.57 3.22 2.61 9/216 3240
/proc/meminfo: memFree=18805192/32770624 swapFree=67108860/67108860
[pid=3225] ppid=3222 vsize=10622040 memory=85660 CPUtime=1.68 cores=0,2,4,6
/proc/3225/stat : 3225 (java) S 3222 3225 30942 0 -1 1077944320 10969 0 0 0 165 3 0 0 20 0 16 0 96335371 10876968960 21415 33554432000 4194304 4196468 140720380378624 140720380361168 140058052566775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
/proc/3225/statm: 2655510 21415 3092 1 0 2643904 0
[pid=3225/tid=3227] ppid=3222 vsize=10622040 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/3225/task/3227/stat : 3227 (java) R 3222 3225 30942 0 -1 4202560 5931 0 0 0 65 2 0 0 20 0 16 0 96335372 10876968960 21415 33554432000 4194304 4196468 140720380378624 140058056785408 140057693794451 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3228] ppid=3222 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3228/stat : 3228 (java) S 3222 3225 30942 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 96335372 10876968960 21415 33554432000 4194304 4196468 140720380378624 140057659649040 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3229] ppid=3222 vsize=10622040 memory=55 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3229/stat : 3229 (java) S 3222 3225 30942 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 96335373 10876968960 21415 33554432000 4194304 4196468 140720380378624 140057658596496 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3230] ppid=3222 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3230/stat : 3230 (java) S 3222 3225 30942 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 96335373 10876968960 21415 33554432000 4194304 4196468 140720380378624 140057657543440 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3231] ppid=3222 vsize=10622040 memory=2276 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3231/stat : 3231 (java) S 3222 3225 30942 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 96335373 10876968960 21415 33554432000 4194304 4196468 140720380378624 140057656490896 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3232] ppid=3222 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3232/stat : 3232 (java) S 3222 3225 30942 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 96335374 10876968960 21415 33554432000 4194304 4196468 140720380378624 140057612216560 140058052577922 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3233] ppid=3222 vsize=10622040 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3233/stat : 3233 (java) S 3222 3225 30942 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 96335374 10876968960 21415 33554432000 4194304 4196468 140720380378624 140057611162784 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3234] ppid=3222 vsize=10622040 memory=19697 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3234/stat : 3234 (java) S 3222 3225 30942 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 96335375 10876968960 21415 33554432000 4194304 4196468 140720380378624 140057610109680 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3235] ppid=3222 vsize=10622040 memory=279768532600896 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3235/stat : 3235 (java) S 3222 3225 30942 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96335377 10876968960 21415 33554432000 4194304 4196468 140720380378624 140057541339088 140058052585371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3236] ppid=3222 vsize=10622040 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/3225/task/3236/stat : 3236 (java) R 3222 3225 30942 0 -1 4202560 1260 0 0 0 32 0 0 0 20 0 16 0 96335377 10876968960 21415 33554432000 4194304 4196468 140720380378624 140057540272048 140058032403121 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3237] ppid=3222 vsize=10622040 memory=279768532583876 CPUtime=0.33 cores=0,2,4,6
/proc/3225/task/3237/stat : 3237 (java) R 3222 3225 30942 0 -1 4202560 788 0 0 0 33 0 0 0 20 0 16 0 96335377 10876968960 21415 33554432000 4194304 4196468 140720380378624 140057539234800 140058033752704 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3238] ppid=3222 vsize=10622040 memory=4639080695680094308 CPUtime=0.33 cores=0,2,4,6
/proc/3225/task/3238/stat : 3238 (java) S 3222 3225 30942 0 -1 1077944384 1599 0 0 0 33 0 0 0 20 0 16 0 96335377 10876968960 21415 33554432000 4194304 4196468 140720380378624 140057538181616 140058052577922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3239] ppid=3222 vsize=10622040 memory=7660742144744843625 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3239/stat : 3239 (java) S 3222 3225 30942 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96335377 10876968960 21415 33554432000 4194304 4196468 140720380378624 140057537129312 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3240] ppid=3222 vsize=10622040 memory=2636 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3240/stat : 3240 (java) S 3222 3225 30942 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 96335377 10876968960 21415 33554432000 4194304 4196468 140720380378624 140057536076336 140058052577922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 85660 KiB

[startup+1.5008 s]
/proc/loadavg: 4.57 3.22 2.61 6/217 3241
/proc/meminfo: memFree=18776940/32770624 swapFree=67108860/67108860
[pid=3225] ppid=3222 vsize=10622040 memory=104392 CPUtime=3.25 cores=0,2,4,6
/proc/3225/stat : 3225 (java) S 3222 3225 30942 0 -1 1077944320 15803 0 0 0 321 4 0 0 20 0 16 0 96335371 10876968960 26098 33554432000 4194304 4196468 140720380378624 140720380361168 140058052566775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
/proc/3225/statm: 2655510 26098 3108 1 0 2643904 0
[pid=3225/tid=3227] ppid=3222 vsize=10622040 memory=279768532766976 CPUtime=1.47 cores=0,2,4,6
/proc/3225/task/3227/stat : 3227 (java) R 3222 3225 30942 0 -1 4202560 6339 0 0 0 145 2 0 0 20 0 16 0 96335372 10876968960 26098 33554432000 4194304 4196468 140720380378624 140058056800608 140057694511930 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3228] ppid=3222 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3228/stat : 3228 (java) S 3222 3225 30942 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 96335372 10876968960 26098 33554432000 4194304 4196468 140720380378624 140057659649040 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3229] ppid=3222 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3229/stat : 3229 (java) S 3222 3225 30942 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 96335373 10876968960 26098 33554432000 4194304 4196468 140720380378624 140057658596496 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3230] ppid=3222 vsize=10622040 memory=279768532785312 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3230/stat : 3230 (java) S 3222 3225 30942 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 96335373 10876968960 26098 33554432000 4194304 4196468 140720380378624 140057657543440 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3231] ppid=3222 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3231/stat : 3231 (java) S 3222 3225 30942 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 96335373 10876968960 26098 33554432000 4194304 4196468 140720380378624 140057656490896 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3232] ppid=3222 vsize=10622040 memory=3416895 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3232/stat : 3232 (java) S 3222 3225 30942 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 96335374 10876968960 26098 33554432000 4194304 4196468 140720380378624 140057612216560 140058052577922 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0

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

/proc/3225/task/3232/stat : 3232 (java) S 3222 3225 30942 0 -1 1077944384 22483 0 0 0 38 5 0 0 20 0 16 0 96335374 10876968960 123804 33554432000 4194304 4196468 140720380378624 140057612216560 140058052577922 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3233] ppid=3222 vsize=10622040 memory=495216 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3233/stat : 3233 (java) S 3222 3225 30942 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 96335374 10876968960 123804 33554432000 4194304 4196468 140720380378624 140057611162784 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3234] ppid=3222 vsize=10622040 memory=495216 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3234/stat : 3234 (java) S 3222 3225 30942 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 16 0 96335375 10876968960 123804 33554432000 4194304 4196468 140720380378624 140057610109680 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3235] ppid=3222 vsize=10622040 memory=495216 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3235/stat : 3235 (java) S 3222 3225 30942 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96335377 10876968960 123804 33554432000 4194304 4196468 140720380378624 140057541339088 140058052585371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3236] ppid=3222 vsize=10622040 memory=495216 CPUtime=0.99 cores=0,2,4,6
/proc/3225/task/3236/stat : 3236 (java) S 3222 3225 30942 0 -1 1077944384 7800 0 0 0 98 1 0 0 20 0 16 0 96335377 10876968960 123804 33554432000 4194304 4196468 140720380378624 140057540287216 140058052577922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3237] ppid=3222 vsize=10622040 memory=4140 CPUtime=1.1 cores=0,2,4,6
/proc/3225/task/3237/stat : 3237 (java) S 3222 3225 30942 0 -1 1077944384 6550 0 0 0 110 0 0 0 20 0 16 0 96335377 10876968960 123804 33554432000 4194304 4196468 140720380378624 140057539234672 140058052577922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3238] ppid=3222 vsize=10622040 memory=27760 CPUtime=0.42 cores=0,2,4,6
/proc/3225/task/3238/stat : 3238 (java) S 3222 3225 30942 0 -1 1077944384 3668 0 0 0 42 0 0 0 20 0 16 0 96335377 10876968960 123804 33554432000 4194304 4196468 140720380378624 140057538181616 140058052577922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3239] ppid=3222 vsize=10622040 memory=495216 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3239/stat : 3239 (java) S 3222 3225 30942 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96335377 10876968960 123804 33554432000 4194304 4196468 140720380378624 140057537129312 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3240] ppid=3222 vsize=10622040 memory=495216 CPUtime=1.19 cores=0,2,4,6
/proc/3225/task/3240/stat : 3240 (java) S 3222 3225 30942 0 -1 1077944384 1621 0 0 0 58 61 0 0 20 0 16 0 96335377 10876968960 123804 33554432000 4194304 4196468 140720380378624 140057536076336 140058052577922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3241] ppid=3222 vsize=10622040 memory=495216 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3241/stat : 3241 (java) S 3222 3225 30942 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 96335428 10876968960 123804 33554432000 4194304 4196468 140720380378624 140057535022128 140058052577922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
Current children cumulated CPU time: 2399.45 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 495216 KiB

[startup+2442.3 s]
/proc/loadavg: 0.97 0.94 1.25 2/195 3381
/proc/meminfo: memFree=26618680/32770624 swapFree=67108860/67108860
[pid=3225] ppid=3222 vsize=10622040 memory=490096 CPUtime=2459.92 cores=0,2,4,6
/proc/3225/stat : 3225 (java) S 3222 3225 30942 0 -1 1077944320 98644 0 0 0 245845 147 0 0 20 0 16 0 96335371 10876968960 122524 33554432000 4194304 4196468 140720380378624 140720380361168 140058052566775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
/proc/3225/statm: 2655510 122524 3158 1 0 2643904 0
[pid=3225/tid=3227] ppid=3222 vsize=10622040 memory=491124 CPUtime=2437.44 cores=0,2,4,6
/proc/3225/task/3227/stat : 3227 (java) R 3222 3225 30942 0 -1 4202560 18430 0 0 0 243738 6 0 0 20 0 16 0 96335372 10876968960 122524 33554432000 4194304 4196468 140720380378624 140058056805712 140057694326592 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3228] ppid=3222 vsize=10622040 memory=495216 CPUtime=4.56 cores=0,2,4,6
/proc/3225/task/3228/stat : 3228 (java) S 3222 3225 30942 0 -1 1077944384 7365 0 0 0 437 19 0 0 20 0 16 0 96335372 10876968960 122524 33554432000 4194304 4196468 140720380378624 140057659649040 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3229] ppid=3222 vsize=10622040 memory=492148 CPUtime=4.54 cores=0,2,4,6
/proc/3225/task/3229/stat : 3229 (java) S 3222 3225 30942 0 -1 1077944384 10600 0 0 0 433 21 0 0 20 0 16 0 96335373 10876968960 122524 33554432000 4194304 4196468 140720380378624 140057658596496 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3230] ppid=3222 vsize=10622040 memory=490096 CPUtime=4.57 cores=0,2,4,6
/proc/3225/task/3230/stat : 3230 (java) S 3222 3225 30942 0 -1 1077944384 9333 0 0 0 436 21 0 0 20 0 16 0 96335373 10876968960 122524 33554432000 4194304 4196468 140720380378624 140057657543440 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3231] ppid=3222 vsize=10622040 memory=490096 CPUtime=4.55 cores=0,2,4,6
/proc/3225/task/3231/stat : 3231 (java) S 3222 3225 30942 0 -1 1077944384 9140 0 0 0 435 20 0 0 20 0 16 0 96335373 10876968960 122524 33554432000 4194304 4196468 140720380378624 140057656490896 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3232] ppid=3222 vsize=10622040 memory=279768533972400 CPUtime=0.44 cores=0,2,4,6
/proc/3225/task/3232/stat : 3232 (java) S 3222 3225 30942 0 -1 1077944384 22658 0 0 0 39 5 0 0 20 0 16 0 96335374 10876968960 122524 33554432000 4194304 4196468 140720380378624 140057612216560 140058052577922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3233] ppid=3222 vsize=10622040 memory=490096 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3233/stat : 3233 (java) S 3222 3225 30942 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 96335374 10876968960 122524 33554432000 4194304 4196468 140720380378624 140057611162784 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3234] ppid=3222 vsize=10622040 memory=490096 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3234/stat : 3234 (java) S 3222 3225 30942 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 16 0 96335375 10876968960 122524 33554432000 4194304 4196468 140720380378624 140057610109680 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3235] ppid=3222 vsize=10622040 memory=490096 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3235/stat : 3235 (java) S 3222 3225 30942 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96335377 10876968960 122524 33554432000 4194304 4196468 140720380378624 140057541339088 140058052585371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3236] ppid=3222 vsize=10622040 memory=490096 CPUtime=0.99 cores=0,2,4,6
/proc/3225/task/3236/stat : 3236 (java) S 3222 3225 30942 0 -1 1077944384 7802 0 0 0 98 1 0 0 20 0 16 0 96335377 10876968960 122524 33554432000 4194304 4196468 140720380378624 140057540287216 140058052577922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3237] ppid=3222 vsize=10622040 memory=490096 CPUtime=1.1 cores=0,2,4,6
/proc/3225/task/3237/stat : 3237 (java) S 3222 3225 30942 0 -1 1077944384 6553 0 0 0 110 0 0 0 20 0 16 0 96335377 10876968960 122524 33554432000 4194304 4196468 140720380378624 140057539234672 140058052577922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3238] ppid=3222 vsize=10622040 memory=1228 CPUtime=0.42 cores=0,2,4,6
/proc/3225/task/3238/stat : 3238 (java) S 3222 3225 30942 0 -1 1077944384 3670 0 0 0 42 0 0 0 20 0 16 0 96335377 10876968960 122524 33554432000 4194304 4196468 140720380378624 140057538181616 140058052577922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3239] ppid=3222 vsize=10622040 memory=5428 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3239/stat : 3239 (java) S 3222 3225 30942 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96335377 10876968960 122524 33554432000 4194304 4196468 140720380378624 140057537129312 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3240] ppid=3222 vsize=10622040 memory=956 CPUtime=1.22 cores=0,2,4,6
/proc/3225/task/3240/stat : 3240 (java) S 3222 3225 30942 0 -1 1077944384 1652 0 0 0 59 63 0 0 20 0 16 0 96335377 10876968960 122524 33554432000 4194304 4196468 140720380378624 140057536076336 140058052577922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3241] ppid=3222 vsize=10622040 memory=2344 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3241/stat : 3241 (java) S 3222 3225 30942 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 96335428 10876968960 122524 33554432000 4194304 4196468 140720380378624 140057535022128 140058052577922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
Current children cumulated CPU time: 2459.92 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 490096 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2501.8 s]
/proc/loadavg: 1.02 0.96 1.24 2/195 3382
/proc/meminfo: memFree=26625004/32770624 swapFree=67108860/67108860
[pid=3225] ppid=3222 vsize=10622040 memory=483924 CPUtime=2520.06 cores=0,2,4,6
/proc/3225/stat : 3225 (java) S 3222 3225 30942 0 -1 1077944320 100253 0 0 0 251856 150 0 0 20 0 16 0 96335371 10876968960 120981 33554432000 4194304 4196468 140720380378624 140720380361168 140058052566775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
/proc/3225/statm: 2655510 120981 3158 1 0 2643904 0
[pid=3225/tid=3227] ppid=3222 vsize=10622040 memory=13056 CPUtime=2496.73 cores=0,2,4,6
/proc/3225/task/3227/stat : 3227 (java) R 3222 3225 30942 0 -1 4202560 18632 0 0 0 249667 6 0 0 20 0 16 0 96335372 10876968960 120981 33554432000 4194304 4196468 140720380378624 140058056805648 140057690470181 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3228] ppid=3222 vsize=10622040 memory=792 CPUtime=4.76 cores=0,2,4,6
/proc/3225/task/3228/stat : 3228 (java) S 3222 3225 30942 0 -1 1077944384 7430 0 0 0 457 19 0 0 20 0 16 0 96335372 10876968960 120981 33554432000 4194304 4196468 140720380378624 140057659649040 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3229] ppid=3222 vsize=10622040 memory=8112282956445269571 CPUtime=4.74 cores=0,2,4,6
/proc/3225/task/3229/stat : 3229 (java) S 3222 3225 30942 0 -1 1077944384 10677 0 0 0 453 21 0 0 20 0 16 0 96335373 10876968960 120981 33554432000 4194304 4196468 140720380378624 140057658596496 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3230] ppid=3222 vsize=10622040 memory=8112282956445269571 CPUtime=4.76 cores=0,2,4,6
/proc/3225/task/3230/stat : 3230 (java) S 3222 3225 30942 0 -1 1077944384 9785 0 0 0 455 21 0 0 20 0 16 0 96335373 10876968960 120981 33554432000 4194304 4196468 140720380378624 140057657543440 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3231] ppid=3222 vsize=10622040 memory=640 CPUtime=4.75 cores=0,2,4,6
/proc/3225/task/3231/stat : 3231 (java) S 3222 3225 30942 0 -1 1077944384 9363 0 0 0 455 20 0 0 20 0 16 0 96335373 10876968960 120981 33554432000 4194304 4196468 140720380378624 140057656490896 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3232] ppid=3222 vsize=10622040 memory=956 CPUtime=0.46 cores=0,2,4,6
/proc/3225/task/3232/stat : 3232 (java) S 3222 3225 30942 0 -1 1077944384 23212 0 0 0 41 5 0 0 20 0 16 0 96335374 10876968960 120981 33554432000 4194304 4196468 140720380378624 140057612216560 140058052577922 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3233] ppid=3222 vsize=10622040 memory=2344 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3233/stat : 3233 (java) S 3222 3225 30942 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 96335374 10876968960 120981 33554432000 4194304 4196468 140720380378624 140057611162784 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3234] ppid=3222 vsize=10622040 memory=1576 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3234/stat : 3234 (java) S 3222 3225 30942 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 16 0 96335375 10876968960 120981 33554432000 4194304 4196468 140720380378624 140057610109680 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3235] ppid=3222 vsize=10622040 memory=932 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3235/stat : 3235 (java) S 3222 3225 30942 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96335377 10876968960 120981 33554432000 4194304 4196468 140720380378624 140057541339088 140058052585371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3236] ppid=3222 vsize=10622040 memory=2236 CPUtime=0.99 cores=0,2,4,6
/proc/3225/task/3236/stat : 3236 (java) S 3222 3225 30942 0 -1 1077944384 7804 0 0 0 98 1 0 0 20 0 16 0 96335377 10876968960 120981 33554432000 4194304 4196468 140720380378624 140057540287216 140058052577922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3237] ppid=3222 vsize=10622040 memory=1204 CPUtime=1.1 cores=0,2,4,6
/proc/3225/task/3237/stat : 3237 (java) S 3222 3225 30942 0 -1 1077944384 6556 0 0 0 110 0 0 0 20 0 16 0 96335377 10876968960 120981 33554432000 4194304 4196468 140720380378624 140057539234672 140058052577922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3238] ppid=3222 vsize=10622040 memory=15872 CPUtime=0.42 cores=0,2,4,6
/proc/3225/task/3238/stat : 3238 (java) S 3222 3225 30942 0 -1 1077944384 3672 0 0 0 42 0 0 0 20 0 16 0 96335377 10876968960 120981 33554432000 4194304 4196468 140720380378624 140057538181616 140058052577922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3239] ppid=3222 vsize=10622040 memory=2636 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3239/stat : 3239 (java) S 3222 3225 30942 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96335377 10876968960 120981 33554432000 4194304 4196468 140720380378624 140057537129312 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3240] ppid=3222 vsize=10622040 memory=16444 CPUtime=1.25 cores=0,2,4,6
/proc/3225/task/3240/stat : 3240 (java) S 3222 3225 30942 0 -1 1077944384 1681 0 0 0 61 64 0 0 20 0 16 0 96335377 10876968960 120981 33554432000 4194304 4196468 140720380378624 140057536076336 140058052577922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3241] ppid=3222 vsize=10622040 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3241/stat : 3241 (java) S 3222 3225 30942 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 96335428 10876968960 120981 33554432000 4194304 4196468 140720380378624 140057535022128 140058052577922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 483924 KiB

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

[startup+2502.05 s]
# the end of solver process 3225 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.86 s, system=1.5044 s

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

[startup+2502 s]*
/proc/loadavg: 1.02 0.96 1.24 2/196 3385
/proc/meminfo: memFree=26624824/32770624 swapFree=67108860/67108860
[pid=3225] ppid=3222 vsize=10821732 memory=484060 CPUtime=2520.28 cores=0,2,4,6
/proc/3225/stat : 3225 (java) S 3222 3225 30942 0 -1 1077944320 100707 0 0 0 251878 150 0 0 20 0 17 0 96335371 11081453568 121015 33554432000 4194304 4196468 140720380378624 140720380361168 140058052566775 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
/proc/3225/statm: 2705433 121015 3161 1 0 2693827 0
[pid=3225/tid=3227] ppid=3222 vsize=10821732 memory=6935054825532540783 CPUtime=2496.93 cores=0,2,4,6
/proc/3225/task/3227/stat : 3227 (java) R 3222 3225 30942 0 -1 4202560 18658 0 0 0 249687 6 0 0 20 0 17 0 96335372 11081453568 121015 33554432000 4194304 4196468 140720380378624 140058056803960 140057694759170 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3228] ppid=3222 vsize=10821732 memory=4126316290023845779 CPUtime=4.76 cores=0,2,4,6
/proc/3225/task/3228/stat : 3228 (java) S 3222 3225 30942 0 -1 1077944384 7430 0 0 0 457 19 0 0 20 0 17 0 96335372 11081453568 121015 33554432000 4194304 4196468 140720380378624 140057659649040 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3229] ppid=3222 vsize=10821732 memory=840 CPUtime=4.74 cores=0,2,4,6
/proc/3225/task/3229/stat : 3229 (java) S 3222 3225 30942 0 -1 1077944384 10677 0 0 0 453 21 0 0 20 0 17 0 96335373 11081453568 121015 33554432000 4194304 4196468 140720380378624 140057658596496 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3230] ppid=3222 vsize=10821732 memory=4096 CPUtime=4.76 cores=0,2,4,6
/proc/3225/task/3230/stat : 3230 (java) S 3222 3225 30942 0 -1 1077944384 9785 0 0 0 455 21 0 0 20 0 17 0 96335373 11081453568 121015 33554432000 4194304 4196468 140720380378624 140057657543440 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3231] ppid=3222 vsize=10821732 memory=1156 CPUtime=4.75 cores=0,2,4,6
/proc/3225/task/3231/stat : 3231 (java) S 3222 3225 30942 0 -1 1077944384 9363 0 0 0 455 20 0 0 20 0 17 0 96335373 11081453568 121015 33554432000 4194304 4196468 140720380378624 140057656490896 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3232] ppid=3222 vsize=10821732 memory=3208 CPUtime=0.46 cores=0,2,4,6
/proc/3225/task/3232/stat : 3232 (java) S 3222 3225 30942 0 -1 1077944384 23212 0 0 0 41 5 0 0 20 0 17 0 96335374 11081453568 121015 33554432000 4194304 4196468 140720380378624 140057612216560 140058052577922 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3233] ppid=3222 vsize=10821732 memory=483924 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3233/stat : 3233 (java) S 3222 3225 30942 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 17 0 96335374 11081453568 121015 33554432000 4194304 4196468 140720380378624 140057611162784 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3234] ppid=3222 vsize=10821732 memory=1692 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3234/stat : 3234 (java) S 3222 3225 30942 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 17 0 96335375 11081453568 121015 33554432000 4194304 4196468 140720380378624 140057610109680 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3235] ppid=3222 vsize=10821732 memory=912 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3235/stat : 3235 (java) S 3222 3225 30942 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 17 0 96335377 11081453568 121015 33554432000 4194304 4196468 140720380378624 140057541339088 140058052585371 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3236] ppid=3222 vsize=10821732 memory=4140 CPUtime=0.99 cores=0,2,4,6
/proc/3225/task/3236/stat : 3236 (java) S 3222 3225 30942 0 -1 1077944384 7852 0 0 0 98 1 0 0 20 0 17 0 96335377 11081453568 121015 33554432000 4194304 4196468 140720380378624 140057540287216 140058052577922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3237] ppid=3222 vsize=10821732 memory=27776 CPUtime=1.1 cores=0,2,4,6
/proc/3225/task/3237/stat : 3237 (java) S 3222 3225 30942 0 -1 1077944384 6569 0 0 0 110 0 0 0 20 0 17 0 96335377 11081453568 121015 33554432000 4194304 4196468 140720380378624 140057539234672 140058052577922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3238] ppid=3222 vsize=10821732 memory=1292 CPUtime=0.42 cores=0,2,4,6
/proc/3225/task/3238/stat : 3238 (java) S 3222 3225 30942 0 -1 1077944384 3836 0 0 0 42 0 0 0 20 0 17 0 96335377 11081453568 121015 33554432000 4194304 4196468 140720380378624 140057538181616 140058052577922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3239] ppid=3222 vsize=10821732 memory=2428 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3239/stat : 3239 (java) S 3222 3225 30942 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 96335377 11081453568 121015 33554432000 4194304 4196468 140720380378624 140057537129312 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3240] ppid=3222 vsize=10821732 memory=1732 CPUtime=1.25 cores=0,2,4,6
/proc/3225/task/3240/stat : 3240 (java) S 3222 3225 30942 0 -1 1077944384 1681 0 0 0 61 64 0 0 20 0 17 0 96335377 11081453568 121015 33554432000 4194304 4196468 140720380378624 140057536076336 140058052577922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3383] ppid=3222 vsize=10821732 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3383/stat : 3383 (java) S 3222 3225 30942 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 17 0 96585552 11081453568 121015 33554432000 4194304 4196468 140720380378624 140057533968368 140058052576981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
[pid=3225/tid=3384] ppid=3222 vsize=10821732 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/3225/task/3384/stat : 3384 (java) R 3222 3225 30942 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 17 0 96585552 11081453568 121015 33554432000 4194304 4196468 140720380378624 140057532916752 140057690232912 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140720380380294 140720380380447 140720380380447 140720380383183 0
Current children cumulated CPU time: 2520.28 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 484060 KiB

Child status: 143
Real time (s): 2502.05
CPU time (s): 2520.37
CPU user time (s): 2518.86
CPU system time (s): 1.5044
CPU usage (%): 100.732
Max. virtual memory (cumulated for all children) (KiB): 10821732
Max. memory (cumulated for all children) (KiB): 651740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.86
system time used= 1.5044
maximum resident set size= 681580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100792
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60003
involuntary context switches= 2057


# summary of solver processes directly reported to runsolver:
#   pid: 3225
#   total CPU time (s): 2520.37
#   total CPU user time (s): 2518.86
#   total CPU system time (s): 1.5044

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4284 second user time and 23.2827 second system time

The end
Name	PseudoBoolean/PseudoBoolean-opt-radar/ Pb-radar-10-10-45-095-100.xml
MD5SUM	2e76cba0749e9f6e1c633f9939767035
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	0
Best CPU time to get the best result obtained on this benchmark	2400.07
Satisfiable
(Un)Satisfiability was proved
Number of variables	435
Number of constraints	501
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":435}]
Minimum variable degree	2
Maximum variable degree	8
Distribution of variable degrees	[{"degree":2,"count":3},{"degree":3,"count":38},{"degree":4,"count":135},{"degree":5,"count":118},{"degree":6,"count":126},{"degree":7,"count":1},{"degree":8,"count":14}]
Minimum constraint arity	1
Maximum constraint arity	16
Distribution of constraint arities	[{"arity":1,"count":1},{"arity":2,"count":402},{"arity":3,"count":3},{"arity":4,"count":2},{"arity":5,"count":10},{"arity":6,"count":7},{"arity":7,"count":9},{"arity":8,"count":13},{"arity":9,"count":15},{"arity":10,"count":7},{"arity":11,"count":11},{"arity":12,"count":7},{"arity":13,"count":5},{"arity":14,"count":2},{"arity":15,"count":6},{"arity":16,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":501}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4263025

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
