2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
sat4j-CSP 2017-07-05	?		1229.55	343.14301
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 (11880 MiB free)
  memory of node 1: 16384 MiB (15519 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4262933-1502625736/watcher-4262933-1502625736 -o /tmp/evaluation-result-4262933-1502625736/solver-4262933-1502625736 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1502621242-8488 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4262933-1502625736.xml 

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

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


[startup+0.103831 s]*
/proc/loadavg: 4.47 4.51 3.77 4/217 9226
/proc/meminfo: memFree=28037852/32770624 swapFree=67108860/67108860
[pid=9211] ppid=9208 vsize=10555400 memory=31356 CPUtime=0.13 cores=1,3,5,7
/proc/9211/stat : 9211 (java) S 9208 9211 2539 0 -1 1077944320 6372 0 0 0 11 2 0 0 20 0 15 0 95661946 10808729600 7839 33554432000 4194304 4196468 140726619111808 140726619094352 140429888929527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
/proc/9211/statm: 2638850 7839 2819 1 0 2627263 0
[pid=9211/tid=9213] ppid=9208 vsize=10555400 memory=-8196701287824659301 CPUtime=0.09 cores=1,3,5,7
/proc/9211/task/9213/stat : 9213 (java) R 9208 9211 2539 0 -1 4202560 4235 0 0 0 8 1 0 0 20 0 15 0 95661946 10808729600 7839 33554432000 4194304 4196468 140726619111808 140429893162256 140429888951453 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9214] ppid=9208 vsize=10555400 memory=5793855414218664377 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9214/stat : 9214 (java) S 9208 9211 2539 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95661947 10808729600 7839 33554432000 4194304 4196468 140726619111808 140429815003920 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9215] ppid=9208 vsize=10555400 memory=140163208771200 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9215/stat : 9215 (java) S 9208 9211 2539 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95661947 10808729600 7839 33554432000 4194304 4196468 140726619111808 140429813951376 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9216] ppid=9208 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9216/stat : 9216 (java) S 9208 9211 2539 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95661947 10808729600 7839 33554432000 4194304 4196468 140726619111808 140429812898832 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9217] ppid=9208 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9217/stat : 9217 (java) S 9208 9211 2539 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95661947 10808729600 7839 33554432000 4194304 4196468 140726619111808 140429811846288 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9218] ppid=9208 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9218/stat : 9218 (java) S 9208 9211 2539 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95661949 10808729600 7839 33554432000 4194304 4196468 140726619111808 140428992006128 140429888940674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9219] ppid=9208 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9219/stat : 9219 (java) S 9208 9211 2539 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95661949 10808729600 7839 33554432000 4194304 4196468 140726619111808 140428990952352 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9220] ppid=9208 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9220/stat : 9220 (java) S 9208 9211 2539 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95661949 10808729600 7839 33554432000 4194304 4196468 140726619111808 140428787573744 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9221] ppid=9208 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9221/stat : 9221 (java) S 9208 9211 2539 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95661951 10808729600 7839 33554432000 4194304 4196468 140726619111808 140428786522320 140429888948123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9222] ppid=9208 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9222/stat : 9222 (java) S 9208 9211 2539 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 15 0 95661951 10808729600 7839 33554432000 4194304 4196468 140726619111808 140428785469936 140429888940674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9223] ppid=9208 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9223/stat : 9223 (java) S 9208 9211 2539 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95661951 10808729600 7839 33554432000 4194304 4196468 140726619111808 140428784417392 140429888940674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9224] ppid=9208 vsize=10555400 memory=140163208771200 CPUtime=0.02 cores=1,3,5,7
/proc/9211/task/9224/stat : 9224 (java) R 9208 9211 2539 0 -1 4202560 334 0 0 0 2 0 0 0 20 0 15 0 95661951 10808729600 7839 33554432000 4194304 4196468 140726619111808 140428783364848 140429888950874 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9225] ppid=9208 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9225/stat : 9225 (java) S 9208 9211 2539 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95661952 10808729600 7839 33554432000 4194304 4196468 140726619111808 140428782312544 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9226] ppid=9208 vsize=10555400 memory=140163208771200 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9226/stat : 9226 (java) S 9208 9211 2539 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95661952 10808729600 7839 33554432000 4194304 4196468 140726619111808 140428781259056 140429888940674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 31356 KiB

