2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2018-07-02	Wrong Opt.	32	5.00663	2.01327
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 (8053 MiB free)
  memory of node 1: 16384 MiB (10874 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291951-1532267947/watcher-4291951-1532267947 -o /tmp/evaluation-result-4291951-1532267947/solver-4291951-1532267947 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532260876-3288 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 473890358 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291951-1532267947.xml 

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

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


[startup+0.101033 s]*
/proc/loadavg: 1.88 1.52 1.52 3/215 4270
/proc/meminfo: memFree=19364240/32770624 swapFree=67108860/67108860
[pid=4255] ppid=4252 vsize=14082740 memory=33600 CPUtime=0.12 cores=1,3,5,7
/proc/4255/stat : 4255 (java) S 4252 4255 3256 0 -1 1077944320 7341 0 0 0 11 1 0 0 20 0 15 0 44357926 14420725760 8400 33554432000 4194304 4196468 140725479763088 140725479745632 140091975417591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
/proc/4255/statm: 3520685 8400 3140 1 0 3482761 0
[pid=4255/tid=4257] ppid=4252 vsize=14082740 memory=-8970427697932891328 CPUtime=0.09 cores=1,3,5,7
/proc/4255/task/4257/stat : 4257 (java) R 4252 4255 3256 0 -1 4202560 5411 0 0 0 9 0 0 0 20 0 15 0 44357926 14420725760 8400 33554432000 4194304 4196468 140725479763088 140091979602272 140091959498078 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4258] ppid=4252 vsize=14082740 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4258/stat : 4258 (java) S 4252 4255 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357927 14420725760 8400 33554432000 4194304 4196468 140725479763088 140091905505552 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4259] ppid=4252 vsize=14082740 memory=140210184480384 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4259/stat : 4259 (java) S 4252 4255 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357927 14420725760 8400 33554432000 4194304 4196468 140725479763088 140091904453008 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4260] ppid=4252 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4260/stat : 4260 (java) S 4252 4255 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357927 14420725760 8400 33554432000 4194304 4196468 140725479763088 140091903400464 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4261] ppid=4252 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4261/stat : 4261 (java) S 4252 4255 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44357927 14420725760 8400 33554432000 4194304 4196468 140725479763088 140091902347920 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4262] ppid=4252 vsize=14082740 memory=140210184480384 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4262/stat : 4262 (java) S 4252 4255 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44357928 14420725760 8400 33554432000 4194304 4196468 140725479763088 140091449780720 140091975428738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4263] ppid=4252 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4263/stat : 4263 (java) S 4252 4255 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44357928 14420725760 8400 33554432000 4194304 4196468 140725479763088 140091448726944 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4264] ppid=4252 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4264/stat : 4264 (java) S 4252 4255 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44357929 14420725760 8400 33554432000 4194304 4196468 140725479763088 140091447674352 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4265] ppid=4252 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4265/stat : 4265 (java) S 4252 4255 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357931 14420725760 8400 33554432000 4194304 4196468 140725479763088 140091446622928 140091975436187 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4266] ppid=4252 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4266/stat : 4266 (java) S 4252 4255 3256 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 44357931 14420725760 8400 33554432000 4194304 4196468 140725479763088 140091445569520 140091975428738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4267] ppid=4252 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4267/stat : 4267 (java) S 4252 4255 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357931 14420725760 8400 33554432000 4194304 4196468 140725479763088 140091444516976 140091975428738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4268] ppid=4252 vsize=14082740 memory=140210184480384 CPUtime=0.01 cores=1,3,5,7
/proc/4255/task/4268/stat : 4268 (java) R 4252 4255 3256 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 15 0 44357931 14420725760 8400 33554432000 4194304 4196468 140725479763088 140091443464432 140091954074445 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4269] ppid=4252 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4269/stat : 4269 (java) S 4252 4255 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357931 14420725760 8400 33554432000 4194304 4196468 140725479763088 140091442412128 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4270] ppid=4252 vsize=14082740 memory=140210184480384 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4270/stat : 4270 (java) S 4252 4255 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357931 14420725760 8400 33554432000 4194304 4196468 140725479763088 140091441359664 140091975428738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 33600 KiB

