2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Conflict Ordering with restarts 2018-07-02	SAT (TO)	48	2400.03	2368.73
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (7154 MiB free)
  memory of node 1: 16384 MiB (12187 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291949-1532277840/watcher-4291949-1532277840 -o /tmp/evaluation-result-4291949-1532277840/solver-4291949-1532277840 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532270698-13415 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1203849680 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291949-1532277840.xml 

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

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=14198, runsolver pid=14195
Current StackSize limit: 8192 KiB


[startup+0.100169 s]*
/proc/loadavg: 1.65 1.46 1.37 3/220 14213
/proc/meminfo: memFree=19756208/32770624 swapFree=67108860/67108860
[pid=14198] ppid=14195 vsize=14082740 memory=30476 CPUtime=0.12 cores=0,2,4,6
/proc/14198/stat : 14198 (java) S 14195 14198 2672 0 -1 1077944320 6552 0 0 0 11 1 0 0 20 0 15 0 45347134 14420725760 7619 33554432000 4194304 4196468 140733110004688 140733109987232 140396661186295 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
/proc/14198/statm: 3520685 7619 3155 1 0 3482761 0
[pid=14198/tid=14200] ppid=14195 vsize=14082740 memory=-6966717399981318784 CPUtime=0.09 cores=0,2,4,6
/proc/14198/task/14200/stat : 14200 (java) R 14195 14198 2672 0 -1 4202560 4604 0 0 0 8 1 0 0 20 0 15 0 45347134 14420725760 7684 33554432000 4194304 4196468 140733110004688 140396665381632 140396645266812 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14201] ppid=14195 vsize=14082740 memory=5793855302865795513 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14201/stat : 14201 (java) S 14195 14198 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45347135 14420725760 7684 33554432000 4194304 4196468 140733110004688 140396256553360 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14202] ppid=14195 vsize=14082740 memory=140051855902336 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14202/stat : 14202 (java) S 14195 14198 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45347135 14420725760 7684 33554432000 4194304 4196468 140733110004688 140396255500560 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14203] ppid=14195 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14203/stat : 14203 (java) S 14195 14198 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45347135 14420725760 7684 33554432000 4194304 4196468 140733110004688 140396254448272 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14204] ppid=14195 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14204/stat : 14204 (java) S 14195 14198 2672 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45347135 14420725760 7684 33554432000 4194304 4196468 140733110004688 140396253395472 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14205] ppid=14195 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14205/stat : 14205 (java) S 14195 14198 2672 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45347136 14420725760 7684 33554432000 4194304 4196468 140733110004688 140396135402096 140396661197442 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14206] ppid=14195 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14206/stat : 14206 (java) S 14195 14198 2672 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45347137 14420725760 7684 33554432000 4194304 4196468 140733110004688 140396134348064 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14207] ppid=14195 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14207/stat : 14207 (java) S 14195 14198 2672 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45347137 14420725760 7684 33554432000 4194304 4196468 140733110004688 140396133295728 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14208] ppid=14195 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14208/stat : 14208 (java) S 14195 14198 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45347139 14420725760 7684 33554432000 4194304 4196468 140733110004688 140396132244048 140396661204891 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14209] ppid=14195 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14209/stat : 14209 (java) S 14195 14198 2672 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 45347139 14420725760 7684 33554432000 4194304 4196468 140733110004688 140396131190896 140396661197442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14210] ppid=14195 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14210/stat : 14210 (java) S 14195 14198 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45347139 14420725760 7684 33554432000 4194304 4196468 140733110004688 140396130138096 140396661197442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14211] ppid=14195 vsize=14082740 memory=140051855902336 CPUtime=0.01 cores=0,2,4,6
/proc/14198/task/14211/stat : 14211 (java) S 14195 14198 2672 0 -1 1077944384 280 0 0 0 1 0 0 0 20 0 15 0 45347139 14420725760 7684 33554432000 4194304 4196468 140733110004688 140396129085808 140396661197442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14212] ppid=14195 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14212/stat : 14212 (java) S 14195 14198 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45347140 14420725760 7684 33554432000 4194304 4196468 140733110004688 140396128033248 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14213] ppid=14195 vsize=14082740 memory=140051855902336 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14213/stat : 14213 (java) S 14195 14198 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45347140 14420725760 7684 33554432000 4194304 4196468 140733110004688 140396126981040 140396661197442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 30476 KiB