[startup+0.212686 s]*
/proc/loadavg: 4.47 4.51 3.77 5/217 9226
/proc/meminfo: memFree=28029732/32770624 swapFree=67108860/67108860
[pid=9211] ppid=9208 vsize=10555400 memory=39692 CPUtime=0.34 cores=1,3,5,7
/proc/9211/stat : 9211 (java) S 9208 9211 2539 0 -1 1077944320 7530 0 0 0 31 3 0 0 20 0 15 0 95661946 10808729600 9923 33554432000 4194304 4196468 140726619111808 140726619094352 140429888929527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
/proc/9211/statm: 2638850 9923 2997 1 0 2627263 0
[pid=9211/tid=9213] ppid=9208 vsize=10555400 memory=-3103912127665269909 CPUtime=0.19 cores=1,3,5,7
/proc/9211/task/9213/stat : 9213 (java) R 9208 9211 2539 0 -1 4202560 4525 0 0 0 18 1 0 0 20 0 15 0 95661946 10808729600 10501 33554432000 4194304 4196468 140726619111808 140429893165440 140429475480278 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9214] ppid=9208 vsize=10555400 memory=4211973889413561738 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9214/stat : 9214 (java) S 9208 9211 2539 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95661947 10808729600 10501 33554432000 4194304 4196468 140726619111808 140429815003920 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9215] ppid=9208 vsize=10555400 memory=140163208771200 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9215/stat : 9215 (java) S 9208 9211 2539 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95661947 10808729600 10501 33554432000 4194304 4196468 140726619111808 140429813951376 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9216] ppid=9208 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9216/stat : 9216 (java) S 9208 9211 2539 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95661947 10808729600 10501 33554432000 4194304 4196468 140726619111808 140429812898832 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9217] ppid=9208 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9217/stat : 9217 (java) S 9208 9211 2539 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95661947 10808729600 10501 33554432000 4194304 4196468 140726619111808 140429811846288 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9218] ppid=9208 vsize=10555400 memory=140163208771200 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9218/stat : 9218 (java) S 9208 9211 2539 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95661949 10808729600 10501 33554432000 4194304 4196468 140726619111808 140428992006128 140429888940674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9219] ppid=9208 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9219/stat : 9219 (java) S 9208 9211 2539 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95661949 10808729600 10501 33554432000 4194304 4196468 140726619111808 140428990952352 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9220] ppid=9208 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9220/stat : 9220 (java) S 9208 9211 2539 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95661949 10808729600 10501 33554432000 4194304 4196468 140726619111808 140428787573744 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9221] ppid=9208 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9221/stat : 9221 (java) S 9208 9211 2539 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95661951 10808729600 10567 33554432000 4194304 4196468 140726619111808 140428786522320 140429888948123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9222] ppid=9208 vsize=10555400 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9211/task/9222/stat : 9222 (java) R 9208 9211 2539 0 -1 4202560 691 0 0 0 3 0 0 0 20 0 15 0 95661951 10808729600 10567 33554432000 4194304 4196468 140726619111808 140428785458288 140429873326206 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9223] ppid=9208 vsize=10555400 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/9211/task/9223/stat : 9223 (java) R 9208 9211 2539 0 -1 1077944384 187 0 0 0 2 0 0 0 20 0 15 0 95661951 10808729600 10567 33554432000 4194304 4196468 140726619111808 140428784417392 140429888940674 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9224] ppid=9208 vsize=10555400 memory=140163208771200 CPUtime=0.07 cores=1,3,5,7
/proc/9211/task/9224/stat : 9224 (java) R 9208 9211 2539 0 -1 4202560 871 0 0 0 7 0 0 0 20 0 15 0 95661951 10808729600 10567 33554432000 4194304 4196468 140726619111808 140428783360792 140429867890463 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9225] ppid=9208 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9225/stat : 9225 (java) S 9208 9211 2539 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95661952 10808729600 10567 33554432000 4194304 4196468 140726619111808 140428782312544 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9226] ppid=9208 vsize=10555400 memory=140163208771200 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9226/stat : 9226 (java) S 9208 9211 2539 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95661952 10808729600 10567 33554432000 4194304 4196468 140726619111808 140428781259056 140429888940674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 39692 KiB

