2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Concrete 3.8-SuperNG 2018-06-13	SAT	44.0863	26.984
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 (7204 MiB free)
  memory of node 1: 16384 MiB (6430 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293779-1532326052/watcher-4293779-1532326052 -o /tmp/evaluation-result-4293779-1532326052/solver-4293779-1532326052 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532295772-9831 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1525002600 -superng HOME/instance-4293779-1532326052.xml 

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

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


[startup+0.100428 s]*
/proc/loadavg: 1.82 1.75 1.73 2/209 15298
/proc/meminfo: memFree=13951004/32770624 swapFree=67108860/67108860
[pid=15241] ppid=15238 vsize=9972712 memory=16812 CPUtime=0.08 cores=0,2,4,6
/proc/15241/stat : 15241 (java) S 15238 15241 9800 0 -1 1077944320 4367 13012 0 0 1 0 4 3 20 0 6 0 50168110 10212057088 4203 33554432000 4194304 4196468 140728374808560 140728374791104 139875565698807 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
/proc/15241/statm: 2493178 4203 1934 1 0 2481616 0
[pid=15241/tid=15294] ppid=15238 vsize=9972712 memory=-6155438111786304308 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15294/stat : 15294 (java) R 15238 15241 9800 0 -1 4202560 2181 13012 0 0 0 0 4 3 20 0 6 0 50168119 10212057088 4715 33554432000 4194304 4196468 140728374808560 139875537535568 139875557935934 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15295] ppid=15238 vsize=9972712 memory=7682475212697334586 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15295/stat : 15295 (java) S 15238 15241 9800 0 -1 1077944384 2 13012 0 0 0 0 4 3 20 0 6 0 50168120 10212057088 4715 33554432000 4194304 4196468 140728374808560 139875569941520 139875565709013 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15296] ppid=15238 vsize=9972712 memory=140048166037120 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15296/stat : 15296 (java) S 15238 15241 9800 0 -1 1077944384 1 13012 0 0 0 0 4 3 20 0 6 0 50168120 10212057088 4715 33554432000 4194304 4196468 140728374808560 139875484761232 139875565709013 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15297] ppid=15238 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15297/stat : 15297 (java) S 15238 15241 9800 0 -1 1077944384 1 13012 0 0 0 0 4 3 20 0 6 0 50168120 10212057088 4715 33554432000 4194304 4196468 140728374808560 139875483708176 139875565709013 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15298] ppid=15238 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15298/stat : 15298 (java) S 15238 15241 9800 0 -1 1077944384 2 13012 0 0 0 0 4 3 20 0 6 0 50168120 10212057088 4715 33554432000 4194304 4196468 140728374808560 139875482655632 139875565709013 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB

[startup+0.210773 s]*
/proc/loadavg: 1.82 1.75 1.73 3/218 15307
/proc/meminfo: memFree=13928172/32770624 swapFree=67108860/67108860
[pid=15241] ppid=15238 vsize=10818904 memory=42292 CPUtime=0.25 cores=0,2,4,6
/proc/15241/stat : 15241 (java) S 15238 15241 9800 0 -1 1077944320 7780 13012 0 0 16 2 4 3 20 0 15 0 50168110 11078557696 10573 33554432000 4194304 4196468 140728374808560 140728374791104 139875565698807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
/proc/15241/statm: 2704726 10573 2968 1 0 2667149 0
[pid=15241/tid=15294] ppid=15238 vsize=10818904 memory=7022364632946311227 CPUtime=0.18 cores=0,2,4,6
/proc/15241/task/15294/stat : 15294 (java) R 15238 15241 9800 0 -1 4202560 4557 13012 0 0 10 1 4 3 20 0 15 0 50168119 11078557696 10705 33554432000 4194304 4196468 140728374808560 139875537515920 139875549779294 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15295] ppid=15238 vsize=10818904 memory=396 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15295/stat : 15295 (java) S 15238 15241 9800 0 -1 1077944384 2 13012 0 0 0 0 4 3 20 0 15 0 50168120 11078557696 10705 33554432000 4194304 4196468 140728374808560 139875569941520 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15296] ppid=15238 vsize=10818904 memory=288370424317748864 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15296/stat : 15296 (java) S 15238 15241 9800 0 -1 1077944384 1 13012 0 0 0 0 4 3 20 0 15 0 50168120 11078557696 10705 33554432000 4194304 4196468 140728374808560 139875484761232 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15297] ppid=15238 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15297/stat : 15297 (java) S 15238 15241 9800 0 -1 1077944384 1 13012 0 0 0 0 4 3 20 0 15 0 50168120 11078557696 10705 33554432000 4194304 4196468 140728374808560 139875483708176 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15298] ppid=15238 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15298/stat : 15298 (java) S 15238 15241 9800 0 -1 1077944384 2 13012 0 0 0 0 4 3 20 0 15 0 50168120 11078557696 10705 33554432000 4194304 4196468 140728374808560 139875482655632 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15299] ppid=15238 vsize=10818904 memory=140048166037120 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15299/stat : 15299 (java) S 15238 15241 9800 0 -1 1077944384 2 13012 0 0 0 0 4 3 20 0 15 0 50168122 11078557696 10705 33554432000 4194304 4196468 140728374808560 139875092326640 139875565709954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15300] ppid=15238 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15300/stat : 15300 (java) S 15238 15241 9800 0 -1 1077944384 13 13012 0 0 0 0 4 3 20 0 15 0 50168122 11078557696 10705 33554432000 4194304 4196468 140728374808560 139875005228192 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15301] ppid=15238 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15301/stat : 15301 (java) S 15238 15241 9800 0 -1 1077944384 1 13012 0 0 0 0 4 3 20 0 15 0 50168122 11078557696 10705 33554432000 4194304 4196468 140728374808560 139874401247984 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15302] ppid=15238 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15302/stat : 15302 (java) S 15238 15241 9800 0 -1 1077944384 3 13012 0 0 0 0 4 3 20 0 15 0 50168125 11078557696 10705 33554432000 4194304 4196468 140728374808560 139874093848528 139875565717403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15303] ppid=15238 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15241/task/15303/stat : 15303 (java) S 15238 15241 9800 0 -1 1077944384 494 13012 0 0 1 0 4 3 20 0 15 0 50168125 11078557696 10705 33554432000 4194304 4196468 140728374808560 139875091274480 139875565709954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15304] ppid=15238 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15241/task/15304/stat : 15304 (java) R 15238 15241 9800 0 -1 4202560 89 13012 0 0 1 0 4 3 20 0 15 0 50168125 11078557696 10705 33554432000 4194304 4196468 140728374808560 139875090221936 139875565709954 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15305] ppid=15238 vsize=10818904 memory=140048166037120 CPUtime=0.1 cores=0,2,4,6
/proc/15241/task/15305/stat : 15305 (java) S 15238 15241 9800 0 -1 1077944384 556 13012 0 0 3 0 4 3 20 0 15 0 50168125 11078557696 10705 33554432000 4194304 4196468 140728374808560 139875089168880 139875565709954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15306] ppid=15238 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15306/stat : 15306 (java) S 15238 15241 9800 0 -1 1077944384 3 13012 0 0 0 0 4 3 20 0 15 0 50168125 11078557696 10705 33554432000 4194304 4196468 140728374808560 139874060290912 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15307] ppid=15238 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15307/stat : 15307 (java) S 15238 15241 9800 0 -1 1077944384 1 13012 0 0 0 0 4 3 20 0 15 0 50168125 11078557696 10705 33554432000 4194304 4196468 140728374808560 139875088116272 139875565709954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 42292 KiB