[startup+0.216697 s]*
/proc/loadavg: 1.65 1.46 1.37 6/220 14213
/proc/meminfo: memFree=19716504/32770624 swapFree=67108860/67108860
[pid=14198] ppid=14195 vsize=14082740 memory=47584 CPUtime=0.32 cores=0,2,4,6
/proc/14198/stat : 14198 (java) S 14195 14198 2672 0 -1 1077944320 10419 0 0 0 30 2 0 0 20 0 15 0 45347134 14420725760 11896 33554432000 4194304 4196468 140733110004688 140733109987232 140396661186295 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
/proc/14198/statm: 3520685 11896 3410 1 0 3482761 0
[pid=14198/tid=14200] ppid=14195 vsize=14082740 memory=6735269665583770266 CPUtime=0.21 cores=0,2,4,6
/proc/14198/task/14200/stat : 14200 (java) R 14195 14198 2672 0 -1 4202560 8088 0 0 0 19 2 0 0 20 0 15 0 45347134 14420725760 11896 33554432000 4194304 4196468 140733110004688 140396665414928 140396661208221 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14201] ppid=14195 vsize=14082740 memory=4211973778060692874 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14201/stat : 14201 (java) S 14195 14198 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45347135 14420725760 11896 33554432000 4194304 4196468 140733110004688 140396256553360 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14202] ppid=14195 vsize=14082740 memory=140051855902336 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14202/stat : 14202 (java) S 14195 14198 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45347135 14420725760 11896 33554432000 4194304 4196468 140733110004688 140396255500560 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14203] ppid=14195 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14203/stat : 14203 (java) S 14195 14198 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45347135 14420725760 11896 33554432000 4194304 4196468 140733110004688 140396254448272 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14204] ppid=14195 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14204/stat : 14204 (java) S 14195 14198 2672 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45347135 14420725760 11896 33554432000 4194304 4196468 140733110004688 140396253395472 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14205] ppid=14195 vsize=14082740 memory=140051855902336 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14205/stat : 14205 (java) S 14195 14198 2672 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45347136 14420725760 11896 33554432000 4194304 4196468 140733110004688 140396135402096 140396661197442 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14206] ppid=14195 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14206/stat : 14206 (java) S 14195 14198 2672 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45347137 14420725760 11896 33554432000 4194304 4196468 140733110004688 140396134348064 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14207] ppid=14195 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14207/stat : 14207 (java) S 14195 14198 2672 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45347137 14420725760 11896 33554432000 4194304 4196468 140733110004688 140396133295728 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14208] ppid=14195 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14208/stat : 14208 (java) S 14195 14198 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45347139 14420725760 11896 33554432000 4194304 4196468 140733110004688 140396132244048 140396661204891 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14209] ppid=14195 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/14198/task/14209/stat : 14209 (java) S 14195 14198 2672 0 -1 1077944384 401 0 0 0 2 0 0 0 20 0 15 0 45347139 14420725760 11896 33554432000 4194304 4196468 140733110004688 140396131190896 140396661197442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14210] ppid=14195 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/14198/task/14210/stat : 14210 (java) S 14195 14198 2672 0 -1 1077944384 223 0 0 0 1 0 0 0 20 0 15 0 45347139 14420725760 11896 33554432000 4194304 4196468 140733110004688 140396130138096 140396661197442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14211] ppid=14195 vsize=14082740 memory=140051855902336 CPUtime=0.07 cores=0,2,4,6
/proc/14198/task/14211/stat : 14211 (java) S 14195 14198 2672 0 -1 1077944384 341 0 0 0 7 0 0 0 20 0 15 0 45347139 14420725760 11896 33554432000 4194304 4196468 140733110004688 140396129085808 140396661197442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14212] ppid=14195 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14212/stat : 14212 (java) S 14195 14198 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45347140 14420725760 11896 33554432000 4194304 4196468 140733110004688 140396128033248 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14213] ppid=14195 vsize=14082740 memory=140051855902336 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14213/stat : 14213 (java) S 14195 14198 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45347140 14420725760 11896 33554432000 4194304 4196468 140733110004688 140396126981040 140396661197442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47584 KiB

