2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2-SuperNG	SAT (TO)	37	252.111	208.346
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 (11793 MiB free)
  memory of node 1: 16384 MiB (15801 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302747-1532894876/watcher-4302747-1532894876 -o /tmp/evaluation-result-4302747-1532894876/solver-4302747-1532894876 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532893975-22777 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1800977338 -superng HOME/instance-4302747-1532894876.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=24079, runsolver pid=24076

[startup+0.100124 s]*
/proc/loadavg: 2.08 1.95 1.75 5/206 24136
/proc/meminfo: memFree=28231480/32770624 swapFree=67108860/67108860
[pid=24079] ppid=24076 vsize=10005480 memory=17344 CPUtime=0.09 cores=1,3,5,7
/proc/24079/stat : 24079 (java) S 24076 24079 13514 0 -1 1077944320 4467 12924 0 0 1 0 5 3 20 0 6 0 107050771 10245611520 4336 33554432000 4194304 4196468 140728464666320 140728464648864 140619639045879 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
/proc/24079/statm: 2501370 4336 1957 1 0 2489808 0
[pid=24079/tid=24132] ppid=24076 vsize=10021560 memory=4279135703980212366 CPUtime=0.09 cores=1,3,5,7
/proc/24079/task/24132/stat : 24132 (java) R 24076 24079 13514 0 -1 4202560 2313 12924 0 0 1 0 5 3 20 0 6 0 107050780 10262077440 4336 33554432000 4194304 4196468 140728464666320 140619610882640 140619624543808 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24133] ppid=24076 vsize=10021560 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24133/stat : 24133 (java) S 24076 24079 13514 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 6 0 107050781 10262077440 4336 33554432000 4194304 4196468 140728464666320 140619643287824 140619639056085 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24134] ppid=24076 vsize=10021560 memory=139728335644288 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24134/stat : 24134 (java) S 24076 24079 13514 0 -1 1077944384 2 12924 0 0 0 0 5 3 20 0 6 0 107050781 10262077440 4336 33554432000 4194304 4196468 140728464666320 140619513936272 140619639056085 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24135] ppid=24076 vsize=10021560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24135/stat : 24135 (java) S 24076 24079 13514 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 6 0 107050781 10262077440 4336 33554432000 4194304 4196468 140728464666320 140619512883728 140619639056085 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24136] ppid=24076 vsize=10021560 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24136/stat : 24136 (java) S 24076 24079 13514 0 -1 1077944384 2 12924 0 0 0 0 5 3 20 0 6 0 107050781 10262077440 4336 33554432000 4194304 4196468 140728464666320 140619176270480 140619639056085 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17344 KiB

[startup+0.20989 s]*
/proc/loadavg: 2.08 1.95 1.75 3/215 24145
/proc/meminfo: memFree=28209016/32770624 swapFree=67108860/67108860
[pid=24079] ppid=24076 vsize=10985364 memory=48276 CPUtime=0.26 cores=1,3,5,7
/proc/24079/stat : 24079 (java) S 24076 24079 13514 0 -1 1077944320 8783 12924 0 0 17 1 5 3 20 0 15 0 107050771 11249012736 12069 33554432000 4194304 4196468 140728464666320 140728464648864 140619639045879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
/proc/24079/statm: 2746341 12069 2944 1 0 2708764 0
[pid=24079/tid=24132] ppid=24076 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/24079/task/24132/stat : 24132 (java) D 24076 24079 13514 0 -1 1077944384 5354 12924 0 0 11 0 5 3 20 0 15 0 107050780 11246329856 11462 33554432000 4194304 4196468 140728464666320 140619610870688 140619631725101 0 4 0 16800975 18446744072101797412 0 0 -1 1 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24133] ppid=24076 vsize=10982744 memory=339 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24133/stat : 24133 (java) S 24076 24079 13514 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 107050781 11246329856 11462 33554432000 4194304 4196468 140728464666320 140619643287824 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24134] ppid=24076 vsize=10982744 memory=3617997193213093536 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24134/stat : 24134 (java) S 24076 24079 13514 0 -1 1077944384 2 12924 0 0 0 0 5 3 20 0 15 0 107050781 11246329856 11462 33554432000 4194304 4196468 140728464666320 140619513936272 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24135] ppid=24076 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24135/stat : 24135 (java) S 24076 24079 13514 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 107050781 11246329856 11462 33554432000 4194304 4196468 140728464666320 140619512883728 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24136] ppid=24076 vsize=10982776 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24136/stat : 24136 (java) S 24076 24079 13514 0 -1 1077944384 2 12924 0 0 0 0 5 3 20 0 15 0 107050781 11246362624 11462 33554432000 4194304 4196468 140728464666320 140619176270480 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24137] ppid=24076 vsize=10982776 memory=139728335644288 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24137/stat : 24137 (java) S 24076 24079 13514 0 -1 1077944384 2 12924 0 0 0 0 5 3 20 0 15 0 107050782 11246362624 11462 33554432000 4194304 4196468 140728464666320 140619132176880 140619639057026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24138] ppid=24076 vsize=10982776 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24138/stat : 24138 (java) S 24076 24079 13514 0 -1 1077944384 13 12924 0 0 0 0 5 3 20 0 15 0 107050783 11246362624 11462 33554432000 4194304 4196468 140728464666320 140618437223840 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24139] ppid=24076 vsize=10982776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24139/stat : 24139 (java) S 24076 24079 13514 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 107050783 11246362624 11462 33554432000 4194304 4196468 140728464666320 140618235897328 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24140] ppid=24076 vsize=10982776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24140/stat : 24140 (java) S 24076 24079 13514 0 -1 1077944384 3 12924 0 0 0 0 5 3 20 0 15 0 107050786 11246362624 11527 33554432000 4194304 4196468 140728464666320 140617928497872 140619639064475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24141] ppid=24076 vsize=10982776 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/24079/task/24141/stat : 24141 (java) S 24076 24079 13514 0 -1 1077944384 360 12924 0 0 1 0 5 3 20 0 15 0 107050786 11246362624 11527 33554432000 4194304 4196468 140728464666320 140619131123696 140619639057026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24142] ppid=24076 vsize=10982776 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24142/stat : 24142 (java) S 24076 24079 13514 0 -1 1077944384 254 12924 0 0 0 0 5 3 20 0 15 0 107050786 11246362624 11527 33554432000 4194304 4196468 140728464666320 140619130071152 140619639057026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24143] ppid=24076 vsize=10982776 memory=139728335644288 CPUtime=0.11 cores=1,3,5,7
/proc/24079/task/24143/stat : 24143 (java) S 24076 24079 13514 0 -1 1077944384 620 12924 0 0 3 0 5 3 20 0 15 0 107050786 11246362624 11593 33554432000 4194304 4196468 140728464666320 140619129018608 140619639057026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24144] ppid=24076 vsize=10982776 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24144/stat : 24144 (java) S 24076 24079 13514 0 -1 1077944384 3 12924 0 0 0 0 5 3 20 0 15 0 107050786 11246362624 11593 33554432000 4194304 4196468 140728464666320 140617497700960 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24145] ppid=24076 vsize=10982776 memory=139728335644288 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24145/stat : 24145 (java) S 24076 24079 13514 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 107050786 11246362624 11593 33554432000 4194304 4196468 140728464666320 140619127966512 140619639057026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10985364 KiB
Current children cumulated memory: 48276 KiB