[startup+0.311166 s]*
/proc/loadavg: 4.47 4.51 3.77 5/217 9226
/proc/meminfo: memFree=28015900/32770624 swapFree=67108860/67108860
[pid=9211] ppid=9208 vsize=10555476 memory=54156 CPUtime=0.66 cores=1,3,5,7
/proc/9211/stat : 9211 (java) S 9208 9211 2539 0 -1 1077944320 9784 0 0 0 63 3 0 0 20 0 15 0 95661946 10808807424 13539 33554432000 4194304 4196468 140726619111808 140726619094352 140429888929527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
/proc/9211/statm: 2638869 13539 3045 1 0 2627263 0
[pid=9211/tid=9213] ppid=9208 vsize=10555476 memory=7377246124687064083 CPUtime=0.3 cores=1,3,5,7
/proc/9211/task/9213/stat : 9213 (java) R 9208 9211 2539 0 -1 4202560 5061 0 0 0 28 2 0 0 20 0 15 0 95661946 10808807424 13539 33554432000 4194304 4196468 140726619111808 140429893161136 140429873010014 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9214] ppid=9208 vsize=10555476 memory=4211973889413561738 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9214/stat : 9214 (java) S 9208 9211 2539 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95661947 10808807424 13539 33554432000 4194304 4196468 140726619111808 140429815003920 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9215] ppid=9208 vsize=10555476 memory=140163208773544 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9215/stat : 9215 (java) S 9208 9211 2539 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95661947 10808807424 13539 33554432000 4194304 4196468 140726619111808 140429813951376 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9216] ppid=9208 vsize=10555476 memory=140163103699963 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9216/stat : 9216 (java) S 9208 9211 2539 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95661947 10808807424 13539 33554432000 4194304 4196468 140726619111808 140429812898832 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9217] ppid=9208 vsize=10555476 memory=140163103706575 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9217/stat : 9217 (java) S 9208 9211 2539 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95661947 10808807424 13539 33554432000 4194304 4196468 140726619111808 140429811846288 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9218] ppid=9208 vsize=10555476 memory=140163208773766 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9218/stat : 9218 (java) S 9208 9211 2539 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 95661949 10808807424 13539 33554432000 4194304 4196468 140726619111808 140428992006128 140429888940674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9219] ppid=9208 vsize=10555476 memory=140163103715759 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9219/stat : 9219 (java) S 9208 9211 2539 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95661949 10808807424 13539 33554432000 4194304 4196468 140726619111808 140428990952352 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9220] ppid=9208 vsize=10555476 memory=280326207422352 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9220/stat : 9220 (java) S 9208 9211 2539 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95661949 10808807424 13539 33554432000 4194304 4196468 140726619111808 140428787573744 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9221] ppid=9208 vsize=10555476 memory=280326207420048 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9221/stat : 9221 (java) S 9208 9211 2539 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95661951 10808807424 13539 33554432000 4194304 4196468 140726619111808 140428786522320 140429888948123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9222] ppid=9208 vsize=10555476 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/9211/task/9222/stat : 9222 (java) S 9208 9211 2539 0 -1 1077944384 1437 0 0 0 11 0 0 0 20 0 15 0 95661951 10808807424 13539 33554432000 4194304 4196468 140726619111808 140428785469936 140429888940674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9223] ppid=9208 vsize=10555476 memory=-1 CPUtime=0.11 cores=1,3,5,7
/proc/9211/task/9223/stat : 9223 (java) R 9208 9211 2539 0 -1 4202560 682 0 0 0 11 0 0 0 20 0 15 0 95661951 10808807424 13539 33554432000 4194304 4196468 140726619111808 140428784416496 140429873851343 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9224] ppid=9208 vsize=10555476 memory=140163208771200 CPUtime=0.12 cores=1,3,5,7
/proc/9211/task/9224/stat : 9224 (java) S 9208 9211 2539 0 -1 1077944384 1244 0 0 0 12 0 0 0 20 0 15 0 95661951 10808807424 13539 33554432000 4194304 4196468 140726619111808 140428783364848 140429888940674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9225] ppid=9208 vsize=10555476 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9225/stat : 9225 (java) S 9208 9211 2539 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95661952 10808807424 13539 33554432000 4194304 4196468 140726619111808 140428782312544 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9226] ppid=9208 vsize=10555476 memory=140163208771200 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9226/stat : 9226 (java) S 9208 9211 2539 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95661952 10808807424 13539 33554432000 4194304 4196468 140726619111808 140428781259056 140429888940674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 54156 KiB