[startup+0.21021 s]*
/proc/loadavg: 1.88 1.52 1.52 6/215 4270
/proc/meminfo: memFree=19349356/32770624 swapFree=67108860/67108860
[pid=4255] ppid=4252 vsize=14082740 memory=46976 CPUtime=0.31 cores=1,3,5,7
/proc/4255/stat : 4255 (java) S 4252 4255 3256 0 -1 1077944320 10376 0 0 0 29 2 0 0 20 0 15 0 44357926 14420725760 11744 33554432000 4194304 4196468 140725479763088 140725479745632 140091975417591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
/proc/4255/statm: 3520685 11744 3382 1 0 3482761 0
[pid=4255/tid=4257] ppid=4252 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/4255/task/4257/stat : 4257 (java) S 4252 4255 3256 0 -1 1077944384 8103 0 0 0 19 1 0 0 20 0 15 0 44357926 14420725760 11744 33554432000 4194304 4196468 140725479763088 140091979644240 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4258] ppid=4252 vsize=14082740 memory=331 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4258/stat : 4258 (java) S 4252 4255 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357927 14420725760 11744 33554432000 4194304 4196468 140725479763088 140091905505552 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4259] ppid=4252 vsize=14082740 memory=140210184484652 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4259/stat : 4259 (java) S 4252 4255 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357927 14420725760 11744 33554432000 4194304 4196468 140725479763088 140091904453008 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4260] ppid=4252 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4260/stat : 4260 (java) S 4252 4255 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357927 14420725760 11744 33554432000 4194304 4196468 140725479763088 140091903400464 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4261] ppid=4252 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4261/stat : 4261 (java) S 4252 4255 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44357927 14420725760 11744 33554432000 4194304 4196468 140725479763088 140091902347920 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4262] ppid=4252 vsize=14082740 memory=140210184480384 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4262/stat : 4262 (java) S 4252 4255 3256 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44357928 14420725760 11744 33554432000 4194304 4196468 140725479763088 140091449780720 140091975428738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4263] ppid=4252 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4263/stat : 4263 (java) S 4252 4255 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44357928 14420725760 11744 33554432000 4194304 4196468 140725479763088 140091448726944 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4264] ppid=4252 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4264/stat : 4264 (java) S 4252 4255 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44357929 14420725760 11744 33554432000 4194304 4196468 140725479763088 140091447674352 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4265] ppid=4252 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4265/stat : 4265 (java) S 4252 4255 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357931 14420725760 11744 33554432000 4194304 4196468 140725479763088 140091446622928 140091975436187 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4266] ppid=4252 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4255/task/4266/stat : 4266 (java) R 4252 4255 3256 0 -1 4202560 545 0 0 0 2 0 0 0 20 0 15 0 44357931 14420725760 11744 33554432000 4194304 4196468 140725479763088 140091445561168 140091960317206 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4267] ppid=4252 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/4255/task/4267/stat : 4267 (java) R 4252 4255 3256 0 -1 1077944384 59 0 0 0 1 0 0 0 20 0 15 0 44357931 14420725760 11744 33554432000 4194304 4196468 140725479763088 140091444516976 140091975428738 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4268] ppid=4252 vsize=14082740 memory=140210184480384 CPUtime=0.06 cores=1,3,5,7
/proc/4255/task/4268/stat : 4268 (java) R 4252 4255 3256 0 -1 4202560 288 0 0 0 6 0 0 0 20 0 15 0 44357931 14420725760 11744 33554432000 4194304 4196468 140725479763088 140091443464432 140091961741966 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4269] ppid=4252 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4269/stat : 4269 (java) S 4252 4255 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357931 14420725760 11744 33554432000 4194304 4196468 140725479763088 140091442412128 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4270] ppid=4252 vsize=14082740 memory=140210184480384 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4270/stat : 4270 (java) S 4252 4255 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357931 14420725760 11744 33554432000 4194304 4196468 140725479763088 140091441359664 140091975428738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46976 KiB

