0.30/0.25 c version: 2017-07-26
0.30/0.25 c seed: 2013918069
0.30/0.25 c timeout: 20160
0.30/0.25 c memlimit: 11000
0.30/0.25 c nbcore: 8
0.30/0.28 c Parsing instance...
0.89/0.60 c Parsing done, starting search...
92.51/12.86 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 (15344 MiB free)
memory of node 1: 16384 MiB (15443 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275466-1502687392/watcher-4275466-1502687392 -o /tmp/evaluation-result-4275466-1502687392/solver-4275466-1502687392 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1502681025-4710 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 2013918069 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275466-1502687392.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=5222, runsolver pid=5219
[startup+0.100166 s]*
/proc/loadavg: 8.17 8.35 8.22 2/198 5242
/proc/meminfo: memFree=31508612/32770624 swapFree=67108860/67108860
[pid=5222] ppid=5219 vsize=14325320 memory=33960 CPUtime=0.12 cores=0-7
/proc/5222/stat : 5222 (java) S 5219 5222 4683 0 -1 1077944320 8390 0 0 0 10 2 0 0 20 0 20 0 101826963 14669127680 8490 33554432000 4194304 4196468 140728440725648 140728440708192 140599839411959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
/proc/5222/statm: 3581330 8490 3409 1 0 3569050 0
[pid=5222/tid=5224] ppid=5219 vsize=14325320 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/5222/task/5224/stat : 5224 (java) R 5219 5222 4683 0 -1 4202560 6327 0 0 0 7 1 0 0 20 0 20 0 101826963 14669127680 8490 33554432000 4194304 4196468 140728440725648 140599843628640 140599823492446 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5225] ppid=5219 vsize=14325320 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/5222/task/5225/stat : 5225 (java) S 5219 5222 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101826964 14669127680 8490 33554432000 4194304 4196468 140728440725648 140599792032144 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5226] ppid=5219 vsize=14325320 memory=140527108494976 CPUtime=0 cores=0-7
/proc/5222/task/5226/stat : 5226 (java) S 5219 5222 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101826964 14669127680 8490 33554432000 4194304 4196468 140728440725648 140599790979344 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5227] ppid=5219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5227/stat : 5227 (java) S 5219 5222 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101826964 14669127680 8490 33554432000 4194304 4196468 140728440725648 140599789927056 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5228] ppid=5219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5228/stat : 5228 (java) S 5219 5222 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101826964 14669127680 8490 33554432000 4194304 4196468 140728440725648 140599788874256 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5229] ppid=5219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5229/stat : 5229 (java) S 5219 5222 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101826964 14669127680 8490 33554432000 4194304 4196468 140728440725648 140599787821968 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5230] ppid=5219 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/5222/task/5230/stat : 5230 (java) S 5219 5222 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101826964 14669127680 8490 33554432000 4194304 4196468 140728440725648 140599786769168 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5231] ppid=5219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5231/stat : 5231 (java) S 5219 5222 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101826964 14669127680 8490 33554432000 4194304 4196468 140728440725648 140599785716880 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5232] ppid=5219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5232/stat : 5232 (java) S 5219 5222 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101826964 14669127680 8490 33554432000 4194304 4196468 140728440725648 140599784664080 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5233] ppid=5219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5233/stat : 5233 (java) S 5219 5222 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101826965 14669127680 8490 33554432000 4194304 4196468 140728440725648 140598893807728 140599839423106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5234] ppid=5219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5234/stat : 5234 (java) S 5219 5222 4683 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101826966 14669127680 8490 33554432000 4194304 4196468 140728440725648 140598892753696 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5235] ppid=5219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5235/stat : 5235 (java) S 5219 5222 4683 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101826966 14669127680 8490 33554432000 4194304 4196468 140728440725648 140598891701360 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5236] ppid=5219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5236/stat : 5236 (java) S 5219 5222 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101826969 14669127680 8490 33554432000 4194304 4196468 140728440725648 140598890649680 140599839430555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5237] ppid=5219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5237/stat : 5237 (java) S 5219 5222 4683 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 101826969 14669127680 8490 33554432000 4194304 4196468 140728440725648 140598889597552 140599839423106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5238] ppid=5219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5238/stat : 5238 (java) S 5219 5222 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101826969 14669127680 8490 33554432000 4194304 4196468 140728440725648 140598888544752 140599839423106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5239] ppid=5219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5239/stat : 5239 (java) S 5219 5222 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101826969 14669127680 8490 33554432000 4194304 4196468 140728440725648 140598887492464 140599839423106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5240] ppid=5219 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/5222/task/5240/stat : 5240 (java) R 5219 5222 4683 0 -1 4202560 379 0 0 0 1 0 0 0 20 0 20 0 101826969 14669127680 8490 33554432000 4194304 4196468 140728440725648 140598886439664 140599818369680 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5241] ppid=5219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5241/stat : 5241 (java) S 5219 5222 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101826969 14669127680 8490 33554432000 4194304 4196468 140728440725648 140598885386592 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5242] ppid=5219 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/5222/task/5242/stat : 5242 (java) S 5219 5222 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101826969 14669127680 8490 33554432000 4194304 4196468 140728440725648 140598884333872 140599839423106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 33960 KiB
[startup+0.210055 s]*
/proc/loadavg: 8.17 8.35 8.22 2/198 5242
/proc/meminfo: memFree=31500980/32770624 swapFree=67108860/67108860
[pid=5222] ppid=5219 vsize=14325320 memory=43108 CPUtime=0.3 cores=0-7
/proc/5222/stat : 5222 (java) S 5219 5222 4683 0 -1 1077944320 9389 0 0 0 27 3 0 0 20 0 20 0 101826963 14669127680 10777 33554432000 4194304 4196468 140728440725648 140728440708192 140599839411959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
/proc/5222/statm: 3581330 10777 3598 1 0 3569050 0
[pid=5222/tid=5224] ppid=5219 vsize=14325320 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/5222/task/5224/stat : 5224 (java) R 5219 5222 4683 0 -1 4202560 6954 0 0 0 17 2 0 0 20 0 20 0 101826963 14669127680 10777 33554432000 4194304 4196468 140728440725648 140599843635440 140599839435549 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5225] ppid=5219 vsize=14325320 memory=9292 CPUtime=0 cores=0-7
/proc/5222/task/5225/stat : 5225 (java) S 5219 5222 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101826964 14669127680 10777 33554432000 4194304 4196468 140728440725648 140599792032144 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5226] ppid=5219 vsize=14325320 memory=140527108500455 CPUtime=0 cores=0-7
/proc/5222/task/5226/stat : 5226 (java) S 5219 5222 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101826964 14669127680 10777 33554432000 4194304 4196468 140728440725648 140599790979344 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5227] ppid=5219 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/5222/task/5227/stat : 5227 (java) S 5219 5222 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101826964 14669127680 10777 33554432000 4194304 4196468 140728440725648 140599789927056 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5228] ppid=5219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5228/stat : 5228 (java) S 5219 5222 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101826964 14669127680 10777 33554432000 4194304 4196468 140728440725648 140599788874256 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5229] ppid=5219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5229/stat : 5229 (java) S 5219 5222 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101826964 14669127680 10777 33554432000 4194304 4196468 140728440725648 140599787821968 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5230] ppid=5219 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/5222/task/5230/stat : 5230 (java) S 5219 5222 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101826964 14669127680 10777 33554432000 4194304 4196468 140728440725648 140599786769168 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5231] ppid=5219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5231/stat : 5231 (java) S 5219 5222 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101826964 14669127680 10777 33554432000 4194304 4196468 140728440725648 140599785716880 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5232] ppid=5219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5232/stat : 5232 (java) S 5219 5222 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101826964 14669127680 10777 33554432000 4194304 4196468 140728440725648 140599784664080 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5233] ppid=5219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5233/stat : 5233 (java) S 5219 5222 4683 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 101826965 14669127680 10777 33554432000 4194304 4196468 140728440725648 140598893807728 140599839423106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5234] ppid=5219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5234/stat : 5234 (java) S 5219 5222 4683 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101826966 14669127680 10777 33554432000 4194304 4196468 140728440725648 140598892753696 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5235] ppid=5219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5235/stat : 5235 (java) S 5219 5222 4683 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101826966 14669127680 10777 33554432000 4194304 4196468 140728440725648 140598891701360 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5236] ppid=5219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5236/stat : 5236 (java) S 5219 5222 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101826969 14669127680 10777 33554432000 4194304 4196468 140728440725648 140598890649680 140599839430555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5237] ppid=5219 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/5222/task/5237/stat : 5237 (java) S 5219 5222 4683 0 -1 1077944384 454 0 0 0 1 0 0 0 20 0 20 0 101826969 14669127680 10777 33554432000 4194304 4196468 140728440725648 140598889597552 140599839423106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5238] ppid=5219 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/5222/task/5238/stat : 5238 (java) S 5219 5222 4683 0 -1 1077944384 181 0 0 0 1 0 0 0 20 0 20 0 101826969 14669127680 10777 33554432000 4194304 4196468 140728440725648 140598888544752 140599839423106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5239] ppid=5219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5239/stat : 5239 (java) S 5219 5222 4683 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 101826969 14669127680 10777 33554432000 4194304 4196468 140728440725648 140598887492464 140599839423106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5240] ppid=5219 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7
/proc/5222/task/5240/stat : 5240 (java) S 5219 5222 4683 0 -1 1077944384 397 0 0 0 5 0 0 0 20 0 20 0 101826969 14669127680 10777 33554432000 4194304 4196468 140728440725648 140598886439664 140599839423106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5241] ppid=5219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5241/stat : 5241 (java) S 5219 5222 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101826969 14669127680 10777 33554432000 4194304 4196468 140728440725648 140598885386592 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5242] ppid=5219 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/5222/task/5242/stat : 5242 (java) S 5219 5222 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101826969 14669127680 10777 33554432000 4194304 4196468 140728440725648 140598884333872 140599839423106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 43108 KiB
[startup+0.309465 s]*
/proc/loadavg: 8.17 8.35 8.22 3/198 5242
/proc/meminfo: memFree=31493784/32770624 swapFree=67108860/67108860
[pid=5222] ppid=5219 vsize=14325340 memory=50760 CPUtime=0.48 cores=0-7
/proc/5222/stat : 5222 (java) S 5219 5222 4683 0 -1 1077944320 10466 0 0 0 45 3 0 0 20 0 20 0 101826963 14669148160 12690 33554432000 4194304 4196468 140728440725648 140728440708192 140599839411959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
/proc/5222/statm: 3581335 12690 3722 1 0 3569050 0
[pid=5222/tid=5224] ppid=5219 vsize=14325340 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/5222/task/5224/stat : 5224 (java) R 5219 5222 4683 0 -1 4202560 7578 0 0 0 27 2 0 0 20 0 20 0 101826963 14669148160 12690 33554432000 4194304 4196468 140728440725648 140599843632288 140599823492446 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5225] ppid=5219 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5225/stat : 5225 (java) S 5219 5222 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101826964 14669148160 12690 33554432000 4194304 4196468 140728440725648 140599792032144 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5226] ppid=5219 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5226/stat : 5226 (java) S 5219 5222 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101826964 14669148160 12690 33554432000 4194304 4196468 140728440725648 140599790979344 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5227] ppid=5219 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5227/stat : 5227 (java) S 5219 5222 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101826964 14669148160 12690 33554432000 4194304 4196468 140728440725648 140599789927056 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5228] ppid=5219 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5228/stat : 5228 (java) S 5219 5222 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101826964 14669148160 12690 33554432000 4194304 4196468 140728440725648 140599788874256 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5229] ppid=5219 vsize=14325340 memory=2244 CPUtime=0 cores=0-7
/proc/5222/task/5229/stat : 5229 (java) S 5219 5222 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101826964 14669148160 12690 33554432000 4194304 4196468 140728440725648 140599787821968 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5230] ppid=5219 vsize=14325340 memory=140526967944111 CPUtime=0 cores=0-7
/proc/5222/task/5230/stat : 5230 (java) S 5219 5222 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101826964 14669148160 12690 33554432000 4194304 4196468 140728440725648 140599786769168 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5231] ppid=5219 vsize=14325340 memory=140526967946416 CPUtime=0 cores=0-7
/proc/5222/task/5231/stat : 5231 (java) S 5219 5222 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101826964 14669148160 12690 33554432000 4194304 4196468 140728440725648 140599785716880 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5232] ppid=5219 vsize=14325340 memory=140526967948720 CPUtime=0 cores=0-7
/proc/5222/task/5232/stat : 5232 (java) S 5219 5222 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101826964 14669148160 12690 33554432000 4194304 4196468 140728440725648 140599784664080 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5233] ppid=5219 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5233/stat : 5233 (java) S 5219 5222 4683 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 101826965 14669148160 12690 33554432000 4194304 4196468 140728440725648 140598893807728 140599839423106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5234] ppid=5219 vsize=14325340 memory=281053935904400 CPUtime=0 cores=0-7
/proc/5222/task/5234/stat : 5234 (java) S 5219 5222 4683 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101826966 14669148160 12690 33554432000 4194304 4196468 140728440725648 140598892753696 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5235] ppid=5219 vsize=14325340 memory=281053935911312 CPUtime=0 cores=0-7
/proc/5222/task/5235/stat : 5235 (java) S 5219 5222 4683 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101826966 14669148160 12690 33554432000 4194304 4196468 140728440725648 140598891701360 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5236] ppid=5219 vsize=14325340 memory=281053935852464 CPUtime=0 cores=0-7
/proc/5222/task/5236/stat : 5236 (java) S 5219 5222 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101826969 14669148160 12690 33554432000 4194304 4196468 140728440725648 140598890649680 140599839430555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5237] ppid=5219 vsize=14325340 memory=281053935925136 CPUtime=0.03 cores=0-7
/proc/5222/task/5237/stat : 5237 (java) S 5219 5222 4683 0 -1 1077944384 653 0 0 0 3 0 0 0 20 0 20 0 101826969 14669148160 12690 33554432000 4194304 4196468 140728440725648 140598889597552 140599839423106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5238] ppid=5219 vsize=14325340 memory=281053935932048 CPUtime=0.03 cores=0-7
/proc/5222/task/5238/stat : 5238 (java) S 5219 5222 4683 0 -1 1077944384 331 0 0 0 3 0 0 0 20 0 20 0 101826969 14669148160 12690 33554432000 4194304 4196468 140728440725648 140598888544752 140599839423106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5239] ppid=5219 vsize=14325340 memory=281053935929744 CPUtime=0.03 cores=0-7
/proc/5222/task/5239/stat : 5239 (java) S 5219 5222 4683 0 -1 1077944384 111 0 0 0 3 0 0 0 20 0 20 0 101826969 14669148160 12690 33554432000 4194304 4196468 140728440725648 140598887492464 140599839423106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5240] ppid=5219 vsize=14325340 memory=281053935946352 CPUtime=0.08 cores=0-7
/proc/5222/task/5240/stat : 5240 (java) S 5219 5222 4683 0 -1 1077944384 410 0 0 0 8 0 0 0 20 0 20 0 101826969 14669148160 12690 33554432000 4194304 4196468 140728440725648 140598886439664 140599839423106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5241] ppid=5219 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5241/stat : 5241 (java) S 5219 5222 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101826969 14669148160 12690 33554432000 4194304 4196468 140728440725648 140598885386592 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5242] ppid=5219 vsize=14325340 memory=-1 CPUtime=0 cores=0-7
/proc/5222/task/5242/stat : 5242 (java) S 5219 5222 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101826969 14669148160 12690 33554432000 4194304 4196468 140728440725648 140598884333872 140599839423106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 14325340 KiB
Current children cumulated memory: 50760 KiB
[startup+0.70087 s]
/proc/loadavg: 8.17 8.35 8.22 6/198 5242
/proc/meminfo: memFree=31480260/32770624 swapFree=67108860/67108860
[pid=5222] ppid=5219 vsize=14329436 memory=86312 CPUtime=1.39 cores=0-7
/proc/5222/stat : 5222 (java) S 5219 5222 4683 0 -1 1077944320 14177 0 0 0 134 5 0 0 20 0 20 0 101826963 14673342464 21578 33554432000 4194304 4196468 140728440725648 140728440708192 140599839411959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
/proc/5222/statm: 3582359 21578 3772 1 0 3570074 0
[pid=5222/tid=5224] ppid=5219 vsize=14329436 memory=0 CPUtime=0.67 cores=0-7
/proc/5222/task/5224/stat : 5224 (java) R 5219 5222 4683 0 -1 4202560 9177 0 0 0 64 3 0 0 20 0 20 0 101826963 14673342464 21578 33554432000 4194304 4196468 140728440725648 140599843619088 140599839433885 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5225] ppid=5219 vsize=14329436 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5225/stat : 5225 (java) S 5219 5222 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101826964 14673342464 21578 33554432000 4194304 4196468 140728440725648 140599792032144 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5226] ppid=5219 vsize=14329436 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5226/stat : 5226 (java) S 5219 5222 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101826964 14673342464 21578 33554432000 4194304 4196468 140728440725648 140599790979344 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5227] ppid=5219 vsize=14329436 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5227/stat : 5227 (java) S 5219 5222 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101826964 14673342464 21578 33554432000 4194304 4196468 140728440725648 140599789927056 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5228] ppid=5219 vsize=14329436 memory=1228 CPUtime=0 cores=0-7
/proc/5222/task/5228/stat : 5228 (java) S 5219 5222 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101826964 14673342464 21578 33554432000 4194304 4196468 140728440725648 140599788874256 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5229] ppid=5219 vsize=14329436 memory=10928 CPUtime=0 cores=0-7
/proc/5222/task/5229/stat : 5229 (java) S 5219 5222 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101826964 14673342464 21578 33554432000 4194304 4196468 140728440725648 140599787821968 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5230] ppid=5219 vsize=14329436 memory=796 CPUtime=0 cores=0-7
/proc/5222/task/5230/stat : 5230 (java) S 5219 5222 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101826964 14673342464 21578 33554432000 4194304 4196468 140728440725648 140599786769168 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5231] ppid=5219 vsize=14329436 memory=1424 CPUtime=0 cores=0-7
/proc/5222/task/5231/stat : 5231 (java) S 5219 5222 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101826964 14673342464 21578 33554432000 4194304 4196468 140728440725648 140599785716880 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5232] ppid=5219 vsize=14329436 memory=15872 CPUtime=0 cores=0-7
/proc/5222/task/5232/stat : 5232 (java) S 5219 5222 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101826964 14673342464 21578 33554432000 4194304 4196468 140728440725648 140599784664080 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5233] ppid=5219 vsize=14329436 memory=4052 CPUtime=0 cores=0-7
/proc/5222/task/5233/stat : 5233 (java) S 5219 5222 4683 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 101826965 14673342464 21578 33554432000 4194304 4196468 140728440725648 140598893807728 140599839423106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
################
# More data... #
################
[pid=5222/tid=5243] ppid=5219 vsize=16001764 memory=0 CPUtime=0.03 cores=0-7
/proc/5222/task/5243/stat : 5243 (java) S 5219 5222 4683 0 -1 1077944384 258 0 0 0 3 0 0 0 20 0 45 0 101827093 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598874047312 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5244] ppid=5219 vsize=16001764 memory=140526969205497 CPUtime=0.01 cores=0-7
/proc/5222/task/5244/stat : 5244 (java) S 5219 5222 4683 0 -1 1077944384 807 0 0 0 0 1 0 0 20 0 45 0 101827105 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598870897552 140599839423106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5245] ppid=5219 vsize=16001764 memory=281053938275328 CPUtime=3.6 cores=0-7
/proc/5222/task/5245/stat : 5245 (java) R 5219 5222 4683 0 -1 4202560 312 0 0 0 360 0 0 0 20 0 45 0 101827115 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598869844560 140599470977748 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5246] ppid=5219 vsize=16001764 memory=0 CPUtime=4.87 cores=0-7
/proc/5222/task/5246/stat : 5246 (java) S 5219 5222 4683 0 -1 1077944384 238 0 0 0 486 1 0 0 20 0 45 0 101827116 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598868792720 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5247] ppid=5219 vsize=16001764 memory=0 CPUtime=4.9 cores=0-7
/proc/5222/task/5247/stat : 5247 (java) R 5219 5222 4683 0 -1 4202560 266 0 0 0 488 2 0 0 20 0 45 0 101827116 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598867739472 140599462536308 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5248] ppid=5219 vsize=16001764 memory=0 CPUtime=3.99 cores=0-7
/proc/5222/task/5248/stat : 5248 (java) S 5219 5222 4683 0 -1 1077944384 166 0 0 0 399 0 0 0 20 0 45 0 101827116 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598866687632 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5249] ppid=5219 vsize=16001764 memory=0 CPUtime=6.68 cores=0-7
/proc/5222/task/5249/stat : 5249 (java) S 5219 5222 4683 0 -1 1077944384 337 0 0 0 666 2 0 0 20 0 45 0 101827116 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598865634320 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5250] ppid=5219 vsize=16001764 memory=0 CPUtime=5.12 cores=0-7
/proc/5222/task/5250/stat : 5250 (java) R 5219 5222 4683 0 -1 4202560 952 0 0 0 511 1 0 0 20 0 45 0 101827119 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598862483408 140599470976819 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5251] ppid=5219 vsize=16001764 memory=0 CPUtime=3.12 cores=0-7
/proc/5222/task/5251/stat : 5251 (java) R 5219 5222 4683 0 -1 4202560 224 0 0 0 312 0 0 0 20 0 45 0 101827119 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598861431120 140599471591640 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5252] ppid=5219 vsize=16001764 memory=0 CPUtime=5.22 cores=0-7
/proc/5222/task/5252/stat : 5252 (java) R 5219 5222 4683 0 -1 1077944384 279 0 0 0 520 2 0 0 20 0 45 0 101827119 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598860379280 140599839422165 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5253] ppid=5219 vsize=16001764 memory=0 CPUtime=2.88 cores=0-7
/proc/5222/task/5253/stat : 5253 (java) R 5219 5222 4683 0 -1 1077944384 152 0 0 0 288 0 0 0 20 0 45 0 101827120 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598859326992 140599839422165 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5254] ppid=5219 vsize=16001764 memory=0 CPUtime=1.49 cores=0-7
/proc/5222/task/5254/stat : 5254 (java) S 5219 5222 4683 0 -1 1077944384 186 0 0 0 149 0 0 0 20 0 45 0 101827120 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598858274192 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5255] ppid=5219 vsize=16001764 memory=0 CPUtime=4.01 cores=0-7
/proc/5222/task/5255/stat : 5255 (java) S 5219 5222 4683 0 -1 1077944384 249 0 0 0 401 0 0 0 20 0 45 0 101827127 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598857221904 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5256] ppid=5219 vsize=16001764 memory=0 CPUtime=1.83 cores=0-7
/proc/5222/task/5256/stat : 5256 (java) R 5219 5222 4683 0 -1 1077944384 205 0 0 0 182 1 0 0 20 0 45 0 101827127 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598856169104 140599839422165 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5257] ppid=5219 vsize=16001764 memory=0 CPUtime=2.64 cores=0-7
/proc/5222/task/5257/stat : 5257 (java) R 5219 5222 4683 0 -1 4202560 120 0 0 0 264 0 0 0 20 0 45 0 101827203 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598852981776 140599470978314 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5258] ppid=5219 vsize=16001764 memory=0 CPUtime=4.93 cores=0-7
/proc/5222/task/5258/stat : 5258 (java) S 5219 5222 4683 0 -1 1077944384 301 0 0 0 491 2 0 0 20 0 45 0 101827205 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598851928976 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5259] ppid=5219 vsize=16001764 memory=0 CPUtime=4.62 cores=0-7
/proc/5222/task/5259/stat : 5259 (java) S 5219 5222 4683 0 -1 1077944384 234 0 0 0 461 1 0 0 20 0 45 0 101827229 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598850876688 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5260] ppid=5219 vsize=16001764 memory=0 CPUtime=4.12 cores=0-7
/proc/5222/task/5260/stat : 5260 (java) R 5219 5222 4683 0 -1 4202560 433 0 0 0 410 2 0 0 20 0 45 0 101827240 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598849822928 140599471034522 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5261] ppid=5219 vsize=16001764 memory=0 CPUtime=2.89 cores=0-7
/proc/5222/task/5261/stat : 5261 (java) R 5219 5222 4683 0 -1 4202560 258 0 0 0 289 0 0 0 20 0 45 0 101827242 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598848770640 140599470748834 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5262] ppid=5219 vsize=16001764 memory=0 CPUtime=3.09 cores=0-7
/proc/5222/task/5262/stat : 5262 (java) S 5219 5222 4683 0 -1 1077944384 151 0 0 0 308 1 0 0 20 0 45 0 101827262 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598847718800 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5263] ppid=5219 vsize=16001764 memory=0 CPUtime=3.54 cores=0-7
/proc/5222/task/5263/stat : 5263 (java) S 5219 5222 4683 0 -1 1077944384 203 0 0 0 353 1 0 0 20 0 45 0 101827307 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598846666512 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5264] ppid=5219 vsize=16001764 memory=0 CPUtime=2.59 cores=0-7
/proc/5222/task/5264/stat : 5264 (java) S 5219 5222 4683 0 -1 1077944384 185 0 0 0 258 1 0 0 20 0 45 0 101827330 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598845613712 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5265] ppid=5219 vsize=16001764 memory=0 CPUtime=4.67 cores=0-7
/proc/5222/task/5265/stat : 5265 (java) R 5219 5222 4683 0 -1 4202560 273 0 0 0 466 1 0 0 20 0 45 0 101827425 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598844559440 140599470977152 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5266] ppid=5219 vsize=16001764 memory=0 CPUtime=2.97 cores=0-7
/proc/5222/task/5266/stat : 5266 (java) S 5219 5222 4683 0 -1 1077944384 207 0 0 0 295 2 0 0 20 0 45 0 101827426 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598843507600 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5267] ppid=5219 vsize=16001764 memory=0 CPUtime=0.25 cores=0-7
/proc/5222/task/5267/stat : 5267 (java) S 5219 5222 4683 0 -1 1077944384 31 0 0 0 25 0 0 0 20 0 45 0 101828053 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598413878544 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
Current children cumulated CPU time: 91.83 s
Current children cumulated vsize: 16001764 KiB
Current children cumulated memory: 1158284 KiB
[startup+12.8897 s]
# the end of solver process 5222 was just reported to runsolver
# cumulated CPU time of all completed processes: user=92.0467 s, system=0.665005 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8021 s]
/proc/loadavg: 8.46 8.41 8.24 9/223 5267
/proc/meminfo: memFree=30383204/32770624 swapFree=67108860/67108860
[pid=5222] ppid=5219 vsize=16001764 memory=1158284 CPUtime=92.51 cores=0-7
/proc/5222/stat : 5222 (java) S 5219 5222 4683 0 -1 1077944320 56938 0 0 0 9187 64 0 0 20 0 45 0 101826963 16385806336 289571 33554432000 4194304 4196468 140728440725648 140728440708192 140599839411959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
/proc/5222/statm: 4000441 289571 3847 1 0 3987635 0
[pid=5222/tid=5224] ppid=5219 vsize=16001764 memory=33 CPUtime=1.52 cores=0-7
/proc/5222/task/5224/stat : 5224 (java) S 5219 5222 4683 0 -1 1077944384 12957 0 0 0 146 6 0 0 20 0 45 0 101826963 16385806336 289571 33554432000 4194304 4196468 140728440725648 140599843649664 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5225] ppid=5219 vsize=16001764 memory=4132 CPUtime=0.05 cores=0-7
/proc/5222/task/5225/stat : 5225 (java) S 5219 5222 4683 0 -1 1077944384 106 0 0 0 3 2 0 0 20 0 45 0 101826964 16385806336 289571 33554432000 4194304 4196468 140728440725648 140599792032144 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5226] ppid=5219 vsize=16001764 memory=0 CPUtime=0.04 cores=0-7
/proc/5222/task/5226/stat : 5226 (java) S 5219 5222 4683 0 -1 1077944384 629 0 0 0 3 1 0 0 20 0 45 0 101826964 16385806336 289571 33554432000 4194304 4196468 140728440725648 140599790979344 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5227] ppid=5219 vsize=16001764 memory=4132 CPUtime=0.05 cores=0-7
/proc/5222/task/5227/stat : 5227 (java) S 5219 5222 4683 0 -1 1077944384 110 0 0 0 4 1 0 0 20 0 45 0 101826964 16385806336 289571 33554432000 4194304 4196468 140728440725648 140599789927056 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5228] ppid=5219 vsize=16001764 memory=29184 CPUtime=0.06 cores=0-7
/proc/5222/task/5228/stat : 5228 (java) S 5219 5222 4683 0 -1 1077944384 777 0 0 0 4 2 0 0 20 0 45 0 101826964 16385806336 289571 33554432000 4194304 4196468 140728440725648 140599788874256 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5229] ppid=5219 vsize=16001764 memory=56 CPUtime=0.04 cores=0-7
/proc/5222/task/5229/stat : 5229 (java) S 5219 5222 4683 0 -1 1077944384 128 0 0 0 3 1 0 0 20 0 45 0 101826964 16385806336 289571 33554432000 4194304 4196468 140728440725648 140599787821968 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5230] ppid=5219 vsize=16001764 memory=0 CPUtime=0.04 cores=0-7
/proc/5222/task/5230/stat : 5230 (java) S 5219 5222 4683 0 -1 1077944384 592 0 0 0 3 1 0 0 20 0 45 0 101826964 16385806336 289571 33554432000 4194304 4196468 140728440725648 140599786769168 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5231] ppid=5219 vsize=16001764 memory=0 CPUtime=0.05 cores=0-7
/proc/5222/task/5231/stat : 5231 (java) S 5219 5222 4683 0 -1 1077944384 185 0 0 0 3 2 0 0 20 0 45 0 101826964 16385806336 289571 33554432000 4194304 4196468 140728440725648 140599785716880 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5232] ppid=5219 vsize=16001764 memory=8112282956445269571 CPUtime=0.06 cores=0-7
/proc/5222/task/5232/stat : 5232 (java) S 5219 5222 4683 0 -1 1077944384 148 0 0 0 4 2 0 0 20 0 45 0 101826964 16385806336 289571 33554432000 4194304 4196468 140728440725648 140599784664080 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5233] ppid=5219 vsize=16001764 memory=0 CPUtime=0.03 cores=0-7
/proc/5222/task/5233/stat : 5233 (java) S 5219 5222 4683 0 -1 1077944384 1305 0 0 0 3 0 0 0 20 0 45 0 101826965 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598893807728 140599839423106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5234] ppid=5219 vsize=16001764 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5234/stat : 5234 (java) S 5219 5222 4683 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 45 0 101826966 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598892753760 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5235] ppid=5219 vsize=16001764 memory=399 CPUtime=0 cores=0-7
/proc/5222/task/5235/stat : 5235 (java) S 5219 5222 4683 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 45 0 101826966 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598891701376 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5236] ppid=5219 vsize=16001764 memory=611 CPUtime=0 cores=0-7
/proc/5222/task/5236/stat : 5236 (java) S 5219 5222 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 45 0 101826969 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598890649680 140599839430555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5237] ppid=5219 vsize=16001764 memory=460 CPUtime=1.48 cores=0-7
/proc/5222/task/5237/stat : 5237 (java) S 5219 5222 4683 0 -1 1077944384 7077 0 0 0 145 3 0 0 20 0 45 0 101826969 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598889597552 140599839423106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5238] ppid=5219 vsize=16001764 memory=256 CPUtime=1.64 cores=0-7
/proc/5222/task/5238/stat : 5238 (java) S 5219 5222 4683 0 -1 1077944384 8359 0 0 0 163 1 0 0 20 0 45 0 101826969 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598888544752 140599839423106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5239] ppid=5219 vsize=16001764 memory=56 CPUtime=1.47 cores=0-7
/proc/5222/task/5239/stat : 5239 (java) S 5219 5222 4683 0 -1 1077944384 7521 0 0 0 146 1 0 0 20 0 45 0 101826969 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598887492464 140599839423106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5240] ppid=5219 vsize=16001764 memory=7523944133368635760 CPUtime=0.81 cores=0-7
/proc/5222/task/5240/stat : 5240 (java) S 5219 5222 4683 0 -1 1077944384 8506 0 0 0 80 1 0 0 20 0 45 0 101826969 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598886439664 140599839423106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5241] ppid=5219 vsize=16001764 memory=7157735280213775973 CPUtime=0 cores=0-7
/proc/5222/task/5241/stat : 5241 (java) S 5219 5222 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 101826969 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598885386592 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5242] ppid=5219 vsize=16001764 memory=0 CPUtime=0 cores=0-7
/proc/5222/task/5242/stat : 5242 (java) S 5219 5222 4683 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 45 0 101826969 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598884333872 140599839423106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5243] ppid=5219 vsize=16001764 memory=7521693501921252455 CPUtime=0.03 cores=0-7
/proc/5222/task/5243/stat : 5243 (java) S 5219 5222 4683 0 -1 1077944384 258 0 0 0 3 0 0 0 20 0 45 0 101827093 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598874047312 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5244] ppid=5219 vsize=16001764 memory=0 CPUtime=0.01 cores=0-7
/proc/5222/task/5244/stat : 5244 (java) S 5219 5222 4683 0 -1 1077944384 807 0 0 0 0 1 0 0 20 0 45 0 101827105 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598870897552 140599839423106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5245] ppid=5219 vsize=16001764 memory=0 CPUtime=3.69 cores=0-7
/proc/5222/task/5245/stat : 5245 (java) R 5219 5222 4683 0 -1 4202560 320 0 0 0 369 0 0 0 20 0 45 0 101827115 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598869844560 140599471034554 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5246] ppid=5219 vsize=16001764 memory=0 CPUtime=4.87 cores=0-7
/proc/5222/task/5246/stat : 5246 (java) S 5219 5222 4683 0 -1 1077944384 238 0 0 0 486 1 0 0 20 0 45 0 101827116 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598868792720 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5247] ppid=5219 vsize=16001764 memory=141 CPUtime=4.99 cores=0-7
/proc/5222/task/5247/stat : 5247 (java) R 5219 5222 4683 0 -1 4202560 269 0 0 0 497 2 0 0 20 0 45 0 101827116 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598867739472 140599471268839 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5248] ppid=5219 vsize=16001764 memory=155 CPUtime=3.99 cores=0-7
/proc/5222/task/5248/stat : 5248 (java) S 5219 5222 4683 0 -1 1077944384 166 0 0 0 399 0 0 0 20 0 45 0 101827116 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598866687632 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5249] ppid=5219 vsize=16001764 memory=141 CPUtime=6.68 cores=0-7
/proc/5222/task/5249/stat : 5249 (java) S 5219 5222 4683 0 -1 1077944384 337 0 0 0 666 2 0 0 20 0 45 0 101827116 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598865634320 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5250] ppid=5219 vsize=16001764 memory=7446 CPUtime=5.19 cores=0-7
/proc/5222/task/5250/stat : 5250 (java) S 5219 5222 4683 0 -1 1077944384 954 0 0 0 518 1 0 0 20 0 45 0 101827119 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598862484368 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5251] ppid=5219 vsize=16001764 memory=152 CPUtime=3.21 cores=0-7
/proc/5222/task/5251/stat : 5251 (java) S 5219 5222 4683 0 -1 1077944384 230 0 0 0 321 0 0 0 20 0 45 0 101827119 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598861432080 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5252] ppid=5219 vsize=16001764 memory=5 CPUtime=5.22 cores=0-7
/proc/5222/task/5252/stat : 5252 (java) S 5219 5222 4683 0 -1 1077944384 279 0 0 0 520 2 0 0 20 0 45 0 101827119 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598860379280 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5253] ppid=5219 vsize=16001764 memory=4 CPUtime=2.88 cores=0-7
/proc/5222/task/5253/stat : 5253 (java) S 5219 5222 4683 0 -1 1077944384 152 0 0 0 288 0 0 0 20 0 45 0 101827120 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598859326992 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5254] ppid=5219 vsize=16001764 memory=5 CPUtime=1.49 cores=0-7
/proc/5222/task/5254/stat : 5254 (java) S 5219 5222 4683 0 -1 1077944384 186 0 0 0 149 0 0 0 20 0 45 0 101827120 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598858274192 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5255] ppid=5219 vsize=16001764 memory=5 CPUtime=4.01 cores=0-7
/proc/5222/task/5255/stat : 5255 (java) S 5219 5222 4683 0 -1 1077944384 249 0 0 0 401 0 0 0 20 0 45 0 101827127 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598857221904 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5256] ppid=5219 vsize=16001764 memory=4 CPUtime=1.83 cores=0-7
/proc/5222/task/5256/stat : 5256 (java) S 5219 5222 4683 0 -1 1077944384 205 0 0 0 182 1 0 0 20 0 45 0 101827127 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598856169104 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5257] ppid=5219 vsize=16001764 memory=4 CPUtime=2.73 cores=0-7
/proc/5222/task/5257/stat : 5257 (java) S 5219 5222 4683 0 -1 1077944384 120 0 0 0 273 0 0 0 20 0 45 0 101827203 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598852981776 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5258] ppid=5219 vsize=16001764 memory=1296 CPUtime=4.93 cores=0-7
/proc/5222/task/5258/stat : 5258 (java) S 5219 5222 4683 0 -1 1077944384 301 0 0 0 491 2 0 0 20 0 45 0 101827205 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598851928976 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5259] ppid=5219 vsize=16001764 memory=2408 CPUtime=4.62 cores=0-7
/proc/5222/task/5259/stat : 5259 (java) S 5219 5222 4683 0 -1 1077944384 234 0 0 0 461 1 0 0 20 0 45 0 101827229 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598850876688 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5260] ppid=5219 vsize=16001764 memory=1728 CPUtime=4.19 cores=0-7
/proc/5222/task/5260/stat : 5260 (java) S 5219 5222 4683 0 -1 1077944384 435 0 0 0 417 2 0 0 20 0 45 0 101827240 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598849823888 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5261] ppid=5219 vsize=16001764 memory=1720 CPUtime=2.98 cores=0-7
/proc/5222/task/5261/stat : 5261 (java) R 5219 5222 4683 0 -1 4202560 260 0 0 0 298 0 0 0 20 0 45 0 101827242 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598848770640 140599470979798 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5262] ppid=5219 vsize=16001764 memory=8996 CPUtime=3.09 cores=0-7
/proc/5222/task/5262/stat : 5262 (java) S 5219 5222 4683 0 -1 1077944384 151 0 0 0 308 1 0 0 20 0 45 0 101827262 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598847718800 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5263] ppid=5219 vsize=16001764 memory=6656426216303648864 CPUtime=3.54 cores=0-7
/proc/5222/task/5263/stat : 5263 (java) S 5219 5222 4683 0 -1 1077944384 203 0 0 0 353 1 0 0 20 0 45 0 101827307 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598846666512 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5264] ppid=5219 vsize=16001764 memory=4 CPUtime=2.59 cores=0-7
/proc/5222/task/5264/stat : 5264 (java) S 5219 5222 4683 0 -1 1077944384 185 0 0 0 258 1 0 0 20 0 45 0 101827330 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598845613712 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5265] ppid=5219 vsize=16001764 memory=140526968142797 CPUtime=4.76 cores=0-7
/proc/5222/task/5265/stat : 5265 (java) R 5219 5222 4683 0 -1 4202560 275 0 0 0 475 1 0 0 20 0 45 0 101827425 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598844559440 140599470979652 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5266] ppid=5219 vsize=16001764 memory=8112282956445269571 CPUtime=2.97 cores=0-7
/proc/5222/task/5266/stat : 5266 (java) S 5219 5222 4683 0 -1 1077944384 207 0 0 0 295 2 0 0 20 0 45 0 101827426 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598843507600 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
[pid=5222/tid=5267] ppid=5219 vsize=16001764 memory=0 CPUtime=0.25 cores=0-7
/proc/5222/task/5267/stat : 5267 (java) S 5219 5222 4683 0 -1 1077944384 31 0 0 0 25 0 0 0 20 0 45 0 101828053 16385806336 289571 33554432000 4194304 4196468 140728440725648 140598413878544 140599839422165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27373568 140728440734817 140728440735003 140728440735003 140728440737743 0
Current children cumulated CPU time: 92.51 s
Current children cumulated vsize: 16001764 KiB
Current children cumulated memory: 1158284 KiB
Child status: 0
Real time (s): 12.8897
CPU time (s): 92.7117
CPU user time (s): 92.0467
CPU system time (s): 0.665005
CPU usage (%): 719.267
Max. virtual memory (cumulated for all children) (KiB): 16001764
Max. memory (cumulated for all children) (KiB): 1159244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.0467
system time used= 0.665005
maximum resident set size= 1161332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62222
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= 13314
involuntary context switches= 5490
# summary of solver processes directly reported to runsolver:
# pid: 5222
# total CPU time (s): 92.7117
# total CPU user time (s): 92.0467
# total CPU system time (s): 0.665005
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.139574 second user time and 0.207659 second system time
The end
Begin job on node115 at 2017-08-14 06:55:34
IDJOB=4275466
IDBENCH=122874
IDSOLVER=2668
FILE ID=node115/4275466-1502687392
RUNJOBID= node115-1502681025-4710
PBS_JOBID= 20628989
Free space on /tmp= 61812 MiB
SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
BENCH NAME= XCSP17/Mixed/Mixed-xcsp2-cril/cril-7_X2.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-4275466-1502687392/watcher-4275466-1502687392 -o /tmp/evaluation-result-4275466-1502687392/solver-4275466-1502687392 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1502681025-4710 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 2013918069 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275466-1502687392.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 5e218b581bf3702f20459c06ac876610
RANDOM SEED=2013918069
node115.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.69
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.69
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.69
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.69
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: 31527744 kB
MemAvailable: 31980004 kB
Buffers: 149996 kB
Cached: 588476 kB
SwapCached: 0 kB
Active: 566164 kB
Inactive: 228916 kB
Active(anon): 5300 kB
Inactive(anon): 79436 kB
Active(file): 560864 kB
Inactive(file): 149480 kB
Unevictable: 6172 kB
Mlocked: 6172 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 42488 kB
Writeback: 0 kB
AnonPages: 214232 kB
Mapped: 44564 kB
Shmem: 25224 kB
Slab: 141444 kB
SReclaimable: 115500 kB
SUnreclaim: 25944 kB
KernelStack: 3680 kB
PageTables: 5976 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 324268 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 159744 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 105856 kB
DirectMap2M: 33439744 kB
Free space on /tmp at the end= 61772 MiB
End job on node115 at 2017-08-14 06:55:47