[startup+0.310877 s]*
/proc/loadavg: 1.65 1.46 1.37 3/220 14213
/proc/meminfo: memFree=19712464/32770624 swapFree=67108860/67108860
[pid=14198] ppid=14195 vsize=14082740 memory=50864 CPUtime=0.45 cores=0,2,4,6
/proc/14198/stat : 14198 (java) S 14195 14198 2672 0 -1 1077944320 10794 0 0 0 42 3 0 0 20 0 15 0 45347134 14420725760 12716 33554432000 4194304 4196468 140733110004688 140733109987232 140396661186295 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
/proc/14198/statm: 3520685 12716 3412 1 0 3482761 0
[pid=14198/tid=14200] ppid=14195 vsize=14082740 memory=6735269665583770266 CPUtime=0.3 cores=0,2,4,6
/proc/14198/task/14200/stat : 14200 (java) R 14195 14198 2672 0 -1 4202560 8418 0 0 0 28 2 0 0 20 0 15 0 45347134 14420725760 12716 33554432000 4194304 4196468 140733110004688 140396665397808 140396641461633 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14201] ppid=14195 vsize=14082740 memory=4211973778060692874 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14201/stat : 14201 (java) S 14195 14198 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45347135 14420725760 12716 33554432000 4194304 4196468 140733110004688 140396256553360 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14202] ppid=14195 vsize=14082740 memory=280103558887808 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14202/stat : 14202 (java) S 14195 14198 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45347135 14420725760 12716 33554432000 4194304 4196468 140733110004688 140396255500560 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14203] ppid=14195 vsize=14082740 memory=280103405998592 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14203/stat : 14203 (java) S 14195 14198 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45347135 14420725760 12716 33554432000 4194304 4196468 140733110004688 140396254448272 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14204] ppid=14195 vsize=14082740 memory=140051702985487 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14204/stat : 14204 (java) S 14195 14198 2672 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45347135 14420725760 12716 33554432000 4194304 4196468 140733110004688 140396253395472 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14205] ppid=14195 vsize=14082740 memory=280103558897024 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14205/stat : 14205 (java) S 14195 14198 2672 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45347136 14420725760 12716 33554432000 4194304 4196468 140733110004688 140396135402096 140396661197442 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14206] ppid=14195 vsize=14082740 memory=140051702990095 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14206/stat : 14206 (java) S 14195 14198 2672 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45347137 14420725760 12716 33554432000 4194304 4196468 140733110004688 140396134348064 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14207] ppid=14195 vsize=14082740 memory=140051703005816 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14207/stat : 14207 (java) S 14195 14198 2672 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45347137 14420725760 12716 33554432000 4194304 4196468 140733110004688 140396133295728 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14208] ppid=14195 vsize=14082740 memory=140051703008485 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14208/stat : 14208 (java) S 14195 14198 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45347139 14420725760 12716 33554432000 4194304 4196468 140733110004688 140396132244048 140396661204891 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14209] ppid=14195 vsize=14082740 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/14198/task/14209/stat : 14209 (java) S 14195 14198 2672 0 -1 1077944384 416 0 0 0 3 0 0 0 20 0 15 0 45347139 14420725760 12716 33554432000 4194304 4196468 140733110004688 140396131190896 140396661197442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14210] ppid=14195 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/14198/task/14210/stat : 14210 (java) S 14195 14198 2672 0 -1 1077944384 223 0 0 0 2 0 0 0 20 0 15 0 45347139 14420725760 12716 33554432000 4194304 4196468 140733110004688 140396130138096 140396661197442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14211] ppid=14195 vsize=14082740 memory=140051855902336 CPUtime=0.08 cores=0,2,4,6
/proc/14198/task/14211/stat : 14211 (java) S 14195 14198 2672 0 -1 1077944384 355 0 0 0 8 0 0 0 20 0 15 0 45347139 14420725760 12716 33554432000 4194304 4196468 140733110004688 140396129085808 140396661197442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14212] ppid=14195 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14212/stat : 14212 (java) S 14195 14198 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45347140 14420725760 12716 33554432000 4194304 4196468 140733110004688 140396128033248 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14213] ppid=14195 vsize=14082740 memory=140051855932812 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14213/stat : 14213 (java) S 14195 14198 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45347140 14420725760 12716 33554432000 4194304 4196468 140733110004688 140396126981040 140396661197442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50864 KiB

[startup+0.700814 s]
/proc/loadavg: 1.65 1.46 1.37 3/220 14213
/proc/meminfo: memFree=19688188/32770624 swapFree=67108860/67108860
[pid=14198] ppid=14195 vsize=14084808 memory=89000 CPUtime=0.99 cores=0,2,4,6
/proc/14198/stat : 14198 (java) S 14195 14198 2672 0 -1 1077944320 17648 0 0 0 94 5 0 0 20 0 15 0 45347134 14422843392 22250 33554432000 4194304 4196468 140733110004688 140733109987232 140396661186295 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
/proc/14198/statm: 3521202 22250 3501 1 0 3483273 0
[pid=14198/tid=14200] ppid=14195 vsize=14084808 memory=56 CPUtime=0.67 cores=0,2,4,6
/proc/14198/task/14200/stat : 14200 (java) R 14195 14198 2672 0 -1 4202560 14878 0 0 0 63 4 0 0 20 0 15 0 45347134 14422843392 22250 33554432000 4194304 4196468 140733110004688 140396665408896 140396654283131 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14201] ppid=14195 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14201/stat : 14201 (java) S 14195 14198 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45347135 14422843392 22250 33554432000 4194304 4196468 140733110004688 140396256553360 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14202] ppid=14195 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14202/stat : 14202 (java) S 14195 14198 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45347135 14422843392 22250 33554432000 4194304 4196468 140733110004688 140396255500560 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14203] ppid=14195 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14203/stat : 14203 (java) S 14195 14198 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45347135 14422843392 22250 33554432000 4194304 4196468 140733110004688 140396254448272 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14204] ppid=14195 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14204/stat : 14204 (java) S 14195 14198 2672 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45347135 14422843392 22250 33554432000 4194304 4196468 140733110004688 140396253395472 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14205] ppid=14195 vsize=14084808 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14205/stat : 14205 (java) S 14195 14198 2672 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45347136 14422843392 22250 33554432000 4194304 4196468 140733110004688 140396135402096 140396661197442 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14206] ppid=14195 vsize=14084808 memory=796 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14206/stat : 14206 (java) S 14195 14198 2672 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45347137 14422843392 22250 33554432000 4194304 4196468 140733110004688 140396134348064 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14207] ppid=14195 vsize=14084808 memory=8380 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14207/stat : 14207 (java) S 14195 14198 2672 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45347137 14422843392 22250 33554432000 4194304 4196468 140733110004688 140396133295728 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14208] ppid=14195 vsize=14084808 memory=5784 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14208/stat : 14208 (java) S 14195 14198 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45347139 14422843392 22250 33554432000 4194304 4196468 140733110004688 140396132244048 140396661204891 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14209] ppid=14195 vsize=14084808 memory=1200 CPUtime=0.07 cores=0,2,4,6
/proc/14198/task/14209/stat : 14209 (java) S 14195 14198 2672 0 -1 1077944384 565 0 0 0 7 0 0 0 20 0 15 0 45347139 14422843392 22250 33554432000 4194304 4196468 140733110004688 140396131190896 140396661197442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14210] ppid=14195 vsize=14084808 memory=11956 CPUtime=0.07 cores=0,2,4,6
/proc/14198/task/14210/stat : 14210 (java) S 14195 14198 2672 0 -1 1077944384 379 0 0 0 7 0 0 0 20 0 15 0 45347139 14422843392 22250 33554432000 4194304 4196468 140733110004688 140396130138096 140396661197442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14211] ppid=14195 vsize=14084808 memory=1008 CPUtime=0.15 cores=0,2,4,6
/proc/14198/task/14211/stat : 14211 (java) S 14195 14198 2672 0 -1 1077944384 445 0 0 0 15 0 0 0 20 0 15 0 45347139 14422843392 22250 33554432000 4194304 4196468 140733110004688 140396129085808 140396661197442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14212] ppid=14195 vsize=14084808 memory=4620 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14212/stat : 14212 (java) S 14195 14198 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45347140 14422843392 22250 33554432000 4194304 4196468 140733110004688 140396128033248 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14213] ppid=14195 vsize=14084808 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14213/stat : 14213 (java) S 14195 14198 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45347140 14422843392 22250 33554432000 4194304 4196468 140733110004688 140396126981040 140396661197442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 89000 KiB