[startup+0.310194 s]*
/proc/loadavg: 1.82 1.75 1.73 3/218 15307
/proc/meminfo: memFree=13913660/32770624 swapFree=67108860/67108860
[pid=15241] ppid=15238 vsize=10819352 memory=53284 CPUtime=0.37 cores=0,2,4,6
/proc/15241/stat : 15241 (java) S 15238 15241 9800 0 -1 1077944320 10392 13012 0 0 27 3 4 3 20 0 15 0 50168110 11079016448 13321 33554432000 4194304 4196468 140728374808560 140728374791104 139875565698807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
/proc/15241/statm: 2704838 13321 3087 1 0 2667149 0
[pid=15241/tid=15294] ppid=15238 vsize=10819352 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6
/proc/15241/task/15294/stat : 15294 (java) R 15238 15241 9800 0 -1 4202560 7034 13012 0 0 18 2 4 3 20 0 15 0 50168119 11079016448 13363 33554432000 4194304 4196468 140728374808560 139875537510816 139875549779294 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15295] ppid=15238 vsize=10819352 memory=4872558044660077418 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15295/stat : 15295 (java) S 15238 15241 9800 0 -1 1077944384 2 13012 0 0 0 0 4 3 20 0 15 0 50168120 11079016448 13363 33554432000 4194304 4196468 140728374808560 139875569941520 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15296] ppid=15238 vsize=10819352 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15296/stat : 15296 (java) S 15238 15241 9800 0 -1 1077944384 1 13012 0 0 0 0 4 3 20 0 15 0 50168120 11079016448 13363 33554432000 4194304 4196468 140728374808560 139875484761232 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15297] ppid=15238 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15297/stat : 15297 (java) S 15238 15241 9800 0 -1 1077944384 1 13012 0 0 0 0 4 3 20 0 15 0 50168120 11079016448 13363 33554432000 4194304 4196468 140728374808560 139875483708176 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15298] ppid=15238 vsize=10819352 memory=6944652177228980320 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15298/stat : 15298 (java) S 15238 15241 9800 0 -1 1077944384 2 13012 0 0 0 0 4 3 20 0 15 0 50168120 11079016448 13363 33554432000 4194304 4196468 140728374808560 139875482655632 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15299] ppid=15238 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15299/stat : 15299 (java) S 15238 15241 9800 0 -1 1077944384 2 13012 0 0 0 0 4 3 20 0 15 0 50168122 11079016448 13363 33554432000 4194304 4196468 140728374808560 139875092326640 139875565709954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15300] ppid=15238 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15300/stat : 15300 (java) S 15238 15241 9800 0 -1 1077944384 13 13012 0 0 0 0 4 3 20 0 15 0 50168122 11079016448 13363 33554432000 4194304 4196468 140728374808560 139875005228192 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15301] ppid=15238 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15301/stat : 15301 (java) S 15238 15241 9800 0 -1 1077944384 1 13012 0 0 0 0 4 3 20 0 15 0 50168122 11079016448 13363 33554432000 4194304 4196468 140728374808560 139874401247984 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15302] ppid=15238 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15302/stat : 15302 (java) S 15238 15241 9800 0 -1 1077944384 3 13012 0 0 0 0 4 3 20 0 15 0 50168125 11079016448 13363 33554432000 4194304 4196468 140728374808560 139874093848528 139875565717403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15303] ppid=15238 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15241/task/15303/stat : 15303 (java) S 15238 15241 9800 0 -1 1077944384 494 13012 0 0 1 0 4 3 20 0 15 0 50168125 11079016448 13363 33554432000 4194304 4196468 140728374808560 139875091274480 139875565709954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15304] ppid=15238 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15241/task/15304/stat : 15304 (java) S 15238 15241 9800 0 -1 1077944384 90 13012 0 0 1 0 4 3 20 0 15 0 50168125 11079016448 13363 33554432000 4194304 4196468 140728374808560 139875090221936 139875565709954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15305] ppid=15238 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/15241/task/15305/stat : 15305 (java) S 15238 15241 9800 0 -1 1077944384 566 13012 0 0 5 0 4 3 20 0 15 0 50168125 11079016448 13363 33554432000 4194304 4196468 140728374808560 139875089168880 139875565709954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15306] ppid=15238 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15306/stat : 15306 (java) S 15238 15241 9800 0 -1 1077944384 3 13012 0 0 0 0 4 3 20 0 15 0 50168125 11079016448 13363 33554432000 4194304 4196468 140728374808560 139874060290912 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15307] ppid=15238 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15307/stat : 15307 (java) S 15238 15241 9800 0 -1 1077944384 1 13012 0 0 0 0 4 3 20 0 15 0 50168125 11079016448 13363 33554432000 4194304 4196468 140728374808560 139875088116272 139875565709954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53284 KiB