[startup+0.310734 s]*
/proc/loadavg: 1.88 1.52 1.52 3/215 4270
/proc/meminfo: memFree=19346316/32770624 swapFree=67108860/67108860
[pid=4255] ppid=4252 vsize=14082740 memory=50224 CPUtime=0.43 cores=1,3,5,7
/proc/4255/stat : 4255 (java) S 4252 4255 3256 0 -1 1077944320 10714 0 0 0 41 2 0 0 20 0 15 0 44357926 14420725760 12556 33554432000 4194304 4196468 140725479763088 140725479745632 140091975417591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
/proc/4255/statm: 3520685 12556 3384 1 0 3482761 0
[pid=4255/tid=4257] ppid=4252 vsize=14082740 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/4255/task/4257/stat : 4257 (java) R 4252 4255 3256 0 -1 4202560 8427 0 0 0 28 1 0 0 20 0 15 0 44357926 14420725760 12556 33554432000 4194304 4196468 140725479763088 140091979579328 140091956982569 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4258] ppid=4252 vsize=14082740 memory=304556140472303639 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4258/stat : 4258 (java) S 4252 4255 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357927 14420725760 12556 33554432000 4194304 4196468 140725479763088 140091905505552 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4259] ppid=4252 vsize=14082740 memory=15960229153957528 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4259/stat : 4259 (java) S 4252 4255 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357927 14420725760 12556 33554432000 4194304 4196468 140725479763088 140091904453008 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4260] ppid=4252 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4260/stat : 4260 (java) S 4252 4255 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357927 14420725760 12556 33554432000 4194304 4196468 140725479763088 140091903400464 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4261] ppid=4252 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4261/stat : 4261 (java) S 4252 4255 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44357927 14420725760 12556 33554432000 4194304 4196468 140725479763088 140091902347920 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4262] ppid=4252 vsize=14082740 memory=140210184480384 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4262/stat : 4262 (java) S 4252 4255 3256 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44357928 14420725760 12556 33554432000 4194304 4196468 140725479763088 140091449780720 140091975428738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4263] ppid=4252 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4263/stat : 4263 (java) S 4252 4255 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44357928 14420725760 12556 33554432000 4194304 4196468 140725479763088 140091448726944 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4264] ppid=4252 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4264/stat : 4264 (java) S 4252 4255 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44357929 14420725760 12556 33554432000 4194304 4196468 140725479763088 140091447674352 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4265] ppid=4252 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4265/stat : 4265 (java) S 4252 4255 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357931 14420725760 12556 33554432000 4194304 4196468 140725479763088 140091446622928 140091975436187 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4266] ppid=4252 vsize=14082740 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4255/task/4266/stat : 4266 (java) S 4252 4255 3256 0 -1 1077944384 546 0 0 0 3 0 0 0 20 0 15 0 44357931 14420725760 12556 33554432000 4194304 4196468 140725479763088 140091445569520 140091975428738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4267] ppid=4252 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/4255/task/4267/stat : 4267 (java) S 4252 4255 3256 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 15 0 44357931 14420725760 12556 33554432000 4194304 4196468 140725479763088 140091444516976 140091975428738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4268] ppid=4252 vsize=14082740 memory=140210184480384 CPUtime=0.08 cores=1,3,5,7
/proc/4255/task/4268/stat : 4268 (java) S 4252 4255 3256 0 -1 1077944384 295 0 0 0 8 0 0 0 20 0 15 0 44357931 14420725760 12556 33554432000 4194304 4196468 140725479763088 140091443464432 140091975428738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4269] ppid=4252 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4269/stat : 4269 (java) S 4252 4255 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357931 14420725760 12556 33554432000 4194304 4196468 140725479763088 140091442412128 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4270] ppid=4252 vsize=14082740 memory=140210184480384 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4270/stat : 4270 (java) S 4252 4255 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357931 14420725760 12556 33554432000 4194304 4196468 140725479763088 140091441359664 140091975428738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50224 KiB