[startup+0.310225 s]*
/proc/loadavg: 2.08 1.95 1.75 4/215 24145
/proc/meminfo: memFree=28195620/32770624 swapFree=67108860/67108860
[pid=24079] ppid=24076 vsize=10983192 memory=56308 CPUtime=0.39 cores=1,3,5,7
/proc/24079/stat : 24079 (java) S 24076 24079 13514 0 -1 1077944320 10674 12924 0 0 29 2 5 3 20 0 15 0 107050771 11246788608 14077 33554432000 4194304 4196468 140728464666320 140728464648864 140619639045879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
/proc/24079/statm: 2745798 14077 3063 1 0 2708109 0
[pid=24079/tid=24132] ppid=24076 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/24079/task/24132/stat : 24132 (java) R 24076 24079 13514 0 -1 4202560 7211 12924 0 0 20 1 5 3 20 0 15 0 107050780 11246788608 14077 33554432000 4194304 4196468 140728464666320 140619610857888 140619623126366 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24133] ppid=24076 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24133/stat : 24133 (java) S 24076 24079 13514 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 107050781 11246788608 14077 33554432000 4194304 4196468 140728464666320 140619643287824 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24134] ppid=24076 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24134/stat : 24134 (java) S 24076 24079 13514 0 -1 1077944384 2 12924 0 0 0 0 5 3 20 0 15 0 107050781 11246788608 14077 33554432000 4194304 4196468 140728464666320 140619513936272 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24135] ppid=24076 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24135/stat : 24135 (java) S 24076 24079 13514 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 107050781 11246788608 14077 33554432000 4194304 4196468 140728464666320 140619512883728 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24136] ppid=24076 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24136/stat : 24136 (java) S 24076 24079 13514 0 -1 1077944384 2 12924 0 0 0 0 5 3 20 0 15 0 107050781 11246788608 14077 33554432000 4194304 4196468 140728464666320 140619176270480 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24137] ppid=24076 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24137/stat : 24137 (java) S 24076 24079 13514 0 -1 1077944384 2 12924 0 0 0 0 5 3 20 0 15 0 107050782 11246788608 14077 33554432000 4194304 4196468 140728464666320 140619132176880 140619639057026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24138] ppid=24076 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24138/stat : 24138 (java) S 24076 24079 13514 0 -1 1077944384 13 12924 0 0 0 0 5 3 20 0 15 0 107050783 11246788608 14077 33554432000 4194304 4196468 140728464666320 140618437223840 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24139] ppid=24076 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24139/stat : 24139 (java) S 24076 24079 13514 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 107050783 11246788608 14077 33554432000 4194304 4196468 140728464666320 140618235897328 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24140] ppid=24076 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24140/stat : 24140 (java) S 24076 24079 13514 0 -1 1077944384 3 12924 0 0 0 0 5 3 20 0 15 0 107050786 11246788608 14077 33554432000 4194304 4196468 140728464666320 140617928497872 140619639064475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24141] ppid=24076 vsize=10983192 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/24079/task/24141/stat : 24141 (java) S 24076 24079 13514 0 -1 1077944384 361 12924 0 0 2 0 5 3 20 0 15 0 107050786 11246788608 14077 33554432000 4194304 4196468 140728464666320 140619131123696 140619639057026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24142] ppid=24076 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/24079/task/24142/stat : 24142 (java) S 24076 24079 13514 0 -1 1077944384 254 12924 0 0 1 0 5 3 20 0 15 0 107050786 11246788608 14077 33554432000 4194304 4196468 140728464666320 140619130071152 140619639057026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24143] ppid=24076 vsize=10983192 memory=139728335644288 CPUtime=0.13 cores=1,3,5,7
/proc/24079/task/24143/stat : 24143 (java) R 24076 24079 13514 0 -1 4202560 627 12924 0 0 5 0 5 3 20 0 15 0 107050786 11246788608 14077 33554432000 4194304 4196468 140728464666320 140619129018608 140619619017064 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24144] ppid=24076 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24144/stat : 24144 (java) S 24076 24079 13514 0 -1 1077944384 3 12924 0 0 0 0 5 3 20 0 15 0 107050786 11246788608 14077 33554432000 4194304 4196468 140728464666320 140617497700960 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24145] ppid=24076 vsize=10983192 memory=139728335644288 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24145/stat : 24145 (java) S 24076 24079 13514 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 107050786 11246788608 14077 33554432000 4194304 4196468 140728464666320 140619127966512 140619639057026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56308 KiB