[startup+0.700692 s]
/proc/loadavg: 1.82 1.75 1.73 3/215 15307
/proc/meminfo: memFree=13907064/32770624 swapFree=67108860/67108860
[pid=15241] ppid=15238 vsize=10819352 memory=86148 CPUtime=0.97 cores=0,2,4,6
/proc/15241/stat : 15241 (java) S 15238 15241 9800 0 -1 1077944320 16738 13012 0 0 85 5 4 3 20 0 15 0 50168110 11079016448 21537 33554432000 4194304 4196468 140728374808560 140728374791104 139875565698807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
/proc/15241/statm: 2704838 21537 3237 1 0 2667149 0
[pid=15241/tid=15294] ppid=15238 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/15241/task/15294/stat : 15294 (java) R 15238 15241 9800 0 -1 4202560 12265 13012 0 0 55 4 4 3 20 0 15 0 50168119 11079016448 21537 33554432000 4194304 4196468 140728374808560 139875537521808 139875550864471 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15295] ppid=15238 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15295/stat : 15295 (java) S 15238 15241 9800 0 -1 1077944384 2 13012 0 0 0 0 4 3 20 0 15 0 50168120 11079016448 21537 33554432000 4194304 4196468 140728374808560 139875569941520 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15296] ppid=15238 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15296/stat : 15296 (java) S 15238 15241 9800 0 -1 1077944384 1 13012 0 0 0 0 4 3 20 0 15 0 50168120 11079016448 21537 33554432000 4194304 4196468 140728374808560 139875484761232 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15297] ppid=15238 vsize=10819352 memory=6944656575208382560 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15297/stat : 15297 (java) S 15238 15241 9800 0 -1 1077944384 1 13012 0 0 0 0 4 3 20 0 15 0 50168120 11079016448 21537 33554432000 4194304 4196468 140728374808560 139875483708176 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15298] ppid=15238 vsize=10819352 memory=-1161699032756281695 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15298/stat : 15298 (java) S 15238 15241 9800 0 -1 1077944384 2 13012 0 0 0 0 4 3 20 0 15 0 50168120 11079016448 21537 33554432000 4194304 4196468 140728374808560 139875482655632 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15299] ppid=15238 vsize=10819352 memory=644 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15299/stat : 15299 (java) S 15238 15241 9800 0 -1 1077944384 5 13012 0 0 0 0 4 3 20 0 15 0 50168122 11079016448 21537 33554432000 4194304 4196468 140728374808560 139875092326640 139875565709954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15300] ppid=15238 vsize=10819352 memory=33 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15300/stat : 15300 (java) S 15238 15241 9800 0 -1 1077944384 13 13012 0 0 0 0 4 3 20 0 15 0 50168122 11079016448 21537 33554432000 4194304 4196468 140728374808560 139875005228192 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15301] ppid=15238 vsize=10819352 memory=7161958508385298282 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15301/stat : 15301 (java) S 15238 15241 9800 0 -1 1077944384 1 13012 0 0 0 0 4 3 20 0 15 0 50168122 11079016448 21537 33554432000 4194304 4196468 140728374808560 139874401247984 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15302] ppid=15238 vsize=10819352 memory=7822038051842261661 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15302/stat : 15302 (java) S 15238 15241 9800 0 -1 1077944384 3 13012 0 0 0 0 4 3 20 0 15 0 50168125 11079016448 21537 33554432000 4194304 4196468 140728374808560 139874093848528 139875565717403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15303] ppid=15238 vsize=10819352 memory=8514726395714825349 CPUtime=0.16 cores=0,2,4,6
/proc/15241/task/15303/stat : 15303 (java) S 15238 15241 9800 0 -1 1077944384 1101 13012 0 0 9 0 4 3 20 0 15 0 50168125 11079016448 21537 33554432000 4194304 4196468 140728374808560 139875091274480 139875565709954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15304] ppid=15238 vsize=10819352 memory=4715433313220523562 CPUtime=0.13 cores=0,2,4,6
/proc/15241/task/15304/stat : 15304 (java) S 15238 15241 9800 0 -1 1077944384 493 13012 0 0 6 0 4 3 20 0 15 0 50168125 11079016448 21537 33554432000 4194304 4196468 140728374808560 139875090221936 139875565709954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15305] ppid=15238 vsize=10819352 memory=9047017150487036575 CPUtime=0.2 cores=0,2,4,6
/proc/15241/task/15305/stat : 15305 (java) S 15238 15241 9800 0 -1 1077944384 659 13012 0 0 13 0 4 3 20 0 15 0 50168125 11079016448 21537 33554432000 4194304 4196468 140728374808560 139875089168880 139875565709954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15306] ppid=15238 vsize=10819352 memory=-8253362762722141311 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15306/stat : 15306 (java) S 15238 15241 9800 0 -1 1077944384 3 13012 0 0 0 0 4 3 20 0 15 0 50168125 11079016448 21537 33554432000 4194304 4196468 140728374808560 139874060290912 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15307] ppid=15238 vsize=10819352 memory=-8341965534556230502 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15307/stat : 15307 (java) S 15238 15241 9800 0 -1 1077944384 1 13012 0 0 0 0 4 3 20 0 15 0 50168125 11079016448 21537 33554432000 4194304 4196468 140728374808560 139875088116272 139875565709954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86148 KiB

