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

Solver Name	Answer	objective function	CPU time	Wall clock time
MiniCPFever 2018-04-29	SAT (TO)	792	2520.14	2453.73
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 (8274 MiB free)
  memory of node 1: 16384 MiB (12662 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298170-1532749212/watcher-4298170-1532749212 -o /tmp/evaluation-result-4298170-1532749212/solver-4298170-1532749212 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532739282-23279 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298170-1532749212.xml 

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

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

solver pid=24501, runsolver pid=24498

[startup+0.100058 s]*
/proc/loadavg: 1.56 1.42 1.36 2/200 24518
/proc/meminfo: memFree=23914912/32770624 swapFree=67108860/67108860
[pid=24501] ppid=24498 vsize=10658972 memory=27500 CPUtime=0.12 cores=1,3,5,7
/proc/24501/stat : 24501 (java) S 24498 24501 23247 0 -1 1077944320 5266 0 0 0 12 0 0 0 20 0 15 0 92484407 10914787328 6875 33554432000 4194304 4196468 140730315785760 140730315768304 140628777684727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
/proc/24501/statm: 2664743 6875 2858 1 0 2627263 0
[pid=24501/tid=24503] ppid=24498 vsize=10658972 memory=5450919713671312938 CPUtime=0.09 cores=1,3,5,7
/proc/24501/task/24503/stat : 24503 (java) R 24498 24501 23247 0 -1 4202560 3114 0 0 0 9 0 0 0 20 0 15 0 92484408 10914787328 6875 33554432000 4194304 4196468 140730315785760 140628781914208 140628777706074 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24504] ppid=24498 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24504/stat : 24504 (java) S 24498 24501 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92484409 10914787328 6875 33554432000 4194304 4196468 140730315785760 140628714375696 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24505] ppid=24498 vsize=10658972 memory=140381889443456 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24505/stat : 24505 (java) S 24498 24501 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92484409 10914787328 6875 33554432000 4194304 4196468 140730315785760 140628713323152 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24506] ppid=24498 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24506/stat : 24506 (java) S 24498 24501 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92484409 10914787328 6875 33554432000 4194304 4196468 140730315785760 140628712270096 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24507] ppid=24498 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24507/stat : 24507 (java) S 24498 24501 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92484409 10914787328 6875 33554432000 4194304 4196468 140730315785760 140628711217552 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24508] ppid=24498 vsize=10658972 memory=140381889443456 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24508/stat : 24508 (java) S 24498 24501 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92484410 10914787328 6875 33554432000 4194304 4196468 140730315785760 140627813362416 140628777695874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24509] ppid=24498 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24509/stat : 24509 (java) S 24498 24501 23247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92484410 10914787328 6875 33554432000 4194304 4196468 140730315785760 140627812308640 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24510] ppid=24498 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24510/stat : 24510 (java) S 24498 24501 23247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92484410 10914787328 6875 33554432000 4194304 4196468 140730315785760 140627811255536 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24511] ppid=24498 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24511/stat : 24511 (java) S 24498 24501 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92484413 10914787328 6875 33554432000 4194304 4196468 140730315785760 140627810204112 140628777703323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24512] ppid=24498 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24512/stat : 24512 (java) R 24498 24501 23247 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 92484413 10914787328 6875 33554432000 4194304 4196468 140730315785760 140627809151216 140628777695874 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24513] ppid=24498 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24513/stat : 24513 (java) R 24498 24501 23247 0 -1 4202560 162 0 0 0 0 0 0 0 20 0 15 0 92484413 10914787328 6875 33554432000 4194304 4196468 140730315785760 140627808098672 140628758098032 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24514] ppid=24498 vsize=10658972 memory=140381889443456 CPUtime=0.02 cores=1,3,5,7
/proc/24501/task/24514/stat : 24514 (java) R 24498 24501 23247 0 -1 4202560 331 0 0 0 2 0 0 0 20 0 15 0 92484413 10914787328 6875 33554432000 4194304 4196468 140730315785760 140627807045616 140628777696662 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24515] ppid=24498 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24515/stat : 24515 (java) S 24498 24501 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92484413 10914787328 6875 33554432000 4194304 4196468 140730315785760 140627805993312 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24518] ppid=24498 vsize=10658972 memory=140381889443456 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24518/stat : 24518 (java) S 24498 24501 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92484413 10914787328 6875 33554432000 4194304 4196468 140730315785760 140627804941360 140628777695874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27500 KiB