[startup+0.703557 s]
/proc/loadavg: 4.47 4.51 3.77 5/217 9226
/proc/meminfo: memFree=27986052/32770624 swapFree=67108860/67108860
[pid=9211] ppid=9208 vsize=10555476 memory=129844 CPUtime=1.82 cores=1,3,5,7
/proc/9211/stat : 9211 (java) S 9208 9211 2539 0 -1 1077944320 11311 0 0 0 177 5 0 0 20 0 15 0 95661946 10808807424 32461 33554432000 4194304 4196468 140726619111808 140726619094352 140429888929527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
/proc/9211/statm: 2638869 32461 3091 1 0 2627263 0
[pid=9211/tid=9213] ppid=9208 vsize=10555476 memory=1424 CPUtime=0.67 cores=1,3,5,7
/proc/9211/task/9213/stat : 9213 (java) R 9208 9211 2539 0 -1 4202560 5479 0 0 0 64 3 0 0 20 0 15 0 95661946 10808807424 32461 33554432000 4194304 4196468 140726619111808 140429893160160 140429479118855 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9214] ppid=9208 vsize=10555476 memory=8560 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9214/stat : 9214 (java) S 9208 9211 2539 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95661947 10808807424 32461 33554432000 4194304 4196468 140726619111808 140429815003920 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9215] ppid=9208 vsize=10555476 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9215/stat : 9215 (java) S 9208 9211 2539 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95661947 10808807424 32461 33554432000 4194304 4196468 140726619111808 140429813951376 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9216] ppid=9208 vsize=10555476 memory=7518026621751089000 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9216/stat : 9216 (java) S 9208 9211 2539 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95661947 10808807424 32461 33554432000 4194304 4196468 140726619111808 140429812898832 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9217] ppid=9208 vsize=10555476 memory=7667212701838435409 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9217/stat : 9217 (java) S 9208 9211 2539 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95661947 10808807424 32461 33554432000 4194304 4196468 140726619111808 140429811846288 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9218] ppid=9208 vsize=10555476 memory=6293050847276651881 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9218/stat : 9218 (java) S 9208 9211 2539 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 95661949 10808807424 32461 33554432000 4194304 4196468 140726619111808 140428992006128 140429888940674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9219] ppid=9208 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9219/stat : 9219 (java) S 9208 9211 2539 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95661949 10808807424 32461 33554432000 4194304 4196468 140726619111808 140428990952352 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9220] ppid=9208 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9220/stat : 9220 (java) S 9208 9211 2539 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95661949 10808807424 32461 33554432000 4194304 4196468 140726619111808 140428787573744 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9221] ppid=9208 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9221/stat : 9221 (java) S 9208 9211 2539 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95661951 10808807424 32461 33554432000 4194304 4196468 140726619111808 140428786522320 140429888948123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9222] ppid=9208 vsize=10555476 memory=49 CPUtime=0.42 cores=1,3,5,7
/proc/9211/task/9222/stat : 9222 (java) R 9208 9211 2539 0 -1 4202560 1737 0 0 0 42 0 0 0 20 0 15 0 95661951 10808807424 32461 33554432000 4194304 4196468 140726619111808 140428785469936 140429870452427 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9223] ppid=9208 vsize=10555476 memory=3 CPUtime=0.41 cores=1,3,5,7
/proc/9211/task/9223/stat : 9223 (java) S 9208 9211 2539 0 -1 1077944384 1166 0 0 0 41 0 0 0 20 0 15 0 95661951 10808807424 32461 33554432000 4194304 4196468 140726619111808 140428784417392 140429888940674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9224] ppid=9208 vsize=10555476 memory=5169 CPUtime=0.28 cores=1,3,5,7
/proc/9211/task/9224/stat : 9224 (java) S 9208 9211 2539 0 -1 1077944384 1559 0 0 0 28 0 0 0 20 0 15 0 95661951 10808807424 32461 33554432000 4194304 4196468 140726619111808 140428783364848 140429888940674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9225] ppid=9208 vsize=10555476 memory=280326207606256 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9225/stat : 9225 (java) S 9208 9211 2539 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95661952 10808807424 32461 33554432000 4194304 4196468 140726619111808 140428782312544 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9226] ppid=9208 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9226/stat : 9226 (java) S 9208 9211 2539 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95661952 10808807424 32461 33554432000 4194304 4196468 140726619111808 140428781259056 140429888940674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
Current children cumulated CPU time: 1.82 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 129844 KiB

[startup+1.50116 s]
/proc/loadavg: 4.47 4.51 3.77 5/217 9226
/proc/meminfo: memFree=27859080/32770624 swapFree=67108860/67108860
[pid=9211] ppid=9208 vsize=10555476 memory=453436 CPUtime=3.69 cores=1,3,5,7
/proc/9211/stat : 9211 (java) S 9208 9211 2539 0 -1 1077944320 12279 0 0 0 340 29 0 0 20 0 15 0 95661946 10808807424 113359 33554432000 4194304 4196468 140726619111808 140726619094352 140429888929527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
/proc/9211/statm: 2638869 113359 3120 1 0 2627263 0
[pid=9211/tid=9213] ppid=9208 vsize=10555476 memory=0 CPUtime=1.27 cores=1,3,5,7
/proc/9211/task/9213/stat : 9213 (java) S 9208 9211 2539 0 -1 1077944384 5615 0 0 0 122 5 0 0 20 0 15 0 95661946 10808807424 113359 33554432000 4194304 4196468 140726619111808 140429893160544 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9214] ppid=9208 vsize=10555476 memory=-6079718012894977833 CPUtime=0.17 cores=1,3,5,7
/proc/9211/task/9214/stat : 9214 (java) R 9208 9211 2539 0 -1 4202560 151 0 0 0 12 5 0 0 20 0 15 0 95661947 10808807424 113359 33554432000 4194304 4196468 140726619111808 140429815004120 140429873957401 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9215] ppid=9208 vsize=10555476 memory=9050718597761761453 CPUtime=0.18 cores=1,3,5,7
/proc/9211/task/9215/stat : 9215 (java) R 9208 9211 2539 0 -1 4202560 178 0 0 0 13 5 0 0 20 0 15 0 95661947 10808807424 113359 33554432000 4194304 4196468 140726619111808 140429813951376 140429882029227 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9216] ppid=9208 vsize=10555476 memory=-6305717200088163456 CPUtime=0.18 cores=1,3,5,7
/proc/9211/task/9216/stat : 9216 (java) R 9208 9211 2539 0 -1 4202560 185 0 0 0 13 5 0 0 20 0 15 0 95661947 10808807424 113359 33554432000 4194304 4196468 140726619111808 140429812898832 140429873957401 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9217] ppid=9208 vsize=10555476 memory=4946531957831211648 CPUtime=0.17 cores=1,3,5,7
/proc/9211/task/9217/stat : 9217 (java) R 9208 9211 2539 0 -1 4202560 147 0 0 0 12 5 0 0 20 0 15 0 95661947 10808807424 113359 33554432000 4194304 4196468 140726619111808 140429811846288 140429873957401 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9218] ppid=9208 vsize=10555476 memory=-2897801490638248215 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9218/stat : 9218 (java) S 9208 9211 2539 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 95661949 10808807424 113359 33554432000 4194304 4196468 140726619111808 140428992004640 140429888939733 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0

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