[startup+1.50073 s]
/proc/loadavg: 1.82 1.75 1.73 3/215 15307
/proc/meminfo: memFree=13839960/32770624 swapFree=67108860/67108860
[pid=15241] ppid=15238 vsize=10834252 memory=184244 CPUtime=2.43 cores=0,2,4,6
/proc/15241/stat : 15241 (java) S 15238 15241 9800 0 -1 1077944320 23792 13012 0 0 225 11 4 3 20 0 15 0 50168110 11094274048 46061 33554432000 4194304 4196468 140728374808560 140728374791104 139875565698807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
/proc/15241/statm: 2708563 46061 3474 1 0 2670221 0
[pid=15241/tid=15294] ppid=15238 vsize=10834252 memory=86148 CPUtime=1.41 cores=0,2,4,6
/proc/15241/task/15294/stat : 15294 (java) R 15238 15241 9800 0 -1 4202560 17385 13012 0 0 128 6 4 3 20 0 15 0 50168119 11094274048 46061 33554432000 4194304 4196468 140728374808560 139875537500480 139875549779294 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15295] ppid=15238 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15295/stat : 15295 (java) S 15238 15241 9800 0 -1 1077944384 59 13012 0 0 0 0 4 3 20 0 15 0 50168120 11094274048 46061 33554432000 4194304 4196468 140728374808560 139875569941520 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15296] ppid=15238 vsize=10834252 memory=280096023852000 CPUtime=0.08 cores=0,2,4,6
/proc/15241/task/15296/stat : 15296 (java) S 15238 15241 9800 0 -1 1077944384 23 13012 0 0 1 0 4 3 20 0 15 0 50168120 11094274048 46061 33554432000 4194304 4196468 140728374808560 139875484761232 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15297] ppid=15238 vsize=10834252 memory=7 CPUtime=0.08 cores=0,2,4,6
/proc/15241/task/15297/stat : 15297 (java) S 15238 15241 9800 0 -1 1077944384 175 13012 0 0 1 0 4 3 20 0 15 0 50168120 11094274048 46061 33554432000 4194304 4196468 140728374808560 139875483708176 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15298] ppid=15238 vsize=10834252 memory=7 CPUtime=0.08 cores=0,2,4,6
/proc/15241/task/15298/stat : 15298 (java) S 15238 15241 9800 0 -1 1077944384 35 13012 0 0 1 0 4 3 20 0 15 0 50168120 11094274048 46061 33554432000 4194304 4196468 140728374808560 139875482655632 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15299] ppid=15238 vsize=10834252 memory=7 CPUtime=0.08 cores=0,2,4,6
/proc/15241/task/15299/stat : 15299 (java) S 15238 15241 9800 0 -1 1077944384 75 13012 0 0 1 0 4 3 20 0 15 0 50168122 11094274048 46061 33554432000 4194304 4196468 140728374808560 139875092326640 139875565709954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15300] ppid=15238 vsize=10834252 memory=7 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15300/stat : 15300 (java) S 15238 15241 9800 0 -1 1077944384 14 13012 0 0 0 0 4 3 20 0 15 0 50168122 11094274048 46061 33554432000 4194304 4196468 140728374808560 139875005228256 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15301] ppid=15238 vsize=10834252 memory=7 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15301/stat : 15301 (java) S 15238 15241 9800 0 -1 1077944384 1 13012 0 0 0 0 4 3 20 0 15 0 50168122 11094274048 46061 33554432000 4194304 4196468 140728374808560 139874401248000 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15302] ppid=15238 vsize=10834252 memory=32929 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15302/stat : 15302 (java) S 15238 15241 9800 0 -1 1077944384 3 13012 0 0 0 0 4 3 20 0 15 0 50168125 11094274048 46061 33554432000 4194304 4196468 140728374808560 139874093848528 139875565717403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15303] ppid=15238 vsize=10834252 memory=12856 CPUtime=0.36 cores=0,2,4,6
/proc/15241/task/15303/stat : 15303 (java) S 15238 15241 9800 0 -1 1077944384 1629 13012 0 0 29 0 4 3 20 0 15 0 50168125 11094274048 46061 33554432000 4194304 4196468 140728374808560 139875091274480 139875565709954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15304] ppid=15238 vsize=10834252 memory=21911 CPUtime=0.3 cores=0,2,4,6
/proc/15241/task/15304/stat : 15304 (java) S 15238 15241 9800 0 -1 1077944384 813 13012 0 0 23 0 4 3 20 0 15 0 50168125 11094274048 46061 33554432000 4194304 4196468 140728374808560 139875090221936 139875565709954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15305] ppid=15238 vsize=10834252 memory=12832 CPUtime=0.44 cores=0,2,4,6
/proc/15241/task/15305/stat : 15305 (java) S 15238 15241 9800 0 -1 1077944384 1389 13012 0 0 37 0 4 3 20 0 15 0 50168125 11094274048 46061 33554432000 4194304 4196468 140728374808560 139875089168880 139875565709954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15306] ppid=15238 vsize=10834252 memory=25331 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15306/stat : 15306 (java) S 15238 15241 9800 0 -1 1077944384 3 13012 0 0 0 0 4 3 20 0 15 0 50168125 11094274048 46061 33554432000 4194304 4196468 140728374808560 139874060290912 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15307] ppid=15238 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15307/stat : 15307 (java) S 15238 15241 9800 0 -1 1077944384 1 13012 0 0 0 0 4 3 20 0 15 0 50168125 11094274048 46061 33554432000 4194304 4196468 140728374808560 139875088116272 139875565709954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
Current children cumulated CPU time: 2.43 s
Current children cumulated vsize: 10834252 KiB

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

[startup+26.984 s]
# the end of solver process 15241 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=43.3726 s, system=0.713653 s

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