[startup+0.210558 s]*
/proc/loadavg: 1.56 1.42 1.36 6/197 24526
/proc/meminfo: memFree=23903804/32770624 swapFree=67108860/67108860
[pid=24501] ppid=24498 vsize=10658972 memory=40424 CPUtime=0.35 cores=1,3,5,7
/proc/24501/stat : 24501 (java) S 24498 24501 23247 0 -1 1077944320 8220 0 0 0 34 1 0 0 20 0 15 0 92484407 10914787328 10106 33554432000 4194304 4196468 140730315785760 140730315768304 140628777684727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
/proc/24501/statm: 2664743 10106 2963 1 0 2627263 0
[pid=24501/tid=24503] ppid=24498 vsize=10658972 memory=8390339637985935414 CPUtime=0.2 cores=1,3,5,7
/proc/24501/task/24503/stat : 24503 (java) R 24498 24501 23247 0 -1 4202560 5080 0 0 0 20 0 0 0 20 0 15 0 92484408 10914787328 10106 33554432000 4194304 4196468 140730315785760 140628781922768 140628777706653 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24504] ppid=24498 vsize=10658972 memory=288230596118052887 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24504/stat : 24504 (java) S 24498 24501 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92484409 10914787328 10106 33554432000 4194304 4196468 140730315785760 140628714375696 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24505] ppid=24498 vsize=10658972 memory=288370758041155200 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24505/stat : 24505 (java) S 24498 24501 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92484409 10914787328 10106 33554432000 4194304 4196468 140730315785760 140628713323152 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24506] ppid=24498 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24506/stat : 24506 (java) S 24498 24501 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92484409 10914787328 10106 33554432000 4194304 4196468 140730315785760 140628712270096 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24507] ppid=24498 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24507/stat : 24507 (java) S 24498 24501 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92484409 10914787328 10106 33554432000 4194304 4196468 140730315785760 140628711217552 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24508] ppid=24498 vsize=10658972 memory=140381889443456 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24508/stat : 24508 (java) S 24498 24501 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92484410 10914787328 10106 33554432000 4194304 4196468 140730315785760 140627813362416 140628777695874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24509] ppid=24498 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24509/stat : 24509 (java) S 24498 24501 23247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92484410 10914787328 10106 33554432000 4194304 4196468 140730315785760 140627812308640 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24510] ppid=24498 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24510/stat : 24510 (java) S 24498 24501 23247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92484410 10914787328 10106 33554432000 4194304 4196468 140730315785760 140627811255536 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24511] ppid=24498 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24511/stat : 24511 (java) S 24498 24501 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92484413 10914787328 10106 33554432000 4194304 4196468 140730315785760 140627810204112 140628777703323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24512] ppid=24498 vsize=10658972 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/24501/task/24512/stat : 24512 (java) R 24498 24501 23247 0 -1 4202560 395 0 0 0 2 0 0 0 20 0 15 0 92484413 10914787328 10106 33554432000 4194304 4196468 140730315785760 140627809151216 140628759230026 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24513] ppid=24498 vsize=10658972 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/24501/task/24513/stat : 24513 (java) R 24498 24501 23247 0 -1 1077944384 445 0 0 0 3 0 0 0 20 0 15 0 92484413 10914787328 10106 33554432000 4194304 4196468 140730315785760 140627808091696 140628777694933 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24514] ppid=24498 vsize=10658972 memory=140381889443456 CPUtime=0.08 cores=1,3,5,7
/proc/24501/task/24514/stat : 24514 (java) R 24498 24501 23247 0 -1 4202560 934 0 0 0 8 0 0 0 20 0 15 0 92484413 10914787328 10106 33554432000 4194304 4196468 140730315785760 140627807041984 140628757152801 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24515] ppid=24498 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24515/stat : 24515 (java) S 24498 24501 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92484413 10914787328 10106 33554432000 4194304 4196468 140730315785760 140627805993312 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24518] ppid=24498 vsize=10658972 memory=140381889443456 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24518/stat : 24518 (java) S 24498 24501 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92484413 10914787328 10106 33554432000 4194304 4196468 140730315785760 140627804941360 140628777695874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 40424 KiB