[startup+1.50077 s]
/proc/loadavg: 1.65 1.46 1.37 5/220 14213
/proc/meminfo: memFree=19646992/32770624 swapFree=67108860/67108860
[pid=14198] ppid=14195 vsize=14088904 memory=191900 CPUtime=3.49 cores=0,2,4,6
/proc/14198/stat : 14198 (java) S 14195 14198 2672 0 -1 1077944320 25325 0 0 0 340 9 0 0 20 0 15 0 45347134 14427037696 47975 33554432000 4194304 4196468 140733110004688 140733109987232 140396661186295 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
/proc/14198/statm: 3522226 47975 3551 1 0 3484297 0
[pid=14198/tid=14200] ppid=14195 vsize=14088904 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/14198/task/14200/stat : 14200 (java) R 14195 14198 2672 0 -1 4202560 18107 0 0 0 141 6 0 0 20 0 15 0 45347134 14427037696 47975 33554432000 4194304 4196468 140733110004688 140396665413040 140396661198230 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14201] ppid=14195 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14201/stat : 14201 (java) S 14195 14198 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45347135 14427037696 47975 33554432000 4194304 4196468 140733110004688 140396256553360 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14202] ppid=14195 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14202/stat : 14202 (java) S 14195 14198 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45347135 14427037696 47975 33554432000 4194304 4196468 140733110004688 140396255500560 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14203] ppid=14195 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14203/stat : 14203 (java) S 14195 14198 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45347135 14427037696 47975 33554432000 4194304 4196468 140733110004688 140396254448272 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14204] ppid=14195 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14204/stat : 14204 (java) S 14195 14198 2672 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45347135 14427037696 47975 33554432000 4194304 4196468 140733110004688 140396253395472 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14205] ppid=14195 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14205/stat : 14205 (java) S 14195 14198 2672 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 15 0 45347136 14427037696 47975 33554432000 4194304 4196468 140733110004688 140396135402096 140396661197442 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0

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