[startup+25.6009 s]
/proc/loadavg: 1.88 1.77 1.74 3/215 15307
/proc/meminfo: memFree=12812252/32770624 swapFree=67108860/67108860
[pid=15241] ppid=15238 vsize=10848608 memory=1378124 CPUtime=42.46 cores=0,2,4,6
/proc/15241/stat : 15241 (java) S 15238 15241 9800 0 -1 1077944320 92032 13012 0 0 4175 64 4 3 20 0 15 0 50168110 11108974592 344531 33554432000 4194304 4196468 140728374808560 140728374791104 139875565698807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
/proc/15241/statm: 2712152 344531 3525 1 0 2673805 0
[pid=15241/tid=15294] ppid=15238 vsize=10848608 memory=839088 CPUtime=24.56 cores=0,2,4,6
/proc/15241/task/15294/stat : 15294 (java) R 15238 15241 9800 0 -1 4202560 48434 13012 0 0 2426 23 4 3 20 0 15 0 50168119 11108974592 344531 33554432000 4194304 4196468 140728374808560 139875537529720 139875176341804 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15295] ppid=15238 vsize=10848608 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/15241/task/15295/stat : 15295 (java) S 15238 15241 9800 0 -1 1077944384 756 13012 0 0 30 7 4 3 20 0 15 0 50168120 11108974592 344531 33554432000 4194304 4196468 140728374808560 139875569941520 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15296] ppid=15238 vsize=10848608 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/15241/task/15296/stat : 15296 (java) S 15238 15241 9800 0 -1 1077944384 385 13012 0 0 29 6 4 3 20 0 15 0 50168120 11108974592 344531 33554432000 4194304 4196468 140728374808560 139875484761232 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15297] ppid=15238 vsize=10848608 memory=1121908 CPUtime=0.41 cores=0,2,4,6
/proc/15241/task/15297/stat : 15297 (java) S 15238 15241 9800 0 -1 1077944384 405 13012 0 0 28 6 4 3 20 0 15 0 50168120 11108974592 344531 33554432000 4194304 4196468 140728374808560 139875483708176 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15298] ppid=15238 vsize=10848608 memory=1092280 CPUtime=0.44 cores=0,2,4,6
/proc/15241/task/15298/stat : 15298 (java) S 15238 15241 9800 0 -1 1077944384 301 13012 0 0 30 7 4 3 20 0 15 0 50168120 11108974592 344531 33554432000 4194304 4196468 140728374808560 139875482655632 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15299] ppid=15238 vsize=10848608 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/15241/task/15299/stat : 15299 (java) S 15238 15241 9800 0 -1 1077944384 4388 13012 0 0 7 0 4 3 20 0 15 0 50168122 11108974592 344531 33554432000 4194304 4196468 140728374808560 139875092326640 139875565709954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15300] ppid=15238 vsize=10848608 memory=-2127766507027259528 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15300/stat : 15300 (java) S 15238 15241 9800 0 -1 1077944384 17 13012 0 0 0 0 4 3 20 0 15 0 50168122 11108974592 344531 33554432000 4194304 4196468 140728374808560 139875005228256 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15301] ppid=15238 vsize=10848608 memory=-3472574513799858009 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15301/stat : 15301 (java) S 15238 15241 9800 0 -1 1077944384 8 13012 0 0 0 0 4 3 20 0 15 0 50168122 11108974592 344531 33554432000 4194304 4196468 140728374808560 139874401248000 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15302] ppid=15238 vsize=10848608 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15302/stat : 15302 (java) S 15238 15241 9800 0 -1 1077944384 3 13012 0 0 0 0 4 3 20 0 15 0 50168125 11108974592 344531 33554432000 4194304 4196468 140728374808560 139874093848528 139875565717403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15303] ppid=15238 vsize=10848608 memory=1296 CPUtime=7.18 cores=0,2,4,6
/proc/15241/task/15303/stat : 15303 (java) S 15238 15241 9800 0 -1 1077944384 12407 13012 0 0 708 3 4 3 20 0 15 0 50168125 11108974592 344531 33554432000 4194304 4196468 140728374808560 139875091274480 139875565709954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 66 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15304] ppid=15238 vsize=10848608 memory=2408 CPUtime=6.79 cores=0,2,4,6
/proc/15241/task/15304/stat : 15304 (java) S 15238 15241 9800 0 -1 1077944384 9350 13012 0 0 670 2 4 3 20 0 15 0 50168125 11108974592 344531 33554432000 4194304 4196468 140728374808560 139875090221936 139875565709954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15305] ppid=15238 vsize=10848608 memory=1724 CPUtime=2.52 cores=0,2,4,6
/proc/15241/task/15305/stat : 15305 (java) S 15238 15241 9800 0 -1 1077944384 13286 13012 0 0 241 4 4 3 20 0 15 0 50168125 11108974592 344531 33554432000 4194304 4196468 140728374808560 139875089168880 139875565709954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 71 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15306] ppid=15238 vsize=10848608 memory=812188 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15306/stat : 15306 (java) S 15238 15241 9800 0 -1 1077944384 3 13012 0 0 0 0 4 3 20 0 15 0 50168125 11108974592 344531 33554432000 4194304 4196468 140728374808560 139874060290912 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15307] ppid=15238 vsize=10848608 memory=1952 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15307/stat : 15307 (java) S 15238 15241 9800 0 -1 1077944384 101 13012 0 0 0 0 4 3 20 0 15 0 50168125 11108974592 344531 33554432000 4194304 4196468 140728374808560 139875088116272 139875565709954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 70 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
Current children cumulated CPU time: 42.46 s
Current children cumulated vsize: 10848608 KiB
Current children cumulated memory: 1378124 KiB