[startup+0.317406 s]*
/proc/loadavg: 1.56 1.42 1.36 6/215 24547
/proc/meminfo: memFree=23866900/32770624 swapFree=67108860/67108860
[pid=24501] ppid=24498 vsize=10659048 memory=59848 CPUtime=0.71 cores=1,3,5,7
/proc/24501/stat : 24501 (java) S 24498 24501 23247 0 -1 1077944320 10960 0 0 0 69 2 0 0 20 0 15 0 92484407 10914865152 14962 33554432000 4194304 4196468 140730315785760 140730315768304 140628777684727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
/proc/24501/statm: 2664762 14962 3063 1 0 2627263 0
[pid=24501/tid=24503] ppid=24498 vsize=10659048 memory=8389772277269004345 CPUtime=0.31 cores=1,3,5,7
/proc/24501/task/24503/stat : 24503 (java) R 24498 24501 23247 0 -1 4202560 5348 0 0 0 30 1 0 0 20 0 15 0 92484408 10914865152 14962 33554432000 4194304 4196468 140730315785760 140628781923200 140628386252075 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24504] ppid=24498 vsize=10659048 memory=314970731807244311 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24504/stat : 24504 (java) S 24498 24501 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92484409 10914865152 14962 33554432000 4194304 4196468 140730315785760 140628714375696 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24505] ppid=24498 vsize=10659048 memory=301930142401783424 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24505/stat : 24505 (java) S 24498 24501 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92484409 10914865152 14962 33554432000 4194304 4196468 140730315785760 140628713323152 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24506] ppid=24498 vsize=10659048 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24506/stat : 24506 (java) S 24498 24501 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92484409 10914865152 14962 33554432000 4194304 4196468 140730315785760 140628712270096 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24507] ppid=24498 vsize=10659048 memory=3472328296227680303 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24507/stat : 24507 (java) S 24498 24501 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92484409 10914865152 14962 33554432000 4194304 4196468 140730315785760 140628711217552 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24508] ppid=24498 vsize=10659048 memory=140381889443466 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24508/stat : 24508 (java) S 24498 24501 23247 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 92484410 10914865152 14962 33554432000 4194304 4196468 140730315785760 140627813362416 140628777695874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24509] ppid=24498 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24509/stat : 24509 (java) S 24498 24501 23247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92484410 10914865152 14962 33554432000 4194304 4196468 140730315785760 140627812308640 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24510] ppid=24498 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24510/stat : 24510 (java) S 24498 24501 23247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92484410 10914865152 14962 33554432000 4194304 4196468 140730315785760 140627811255536 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24511] ppid=24498 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24511/stat : 24511 (java) S 24498 24501 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92484413 10914865152 14962 33554432000 4194304 4196468 140730315785760 140627810204112 140628777703323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24512] ppid=24498 vsize=10659048 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/24501/task/24512/stat : 24512 (java) R 24498 24501 23247 0 -1 4202560 1200 0 0 0 12 0 0 0 20 0 15 0 92484413 10914865152 14962 33554432000 4194304 4196468 140730315785760 140627809137240 140628761170674 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24513] ppid=24498 vsize=10659048 memory=-1 CPUtime=0.12 cores=1,3,5,7
/proc/24501/task/24513/stat : 24513 (java) R 24498 24501 23247 0 -1 4202560 1516 0 0 0 12 0 0 0 20 0 15 0 92484413 10914865152 14962 33554432000 4194304 4196468 140730315785760 140627808084696 140628769921854 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24514] ppid=24498 vsize=10659048 memory=140381889443456 CPUtime=0.14 cores=1,3,5,7
/proc/24501/task/24514/stat : 24514 (java) R 24498 24501 23247 0 -1 1077944384 1527 0 0 0 14 0 0 0 20 0 15 0 92484413 10914865152 14962 33554432000 4194304 4196468 140730315785760 140627807045616 140628777695874 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24515] ppid=24498 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24515/stat : 24515 (java) S 24498 24501 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92484413 10914865152 14962 33554432000 4194304 4196468 140730315785760 140627805993312 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24518] ppid=24498 vsize=10659048 memory=140381889443456 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24518/stat : 24518 (java) S 24498 24501 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92484413 10914865152 14962 33554432000 4194304 4196468 140730315785760 140627804941360 140628777695874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
Current children cumulated CPU time: 0.71 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 59848 KiB

[startup+0.700778 s]
/proc/loadavg: 1.56 1.42 1.36 5/198 24550
/proc/meminfo: memFree=23844144/32770624 swapFree=67108860/67108860
[pid=24501] ppid=24498 vsize=10659048 memory=191168 CPUtime=2 cores=1,3,5,7
/proc/24501/stat : 24501 (java) S 24498 24501 23247 0 -1 1077944320 12701 0 0 0 194 6 0 0 20 0 15 0 92484407 10914865152 47792 33554432000 4194304 4196468 140730315785760 140730315768304 140628777684727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
/proc/24501/statm: 2664762 47792 3100 1 0 2627263 0
[pid=24501/tid=24503] ppid=24498 vsize=10659048 memory=7372784464573393259 CPUtime=0.67 cores=1,3,5,7
/proc/24501/task/24503/stat : 24503 (java) R 24498 24501 23247 0 -1 4202560 5479 0 0 0 64 3 0 0 20 0 15 0 92484408 10914865152 47792 33554432000 4194304 4196468 140730315785760 140628781918168 140628389499649 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24504] ppid=24498 vsize=10659048 memory=28865 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24504/stat : 24504 (java) S 24498 24501 23247 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 92484409 10914865152 47792 33554432000 4194304 4196468 140730315785760 140628714375696 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24505] ppid=24498 vsize=10659048 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24505/stat : 24505 (java) S 24498 24501 23247 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 92484409 10914865152 47792 33554432000 4194304 4196468 140730315785760 140628713323152 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24506] ppid=24498 vsize=10659048 memory=14134428972616243 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24506/stat : 24506 (java) S 24498 24501 23247 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 92484409 10914865152 47792 33554432000 4194304 4196468 140730315785760 140628712270096 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24507] ppid=24498 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24507/stat : 24507 (java) S 24498 24501 23247 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 92484409 10914865152 47792 33554432000 4194304 4196468 140730315785760 140628711217552 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24508] ppid=24498 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24508/stat : 24508 (java) S 24498 24501 23247 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 92484410 10914865152 47792 33554432000 4194304 4196468 140730315785760 140627813362416 140628777695874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24509] ppid=24498 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24509/stat : 24509 (java) S 24498 24501 23247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92484410 10914865152 47792 33554432000 4194304 4196468 140730315785760 140627812308640 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24510] ppid=24498 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24510/stat : 24510 (java) S 24498 24501 23247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92484410 10914865152 47792 33554432000 4194304 4196468 140730315785760 140627811255536 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24511] ppid=24498 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24511/stat : 24511 (java) S 24498 24501 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92484413 10914865152 47792 33554432000 4194304 4196468 140730315785760 140627810204112 140628777703323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24512] ppid=24498 vsize=10659048 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/24501/task/24512/stat : 24512 (java) R 24498 24501 23247 0 -1 4202560 1913 0 0 0 49 0 0 0 20 0 15 0 92484413 10914865152 47792 33554432000 4194304 4196468 140730315785760 140627809140480 140628759208986 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24513] ppid=24498 vsize=10659048 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/24501/task/24513/stat : 24513 (java) R 24498 24501 23247 0 -1 4202560 1778 0 0 0 48 0 0 0 20 0 15 0 92484413 10914865152 47792 33554432000 4194304 4196468 140730315785760 140627808084112 140628759207735 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24514] ppid=24498 vsize=10659048 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/24501/task/24514/stat : 24514 (java) S 24498 24501 23247 0 -1 1077944384 2044 0 0 0 29 0 0 0 20 0 15 0 92484413 10914865152 47792 33554432000 4194304 4196468 140730315785760 140627807045616 140628777695874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24515] ppid=24498 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24515/stat : 24515 (java) S 24498 24501 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92484413 10914865152 47792 33554432000 4194304 4196468 140730315785760 140627805993312 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24518] ppid=24498 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24518/stat : 24518 (java) S 24498 24501 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92484413 10914865152 47792 33554432000 4194304 4196468 140730315785760 140627804941360 140628777695874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
Current children cumulated CPU time: 2 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 191168 KiB