[startup+0.700871 s]
/proc/loadavg: 1.88 1.52 1.52 3/215 4270
/proc/meminfo: memFree=19323876/32770624 swapFree=67108860/67108860
[pid=4255] ppid=4252 vsize=14084808 memory=88980 CPUtime=0.99 cores=1,3,5,7
/proc/4255/stat : 4255 (java) S 4252 4255 3256 0 -1 1077944320 17577 0 0 0 94 5 0 0 20 0 15 0 44357926 14422843392 22245 33554432000 4194304 4196468 140725479763088 140725479745632 140091975417591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
/proc/4255/statm: 3521202 22245 3498 1 0 3483273 0
[pid=4255/tid=4257] ppid=4252 vsize=14084808 memory=1728 CPUtime=0.67 cores=1,3,5,7
/proc/4255/task/4257/stat : 4257 (java) R 4252 4255 3256 0 -1 4202560 14875 0 0 0 63 4 0 0 20 0 15 0 44357926 14422843392 22245 33554432000 4194304 4196468 140725479763088 140091979642672 140091975429526 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4258] ppid=4252 vsize=14084808 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4258/stat : 4258 (java) S 4252 4255 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357927 14422843392 22245 33554432000 4194304 4196468 140725479763088 140091905505552 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4259] ppid=4252 vsize=14084808 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4259/stat : 4259 (java) S 4252 4255 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357927 14422843392 22245 33554432000 4194304 4196468 140725479763088 140091904453008 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4260] ppid=4252 vsize=14084808 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4260/stat : 4260 (java) S 4252 4255 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357927 14422843392 22245 33554432000 4194304 4196468 140725479763088 140091903400464 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4261] ppid=4252 vsize=14084808 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4261/stat : 4261 (java) S 4252 4255 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44357927 14422843392 22245 33554432000 4194304 4196468 140725479763088 140091902347920 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4262] ppid=4252 vsize=14084808 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4262/stat : 4262 (java) S 4252 4255 3256 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44357928 14422843392 22245 33554432000 4194304 4196468 140725479763088 140091449780720 140091975428738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4263] ppid=4252 vsize=14084808 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4263/stat : 4263 (java) S 4252 4255 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44357928 14422843392 22245 33554432000 4194304 4196468 140725479763088 140091448726944 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4264] ppid=4252 vsize=14084808 memory=8372 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4264/stat : 4264 (java) S 4252 4255 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44357929 14422843392 22245 33554432000 4194304 4196468 140725479763088 140091447674352 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4265] ppid=4252 vsize=14084808 memory=7518026621751089001 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4265/stat : 4265 (java) S 4252 4255 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357931 14422843392 22245 33554432000 4194304 4196468 140725479763088 140091446622928 140091975436187 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4266] ppid=4252 vsize=14084808 memory=7236547281622689387 CPUtime=0.1 cores=1,3,5,7
/proc/4255/task/4266/stat : 4266 (java) S 4252 4255 3256 0 -1 1077944384 704 0 0 0 10 0 0 0 20 0 15 0 44357931 14422843392 22245 33554432000 4194304 4196468 140725479763088 140091445569520 140091975428738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4267] ppid=4252 vsize=14084808 memory=5787213827130353767 CPUtime=0.05 cores=1,3,5,7
/proc/4255/task/4267/stat : 4267 (java) S 4252 4255 3256 0 -1 1077944384 214 0 0 0 5 0 0 0 20 0 15 0 44357931 14422843392 22245 33554432000 4194304 4196468 140725479763088 140091444516976 140091975428738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4268] ppid=4252 vsize=14084808 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/4255/task/4268/stat : 4268 (java) R 4252 4255 3256 0 -1 4202560 403 0 0 0 15 0 0 0 20 0 15 0 44357931 14422843392 22245 33554432000 4194304 4196468 140725479763088 140091443464432 140091959498078 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4269] ppid=4252 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4269/stat : 4269 (java) S 4252 4255 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357931 14422843392 22245 33554432000 4194304 4196468 140725479763088 140091442412128 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4270] ppid=4252 vsize=14084808 memory=33 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4270/stat : 4270 (java) S 4252 4255 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357931 14422843392 22245 33554432000 4194304 4196468 140725479763088 140091441359664 140091975428738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88980 KiB