[startup+26.4007 s]
/proc/loadavg: 1.88 1.77 1.74 3/215 15307
/proc/meminfo: memFree=12507660/32770624 swapFree=67108860/67108860
[pid=15241] ppid=15238 vsize=10848608 memory=1438304 CPUtime=43.36 cores=0,2,4,6
/proc/15241/stat : 15241 (java) S 15238 15241 9800 0 -1 1077944320 92311 13012 0 0 4264 65 4 3 20 0 15 0 50168110 11108974592 359576 33554432000 4194304 4196468 140728374808560 140728374791104 139875565698807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
/proc/15241/statm: 2712152 359576 3525 1 0 2673805 0
[pid=15241/tid=15294] ppid=15238 vsize=10848608 memory=0 CPUtime=25.34 cores=0,2,4,6
/proc/15241/task/15294/stat : 15294 (java) R 15238 15241 9800 0 -1 4202560 48453 13012 0 0 2504 23 4 3 20 0 15 0 50168119 11108974592 359576 33554432000 4194304 4196468 140728374808560 139875537531728 139875177208397 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15295] ppid=15238 vsize=10848608 memory=0 CPUtime=0.45 cores=0,2,4,6
/proc/15241/task/15295/stat : 15295 (java) S 15238 15241 9800 0 -1 1077944384 765 13012 0 0 31 7 4 3 20 0 15 0 50168120 11108974592 359576 33554432000 4194304 4196468 140728374808560 139875569941520 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15296] ppid=15238 vsize=10848608 memory=6791534058613427641 CPUtime=0.44 cores=0,2,4,6
/proc/15241/task/15296/stat : 15296 (java) S 15238 15241 9800 0 -1 1077944384 393 13012 0 0 30 7 4 3 20 0 15 0 50168120 11108974592 359576 33554432000 4194304 4196468 140728374808560 139875484761232 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15297] ppid=15238 vsize=10848608 memory=14004 CPUtime=0.43 cores=0,2,4,6
/proc/15241/task/15297/stat : 15297 (java) S 15238 15241 9800 0 -1 1077944384 413 13012 0 0 29 7 4 3 20 0 15 0 50168120 11108974592 359576 33554432000 4194304 4196468 140728374808560 139875483708176 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15298] ppid=15238 vsize=10848608 memory=1204 CPUtime=0.46 cores=0,2,4,6
/proc/15241/task/15298/stat : 15298 (java) S 15238 15241 9800 0 -1 1077944384 307 13012 0 0 32 7 4 3 20 0 15 0 50168120 11108974592 359576 33554432000 4194304 4196468 140728374808560 139875482655632 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15299] ppid=15238 vsize=10848608 memory=15872 CPUtime=0.14 cores=0,2,4,6
/proc/15241/task/15299/stat : 15299 (java) S 15238 15241 9800 0 -1 1077944384 4610 13012 0 0 7 0 4 3 20 0 15 0 50168122 11108974592 359576 33554432000 4194304 4196468 140728374808560 139875092326640 139875565709954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15300] ppid=15238 vsize=10848608 memory=4008 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15300/stat : 15300 (java) S 15238 15241 9800 0 -1 1077944384 17 13012 0 0 0 0 4 3 20 0 15 0 50168122 11108974592 359576 33554432000 4194304 4196468 140728374808560 139875005228256 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15301] ppid=15238 vsize=10848608 memory=18460 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15301/stat : 15301 (java) S 15238 15241 9800 0 -1 1077944384 8 13012 0 0 0 0 4 3 20 0 15 0 50168122 11108974592 359576 33554432000 4194304 4196468 140728374808560 139874401248000 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15302] ppid=15238 vsize=10848608 memory=815024 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15302/stat : 15302 (java) S 15238 15241 9800 0 -1 1077944384 3 13012 0 0 0 0 4 3 20 0 15 0 50168125 11108974592 359576 33554432000 4194304 4196468 140728374808560 139874093848528 139875565717403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15303] ppid=15238 vsize=10848608 memory=813236 CPUtime=7.21 cores=0,2,4,6
/proc/15241/task/15303/stat : 15303 (java) S 15238 15241 9800 0 -1 1077944384 12413 13012 0 0 711 3 4 3 20 0 15 0 50168125 11108974592 359576 33554432000 4194304 4196468 140728374808560 139875091274480 139875565709954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 66 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15304] ppid=15238 vsize=10848608 memory=6944656592387989600 CPUtime=6.8 cores=0,2,4,6
/proc/15241/task/15304/stat : 15304 (java) S 15238 15241 9800 0 -1 1077944384 9351 13012 0 0 671 2 4 3 20 0 15 0 50168125 11108974592 359576 33554432000 4194304 4196468 140728374808560 139875090221936 139875565709954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15305] ppid=15238 vsize=10848608 memory=6944656592455097440 CPUtime=2.52 cores=0,2,4,6
/proc/15241/task/15305/stat : 15305 (java) S 15238 15241 9800 0 -1 1077944384 13286 13012 0 0 241 4 4 3 20 0 15 0 50168125 11108974592 359576 33554432000 4194304 4196468 140728374808560 139875089168880 139875565709954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 71 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15306] ppid=15238 vsize=10848608 memory=596992 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15306/stat : 15306 (java) S 15238 15241 9800 0 -1 1077944384 3 13012 0 0 0 0 4 3 20 0 15 0 50168125 11108974592 359576 33554432000 4194304 4196468 140728374808560 139874060290912 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15307] ppid=15238 vsize=10848608 memory=6655300316396806240 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15307/stat : 15307 (java) S 15238 15241 9800 0 -1 1077944384 101 13012 0 0 0 0 4 3 20 0 15 0 50168125 11108974592 359576 33554432000 4194304 4196468 140728374808560 139875088116272 139875565709954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 70 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
Current children cumulated CPU time: 43.36 s
Current children cumulated vsize: 10848608 KiB
Current children cumulated memory: 1438304 KiB