/proc/9211/task/9221/stat : 9221 (java) S 9208 9211 2539 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95661951 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428786522320 140429888948123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9222] ppid=9208 vsize=10690804 memory=8211748 CPUtime=0.73 cores=1,3,5,7
/proc/9211/task/9222/stat : 9222 (java) S 9208 9211 2539 0 -1 1077944384 2914 0 0 0 73 0 0 0 20 0 17 0 95661951 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428785469984 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9223] ppid=9208 vsize=10690804 memory=8211748 CPUtime=0.75 cores=1,3,5,7
/proc/9211/task/9223/stat : 9223 (java) S 9208 9211 2539 0 -1 1077944384 2115 0 0 0 75 0 0 0 20 0 17 0 95661951 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428784417152 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9224] ppid=9208 vsize=10690804 memory=8211748 CPUtime=0.39 cores=1,3,5,7
/proc/9211/task/9224/stat : 9224 (java) S 9208 9211 2539 0 -1 1077944384 3548 0 0 0 39 0 0 0 20 0 17 0 95661951 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428783360720 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9225] ppid=9208 vsize=10690804 memory=261 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9225/stat : 9225 (java) S 9208 9211 2539 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95661952 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428782312544 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9226] ppid=9208 vsize=10690804 memory=8211748 CPUtime=0.28 cores=1,3,5,7
/proc/9211/task/9226/stat : 9226 (java) S 9208 9211 2539 0 -1 1077944384 568 0 0 0 11 17 0 0 20 0 17 0 95661952 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428781259056 140429888940674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9240] ppid=9208 vsize=10690804 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9240/stat : 9240 (java) S 9208 9211 2539 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 17 0 95694341 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428778106032 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9241] ppid=9208 vsize=10690804 memory=27564 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9241/stat : 9241 (java) S 9208 9211 2539 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 95694341 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428777054256 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
Current children cumulated CPU time: 1228.7 s
Current children cumulated vsize: 10690804 KiB
Current children cumulated memory: 8211748 KiB

[startup+343.143 s]
# the end of solver process 9211 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1223.49 s, system=6.06123 s

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

