0.29/0.25 c version: 2017-07-26
0.29/0.25 c seed: 1253183667
0.29/0.25 c timeout: 20160
0.29/0.25 c memlimit: 11000
0.29/0.25 c nbcore: 8
0.29/0.28 c Parsing instance...
0.82/0.52 c Parsing done, starting search...
44.16/6.80 s SATISFIABLE
44.16/6.80 v <instantiation>
44.16/6.80 v <list>
44.16/6.80 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10]
44.16/6.80 v </list>
44.16/6.80 v <values>
44.16/6.80 v 11 0 10 1 9 2 8 3 7 4 6 5 11 10 9 8 7 6 5 4 3 2 1
44.16/6.80 v </values>
44.16/6.80 v </instantiation>
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 (15182 MiB free)
memory of node 1: 16384 MiB (15548 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275256-1502702597/watcher-4275256-1502702597 -o /tmp/evaluation-result-4275256-1502702597/solver-4275256-1502702597 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502699213-8090 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1253183667 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275256-1502702597.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
solver pid=8459, runsolver pid=8456
Current StackSize limit: 8192 KiB
[startup+0.100134 s]*
/proc/loadavg: 7.73 8.46 8.17 1/198 8479
/proc/meminfo: memFree=31450844/32770624 swapFree=67108860/67108860
[pid=8459] ppid=8456 vsize=14325320 memory=33064 CPUtime=0.13 cores=0-7
/proc/8459/stat : 8459 (java) S 8456 8459 8063 0 -1 1077944320 8175 0 0 0 11 2 0 0 20 0 20 0 103347333 14669127680 8266 33554432000 4194304 4196468 140725400125680 140725400108224 140232545406711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
/proc/8459/statm: 3581330 8266 3411 1 0 3569050 0
[pid=8459/tid=8461] ppid=8456 vsize=14325320 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/8459/task/8461/stat : 8461 (java) R 8456 8459 8063 0 -1 4202560 6109 0 0 0 8 1 0 0 20 0 20 0 103347333 14669127680 8266 33554432000 4194304 4196468 140725400125680 140232549603664 140232529487198 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8462] ppid=8456 vsize=14325320 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/8459/task/8462/stat : 8462 (java) S 8456 8459 8063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103347334 14669127680 8266 33554432000 4194304 4196468 140725400125680 140232498027280 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8463] ppid=8456 vsize=14325320 memory=139667520841344 CPUtime=0 cores=0-7
/proc/8459/task/8463/stat : 8463 (java) S 8456 8459 8063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103347334 14669127680 8266 33554432000 4194304 4196468 140725400125680 140232496974736 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8464] ppid=8456 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8464/stat : 8464 (java) S 8456 8459 8063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103347334 14669127680 8266 33554432000 4194304 4196468 140725400125680 140232495922192 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8465] ppid=8456 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8465/stat : 8465 (java) S 8456 8459 8063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103347334 14669127680 8266 33554432000 4194304 4196468 140725400125680 140232137829520 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8466] ppid=8456 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8466/stat : 8466 (java) S 8456 8459 8063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103347334 14669127680 8266 33554432000 4194304 4196468 140725400125680 140232136775952 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8467] ppid=8456 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/8459/task/8467/stat : 8467 (java) S 8456 8459 8063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103347334 14669127680 8266 33554432000 4194304 4196468 140725400125680 140232135723408 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8468] ppid=8456 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8468/stat : 8468 (java) S 8456 8459 8063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103347334 14669127680 8266 33554432000 4194304 4196468 140725400125680 140232134670864 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8469] ppid=8456 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8469/stat : 8469 (java) S 8456 8459 8063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103347334 14669127680 8266 33554432000 4194304 4196468 140725400125680 140232133618320 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8470] ppid=8456 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8470/stat : 8470 (java) S 8456 8459 8063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103347336 14669127680 8266 33554432000 4194304 4196468 140725400125680 140231734897136 140232545417858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8471] ppid=8456 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8471/stat : 8471 (java) S 8456 8459 8063 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 103347336 14669127680 8266 33554432000 4194304 4196468 140725400125680 140231733843360 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8472] ppid=8456 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8472/stat : 8472 (java) S 8456 8459 8063 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 103347336 14669127680 8266 33554432000 4194304 4196468 140725400125680 140231732790768 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8473] ppid=8456 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8473/stat : 8473 (java) S 8456 8459 8063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103347339 14669127680 8266 33554432000 4194304 4196468 140725400125680 140231731739344 140232545425307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8474] ppid=8456 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8474/stat : 8474 (java) S 8456 8459 8063 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 103347339 14669127680 8266 33554432000 4194304 4196468 140725400125680 140231730685936 140232545417858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8475] ppid=8456 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8475/stat : 8475 (java) S 8456 8459 8063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103347339 14669127680 8266 33554432000 4194304 4196468 140725400125680 140231729633392 140232545417858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8476] ppid=8456 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8476/stat : 8476 (java) S 8456 8459 8063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103347339 14669127680 8266 33554432000 4194304 4196468 140725400125680 140231728580848 140232545417858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8477] ppid=8456 vsize=14325320 memory=0 CPUtime=0.02 cores=0-7
/proc/8459/task/8477/stat : 8477 (java) S 8456 8459 8063 0 -1 1077944384 393 0 0 0 2 0 0 0 20 0 20 0 103347339 14669127680 8266 33554432000 4194304 4196468 140725400125680 140231727528304 140232545417858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8478] ppid=8456 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8478/stat : 8478 (java) S 8456 8459 8063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103347339 14669127680 8266 33554432000 4194304 4196468 140725400125680 140231726476000 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8479] ppid=8456 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/8459/task/8479/stat : 8479 (java) S 8456 8459 8063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103347339 14669127680 8266 33554432000 4194304 4196468 140725400125680 140231725423536 140232545417858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 33064 KiB
[startup+0.210624 s]*
/proc/loadavg: 7.73 8.46 8.17 3/198 8479
/proc/meminfo: memFree=31441008/32770624 swapFree=67108860/67108860
[pid=8459] ppid=8456 vsize=14325320 memory=42404 CPUtime=0.29 cores=0-7
/proc/8459/stat : 8459 (java) S 8456 8459 8063 0 -1 1077944320 9241 0 0 0 27 2 0 0 20 0 20 0 103347333 14669127680 10601 33554432000 4194304 4196468 140725400125680 140725400108224 140232545406711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
/proc/8459/statm: 3581330 10601 3606 1 0 3569050 0
[pid=8459/tid=8461] ppid=8456 vsize=14325320 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/8459/task/8461/stat : 8461 (java) R 8456 8459 8063 0 -1 4202560 6794 0 0 0 18 1 0 0 20 0 20 0 103347333 14669127680 10601 33554432000 4194304 4196468 140725400125680 140232549617712 140232529487198 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8462] ppid=8456 vsize=14325320 memory=3352 CPUtime=0 cores=0-7
/proc/8459/task/8462/stat : 8462 (java) S 8456 8459 8063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103347334 14669127680 10601 33554432000 4194304 4196468 140725400125680 140232498027280 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8463] ppid=8456 vsize=14325320 memory=139667520849867 CPUtime=0 cores=0-7
/proc/8459/task/8463/stat : 8463 (java) S 8456 8459 8063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103347334 14669127680 10601 33554432000 4194304 4196468 140725400125680 140232496974736 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8464] ppid=8456 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/8459/task/8464/stat : 8464 (java) S 8456 8459 8063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103347334 14669127680 10601 33554432000 4194304 4196468 140725400125680 140232495922192 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8465] ppid=8456 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8465/stat : 8465 (java) S 8456 8459 8063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103347334 14669127680 10601 33554432000 4194304 4196468 140725400125680 140232137829520 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8466] ppid=8456 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8466/stat : 8466 (java) S 8456 8459 8063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103347334 14669127680 10601 33554432000 4194304 4196468 140725400125680 140232136775952 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8467] ppid=8456 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/8459/task/8467/stat : 8467 (java) S 8456 8459 8063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103347334 14669127680 10601 33554432000 4194304 4196468 140725400125680 140232135723408 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8468] ppid=8456 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8468/stat : 8468 (java) S 8456 8459 8063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103347334 14669127680 10601 33554432000 4194304 4196468 140725400125680 140232134670864 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8469] ppid=8456 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8469/stat : 8469 (java) S 8456 8459 8063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103347334 14669127680 10601 33554432000 4194304 4196468 140725400125680 140232133618320 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8470] ppid=8456 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8470/stat : 8470 (java) S 8456 8459 8063 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 103347336 14669127680 10601 33554432000 4194304 4196468 140725400125680 140231734897136 140232545417858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8471] ppid=8456 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8471/stat : 8471 (java) S 8456 8459 8063 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 103347336 14669127680 10601 33554432000 4194304 4196468 140725400125680 140231733843360 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8472] ppid=8456 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8472/stat : 8472 (java) S 8456 8459 8063 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 103347336 14669127680 10601 33554432000 4194304 4196468 140725400125680 140231732790768 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8473] ppid=8456 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8473/stat : 8473 (java) S 8456 8459 8063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103347339 14669127680 10601 33554432000 4194304 4196468 140725400125680 140231731739344 140232545425307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8474] ppid=8456 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/8459/task/8474/stat : 8474 (java) S 8456 8459 8063 0 -1 1077944384 430 0 0 0 1 0 0 0 20 0 20 0 103347339 14669127680 10601 33554432000 4194304 4196468 140725400125680 140231730685936 140232545417858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8475] ppid=8456 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8475/stat : 8475 (java) S 8456 8459 8063 0 -1 1077944384 177 0 0 0 0 0 0 0 20 0 20 0 103347339 14669127680 10601 33554432000 4194304 4196468 140725400125680 140231729633392 140232545417858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8476] ppid=8456 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/8459/task/8476/stat : 8476 (java) S 8456 8459 8063 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 20 0 103347339 14669127680 10601 33554432000 4194304 4196468 140725400125680 140231728580848 140232545417858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8477] ppid=8456 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7
/proc/8459/task/8477/stat : 8477 (java) R 8456 8459 8063 0 -1 4202560 429 0 0 0 5 0 0 0 20 0 20 0 103347339 14669127680 10601 33554432000 4194304 4196468 140725400125680 140231727528304 140232524346031 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8478] ppid=8456 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8478/stat : 8478 (java) S 8456 8459 8063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103347339 14669127680 10601 33554432000 4194304 4196468 140725400125680 140231726476000 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8479] ppid=8456 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/8459/task/8479/stat : 8479 (java) S 8456 8459 8063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103347339 14669127680 10601 33554432000 4194304 4196468 140725400125680 140231725423536 140232545417858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 42404 KiB
[startup+0.310432 s]*
/proc/loadavg: 7.73 8.46 8.17 2/198 8479
/proc/meminfo: memFree=31432680/32770624 swapFree=67108860/67108860
[pid=8459] ppid=8456 vsize=14325340 memory=51004 CPUtime=0.48 cores=0-7
/proc/8459/stat : 8459 (java) S 8456 8459 8063 0 -1 1077944320 10569 0 0 0 45 3 0 0 20 0 20 0 103347333 14669148160 12751 33554432000 4194304 4196468 140725400125680 140725400108224 140232545406711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
/proc/8459/statm: 3581335 12751 3720 1 0 3569050 0
[pid=8459/tid=8461] ppid=8456 vsize=14325340 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/8459/task/8461/stat : 8461 (java) R 8456 8459 8063 0 -1 4202560 7562 0 0 0 27 2 0 0 20 0 20 0 103347333 14669148160 12751 33554432000 4194304 4196468 140725400125680 140232549626480 140232545418646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8462] ppid=8456 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8462/stat : 8462 (java) S 8456 8459 8063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103347334 14669148160 12751 33554432000 4194304 4196468 140725400125680 140232498027280 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8463] ppid=8456 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8463/stat : 8463 (java) S 8456 8459 8063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103347334 14669148160 12751 33554432000 4194304 4196468 140725400125680 140232496974736 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8464] ppid=8456 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8464/stat : 8464 (java) S 8456 8459 8063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103347334 14669148160 12751 33554432000 4194304 4196468 140725400125680 140232495922192 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8465] ppid=8456 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8465/stat : 8465 (java) S 8456 8459 8063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103347334 14669148160 12751 33554432000 4194304 4196468 140725400125680 140232137829520 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8466] ppid=8456 vsize=14325340 memory=2244 CPUtime=0 cores=0-7
/proc/8459/task/8466/stat : 8466 (java) S 8456 8459 8063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103347334 14669148160 12751 33554432000 4194304 4196468 140725400125680 140232136775952 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8467] ppid=8456 vsize=14325340 memory=139667370505135 CPUtime=0 cores=0-7
/proc/8459/task/8467/stat : 8467 (java) S 8456 8459 8063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103347334 14669148160 12751 33554432000 4194304 4196468 140725400125680 140232135723408 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8468] ppid=8456 vsize=14325340 memory=139667370507440 CPUtime=0 cores=0-7
/proc/8459/task/8468/stat : 8468 (java) S 8456 8459 8063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103347334 14669148160 12751 33554432000 4194304 4196468 140725400125680 140232134670864 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8469] ppid=8456 vsize=14325340 memory=139667370509744 CPUtime=0 cores=0-7
/proc/8459/task/8469/stat : 8469 (java) S 8456 8459 8063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103347334 14669148160 12751 33554432000 4194304 4196468 140725400125680 140232133618320 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8470] ppid=8456 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8470/stat : 8470 (java) S 8456 8459 8063 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 103347336 14669148160 12751 33554432000 4194304 4196468 140725400125680 140231734897136 140232545417858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8471] ppid=8456 vsize=14325340 memory=279334741026448 CPUtime=0 cores=0-7
/proc/8459/task/8471/stat : 8471 (java) S 8456 8459 8063 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 103347336 14669148160 12751 33554432000 4194304 4196468 140725400125680 140231733843360 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8472] ppid=8456 vsize=14325340 memory=279334741033360 CPUtime=0 cores=0-7
/proc/8459/task/8472/stat : 8472 (java) S 8456 8459 8063 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 103347336 14669148160 12751 33554432000 4194304 4196468 140725400125680 140231732790768 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8473] ppid=8456 vsize=14325340 memory=279334740974640 CPUtime=0 cores=0-7
/proc/8459/task/8473/stat : 8473 (java) S 8456 8459 8063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103347339 14669148160 12751 33554432000 4194304 4196468 140725400125680 140231731739344 140232545425307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8474] ppid=8456 vsize=14325340 memory=279334741047184 CPUtime=0.04 cores=0-7
/proc/8459/task/8474/stat : 8474 (java) S 8456 8459 8063 0 -1 1077944384 508 0 0 0 4 0 0 0 20 0 20 0 103347339 14669148160 12751 33554432000 4194304 4196468 140725400125680 140231730685936 140232545417858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8475] ppid=8456 vsize=14325340 memory=279334741054096 CPUtime=0.02 cores=0-7
/proc/8459/task/8475/stat : 8475 (java) S 8456 8459 8063 0 -1 1077944384 387 0 0 0 2 0 0 0 20 0 20 0 103347339 14669148160 12751 33554432000 4194304 4196468 140725400125680 140231729633392 140232545417858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8476] ppid=8456 vsize=14325340 memory=279334741051792 CPUtime=0.02 cores=0-7
/proc/8459/task/8476/stat : 8476 (java) S 8456 8459 8063 0 -1 1077944384 176 0 0 0 2 0 0 0 20 0 20 0 103347339 14669148160 12751 33554432000 4194304 4196468 140725400125680 140231728580848 140232545417858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8477] ppid=8456 vsize=14325340 memory=279334741068400 CPUtime=0.08 cores=0-7
/proc/8459/task/8477/stat : 8477 (java) R 8456 8459 8063 0 -1 4202560 555 0 0 0 8 0 0 0 20 0 20 0 103347339 14669148160 12751 33554432000 4194304 4196468 140725400125680 140231727528304 140232529487198 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8478] ppid=8456 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8478/stat : 8478 (java) S 8456 8459 8063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103347339 14669148160 12751 33554432000 4194304 4196468 140725400125680 140231726476000 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8479] ppid=8456 vsize=14325340 memory=-1 CPUtime=0 cores=0-7
/proc/8459/task/8479/stat : 8479 (java) S 8456 8459 8063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103347339 14669148160 12751 33554432000 4194304 4196468 140725400125680 140231725423536 140232545417858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 14325340 KiB
Current children cumulated memory: 51004 KiB
[startup+0.700893 s]
/proc/loadavg: 7.73 8.46 8.17 3/198 8479
/proc/meminfo: memFree=31419812/32770624 swapFree=67108860/67108860
[pid=8459] ppid=8456 vsize=14329436 memory=81324 CPUtime=1.07 cores=0-7
/proc/8459/stat : 8459 (java) S 8456 8459 8063 0 -1 1077944320 12982 0 0 0 102 5 0 0 20 0 20 0 103347333 14673342464 20331 33554432000 4194304 4196468 140725400125680 140725400108224 140232545406711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
/proc/8459/statm: 3582359 20331 3750 1 0 3570074 0
[pid=8459/tid=8461] ppid=8456 vsize=14329436 memory=0 CPUtime=0.67 cores=0-7
/proc/8459/task/8461/stat : 8461 (java) R 8456 8459 8063 0 -1 4202560 9496 0 0 0 64 3 0 0 20 0 20 0 103347333 14673342464 20331 33554432000 4194304 4196468 140725400125680 140232549633824 140232529487198 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8462] ppid=8456 vsize=14329436 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8462/stat : 8462 (java) S 8456 8459 8063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103347334 14673342464 20331 33554432000 4194304 4196468 140725400125680 140232498027280 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8463] ppid=8456 vsize=14329436 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8463/stat : 8463 (java) S 8456 8459 8063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103347334 14673342464 20331 33554432000 4194304 4196468 140725400125680 140232496974736 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8464] ppid=8456 vsize=14329436 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8464/stat : 8464 (java) S 8456 8459 8063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103347334 14673342464 20331 33554432000 4194304 4196468 140725400125680 140232495922192 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8465] ppid=8456 vsize=14329436 memory=1712 CPUtime=0 cores=0-7
/proc/8459/task/8465/stat : 8465 (java) S 8456 8459 8063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103347334 14673342464 20331 33554432000 4194304 4196468 140725400125680 140232137829520 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8466] ppid=8456 vsize=14329436 memory=4612 CPUtime=0 cores=0-7
/proc/8459/task/8466/stat : 8466 (java) S 8456 8459 8063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103347334 14673342464 20331 33554432000 4194304 4196468 140725400125680 140232136775952 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8467] ppid=8456 vsize=14329436 memory=1004 CPUtime=0 cores=0-7
/proc/8459/task/8467/stat : 8467 (java) S 8456 8459 8063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103347334 14673342464 20331 33554432000 4194304 4196468 140725400125680 140232135723408 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8468] ppid=8456 vsize=14329436 memory=1200 CPUtime=0 cores=0-7
/proc/8459/task/8468/stat : 8468 (java) S 8456 8459 8063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103347334 14673342464 20331 33554432000 4194304 4196468 140725400125680 140232134670864 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8469] ppid=8456 vsize=14329436 memory=15872 CPUtime=0 cores=0-7
/proc/8459/task/8469/stat : 8469 (java) S 8456 8459 8063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103347334 14673342464 20331 33554432000 4194304 4196468 140725400125680 140232133618320 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8470] ppid=8456 vsize=14329436 memory=16528 CPUtime=0 cores=0-7
/proc/8459/task/8470/stat : 8470 (java) S 8456 8459 8063 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 103347336 14673342464 20331 33554432000 4194304 4196468 140725400125680 140231734897136 140232545417858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
################
# More data... #
################
Current children cumulated CPU time: 41.18 s
Current children cumulated vsize: 16068328 KiB
Current children cumulated memory: 1157788 KiB
[startup+6.81833 s]
# the end of solver process 8459 was just reported to runsolver
# cumulated CPU time of all completed processes: user=43.9677 s, system=0.531782 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40303 s]
/proc/loadavg: 7.51 8.40 8.15 17/224 8505
/proc/meminfo: memFree=30321620/32770624 swapFree=67108860/67108860
[pid=8459] ppid=8456 vsize=16068328 memory=1161904 CPUtime=41.92 cores=0-7
/proc/8459/stat : 8459 (java) S 8456 8459 8063 0 -1 1077944320 50909 0 0 0 4144 48 0 0 20 0 46 0 103347333 16453967872 290476 33554432000 4194304 4196468 140725400125680 140725400108224 140232545406711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
/proc/8459/statm: 4017082 290476 3829 1 0 4004276 0
[pid=8459/tid=8461] ppid=8456 vsize=16068328 memory=6788 CPUtime=1.33 cores=0-7
/proc/8459/task/8461/stat : 8461 (java) S 8456 8459 8063 0 -1 1077944384 12744 0 0 0 128 5 0 0 20 0 46 0 103347333 16453967872 290476 33554432000 4194304 4196468 140725400125680 140232549644416 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8462] ppid=8456 vsize=16068328 memory=0 CPUtime=0.04 cores=0-7
/proc/8459/task/8462/stat : 8462 (java) S 8456 8459 8063 0 -1 1077944384 120 0 0 0 3 1 0 0 20 0 46 0 103347334 16453967872 290476 33554432000 4194304 4196468 140725400125680 140232498027280 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8463] ppid=8456 vsize=16068328 memory=0 CPUtime=0.03 cores=0-7
/proc/8459/task/8463/stat : 8463 (java) S 8456 8459 8063 0 -1 1077944384 107 0 0 0 2 1 0 0 20 0 46 0 103347334 16453967872 290476 33554432000 4194304 4196468 140725400125680 140232496974736 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8464] ppid=8456 vsize=16068328 memory=139667370773504 CPUtime=0.04 cores=0-7
/proc/8459/task/8464/stat : 8464 (java) S 8456 8459 8063 0 -1 1077944384 74 0 0 0 3 1 0 0 20 0 46 0 103347334 16453967872 290476 33554432000 4194304 4196468 140725400125680 140232495922192 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8465] ppid=8456 vsize=16068328 memory=0 CPUtime=0.03 cores=0-7
/proc/8459/task/8465/stat : 8465 (java) S 8456 8459 8063 0 -1 1077944384 159 0 0 0 2 1 0 0 20 0 46 0 103347334 16453967872 290476 33554432000 4194304 4196468 140725400125680 140232137829520 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8466] ppid=8456 vsize=16068328 memory=0 CPUtime=0.02 cores=0-7
/proc/8459/task/8466/stat : 8466 (java) S 8456 8459 8063 0 -1 1077944384 58 0 0 0 1 1 0 0 20 0 46 0 103347334 16453967872 290476 33554432000 4194304 4196468 140725400125680 140232136775952 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8467] ppid=8456 vsize=16068328 memory=0 CPUtime=0.04 cores=0-7
/proc/8459/task/8467/stat : 8467 (java) S 8456 8459 8063 0 -1 1077944384 55 0 0 0 3 1 0 0 20 0 46 0 103347334 16453967872 290476 33554432000 4194304 4196468 140725400125680 140232135723408 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8468] ppid=8456 vsize=16068328 memory=-2023959437020729679 CPUtime=0.03 cores=0-7
/proc/8459/task/8468/stat : 8468 (java) S 8456 8459 8063 0 -1 1077944384 73 0 0 0 2 1 0 0 20 0 46 0 103347334 16453967872 290476 33554432000 4194304 4196468 140725400125680 140232134670864 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8469] ppid=8456 vsize=16068328 memory=0 CPUtime=0.02 cores=0-7
/proc/8459/task/8469/stat : 8469 (java) S 8456 8459 8063 0 -1 1077944384 586 0 0 0 2 0 0 0 20 0 46 0 103347334 16453967872 290476 33554432000 4194304 4196468 140725400125680 140232133618320 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8470] ppid=8456 vsize=16068328 memory=0 CPUtime=0.02 cores=0-7
/proc/8459/task/8470/stat : 8470 (java) S 8456 8459 8063 0 -1 1077944384 876 0 0 0 2 0 0 0 20 0 46 0 103347336 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231734897136 140232545417858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8471] ppid=8456 vsize=16068328 memory=3229 CPUtime=0 cores=0-7
/proc/8459/task/8471/stat : 8471 (java) S 8456 8459 8063 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 46 0 103347336 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231733843424 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8472] ppid=8456 vsize=16068328 memory=288230574492221466 CPUtime=0.01 cores=0-7
/proc/8459/task/8472/stat : 8472 (java) S 8456 8459 8063 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 46 0 103347336 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231732790784 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8473] ppid=8456 vsize=16068328 memory=288230617509003574 CPUtime=0 cores=0-7
/proc/8459/task/8473/stat : 8473 (java) S 8456 8459 8063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 103347339 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231731739344 140232545425307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8474] ppid=8456 vsize=16068328 memory=14972256832981423 CPUtime=2.08 cores=0-7
/proc/8459/task/8474/stat : 8474 (java) S 8456 8459 8063 0 -1 1077944384 7835 0 0 0 205 3 0 0 20 0 46 0 103347339 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231730685936 140232545417858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8475] ppid=8456 vsize=16068328 memory=58061731 CPUtime=1.83 cores=0-7
/proc/8459/task/8475/stat : 8475 (java) S 8456 8459 8063 0 -1 1077944384 7659 0 0 0 182 1 0 0 20 0 46 0 103347339 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231729633392 140232545417858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8476] ppid=8456 vsize=16068328 memory=0 CPUtime=1.9 cores=0-7
/proc/8459/task/8476/stat : 8476 (java) S 8456 8459 8063 0 -1 1077944384 6962 0 0 0 188 2 0 0 20 0 46 0 103347339 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231728580848 140232545417858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8477] ppid=8456 vsize=16068328 memory=4 CPUtime=0.77 cores=0-7
/proc/8459/task/8477/stat : 8477 (java) S 8456 8459 8063 0 -1 1077944384 8287 0 0 0 75 2 0 0 20 0 46 0 103347339 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231727528304 140232545417858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8478] ppid=8456 vsize=16068328 memory=1157788 CPUtime=0 cores=0-7
/proc/8459/task/8478/stat : 8478 (java) S 8456 8459 8063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 103347339 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231726476000 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8479] ppid=8456 vsize=16068328 memory=1994930 CPUtime=0 cores=0-7
/proc/8459/task/8479/stat : 8479 (java) S 8456 8459 8063 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 46 0 103347339 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231725423536 140232545417858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8480] ppid=8456 vsize=16068328 memory=0 CPUtime=0.05 cores=0-7
/proc/8459/task/8480/stat : 8480 (java) S 8456 8459 8063 0 -1 1077944384 62 0 0 0 5 0 0 0 20 0 46 0 103347445 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231715136720 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8481] ppid=8456 vsize=16068328 memory=0 CPUtime=0.01 cores=0-7
/proc/8459/task/8481/stat : 8481 (java) S 8456 8459 8063 0 -1 1077944384 731 0 0 0 0 1 0 0 20 0 46 0 103347457 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231711987216 140232545417858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8482] ppid=8456 vsize=16068328 memory=279334741522512 CPUtime=1.68 cores=0-7
/proc/8459/task/8482/stat : 8482 (java) R 8456 8459 8063 0 -1 4202560 192 0 0 0 167 1 0 0 20 0 46 0 103347466 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231710930520 140232180225607 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8483] ppid=8456 vsize=16068328 memory=139667371291984 CPUtime=1.12 cores=0-7
/proc/8459/task/8483/stat : 8483 (java) R 8456 8459 8063 0 -1 4202560 89 0 0 0 111 1 0 0 20 0 46 0 103347467 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231709875752 140232183680511 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8484] ppid=8456 vsize=16068328 memory=4100 CPUtime=1.93 cores=0-7
/proc/8459/task/8484/stat : 8484 (java) S 8456 8459 8063 0 -1 1077944384 213 0 0 0 192 1 0 0 20 0 46 0 103347467 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231708828816 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8485] ppid=8456 vsize=16068328 memory=0 CPUtime=1.48 cores=0-7
/proc/8459/task/8485/stat : 8485 (java) S 8456 8459 8063 0 -1 1077944384 176 0 0 0 148 0 0 0 20 0 46 0 103347467 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231707776272 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8486] ppid=8456 vsize=16068328 memory=139667370718656 CPUtime=0.54 cores=0-7
/proc/8459/task/8486/stat : 8486 (java) R 8456 8459 8063 0 -1 4202560 89 0 0 0 54 0 0 0 20 0 46 0 103347467 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231706720344 140232185178606 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8487] ppid=8456 vsize=16068328 memory=0 CPUtime=3.13 cores=0-7
/proc/8459/task/8487/stat : 8487 (java) S 8456 8459 8063 0 -1 1077944384 128 0 0 0 313 0 0 0 20 0 46 0 103347470 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231703574032 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8488] ppid=8456 vsize=16068328 memory=0 CPUtime=1.73 cores=0-7
/proc/8459/task/8488/stat : 8488 (java) S 8456 8459 8063 0 -1 1077944384 213 0 0 0 173 0 0 0 20 0 46 0 103347470 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231702521488 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8489] ppid=8456 vsize=16068328 memory=0 CPUtime=1.17 cores=0-7
/proc/8459/task/8489/stat : 8489 (java) S 8456 8459 8063 0 -1 1077944384 42 0 0 0 117 0 0 0 20 0 46 0 103347470 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231701468944 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8490] ppid=8456 vsize=16068328 memory=15010910702715 CPUtime=0.96 cores=0-7
/proc/8459/task/8490/stat : 8490 (java) R 8456 8459 8063 0 -1 4202560 125 0 0 0 96 0 0 0 20 0 46 0 103347470 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231700414464 140232184091855 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8491] ppid=8456 vsize=16068328 memory=288230617509003574 CPUtime=1.11 cores=0-7
/proc/8459/task/8491/stat : 8491 (java) S 8456 8459 8063 0 -1 1077944384 249 0 0 0 110 1 0 0 20 0 46 0 103347470 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231699362832 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8492] ppid=8456 vsize=16068328 memory=14972256832981423 CPUtime=1.28 cores=0-7
/proc/8459/task/8492/stat : 8492 (java) S 8456 8459 8063 0 -1 1077944384 53 0 0 0 128 0 0 0 20 0 46 0 103347470 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231698310288 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8493] ppid=8456 vsize=16068328 memory=0 CPUtime=2.03 cores=0-7
/proc/8459/task/8493/stat : 8493 (java) S 8456 8459 8063 0 -1 1077944384 50 0 0 0 203 0 0 0 20 0 46 0 103347470 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231697257744 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8494] ppid=8456 vsize=16068328 memory=0 CPUtime=1.01 cores=0-7
/proc/8459/task/8494/stat : 8494 (java) S 8456 8459 8063 0 -1 1077944384 173 0 0 0 99 2 0 0 20 0 46 0 103347474 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231696205200 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8495] ppid=8456 vsize=16068328 memory=0 CPUtime=0.71 cores=0-7
/proc/8459/task/8495/stat : 8495 (java) R 8456 8459 8063 0 -1 4202560 39 0 0 0 71 0 0 0 20 0 46 0 103347474 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231695146456 140232184091881 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8496] ppid=8456 vsize=16068328 memory=0 CPUtime=2.73 cores=0-7
/proc/8459/task/8496/stat : 8496 (java) R 8456 8459 8063 0 -1 4202560 123 0 0 0 272 1 0 0 20 0 46 0 103347476 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231691965184 140232530648001 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8497] ppid=8456 vsize=16068328 memory=7157735280213643369 CPUtime=1.05 cores=0-7
/proc/8459/task/8497/stat : 8497 (java) S 8456 8459 8063 0 -1 1077944384 46 0 0 0 105 0 0 0 20 0 46 0 103347477 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231690913552 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8498] ppid=8456 vsize=16068328 memory=0 CPUtime=1.81 cores=0-7
/proc/8459/task/8498/stat : 8498 (java) R 8456 8459 8063 0 -1 4202560 34 0 0 0 181 0 0 0 20 0 46 0 103347477 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231127062104 140232184092351 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8499] ppid=8456 vsize=16068328 memory=0 CPUtime=0.86 cores=0-7
/proc/8459/task/8499/stat : 8499 (java) S 8456 8459 8063 0 -1 1077944384 418 0 0 0 85 1 0 0 20 0 46 0 103347477 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231126012944 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8500] ppid=8456 vsize=16068328 memory=0 CPUtime=0.95 cores=0-7
/proc/8459/task/8500/stat : 8500 (java) R 8456 8459 8063 0 -1 4202560 136 0 0 0 95 0 0 0 20 0 46 0 103347477 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231124957016 140232178363591 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8501] ppid=8456 vsize=16068328 memory=0 CPUtime=1.51 cores=0-7
/proc/8459/task/8501/stat : 8501 (java) S 8456 8459 8063 0 -1 1077944384 78 0 0 0 151 0 0 0 20 0 46 0 103347477 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231123907856 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8502] ppid=8456 vsize=16068328 memory=11044 CPUtime=1.66 cores=0-7
/proc/8459/task/8502/stat : 8502 (java) S 8456 8459 8063 0 -1 1077944384 228 0 0 0 165 1 0 0 20 0 46 0 103347478 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231122855312 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8503] ppid=8456 vsize=16068328 memory=4 CPUtime=0.83 cores=0-7
/proc/8459/task/8503/stat : 8503 (java) S 8456 8459 8063 0 -1 1077944384 60 0 0 0 83 0 0 0 20 0 46 0 103347479 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231121802768 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8504] ppid=8456 vsize=16068328 memory=7017354955631474652 CPUtime=1.05 cores=0-7
/proc/8459/task/8504/stat : 8504 (java) S 8456 8459 8063 0 -1 1077944384 82 0 0 0 105 0 0 0 20 0 46 0 103347479 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231120750224 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8505] ppid=8456 vsize=16068328 memory=5796531123459805525 CPUtime=0.96 cores=0-7
/proc/8459/task/8505/stat : 8505 (java) S 8456 8459 8063 0 -1 1077944384 49 0 0 0 96 0 0 0 20 0 46 0 103347480 16453967872 290476 33554432000 4194304 4196468 140725400125680 140231119697680 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
Current children cumulated CPU time: 41.92 s
Current children cumulated vsize: 16068328 KiB
Current children cumulated memory: 1161904 KiB
[startup+6.80159 s]
/proc/loadavg: 7.51 8.40 8.15 17/224 8505
/proc/meminfo: memFree=30321620/32770624 swapFree=67108860/67108860
[pid=8459] ppid=8456 vsize=16068328 memory=1162036 CPUtime=44.47 cores=0-7
/proc/8459/stat : 8459 (java) S 8456 8459 8063 0 -1 1077944320 51429 0 0 0 4396 51 0 0 20 0 30 0 103347333 16453967872 290509 33554432000 4194304 4196468 140725400125680 140725400108224 140232545406711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
/proc/8459/statm: 4017082 290509 3833 1 0 4004276 0
[pid=8459/tid=8461] ppid=8456 vsize=16068328 memory=139667370975528 CPUtime=1.33 cores=0-7
/proc/8459/task/8461/stat : 8461 (java) D 8456 8459 8063 0 -1 4202560 12771 0 0 0 128 5 0 0 20 0 30 0 103347333 16453967872 290509 33554432000 4194304 4196468 140725400125680 140232549649336 140232538123674 0 4 0 16800975 18446744071582151463 0 0 -1 7 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8462] ppid=8456 vsize=16068328 memory=279334741943104 CPUtime=0.04 cores=0-7
/proc/8459/task/8462/stat : 8462 (java) S 8456 8459 8063 0 -1 1077944384 120 0 0 0 3 1 0 0 20 0 30 0 103347334 16453967872 290509 33554432000 4194304 4196468 140725400125680 140232498027280 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8463] ppid=8456 vsize=16068328 memory=5937524870553682016 CPUtime=0.03 cores=0-7
/proc/8459/task/8463/stat : 8463 (java) S 8456 8459 8063 0 -1 1077944384 107 0 0 0 2 1 0 0 20 0 30 0 103347334 16453967872 290509 33554432000 4194304 4196468 140725400125680 140232496974736 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8464] ppid=8456 vsize=16068328 memory=7230645025961766505 CPUtime=0.04 cores=0-7
/proc/8459/task/8464/stat : 8464 (java) S 8456 8459 8063 0 -1 1077944384 74 0 0 0 3 1 0 0 20 0 30 0 103347334 16453967872 290509 33554432000 4194304 4196468 140725400125680 140232495922192 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8465] ppid=8456 vsize=16068328 memory=38508005690090 CPUtime=0.03 cores=0-7
/proc/8459/task/8465/stat : 8465 (java) S 8456 8459 8063 0 -1 1077944384 159 0 0 0 2 1 0 0 20 0 30 0 103347334 16453967872 290509 33554432000 4194304 4196468 140725400125680 140232137829520 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8466] ppid=8456 vsize=16068328 memory=16557315350 CPUtime=0.02 cores=0-7
/proc/8459/task/8466/stat : 8466 (java) S 8456 8459 8063 0 -1 1077944384 58 0 0 0 1 1 0 0 20 0 30 0 103347334 16453967872 290509 33554432000 4194304 4196468 140725400125680 140232136775952 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8467] ppid=8456 vsize=16068328 memory=6084738611344414635 CPUtime=0.04 cores=0-7
/proc/8459/task/8467/stat : 8467 (java) S 8456 8459 8063 0 -1 1077944384 55 0 0 0 3 1 0 0 20 0 30 0 103347334 16453967872 290509 33554432000 4194304 4196468 140725400125680 140232135723408 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8468] ppid=8456 vsize=16068328 memory=7452446285255174743 CPUtime=0.03 cores=0-7
/proc/8459/task/8468/stat : 8468 (java) S 8456 8459 8063 0 -1 1077944384 73 0 0 0 2 1 0 0 20 0 30 0 103347334 16453967872 290509 33554432000 4194304 4196468 140725400125680 140232134670864 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8469] ppid=8456 vsize=16068328 memory=56 CPUtime=0.02 cores=0-7
/proc/8459/task/8469/stat : 8469 (java) S 8456 8459 8063 0 -1 1077944384 586 0 0 0 2 0 0 0 20 0 30 0 103347334 16453967872 290509 33554432000 4194304 4196468 140725400125680 140232133618320 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8470] ppid=8456 vsize=16068328 memory=288230617509003574 CPUtime=0.03 cores=0-7
/proc/8459/task/8470/stat : 8470 (java) S 8456 8459 8063 0 -1 1077944384 880 0 0 0 3 0 0 0 20 0 30 0 103347336 16453967872 290509 33554432000 4194304 4196468 140725400125680 140231734897136 140232545417858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8471] ppid=8456 vsize=16068328 memory=14972256832981423 CPUtime=0 cores=0-7
/proc/8459/task/8471/stat : 8471 (java) S 8456 8459 8063 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 30 0 103347336 16453967872 290509 33554432000 4194304 4196468 140725400125680 140231733843424 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8472] ppid=8456 vsize=16068328 memory=0 CPUtime=0.01 cores=0-7
/proc/8459/task/8472/stat : 8472 (java) S 8456 8459 8063 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 30 0 103347336 16453967872 290509 33554432000 4194304 4196468 140725400125680 140231732790784 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8473] ppid=8456 vsize=16068328 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8473/stat : 8473 (java) S 8456 8459 8063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 30 0 103347339 16453967872 290509 33554432000 4194304 4196468 140725400125680 140231731739344 140232545425307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8474] ppid=8456 vsize=16068328 memory=0 CPUtime=2.08 cores=0-7
/proc/8459/task/8474/stat : 8474 (java) S 8456 8459 8063 0 -1 1077944384 7835 0 0 0 205 3 0 0 20 0 30 0 103347339 16453967872 290491 33554432000 4194304 4196468 140725400125680 140231730685936 140232545417858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8475] ppid=8456 vsize=16068328 memory=0 CPUtime=1.85 cores=0-7
/proc/8459/task/8475/stat : 8475 (java) S 8456 8459 8063 0 -1 1077944384 7662 0 0 0 184 1 0 0 20 0 30 0 103347339 16453967872 290491 33554432000 4194304 4196468 140725400125680 140231729633392 140232545417858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8476] ppid=8456 vsize=16068328 memory=0 CPUtime=1.9 cores=0-7
/proc/8459/task/8476/stat : 8476 (java) S 8456 8459 8063 0 -1 1077944384 6962 0 0 0 188 2 0 0 20 0 30 0 103347339 16453967872 290473 33554432000 4194304 4196468 140725400125680 140231728580848 140232545417858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8477] ppid=8456 vsize=16068328 memory=0 CPUtime=0.78 cores=0-7
/proc/8459/task/8477/stat : 8477 (java) R 8456 8459 8063 0 -1 4202560 8308 0 0 0 76 2 0 0 20 0 22 0 103347339 16453967872 290455 33554432000 4194304 4196468 140725400125680 140231727528080 140232529646950 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8478] ppid=8456 vsize=16068328 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8478/stat : 8478 (java) S 8456 8459 8063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 103347339 16453967872 290455 33554432000 4194304 4196468 140725400125680 140231726476000 140232545416917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
[pid=8459/tid=8479] ppid=8456 vsize=16068328 memory=0 CPUtime=0 cores=0-7
/proc/8459/task/8479/stat : 8479 (java) S 8456 8459 8063 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 103347339 16453967872 290455 33554432000 4194304 4196468 140725400125680 140231725423536 140232545417858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 22581248 140725400134753 140725400134939 140725400134939 140725400137679 0
Current children cumulated CPU time: 44.47 s
Current children cumulated vsize: 16068328 KiB
Current children cumulated memory: 1162036 KiB
Child status: 0
Real time (s): 6.81836
CPU time (s): 44.4994
CPU user time (s): 43.9677
CPU system time (s): 0.531782
CPU usage (%): 652.642
Max. virtual memory (cumulated for all children) (KiB): 16068328
Max. memory (cumulated for all children) (KiB): 1162036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.9677
system time used= 0.531782
maximum resident set size= 1163204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51485
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12115
involuntary context switches= 2931
# summary of solver processes directly reported to runsolver:
# pid: 8459
# total CPU time (s): 44.4994
# total CPU user time (s): 43.9677
# total CPU system time (s): 0.531782
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.087903 second user time and 0.131472 second system time
The end
Begin job on node113 at 2017-08-14 11:08:58
IDJOB=4275256
IDBENCH=124106
IDSOLVER=2668
FILE ID=node113/4275256-1502702597
RUNJOBID= node113-1502699213-8090
PBS_JOBID= 20629008
Free space on /tmp= 61788 MiB
SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
BENCH NAME= XCSP17/AllInterval/AllInterval-m1-s1/AllInterval-012.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4275256-1502702597/watcher-4275256-1502702597 -o /tmp/evaluation-result-4275256-1502702597/solver-4275256-1502702597 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502699213-8090 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1253183667 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275256-1502702597.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= fe577b710e96b69a06cd84ef61ac8806
RANDOM SEED=1253183667
node113.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.89
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.89
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.89
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.89
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: 31470036 kB
MemAvailable: 31973908 kB
Buffers: 164628 kB
Cached: 614788 kB
SwapCached: 0 kB
Active: 613472 kB
Inactive: 220612 kB
Active(anon): 4824 kB
Inactive(anon): 77672 kB
Active(file): 608648 kB
Inactive(file): 142940 kB
Unevictable: 6588 kB
Mlocked: 6588 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 42244 kB
Writeback: 0 kB
AnonPages: 69888 kB
Mapped: 44100 kB
Shmem: 25224 kB
Slab: 162308 kB
SReclaimable: 136236 kB
SUnreclaim: 26072 kB
KernelStack: 3520 kB
PageTables: 4772 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 323544 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16384 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 116096 kB
DirectMap2M: 33429504 kB
Free space on /tmp at the end= 61748 MiB
End job on node113 at 2017-08-14 11:09:05