[startup+26.8007 s]
/proc/loadavg: 1.88 1.77 1.74 3/215 15307
/proc/meminfo: memFree=12507660/32770624 swapFree=67108860/67108860
[pid=15241] ppid=15238 vsize=10848608 memory=1438304 CPUtime=43.78 cores=0,2,4,6
/proc/15241/stat : 15241 (java) S 15238 15241 9800 0 -1 1077944320 92319 13012 0 0 4306 65 4 3 20 0 15 0 50168110 11108974592 359576 33554432000 4194304 4196468 140728374808560 140728374791104 139875565698807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
/proc/15241/statm: 2712152 359576 3525 1 0 2673805 0
[pid=15241/tid=15294] ppid=15238 vsize=10848608 memory=6944652177228980320 CPUtime=25.74 cores=0,2,4,6
/proc/15241/task/15294/stat : 15294 (java) R 15238 15241 9800 0 -1 4202560 48454 13012 0 0 2544 23 4 3 20 0 15 0 50168119 11108974592 359576 33554432000 4194304 4196468 140728374808560 139875537528656 139875174307374 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15295] ppid=15238 vsize=10848608 memory=6944656592387989600 CPUtime=0.45 cores=0,2,4,6
/proc/15241/task/15295/stat : 15295 (java) S 15238 15241 9800 0 -1 1077944384 765 13012 0 0 31 7 4 3 20 0 15 0 50168120 11108974592 359576 33554432000 4194304 4196468 140728374808560 139875569941520 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15296] ppid=15238 vsize=10848608 memory=6655300316396806240 CPUtime=0.44 cores=0,2,4,6
/proc/15241/task/15296/stat : 15296 (java) S 15238 15241 9800 0 -1 1077944384 393 13012 0 0 30 7 4 3 20 0 15 0 50168120 11108974592 359576 33554432000 4194304 4196468 140728374808560 139875484761232 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15297] ppid=15238 vsize=10848608 memory=280096025175184 CPUtime=0.43 cores=0,2,4,6
/proc/15241/task/15297/stat : 15297 (java) S 15238 15241 9800 0 -1 1077944384 413 13012 0 0 29 7 4 3 20 0 15 0 50168120 11108974592 359576 33554432000 4194304 4196468 140728374808560 139875483708176 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15298] ppid=15238 vsize=10848608 memory=-7812193691855986592 CPUtime=0.46 cores=0,2,4,6
/proc/15241/task/15298/stat : 15298 (java) S 15238 15241 9800 0 -1 1077944384 307 13012 0 0 32 7 4 3 20 0 15 0 50168120 11108974592 359576 33554432000 4194304 4196468 140728374808560 139875482655632 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15299] ppid=15238 vsize=10848608 memory=316941022116708378 CPUtime=0.14 cores=0,2,4,6
/proc/15241/task/15299/stat : 15299 (java) S 15238 15241 9800 0 -1 1077944384 4610 13012 0 0 7 0 4 3 20 0 15 0 50168122 11108974592 359576 33554432000 4194304 4196468 140728374808560 139875092326640 139875565709954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15300] ppid=15238 vsize=10848608 memory=288230583166042425 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15300/stat : 15300 (java) S 15238 15241 9800 0 -1 1077944384 17 13012 0 0 0 0 4 3 20 0 15 0 50168122 11108974592 359576 33554432000 4194304 4196468 140728374808560 139875005228256 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15301] ppid=15238 vsize=10848608 memory=14690790446205450 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15301/stat : 15301 (java) S 15238 15241 9800 0 -1 1077944384 8 13012 0 0 0 0 4 3 20 0 15 0 50168122 11108974592 359576 33554432000 4194304 4196468 140728374808560 139874401248000 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15302] ppid=15238 vsize=10848608 memory=8099531882097107024 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15302/stat : 15302 (java) S 15238 15241 9800 0 -1 1077944384 3 13012 0 0 0 0 4 3 20 0 15 0 50168125 11108974592 359576 33554432000 4194304 4196468 140728374808560 139874093848528 139875565717403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15303] ppid=15238 vsize=10848608 memory=-2746958450906831424 CPUtime=7.22 cores=0,2,4,6
/proc/15241/task/15303/stat : 15303 (java) S 15238 15241 9800 0 -1 1077944384 12417 13012 0 0 712 3 4 3 20 0 15 0 50168125 11108974592 359576 33554432000 4194304 4196468 140728374808560 139875091274480 139875565709954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 66 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15304] ppid=15238 vsize=10848608 memory=7976406965554101975 CPUtime=6.82 cores=0,2,4,6
/proc/15241/task/15304/stat : 15304 (java) S 15238 15241 9800 0 -1 1077944384 9352 13012 0 0 673 2 4 3 20 0 15 0 50168125 11108974592 359576 33554432000 4194304 4196468 140728374808560 139875090221936 139875565709954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15305] ppid=15238 vsize=10848608 memory=-5628408999910123566 CPUtime=2.52 cores=0,2,4,6
/proc/15241/task/15305/stat : 15305 (java) S 15238 15241 9800 0 -1 1077944384 13288 13012 0 0 241 4 4 3 20 0 15 0 50168125 11108974592 359576 33554432000 4194304 4196468 140728374808560 139875089168880 139875565709954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 71 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15306] ppid=15238 vsize=10848608 memory=1438304 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15306/stat : 15306 (java) S 15238 15241 9800 0 -1 1077944384 3 13012 0 0 0 0 4 3 20 0 15 0 50168125 11108974592 359576 33554432000 4194304 4196468 140728374808560 139874060290912 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15307] ppid=15238 vsize=10848608 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15307/stat : 15307 (java) S 15238 15241 9800 0 -1 1077944384 101 13012 0 0 0 0 4 3 20 0 15 0 50168125 11108974592 359576 33554432000 4194304 4196468 140728374808560 139875088116272 139875565709954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 70 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
Current children cumulated CPU time: 43.78 s
Current children cumulated vsize: 10848608 KiB
Current children cumulated memory: 1438304 KiB