[startup+0.700795 s]
/proc/loadavg: 2.08 1.95 1.75 5/215 24145
/proc/meminfo: memFree=28176520/32770624 swapFree=67108860/67108860
[pid=24079] ppid=24076 vsize=10983192 memory=88728 CPUtime=1 cores=1,3,5,7
/proc/24079/stat : 24079 (java) S 24076 24079 13514 0 -1 1077944320 16767 12924 0 0 88 4 5 3 20 0 15 0 107050771 11246788608 22182 33554432000 4194304 4196468 140728464666320 140728464648864 140619639045879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
/proc/24079/statm: 2745798 22182 3240 1 0 2708109 0
[pid=24079/tid=24132] ppid=24076 vsize=10983192 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/24079/task/24132/stat : 24132 (java) R 24076 24079 13514 0 -1 4202560 12209 12924 0 0 57 2 5 3 20 0 15 0 107050780 11246788608 22182 33554432000 4194304 4196468 140728464666320 140619610866704 140619619321615 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24133] ppid=24076 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24133/stat : 24133 (java) S 24076 24079 13514 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 107050781 11246788608 22182 33554432000 4194304 4196468 140728464666320 140619643287824 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24134] ppid=24076 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24134/stat : 24134 (java) S 24076 24079 13514 0 -1 1077944384 2 12924 0 0 0 0 5 3 20 0 15 0 107050781 11246788608 22182 33554432000 4194304 4196468 140728464666320 140619513936272 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24135] ppid=24076 vsize=10983192 memory=32804 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24135/stat : 24135 (java) S 24076 24079 13514 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 107050781 11246788608 22182 33554432000 4194304 4196468 140728464666320 140619512883728 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24136] ppid=24076 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24136/stat : 24136 (java) S 24076 24079 13514 0 -1 1077944384 2 12924 0 0 0 0 5 3 20 0 15 0 107050781 11246788608 22182 33554432000 4194304 4196468 140728464666320 140619176270480 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24137] ppid=24076 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24137/stat : 24137 (java) S 24076 24079 13514 0 -1 1077944384 5 12924 0 0 0 0 5 3 20 0 15 0 107050782 11246788608 22182 33554432000 4194304 4196468 140728464666320 140619132176880 140619639057026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24138] ppid=24076 vsize=10983192 memory=139728238293680 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24138/stat : 24138 (java) S 24076 24079 13514 0 -1 1077944384 13 12924 0 0 0 0 5 3 20 0 15 0 107050783 11246788608 22182 33554432000 4194304 4196468 140728464666320 140618437223840 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24139] ppid=24076 vsize=10983192 memory=139732466008656 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24139/stat : 24139 (java) S 24076 24079 13514 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 107050783 11246788608 22182 33554432000 4194304 4196468 140728464666320 140618235897328 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24140] ppid=24076 vsize=10983192 memory=1020 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24140/stat : 24140 (java) S 24076 24079 13514 0 -1 1077944384 3 12924 0 0 0 0 5 3 20 0 15 0 107050786 11246788608 22182 33554432000 4194304 4196468 140728464666320 140617928497872 140619639064475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24141] ppid=24076 vsize=10983192 memory=7089042195949315648 CPUtime=0.17 cores=1,3,5,7
/proc/24079/task/24141/stat : 24141 (java) S 24076 24079 13514 0 -1 1077944384 970 12924 0 0 9 0 5 3 20 0 15 0 107050786 11246788608 22182 33554432000 4194304 4196468 140728464666320 140619131123696 140619639057026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24142] ppid=24076 vsize=10983192 memory=7881696724453321575 CPUtime=0.15 cores=1,3,5,7
/proc/24079/task/24142/stat : 24142 (java) S 24076 24079 13514 0 -1 1077944384 681 12924 0 0 7 0 5 3 20 0 15 0 107050786 11246788608 22182 33554432000 4194304 4196468 140728464666320 140619130071152 140619639057026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24143] ppid=24076 vsize=10983192 memory=5789189752906409301 CPUtime=0.21 cores=1,3,5,7
/proc/24079/task/24143/stat : 24143 (java) S 24076 24079 13514 0 -1 1077944384 683 12924 0 0 13 0 5 3 20 0 15 0 107050786 11246788608 22182 33554432000 4194304 4196468 140728464666320 140619129018608 140619639057026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24144] ppid=24076 vsize=10983192 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24144/stat : 24144 (java) S 24076 24079 13514 0 -1 1077944384 3 12924 0 0 0 0 5 3 20 0 15 0 107050786 11246788608 22182 33554432000 4194304 4196468 140728464666320 140617497700960 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24145] ppid=24076 vsize=10983192 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24145/stat : 24145 (java) S 24076 24079 13514 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 107050786 11246788608 22182 33554432000 4194304 4196468 140728464666320 140619127966512 140619639057026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88728 KiB