[startup+1.5007 s]
/proc/loadavg: 1.88 1.52 1.52 8/215 4270
/proc/meminfo: memFree=19283300/32770624 swapFree=67108860/67108860
[pid=4255] ppid=4252 vsize=14088904 memory=193372 CPUtime=3.52 cores=1,3,5,7
/proc/4255/stat : 4255 (java) S 4252 4255 3256 0 -1 1077944320 28812 0 0 0 344 8 0 0 20 0 15 0 44357926 14427037696 48343 33554432000 4194304 4196468 140725479763088 140725479745632 140091975417591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
/proc/4255/statm: 3522226 48343 3550 1 0 3484297 0
[pid=4255/tid=4257] ppid=4252 vsize=14088904 memory=8112282956445269571 CPUtime=1.47 cores=1,3,5,7
/proc/4255/task/4257/stat : 4257 (java) R 4252 4255 3256 0 -1 4202560 20638 0 0 0 141 6 0 0 20 0 15 0 44357926 14427037696 48343 33554432000 4194304 4196468 140725479763088 140091979654432 140091961097713 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4258] ppid=4252 vsize=14088904 memory=-8754540793456063680 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4258/stat : 4258 (java) S 4252 4255 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357927 14427037696 48343 33554432000 4194304 4196468 140725479763088 140091905505552 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4259] ppid=4252 vsize=14088904 memory=-2843869621055772062 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4259/stat : 4259 (java) S 4252 4255 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357927 14427037696 48343 33554432000 4194304 4196468 140725479763088 140091904453008 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4260] ppid=4252 vsize=14088904 memory=5450919713671312938 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4260/stat : 4260 (java) S 4252 4255 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357927 14427037696 48343 33554432000 4194304 4196468 140725479763088 140091903400464 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4261] ppid=4252 vsize=14088904 memory=7005738693937936738 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4261/stat : 4261 (java) S 4252 4255 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44357927 14427037696 48343 33554432000 4194304 4196468 140725479763088 140091902347920 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4262] ppid=4252 vsize=14088904 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4262/stat : 4262 (java) S 4252 4255 3256 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 15 0 44357928 14427037696 48343 33554432000 4194304 4196468 140725479763088 140091449780720 140091975428738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4263] ppid=4252 vsize=14088904 memory=7236281195429254250 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4263/stat : 4263 (java) S 4252 4255 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44357928 14427037696 48343 33554432000 4194304 4196468 140725479763088 140091448726944 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4264] ppid=4252 vsize=14088904 memory=6370158502951085138 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4264/stat : 4264 (java) S 4252 4255 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44357929 14427037696 48343 33554432000 4194304 4196468 140725479763088 140091447674352 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4265] ppid=4252 vsize=14088904 memory=7451894300419318880 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4265/stat : 4265 (java) S 4252 4255 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357931 14427037696 48343 33554432000 4194304 4196468 140725479763088 140091446622928 140091975436187 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4266] ppid=4252 vsize=14088904 memory=7526543731075830648 CPUtime=0.78 cores=1,3,5,7
/proc/4255/task/4266/stat : 4266 (java) S 4252 4255 3256 0 -1 1077944384 2571 0 0 0 78 0 0 0 20 0 15 0 44357931 14427037696 48343 33554432000 4194304 4196468 140725479763088 140091445569520 140091975428738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4267] ppid=4252 vsize=14088904 memory=0 CPUtime=0.72 cores=1,3,5,7
/proc/4255/task/4267/stat : 4267 (java) R 4252 4255 3256 0 -1 4202560 2172 0 0 0 72 0 0 0 20 0 15 0 44357931 14427037696 48343 33554432000 4194304 4196468 140725479763088 140091444503000 140091958802191 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4268] ppid=4252 vsize=14088904 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/4255/task/4268/stat : 4268 (java) S 4252 4255 3256 0 -1 1077944384 1870 0 0 0 52 0 0 0 20 0 15 0 44357931 14427037696 48343 33554432000 4194304 4196468 140725479763088 140091443464432 140091975428738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4269] ppid=4252 vsize=14088904 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4269/stat : 4269 (java) S 4252 4255 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357931 14427037696 48343 33554432000 4194304 4196468 140725479763088 140091442412128 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4270] ppid=4252 vsize=14088904 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4270/stat : 4270 (java) S 4252 4255 3256 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 44357931 14427037696 48343 33554432000 4194304 4196468 140725479763088 140091441359664 140091975428738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
Current children cumulated CPU time: 3.52 s
Current children cumulated vsize: 14088904 KiB
Current children cumulated memory: 193372 KiB

[startup+2.01322 s]
# the end of solver process 4255 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=4.89231 s, system=0.11432 s

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