[startup+342.401 s]
/proc/loadavg: 4.39 4.45 3.96 6/219 9241
/proc/meminfo: memFree=19344712/32770624 swapFree=67108860/67108860
[pid=9211] ppid=9208 vsize=10690804 memory=8211748 CPUtime=1228.8 cores=1,3,5,7
/proc/9211/stat : 9211 (java) S 9208 9211 2539 0 -1 1077944320 165098 0 0 0 122278 602 0 0 20 0 17 0 95661946 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140726619094352 140429888929527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
/proc/9211/statm: 2672701 2052937 3186 1 0 2661057 0
[pid=9211/tid=9213] ppid=9208 vsize=10690804 memory=8211748 CPUtime=13.87 cores=1,3,5,7
/proc/9211/task/9213/stat : 9213 (java) S 9208 9211 2539 0 -1 1077944384 13151 0 0 0 1377 10 0 0 20 0 17 0 95661946 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140429893170208 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9214] ppid=9208 vsize=10690804 memory=8211748 CPUtime=295.43 cores=1,3,5,7
/proc/9211/task/9214/stat : 9214 (java) S 9208 9211 2539 0 -1 1077944384 19462 0 0 0 29391 152 0 0 20 0 17 0 95661947 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140429815003920 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9215] ppid=9208 vsize=10690804 memory=27564 CPUtime=295.77 cores=1,3,5,7
/proc/9211/task/9215/stat : 9215 (java) S 9208 9211 2539 0 -1 1077944384 22385 0 0 0 29422 155 0 0 20 0 17 0 95661947 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140429813951376 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9216] ppid=9208 vsize=10690804 memory=1296 CPUtime=295.8 cores=1,3,5,7
/proc/9211/task/9216/stat : 9216 (java) S 9208 9211 2539 0 -1 1077944384 21830 0 0 0 29448 132 0 0 20 0 17 0 95661947 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140429812898832 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9217] ppid=9208 vsize=10690804 memory=8211748 CPUtime=295.92 cores=1,3,5,7
/proc/9211/task/9217/stat : 9217 (java) S 9208 9211 2539 0 -1 1077944384 19279 0 0 0 29451 141 0 0 20 0 17 0 95661947 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140429811846288 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9218] ppid=9208 vsize=10690804 memory=4136 CPUtime=29.78 cores=1,3,5,7
/proc/9211/task/9218/stat : 9218 (java) R 9208 9211 2539 0 -1 4202560 58439 0 0 0 2973 5 0 0 20 0 17 0 95661949 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428992004672 140429873925951 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9219] ppid=9208 vsize=10690804 memory=4051732 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9219/stat : 9219 (java) S 9208 9211 2539 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 17 0 95661949 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428990952320 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9220] ppid=9208 vsize=10690804 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9220/stat : 9220 (java) S 9208 9211 2539 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 95661949 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428787573760 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9221] ppid=9208 vsize=10690804 memory=3104 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9221/stat : 9221 (java) S 9208 9211 2539 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95661951 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428786522320 140429888948123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9222] ppid=9208 vsize=10690804 memory=1387 CPUtime=0.73 cores=1,3,5,7
/proc/9211/task/9222/stat : 9222 (java) S 9208 9211 2539 0 -1 1077944384 2914 0 0 0 73 0 0 0 20 0 17 0 95661951 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428785469984 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9223] ppid=9208 vsize=10690804 memory=28866 CPUtime=0.75 cores=1,3,5,7
/proc/9211/task/9223/stat : 9223 (java) S 9208 9211 2539 0 -1 1077944384 2115 0 0 0 75 0 0 0 20 0 17 0 95661951 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428784417152 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9224] ppid=9208 vsize=10690804 memory=28907 CPUtime=0.39 cores=1,3,5,7
/proc/9211/task/9224/stat : 9224 (java) S 9208 9211 2539 0 -1 1077944384 3548 0 0 0 39 0 0 0 20 0 17 0 95661951 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428783360720 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9225] ppid=9208 vsize=10690804 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9225/stat : 9225 (java) S 9208 9211 2539 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95661952 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428782312544 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9226] ppid=9208 vsize=10690804 memory=5672 CPUtime=0.28 cores=1,3,5,7
/proc/9211/task/9226/stat : 9226 (java) S 9208 9211 2539 0 -1 1077944384 568 0 0 0 11 17 0 0 20 0 17 0 95661952 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428781259056 140429888940674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9240] ppid=9208 vsize=10690804 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9240/stat : 9240 (java) S 9208 9211 2539 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 17 0 95694341 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428778106032 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9241] ppid=9208 vsize=10690804 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9241/stat : 9241 (java) S 9208 9211 2539 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 95694341 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428777054256 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
Current children cumulated CPU time: 1228.8 s
Current children cumulated vsize: 10690804 KiB
Current children cumulated memory: 8211748 KiB