[startup+1.50077 s]
/proc/loadavg: 1.75 1.46 1.37 7/216 24593
/proc/meminfo: memFree=23707752/32770624 swapFree=67108860/67108860
[pid=24501] ppid=24498 vsize=10659048 memory=217812 CPUtime=4.39 cores=1,3,5,7
/proc/24501/stat : 24501 (java) S 24498 24501 23247 0 -1 1077944320 14379 0 0 0 432 7 0 0 20 0 15 0 92484407 10914865152 54453 33554432000 4194304 4196468 140730315785760 140730315768304 140628777684727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
/proc/24501/statm: 2664762 54453 3140 1 0 2627263 0
[pid=24501/tid=24503] ppid=24498 vsize=10659048 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/24501/task/24503/stat : 24503 (java) R 24498 24501 23247 0 -1 4202560 5565 0 0 0 142 3 0 0 20 0 15 0 92484408 10914865152 54453 33554432000 4194304 4196468 140730315785760 140628781922832 140628386232262 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24504] ppid=24498 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24504/stat : 24504 (java) S 24498 24501 23247 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 92484409 10914865152 54453 33554432000 4194304 4196468 140730315785760 140628714375696 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24505] ppid=24498 vsize=10659048 memory=7668338695998623849 CPUtime=0.01 cores=1,3,5,7
/proc/24501/task/24505/stat : 24505 (java) S 24498 24501 23247 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 15 0 92484409 10914865152 54453 33554432000 4194304 4196468 140730315785760 140628713323152 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24506] ppid=24498 vsize=10659048 memory=5936702423022003051 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24506/stat : 24506 (java) S 24498 24501 23247 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 15 0 92484409 10914865152 54453 33554432000 4194304 4196468 140730315785760 140628712270096 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24507] ppid=24498 vsize=10659048 memory=8226000509773038058 CPUtime=0.01 cores=1,3,5,7
/proc/24501/task/24507/stat : 24507 (java) S 24498 24501 23247 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 15 0 92484409 10914865152 54453 33554432000 4194304 4196468 140730315785760 140628711217552 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24508] ppid=24498 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24508/stat : 24508 (java) S 24498 24501 23247 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 92484410 10914865152 54453 33554432000 4194304 4196468 140730315785760 140627813362416 140628777695874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0

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