/proc/14198/task/14200/stat : 14200 (java) R 14195 14198 2672 0 -1 4202560 57369 0 0 0 223625 55 0 0 20 0 15 0 45347134 14429134848 287538 33554432000 4194304 4196468 140733110004688 140396665424864 140396266857899 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14201] ppid=14195 vsize=14090952 memory=1150152 CPUtime=9.45 cores=0,2,4,6
/proc/14198/task/14201/stat : 14201 (java) S 14195 14198 2672 0 -1 1077944384 8137 0 0 0 859 86 0 0 20 0 15 0 45347135 14429134848 287538 33554432000 4194304 4196468 140733110004688 140396256553360 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14202] ppid=14195 vsize=14090952 memory=1150152 CPUtime=9.38 cores=0,2,4,6
/proc/14198/task/14202/stat : 14202 (java) S 14195 14198 2672 0 -1 1077944384 8081 0 0 0 857 81 0 0 20 0 15 0 45347135 14429134848 287538 33554432000 4194304 4196468 140733110004688 140396255500560 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14203] ppid=14195 vsize=14090952 memory=1150152 CPUtime=9.49 cores=0,2,4,6
/proc/14198/task/14203/stat : 14203 (java) S 14195 14198 2672 0 -1 1077944384 12104 0 0 0 866 83 0 0 20 0 15 0 45347135 14429134848 287538 33554432000 4194304 4196468 140733110004688 140396254448272 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14204] ppid=14195 vsize=14090952 memory=1150152 CPUtime=9.48 cores=0,2,4,6
/proc/14198/task/14204/stat : 14204 (java) S 14195 14198 2672 0 -1 1077944384 12377 0 0 0 869 79 0 0 20 0 15 0 45347135 14429134848 287538 33554432000 4194304 4196468 140733110004688 140396253395472 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14205] ppid=14195 vsize=14090952 memory=1150152 CPUtime=12.31 cores=0,2,4,6
/proc/14198/task/14205/stat : 14205 (java) S 14195 14198 2672 0 -1 1077944384 13564 0 0 0 1149 82 0 0 20 0 15 0 45347136 14429134848 287538 33554432000 4194304 4196468 140733110004688 140396135402096 140396661197442 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14206] ppid=14195 vsize=14090952 memory=1150152 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14206/stat : 14206 (java) S 14195 14198 2672 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 45347137 14429134848 287538 33554432000 4194304 4196468 140733110004688 140396134348128 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14207] ppid=14195 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14207/stat : 14207 (java) S 14195 14198 2672 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 45347137 14429134848 287538 33554432000 4194304 4196468 140733110004688 140396133295744 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14208] ppid=14195 vsize=14090952 memory=61044370192312 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14208/stat : 14208 (java) S 14195 14198 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45347139 14429134848 287538 33554432000 4194304 4196468 140733110004688 140396132244048 140396661204891 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14209] ppid=14195 vsize=14090952 memory=280103406714064 CPUtime=1.49 cores=0,2,4,6
/proc/14198/task/14209/stat : 14209 (java) S 14195 14198 2672 0 -1 1077944384 3590 0 0 0 148 1 0 0 20 0 15 0 45347139 14429134848 287538 33554432000 4194304 4196468 140733110004688 140396131190896 140396661197442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14210] ppid=14195 vsize=14090952 memory=1200 CPUtime=1.46 cores=0,2,4,6
/proc/14198/task/14210/stat : 14210 (java) S 14195 14198 2672 0 -1 1077944384 3826 0 0 0 145 1 0 0 20 0 15 0 45347139 14429134848 287538 33554432000 4194304 4196468 140733110004688 140396130138096 140396661197442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14211] ppid=14195 vsize=14090952 memory=1150152 CPUtime=0.91 cores=0,2,4,6
/proc/14198/task/14211/stat : 14211 (java) S 14195 14198 2672 0 -1 1077944384 6079 0 0 0 89 2 0 0 20 0 15 0 45347139 14429134848 287538 33554432000 4194304 4196468 140733110004688 140396129085808 140396661197442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14212] ppid=14195 vsize=14090952 memory=1150152 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14212/stat : 14212 (java) S 14195 14198 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45347140 14429134848 287538 33554432000 4194304 4196468 140733110004688 140396128033248 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14213] ppid=14195 vsize=14090952 memory=1292 CPUtime=1.36 cores=0,2,4,6
/proc/14198/task/14213/stat : 14213 (java) S 14195 14198 2672 0 -1 1077944384 1208 0 0 0 65 71 0 0 20 0 15 0 45347140 14429134848 287538 33554432000 4194304 4196468 140733110004688 140396126981040 140396661197442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 58 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
Current children cumulated CPU time: 2292.24 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 1150152 KiB