[startup+342.801 s]
/proc/loadavg: 4.39 4.45 3.96 6/219 9241
/proc/meminfo: memFree=19344712/32770624 swapFree=67108860/67108860
[pid=9211] ppid=9208 vsize=10690804 memory=8211748 CPUtime=1229.2 cores=1,3,5,7
/proc/9211/stat : 9211 (java) S 9208 9211 2539 0 -1 1077944320 165098 0 0 0 122318 602 0 0 20 0 17 0 95661946 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140726619094352 140429888929527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
/proc/9211/statm: 2672701 2052937 3186 1 0 2661057 0
[pid=9211/tid=9213] ppid=9208 vsize=10690804 memory=1200 CPUtime=13.87 cores=1,3,5,7
/proc/9211/task/9213/stat : 9213 (java) S 9208 9211 2539 0 -1 1077944384 13151 0 0 0 1377 10 0 0 20 0 17 0 95661946 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140429893170208 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9214] ppid=9208 vsize=10690804 memory=15876 CPUtime=295.43 cores=1,3,5,7
/proc/9211/task/9214/stat : 9214 (java) S 9208 9211 2539 0 -1 1077944384 19462 0 0 0 29391 152 0 0 20 0 17 0 95661947 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140429815003920 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9215] ppid=9208 vsize=10690804 memory=16236 CPUtime=295.77 cores=1,3,5,7
/proc/9211/task/9215/stat : 9215 (java) S 9208 9211 2539 0 -1 1077944384 22385 0 0 0 29422 155 0 0 20 0 17 0 95661947 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140429813951376 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9216] ppid=9208 vsize=10690804 memory=4044 CPUtime=295.8 cores=1,3,5,7
/proc/9211/task/9216/stat : 9216 (java) S 9208 9211 2539 0 -1 1077944384 21830 0 0 0 29448 132 0 0 20 0 17 0 95661947 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140429812898832 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9217] ppid=9208 vsize=10690804 memory=8211748 CPUtime=295.92 cores=1,3,5,7
/proc/9211/task/9217/stat : 9217 (java) S 9208 9211 2539 0 -1 1077944384 19279 0 0 0 29451 141 0 0 20 0 17 0 95661947 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140429811846288 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9218] ppid=9208 vsize=10690804 memory=1424 CPUtime=30.18 cores=1,3,5,7
/proc/9211/task/9218/stat : 9218 (java) R 9208 9211 2539 0 -1 4202560 58439 0 0 0 3013 5 0 0 20 0 17 0 95661949 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428992004672 140429873387130 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9219] ppid=9208 vsize=10690804 memory=8560 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9219/stat : 9219 (java) S 9208 9211 2539 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 17 0 95661949 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428990952320 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9220] ppid=9208 vsize=10690804 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9220/stat : 9220 (java) S 9208 9211 2539 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 95661949 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428787573760 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9221] ppid=9208 vsize=10690804 memory=11000 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9221/stat : 9221 (java) S 9208 9211 2539 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95661951 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428786522320 140429888948123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9222] ppid=9208 vsize=10690804 memory=1224 CPUtime=0.73 cores=1,3,5,7
/proc/9211/task/9222/stat : 9222 (java) S 9208 9211 2539 0 -1 1077944384 2914 0 0 0 73 0 0 0 20 0 17 0 95661951 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428785469984 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9223] ppid=9208 vsize=10690804 memory=16204 CPUtime=0.75 cores=1,3,5,7
/proc/9211/task/9223/stat : 9223 (java) S 9208 9211 2539 0 -1 1077944384 2115 0 0 0 75 0 0 0 20 0 17 0 95661951 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428784417152 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9224] ppid=9208 vsize=10690804 memory=1232 CPUtime=0.39 cores=1,3,5,7
/proc/9211/task/9224/stat : 9224 (java) S 9208 9211 2539 0 -1 1077944384 3548 0 0 0 39 0 0 0 20 0 17 0 95661951 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428783360720 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9225] ppid=9208 vsize=10690804 memory=648 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9225/stat : 9225 (java) S 9208 9211 2539 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95661952 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428782312544 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9226] ppid=9208 vsize=10690804 memory=1796 CPUtime=0.28 cores=1,3,5,7
/proc/9211/task/9226/stat : 9226 (java) S 9208 9211 2539 0 -1 1077944384 568 0 0 0 11 17 0 0 20 0 17 0 95661952 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428781259056 140429888940674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9240] ppid=9208 vsize=10690804 memory=956 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9240/stat : 9240 (java) S 9208 9211 2539 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 17 0 95694341 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428778106032 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9241] ppid=9208 vsize=10690804 memory=2344 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9241/stat : 9241 (java) S 9208 9211 2539 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 95694341 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428777054256 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
Current children cumulated CPU time: 1229.2 s
Current children cumulated vsize: 10690804 KiB
Current children cumulated memory: 8211748 KiB