[startup+1.77674 s]
/proc/loadavg: 1.88 1.52 1.52 8/215 4270
/proc/meminfo: memFree=19283300/32770624 swapFree=67108860/67108860
[pid=4255] ppid=4252 vsize=14090984 memory=228100 CPUtime=4.26 cores=1,3,5,7
/proc/4255/stat : 4255 (java) S 4252 4255 3256 0 -1 1077944320 31036 0 0 0 416 10 0 0 20 0 15 0 44357926 14429167616 57025 33554432000 4194304 4196468 140725479763088 140725479745632 140091975417591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
/proc/4255/statm: 3522746 57025 3568 1 0 3484817 0
[pid=4255/tid=4257] ppid=4252 vsize=14090984 memory=5793975930982979682 CPUtime=1.73 cores=1,3,5,7
/proc/4255/task/4257/stat : 4257 (java) R 4252 4255 3256 0 -1 4202560 21675 0 0 0 167 6 0 0 20 0 15 0 44357926 14429167616 57091 33554432000 4194304 4196468 140725479763088 140091979637104 140091968097309 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4258] ppid=4252 vsize=14090984 memory=7518311361136780884 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4258/stat : 4258 (java) S 4252 4255 3256 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 44357927 14429167616 57091 33554432000 4194304 4196468 140725479763088 140091905505552 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4259] ppid=4252 vsize=14090984 memory=7595673046529632114 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4259/stat : 4259 (java) S 4252 4255 3256 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 44357927 14429167616 57091 33554432000 4194304 4196468 140725479763088 140091904453008 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4260] ppid=4252 vsize=14090984 memory=7740095028447702118 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4260/stat : 4260 (java) S 4252 4255 3256 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 44357927 14429167616 57091 33554432000 4194304 4196468 140725479763088 140091903400464 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4261] ppid=4252 vsize=14090984 memory=4639948313719891052 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4261/stat : 4261 (java) S 4252 4255 3256 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 15 0 44357927 14429167616 57157 33554432000 4194304 4196468 140725479763088 140091902347920 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4262] ppid=4252 vsize=14090984 memory=7584172172082901604 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4262/stat : 4262 (java) S 4252 4255 3256 0 -1 1077944384 222 0 0 0 0 0 0 0 20 0 15 0 44357928 14429167616 57157 33554432000 4194304 4196468 140725479763088 140091449780720 140091975428738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4263] ppid=4252 vsize=14090984 memory=7092156124733335653 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4263/stat : 4263 (java) S 4252 4255 3256 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 44357928 14429167616 57157 33554432000 4194304 4196468 140725479763088 140091448726944 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4264] ppid=4252 vsize=14090984 memory=8172178724123863143 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4264/stat : 4264 (java) S 4252 4255 3256 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 44357929 14429167616 57157 33554432000 4194304 4196468 140725479763088 140091447674352 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4265] ppid=4252 vsize=14090984 memory=8172178724123863143 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4265/stat : 4265 (java) S 4252 4255 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357931 14429167616 57157 33554432000 4194304 4196468 140725479763088 140091446622928 140091975436187 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4266] ppid=4252 vsize=14090984 memory=0 CPUtime=0.9 cores=1,3,5,7
/proc/4255/task/4266/stat : 4266 (java) R 4252 4255 3256 0 -1 4202560 2638 0 0 0 90 0 0 0 20 0 15 0 44357931 14429167616 57223 33554432000 4194304 4196468 140725479763088 140091445556304 140091956961708 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4267] ppid=4252 vsize=14090984 memory=-2605811476043407915 CPUtime=0.91 cores=1,3,5,7
/proc/4255/task/4267/stat : 4267 (java) R 4252 4255 3256 0 -1 4202560 2260 0 0 0 91 0 0 0 20 0 15 0 44357931 14429167616 57223 33554432000 4194304 4196468 140725479763088 140091444503544 140091960169298 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4268] ppid=4252 vsize=14090984 memory=-4051592751533505334 CPUtime=0.64 cores=1,3,5,7
/proc/4255/task/4268/stat : 4268 (java) S 4252 4255 3256 0 -1 1077944384 2582 0 0 0 64 0 0 0 20 0 15 0 44357931 14429167616 57223 33554432000 4194304 4196468 140725479763088 140091443464432 140091975428738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4269] ppid=4252 vsize=14090984 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4269/stat : 4269 (java) S 4252 4255 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357931 14429167616 57223 33554432000 4194304 4196468 140725479763088 140091442412128 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4270] ppid=4252 vsize=14090984 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4270/stat : 4270 (java) S 4252 4255 3256 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 44357931 14429167616 57223 33554432000 4194304 4196468 140725479763088 140091441359664 140091975428738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
Current children cumulated CPU time: 4.26 s
Current children cumulated vsize: 14090984 KiB
Current children cumulated memory: 228100 KiB