[startup+2322.3 s]
/proc/loadavg: 1.51 1.52 1.46 3/220 14311
/proc/meminfo: memFree=18589928/32770624 swapFree=67108860/67108860
[pid=14198] ppid=14195 vsize=14090952 memory=1150156 CPUtime=2353 cores=0,2,4,6
/proc/14198/stat : 14198 (java) S 14195 14198 2672 0 -1 1077944320 129901 0 0 0 234877 423 0 0 20 0 15 0 45347134 14429134848 287539 33554432000 4194304 4196468 140733110004688 140733109987232 140396661186295 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
/proc/14198/statm: 3522738 287539 3591 1 0 3484809 0
[pid=14198/tid=14200] ppid=14195 vsize=14090952 memory=225674 CPUtime=2296.07 cores=0,2,4,6
/proc/14198/task/14200/stat : 14200 (java) R 14195 14198 2672 0 -1 4202560 58390 0 0 0 229551 56 0 0 20 0 15 0 45347134 14429134848 287539 33554432000 4194304 4196468 140733110004688 140396665424752 140396266652241 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14201] ppid=14195 vsize=14090952 memory=1150156 CPUtime=9.73 cores=0,2,4,6
/proc/14198/task/14201/stat : 14201 (java) S 14195 14198 2672 0 -1 1077944384 8145 0 0 0 885 88 0 0 20 0 15 0 45347135 14429134848 287539 33554432000 4194304 4196468 140733110004688 140396256553360 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14202] ppid=14195 vsize=14090952 memory=1150156 CPUtime=9.66 cores=0,2,4,6
/proc/14198/task/14202/stat : 14202 (java) S 14195 14198 2672 0 -1 1077944384 8644 0 0 0 881 85 0 0 20 0 15 0 45347135 14429134848 287539 33554432000 4194304 4196468 140733110004688 140396255500560 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14203] ppid=14195 vsize=14090952 memory=1150156 CPUtime=9.76 cores=0,2,4,6
/proc/14198/task/14203/stat : 14203 (java) S 14195 14198 2672 0 -1 1077944384 12323 0 0 0 890 86 0 0 20 0 15 0 45347135 14429134848 287539 33554432000 4194304 4196468 140733110004688 140396254448272 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14204] ppid=14195 vsize=14090952 memory=1150156 CPUtime=9.76 cores=0,2,4,6
/proc/14198/task/14204/stat : 14204 (java) S 14195 14198 2672 0 -1 1077944384 12423 0 0 0 895 81 0 0 20 0 15 0 45347135 14429134848 287539 33554432000 4194304 4196468 140733110004688 140396253395472 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14205] ppid=14195 vsize=14090952 memory=1150156 CPUtime=12.68 cores=0,2,4,6
/proc/14198/task/14205/stat : 14205 (java) S 14195 14198 2672 0 -1 1077944384 13824 0 0 0 1183 85 0 0 20 0 15 0 45347136 14429134848 287539 33554432000 4194304 4196468 140733110004688 140396135402096 140396661197442 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14206] ppid=14195 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14206/stat : 14206 (java) S 14195 14198 2672 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 45347137 14429134848 287539 33554432000 4194304 4196468 140733110004688 140396134348128 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14207] ppid=14195 vsize=14090952 memory=1150156 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14207/stat : 14207 (java) S 14195 14198 2672 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 45347137 14429134848 287539 33554432000 4194304 4196468 140733110004688 140396133295744 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14208] ppid=14195 vsize=14090952 memory=1150156 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14208/stat : 14208 (java) S 14195 14198 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45347139 14429134848 287539 33554432000 4194304 4196468 140733110004688 140396132244048 140396661204891 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14209] ppid=14195 vsize=14090952 memory=280103406714064 CPUtime=1.49 cores=0,2,4,6
/proc/14198/task/14209/stat : 14209 (java) S 14195 14198 2672 0 -1 1077944384 3593 0 0 0 148 1 0 0 20 0 15 0 45347139 14429134848 287539 33554432000 4194304 4196468 140733110004688 140396131190896 140396661197442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14210] ppid=14195 vsize=14090952 memory=4132 CPUtime=1.46 cores=0,2,4,6
/proc/14198/task/14210/stat : 14210 (java) S 14195 14198 2672 0 -1 1077944384 3828 0 0 0 145 1 0 0 20 0 15 0 45347139 14429134848 287539 33554432000 4194304 4196468 140733110004688 140396130138096 140396661197442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14211] ppid=14195 vsize=14090952 memory=1150156 CPUtime=0.91 cores=0,2,4,6
/proc/14198/task/14211/stat : 14211 (java) S 14195 14198 2672 0 -1 1077944384 6082 0 0 0 89 2 0 0 20 0 15 0 45347139 14429134848 287539 33554432000 4194304 4196468 140733110004688 140396129085808 140396661197442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14212] ppid=14195 vsize=14090952 memory=1150156 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14212/stat : 14212 (java) S 14195 14198 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45347140 14429134848 287539 33554432000 4194304 4196468 140733110004688 140396128033248 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14213] ppid=14195 vsize=14090952 memory=1150156 CPUtime=1.4 cores=0,2,4,6
/proc/14198/task/14213/stat : 14213 (java) S 14195 14198 2672 0 -1 1077944384 1230 0 0 0 67 73 0 0 20 0 15 0 45347140 14429134848 287539 33554432000 4194304 4196468 140733110004688 140396126981040 140396661197442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 58 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
Current children cumulated CPU time: 2353 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 1150156 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2368.7 s]
/proc/loadavg: 1.78 1.57 1.48 6/221 14390
/proc/meminfo: memFree=17283548/32770624 swapFree=67108860/67108860
[pid=14198] ppid=14195 vsize=14090952 memory=1150164 CPUtime=2400 cores=0,2,4,6
/proc/14198/stat : 14198 (java) S 14195 14198 2672 0 -1 1077944320 131763 0 0 0 239567 433 0 0 20 0 15 0 45347134 14429134848 287541 33554432000 4194304 4196468 140733110004688 140733109987232 140396661186295 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
/proc/14198/statm: 3522738 287541 3591 1 0 3484809 0
[pid=14198/tid=14200] ppid=14195 vsize=14090952 memory=1150164 CPUtime=2341.89 cores=0,2,4,6
/proc/14198/task/14200/stat : 14200 (java) R 14195 14198 2672 0 -1 4202560 59127 0 0 0 234132 57 0 0 20 0 15 0 45347134 14429134848 287541 33554432000 4194304 4196468 140733110004688 140396665424704 140396266858119 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14201] ppid=14195 vsize=14090952 memory=1150164 CPUtime=9.94 cores=0,2,4,6
/proc/14198/task/14201/stat : 14201 (java) S 14195 14198 2672 0 -1 1077944384 8319 0 0 0 905 89 0 0 20 0 15 0 45347135 14429134848 287541 33554432000 4194304 4196468 140733110004688 140396256553360 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14202] ppid=14195 vsize=14090952 memory=1150156 CPUtime=9.87 cores=0,2,4,6
/proc/14198/task/14202/stat : 14202 (java) S 14195 14198 2672 0 -1 1077944384 8692 0 0 0 900 87 0 0 20 0 15 0 45347135 14429134848 287541 33554432000 4194304 4196468 140733110004688 140396255500560 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14203] ppid=14195 vsize=14090952 memory=1150164 CPUtime=9.97 cores=0,2,4,6
/proc/14198/task/14203/stat : 14203 (java) S 14195 14198 2672 0 -1 1077944384 12882 0 0 0 909 88 0 0 20 0 15 0 45347135 14429134848 287541 33554432000 4194304 4196468 140733110004688 140396254448272 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14204] ppid=14195 vsize=14090952 memory=1150164 CPUtime=9.98 cores=0,2,4,6
/proc/14198/task/14204/stat : 14204 (java) S 14195 14198 2672 0 -1 1077944384 12476 0 0 0 915 83 0 0 20 0 15 0 45347135 14429134848 287541 33554432000 4194304 4196468 140733110004688 140396253395472 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14205] ppid=14195 vsize=14090952 memory=1150164 CPUtime=12.96 cores=0,2,4,6
/proc/14198/task/14205/stat : 14205 (java) S 14195 14198 2672 0 -1 1077944384 14091 0 0 0 1210 86 0 0 20 0 15 0 45347136 14429134848 287541 33554432000 4194304 4196468 140733110004688 140396135402096 140396661197442 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14206] ppid=14195 vsize=14090952 memory=1150164 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14206/stat : 14206 (java) S 14195 14198 2672 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 45347137 14429134848 287541 33554432000 4194304 4196468 140733110004688 140396134348128 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14207] ppid=14195 vsize=14090952 memory=1150164 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14207/stat : 14207 (java) S 14195 14198 2672 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 45347137 14429134848 287541 33554432000 4194304 4196468 140733110004688 140396133295744 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14208] ppid=14195 vsize=14090952 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14208/stat : 14208 (java) S 14195 14198 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45347139 14429134848 287541 33554432000 4194304 4196468 140733110004688 140396132244048 140396661204891 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14209] ppid=14195 vsize=14090952 memory=1150164 CPUtime=1.49 cores=0,2,4,6
/proc/14198/task/14209/stat : 14209 (java) S 14195 14198 2672 0 -1 1077944384 3595 0 0 0 148 1 0 0 20 0 15 0 45347139 14429134848 287541 33554432000 4194304 4196468 140733110004688 140396131190896 140396661197442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14210] ppid=14195 vsize=14090952 memory=1150164 CPUtime=1.46 cores=0,2,4,6
/proc/14198/task/14210/stat : 14210 (java) S 14195 14198 2672 0 -1 1077944384 3831 0 0 0 145 1 0 0 20 0 15 0 45347139 14429134848 287541 33554432000 4194304 4196468 140733110004688 140396130138096 140396661197442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14211] ppid=14195 vsize=14090952 memory=1150164 CPUtime=0.91 cores=0,2,4,6
/proc/14198/task/14211/stat : 14211 (java) S 14195 14198 2672 0 -1 1077944384 6085 0 0 0 89 2 0 0 20 0 15 0 45347139 14429134848 287541 33554432000 4194304 4196468 140733110004688 140396129085808 140396661197442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14212] ppid=14195 vsize=14090952 memory=796 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14212/stat : 14212 (java) S 14195 14198 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45347140 14429134848 287541 33554432000 4194304 4196468 140733110004688 140396128033248 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14213] ppid=14195 vsize=14090952 memory=1150164 CPUtime=1.43 cores=0,2,4,6
/proc/14198/task/14213/stat : 14213 (java) S 14195 14198 2672 0 -1 1077944384 1246 0 0 0 68 75 0 0 20 0 15 0 45347140 14429134848 287541 33554432000 4194304 4196468 140733110004688 140396126981040 140396661197442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 58 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 1150164 KiB

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