[startup+343.001 s]*
/proc/loadavg: 4.39 4.45 3.96 3/219 9241
/proc/meminfo: memFree=19344712/32770624 swapFree=67108860/67108860
[pid=9211] ppid=9208 vsize=10690804 memory=8211748 CPUtime=1229.41 cores=1,3,5,7
/proc/9211/stat : 9211 (java) S 9208 9211 2539 0 -1 1077944320 165098 0 0 0 122339 602 0 0 20 0 17 0 95661946 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140726619094352 140429888929527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
/proc/9211/statm: 2672701 2052937 3186 1 0 2661057 0
[pid=9211/tid=9213] ppid=9208 vsize=10690804 memory=8112282956445269571 CPUtime=13.87 cores=1,3,5,7
/proc/9211/task/9213/stat : 9213 (java) S 9208 9211 2539 0 -1 1077944384 13151 0 0 0 1377 10 0 0 20 0 17 0 95661946 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140429893170208 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9214] ppid=9208 vsize=10690804 memory=4126316290023845779 CPUtime=295.43 cores=1,3,5,7
/proc/9211/task/9214/stat : 9214 (java) S 9208 9211 2539 0 -1 1077944384 19462 0 0 0 29391 152 0 0 20 0 17 0 95661947 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140429815003920 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9215] ppid=9208 vsize=10690804 memory=288230621803970871 CPUtime=295.77 cores=1,3,5,7
/proc/9211/task/9215/stat : 9215 (java) S 9208 9211 2539 0 -1 1077944384 22385 0 0 0 29422 155 0 0 20 0 17 0 95661947 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140429813951376 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9216] ppid=9208 vsize=10690804 memory=16097070113098297 CPUtime=295.8 cores=1,3,5,7
/proc/9211/task/9216/stat : 9216 (java) S 9208 9211 2539 0 -1 1077944384 21830 0 0 0 29448 132 0 0 20 0 17 0 95661947 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140429812898832 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9217] ppid=9208 vsize=10690804 memory=2404 CPUtime=295.92 cores=1,3,5,7
/proc/9211/task/9217/stat : 9217 (java) S 9208 9211 2539 0 -1 1077944384 19279 0 0 0 29451 141 0 0 20 0 17 0 95661947 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140429811846288 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9218] ppid=9208 vsize=10690804 memory=1732 CPUtime=30.39 cores=1,3,5,7
/proc/9211/task/9218/stat : 9218 (java) R 9208 9211 2539 0 -1 4202560 58439 0 0 0 3034 5 0 0 20 0 17 0 95661949 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428992004672 140429873926036 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9219] ppid=9208 vsize=10690804 memory=796 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9219/stat : 9219 (java) S 9208 9211 2539 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 17 0 95661949 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428990952320 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9220] ppid=9208 vsize=10690804 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9220/stat : 9220 (java) S 9208 9211 2539 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 95661949 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428787573760 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9221] ppid=9208 vsize=10690804 memory=1932 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9221/stat : 9221 (java) S 9208 9211 2539 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95661951 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428786522320 140429888948123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9222] ppid=9208 vsize=10690804 memory=1424 CPUtime=0.73 cores=1,3,5,7
/proc/9211/task/9222/stat : 9222 (java) S 9208 9211 2539 0 -1 1077944384 2914 0 0 0 73 0 0 0 20 0 17 0 95661951 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428785469984 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9223] ppid=9208 vsize=10690804 memory=8560 CPUtime=0.75 cores=1,3,5,7
/proc/9211/task/9223/stat : 9223 (java) S 9208 9211 2539 0 -1 1077944384 2115 0 0 0 75 0 0 0 20 0 17 0 95661951 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428784417152 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9224] ppid=9208 vsize=10690804 memory=1724 CPUtime=0.39 cores=1,3,5,7
/proc/9211/task/9224/stat : 9224 (java) S 9208 9211 2539 0 -1 1077944384 3548 0 0 0 39 0 0 0 20 0 17 0 95661951 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428783360720 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9225] ppid=9208 vsize=10690804 memory=11000 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9225/stat : 9225 (java) S 9208 9211 2539 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95661952 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428782312544 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9226] ppid=9208 vsize=10690804 memory=1224 CPUtime=0.28 cores=1,3,5,7
/proc/9211/task/9226/stat : 9226 (java) S 9208 9211 2539 0 -1 1077944384 568 0 0 0 11 17 0 0 20 0 17 0 95661952 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428781259056 140429888940674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9240] ppid=9208 vsize=10690804 memory=5672 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9240/stat : 9240 (java) S 9208 9211 2539 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 17 0 95694341 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428778106032 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
[pid=9211/tid=9241] ppid=9208 vsize=10690804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9211/task/9241/stat : 9241 (java) S 9208 9211 2539 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 95694341 10947383296 2052937 33554432000 4194304 4196468 140726619111808 140428777054256 140429888939733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25550848 140726619120774 140726619120927 140726619120927 140726619123663 0
Current children cumulated CPU time: 1229.41 s
Current children cumulated vsize: 10690804 KiB
Current children cumulated memory: 8211748 KiB

[startup+343.11 s]*
/proc/loadavg: 4.39 4.45 3.96 3/204 9241
/proc/meminfo: memFree=19971836/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 343.143
CPU time (s): 1229.55
CPU user time (s): 1223.49
CPU system time (s): 6.06123
CPU usage (%): 358.32
Max. virtual memory (cumulated for all children) (KiB): 10690804
Max. memory (cumulated for all children) (KiB): 8211748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1223.49
system time used= 6.06123
maximum resident set size= 8212052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165210
page faults= 0
swaps= 0
block input operations= 0
block output operations= 496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16738
involuntary context switches= 12579


# summary of solver processes directly reported to runsolver:
#   pid: 9211
#   total CPU time (s): 1229.55
#   total CPU user time (s): 1223.49
#   total CPU system time (s): 6.06123

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.06284 second user time and 3.48368 second system time

The end
Name	GolombRuler/GolombRuler-a4-s1/ GolombRuler-17-a4.xml
MD5SUM	1654769b6737315210eb217040901c4e
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	230
Best CPU time to get the best result obtained on this benchmark	2400.04
Satisfiable
(Un)Satisfiability was proved
Number of variables	17
Number of constraints	8502
Number of domains	1
Minimum domain size	501
Maximum domain size	501
Distribution of domain sizes	[{"size":501,"count":17}]
Minimum variable degree	1921
Maximum variable degree	1922
Distribution of variable degrees	[{"degree":1921,"count":15},{"degree":1922,"count":2}]
Minimum constraint arity	1
Maximum constraint arity	17
Distribution of constraint arities	[{"arity":1,"count":1},{"arity":3,"count":1360},{"arity":4,"count":7140},{"arity":17,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	8501
Distribution of constraint types	[{"type":"intension","count":8501},{"type":"ordered","count":1}]
Optimization problem	YES
Type of objective	min VAR
Trace number 4262933

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