/proc/24501/task/24503/stat : 24503 (java) R 24498 24501 23247 0 -1 4202560 59320 0 0 0 235876 53 0 0 20 0 15 0 92484408 10914865152 150913 33554432000 4194304 4196468 140730315785760 140628781924544 140628392626517 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24504] ppid=24498 vsize=10659048 memory=0 CPUtime=19.17 cores=1,3,5,7
/proc/24501/task/24504/stat : 24504 (java) S 24498 24501 23247 0 -1 1077944384 15111 0 0 0 1884 33 0 0 20 0 15 0 92484409 10914865152 150913 33554432000 4194304 4196468 140730315785760 140628714375696 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24505] ppid=24498 vsize=10659048 memory=609808 CPUtime=19.23 cores=1,3,5,7
/proc/24501/task/24505/stat : 24505 (java) S 24498 24501 23247 0 -1 1077944384 15264 0 0 0 1890 33 0 0 20 0 15 0 92484409 10914865152 150913 33554432000 4194304 4196468 140730315785760 140628713323152 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24506] ppid=24498 vsize=10659048 memory=597988 CPUtime=19.19 cores=1,3,5,7
/proc/24501/task/24506/stat : 24506 (java) S 24498 24501 23247 0 -1 1077944384 14935 0 0 0 1888 31 0 0 20 0 15 0 92484409 10914865152 150913 33554432000 4194304 4196468 140730315785760 140628712270096 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24507] ppid=24498 vsize=10659048 memory=604680 CPUtime=19.15 cores=1,3,5,7
/proc/24501/task/24507/stat : 24507 (java) S 24498 24501 23247 0 -1 1077944384 13675 0 0 0 1881 34 0 0 20 0 15 0 92484409 10914865152 150913 33554432000 4194304 4196468 140730315785760 140628711217552 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24508] ppid=24498 vsize=10659048 memory=604680 CPUtime=2.67 cores=1,3,5,7
/proc/24501/task/24508/stat : 24508 (java) S 24498 24501 23247 0 -1 1077944384 14342 0 0 0 217 50 0 0 20 0 15 0 92484410 10914865152 150913 33554432000 4194304 4196468 140730315785760 140627813362416 140628777695874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24509] ppid=24498 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24509/stat : 24509 (java) S 24498 24501 23247 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 92484410 10914865152 150913 33554432000 4194304 4196468 140730315785760 140627812308704 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24510] ppid=24498 vsize=10659048 memory=595396 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24510/stat : 24510 (java) S 24498 24501 23247 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 92484410 10914865152 150913 33554432000 4194304 4196468 140730315785760 140627811255536 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24511] ppid=24498 vsize=10659048 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24511/stat : 24511 (java) S 24498 24501 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92484413 10914865152 150913 33554432000 4194304 4196468 140730315785760 140627810204112 140628777703323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24512] ppid=24498 vsize=10659048 memory=4128 CPUtime=2.88 cores=1,3,5,7
/proc/24501/task/24512/stat : 24512 (java) S 24498 24501 23247 0 -1 1077944384 10234 0 0 0 287 1 0 0 20 0 15 0 92484413 10914865152 150913 33554432000 4194304 4196468 140730315785760 140627809151216 140628777695874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24513] ppid=24498 vsize=10659048 memory=26792 CPUtime=3.23 cores=1,3,5,7
/proc/24501/task/24513/stat : 24513 (java) S 24498 24501 23247 0 -1 1077944384 12953 0 0 0 321 2 0 0 20 0 15 0 92484413 10914865152 150913 33554432000 4194304 4196468 140730315785760 140627808098672 140628777695874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24514] ppid=24498 vsize=10659048 memory=604680 CPUtime=0.58 cores=1,3,5,7
/proc/24501/task/24514/stat : 24514 (java) S 24498 24501 23247 0 -1 1077944384 6158 0 0 0 57 1 0 0 20 0 15 0 92484413 10914865152 150913 33554432000 4194304 4196468 140730315785760 140627807045616 140628777695874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24515] ppid=24498 vsize=10659048 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24515/stat : 24515 (java) S 24498 24501 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92484413 10914865152 150913 33554432000 4194304 4196468 140730315785760 140627805993312 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24518] ppid=24498 vsize=10659048 memory=607244 CPUtime=1.36 cores=1,3,5,7
/proc/24501/task/24518/stat : 24518 (java) S 24498 24501 23247 0 -1 1077944384 1397 0 0 0 61 75 0 0 20 0 15 0 92484413 10914865152 150913 33554432000 4194304 4196468 140730315785760 140627804941360 140628777695874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
Current children cumulated CPU time: 2446.86 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 603652 KiB