[startup+1.50084 s]
/proc/loadavg: 2.08 1.95 1.75 4/215 24145
/proc/meminfo: memFree=28121848/32770624 swapFree=67108860/67108860
[pid=24079] ppid=24076 vsize=10998092 memory=193428 CPUtime=2.57 cores=1,3,5,7
/proc/24079/stat : 24079 (java) S 24076 24079 13514 0 -1 1077944320 24535 12924 0 0 239 10 5 3 20 0 15 0 107050771 11262046208 48357 33554432000 4194304 4196468 140728464666320 140728464648864 140619639045879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
/proc/24079/statm: 2749523 48357 3482 1 0 2711181 0
[pid=24079/tid=24132] ppid=24076 vsize=10998092 memory=10757 CPUtime=1.43 cores=1,3,5,7
/proc/24079/task/24132/stat : 24132 (java) R 24076 24079 13514 0 -1 4202560 17238 12924 0 0 129 6 5 3 20 0 15 0 107050780 11262046208 48357 33554432000 4194304 4196468 140728464666320 140619610864520 140619639067805 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24133] ppid=24076 vsize=10998092 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/24079/task/24133/stat : 24133 (java) S 24076 24079 13514 0 -1 1077944384 29 12924 0 0 1 0 5 3 20 0 15 0 107050781 11262046208 48357 33554432000 4194304 4196468 140728464666320 140619643287824 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24134] ppid=24076 vsize=10998092 memory=1404 CPUtime=0.09 cores=1,3,5,7
/proc/24079/task/24134/stat : 24134 (java) S 24076 24079 13514 0 -1 1077944384 20 12924 0 0 1 0 5 3 20 0 15 0 107050781 11262046208 48422 33554432000 4194304 4196468 140728464666320 140619513936272 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24135] ppid=24076 vsize=10998092 memory=2500 CPUtime=0.09 cores=1,3,5,7
/proc/24079/task/24135/stat : 24135 (java) S 24076 24079 13514 0 -1 1077944384 165 12924 0 0 1 0 5 3 20 0 15 0 107050781 11262046208 48422 33554432000 4194304 4196468 140728464666320 140619512883728 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24136] ppid=24076 vsize=10998092 memory=88728 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24136/stat : 24136 (java) S 24076 24079 13514 0 -1 1077944384 69 12924 0 0 0 0 5 3 20 0 15 0 107050781 11262046208 48422 33554432000 4194304 4196468 140728464666320 140619176270480 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24137] ppid=24076 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/24079/task/24137/stat : 24137 (java) S 24076 24079 13514 0 -1 1077944384 48 12924 0 0 1 0 5 3 20 0 15 0 107050782 11262046208 48422 33554432000 4194304 4196468 140728464666320 140619132176880 140619639057026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24138] ppid=24076 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24138/stat : 24138 (java) S 24076 24079 13514 0 -1 1077944384 14 12924 0 0 0 0 5 3 20 0 15 0 107050783 11262046208 48422 33554432000 4194304 4196468 140728464666320 140618437223904 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24139] ppid=24076 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24139/stat : 24139 (java) S 24076 24079 13514 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 107050783 11262046208 48422 33554432000 4194304 4196468 140728464666320 140618235897344 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24140] ppid=24076 vsize=10998092 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24140/stat : 24140 (java) S 24076 24079 13514 0 -1 1077944384 3 12924 0 0 0 0 5 3 20 0 15 0 107050786 11262046208 48422 33554432000 4194304 4196468 140728464666320 140617928497872 140619639064475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24141] ppid=24076 vsize=10998092 memory=4638778398332698720 CPUtime=0.39 cores=1,3,5,7
/proc/24079/task/24141/stat : 24141 (java) S 24076 24079 13514 0 -1 1077944384 1958 12924 0 0 31 0 5 3 20 0 15 0 107050786 11262046208 48422 33554432000 4194304 4196468 140728464666320 140619131123696 140619639057026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24142] ppid=24076 vsize=10998092 memory=279456476863360 CPUtime=0.39 cores=1,3,5,7
/proc/24079/task/24142/stat : 24142 (java) S 24076 24079 13514 0 -1 1077944384 1293 12924 0 0 31 0 5 3 20 0 15 0 107050786 11262046208 48422 33554432000 4194304 4196468 140728464666320 140619130071152 140619639057026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24143] ppid=24076 vsize=10998092 memory=6944656592452807323 CPUtime=0.48 cores=1,3,5,7
/proc/24079/task/24143/stat : 24143 (java) S 24076 24079 13514 0 -1 1077944384 1501 12924 0 0 39 1 5 3 20 0 15 0 107050786 11262046208 48422 33554432000 4194304 4196468 140728464666320 140619129018608 140619639057026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24144] ppid=24076 vsize=10998092 memory=6944656591801719708 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24144/stat : 24144 (java) S 24076 24079 13514 0 -1 1077944384 3 12924 0 0 0 0 5 3 20 0 15 0 107050786 11262046208 48422 33554432000 4194304 4196468 140728464666320 140617497700960 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24145] ppid=24076 vsize=10998092 memory=1399101730491701635 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24145/stat : 24145 (java) S 24076 24079 13514 0 -1 1077944384 1 12924 0 0 0 0 5 3 20 0 15 0 107050786 11262046208 48422 33554432000 4194304 4196468 140728464666320 140619127966512 140619639057026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
Current children cumulated CPU time: 2.57 s
Current children cumulated vsize: 10998092 KiB

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