[startup+26.9006 s]
/proc/loadavg: 1.88 1.77 1.74 3/215 15307
/proc/meminfo: memFree=12507660/32770624 swapFree=67108860/67108860
[pid=15241] ppid=15238 vsize=10848608 memory=1438304 CPUtime=43.89 cores=0,2,4,6
/proc/15241/stat : 15241 (java) S 15238 15241 9800 0 -1 1077944320 92331 13012 0 0 4317 65 4 3 20 0 15 0 50168110 11108974592 359576 33554432000 4194304 4196468 140728374808560 140728374791104 139875565698807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
/proc/15241/statm: 2712152 359576 3525 1 0 2673805 0
[pid=15241/tid=15294] ppid=15238 vsize=10848608 memory=1438304 CPUtime=25.84 cores=0,2,4,6
/proc/15241/task/15294/stat : 15294 (java) R 15238 15241 9800 0 -1 4202560 48464 13012 0 0 2554 23 4 3 20 0 15 0 50168119 11108974592 359576 33554432000 4194304 4196468 140728374808560 139875537524016 139875549742437 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15295] ppid=15238 vsize=10848608 memory=1438304 CPUtime=0.45 cores=0,2,4,6
/proc/15241/task/15295/stat : 15295 (java) S 15238 15241 9800 0 -1 1077944384 765 13012 0 0 31 7 4 3 20 0 15 0 50168120 11108974592 359576 33554432000 4194304 4196468 140728374808560 139875569941520 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15296] ppid=15238 vsize=10848608 memory=280096024319984 CPUtime=0.44 cores=0,2,4,6
/proc/15241/task/15296/stat : 15296 (java) S 15238 15241 9800 0 -1 1077944384 393 13012 0 0 30 7 4 3 20 0 15 0 50168120 11108974592 359576 33554432000 4194304 4196468 140728374808560 139875484761232 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15297] ppid=15238 vsize=10848608 memory=4641049920905111393 CPUtime=0.43 cores=0,2,4,6
/proc/15241/task/15297/stat : 15297 (java) S 15238 15241 9800 0 -1 1077944384 413 13012 0 0 29 7 4 3 20 0 15 0 50168120 11108974592 359576 33554432000 4194304 4196468 140728374808560 139875483708176 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15298] ppid=15238 vsize=10848608 memory=4140 CPUtime=0.46 cores=0,2,4,6
/proc/15241/task/15298/stat : 15298 (java) S 15238 15241 9800 0 -1 1077944384 307 13012 0 0 32 7 4 3 20 0 15 0 50168120 11108974592 359576 33554432000 4194304 4196468 140728374808560 139875482655632 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15299] ppid=15238 vsize=10848608 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/15241/task/15299/stat : 15299 (java) S 15238 15241 9800 0 -1 1077944384 4610 13012 0 0 7 0 4 3 20 0 15 0 50168122 11108974592 359576 33554432000 4194304 4196468 140728374808560 139875092326640 139875565709954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15300] ppid=15238 vsize=10848608 memory=16504 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15300/stat : 15300 (java) S 15238 15241 9800 0 -1 1077944384 17 13012 0 0 0 0 4 3 20 0 15 0 50168122 11108974592 359576 33554432000 4194304 4196468 140728374808560 139875005228256 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15301] ppid=15238 vsize=10848608 memory=1296 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15301/stat : 15301 (java) S 15238 15241 9800 0 -1 1077944384 8 13012 0 0 0 0 4 3 20 0 15 0 50168122 11108974592 359576 33554432000 4194304 4196468 140728374808560 139874401248000 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15302] ppid=15238 vsize=10848608 memory=839064 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15302/stat : 15302 (java) S 15238 15241 9800 0 -1 1077944384 3 13012 0 0 0 0 4 3 20 0 15 0 50168125 11108974592 359576 33554432000 4194304 4196468 140728374808560 139874093848528 139875565717403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15303] ppid=15238 vsize=10848608 memory=280096024410688 CPUtime=7.22 cores=0,2,4,6
/proc/15241/task/15303/stat : 15303 (java) S 15238 15241 9800 0 -1 1077944384 12418 13012 0 0 712 3 4 3 20 0 15 0 50168125 11108974592 359576 33554432000 4194304 4196468 140728374808560 139875091274480 139875565709954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 66 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15304] ppid=15238 vsize=10848608 memory=1399103955520229747 CPUtime=6.82 cores=0,2,4,6
/proc/15241/task/15304/stat : 15304 (java) S 15238 15241 9800 0 -1 1077944384 9352 13012 0 0 673 2 4 3 20 0 15 0 50168125 11108974592 359576 33554432000 4194304 4196468 140728374808560 139875090221936 139875565709954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15305] ppid=15238 vsize=10848608 memory=1228620 CPUtime=2.53 cores=0,2,4,6
/proc/15241/task/15305/stat : 15305 (java) S 15238 15241 9800 0 -1 1077944384 13290 13012 0 0 242 4 4 3 20 0 15 0 50168125 11108974592 359576 33554432000 4194304 4196468 140728374808560 139875089168880 139875565709954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 71 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15306] ppid=15238 vsize=10848608 memory=1122008 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15306/stat : 15306 (java) S 15238 15241 9800 0 -1 1077944384 3 13012 0 0 0 0 4 3 20 0 15 0 50168125 11108974592 359576 33554432000 4194304 4196468 140728374808560 139874060290912 139875565709013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
[pid=15241/tid=15307] ppid=15238 vsize=10848608 memory=8392 CPUtime=0.07 cores=0,2,4,6
/proc/15241/task/15307/stat : 15307 (java) S 15238 15241 9800 0 -1 1077944384 101 13012 0 0 0 0 4 3 20 0 15 0 50168125 11108974592 359576 33554432000 4194304 4196468 140728374808560 139875088116272 139875565709954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 70 0 0 6293624 6294260 12038144 140728374814891 140728374818140 140728374818140 140728374820815 0
Current children cumulated CPU time: 43.89 s
Current children cumulated vsize: 10848608 KiB
Current children cumulated memory: 1438304 KiB

Child status: 0
Real time (s): 26.984
CPU time (s): 44.0863
CPU user time (s): 43.3726
CPU system time (s): 0.713653
CPU usage (%): 163.379
Max. virtual memory (cumulated for all children) (KiB): 10848608
Max. memory (cumulated for all children) (KiB): 1438304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.3726
system time used= 0.713653
maximum resident set size= 1440788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105524
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10238
involuntary context switches= 127


# summary of solver processes directly reported to runsolver:
#   pid: 15241
#   total CPU time (s): 44.0863
#   total CPU user time (s): 43.3726
#   total CPU system time (s): 0.713653

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.167749 second user time and 0.290885 second system time

The end
Name	PseudoBoolean-dec/ Pb-robin08_c18.xml
MD5SUM	1bc3f3e5ba546c0eba55cc781441057a
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.095834
Satisfiable
(Un)Satisfiability was proved
Number of variables	784
Number of constraints	256
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":784}]
Minimum variable degree	10
Maximum variable degree	10
Distribution of variable degrees	[{"degree":10,"count":784}]
Minimum constraint arity	28
Maximum constraint arity	49
Distribution of constraint arities	[{"arity":28,"count":224},{"arity":49,"count":32}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":256}]
Optimization problem	NO
Type of objective
Trace number 4293779

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