[startup+2442.3 s]
/proc/loadavg: 1.47 1.34 1.40 3/216 24787
/proc/meminfo: memFree=22777176/32770624 swapFree=67108860/67108860
[pid=24501] ppid=24498 vsize=10659048 memory=638496 CPUtime=2508.39 cores=1,3,5,7
/proc/24501/stat : 24501 (java) S 24498 24501 23247 0 -1 1077944320 166702 0 0 0 250536 303 0 0 20 0 15 0 92484407 10914865152 159624 33554432000 4194304 4196468 140730315785760 140730315768304 140628777684727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
/proc/24501/statm: 2664762 159624 3171 1 0 2627263 0
[pid=24501/tid=24503] ppid=24498 vsize=10659048 memory=637936 CPUtime=2418.69 cores=1,3,5,7
/proc/24501/task/24503/stat : 24503 (java) R 24498 24501 23247 0 -1 4202560 60325 0 0 0 241815 54 0 0 20 0 15 0 92484408 10914865152 159624 33554432000 4194304 4196468 140730315785760 140628781924544 140628392626280 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24504] ppid=24498 vsize=10659048 memory=3848 CPUtime=19.68 cores=1,3,5,7
/proc/24501/task/24504/stat : 24504 (java) S 24498 24501 23247 0 -1 1077944384 15408 0 0 0 1934 34 0 0 20 0 15 0 92484409 10914865152 159624 33554432000 4194304 4196468 140730315785760 140628714375696 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24505] ppid=24498 vsize=10659048 memory=639980 CPUtime=19.74 cores=1,3,5,7
/proc/24501/task/24505/stat : 24505 (java) S 24498 24501 23247 0 -1 1077944384 15350 0 0 0 1939 35 0 0 20 0 15 0 92484409 10914865152 159624 33554432000 4194304 4196468 140730315785760 140628713323152 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24506] ppid=24498 vsize=10659048 memory=594200 CPUtime=19.69 cores=1,3,5,7
/proc/24501/task/24506/stat : 24506 (java) S 24498 24501 23247 0 -1 1077944384 15070 0 0 0 1937 32 0 0 20 0 15 0 92484409 10914865152 159624 33554432000 4194304 4196468 140730315785760 140628712270096 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24507] ppid=24498 vsize=10659048 memory=280763490034400 CPUtime=19.66 cores=1,3,5,7
/proc/24501/task/24507/stat : 24507 (java) S 24498 24501 23247 0 -1 1077944384 13794 0 0 0 1931 35 0 0 20 0 15 0 92484409 10914865152 159624 33554432000 4194304 4196468 140730315785760 140628711217552 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24508] ppid=24498 vsize=10659048 memory=604680 CPUtime=2.74 cores=1,3,5,7
/proc/24501/task/24508/stat : 24508 (java) S 24498 24501 23247 0 -1 1077944384 14607 0 0 0 223 51 0 0 20 0 15 0 92484410 10914865152 159624 33554432000 4194304 4196468 140730315785760 140627813362416 140628777695874 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24509] ppid=24498 vsize=10659048 memory=638964 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24509/stat : 24509 (java) S 24498 24501 23247 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 92484410 10914865152 159624 33554432000 4194304 4196468 140730315785760 140627812308704 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24510] ppid=24498 vsize=10659048 memory=638496 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24510/stat : 24510 (java) S 24498 24501 23247 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 92484410 10914865152 159624 33554432000 4194304 4196468 140730315785760 140627811255536 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24511] ppid=24498 vsize=10659048 memory=638496 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24511/stat : 24511 (java) S 24498 24501 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92484413 10914865152 159624 33554432000 4194304 4196468 140730315785760 140627810204112 140628777703323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24512] ppid=24498 vsize=10659048 memory=0 CPUtime=2.88 cores=1,3,5,7
/proc/24501/task/24512/stat : 24512 (java) S 24498 24501 23247 0 -1 1077944384 10236 0 0 0 287 1 0 0 20 0 15 0 92484413 10914865152 159624 33554432000 4194304 4196468 140730315785760 140627809151216 140628777695874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24513] ppid=24498 vsize=10659048 memory=1008 CPUtime=3.23 cores=1,3,5,7
/proc/24501/task/24513/stat : 24513 (java) S 24498 24501 23247 0 -1 1077944384 12955 0 0 0 321 2 0 0 20 0 15 0 92484413 10914865152 159624 33554432000 4194304 4196468 140730315785760 140627808098672 140628777695874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24514] ppid=24498 vsize=10659048 memory=638496 CPUtime=0.58 cores=1,3,5,7
/proc/24501/task/24514/stat : 24514 (java) S 24498 24501 23247 0 -1 1077944384 6160 0 0 0 57 1 0 0 20 0 15 0 92484413 10914865152 159624 33554432000 4194304 4196468 140730315785760 140627807045616 140628777695874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24515] ppid=24498 vsize=10659048 memory=638496 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24515/stat : 24515 (java) S 24498 24501 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92484413 10914865152 159624 33554432000 4194304 4196468 140730315785760 140627805993312 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24518] ppid=24498 vsize=10659048 memory=303430223234596890 CPUtime=1.4 cores=1,3,5,7
/proc/24501/task/24518/stat : 24518 (java) S 24498 24501 23247 0 -1 1077944384 1414 0 0 0 64 76 0 0 20 0 15 0 92484413 10914865152 159624 33554432000 4194304 4196468 140730315785760 140627804941360 140628777695874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
Current children cumulated CPU time: 2508.39 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 638496 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2453.7 s]
/proc/loadavg: 1.48 1.34 1.40 3/216 24787
/proc/meminfo: memFree=22793748/32770624 swapFree=67108860/67108860
[pid=24501] ppid=24498 vsize=10659048 memory=630792 CPUtime=2520.07 cores=1,3,5,7
/proc/24501/stat : 24501 (java) S 24498 24501 23247 0 -1 1077944320 166848 0 0 0 251703 304 0 0 20 0 15 0 92484407 10914865152 157698 33554432000 4194304 4196468 140730315785760 140730315768304 140628777684727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
/proc/24501/statm: 2664762 157698 3171 1 0 2627263 0
[pid=24501/tid=24503] ppid=24498 vsize=10659048 memory=630792 CPUtime=2429.98 cores=1,3,5,7
/proc/24501/task/24503/stat : 24503 (java) R 24498 24501 23247 0 -1 4202560 60414 0 0 0 242944 54 0 0 20 0 15 0 92484408 10914865152 157698 33554432000 4194304 4196468 140730315785760 140628781924432 140628392460170 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24504] ppid=24498 vsize=10659048 memory=631820 CPUtime=19.77 cores=1,3,5,7
/proc/24501/task/24504/stat : 24504 (java) S 24498 24501 23247 0 -1 1077944384 15411 0 0 0 1943 34 0 0 20 0 15 0 92484409 10914865152 157698 33554432000 4194304 4196468 140730315785760 140628714375696 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24505] ppid=24498 vsize=10659048 memory=639516 CPUtime=19.83 cores=1,3,5,7
/proc/24501/task/24505/stat : 24505 (java) S 24498 24501 23247 0 -1 1077944384 15352 0 0 0 1948 35 0 0 20 0 15 0 92484409 10914865152 157698 33554432000 4194304 4196468 140730315785760 140628713323152 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24506] ppid=24498 vsize=10659048 memory=639980 CPUtime=19.79 cores=1,3,5,7
/proc/24501/task/24506/stat : 24506 (java) S 24498 24501 23247 0 -1 1077944384 15108 0 0 0 1946 33 0 0 20 0 15 0 92484409 10914865152 157698 33554432000 4194304 4196468 140730315785760 140628712270096 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24507] ppid=24498 vsize=10659048 memory=638496 CPUtime=19.75 cores=1,3,5,7
/proc/24501/task/24507/stat : 24507 (java) S 24498 24501 23247 0 -1 1077944384 13799 0 0 0 1940 35 0 0 20 0 15 0 92484409 10914865152 157698 33554432000 4194304 4196468 140730315785760 140628711217552 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24508] ppid=24498 vsize=10659048 memory=638964 CPUtime=2.76 cores=1,3,5,7
/proc/24501/task/24508/stat : 24508 (java) S 24498 24501 23247 0 -1 1077944384 14614 0 0 0 224 52 0 0 20 0 15 0 92484410 10914865152 157698 33554432000 4194304 4196468 140730315785760 140627813362416 140628777695874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24509] ppid=24498 vsize=10659048 memory=604680 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24509/stat : 24509 (java) S 24498 24501 23247 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 92484410 10914865152 157698 33554432000 4194304 4196468 140730315785760 140627812308704 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24510] ppid=24498 vsize=10659048 memory=280763490034400 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24510/stat : 24510 (java) S 24498 24501 23247 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 92484410 10914865152 157698 33554432000 4194304 4196468 140730315785760 140627811255536 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24511] ppid=24498 vsize=10659048 memory=636436 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24511/stat : 24511 (java) S 24498 24501 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92484413 10914865152 157698 33554432000 4194304 4196468 140730315785760 140627810204112 140628777703323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24512] ppid=24498 vsize=10659048 memory=634896 CPUtime=2.88 cores=1,3,5,7
/proc/24501/task/24512/stat : 24512 (java) S 24498 24501 23247 0 -1 1077944384 10236 0 0 0 287 1 0 0 20 0 15 0 92484413 10914865152 157698 33554432000 4194304 4196468 140730315785760 140627809151216 140628777695874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24513] ppid=24498 vsize=10659048 memory=15572 CPUtime=3.23 cores=1,3,5,7
/proc/24501/task/24513/stat : 24513 (java) S 24498 24501 23247 0 -1 1077944384 12955 0 0 0 321 2 0 0 20 0 15 0 92484413 10914865152 157698 33554432000 4194304 4196468 140730315785760 140627808098672 140628777695874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24514] ppid=24498 vsize=10659048 memory=7019822518884581478 CPUtime=0.58 cores=1,3,5,7
/proc/24501/task/24514/stat : 24514 (java) S 24498 24501 23247 0 -1 1077944384 6160 0 0 0 57 1 0 0 20 0 15 0 92484413 10914865152 157698 33554432000 4194304 4196468 140730315785760 140627807045616 140628777695874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24515] ppid=24498 vsize=10659048 memory=630792 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24515/stat : 24515 (java) S 24498 24501 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92484413 10914865152 157698 33554432000 4194304 4196468 140730315785760 140627805993312 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24518] ppid=24498 vsize=10659048 memory=0 CPUtime=1.41 cores=1,3,5,7
/proc/24501/task/24518/stat : 24518 (java) S 24498 24501 23247 0 -1 1077944384 1416 0 0 0 64 77 0 0 20 0 15 0 92484413 10914865152 157698 33554432000 4194304 4196468 140730315785760 140627804941360 140628777695874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 630792 KiB

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