[startup+1.90069 s]
/proc/loadavg: 1.88 1.52 1.52 8/215 4270
/proc/meminfo: memFree=19283300/32770624 swapFree=67108860/67108860
[pid=4255] ppid=4252 vsize=14090952 memory=236380 CPUtime=4.66 cores=1,3,5,7
/proc/4255/stat : 4255 (java) S 4252 4255 3256 0 -1 1077944320 33189 0 0 0 456 10 0 0 20 0 15 0 44357926 14429134848 59095 33554432000 4194304 4196468 140725479763088 140725479745632 140091975417591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
/proc/4255/statm: 3522738 59095 3568 1 0 3484809 0
[pid=4255/tid=4257] ppid=4252 vsize=14090952 memory=7005738693937936738 CPUtime=1.85 cores=1,3,5,7
/proc/4255/task/4257/stat : 4257 (java) R 4252 4255 3256 0 -1 4202560 22208 0 0 0 178 7 0 0 20 0 15 0 44357926 14429134848 59095 33554432000 4194304 4196468 140725479763088 140091979651744 140091960687752 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4258] ppid=4252 vsize=14090952 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4258/stat : 4258 (java) S 4252 4255 3256 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 44357927 14429134848 59095 33554432000 4194304 4196468 140725479763088 140091905505552 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4259] ppid=4252 vsize=14090952 memory=7014751519684055652 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4259/stat : 4259 (java) S 4252 4255 3256 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 44357927 14429134848 59095 33554432000 4194304 4196468 140725479763088 140091904453008 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4260] ppid=4252 vsize=14090952 memory=7452728765338708331 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4260/stat : 4260 (java) S 4252 4255 3256 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 44357927 14429134848 59095 33554432000 4194304 4196468 140725479763088 140091903400464 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4261] ppid=4252 vsize=14090952 memory=7522796372080353890 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4261/stat : 4261 (java) S 4252 4255 3256 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 15 0 44357927 14429134848 59095 33554432000 4194304 4196468 140725479763088 140091902347920 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4262] ppid=4252 vsize=14090952 memory=6935652554312077392 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4262/stat : 4262 (java) S 4252 4255 3256 0 -1 1077944384 222 0 0 0 0 0 0 0 20 0 15 0 44357928 14429134848 59095 33554432000 4194304 4196468 140725479763088 140091449780720 140091975428738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4263] ppid=4252 vsize=14090952 memory=8027221490311850596 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4263/stat : 4263 (java) S 4252 4255 3256 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 44357928 14429134848 59095 33554432000 4194304 4196468 140725479763088 140091448726944 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4264] ppid=4252 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4264/stat : 4264 (java) S 4252 4255 3256 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 44357929 14429134848 59095 33554432000 4194304 4196468 140725479763088 140091447674352 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4265] ppid=4252 vsize=14090952 memory=158515230519269 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4265/stat : 4265 (java) S 4252 4255 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357931 14429134848 59095 33554432000 4194304 4196468 140725479763088 140091446622928 140091975436187 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4266] ppid=4252 vsize=14090952 memory=0 CPUtime=0.99 cores=1,3,5,7
/proc/4255/task/4266/stat : 4266 (java) S 4252 4255 3256 0 -1 1077944384 2662 0 0 0 99 0 0 0 20 0 15 0 44357931 14429134848 59095 33554432000 4194304 4196468 140725479763088 140091445569520 140091975428738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4267] ppid=4252 vsize=14090952 memory=-5921431000321636112 CPUtime=0.99 cores=1,3,5,7
/proc/4255/task/4267/stat : 4267 (java) S 4252 4255 3256 0 -1 1077944384 2285 0 0 0 99 0 0 0 20 0 15 0 44357931 14429134848 59095 33554432000 4194304 4196468 140725479763088 140091444516976 140091975428738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4268] ppid=4252 vsize=14090952 memory=6655300316396806240 CPUtime=0.76 cores=1,3,5,7
/proc/4255/task/4268/stat : 4268 (java) R 4252 4255 3256 0 -1 4202560 4098 0 0 0 75 1 0 0 20 0 15 0 44357931 14429134848 59095 33554432000 4194304 4196468 140725479763088 140091443461064 140091975429526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4269] ppid=4252 vsize=14090952 memory=280420159586544 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4269/stat : 4269 (java) S 4252 4255 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357931 14429134848 59095 33554432000 4194304 4196468 140725479763088 140091442412128 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4270] ppid=4252 vsize=14090952 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4270/stat : 4270 (java) S 4252 4255 3256 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 44357931 14429134848 59095 33554432000 4194304 4196468 140725479763088 140091441359664 140091975428738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
Current children cumulated CPU time: 4.66 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 236380 KiB

