0.29/0.26 c version: 2017-08-22
0.29/0.26 c seed: 2096108999
0.29/0.26 c timeout: 20160
0.29/0.26 c memlimit: 22000
0.29/0.26 c nbcore: 8
0.29/0.28 c Parsing instance...
0.84/0.53 c Parsing done, starting search...
14.57/3.39 s UNSATISFIABLE
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 (11312 MiB free)
memory of node 1: 16384 MiB (9746 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285483-1503434458/watcher-4285483-1503434458 -o /tmp/evaluation-result-4285483-1503434458/solver-4285483-1503434458 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503425971-8741 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 2096108999 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285483-1503434458.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9912, runsolver pid=9909
[startup+0.100139 s]*
/proc/loadavg: 5.61 2.17 1.49 3/198 9932
/proc/meminfo: memFree=21549628/32770624 swapFree=67108860/67108860
[pid=9912] ppid=9909 vsize=26000852 memory=31888 CPUtime=0.12 cores=0-7
/proc/9912/stat : 9912 (java) S 9909 9912 8714 0 -1 1077944320 8373 0 0 0 10 2 0 0 20 0 20 0 176533594 26624872448 7972 33554432000 4194304 4196468 140725895938144 140725895920688 139850888638199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
/proc/9912/statm: 6500213 7972 3411 1 0 6487932 0
[pid=9912/tid=9914] ppid=9909 vsize=26000852 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/9912/task/9914/stat : 9914 (java) R 9909 9912 8714 0 -1 4202560 6312 0 0 0 7 1 0 0 20 0 20 0 176533595 26624872448 7980 33554432000 4194304 4196468 140725895938144 139850892854880 139850888660125 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9915] ppid=9909 vsize=26000852 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/9912/task/9915/stat : 9915 (java) S 9909 9912 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176533596 26624872448 7980 33554432000 4194304 4196468 140725895938144 139850847399056 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9916] ppid=9909 vsize=26000852 memory=140557601007232 CPUtime=0 cores=0-7
/proc/9912/task/9916/stat : 9916 (java) S 9909 9912 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176533596 26624872448 7980 33554432000 4194304 4196468 140725895938144 139850446031888 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9917] ppid=9909 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9917/stat : 9917 (java) S 9909 9912 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176533596 26624872448 7980 33554432000 4194304 4196468 140725895938144 139850444979088 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9918] ppid=9909 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9918/stat : 9918 (java) S 9909 9912 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176533596 26624872448 7980 33554432000 4194304 4196468 140725895938144 139850443926288 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9919] ppid=9909 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9919/stat : 9919 (java) S 9909 9912 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176533596 26624872448 7980 33554432000 4194304 4196468 140725895938144 139850442873488 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9920] ppid=9909 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/9912/task/9920/stat : 9920 (java) S 9909 9912 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176533596 26624872448 7980 33554432000 4194304 4196468 140725895938144 139850441820688 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9921] ppid=9909 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9921/stat : 9921 (java) S 9909 9912 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176533596 26624872448 7980 33554432000 4194304 4196468 140725895938144 139850440767888 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9922] ppid=9909 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9922/stat : 9922 (java) S 9909 9912 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176533596 26624872448 7980 33554432000 4194304 4196468 140725895938144 139850439715088 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9923] ppid=9909 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9923/stat : 9923 (java) S 9909 9912 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176533597 26624872448 7980 33554432000 4194304 4196468 140725895938144 139849094892400 139850888649346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9924] ppid=9909 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9924/stat : 9924 (java) S 9909 9912 8714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176533598 26624872448 7980 33554432000 4194304 4196468 140725895938144 139849093838368 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9925] ppid=9909 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9925/stat : 9925 (java) S 9909 9912 8714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176533598 26624872448 7980 33554432000 4194304 4196468 140725895938144 139849092785520 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9926] ppid=9909 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9926/stat : 9926 (java) S 9909 9912 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176533600 26624872448 7980 33554432000 4194304 4196468 140725895938144 139849091733840 139850888656795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9927] ppid=9909 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9927/stat : 9927 (java) S 9909 9912 8714 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 176533600 26624872448 7980 33554432000 4194304 4196468 140725895938144 139849090681200 139850888649346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9928] ppid=9909 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9928/stat : 9928 (java) S 9909 9912 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176533600 26624872448 7980 33554432000 4194304 4196468 140725895938144 139849089628400 139850888649346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9929] ppid=9909 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9929/stat : 9929 (java) S 9909 9912 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176533600 26624872448 7980 33554432000 4194304 4196468 140725895938144 139849088575600 139850888649346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9930] ppid=9909 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/9912/task/9930/stat : 9930 (java) R 9909 9912 8714 0 -1 4202560 372 0 0 0 1 0 0 0 20 0 20 0 176533600 26624872448 7980 33554432000 4194304 4196468 140725895938144 139849087522800 139850867440460 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9931] ppid=9909 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9931/stat : 9931 (java) S 9909 9912 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176533601 26624872448 7980 33554432000 4194304 4196468 140725895938144 139849086471264 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9932] ppid=9909 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/9912/task/9932/stat : 9932 (java) S 9909 9912 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176533601 26624872448 7980 33554432000 4194304 4196468 140725895938144 139849085418544 139850888649346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 31888 KiB
[startup+0.210038 s]*
/proc/loadavg: 5.61 2.17 1.49 2/198 9932
/proc/meminfo: memFree=21540788/32770624 swapFree=67108860/67108860
[pid=9912] ppid=9909 vsize=26000852 memory=41092 CPUtime=0.29 cores=0-7
/proc/9912/stat : 9912 (java) S 9909 9912 8714 0 -1 1077944320 9386 0 0 0 27 2 0 0 20 0 20 0 176533594 26624872448 10273 33554432000 4194304 4196468 140725895938144 140725895920688 139850888638199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
/proc/9912/statm: 6500213 10273 3628 1 0 6487932 0
[pid=9912/tid=9914] ppid=9909 vsize=26000852 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/9912/task/9914/stat : 9914 (java) R 9909 9912 8714 0 -1 4202560 6946 0 0 0 18 1 0 0 20 0 20 0 176533595 26624872448 10273 33554432000 4194304 4196468 140725895938144 139850892861504 139850888660125 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9915] ppid=9909 vsize=26000852 memory=12768 CPUtime=0 cores=0-7
/proc/9912/task/9915/stat : 9915 (java) S 9909 9912 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176533596 26624872448 10273 33554432000 4194304 4196468 140725895938144 139850847399056 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9916] ppid=9909 vsize=26000852 memory=140557601016230 CPUtime=0 cores=0-7
/proc/9912/task/9916/stat : 9916 (java) S 9909 9912 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176533596 26624872448 10273 33554432000 4194304 4196468 140725895938144 139850446031888 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9917] ppid=9909 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/9912/task/9917/stat : 9917 (java) S 9909 9912 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176533596 26624872448 10273 33554432000 4194304 4196468 140725895938144 139850444979088 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9918] ppid=9909 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9918/stat : 9918 (java) S 9909 9912 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176533596 26624872448 10273 33554432000 4194304 4196468 140725895938144 139850443926288 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9919] ppid=9909 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9919/stat : 9919 (java) S 9909 9912 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176533596 26624872448 10273 33554432000 4194304 4196468 140725895938144 139850442873488 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9920] ppid=9909 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/9912/task/9920/stat : 9920 (java) S 9909 9912 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176533596 26624872448 10273 33554432000 4194304 4196468 140725895938144 139850441820688 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9921] ppid=9909 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9921/stat : 9921 (java) S 9909 9912 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176533596 26624872448 10273 33554432000 4194304 4196468 140725895938144 139850440767888 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9922] ppid=9909 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9922/stat : 9922 (java) S 9909 9912 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176533596 26624872448 10273 33554432000 4194304 4196468 140725895938144 139850439715088 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9923] ppid=9909 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9923/stat : 9923 (java) S 9909 9912 8714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176533597 26624872448 10273 33554432000 4194304 4196468 140725895938144 139849094892400 139850888649346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9924] ppid=9909 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9924/stat : 9924 (java) S 9909 9912 8714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176533598 26624872448 10273 33554432000 4194304 4196468 140725895938144 139849093838368 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9925] ppid=9909 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9925/stat : 9925 (java) S 9909 9912 8714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176533598 26624872448 10273 33554432000 4194304 4196468 140725895938144 139849092785520 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9926] ppid=9909 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9926/stat : 9926 (java) S 9909 9912 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176533600 26624872448 10273 33554432000 4194304 4196468 140725895938144 139849091733840 139850888656795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9927] ppid=9909 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9927/stat : 9927 (java) S 9909 9912 8714 0 -1 1077944384 327 0 0 0 0 0 0 0 20 0 20 0 176533600 26624872448 10273 33554432000 4194304 4196468 140725895938144 139849090681200 139850888649346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9928] ppid=9909 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/9912/task/9928/stat : 9928 (java) S 9909 9912 8714 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 20 0 176533600 26624872448 10273 33554432000 4194304 4196468 140725895938144 139849089628400 139850888649346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9929] ppid=9909 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/9912/task/9929/stat : 9929 (java) S 9909 9912 8714 0 -1 1077944384 280 0 0 0 1 0 0 0 20 0 20 0 176533600 26624872448 10273 33554432000 4194304 4196468 140725895938144 139849088575600 139850888649346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9930] ppid=9909 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/9912/task/9930/stat : 9930 (java) S 9909 9912 8714 0 -1 1077944384 400 0 0 0 5 0 0 0 20 0 20 0 176533600 26624872448 10273 33554432000 4194304 4196468 140725895938144 139849087522800 139850888649346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9931] ppid=9909 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9931/stat : 9931 (java) S 9909 9912 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176533601 26624872448 10273 33554432000 4194304 4196468 140725895938144 139849086471264 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9932] ppid=9909 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/9912/task/9932/stat : 9932 (java) S 9909 9912 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176533601 26624872448 10273 33554432000 4194304 4196468 140725895938144 139849085418544 139850888649346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 41092 KiB
[startup+0.30923 s]*
/proc/loadavg: 5.61 2.17 1.49 2/198 9932
/proc/meminfo: memFree=21531188/32770624 swapFree=67108860/67108860
[pid=9912] ppid=9909 vsize=26000872 memory=49164 CPUtime=0.47 cores=0-7
/proc/9912/stat : 9912 (java) S 9909 9912 8714 0 -1 1077944320 10627 0 0 0 44 3 0 0 20 0 20 0 176533594 26624892928 12291 33554432000 4194304 4196468 140725895938144 140725895920688 139850888638199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
/proc/9912/statm: 6500218 12291 3711 1 0 6487932 0
[pid=9912/tid=9914] ppid=9909 vsize=26000872 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/9912/task/9914/stat : 9914 (java) R 9909 9912 8714 0 -1 4202560 7683 0 0 0 27 2 0 0 20 0 20 0 176533595 26624892928 12291 33554432000 4194304 4196468 140725895938144 139850892855232 139850873811085 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9915] ppid=9909 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9915/stat : 9915 (java) S 9909 9912 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176533596 26624892928 12291 33554432000 4194304 4196468 140725895938144 139850847399056 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9916] ppid=9909 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9916/stat : 9916 (java) S 9909 9912 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176533596 26624892928 12291 33554432000 4194304 4196468 140725895938144 139850446031888 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9917] ppid=9909 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9917/stat : 9917 (java) S 9909 9912 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176533596 26624892928 12291 33554432000 4194304 4196468 140725895938144 139850444979088 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9918] ppid=9909 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9918/stat : 9918 (java) S 9909 9912 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176533596 26624892928 12291 33554432000 4194304 4196468 140725895938144 139850443926288 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9919] ppid=9909 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/9912/task/9919/stat : 9919 (java) S 9909 9912 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176533596 26624892928 12291 33554432000 4194304 4196468 140725895938144 139850442873488 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9920] ppid=9909 vsize=26000872 memory=140557502477231 CPUtime=0 cores=0-7
/proc/9912/task/9920/stat : 9920 (java) S 9909 9912 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176533596 26624892928 12291 33554432000 4194304 4196468 140725895938144 139850441820688 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9921] ppid=9909 vsize=26000872 memory=140557502479536 CPUtime=0 cores=0-7
/proc/9912/task/9921/stat : 9921 (java) S 9909 9912 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176533596 26624892928 12291 33554432000 4194304 4196468 140725895938144 139850440767888 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9922] ppid=9909 vsize=26000872 memory=140557502481840 CPUtime=0 cores=0-7
/proc/9912/task/9922/stat : 9922 (java) S 9909 9912 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176533596 26624892928 12291 33554432000 4194304 4196468 140725895938144 139850439715088 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9923] ppid=9909 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9923/stat : 9923 (java) S 9909 9912 8714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176533597 26624892928 12291 33554432000 4194304 4196468 140725895938144 139849094892400 139850888649346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9924] ppid=9909 vsize=26000872 memory=281115004970640 CPUtime=0 cores=0-7
/proc/9912/task/9924/stat : 9924 (java) S 9909 9912 8714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176533598 26624892928 12291 33554432000 4194304 4196468 140725895938144 139849093838368 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9925] ppid=9909 vsize=26000872 memory=281115004977552 CPUtime=0 cores=0-7
/proc/9912/task/9925/stat : 9925 (java) S 9909 9912 8714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176533598 26624892928 12291 33554432000 4194304 4196468 140725895938144 139849092785520 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9926] ppid=9909 vsize=26000872 memory=281115004918832 CPUtime=0 cores=0-7
/proc/9912/task/9926/stat : 9926 (java) S 9909 9912 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176533600 26624892928 12291 33554432000 4194304 4196468 140725895938144 139849091733840 139850888656795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9927] ppid=9909 vsize=26000872 memory=281115004991376 CPUtime=0.02 cores=0-7
/proc/9912/task/9927/stat : 9927 (java) S 9909 9912 8714 0 -1 1077944384 459 0 0 0 2 0 0 0 20 0 20 0 176533600 26624892928 12291 33554432000 4194304 4196468 140725895938144 139849090681200 139850888649346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9928] ppid=9909 vsize=26000872 memory=281115004998288 CPUtime=0.03 cores=0-7
/proc/9912/task/9928/stat : 9928 (java) S 9909 9912 8714 0 -1 1077944384 228 0 0 0 3 0 0 0 20 0 20 0 176533600 26624892928 12291 33554432000 4194304 4196468 140725895938144 139849089628400 139850888649346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9929] ppid=9909 vsize=26000872 memory=281115004995984 CPUtime=0.03 cores=0-7
/proc/9912/task/9929/stat : 9929 (java) S 9909 9912 8714 0 -1 1077944384 446 0 0 0 3 0 0 0 20 0 20 0 176533600 26624892928 12291 33554432000 4194304 4196468 140725895938144 139849088575600 139850888649346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9930] ppid=9909 vsize=26000872 memory=281115005012592 CPUtime=0.08 cores=0-7
/proc/9912/task/9930/stat : 9930 (java) S 9909 9912 8714 0 -1 1077944384 431 0 0 0 8 0 0 0 20 0 20 0 176533600 26624892928 12291 33554432000 4194304 4196468 140725895938144 139849087522800 139850888649346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9931] ppid=9909 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9931/stat : 9931 (java) S 9909 9912 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176533601 26624892928 12291 33554432000 4194304 4196468 140725895938144 139849086471264 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9932] ppid=9909 vsize=26000872 memory=-1 CPUtime=0 cores=0-7
/proc/9912/task/9932/stat : 9932 (java) S 9909 9912 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176533601 26624892928 12291 33554432000 4194304 4196468 140725895938144 139849085418544 139850888649346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 49164 KiB
[startup+0.700792 s]
/proc/loadavg: 5.61 2.17 1.49 4/198 9932
/proc/meminfo: memFree=21520704/32770624 swapFree=67108860/67108860
[pid=9912] ppid=9909 vsize=26004968 memory=77932 CPUtime=1.12 cores=0-7
/proc/9912/stat : 9912 (java) S 9909 9912 8714 0 -1 1077944320 13162 0 0 0 107 5 0 0 20 0 20 0 176533594 26629087232 19483 33554432000 4194304 4196468 140725895938144 140725895920688 139850888638199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
/proc/9912/statm: 6501242 19483 3750 1 0 6488956 0
[pid=9912/tid=9914] ppid=9909 vsize=26004968 memory=0 CPUtime=0.67 cores=0-7
/proc/9912/task/9914/stat : 9914 (java) R 9909 9912 8714 0 -1 4202560 9538 0 0 0 64 3 0 0 20 0 20 0 176533595 26629087232 19483 33554432000 4194304 4196468 140725895938144 139850892869376 139850888650134 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9915] ppid=9909 vsize=26004968 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9915/stat : 9915 (java) S 9909 9912 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176533596 26629087232 19483 33554432000 4194304 4196468 140725895938144 139850847399056 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9916] ppid=9909 vsize=26004968 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9916/stat : 9916 (java) S 9909 9912 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176533596 26629087232 19483 33554432000 4194304 4196468 140725895938144 139850446031888 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9917] ppid=9909 vsize=26004968 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9917/stat : 9917 (java) S 9909 9912 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176533596 26629087232 19483 33554432000 4194304 4196468 140725895938144 139850444979088 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9918] ppid=9909 vsize=26004968 memory=1004 CPUtime=0 cores=0-7
/proc/9912/task/9918/stat : 9918 (java) S 9909 9912 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176533596 26629087232 19483 33554432000 4194304 4196468 140725895938144 139850443926288 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9919] ppid=9909 vsize=26004968 memory=5788 CPUtime=0 cores=0-7
/proc/9912/task/9919/stat : 9919 (java) S 9909 9912 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176533596 26629087232 19483 33554432000 4194304 4196468 140725895938144 139850442873488 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9920] ppid=9909 vsize=26004968 memory=1196 CPUtime=0 cores=0-7
/proc/9912/task/9920/stat : 9920 (java) S 9909 9912 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176533596 26629087232 19483 33554432000 4194304 4196468 140725895938144 139850441820688 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9921] ppid=9909 vsize=26004968 memory=4612 CPUtime=0 cores=0-7
/proc/9912/task/9921/stat : 9921 (java) S 9909 9912 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176533596 26629087232 19483 33554432000 4194304 4196468 140725895938144 139850440767888 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9922] ppid=9909 vsize=26004968 memory=15876 CPUtime=0 cores=0-7
/proc/9912/task/9922/stat : 9922 (java) S 9909 9912 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176533596 26629087232 19483 33554432000 4194304 4196468 140725895938144 139850439715088 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9923] ppid=9909 vsize=26004968 memory=18448 CPUtime=0 cores=0-7
/proc/9912/task/9923/stat : 9923 (java) S 9909 9912 8714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176533597 26629087232 19483 33554432000 4194304 4196468 140725895938144 139849094892400 139850888649346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
################
# More data... #
################
/proc/9912/task/9938/stat : 9938 (java) S 9909 9912 8714 0 -1 1077944384 89 0 0 0 27 0 0 0 20 0 46 0 176533732 28409712640 90880 33554432000 4194304 4196468 140725895938144 139849067766672 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9939] ppid=9909 vsize=27743860 memory=0 CPUtime=0.46 cores=0-7
/proc/9912/task/9939/stat : 9939 (java) S 9909 9912 8714 0 -1 1077944384 76 0 0 0 46 0 0 0 20 0 46 0 176533732 28409712640 90880 33554432000 4194304 4196468 140725895938144 139849066714896 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9940] ppid=9909 vsize=27743860 memory=0 CPUtime=0.37 cores=0-7
/proc/9912/task/9940/stat : 9940 (java) S 9909 9912 8714 0 -1 1077944384 98 0 0 0 37 0 0 0 20 0 46 0 176533735 28409712640 90880 33554432000 4194304 4196468 140725895938144 139849065659696 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9941] ppid=9909 vsize=27743860 memory=0 CPUtime=0.21 cores=0-7
/proc/9912/task/9941/stat : 9941 (java) S 9909 9912 8714 0 -1 1077944384 92 0 0 0 21 0 0 0 20 0 46 0 176533735 28409712640 90880 33554432000 4194304 4196468 140725895938144 139849064609296 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9942] ppid=9909 vsize=27743860 memory=0 CPUtime=0.44 cores=0-7
/proc/9912/task/9942/stat : 9942 (java) S 9909 9912 8714 0 -1 1077944384 44 0 0 0 44 0 0 0 20 0 46 0 176533735 28409712640 90880 33554432000 4194304 4196468 140725895938144 139849063556496 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9943] ppid=9909 vsize=27743860 memory=0 CPUtime=0.39 cores=0-7
/proc/9912/task/9943/stat : 9943 (java) S 9909 9912 8714 0 -1 1077944384 54 0 0 0 39 0 0 0 20 0 46 0 176533735 28409712640 90880 33554432000 4194304 4196468 140725895938144 139849062503696 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9944] ppid=9909 vsize=27743860 memory=0 CPUtime=0.77 cores=0-7
/proc/9912/task/9944/stat : 9944 (java) S 9909 9912 8714 0 -1 1077944384 47 0 0 0 77 0 0 0 20 0 46 0 176533735 28409712640 90880 33554432000 4194304 4196468 140725895938144 139849061450896 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9945] ppid=9909 vsize=27743860 memory=0 CPUtime=0.23 cores=0-7
/proc/9912/task/9945/stat : 9945 (java) S 9909 9912 8714 0 -1 1077944384 34 0 0 0 23 0 0 0 20 0 46 0 176533740 28409712640 90880 33554432000 4194304 4196468 140725895938144 139849058298256 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9946] ppid=9909 vsize=27743860 memory=0 CPUtime=0.23 cores=0-7
/proc/9912/task/9946/stat : 9946 (java) S 9909 9912 8714 0 -1 1077944384 28 0 0 0 23 0 0 0 20 0 46 0 176533740 28409712640 90880 33554432000 4194304 4196468 140725895938144 139849057248144 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9947] ppid=9909 vsize=27743860 memory=0 CPUtime=0.17 cores=0-7
/proc/9912/task/9947/stat : 9947 (java) S 9909 9912 8714 0 -1 1077944384 76 0 0 0 17 0 0 0 20 0 46 0 176533740 28409712640 90880 33554432000 4194304 4196468 140725895938144 139849056196368 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9948] ppid=9909 vsize=27743860 memory=0 CPUtime=0.52 cores=0-7
/proc/9912/task/9948/stat : 9948 (java) S 9909 9912 8714 0 -1 1077944384 29 0 0 0 52 0 0 0 20 0 46 0 176533740 28409712640 90880 33554432000 4194304 4196468 140725895938144 139849055140880 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9949] ppid=9909 vsize=27743860 memory=0 CPUtime=0.49 cores=0-7
/proc/9912/task/9949/stat : 9949 (java) S 9909 9912 8714 0 -1 1077944384 29 0 0 0 49 0 0 0 20 0 46 0 176533740 28409712640 90880 33554432000 4194304 4196468 140725895938144 139849054090768 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9950] ppid=9909 vsize=27743860 memory=0 CPUtime=0.22 cores=0-7
/proc/9912/task/9950/stat : 9950 (java) S 9909 9912 8714 0 -1 1077944384 34 0 0 0 22 0 0 0 20 0 46 0 176533740 28409712640 90880 33554432000 4194304 4196468 140725895938144 139849053035280 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9951] ppid=9909 vsize=27743860 memory=0 CPUtime=0.33 cores=0-7
/proc/9912/task/9951/stat : 9951 (java) S 9909 9912 8714 0 -1 1077944384 26 0 0 0 33 0 0 0 20 0 46 0 176533764 28409712640 90880 33554432000 4194304 4196468 140725895938144 139849049851152 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9952] ppid=9909 vsize=27743860 memory=0 CPUtime=0.18 cores=0-7
/proc/9912/task/9952/stat : 9952 (java) S 9909 9912 8714 0 -1 1077944384 26 0 0 0 18 0 0 0 20 0 46 0 176533765 28409712640 90880 33554432000 4194304 4196468 140725895938144 139849048798352 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9953] ppid=9909 vsize=27743860 memory=0 CPUtime=0.54 cores=0-7
/proc/9912/task/9953/stat : 9953 (java) S 9909 9912 8714 0 -1 1077944384 44 0 0 0 54 0 0 0 20 0 46 0 176533765 28409712640 90880 33554432000 4194304 4196468 140725895938144 139849047745552 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9954] ppid=9909 vsize=27743860 memory=0 CPUtime=0.28 cores=0-7
/proc/9912/task/9954/stat : 9954 (java) S 9909 9912 8714 0 -1 1077944384 44 0 0 0 28 0 0 0 20 0 46 0 176533766 28409712640 90880 33554432000 4194304 4196468 140725895938144 139849046688992 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9955] ppid=9909 vsize=27743860 memory=0 CPUtime=0.56 cores=0-7
/proc/9912/task/9955/stat : 9955 (java) S 9909 9912 8714 0 -1 1077944384 74 0 0 0 56 0 0 0 20 0 46 0 176533766 28409712640 90880 33554432000 4194304 4196468 140725895938144 139849045638224 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9956] ppid=9909 vsize=27743860 memory=0 CPUtime=0.15 cores=0-7
/proc/9912/task/9956/stat : 9956 (java) S 9909 9912 8714 0 -1 1077944384 30 0 0 0 15 0 0 0 20 0 46 0 176533767 28409712640 90880 33554432000 4194304 4196468 140725895938144 139849044588176 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9957] ppid=9909 vsize=27743860 memory=0 CPUtime=0.41 cores=0-7
/proc/9912/task/9957/stat : 9957 (java) S 9909 9912 8714 0 -1 1077944384 41 0 0 0 41 0 0 0 20 0 46 0 176533768 28409712640 90880 33554432000 4194304 4196468 140725895938144 139849043533008 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9958] ppid=9909 vsize=27743860 memory=0 CPUtime=0.16 cores=0-7
/proc/9912/task/9958/stat : 9958 (java) S 9909 9912 8714 0 -1 1077944384 23 0 0 0 16 0 0 0 20 0 46 0 176533768 28409712640 90880 33554432000 4194304 4196468 140725895938144 139849042480240 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
Current children cumulated CPU time: 13.88 s
Current children cumulated vsize: 27743860 KiB
Current children cumulated memory: 363520 KiB
[startup+3.4108 s]
# the end of solver process 9912 was just reported to runsolver
# cumulated CPU time of all completed processes: user=14.4763 s, system=0.262091 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.35517 s]
/proc/loadavg: 6.53 2.42 1.57 1/224 9958
/proc/meminfo: memFree=21201348/32770624 swapFree=67108860/67108860
[pid=9912] ppid=9909 vsize=27743860 memory=370176 CPUtime=14.57 cores=0-7
/proc/9912/stat : 9912 (java) S 9909 9912 8714 0 -1 1077944320 35266 0 0 0 1433 24 0 0 20 0 46 0 176533594 28409712640 92544 33554432000 4194304 4196468 140725895938144 140725895920688 139850888638199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
/proc/9912/statm: 6935965 92544 3817 1 0 6923158 0
[pid=9912/tid=9914] ppid=9909 vsize=27743860 memory=8112282956445269571 CPUtime=1.36 cores=0-7
/proc/9912/task/9914/stat : 9914 (java) S 9909 9912 8714 0 -1 1077944384 12910 0 0 0 131 5 0 0 20 0 46 0 176533595 28409712640 92544 33554432000 4194304 4196468 140725895938144 139850892875904 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9915] ppid=9909 vsize=27743860 memory=11108 CPUtime=0.02 cores=0-7
/proc/9912/task/9915/stat : 9915 (java) S 9909 9912 8714 0 -1 1077944384 34 0 0 0 1 1 0 0 20 0 46 0 176533596 28409712640 92544 33554432000 4194304 4196468 140725895938144 139850847399056 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9916] ppid=9909 vsize=27743860 memory=1712 CPUtime=0.01 cores=0-7
/proc/9912/task/9916/stat : 9916 (java) S 9909 9912 8714 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 46 0 176533596 28409712640 92544 33554432000 4194304 4196468 140725895938144 139850446031888 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9917] ppid=9909 vsize=27743860 memory=1952 CPUtime=0.01 cores=0-7
/proc/9912/task/9917/stat : 9917 (java) S 9909 9912 8714 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 46 0 176533596 28409712640 92544 33554432000 4194304 4196468 140725895938144 139850444979088 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9918] ppid=9909 vsize=27743860 memory=8624 CPUtime=0.01 cores=0-7
/proc/9912/task/9918/stat : 9918 (java) S 9909 9912 8714 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 46 0 176533596 28409712640 92544 33554432000 4194304 4196468 140725895938144 139850443926288 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9919] ppid=9909 vsize=27743860 memory=1224 CPUtime=0.01 cores=0-7
/proc/9912/task/9919/stat : 9919 (java) S 9909 9912 8714 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 46 0 176533596 28409712640 92544 33554432000 4194304 4196468 140725895938144 139850442873488 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9920] ppid=9909 vsize=27743860 memory=792 CPUtime=0.01 cores=0-7
/proc/9912/task/9920/stat : 9920 (java) S 9909 9912 8714 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 46 0 176533596 28409712640 92544 33554432000 4194304 4196468 140725895938144 139850441820688 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9921] ppid=9909 vsize=27743860 memory=1004 CPUtime=0.01 cores=0-7
/proc/9912/task/9921/stat : 9921 (java) S 9909 9912 8714 0 -1 1077944384 185 0 0 0 1 0 0 0 20 0 46 0 176533596 28409712640 92544 33554432000 4194304 4196468 140725895938144 139850440767888 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9922] ppid=9909 vsize=27743860 memory=5788 CPUtime=0.02 cores=0-7
/proc/9912/task/9922/stat : 9922 (java) S 9909 9912 8714 0 -1 1077944384 59 0 0 0 1 1 0 0 20 0 46 0 176533596 28409712640 92544 33554432000 4194304 4196468 140725895938144 139850439715088 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9923] ppid=9909 vsize=27743860 memory=1196 CPUtime=0.02 cores=0-7
/proc/9912/task/9923/stat : 9923 (java) S 9909 9912 8714 0 -1 1077944384 261 0 0 0 2 0 0 0 20 0 46 0 176533597 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849094892400 139850888649346 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 47 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9924] ppid=9909 vsize=27743860 memory=4612 CPUtime=0 cores=0-7
/proc/9912/task/9924/stat : 9924 (java) S 9909 9912 8714 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 46 0 176533598 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849093838432 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9925] ppid=9909 vsize=27743860 memory=15876 CPUtime=0 cores=0-7
/proc/9912/task/9925/stat : 9925 (java) S 9909 9912 8714 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 46 0 176533598 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849092785536 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9926] ppid=9909 vsize=27743860 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9926/stat : 9926 (java) S 9909 9912 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 176533600 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849091733840 139850888656795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9927] ppid=9909 vsize=27743860 memory=28868 CPUtime=0.89 cores=0-7
/proc/9912/task/9927/stat : 9927 (java) S 9909 9912 8714 0 -1 1077944384 4010 0 0 0 87 2 0 0 20 0 46 0 176533600 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849090681200 139850888649346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9928] ppid=9909 vsize=27743860 memory=0 CPUtime=0.97 cores=0-7
/proc/9912/task/9928/stat : 9928 (java) S 9909 9912 8714 0 -1 1077944384 3992 0 0 0 95 2 0 0 20 0 46 0 176533600 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849089628400 139850888649346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9929] ppid=9909 vsize=27743860 memory=99 CPUtime=0.96 cores=0-7
/proc/9912/task/9929/stat : 9929 (java) R 9909 9912 8714 0 -1 4202560 4121 0 0 0 95 1 0 0 20 0 46 0 176533600 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849088575896 139850871851576 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9930] ppid=9909 vsize=27743860 memory=1 CPUtime=0.72 cores=0-7
/proc/9912/task/9930/stat : 9930 (java) S 9909 9912 8714 0 -1 1077944384 6601 0 0 0 71 1 0 0 20 0 46 0 176533600 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849087522800 139850888649346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 48 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9931] ppid=9909 vsize=27743860 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/9912/task/9931/stat : 9931 (java) S 9909 9912 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 176533601 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849086471264 139850888648405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9932] ppid=9909 vsize=27743860 memory=281115005168832 CPUtime=0 cores=0-7
/proc/9912/task/9932/stat : 9932 (java) S 9909 9912 8714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 46 0 176533601 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849085418544 139850888649346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9933] ppid=9909 vsize=27743860 memory=140557502586704 CPUtime=0.01 cores=0-7
/proc/9912/task/9933/stat : 9933 (java) R 9909 9912 8714 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 46 0 176533710 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849075127344 139850888648405 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9934] ppid=9909 vsize=27743860 memory=0 CPUtime=0 cores=0-7
/proc/9912/task/9934/stat : 9934 (java) S 9909 9912 8714 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 176533722 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849074074704 139850888649346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9935] ppid=9909 vsize=27743860 memory=0 CPUtime=0.44 cores=0-7
/proc/9912/task/9935/stat : 9935 (java) R 9909 9912 8714 0 -1 1077944384 151 0 0 0 44 0 0 0 20 0 46 0 176533731 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849070925072 139850888648405 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9936] ppid=9909 vsize=27743860 memory=0 CPUtime=0.38 cores=0-7
/proc/9912/task/9936/stat : 9936 (java) R 9909 9912 8714 0 -1 1077944384 218 0 0 0 38 0 0 0 20 0 46 0 176533732 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849069872272 139850888648405 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9937] ppid=9909 vsize=27743860 memory=0 CPUtime=0.41 cores=0-7
/proc/9912/task/9937/stat : 9937 (java) R 9909 9912 8714 0 -1 1077944384 69 0 0 0 41 0 0 0 20 0 46 0 176533732 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849068819472 139850888648405 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9938] ppid=9909 vsize=27743860 memory=85349590125982 CPUtime=0.27 cores=0-7
/proc/9912/task/9938/stat : 9938 (java) R 9909 9912 8714 0 -1 1077944384 89 0 0 0 27 0 0 0 20 0 46 0 176533732 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849067766672 139850888648405 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9939] ppid=9909 vsize=27743860 memory=0 CPUtime=0.46 cores=0-7
/proc/9912/task/9939/stat : 9939 (java) R 9909 9912 8714 0 -1 1077944384 76 0 0 0 46 0 0 0 20 0 46 0 176533732 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849066714896 139850888648405 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9940] ppid=9909 vsize=27743860 memory=6443924720862915942 CPUtime=0.45 cores=0-7
/proc/9912/task/9940/stat : 9940 (java) R 9909 9912 8714 0 -1 4202560 98 0 0 0 45 0 0 0 20 0 46 0 176533735 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849065661136 139850532840391 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9941] ppid=9909 vsize=27743860 memory=6443924720862915942 CPUtime=0.21 cores=0-7
/proc/9912/task/9941/stat : 9941 (java) R 9909 9912 8714 0 -1 1077944384 92 0 0 0 21 0 0 0 20 0 46 0 176533735 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849064609296 139850888648405 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9942] ppid=9909 vsize=27743860 memory=7375046172809520237 CPUtime=0.44 cores=0-7
/proc/9912/task/9942/stat : 9942 (java) R 9909 9912 8714 0 -1 1077944384 44 0 0 0 44 0 0 0 20 0 46 0 176533735 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849063556496 139850888648405 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9943] ppid=9909 vsize=27743860 memory=7236552710460958314 CPUtime=0.39 cores=0-7
/proc/9912/task/9943/stat : 9943 (java) R 9909 9912 8714 0 -1 1077944384 54 0 0 0 39 0 0 0 20 0 46 0 176533735 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849062503696 139850888648405 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9944] ppid=9909 vsize=27743860 memory=7235706172355472747 CPUtime=0.77 cores=0-7
/proc/9912/task/9944/stat : 9944 (java) R 9909 9912 8714 0 -1 1077944384 47 0 0 0 77 0 0 0 20 0 46 0 176533735 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849061450896 139850888648405 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9945] ppid=9909 vsize=27743860 memory=7235706172355472747 CPUtime=0.31 cores=0-7
/proc/9912/task/9945/stat : 9945 (java) R 9909 9912 8714 0 -1 4202560 34 0 0 0 31 0 0 0 20 0 46 0 176533740 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849058299984 139850528557234 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9946] ppid=9909 vsize=27743860 memory=7235706172355472747 CPUtime=0.23 cores=0-7
/proc/9912/task/9946/stat : 9946 (java) R 9909 9912 8714 0 -1 1077944384 28 0 0 0 23 0 0 0 20 0 46 0 176533740 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849057248144 139850888648405 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9947] ppid=9909 vsize=27743860 memory=7375046172809520237 CPUtime=0.17 cores=0-7
/proc/9912/task/9947/stat : 9947 (java) R 9909 9912 8714 0 -1 1077944384 76 0 0 0 17 0 0 0 20 0 46 0 176533740 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849056196368 139850888648405 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9948] ppid=9909 vsize=27743860 memory=7375046172809520237 CPUtime=0.6 cores=0-7
/proc/9912/task/9948/stat : 9948 (java) R 9909 9912 8714 0 -1 4202560 29 0 0 0 60 0 0 0 20 0 46 0 176533740 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849055142608 139850533381216 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9949] ppid=9909 vsize=27743860 memory=5450906536644539946 CPUtime=0.49 cores=0-7
/proc/9912/task/9949/stat : 9949 (java) R 9909 9912 8714 0 -1 1077944384 29 0 0 0 49 0 0 0 20 0 46 0 176533740 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849054090768 139850888648405 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9950] ppid=9909 vsize=27743860 memory=0 CPUtime=0.31 cores=0-7
/proc/9912/task/9950/stat : 9950 (java) R 9909 9912 8714 0 -1 4202560 34 0 0 0 31 0 0 0 20 0 46 0 176533740 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849053037008 139850532667468 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9951] ppid=9909 vsize=27743860 memory=0 CPUtime=0.33 cores=0-7
/proc/9912/task/9951/stat : 9951 (java) R 9909 9912 8714 0 -1 1077944384 26 0 0 0 33 0 0 0 20 0 46 0 176533764 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849049851152 139850888648405 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9952] ppid=9909 vsize=27743860 memory=0 CPUtime=0.18 cores=0-7
/proc/9912/task/9952/stat : 9952 (java) R 9909 9912 8714 0 -1 1077944384 26 0 0 0 18 0 0 0 20 0 46 0 176533765 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849048798352 139850888648405 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9953] ppid=9909 vsize=27743860 memory=0 CPUtime=0.54 cores=0-7
/proc/9912/task/9953/stat : 9953 (java) R 9909 9912 8714 0 -1 1077944384 44 0 0 0 54 0 0 0 20 0 46 0 176533765 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849047745552 139850888648405 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9954] ppid=9909 vsize=27743860 memory=0 CPUtime=0.36 cores=0-7
/proc/9912/task/9954/stat : 9954 (java) R 9909 9912 8714 0 -1 4202560 44 0 0 0 36 0 0 0 20 0 46 0 176533766 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849046691792 139850532627060 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9955] ppid=9909 vsize=27743860 memory=0 CPUtime=0.65 cores=0-7
/proc/9912/task/9955/stat : 9955 (java) R 9909 9912 8714 0 -1 4202560 74 0 0 0 65 0 0 0 20 0 46 0 176533766 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849045640016 139850532840804 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9956] ppid=9909 vsize=27743860 memory=0 CPUtime=0.15 cores=0-7
/proc/9912/task/9956/stat : 9956 (java) R 9909 9912 8714 0 -1 1077944384 30 0 0 0 15 0 0 0 20 0 46 0 176533767 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849044588176 139850888648405 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9957] ppid=9909 vsize=27743860 memory=0 CPUtime=0.49 cores=0-7
/proc/9912/task/9957/stat : 9957 (java) R 9909 9912 8714 0 -1 4202560 41 0 0 0 49 0 0 0 20 0 46 0 176533768 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849043534416 139850532840303 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
[pid=9912/tid=9958] ppid=9909 vsize=27743860 memory=0 CPUtime=0.22 cores=0-7
/proc/9912/task/9958/stat : 9958 (java) R 9909 9912 8714 0 -1 4202560 23 0 0 0 22 0 0 0 20 0 46 0 176533768 28409712640 92544 33554432000 4194304 4196468 140725895938144 139849042481616 139850532667641 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25894912 140725895943265 140725895943451 140725895943451 140725895946191 0
Current children cumulated CPU time: 14.57 s
Current children cumulated vsize: 27743860 KiB
Current children cumulated memory: 370176 KiB
[startup+3.40162 s]*
/proc/loadavg: 6.53 2.42 1.57 2/180 9959
/proc/meminfo: memFree=21505400/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): 3.41083
CPU time (s): 14.7384
CPU user time (s): 14.4763
CPU system time (s): 0.262091
CPU usage (%): 432.106
Max. virtual memory (cumulated for all children) (KiB): 27743860
Max. memory (cumulated for all children) (KiB): 370176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.4763
system time used= 0.262091
maximum resident set size= 372124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35474
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8126
involuntary context switches= 949
# summary of solver processes directly reported to runsolver:
# pid: 9912
# total CPU time (s): 14.7384
# total CPU user time (s): 14.4763
# total CPU system time (s): 0.262091
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.044061 second user time and 0.081694 second system time
The end
Begin job on node107 at 2017-08-22 22:26:37
IDJOB=4285483
IDBENCH=126893
IDSOLVER=2681
FILE ID=node107/4285483-1503434458
RUNJOBID= node107-1503425971-8741
PBS_JOBID= 20632137
Free space on /tmp= 61252 MiB
SOLVER NAME= OscaR - Parallel with EPS 2017-08-22
BENCH NAME= XCSP17/SchurrLemma/SchurrLemma-mod-s1/SchurrLemma-mod-020-9.xml
COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4285483-1503434458/watcher-4285483-1503434458 -o /tmp/evaluation-result-4285483-1503434458/solver-4285483-1503434458 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503425971-8741 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 2096108999 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285483-1503434458.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 00caabc33cb0bf3546e4fe549bb6d70b
RANDOM SEED=2096108999
node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.84
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.84
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.84
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.84
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 21564560 kB
MemAvailable: 31947756 kB
Buffers: 282616 kB
Cached: 10386636 kB
SwapCached: 0 kB
Active: 1787356 kB
Inactive: 8934336 kB
Active(anon): 55588 kB
Inactive(anon): 41324 kB
Active(file): 1731768 kB
Inactive(file): 8893012 kB
Unevictable: 7640 kB
Mlocked: 7640 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 42496 kB
Writeback: 0 kB
AnonPages: 60508 kB
Mapped: 55068 kB
Shmem: 41612 kB
Slab: 175572 kB
SReclaimable: 148500 kB
SUnreclaim: 27072 kB
KernelStack: 3168 kB
PageTables: 4864 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 341464 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 91520 kB
DirectMap2M: 33454080 kB
Free space on /tmp at the end= 61212 MiB
End job on node107 at 2017-08-22 22:26:40