[startup+2453.73 s]
# the end of solver process 24501 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.08 s, system=3.05431 s

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

[startup+2453.7 s]
/proc/loadavg: 1.48 1.34 1.40 3/216 24787
/proc/meminfo: memFree=22793748/32770624 swapFree=67108860/67108860
[pid=24501] ppid=24498 vsize=10659048 memory=630792 CPUtime=2520.07 cores=1,3,5,7
/proc/24501/stat : 24501 (java) S 24498 24501 23247 0 -1 1077944320 166848 0 0 0 251703 304 0 0 20 0 15 0 92484407 10914865152 157698 33554432000 4194304 4196468 140730315785760 140730315768304 140628777684727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
/proc/24501/statm: 2664762 157698 3171 1 0 2627263 0
[pid=24501/tid=24503] ppid=24498 vsize=10659048 memory=630792 CPUtime=2429.98 cores=1,3,5,7
/proc/24501/task/24503/stat : 24503 (java) R 24498 24501 23247 0 -1 4202560 60414 0 0 0 242944 54 0 0 20 0 15 0 92484408 10914865152 157698 33554432000 4194304 4196468 140730315785760 140628781924432 140628392460170 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24504] ppid=24498 vsize=10659048 memory=631820 CPUtime=19.77 cores=1,3,5,7
/proc/24501/task/24504/stat : 24504 (java) S 24498 24501 23247 0 -1 1077944384 15411 0 0 0 1943 34 0 0 20 0 15 0 92484409 10914865152 157698 33554432000 4194304 4196468 140730315785760 140628714375696 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24505] ppid=24498 vsize=10659048 memory=639516 CPUtime=19.83 cores=1,3,5,7
/proc/24501/task/24505/stat : 24505 (java) S 24498 24501 23247 0 -1 1077944384 15352 0 0 0 1948 35 0 0 20 0 15 0 92484409 10914865152 157698 33554432000 4194304 4196468 140730315785760 140628713323152 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24506] ppid=24498 vsize=10659048 memory=639980 CPUtime=19.79 cores=1,3,5,7
/proc/24501/task/24506/stat : 24506 (java) S 24498 24501 23247 0 -1 1077944384 15108 0 0 0 1946 33 0 0 20 0 15 0 92484409 10914865152 157698 33554432000 4194304 4196468 140730315785760 140628712270096 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24507] ppid=24498 vsize=10659048 memory=638496 CPUtime=19.75 cores=1,3,5,7
/proc/24501/task/24507/stat : 24507 (java) S 24498 24501 23247 0 -1 1077944384 13799 0 0 0 1940 35 0 0 20 0 15 0 92484409 10914865152 157698 33554432000 4194304 4196468 140730315785760 140628711217552 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24508] ppid=24498 vsize=10659048 memory=638964 CPUtime=2.76 cores=1,3,5,7
/proc/24501/task/24508/stat : 24508 (java) S 24498 24501 23247 0 -1 1077944384 14614 0 0 0 224 52 0 0 20 0 15 0 92484410 10914865152 157698 33554432000 4194304 4196468 140730315785760 140627813362416 140628777695874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24509] ppid=24498 vsize=10659048 memory=604680 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24509/stat : 24509 (java) S 24498 24501 23247 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 92484410 10914865152 157698 33554432000 4194304 4196468 140730315785760 140627812308704 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24510] ppid=24498 vsize=10659048 memory=280763490034400 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24510/stat : 24510 (java) S 24498 24501 23247 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 92484410 10914865152 157698 33554432000 4194304 4196468 140730315785760 140627811255536 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24511] ppid=24498 vsize=10659048 memory=636436 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24511/stat : 24511 (java) S 24498 24501 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92484413 10914865152 157698 33554432000 4194304 4196468 140730315785760 140627810204112 140628777703323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24512] ppid=24498 vsize=10659048 memory=634896 CPUtime=2.88 cores=1,3,5,7
/proc/24501/task/24512/stat : 24512 (java) S 24498 24501 23247 0 -1 1077944384 10236 0 0 0 287 1 0 0 20 0 15 0 92484413 10914865152 157698 33554432000 4194304 4196468 140730315785760 140627809151216 140628777695874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24513] ppid=24498 vsize=10659048 memory=15572 CPUtime=3.23 cores=1,3,5,7
/proc/24501/task/24513/stat : 24513 (java) S 24498 24501 23247 0 -1 1077944384 12955 0 0 0 321 2 0 0 20 0 15 0 92484413 10914865152 157698 33554432000 4194304 4196468 140730315785760 140627808098672 140628777695874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24514] ppid=24498 vsize=10659048 memory=7019822518884581478 CPUtime=0.58 cores=1,3,5,7
/proc/24501/task/24514/stat : 24514 (java) S 24498 24501 23247 0 -1 1077944384 6160 0 0 0 57 1 0 0 20 0 15 0 92484413 10914865152 157698 33554432000 4194304 4196468 140730315785760 140627807045616 140628777695874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24515] ppid=24498 vsize=10659048 memory=630792 CPUtime=0 cores=1,3,5,7
/proc/24501/task/24515/stat : 24515 (java) S 24498 24501 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92484413 10914865152 157698 33554432000 4194304 4196468 140730315785760 140627805993312 140628777694933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
[pid=24501/tid=24518] ppid=24498 vsize=10659048 memory=0 CPUtime=1.41 cores=1,3,5,7
/proc/24501/task/24518/stat : 24518 (java) S 24498 24501 23247 0 -1 1077944384 1416 0 0 0 64 77 0 0 20 0 15 0 92484413 10914865152 157698 33554432000 4194304 4196468 140730315785760 140627804941360 140628777695874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140730315793581 140730315793673 140730315793673 140730315796431 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 630792 KiB