/proc/24079/task/24132/stat : 24132 (java) R 24076 24079 13514 0 -1 4202560 53249 12924 0 0 9622 41 5 3 20 0 15 0 107050780 11345952768 959815 33554432000 4194304 4196468 140728464666320 140619610881032 140619202221265 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24133] ppid=24076 vsize=11080032 memory=279456477624064 CPUtime=5.25 cores=1,3,5,7
/proc/24079/task/24133/stat : 24133 (java) S 24076 24079 13514 0 -1 1077944384 2695 12924 0 0 469 48 5 3 20 0 15 0 107050781 11345952768 959815 33554432000 4194304 4196468 140728464666320 140619643287824 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24134] ppid=24076 vsize=11080032 memory=3849004 CPUtime=5.29 cores=1,3,5,7
/proc/24079/task/24134/stat : 24134 (java) S 24076 24079 13514 0 -1 1077944384 2208 12924 0 0 475 46 5 3 20 0 15 0 107050781 11345952768 959815 33554432000 4194304 4196468 140728464666320 140619513936272 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24135] ppid=24076 vsize=11080032 memory=3839260 CPUtime=5.25 cores=1,3,5,7
/proc/24079/task/24135/stat : 24135 (java) S 24076 24079 13514 0 -1 1077944384 2871 12924 0 0 472 45 5 3 20 0 15 0 107050781 11345952768 959815 33554432000 4194304 4196468 140728464666320 140619512883728 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24136] ppid=24076 vsize=11080032 memory=3839260 CPUtime=5.3 cores=1,3,5,7
/proc/24079/task/24136/stat : 24136 (java) S 24076 24079 13514 0 -1 1077944384 3181 12924 0 0 474 48 5 3 20 0 15 0 107050781 11345952768 959815 33554432000 4194304 4196468 140728464666320 140619176270480 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24137] ppid=24076 vsize=11080032 memory=3839260 CPUtime=0.27 cores=1,3,5,7
/proc/24079/task/24137/stat : 24137 (java) S 24076 24079 13514 0 -1 1077944384 12841 12924 0 0 17 2 5 3 20 0 15 0 107050782 11345952768 959815 33554432000 4194304 4196468 140728464666320 140619132176880 140619639057026 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24138] ppid=24076 vsize=11080032 memory=3839260 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24138/stat : 24138 (java) S 24076 24079 13514 0 -1 1077944384 24 12924 0 0 0 0 5 3 20 0 15 0 107050783 11345952768 959815 33554432000 4194304 4196468 140728464666320 140618437223904 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24139] ppid=24076 vsize=11080032 memory=3839260 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24139/stat : 24139 (java) S 24076 24079 13514 0 -1 1077944384 16 12924 0 0 0 0 5 3 20 0 15 0 107050783 11345952768 959815 33554432000 4194304 4196468 140728464666320 140618235897344 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24140] ppid=24076 vsize=11080032 memory=164 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24140/stat : 24140 (java) S 24076 24079 13514 0 -1 1077944384 3 12924 0 0 0 0 5 3 20 0 15 0 107050786 11345952768 959815 33554432000 4194304 4196468 140728464666320 140617928497872 140619639064475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24141] ppid=24076 vsize=11080032 memory=7666628942952099175 CPUtime=7.66 cores=1,3,5,7
/proc/24079/task/24141/stat : 24141 (java) S 24076 24079 13514 0 -1 1077944384 18519 12924 0 0 755 3 5 3 20 0 15 0 107050786 11345952768 959815 33554432000 4194304 4196468 140728464666320 140619131123696 140619639057026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24142] ppid=24076 vsize=11080032 memory=164 CPUtime=7.03 cores=1,3,5,7
/proc/24079/task/24142/stat : 24142 (java) S 24076 24079 13514 0 -1 1077944384 14225 12924 0 0 693 2 5 3 20 0 15 0 107050786 11345952768 959815 33554432000 4194304 4196468 140728464666320 140619130071152 140619639057026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24143] ppid=24076 vsize=11080032 memory=6944652177228980320 CPUtime=2.79 cores=1,3,5,7
/proc/24079/task/24143/stat : 24143 (java) S 24076 24079 13514 0 -1 1077944384 16626 12924 0 0 267 4 5 3 20 0 15 0 107050786 11345952768 959815 33554432000 4194304 4196468 140728464666320 140619129018608 140619639057026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 35 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24144] ppid=24076 vsize=11080032 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24144/stat : 24144 (java) S 24076 24079 13514 0 -1 1077944384 3 12924 0 0 0 0 5 3 20 0 15 0 107050786 11345952768 959815 33554432000 4194304 4196468 140728464666320 140617497700960 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24145] ppid=24076 vsize=11080032 memory=3740452 CPUtime=0.14 cores=1,3,5,7
/proc/24079/task/24145/stat : 24145 (java) S 24076 24079 13514 0 -1 1077944384 1847 12924 0 0 3 3 5 3 20 0 15 0 107050786 11345952768 959815 33554432000 4194304 4196468 140728464666320 140619127966512 140619639057026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 35 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
Current children cumulated CPU time: 135.08 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3839260 KiB

