0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399507-1568705297.xml" -tl '20160s' -p 8
0.12/0.18 c Choco e747e1e
0.12/0.18 c [HOME/instance-4399507-1568705297.xml, -tl, 20160s, -p, 8]
0.34/0.22 c 8 solvers in parallel
0.34/0.29 c parse instance...
0.96/0.58 c solve instance...
309.45/40.96 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 (15278 MiB free)
memory of node 1: 16384 MiB (15697 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399507-1568705297/watcher-4399507-1568705297 -o /tmp/evaluation-result-4399507-1568705297/solver-4399507-1568705297 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568700707-29089 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 296129208 HOME/instance-4399507-1568705297.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=32152, runsolver pid=32149
[startup+0.100113 s]*
/proc/loadavg: 7.55 8.16 8.19 2/211 32173
/proc/meminfo: memFree=31701160/32770624 swapFree=66977172/67108860
[pid=32152] ppid=32149 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/32152/stat : 32152 (xcsp3-exec) S 32149 32152 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446792357 115843072 363 33554432000 4194304 5098028 140728031547856 140728031545960 140016711520892 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11780096 140728031556470 140728031556713 140728031556713 140728031559626 0
/proc/32152/statm: 28282 363 304 221 0 87 0
[pid=32154] ppid=32152 vsize=28227396 memory=29888 CPUtime=0.12 cores=0-7
/proc/32154/stat : 32154 (java) S 32152 32152 29062 0 -1 1077944320 5899 0 0 0 11 1 0 0 20 0 20 0 446792358 28904853504 7472 33554432000 4194304 4196468 140726379332080 140726379314624 140511915671287 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
/proc/32154/statm: 7056849 7472 3129 1 0 7019032 0
[pid=32154/tid=32155] ppid=32152 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/32154/task/32155/stat : 32155 (java) R 32152 32152 29062 0 -1 4202560 3782 0 0 0 8 1 0 0 20 0 20 0 446792358 28904853504 7472 33554432000 4194304 4196468 140726379332080 140511919904560 140511549668934 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32156] ppid=32152 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32154/task/32156/stat : 32156 (java) S 32152 32152 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446792359 28904853504 7472 33554432000 4194304 4196468 140726379332080 140511872224144 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32157] ppid=32152 vsize=28227396 memory=140411655698048 CPUtime=0 cores=0-7
/proc/32154/task/32157/stat : 32157 (java) S 32152 32152 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446792359 28904853504 7472 33554432000 4194304 4196468 140726379332080 140511871171344 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32158] ppid=32152 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32154/task/32158/stat : 32158 (java) S 32152 32152 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446792359 28904853504 7472 33554432000 4194304 4196468 140726379332080 140511870119056 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32159] ppid=32152 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32154/task/32159/stat : 32159 (java) S 32152 32152 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446792359 28904853504 7472 33554432000 4194304 4196468 140726379332080 140511463726096 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32160] ppid=32152 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32154/task/32160/stat : 32160 (java) S 32152 32152 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446792359 28904853504 7472 33554432000 4194304 4196468 140726379332080 140511462672784 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32161] ppid=32152 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/32154/task/32161/stat : 32161 (java) S 32152 32152 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446792359 28904853504 7472 33554432000 4194304 4196468 140726379332080 140511461619984 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32162] ppid=32152 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32154/task/32162/stat : 32162 (java) S 32152 32152 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446792359 28904853504 7472 33554432000 4194304 4196468 140726379332080 140511460567696 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32163] ppid=32152 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32154/task/32163/stat : 32163 (java) S 32152 32152 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446792359 28904853504 7472 33554432000 4194304 4196468 140726379332080 140511459514896 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32164] ppid=32152 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32154/task/32164/stat : 32164 (java) S 32152 32152 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446792360 28904853504 7472 33554432000 4194304 4196468 140726379332080 140511300442736 140511915682434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32165] ppid=32152 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32154/task/32165/stat : 32165 (java) S 32152 32152 29062 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 446792361 28904853504 7472 33554432000 4194304 4196468 140726379332080 140511299388704 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32166] ppid=32152 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32154/task/32166/stat : 32166 (java) S 32152 32152 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446792361 28904853504 7472 33554432000 4194304 4196468 140726379332080 140511298336368 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32167] ppid=32152 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32154/task/32167/stat : 32167 (java) S 32152 32152 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446792363 28904853504 7472 33554432000 4194304 4196468 140726379332080 140511297284688 140511915689883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32168] ppid=32152 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32154/task/32168/stat : 32168 (java) S 32152 32152 29062 0 -1 1077944384 443 0 0 0 0 0 0 0 20 0 20 0 446792363 28904853504 7472 33554432000 4194304 4196468 140726379332080 140511296231536 140511915682434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32169] ppid=32152 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32154/task/32169/stat : 32169 (java) S 32152 32152 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446792363 28904853504 7472 33554432000 4194304 4196468 140726379332080 140511295178736 140511915682434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32170] ppid=32152 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32154/task/32170/stat : 32170 (java) S 32152 32152 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446792363 28904853504 7472 33554432000 4194304 4196468 140726379332080 140511294126448 140511915682434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32171] ppid=32152 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/32154/task/32171/stat : 32171 (java) S 32152 32152 29062 0 -1 1077944384 358 0 0 0 2 0 0 0 20 0 20 0 446792363 28904853504 7472 33554432000 4194304 4196468 140726379332080 140511293073648 140511915682434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32172] ppid=32152 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32154/task/32172/stat : 32172 (java) S 32152 32152 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446792364 28904853504 7472 33554432000 4194304 4196468 140726379332080 140511292021600 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32173] ppid=32152 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/32154/task/32173/stat : 32173 (java) S 32152 32152 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446792364 28904853504 7472 33554432000 4194304 4196468 140726379332080 140511290968880 140511915682434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31340 KiB
[startup+0.210126 s]*
/proc/loadavg: 7.55 8.16 8.19 2/211 32173
/proc/meminfo: memFree=31688572/32770624 swapFree=66977172/67108860
[pid=32152] ppid=32149 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/32152/stat : 32152 (xcsp3-exec) S 32149 32152 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446792357 115843072 363 33554432000 4194304 5098028 140728031547856 140728031545960 140016711520892 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11780096 140728031556470 140728031556713 140728031556713 140728031559626 0
/proc/32152/statm: 28282 363 304 221 0 87 0
[pid=32154] ppid=32152 vsize=28227396 memory=40964 CPUtime=0.34 cores=0-7
/proc/32154/stat : 32154 (java) S 32152 32152 29062 0 -1 1077944320 9499 0 0 0 31 3 0 0 20 0 20 0 446792358 28904853504 10241 33554432000 4194304 4196468 140726379332080 140726379314624 140511915671287 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
/proc/32154/statm: 7056849 10241 3297 1 0 7019032 0
[pid=32154/tid=32155] ppid=32152 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/32154/task/32155/stat : 32155 (java) R 32152 32152 29062 0 -1 4202560 6652 0 0 0 17 2 0 0 20 0 20 0 446792358 28904853504 10241 33554432000 4194304 4196468 140726379332080 140511919909472 140511915683222 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32156] ppid=32152 vsize=28227396 memory=329 CPUtime=0 cores=0-7
/proc/32154/task/32156/stat : 32156 (java) S 32152 32152 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446792359 28904853504 10241 33554432000 4194304 4196468 140726379332080 140511872224144 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32157] ppid=32152 vsize=28227396 memory=288370787807409792 CPUtime=0 cores=0-7
/proc/32154/task/32157/stat : 32157 (java) S 32152 32152 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446792359 28904853504 10241 33554432000 4194304 4196468 140726379332080 140511871171344 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32158] ppid=32152 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/32154/task/32158/stat : 32158 (java) S 32152 32152 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446792359 28904853504 10241 33554432000 4194304 4196468 140726379332080 140511870119056 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32159] ppid=32152 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32154/task/32159/stat : 32159 (java) S 32152 32152 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446792359 28904853504 10241 33554432000 4194304 4196468 140726379332080 140511463726096 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32160] ppid=32152 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32154/task/32160/stat : 32160 (java) S 32152 32152 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446792359 28904853504 10241 33554432000 4194304 4196468 140726379332080 140511462672784 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32161] ppid=32152 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/32154/task/32161/stat : 32161 (java) S 32152 32152 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446792359 28904853504 10241 33554432000 4194304 4196468 140726379332080 140511461619984 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32162] ppid=32152 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32154/task/32162/stat : 32162 (java) S 32152 32152 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446792359 28904853504 10241 33554432000 4194304 4196468 140726379332080 140511460567696 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32163] ppid=32152 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32154/task/32163/stat : 32163 (java) S 32152 32152 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446792359 28904853504 10241 33554432000 4194304 4196468 140726379332080 140511459514896 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32164] ppid=32152 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32154/task/32164/stat : 32164 (java) S 32152 32152 29062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446792360 28904853504 10241 33554432000 4194304 4196468 140726379332080 140511300442736 140511915682434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32165] ppid=32152 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32154/task/32165/stat : 32165 (java) S 32152 32152 29062 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 446792361 28904853504 10241 33554432000 4194304 4196468 140726379332080 140511299388704 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32166] ppid=32152 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32154/task/32166/stat : 32166 (java) S 32152 32152 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446792361 28904853504 10241 33554432000 4194304 4196468 140726379332080 140511298336368 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32167] ppid=32152 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32154/task/32167/stat : 32167 (java) S 32152 32152 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446792363 28904853504 10241 33554432000 4194304 4196468 140726379332080 140511297284688 140511915689883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32168] ppid=32152 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/32154/task/32168/stat : 32168 (java) S 32152 32152 29062 0 -1 1077944384 634 0 0 0 1 0 0 0 20 0 20 0 446792363 28904853504 10241 33554432000 4194304 4196468 140726379332080 140511296231536 140511915682434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32169] ppid=32152 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/32154/task/32169/stat : 32169 (java) R 32152 32152 29062 0 -1 1077944384 111 0 0 0 2 0 0 0 20 0 20 0 446792363 28904853504 10241 33554432000 4194304 4196468 140726379332080 140511295178736 140511915682434 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32170] ppid=32152 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/32154/task/32170/stat : 32170 (java) S 32152 32152 29062 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 20 0 446792363 28904853504 10241 33554432000 4194304 4196468 140726379332080 140511294126448 140511915682434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32171] ppid=32152 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/32154/task/32171/stat : 32171 (java) R 32152 32152 29062 0 -1 4202560 750 0 0 0 8 0 0 0 20 0 20 0 446792363 28904853504 10241 33554432000 4194304 4196468 140726379332080 140511293073456 140511915692634 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32172] ppid=32152 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32154/task/32172/stat : 32172 (java) S 32152 32152 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446792364 28904853504 10241 33554432000 4194304 4196468 140726379332080 140511292021600 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32173] ppid=32152 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/32154/task/32173/stat : 32173 (java) S 32152 32152 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446792364 28904853504 10241 33554432000 4194304 4196468 140726379332080 140511290968880 140511915682434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42416 KiB
[startup+0.30951 s]*
/proc/loadavg: 7.55 8.16 8.19 3/211 32173
/proc/meminfo: memFree=31681300/32770624 swapFree=66977172/67108860
[pid=32152] ppid=32149 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/32152/stat : 32152 (xcsp3-exec) S 32149 32152 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446792357 115843072 363 33554432000 4194304 5098028 140728031547856 140728031545960 140016711520892 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11780096 140728031556470 140728031556713 140728031556713 140728031559626 0
/proc/32152/statm: 28282 363 304 221 0 87 0
[pid=32154] ppid=32152 vsize=28231652 memory=50248 CPUtime=0.52 cores=0-7
/proc/32154/stat : 32154 (java) S 32152 32152 29062 0 -1 1077944320 10855 0 0 0 48 4 0 0 20 0 20 0 446792358 28909211648 12562 33554432000 4194304 4196468 140726379332080 140726379314624 140511915671287 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
/proc/32154/statm: 7057913 12562 3366 1 0 7019032 0
[pid=32154/tid=32155] ppid=32152 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/32154/task/32155/stat : 32155 (java) R 32152 32152 29062 0 -1 4202560 7761 0 0 0 26 3 0 0 20 0 20 0 446792358 28909211648 12562 33554432000 4194304 4196468 140726379332080 140511919902400 140511915693213 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32156] ppid=32152 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/32154/task/32156/stat : 32156 (java) S 32152 32152 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446792359 28909211648 12562 33554432000 4194304 4196468 140726379332080 140511872224144 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32157] ppid=32152 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/32154/task/32157/stat : 32157 (java) S 32152 32152 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446792359 28909211648 12562 33554432000 4194304 4196468 140726379332080 140511871171344 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32158] ppid=32152 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/32154/task/32158/stat : 32158 (java) S 32152 32152 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446792359 28909211648 12562 33554432000 4194304 4196468 140726379332080 140511870119056 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32159] ppid=32152 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/32154/task/32159/stat : 32159 (java) S 32152 32152 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446792359 28909211648 12562 33554432000 4194304 4196468 140726379332080 140511463726096 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32160] ppid=32152 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/32154/task/32160/stat : 32160 (java) S 32152 32152 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446792359 28909211648 12562 33554432000 4194304 4196468 140726379332080 140511462672784 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32161] ppid=32152 vsize=28231652 memory=140411540698031 CPUtime=0 cores=0-7
/proc/32154/task/32161/stat : 32161 (java) S 32152 32152 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446792359 28909211648 12562 33554432000 4194304 4196468 140726379332080 140511461619984 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32162] ppid=32152 vsize=28231652 memory=140411540700336 CPUtime=0 cores=0-7
/proc/32154/task/32162/stat : 32162 (java) S 32152 32152 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446792359 28909211648 12562 33554432000 4194304 4196468 140726379332080 140511460567696 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32163] ppid=32152 vsize=28231652 memory=140411540702640 CPUtime=0 cores=0-7
/proc/32154/task/32163/stat : 32163 (java) S 32152 32152 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446792359 28909211648 12562 33554432000 4194304 4196468 140726379332080 140511459514896 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32164] ppid=32152 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/32154/task/32164/stat : 32164 (java) S 32152 32152 29062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446792360 28909211648 12562 33554432000 4194304 4196468 140726379332080 140511300442736 140511915682434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32165] ppid=32152 vsize=28231652 memory=280823081412240 CPUtime=0 cores=0-7
/proc/32154/task/32165/stat : 32165 (java) S 32152 32152 29062 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 446792361 28909211648 12562 33554432000 4194304 4196468 140726379332080 140511299388704 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32166] ppid=32152 vsize=28231652 memory=280823081419152 CPUtime=0 cores=0-7
/proc/32154/task/32166/stat : 32166 (java) S 32152 32152 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446792361 28909211648 12562 33554432000 4194304 4196468 140726379332080 140511298336368 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32167] ppid=32152 vsize=28231652 memory=280823081360400 CPUtime=0 cores=0-7
/proc/32154/task/32167/stat : 32167 (java) S 32152 32152 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446792363 28909211648 12562 33554432000 4194304 4196468 140726379332080 140511297284688 140511915689883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32168] ppid=32152 vsize=28231652 memory=280823081432976 CPUtime=0.02 cores=0-7
/proc/32154/task/32168/stat : 32168 (java) S 32152 32152 29062 0 -1 1077944384 661 0 0 0 2 0 0 0 20 0 20 0 446792363 28909211648 12562 33554432000 4194304 4196468 140726379332080 140511296231536 140511915682434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32169] ppid=32152 vsize=28231652 memory=280823081439888 CPUtime=0.03 cores=0-7
/proc/32154/task/32169/stat : 32169 (java) S 32152 32152 29062 0 -1 1077944384 113 0 0 0 3 0 0 0 20 0 20 0 446792363 28909211648 12562 33554432000 4194304 4196468 140726379332080 140511295178736 140511915682434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32170] ppid=32152 vsize=28231652 memory=280823081437584 CPUtime=0.02 cores=0-7
/proc/32154/task/32170/stat : 32170 (java) R 32152 32152 29062 0 -1 4202560 145 0 0 0 2 0 0 0 20 0 20 0 446792363 28909211648 12562 33554432000 4194304 4196468 140726379332080 140511294116832 140511893323152 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32171] ppid=32152 vsize=28231652 memory=280823081453744 CPUtime=0.12 cores=0-7
/proc/32154/task/32171/stat : 32171 (java) S 32152 32152 29062 0 -1 1077944384 862 0 0 0 12 0 0 0 20 0 20 0 446792363 28909211648 12562 33554432000 4194304 4196468 140726379332080 140511293073648 140511915682434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32172] ppid=32152 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/32154/task/32172/stat : 32172 (java) S 32152 32152 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446792364 28909211648 12562 33554432000 4194304 4196468 140726379332080 140511292021600 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32173] ppid=32152 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/32154/task/32173/stat : 32173 (java) S 32152 32152 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446792364 28909211648 12562 33554432000 4194304 4196468 140726379332080 140511290968880 140511915682434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51700 KiB
[startup+0.704834 s]
/proc/loadavg: 7.55 8.16 8.19 4/211 32173
/proc/meminfo: memFree=31671328/32770624 swapFree=66977172/67108860
[pid=32152] ppid=32149 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/32152/stat : 32152 (xcsp3-exec) S 32149 32152 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446792357 115843072 363 33554432000 4194304 5098028 140728031547856 140728031545960 140016711520892 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11780096 140728031556470 140728031556713 140728031556713 140728031559626 0
/proc/32152/statm: 28282 363 304 221 0 87 0
[pid=32154] ppid=32152 vsize=28766288 memory=92064 CPUtime=1.97 cores=0-7
/proc/32154/stat : 32154 (java) S 32152 32152 29062 0 -1 1077944320 15443 0 0 0 190 7 0 0 20 0 28 0 446792358 29456678912 23016 33554432000 4194304 4196468 140726379332080 140726379314624 140511915671287 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
/proc/32154/statm: 7191572 23016 3455 1 0 7152672 0
[pid=32154/tid=32155] ppid=32152 vsize=28766288 memory=280823081811632 CPUtime=0.58 cores=0-7
/proc/32154/task/32155/stat : 32155 (java) S 32152 32152 29062 0 -1 1077944384 9007 0 0 0 53 5 0 0 20 0 28 0 446792358 29456678912 23016 33554432000 4194304 4196468 140726379332080 140511919912064 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32156] ppid=32152 vsize=28766288 memory=140411540906864 CPUtime=0 cores=0-7
/proc/32154/task/32156/stat : 32156 (java) S 32152 32152 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446792359 29456678912 23016 33554432000 4194304 4196468 140726379332080 140511872224144 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32157] ppid=32152 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/32154/task/32157/stat : 32157 (java) S 32152 32152 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 446792359 29456678912 23016 33554432000 4194304 4196468 140726379332080 140511871171344 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32158] ppid=32152 vsize=28766288 memory=7872 CPUtime=0 cores=0-7
/proc/32154/task/32158/stat : 32158 (java) S 32152 32152 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 446792359 29456678912 23016 33554432000 4194304 4196468 140726379332080 140511870119056 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
################
# More data... #
################
[pid=32154/tid=32171] ppid=32152 vsize=28766288 memory=14008 CPUtime=0.54 cores=0-7
/proc/32154/task/32171/stat : 32171 (java) S 32152 32152 29062 0 -1 1077944384 3996 0 0 0 53 1 0 0 20 0 28 0 446792363 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511293073648 140511915682434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32172] ppid=32152 vsize=28766288 memory=2120 CPUtime=0 cores=0-7
/proc/32154/task/32172/stat : 32172 (java) S 32152 32152 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446792364 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511292021600 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32173] ppid=32152 vsize=28766288 memory=11976 CPUtime=0 cores=0-7
/proc/32154/task/32173/stat : 32173 (java) S 32152 32152 29062 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 28 0 446792364 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511290968880 140511915682434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32174] ppid=32152 vsize=28766288 memory=11528 CPUtime=37.24 cores=0-7
/proc/32154/task/32174/stat : 32174 (java) S 32152 32152 29062 0 -1 1077944384 688 0 0 0 3695 29 0 0 20 0 28 0 446792417 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511281753504 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32175] ppid=32152 vsize=28766288 memory=512 CPUtime=37.3 cores=0-7
/proc/32154/task/32175/stat : 32175 (java) R 32152 32152 29062 0 -1 4202560 782 0 0 0 3701 29 0 0 20 0 28 0 446792418 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511280701840 140511554590431 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32176] ppid=32152 vsize=28766288 memory=1564 CPUtime=37.68 cores=0-7
/proc/32154/task/32176/stat : 32176 (java) R 32152 32152 29062 0 -1 4202560 1173 0 0 0 3743 25 0 0 20 0 28 0 446792418 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511279648528 140511554814013 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32177] ppid=32152 vsize=28766288 memory=14008 CPUtime=37.7 cores=0-7
/proc/32154/task/32177/stat : 32177 (java) R 32152 32152 29062 0 -1 1077944384 2138 0 0 0 3744 26 0 0 20 0 28 0 446792418 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511278595728 140511915681493 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32178] ppid=32152 vsize=28766288 memory=2120 CPUtime=37.36 cores=0-7
/proc/32154/task/32178/stat : 32178 (java) S 32152 32152 29062 0 -1 1077944384 2243 0 0 0 3710 26 0 0 20 0 28 0 446792418 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511277543440 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32179] ppid=32152 vsize=28766288 memory=11976 CPUtime=37.49 cores=0-7
/proc/32154/task/32179/stat : 32179 (java) R 32152 32152 29062 0 -1 4202560 771 0 0 0 3719 30 0 0 20 0 28 0 446792418 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511276490640 140511553874658 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32180] ppid=32152 vsize=28766288 memory=11528 CPUtime=37.51 cores=0-7
/proc/32154/task/32180/stat : 32180 (java) R 32152 32152 29062 0 -1 4202560 1670 0 0 0 3725 26 0 0 20 0 28 0 446792418 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511275438352 140511554822544 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32181] ppid=32152 vsize=28766288 memory=512 CPUtime=37.52 cores=0-7
/proc/32154/task/32181/stat : 32181 (java) R 32152 32152 29062 0 -1 4202560 1646 0 0 0 3731 21 0 0 20 0 28 0 446792418 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511274385584 140511897077545 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
Current children cumulated CPU time: 305.85 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 479652 KiB
[startup+40.8011 s]
/proc/loadavg: 7.63 8.10 8.17 8/219 32185
/proc/meminfo: memFree=31252748/32770624 swapFree=66977188/67108860
[pid=32152] ppid=32149 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/32152/stat : 32152 (xcsp3-exec) S 32149 32152 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446792357 115843072 363 33554432000 4194304 5098028 140728031547856 140728031545960 140016711520892 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11780096 140728031556470 140728031556713 140728031556713 140728031559626 0
/proc/32152/statm: 28282 363 304 221 0 87 0
[pid=32154] ppid=32152 vsize=28766288 memory=478200 CPUtime=308.8 cores=0-7
/proc/32154/stat : 32154 (java) S 32152 32152 29062 0 -1 1077944320 60706 0 0 0 30624 256 0 0 20 0 28 0 446792358 29456678912 119550 33554432000 4194304 4196468 140726379332080 140726379314624 140511915671287 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
/proc/32154/statm: 7191572 119550 3508 1 0 7152672 0
[pid=32154/tid=32155] ppid=32152 vsize=28766288 memory=6791534058613427641 CPUtime=0.58 cores=0-7
/proc/32154/task/32155/stat : 32155 (java) S 32152 32152 29062 0 -1 1077944384 9007 0 0 0 53 5 0 0 20 0 28 0 446792358 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511919912064 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32156] ppid=32152 vsize=28766288 memory=512 CPUtime=0.14 cores=0-7
/proc/32154/task/32156/stat : 32156 (java) S 32152 32152 29062 0 -1 1077944384 794 0 0 0 12 2 0 0 20 0 28 0 446792359 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511872224144 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32157] ppid=32152 vsize=28766288 memory=1564 CPUtime=0.16 cores=0-7
/proc/32154/task/32157/stat : 32157 (java) S 32152 32152 29062 0 -1 1077944384 525 0 0 0 14 2 0 0 20 0 28 0 446792359 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511871171344 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32158] ppid=32152 vsize=28766288 memory=288230574492221466 CPUtime=0.14 cores=0-7
/proc/32154/task/32158/stat : 32158 (java) S 32152 32152 29062 0 -1 1077944384 898 0 0 0 11 3 0 0 20 0 28 0 446792359 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511870119056 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32159] ppid=32152 vsize=28766288 memory=288230617509003574 CPUtime=0.14 cores=0-7
/proc/32154/task/32159/stat : 32159 (java) S 32152 32152 29062 0 -1 1077944384 541 0 0 0 12 2 0 0 20 0 28 0 446792359 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511463726096 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32160] ppid=32152 vsize=28766288 memory=15252640887999028 CPUtime=0.15 cores=0-7
/proc/32154/task/32160/stat : 32160 (java) S 32152 32152 29062 0 -1 1077944384 855 0 0 0 12 3 0 0 20 0 28 0 446792359 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511462672784 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32161] ppid=32152 vsize=28766288 memory=904 CPUtime=0.14 cores=0-7
/proc/32154/task/32161/stat : 32161 (java) S 32152 32152 29062 0 -1 1077944384 1015 0 0 0 12 2 0 0 20 0 28 0 446792359 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511461619984 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32162] ppid=32152 vsize=28766288 memory=6791534058613427641 CPUtime=0.15 cores=0-7
/proc/32154/task/32162/stat : 32162 (java) S 32152 32152 29062 0 -1 1077944384 1288 0 0 0 12 3 0 0 20 0 28 0 446792359 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511460567696 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32163] ppid=32152 vsize=28766288 memory=1324 CPUtime=0.14 cores=0-7
/proc/32154/task/32163/stat : 32163 (java) S 32152 32152 29062 0 -1 1077944384 519 0 0 0 12 2 0 0 20 0 28 0 446792359 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511459514896 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32164] ppid=32152 vsize=28766288 memory=780 CPUtime=0.14 cores=0-7
/proc/32154/task/32164/stat : 32164 (java) S 32152 32152 29062 0 -1 1077944384 2362 0 0 0 12 2 0 0 20 0 28 0 446792360 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511300442736 140511915682434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32165] ppid=32152 vsize=28766288 memory=4088 CPUtime=0 cores=0-7
/proc/32154/task/32165/stat : 32165 (java) S 32152 32152 29062 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 446792361 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511299388768 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32166] ppid=32152 vsize=28766288 memory=1580 CPUtime=0 cores=0-7
/proc/32154/task/32166/stat : 32166 (java) S 32152 32152 29062 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 446792361 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511298336384 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32167] ppid=32152 vsize=28766288 memory=1028 CPUtime=0 cores=0-7
/proc/32154/task/32167/stat : 32167 (java) S 32152 32152 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446792363 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511297284688 140511915689883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32168] ppid=32152 vsize=28766288 memory=1060 CPUtime=1.27 cores=0-7
/proc/32154/task/32168/stat : 32168 (java) S 32152 32152 29062 0 -1 1077944384 13146 0 0 0 124 3 0 0 20 0 28 0 446792363 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511296231536 140511915682434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32169] ppid=32152 vsize=28766288 memory=1452 CPUtime=1.05 cores=0-7
/proc/32154/task/32169/stat : 32169 (java) S 32152 32152 29062 0 -1 1077944384 6020 0 0 0 103 2 0 0 20 0 28 0 446792363 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511295178736 140511915682434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32170] ppid=32152 vsize=28766288 memory=478200 CPUtime=1.1 cores=0-7
/proc/32154/task/32170/stat : 32170 (java) S 32152 32152 29062 0 -1 1077944384 6982 0 0 0 109 1 0 0 20 0 28 0 446792363 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511294126448 140511915682434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32171] ppid=32152 vsize=28766288 memory=6791534058613427641 CPUtime=0.54 cores=0-7
/proc/32154/task/32171/stat : 32171 (java) S 32152 32152 29062 0 -1 1077944384 3996 0 0 0 53 1 0 0 20 0 28 0 446792363 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511293073648 140511915682434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32172] ppid=32152 vsize=28766288 memory=164 CPUtime=0 cores=0-7
/proc/32154/task/32172/stat : 32172 (java) S 32152 32152 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446792364 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511292021600 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32173] ppid=32152 vsize=28766288 memory=-2748367524519556131 CPUtime=0 cores=0-7
/proc/32154/task/32173/stat : 32173 (java) S 32152 32152 29062 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 28 0 446792364 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511290968880 140511915682434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32174] ppid=32152 vsize=28766288 memory=288289956827497254 CPUtime=37.6 cores=0-7
/proc/32154/task/32174/stat : 32174 (java) R 32152 32152 29062 0 -1 4202560 688 0 0 0 3729 31 0 0 20 0 28 0 446792417 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511281753408 140511553874285 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32175] ppid=32152 vsize=28766288 memory=302621008637323202 CPUtime=37.66 cores=0-7
/proc/32154/task/32175/stat : 32175 (java) S 32152 32152 29062 0 -1 1077944384 782 0 0 0 3737 29 0 0 20 0 28 0 446792418 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511280701840 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32176] ppid=32152 vsize=28766288 memory=7084821286523977828 CPUtime=38.05 cores=0-7
/proc/32154/task/32176/stat : 32176 (java) R 32152 32152 29062 0 -1 4202560 1173 0 0 0 3780 25 0 0 20 0 28 0 446792418 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511279648528 140511554822457 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32177] ppid=32152 vsize=28766288 memory=6791534058613427641 CPUtime=38.08 cores=0-7
/proc/32154/task/32177/stat : 32177 (java) R 32152 32152 29062 0 -1 4202560 2138 0 0 0 3781 27 0 0 20 0 28 0 446792418 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511278595728 140511553875904 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32178] ppid=32152 vsize=28766288 memory=1764 CPUtime=37.72 cores=0-7
/proc/32154/task/32178/stat : 32178 (java) R 32152 32152 29062 0 -1 4202560 2243 0 0 0 3746 26 0 0 20 0 28 0 446792418 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511277543344 140511555069181 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32179] ppid=32152 vsize=28766288 memory=111632 CPUtime=37.86 cores=0-7
/proc/32154/task/32179/stat : 32179 (java) R 32152 32152 29062 0 -1 4202560 771 0 0 0 3756 30 0 0 20 0 28 0 446792418 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511276490544 140511553875922 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32180] ppid=32152 vsize=28766288 memory=804 CPUtime=37.87 cores=0-7
/proc/32154/task/32180/stat : 32180 (java) R 32152 32152 29062 0 -1 1077944384 1670 0 0 0 3761 26 0 0 20 0 28 0 446792418 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511275438352 140511915681493 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32181] ppid=32152 vsize=28766288 memory=1628 CPUtime=37.89 cores=0-7
/proc/32154/task/32181/stat : 32181 (java) R 32152 32152 29062 0 -1 4202560 1646 0 0 0 3768 21 0 0 20 0 28 0 446792418 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511274385584 140511553874351 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
Current children cumulated CPU time: 308.8 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 479652 KiB
[startup+40.9012 s]
/proc/loadavg: 7.63 8.10 8.17 8/219 32185
/proc/meminfo: memFree=31252748/32770624 swapFree=66977188/67108860
[pid=32152] ppid=32149 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/32152/stat : 32152 (xcsp3-exec) S 32149 32152 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446792357 115843072 363 33554432000 4194304 5098028 140728031547856 140728031545960 140016711520892 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11780096 140728031556470 140728031556713 140728031556713 140728031559626 0
/proc/32152/statm: 28282 363 304 221 0 87 0
[pid=32154] ppid=32152 vsize=28766288 memory=478200 CPUtime=309.45 cores=0-7
/proc/32154/stat : 32154 (java) S 32152 32152 29062 0 -1 1077944320 60707 0 0 0 30687 258 0 0 20 0 28 0 446792358 29456678912 119550 33554432000 4194304 4196468 140726379332080 140726379314624 140511915671287 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
/proc/32154/statm: 7191572 119550 3508 1 0 7152672 0
[pid=32154/tid=32155] ppid=32152 vsize=28766288 memory=478200 CPUtime=0.58 cores=0-7
/proc/32154/task/32155/stat : 32155 (java) S 32152 32152 29062 0 -1 1077944384 9007 0 0 0 53 5 0 0 20 0 28 0 446792358 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511919912064 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32156] ppid=32152 vsize=28766288 memory=478200 CPUtime=0.14 cores=0-7
/proc/32154/task/32156/stat : 32156 (java) S 32152 32152 29062 0 -1 1077944384 794 0 0 0 12 2 0 0 20 0 28 0 446792359 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511872224144 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32157] ppid=32152 vsize=28766288 memory=280823082551216 CPUtime=0.16 cores=0-7
/proc/32154/task/32157/stat : 32157 (java) S 32152 32152 29062 0 -1 1077944384 525 0 0 0 14 2 0 0 20 0 28 0 446792359 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511871171344 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32158] ppid=32152 vsize=28766288 memory=476152 CPUtime=0.14 cores=0-7
/proc/32154/task/32158/stat : 32158 (java) S 32152 32152 29062 0 -1 1077944384 898 0 0 0 11 3 0 0 20 0 28 0 446792359 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511870119056 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32159] ppid=32152 vsize=28766288 memory=0 CPUtime=0.14 cores=0-7
/proc/32154/task/32159/stat : 32159 (java) S 32152 32152 29062 0 -1 1077944384 541 0 0 0 12 2 0 0 20 0 28 0 446792359 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511463726096 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32160] ppid=32152 vsize=28766288 memory=478200 CPUtime=0.15 cores=0-7
/proc/32154/task/32160/stat : 32160 (java) S 32152 32152 29062 0 -1 1077944384 855 0 0 0 12 3 0 0 20 0 28 0 446792359 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511462672784 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32161] ppid=32152 vsize=28766288 memory=280823081701408 CPUtime=0.14 cores=0-7
/proc/32154/task/32161/stat : 32161 (java) S 32152 32152 29062 0 -1 1077944384 1015 0 0 0 12 2 0 0 20 0 28 0 446792359 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511461619984 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32162] ppid=32152 vsize=28766288 memory=17668 CPUtime=0.15 cores=0-7
/proc/32154/task/32162/stat : 32162 (java) S 32152 32152 29062 0 -1 1077944384 1288 0 0 0 12 3 0 0 20 0 28 0 446792359 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511460567696 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32163] ppid=32152 vsize=28766288 memory=19876 CPUtime=0.14 cores=0-7
/proc/32154/task/32163/stat : 32163 (java) S 32152 32152 29062 0 -1 1077944384 519 0 0 0 12 2 0 0 20 0 28 0 446792359 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511459514896 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32164] ppid=32152 vsize=28766288 memory=56 CPUtime=0.14 cores=0-7
/proc/32154/task/32164/stat : 32164 (java) S 32152 32152 29062 0 -1 1077944384 2362 0 0 0 12 2 0 0 20 0 28 0 446792360 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511300442736 140511915682434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32165] ppid=32152 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/32154/task/32165/stat : 32165 (java) S 32152 32152 29062 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 446792361 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511299388768 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32166] ppid=32152 vsize=28766288 memory=7739264879988007787 CPUtime=0 cores=0-7
/proc/32154/task/32166/stat : 32166 (java) S 32152 32152 29062 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 446792361 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511298336384 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32167] ppid=32152 vsize=28766288 memory=4088 CPUtime=0 cores=0-7
/proc/32154/task/32167/stat : 32167 (java) S 32152 32152 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446792363 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511297284688 140511915689883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32168] ppid=32152 vsize=28766288 memory=1580 CPUtime=1.27 cores=0-7
/proc/32154/task/32168/stat : 32168 (java) S 32152 32152 29062 0 -1 1077944384 13146 0 0 0 124 3 0 0 20 0 28 0 446792363 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511296231536 140511915682434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32169] ppid=32152 vsize=28766288 memory=1028 CPUtime=1.05 cores=0-7
/proc/32154/task/32169/stat : 32169 (java) S 32152 32152 29062 0 -1 1077944384 6020 0 0 0 103 2 0 0 20 0 28 0 446792363 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511295178736 140511915682434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32170] ppid=32152 vsize=28766288 memory=6791534058613427641 CPUtime=1.1 cores=0-7
/proc/32154/task/32170/stat : 32170 (java) S 32152 32152 29062 0 -1 1077944384 6982 0 0 0 109 1 0 0 20 0 28 0 446792363 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511294126448 140511915682434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32171] ppid=32152 vsize=28766288 memory=7450193390007970667 CPUtime=0.54 cores=0-7
/proc/32154/task/32171/stat : 32171 (java) S 32152 32152 29062 0 -1 1077944384 3996 0 0 0 53 1 0 0 20 0 28 0 446792363 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511293073648 140511915682434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32172] ppid=32152 vsize=28766288 memory=7163937724073208407 CPUtime=0 cores=0-7
/proc/32154/task/32172/stat : 32172 (java) S 32152 32152 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446792364 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511292021600 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32173] ppid=32152 vsize=28766288 memory=3620 CPUtime=0 cores=0-7
/proc/32154/task/32173/stat : 32173 (java) S 32152 32152 29062 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 28 0 446792364 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511290968880 140511915682434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32174] ppid=32152 vsize=28766288 memory=30860 CPUtime=37.67 cores=0-7
/proc/32154/task/32174/stat : 32174 (java) S 32152 32152 29062 0 -1 1077944384 688 0 0 0 3736 31 0 0 20 0 28 0 446792417 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511281753504 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32175] ppid=32152 vsize=28766288 memory=2004 CPUtime=37.73 cores=0-7
/proc/32154/task/32175/stat : 32175 (java) S 32152 32152 29062 0 -1 1077944384 782 0 0 0 3743 30 0 0 20 0 28 0 446792418 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511280701840 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32176] ppid=32152 vsize=28766288 memory=0 CPUtime=38.11 cores=0-7
/proc/32154/task/32176/stat : 32176 (java) R 32152 32152 29062 0 -1 4202560 1173 0 0 0 3786 25 0 0 20 0 28 0 446792418 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511279648432 140511554822544 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32177] ppid=32152 vsize=28766288 memory=2241 CPUtime=38.16 cores=0-7
/proc/32154/task/32177/stat : 32177 (java) R 32152 32152 29062 0 -1 4202560 2138 0 0 0 3789 27 0 0 20 0 28 0 446792418 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511278595728 140511900243599 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32178] ppid=32152 vsize=28766288 memory=2244 CPUtime=37.82 cores=0-7
/proc/32154/task/32178/stat : 32178 (java) R 32152 32152 29062 0 -1 4202560 2243 0 0 0 3755 27 0 0 20 0 28 0 446792418 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511277543440 140511555069428 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32179] ppid=32152 vsize=28766288 memory=8836 CPUtime=37.95 cores=0-7
/proc/32154/task/32179/stat : 32179 (java) S 32152 32152 29062 0 -1 1077944384 771 0 0 0 3764 31 0 0 20 0 28 0 446792418 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511276490640 140511915681493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32180] ppid=32152 vsize=28766288 memory=11044 CPUtime=37.96 cores=0-7
/proc/32154/task/32180/stat : 32180 (java) R 32152 32152 29062 0 -1 4202560 1670 0 0 0 3770 26 0 0 20 0 28 0 446792418 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511275438352 140511555902300 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
[pid=32154/tid=32181] ppid=32152 vsize=28766288 memory=13252 CPUtime=37.98 cores=0-7
/proc/32154/task/32181/stat : 32181 (java) R 32152 32152 29062 0 -1 1077944384 1647 0 0 0 3777 21 0 0 20 0 28 0 446792418 29456678912 119550 33554432000 4194304 4196468 140726379332080 140511274385488 140511915682434 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8396800 140726379340778 140726379340950 140726379340950 140726379343823 0
Current children cumulated CPU time: 309.45 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 479652 KiB
Child status: 0
Real time (s): 40.9759
CPU time (s): 309.942
CPU user time (s): 307.339
CPU system time (s): 2.60284
CPU usage (%): 756.399
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 479652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 307.339
system time used= 2.60284
maximum resident set size= 478376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62458
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 614824
involuntary context switches= 1143
# summary of solver processes directly reported to runsolver:
# pid: 32152
# total CPU time (s): 309.942
# total CPU user time (s): 307.339
# total CPU system time (s): 2.60284
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.347042 second user time and 0.523356 second system time
The end
Begin job on node121 at 2019-09-17 09:27:35
IDJOB=4399507
IDBENCH=126870
IDSOLVER=2854
FILE ID=node121/4399507-1568705297
RUNJOBID= node121-1568700707-29089
PBS_JOBID= 21703902
Free space on /tmp= 61408 MiB
SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/Dubois/Dubois-m1-s1/Dubois-028.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399507-1568705297/watcher-4399507-1568705297 -o /tmp/evaluation-result-4399507-1568705297/solver-4399507-1568705297 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568700707-29089 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 296129208 HOME/instance-4399507-1568705297.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= db9859f55fdeeb063308babcaf6783a7
RANDOM SEED=296129208
node121.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.75
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.75
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.75
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.75
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: 31718600 kB
MemAvailable: 31922320 kB
Buffers: 66936 kB
Cached: 434796 kB
SwapCached: 10784 kB
Active: 208552 kB
Inactive: 308148 kB
Active(anon): 5096 kB
Inactive(anon): 42404 kB
Active(file): 203456 kB
Inactive(file): 265744 kB
Unevictable: 109148 kB
Mlocked: 109148 kB
SwapTotal: 67108860 kB
SwapFree: 66977172 kB
Dirty: 25932 kB
Writeback: 0 kB
AnonPages: 151280 kB
Mapped: 42228 kB
Shmem: 23976 kB
Slab: 129608 kB
SReclaimable: 100708 kB
SUnreclaim: 28900 kB
KernelStack: 3712 kB
PageTables: 4988 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 506372 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 106496 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 122240 kB
DirectMap2M: 33423360 kB
Free space on /tmp at the end= 61380 MiB
End job on node121 at 2019-09-17 09:28:16