[startup+2368.73 s]
# the end of solver process 14198 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2395.69 s, system=4.3473 s

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

[startup+2368.7 s]
/proc/loadavg: 1.78 1.57 1.48 6/221 14390
/proc/meminfo: memFree=17283548/32770624 swapFree=67108860/67108860
[pid=14198] ppid=14195 vsize=14090952 memory=1150164 CPUtime=2400 cores=0,2,4,6
/proc/14198/stat : 14198 (java) S 14195 14198 2672 0 -1 1077944320 131763 0 0 0 239567 433 0 0 20 0 15 0 45347134 14429134848 287541 33554432000 4194304 4196468 140733110004688 140733109987232 140396661186295 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
/proc/14198/statm: 3522738 287541 3591 1 0 3484809 0
[pid=14198/tid=14200] ppid=14195 vsize=14090952 memory=1150164 CPUtime=2341.89 cores=0,2,4,6
/proc/14198/task/14200/stat : 14200 (java) R 14195 14198 2672 0 -1 4202560 59127 0 0 0 234132 57 0 0 20 0 15 0 45347134 14429134848 287541 33554432000 4194304 4196468 140733110004688 140396665424704 140396266858119 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14201] ppid=14195 vsize=14090952 memory=1150164 CPUtime=9.94 cores=0,2,4,6
/proc/14198/task/14201/stat : 14201 (java) S 14195 14198 2672 0 -1 1077944384 8319 0 0 0 905 89 0 0 20 0 15 0 45347135 14429134848 287541 33554432000 4194304 4196468 140733110004688 140396256553360 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14202] ppid=14195 vsize=14090952 memory=1150156 CPUtime=9.87 cores=0,2,4,6
/proc/14198/task/14202/stat : 14202 (java) S 14195 14198 2672 0 -1 1077944384 8692 0 0 0 900 87 0 0 20 0 15 0 45347135 14429134848 287541 33554432000 4194304 4196468 140733110004688 140396255500560 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14203] ppid=14195 vsize=14090952 memory=1150164 CPUtime=9.97 cores=0,2,4,6
/proc/14198/task/14203/stat : 14203 (java) S 14195 14198 2672 0 -1 1077944384 12882 0 0 0 909 88 0 0 20 0 15 0 45347135 14429134848 287541 33554432000 4194304 4196468 140733110004688 140396254448272 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14204] ppid=14195 vsize=14090952 memory=1150164 CPUtime=9.98 cores=0,2,4,6
/proc/14198/task/14204/stat : 14204 (java) S 14195 14198 2672 0 -1 1077944384 12476 0 0 0 915 83 0 0 20 0 15 0 45347135 14429134848 287541 33554432000 4194304 4196468 140733110004688 140396253395472 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14205] ppid=14195 vsize=14090952 memory=1150164 CPUtime=12.96 cores=0,2,4,6
/proc/14198/task/14205/stat : 14205 (java) S 14195 14198 2672 0 -1 1077944384 14091 0 0 0 1210 86 0 0 20 0 15 0 45347136 14429134848 287541 33554432000 4194304 4196468 140733110004688 140396135402096 140396661197442 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14206] ppid=14195 vsize=14090952 memory=1150164 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14206/stat : 14206 (java) S 14195 14198 2672 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 45347137 14429134848 287541 33554432000 4194304 4196468 140733110004688 140396134348128 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14207] ppid=14195 vsize=14090952 memory=1150164 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14207/stat : 14207 (java) S 14195 14198 2672 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 45347137 14429134848 287541 33554432000 4194304 4196468 140733110004688 140396133295744 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14208] ppid=14195 vsize=14090952 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14208/stat : 14208 (java) S 14195 14198 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45347139 14429134848 287541 33554432000 4194304 4196468 140733110004688 140396132244048 140396661204891 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14209] ppid=14195 vsize=14090952 memory=1150164 CPUtime=1.49 cores=0,2,4,6
/proc/14198/task/14209/stat : 14209 (java) S 14195 14198 2672 0 -1 1077944384 3595 0 0 0 148 1 0 0 20 0 15 0 45347139 14429134848 287541 33554432000 4194304 4196468 140733110004688 140396131190896 140396661197442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14210] ppid=14195 vsize=14090952 memory=1150164 CPUtime=1.46 cores=0,2,4,6
/proc/14198/task/14210/stat : 14210 (java) S 14195 14198 2672 0 -1 1077944384 3831 0 0 0 145 1 0 0 20 0 15 0 45347139 14429134848 287541 33554432000 4194304 4196468 140733110004688 140396130138096 140396661197442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14211] ppid=14195 vsize=14090952 memory=1150164 CPUtime=0.91 cores=0,2,4,6
/proc/14198/task/14211/stat : 14211 (java) S 14195 14198 2672 0 -1 1077944384 6085 0 0 0 89 2 0 0 20 0 15 0 45347139 14429134848 287541 33554432000 4194304 4196468 140733110004688 140396129085808 140396661197442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14212] ppid=14195 vsize=14090952 memory=796 CPUtime=0 cores=0,2,4,6
/proc/14198/task/14212/stat : 14212 (java) S 14195 14198 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45347140 14429134848 287541 33554432000 4194304 4196468 140733110004688 140396128033248 140396661196501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
[pid=14198/tid=14213] ppid=14195 vsize=14090952 memory=1150164 CPUtime=1.43 cores=0,2,4,6
/proc/14198/task/14213/stat : 14213 (java) S 14195 14198 2672 0 -1 1077944384 1246 0 0 0 68 75 0 0 20 0 15 0 45347140 14429134848 287541 33554432000 4194304 4196468 140733110004688 140396126981040 140396661197442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 58 0 0 6293624 6294260 11087872 140733110006856 140733110007049 140733110007049 140733110009807 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 1150164 KiB

Child status: 143
Real time (s): 2368.73
CPU time (s): 2400.03
CPU user time (s): 2395.69
CPU system time (s): 4.3473
CPU usage (%): 101.322
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 1156120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.69
system time used= 4.3473
maximum resident set size= 1158176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132856
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 373087
involuntary context switches= 8008


# summary of solver processes directly reported to runsolver:
#   pid: 14198
#   total CPU time (s): 2400.03
#   total CPU user time (s): 2395.69
#   total CPU system time (s): 4.3473

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2234 second user time and 22.574 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 4291949

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