[startup+162.301 s]
/proc/loadavg: 1.67 1.96 1.80 3/216 24155
/proc/meminfo: memFree=21686996/32770624 swapFree=67108860/67108860
[pid=24079] ppid=24076 vsize=11080032 memory=3991636 CPUtime=199.4 cores=1,3,5,7
/proc/24079/stat : 24079 (java) S 24076 24079 13514 0 -1 1077944320 147896 12924 0 0 19670 262 5 3 20 0 15 0 107050771 11345952768 997909 33554432000 4194304 4196468 140728464666320 140728464648864 140619639045879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
/proc/24079/statm: 2770008 997909 3534 1 0 2731661 0
[pid=24079/tid=24132] ppid=24076 vsize=11080032 memory=3958876 CPUtime=155.44 cores=1,3,5,7
/proc/24079/task/24132/stat : 24132 (java) R 24076 24079 13514 0 -1 4202560 58648 12924 0 0 15495 41 5 3 20 0 15 0 107050780 11345952768 997909 33554432000 4194304 4196468 140728464666320 140619610881032 140619204977779 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24133] ppid=24076 vsize=11080032 memory=3958868 CPUtime=6.5 cores=1,3,5,7
/proc/24079/task/24133/stat : 24133 (java) S 24076 24079 13514 0 -1 1077944384 3027 12924 0 0 591 51 5 3 20 0 15 0 107050781 11345952768 997909 33554432000 4194304 4196468 140728464666320 140619643287824 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24134] ppid=24076 vsize=11080032 memory=3958868 CPUtime=6.55 cores=1,3,5,7
/proc/24079/task/24134/stat : 24134 (java) S 24076 24079 13514 0 -1 1077944384 3132 12924 0 0 598 49 5 3 20 0 15 0 107050781 11345952768 997909 33554432000 4194304 4196468 140728464666320 140619513936272 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24135] ppid=24076 vsize=11080032 memory=3958876 CPUtime=6.5 cores=1,3,5,7
/proc/24079/task/24135/stat : 24135 (java) S 24076 24079 13514 0 -1 1077944384 4650 12924 0 0 593 49 5 3 20 0 15 0 107050781 11345952768 997909 33554432000 4194304 4196468 140728464666320 140619512883728 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24136] ppid=24076 vsize=11080032 memory=3991636 CPUtime=6.55 cores=1,3,5,7
/proc/24079/task/24136/stat : 24136 (java) S 24076 24079 13514 0 -1 1077944384 3740 12924 0 0 595 52 5 3 20 0 15 0 107050781 11345952768 997909 33554432000 4194304 4196468 140728464666320 140619176270480 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24137] ppid=24076 vsize=11080032 memory=3876208 CPUtime=0.28 cores=1,3,5,7
/proc/24079/task/24137/stat : 24137 (java) S 24076 24079 13514 0 -1 1077944384 13148 12924 0 0 18 2 5 3 20 0 15 0 107050782 11345952768 997909 33554432000 4194304 4196468 140728464666320 140619132176880 140619639057026 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24138] ppid=24076 vsize=11080032 memory=5456 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24138/stat : 24138 (java) S 24076 24079 13514 0 -1 1077944384 24 12924 0 0 0 0 5 3 20 0 15 0 107050783 11345952768 997909 33554432000 4194304 4196468 140728464666320 140618437223904 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24139] ppid=24076 vsize=11080032 memory=756 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24139/stat : 24139 (java) S 24076 24079 13514 0 -1 1077944384 16 12924 0 0 0 0 5 3 20 0 15 0 107050783 11345952768 997909 33554432000 4194304 4196468 140728464666320 140618235897344 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24140] ppid=24076 vsize=11080032 memory=10368 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24140/stat : 24140 (java) S 24076 24079 13514 0 -1 1077944384 3 12924 0 0 0 0 5 3 20 0 15 0 107050786 11345952768 997909 33554432000 4194304 4196468 140728464666320 140617928497872 140619639064475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24141] ppid=24076 vsize=11080032 memory=1700 CPUtime=7.91 cores=1,3,5,7
/proc/24079/task/24141/stat : 24141 (java) S 24076 24079 13514 0 -1 1077944384 20411 12924 0 0 779 4 5 3 20 0 15 0 107050786 11345952768 997909 33554432000 4194304 4196468 140728464666320 140619131123696 140619639057026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24142] ppid=24076 vsize=11080032 memory=14572 CPUtime=7.26 cores=1,3,5,7
/proc/24079/task/24142/stat : 24142 (java) S 24076 24079 13514 0 -1 1077944384 17453 12924 0 0 716 2 5 3 20 0 15 0 107050786 11345952768 997909 33554432000 4194304 4196468 140728464666320 140619130071152 140619639057026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24143] ppid=24076 vsize=11080032 memory=12708 CPUtime=2.87 cores=1,3,5,7
/proc/24079/task/24143/stat : 24143 (java) S 24076 24079 13514 0 -1 1077944384 19570 12924 0 0 274 5 5 3 20 0 15 0 107050786 11345952768 997909 33554432000 4194304 4196468 140728464666320 140619129018608 140619639057026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 35 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24144] ppid=24076 vsize=11080032 memory=3958868 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24144/stat : 24144 (java) S 24076 24079 13514 0 -1 1077944384 3 12924 0 0 0 0 5 3 20 0 15 0 107050786 11345952768 997909 33554432000 4194304 4196468 140728464666320 140617497700960 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24145] ppid=24076 vsize=11080032 memory=3958868 CPUtime=0.17 cores=1,3,5,7
/proc/24079/task/24145/stat : 24145 (java) S 24076 24079 13514 0 -1 1077944384 1879 12924 0 0 5 4 5 3 20 0 15 0 107050786 11345952768 997909 33554432000 4194304 4196468 140728464666320 140619127966512 140619639057026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 35 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
Current children cumulated CPU time: 199.4 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3991636 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+208.301 s]
/proc/loadavg: 1.98 2.01 1.82 3/216 24284
/proc/meminfo: memFree=21918548/32770624 swapFree=67108860/67108860
[pid=24079] ppid=24076 vsize=11080032 memory=4089172 CPUtime=252.05 cores=1,3,5,7
/proc/24079/stat : 24079 (java) S 24076 24079 13514 0 -1 1077944320 172605 12924 0 0 24927 270 5 3 20 0 15 0 107050771 11345952768 1022293 33554432000 4194304 4196468 140728464666320 140728464648864 140619639045879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
/proc/24079/statm: 2770008 1022293 3535 1 0 2731661 0
[pid=24079/tid=24132] ppid=24076 vsize=11080032 memory=4089172 CPUtime=199.29 cores=1,3,5,7
/proc/24079/task/24132/stat : 24132 (java) R 24076 24079 13514 0 -1 4202560 62423 12924 0 0 19879 42 5 3 20 0 15 0 107050780 11345952768 1022293 33554432000 4194304 4196468 140728464666320 140619610878096 140619200942864 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24133] ppid=24076 vsize=11080032 memory=4088852 CPUtime=8.55 cores=1,3,5,7
/proc/24079/task/24133/stat : 24133 (java) S 24076 24079 13514 0 -1 1077944384 4734 12924 0 0 795 52 5 3 20 0 15 0 107050781 11345952768 1022293 33554432000 4194304 4196468 140728464666320 140619643287824 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24134] ppid=24076 vsize=11080032 memory=4088940 CPUtime=8.57 cores=1,3,5,7
/proc/24079/task/24134/stat : 24134 (java) S 24076 24079 13514 0 -1 1077944384 3982 12924 0 0 799 50 5 3 20 0 15 0 107050781 11345952768 1022293 33554432000 4194304 4196468 140728464666320 140619513936272 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24135] ppid=24076 vsize=11080032 memory=4088956 CPUtime=8.56 cores=1,3,5,7
/proc/24079/task/24135/stat : 24135 (java) S 24076 24079 13514 0 -1 1077944384 5669 12924 0 0 797 51 5 3 20 0 15 0 107050781 11345952768 1022293 33554432000 4194304 4196468 140728464666320 140619512883728 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24136] ppid=24076 vsize=11080032 memory=4088996 CPUtime=8.59 cores=1,3,5,7
/proc/24079/task/24136/stat : 24136 (java) S 24076 24079 13514 0 -1 1077944384 4499 12924 0 0 799 52 5 3 20 0 15 0 107050781 11345952768 1022293 33554432000 4194304 4196468 140728464666320 140619176270480 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24137] ppid=24076 vsize=11080032 memory=4089092 CPUtime=0.36 cores=1,3,5,7
/proc/24079/task/24137/stat : 24137 (java) S 24076 24079 13514 0 -1 1077944384 26301 12924 0 0 25 3 5 3 20 0 15 0 107050782 11345952768 1022293 33554432000 4194304 4196468 140728464666320 140619132176880 140619639057026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24138] ppid=24076 vsize=11080032 memory=6655300316396806240 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24138/stat : 24138 (java) S 24076 24079 13514 0 -1 1077944384 24 12924 0 0 0 0 5 3 20 0 15 0 107050783 11345952768 1022293 33554432000 4194304 4196468 140728464666320 140618437223904 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24139] ppid=24076 vsize=11080032 memory=4089172 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24139/stat : 24139 (java) S 24076 24079 13514 0 -1 1077944384 16 12924 0 0 0 0 5 3 20 0 15 0 107050783 11345952768 1022293 33554432000 4194304 4196468 140728464666320 140618235897344 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24140] ppid=24076 vsize=11080032 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24140/stat : 24140 (java) S 24076 24079 13514 0 -1 1077944384 3 12924 0 0 0 0 5 3 20 0 15 0 107050786 11345952768 1022293 33554432000 4194304 4196468 140728464666320 140617928497872 140619639064475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24141] ppid=24076 vsize=11080032 memory=4088996 CPUtime=8.13 cores=1,3,5,7
/proc/24079/task/24141/stat : 24141 (java) S 24076 24079 13514 0 -1 1077944384 21924 12924 0 0 801 4 5 3 20 0 15 0 107050786 11345952768 1022293 33554432000 4194304 4196468 140728464666320 140619131123696 140619639057026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24142] ppid=24076 vsize=11080032 memory=4089172 CPUtime=7.47 cores=1,3,5,7
/proc/24079/task/24142/stat : 24142 (java) S 24076 24079 13514 0 -1 1077944384 19062 12924 0 0 737 2 5 3 20 0 15 0 107050786 11345952768 1022293 33554432000 4194304 4196468 140728464666320 140619130071152 140619639057026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24143] ppid=24076 vsize=11080032 memory=4088668 CPUtime=2.94 cores=1,3,5,7
/proc/24079/task/24143/stat : 24143 (java) S 24076 24079 13514 0 -1 1077944384 19863 12924 0 0 281 5 5 3 20 0 15 0 107050786 11345952768 1022293 33554432000 4194304 4196468 140728464666320 140619129018608 140619639057026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 35 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24144] ppid=24076 vsize=11080032 memory=4089092 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24144/stat : 24144 (java) S 24076 24079 13514 0 -1 1077944384 3 12924 0 0 0 0 5 3 20 0 15 0 107050786 11345952768 1022293 33554432000 4194304 4196468 140728464666320 140617497700960 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24145] ppid=24076 vsize=11080032 memory=4089092 CPUtime=0.2 cores=1,3,5,7
/proc/24079/task/24145/stat : 24145 (java) S 24076 24079 13514 0 -1 1077944384 1910 12924 0 0 6 6 5 3 20 0 15 0 107050786 11345952768 1022293 33554432000 4194304 4196468 140728464666320 140619127966512 140619639057026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 4089172 KiB

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