[startup+2.00077 s]
/proc/loadavg: 1.88 1.52 1.52 8/215 4270
/proc/meminfo: memFree=19283300/32770624 swapFree=67108860/67108860
[pid=4255] ppid=4252 vsize=14157516 memory=238664 CPUtime=4.99 cores=1,3,5,7
/proc/4255/stat : 4255 (java) S 4252 4255 3256 0 -1 1077944320 33820 0 0 0 489 10 0 0 20 0 14 0 44357926 14497296384 59666 33554432000 4194304 4196468 140725479763088 140725479745632 140091975417591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
/proc/4255/statm: 3539379 59666 3570 1 0 3501450 0
[pid=4255/tid=4257] ppid=4252 vsize=14157516 memory=8112282956445269571 CPUtime=1.95 cores=1,3,5,7
/proc/4255/task/4257/stat : 4257 (java) S 4252 4255 3256 0 -1 1077944384 22277 0 0 0 188 7 0 0 20 0 14 0 44357926 14497296384 59666 33554432000 4194304 4196468 140725479763088 140091979660432 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4258] ppid=4252 vsize=14157516 memory=-8754540793456063680 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4258/stat : 4258 (java) S 4252 4255 3256 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 14 0 44357927 14497296384 59666 33554432000 4194304 4196468 140725479763088 140091905505552 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4259] ppid=4252 vsize=14157516 memory=-2843869621055772062 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4259/stat : 4259 (java) S 4252 4255 3256 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 14 0 44357927 14497296384 59666 33554432000 4194304 4196468 140725479763088 140091904453008 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4260] ppid=4252 vsize=14157516 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4260/stat : 4260 (java) S 4252 4255 3256 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 14 0 44357927 14497296384 59666 33554432000 4194304 4196468 140725479763088 140091903400464 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4261] ppid=4252 vsize=14157516 memory=5937503940875731041 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4261/stat : 4261 (java) S 4252 4255 3256 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 14 0 44357927 14497296384 59666 33554432000 4194304 4196468 140725479763088 140091902347920 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4262] ppid=4252 vsize=14157516 memory=7662712499529935205 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4262/stat : 4262 (java) S 4252 4255 3256 0 -1 1077944384 222 0 0 0 0 0 0 0 20 0 14 0 44357928 14497296384 59666 33554432000 4194304 4196468 140725479763088 140091449780928 140091975428738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4263] ppid=4252 vsize=14157516 memory=7014751519684055652 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4263/stat : 4263 (java) S 4252 4255 3256 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 14 0 44357928 14497296384 59666 33554432000 4194304 4196468 140725479763088 140091448726944 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4264] ppid=4252 vsize=14157516 memory=18339510358189 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4264/stat : 4264 (java) S 4252 4255 3256 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 14 0 44357929 14497296384 59666 33554432000 4194304 4196468 140725479763088 140091447674352 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4265] ppid=4252 vsize=14157516 memory=280420160171152 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4265/stat : 4265 (java) S 4252 4255 3256 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 14 0 44357931 14497296384 59666 33554432000 4194304 4196468 140725479763088 140091446622576 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4266] ppid=4252 vsize=14157516 memory=0 CPUtime=1.07 cores=1,3,5,7
/proc/4255/task/4266/stat : 4266 (java) S 4252 4255 3256 0 -1 1077944384 2680 0 0 0 107 0 0 0 20 0 14 0 44357931 14497296384 59666 33554432000 4194304 4196468 140725479763088 140091445560800 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4267] ppid=4252 vsize=14157516 memory=0 CPUtime=1.08 cores=1,3,5,7
/proc/4255/task/4267/stat : 4267 (java) S 4252 4255 3256 0 -1 1077944384 2663 0 0 0 108 0 0 0 20 0 14 0 44357931 14497296384 59666 33554432000 4194304 4196468 140725479763088 140091444501936 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4268] ppid=4252 vsize=14157516 memory=0 CPUtime=0.83 cores=1,3,5,7
/proc/4255/task/4268/stat : 4268 (java) S 4252 4255 3256 0 -1 1077944384 4237 0 0 0 82 1 0 0 20 0 14 0 44357931 14497296384 59666 33554432000 4194304 4196468 140725479763088 140091443464432 140091975428738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
[pid=4255/tid=4269] ppid=4252 vsize=14157516 memory=183548 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4269/stat : 4269 (java) S 4252 4255 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 44357931 14497296384 59666 33554432000 4194304 4196468 140725479763088 140091442412128 140091975427797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140725479765077 140725479765257 140725479765257 140725479768015 0
Current children cumulated CPU time: 4.99 s
Current children cumulated vsize: 14157516 KiB
Current children cumulated memory: 238664 KiB

Child status: 0
Real time (s): 2.01327
CPU time (s): 5.00663
CPU user time (s): 4.89231
CPU system time (s): 0.11432
CPU usage (%): 248.681
Max. virtual memory (cumulated for all children) (KiB): 14157516
Max. memory (cumulated for all children) (KiB): 238664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.89231
system time used= 0.11432
maximum resident set size= 239312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33829
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2607
involuntary context switches= 18


# summary of solver processes directly reported to runsolver:
#   pid: 4255
#   total CPU time (s): 5.00663
#   total CPU user time (s): 4.89231
#   total CPU system time (s): 0.11432

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034283 second user time and 0.057138 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-02-opt_c18.xml
MD5SUM	f46e6f53d96372a3a8925b0c81d3424e
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	14
Best CPU time to get the best result obtained on this benchmark	2520.07
Satisfiable
(Un)Satisfiability was proved
Number of variables	400
Number of constraints	2245
Number of domains	5
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":56},{"size":22,"count":4},{"size":36,"count":66},{"size":42,"count":116},{"size":44,"count":158}]
Minimum variable degree	4
Maximum variable degree	32
Distribution of variable degrees	[{"degree":4,"count":2},{"degree":6,"count":12},{"degree":7,"count":21},{"degree":8,"count":38},{"degree":9,"count":42},{"degree":10,"count":44},{"degree":11,"count":45},{"degree":12,"count":27},{"degree":13,"count":16},{"degree":14,"count":27},{"degree":15,"count":21},{"degree":16,"count":44},{"degree":17,"count":30},{"degree":18,"count":17},{"degree":19,"count":7},{"degree":20,"count":2},{"degree":21,"count":2},{"degree":22,"count":1},{"degree":32,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":2245}]
Number of extensional constraints	0
Number of intensional constraints	2245
Distribution of constraint types	[{"type":"intension","count":2245}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4291951

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