Child status: 143
Real time (s): 2453.73
CPU time (s): 2520.14
CPU user time (s): 2517.08
CPU system time (s): 3.05431
CPU usage (%): 102.706
Max. virtual memory (cumulated for all children) (KiB): 10659048
Max. memory (cumulated for all children) (KiB): 2255504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.08
system time used= 3.05431
maximum resident set size= 2256392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167182
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118222
involuntary context switches= 3795


# summary of solver processes directly reported to runsolver:
#   pid: 24501
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2517.08
#   total CPU system time (s): 3.05431

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8949 second user time and 22.8467 second system time

The end
Name	Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-graph-10-opt_c18.xml
MD5SUM	243bcfbcb34c1b91a77d0c7cb67e5fc9
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	394
Best CPU time to get the best result obtained on this benchmark	0.8321
Satisfiable
(Un)Satisfiability was proved
Number of variables	680
Number of constraints	3907
Number of domains	6
Minimum domain size	22
Maximum domain size	44
Distribution of domain sizes	[{"size":22,"count":40},{"size":24,"count":14},{"size":36,"count":146},{"size":42,"count":306},{"size":44,"count":174}]
Minimum variable degree	4
Maximum variable degree	25
Distribution of variable degrees	[{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":15},{"degree":7,"count":36},{"degree":8,"count":71},{"degree":9,"count":62},{"degree":10,"count":71},{"degree":11,"count":58},{"degree":12,"count":55},{"degree":13,"count":34},{"degree":14,"count":33},{"degree":15,"count":44},{"degree":16,"count":63},{"degree":17,"count":60},{"degree":18,"count":44},{"degree":19,"count":19},{"degree":20,"count":5},{"degree":21,"count":2},{"degree":22,"count":1},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":25,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":3907}]
Number of extensional constraints	3907
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":3907}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4298170

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