[startup+208.346 s]
# the end of solver process 24079 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=249.343 s, system=2.76706 s

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

[startup+208.301 s]
/proc/loadavg: 1.98 2.01 1.82 3/216 24284
/proc/meminfo: memFree=21918548/32770624 swapFree=67108860/67108860
[pid=24079] ppid=24076 vsize=11080032 memory=4089172 CPUtime=252.05 cores=1,3,5,7
/proc/24079/stat : 24079 (java) S 24076 24079 13514 0 -1 1077944320 172605 12924 0 0 24927 270 5 3 20 0 15 0 107050771 11345952768 1022293 33554432000 4194304 4196468 140728464666320 140728464648864 140619639045879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
/proc/24079/statm: 2770008 1022293 3535 1 0 2731661 0
[pid=24079/tid=24132] ppid=24076 vsize=11080032 memory=4089172 CPUtime=199.29 cores=1,3,5,7
/proc/24079/task/24132/stat : 24132 (java) R 24076 24079 13514 0 -1 4202560 62423 12924 0 0 19879 42 5 3 20 0 15 0 107050780 11345952768 1022293 33554432000 4194304 4196468 140728464666320 140619610878096 140619200942864 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24133] ppid=24076 vsize=11080032 memory=4088852 CPUtime=8.55 cores=1,3,5,7
/proc/24079/task/24133/stat : 24133 (java) S 24076 24079 13514 0 -1 1077944384 4734 12924 0 0 795 52 5 3 20 0 15 0 107050781 11345952768 1022293 33554432000 4194304 4196468 140728464666320 140619643287824 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24134] ppid=24076 vsize=11080032 memory=4088940 CPUtime=8.57 cores=1,3,5,7
/proc/24079/task/24134/stat : 24134 (java) S 24076 24079 13514 0 -1 1077944384 3982 12924 0 0 799 50 5 3 20 0 15 0 107050781 11345952768 1022293 33554432000 4194304 4196468 140728464666320 140619513936272 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24135] ppid=24076 vsize=11080032 memory=4088956 CPUtime=8.56 cores=1,3,5,7
/proc/24079/task/24135/stat : 24135 (java) S 24076 24079 13514 0 -1 1077944384 5669 12924 0 0 797 51 5 3 20 0 15 0 107050781 11345952768 1022293 33554432000 4194304 4196468 140728464666320 140619512883728 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24136] ppid=24076 vsize=11080032 memory=4088996 CPUtime=8.59 cores=1,3,5,7
/proc/24079/task/24136/stat : 24136 (java) S 24076 24079 13514 0 -1 1077944384 4499 12924 0 0 799 52 5 3 20 0 15 0 107050781 11345952768 1022293 33554432000 4194304 4196468 140728464666320 140619176270480 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24137] ppid=24076 vsize=11080032 memory=4089092 CPUtime=0.36 cores=1,3,5,7
/proc/24079/task/24137/stat : 24137 (java) S 24076 24079 13514 0 -1 1077944384 26301 12924 0 0 25 3 5 3 20 0 15 0 107050782 11345952768 1022293 33554432000 4194304 4196468 140728464666320 140619132176880 140619639057026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24138] ppid=24076 vsize=11080032 memory=6655300316396806240 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24138/stat : 24138 (java) S 24076 24079 13514 0 -1 1077944384 24 12924 0 0 0 0 5 3 20 0 15 0 107050783 11345952768 1022293 33554432000 4194304 4196468 140728464666320 140618437223904 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24139] ppid=24076 vsize=11080032 memory=4089172 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24139/stat : 24139 (java) S 24076 24079 13514 0 -1 1077944384 16 12924 0 0 0 0 5 3 20 0 15 0 107050783 11345952768 1022293 33554432000 4194304 4196468 140728464666320 140618235897344 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24140] ppid=24076 vsize=11080032 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24140/stat : 24140 (java) S 24076 24079 13514 0 -1 1077944384 3 12924 0 0 0 0 5 3 20 0 15 0 107050786 11345952768 1022293 33554432000 4194304 4196468 140728464666320 140617928497872 140619639064475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24141] ppid=24076 vsize=11080032 memory=4088996 CPUtime=8.13 cores=1,3,5,7
/proc/24079/task/24141/stat : 24141 (java) S 24076 24079 13514 0 -1 1077944384 21924 12924 0 0 801 4 5 3 20 0 15 0 107050786 11345952768 1022293 33554432000 4194304 4196468 140728464666320 140619131123696 140619639057026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24142] ppid=24076 vsize=11080032 memory=4089172 CPUtime=7.47 cores=1,3,5,7
/proc/24079/task/24142/stat : 24142 (java) S 24076 24079 13514 0 -1 1077944384 19062 12924 0 0 737 2 5 3 20 0 15 0 107050786 11345952768 1022293 33554432000 4194304 4196468 140728464666320 140619130071152 140619639057026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24143] ppid=24076 vsize=11080032 memory=4088668 CPUtime=2.94 cores=1,3,5,7
/proc/24079/task/24143/stat : 24143 (java) S 24076 24079 13514 0 -1 1077944384 19863 12924 0 0 281 5 5 3 20 0 15 0 107050786 11345952768 1022293 33554432000 4194304 4196468 140728464666320 140619129018608 140619639057026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 35 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24144] ppid=24076 vsize=11080032 memory=4089092 CPUtime=0.08 cores=1,3,5,7
/proc/24079/task/24144/stat : 24144 (java) S 24076 24079 13514 0 -1 1077944384 3 12924 0 0 0 0 5 3 20 0 15 0 107050786 11345952768 1022293 33554432000 4194304 4196468 140728464666320 140617497700960 140619639056085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
[pid=24079/tid=24145] ppid=24076 vsize=11080032 memory=4089092 CPUtime=0.2 cores=1,3,5,7
/proc/24079/task/24145/stat : 24145 (java) S 24076 24079 13514 0 -1 1077944384 1910 12924 0 0 6 6 5 3 20 0 15 0 107050786 11345952768 1022293 33554432000 4194304 4196468 140728464666320 140619127966512 140619639057026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 33554432 140728464673384 140728464676193 140728464676193 140728464678863 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 4089172 KiB

Child status: 143
Real time (s): 208.346
CPU time (s): 252.111
CPU user time (s): 249.343
CPU system time (s): 2.76706
CPU usage (%): 121.006
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 4089172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.343
system time used= 2.76706
maximum resident set size= 4091588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185724
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16206
involuntary context switches= 659


# summary of solver processes directly reported to runsolver:
#   pid: 24079
#   total CPU time (s): 252.111
#   total CPU user time (s): 249.343
#   total CPU system time (s): 2.76706

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.26398 second user time and 2.07884 second system time

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

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
