0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271199-1502740861.xml" -tl '20160s' -p 8 -x 0
0.11/0.14 c [HOME/instance-4271199-1502740861.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.33/0.27 c parse instance...
1.04/0.60 c solve instance...
26.29/3.90 s SATISFIABLE
26.29/3.90 v <instantiation>
26.29/3.90 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] </list>
26.29/3.90 v <values>112 128 153 124 112 290 96 135 96 93 128 96 124 96 116 153 93 215 0 0 303 290 163 215 0 287 240 277 247 275 277 275 240 291 311 215 247 258 215 287 215 334 189 311 215 189 290 277 0 0 </values>
26.29/3.90 v </instantiation>
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (13434 MiB free)
memory of node 1: 16384 MiB (14601 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271199-1502740861/watcher-4271199-1502740861 -o /tmp/evaluation-result-4271199-1502740861/solver-4271199-1502740861 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1502740002-30062 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 654787646 HOME/instance-4271199-1502740861.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=30079, runsolver pid=30076
[startup+0.100155 s]*
/proc/loadavg: 7.51 8.14 8.26 2/199 30100
/proc/meminfo: memFree=28694692/32770624 swapFree=67108860/67108860
[pid=30079] ppid=30076 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/30079/stat : 30079 (xcsp3-exec) S 30076 30079 30035 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 107166960 9740288 346 33554432000 4194304 5098028 140734419378320 140734419376424 140312283800188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16211968 140734419387493 140734419387703 140734419387703 140734419390443 0
/proc/30079/statm: 2378 346 289 221 0 87 0
[pid=30081] ppid=30079 vsize=25999808 memory=24764 CPUtime=0.11 cores=0-7
/proc/30081/stat : 30081 (java) S 30079 30079 30035 0 -1 1077944320 5620 0 0 0 11 0 0 0 20 0 20 0 107166961 26623803392 6191 33554432000 4194304 4196468 140736187745904 140736187728448 139777659813623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
/proc/30081/statm: 6499952 6191 2862 1 0 6488269 0
[pid=30081/tid=30082] ppid=30079 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/30081/task/30082/stat : 30082 (java) R 30079 30079 30035 0 -1 4202560 3588 0 0 0 9 0 0 0 20 0 20 0 107166961 26623803392 6191 33554432000 4194304 4196468 140736187745904 139777664046896 139777643894110 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30083] ppid=30079 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/30081/task/30083/stat : 30083 (java) S 30079 30079 30035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107166962 26623803392 6191 33554432000 4194304 4196468 140736187745904 139777631656976 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30084] ppid=30079 vsize=25999808 memory=140576668350080 CPUtime=0 cores=0-7
/proc/30081/task/30084/stat : 30084 (java) S 30079 30079 30035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107166962 26623803392 6191 33554432000 4194304 4196468 140736187745904 139777217178768 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30085] ppid=30079 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30085/stat : 30085 (java) S 30079 30079 30035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107166962 26623803392 6191 33554432000 4194304 4196468 140736187745904 139777216125712 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30086] ppid=30079 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30086/stat : 30086 (java) S 30079 30079 30035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107166962 26623803392 6191 33554432000 4194304 4196468 140736187745904 139777215073168 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30087] ppid=30079 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30087/stat : 30087 (java) S 30079 30079 30035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107166962 26623803392 6191 33554432000 4194304 4196468 140736187745904 139777214020112 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30088] ppid=30079 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/30081/task/30088/stat : 30088 (java) S 30079 30079 30035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107166962 26623803392 6191 33554432000 4194304 4196468 140736187745904 139777212967568 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30089] ppid=30079 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30089/stat : 30089 (java) S 30079 30079 30035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107166962 26623803392 6191 33554432000 4194304 4196468 140736187745904 139777211914512 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30090] ppid=30079 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30090/stat : 30090 (java) S 30079 30079 30035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107166962 26623803392 6191 33554432000 4194304 4196468 140736187745904 139777210861968 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30091] ppid=30079 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30091/stat : 30091 (java) S 30079 30079 30035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107166963 26623803392 6191 33554432000 4194304 4196468 140736187745904 139776334793456 139777659824770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30092] ppid=30079 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30092/stat : 30092 (java) S 30079 30079 30035 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 107166964 26623803392 6191 33554432000 4194304 4196468 140736187745904 139776333739680 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30093] ppid=30079 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30093/stat : 30093 (java) S 30079 30079 30035 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 107166964 26623803392 6191 33554432000 4194304 4196468 140736187745904 139776332686576 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30094] ppid=30079 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30094/stat : 30094 (java) S 30079 30079 30035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107166966 26623803392 6191 33554432000 4194304 4196468 140736187745904 139776331635152 139777659832219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30095] ppid=30079 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30095/stat : 30095 (java) S 30079 30079 30035 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 107166966 26623803392 6191 33554432000 4194304 4196468 140736187745904 139776330582256 139777659824770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30096] ppid=30079 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30096/stat : 30096 (java) R 30079 30079 30035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107166966 26623803392 6191 33554432000 4194304 4196468 140736187745904 139776329529712 139777659824770 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30097] ppid=30079 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30097/stat : 30097 (java) S 30079 30079 30035 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 20 0 107166966 26623803392 6191 33554432000 4194304 4196468 140736187745904 139776328476656 139777659824770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30098] ppid=30079 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/30081/task/30098/stat : 30098 (java) S 30079 30079 30035 0 -1 1077944384 288 0 0 0 1 0 0 0 20 0 20 0 107166966 26623803392 6191 33554432000 4194304 4196468 140736187745904 139776327424112 139777659824770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30099] ppid=30079 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30099/stat : 30099 (java) S 30079 30079 30035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107166966 26623803392 6191 33554432000 4194304 4196468 140736187745904 139776326372320 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30100] ppid=30079 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/30081/task/30100/stat : 30100 (java) S 30079 30079 30035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107166967 26623803392 6191 33554432000 4194304 4196468 140736187745904 139776325319856 139777659824770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 26148 KiB
[startup+0.210053 s]*
/proc/loadavg: 7.51 8.14 8.26 2/199 30100
/proc/meminfo: memFree=28682740/32770624 swapFree=67108860/67108860
[pid=30079] ppid=30076 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/30079/stat : 30079 (xcsp3-exec) S 30076 30079 30035 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 107166960 9740288 346 33554432000 4194304 5098028 140734419378320 140734419376424 140312283800188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16211968 140734419387493 140734419387703 140734419387703 140734419390443 0
/proc/30079/statm: 2378 346 289 221 0 87 0
[pid=30081] ppid=30079 vsize=26004064 memory=37972 CPUtime=0.33 cores=0-7
/proc/30081/stat : 30081 (java) S 30079 30079 30035 0 -1 1077944320 8547 0 0 0 32 1 0 0 20 0 20 0 107166961 26628161536 9493 33554432000 4194304 4196468 140736187745904 140736187728448 139777659813623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
/proc/30081/statm: 6501016 9493 3053 1 0 6488269 0
[pid=30081/tid=30082] ppid=30079 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/30081/task/30082/stat : 30082 (java) R 30079 30079 30035 0 -1 4202560 5487 0 0 0 19 0 0 0 20 0 20 0 107166961 26628161536 9493 33554432000 4194304 4196468 140736187745904 139777664036528 139777643894110 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30083] ppid=30079 vsize=26004064 memory=340 CPUtime=0 cores=0-7
/proc/30081/task/30083/stat : 30083 (java) S 30079 30079 30035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107166962 26628161536 9493 33554432000 4194304 4196468 140736187745904 139777631656976 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30084] ppid=30079 vsize=26004064 memory=140576668837211 CPUtime=0 cores=0-7
/proc/30081/task/30084/stat : 30084 (java) S 30079 30079 30035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107166962 26628161536 9493 33554432000 4194304 4196468 140736187745904 139777217178768 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30085] ppid=30079 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/30081/task/30085/stat : 30085 (java) S 30079 30079 30035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107166962 26628161536 9493 33554432000 4194304 4196468 140736187745904 139777216125712 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30086] ppid=30079 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30086/stat : 30086 (java) S 30079 30079 30035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107166962 26628161536 9493 33554432000 4194304 4196468 140736187745904 139777215073168 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30087] ppid=30079 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30087/stat : 30087 (java) S 30079 30079 30035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107166962 26628161536 9493 33554432000 4194304 4196468 140736187745904 139777214020112 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30088] ppid=30079 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/30081/task/30088/stat : 30088 (java) S 30079 30079 30035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107166962 26628161536 9493 33554432000 4194304 4196468 140736187745904 139777212967568 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30089] ppid=30079 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30089/stat : 30089 (java) S 30079 30079 30035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107166962 26628161536 9493 33554432000 4194304 4196468 140736187745904 139777211914512 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30090] ppid=30079 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30090/stat : 30090 (java) S 30079 30079 30035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107166962 26628161536 9493 33554432000 4194304 4196468 140736187745904 139777210861968 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30091] ppid=30079 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30091/stat : 30091 (java) S 30079 30079 30035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107166963 26628161536 9493 33554432000 4194304 4196468 140736187745904 139776334793456 139777659824770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30092] ppid=30079 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30092/stat : 30092 (java) S 30079 30079 30035 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 107166964 26628161536 9493 33554432000 4194304 4196468 140736187745904 139776333739680 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30093] ppid=30079 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30093/stat : 30093 (java) S 30079 30079 30035 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 107166964 26628161536 9493 33554432000 4194304 4196468 140736187745904 139776332686576 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30094] ppid=30079 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30094/stat : 30094 (java) S 30079 30079 30035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107166966 26628161536 9493 33554432000 4194304 4196468 140736187745904 139776331635152 139777659832219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30095] ppid=30079 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/30081/task/30095/stat : 30095 (java) S 30079 30079 30035 0 -1 1077944384 471 0 0 0 2 0 0 0 20 0 20 0 107166966 26628161536 9493 33554432000 4194304 4196468 140736187745904 139776330582256 139777659824770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30096] ppid=30079 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30096/stat : 30096 (java) S 30079 30079 30035 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 107166966 26628161536 9493 33554432000 4194304 4196468 140736187745904 139776329529712 139777659824770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30097] ppid=30079 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/30081/task/30097/stat : 30097 (java) S 30079 30079 30035 0 -1 1077944384 384 0 0 0 2 0 0 0 20 0 20 0 107166966 26628161536 9493 33554432000 4194304 4196468 140736187745904 139776328476656 139777659824770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30098] ppid=30079 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/30081/task/30098/stat : 30098 (java) S 30079 30079 30035 0 -1 1077944384 882 0 0 0 7 0 0 0 20 0 20 0 107166966 26628161536 9493 33554432000 4194304 4196468 140736187745904 139776327424112 139777659824770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30099] ppid=30079 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30099/stat : 30099 (java) S 30079 30079 30035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107166966 26628161536 9493 33554432000 4194304 4196468 140736187745904 139776326372320 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30100] ppid=30079 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/30081/task/30100/stat : 30100 (java) S 30079 30079 30035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107166967 26628161536 9493 33554432000 4194304 4196468 140736187745904 139776325319856 139777659824770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39356 KiB
[startup+0.309503 s]*
/proc/loadavg: 7.51 8.14 8.26 2/199 30100
/proc/meminfo: memFree=28675916/32770624 swapFree=67108860/67108860
[pid=30079] ppid=30076 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/30079/stat : 30079 (xcsp3-exec) S 30076 30079 30035 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 107166960 9740288 346 33554432000 4194304 5098028 140734419378320 140734419376424 140312283800188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16211968 140734419387493 140734419387703 140734419387703 140734419390443 0
/proc/30079/statm: 2378 346 289 221 0 87 0
[pid=30081] ppid=30079 vsize=26004064 memory=44948 CPUtime=0.49 cores=0-7
/proc/30081/stat : 30081 (java) S 30079 30079 30035 0 -1 1077944320 9521 0 0 0 47 2 0 0 20 0 20 0 107166961 26628161536 11237 33554432000 4194304 4196468 140736187745904 140736187728448 139777659813623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
/proc/30081/statm: 6501016 11237 3066 1 0 6488269 0
[pid=30081/tid=30082] ppid=30079 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/30081/task/30082/stat : 30082 (java) R 30079 30079 30035 0 -1 4202560 6223 0 0 0 28 1 0 0 20 0 20 0 107166961 26628161536 11237 33554432000 4194304 4196468 140736187745904 139777664051888 139777643894110 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30083] ppid=30079 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30083/stat : 30083 (java) S 30079 30079 30035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107166962 26628161536 11237 33554432000 4194304 4196468 140736187745904 139777631656976 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30084] ppid=30079 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30084/stat : 30084 (java) S 30079 30079 30035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107166962 26628161536 11237 33554432000 4194304 4196468 140736187745904 139777217178768 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30085] ppid=30079 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30085/stat : 30085 (java) S 30079 30079 30035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107166962 26628161536 11237 33554432000 4194304 4196468 140736187745904 139777216125712 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30086] ppid=30079 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30086/stat : 30086 (java) S 30079 30079 30035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107166962 26628161536 11237 33554432000 4194304 4196468 140736187745904 139777215073168 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30087] ppid=30079 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/30081/task/30087/stat : 30087 (java) S 30079 30079 30035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107166962 26628161536 11237 33554432000 4194304 4196468 140736187745904 139777214020112 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30088] ppid=30079 vsize=26004064 memory=140576561394607 CPUtime=0 cores=0-7
/proc/30081/task/30088/stat : 30088 (java) S 30079 30079 30035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107166962 26628161536 11237 33554432000 4194304 4196468 140736187745904 139777212967568 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30089] ppid=30079 vsize=26004064 memory=140576561396912 CPUtime=0 cores=0-7
/proc/30081/task/30089/stat : 30089 (java) S 30079 30079 30035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107166962 26628161536 11237 33554432000 4194304 4196468 140736187745904 139777211914512 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30090] ppid=30079 vsize=26004064 memory=140576561399216 CPUtime=0 cores=0-7
/proc/30081/task/30090/stat : 30090 (java) S 30079 30079 30035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107166962 26628161536 11237 33554432000 4194304 4196468 140736187745904 139777210861968 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30091] ppid=30079 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30091/stat : 30091 (java) S 30079 30079 30035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107166963 26628161536 11237 33554432000 4194304 4196468 140736187745904 139776334793456 139777659824770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30092] ppid=30079 vsize=26004064 memory=281153122805392 CPUtime=0 cores=0-7
/proc/30081/task/30092/stat : 30092 (java) S 30079 30079 30035 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 107166964 26628161536 11237 33554432000 4194304 4196468 140736187745904 139776333739680 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30093] ppid=30079 vsize=26004064 memory=281153122812304 CPUtime=0 cores=0-7
/proc/30081/task/30093/stat : 30093 (java) S 30079 30079 30035 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 107166964 26628161536 11237 33554432000 4194304 4196468 140736187745904 139776332686576 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30094] ppid=30079 vsize=26004064 memory=281153122753584 CPUtime=0 cores=0-7
/proc/30081/task/30094/stat : 30094 (java) S 30079 30079 30035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107166966 26628161536 11237 33554432000 4194304 4196468 140736187745904 139776331635152 139777659832219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30095] ppid=30079 vsize=26004064 memory=281153122826128 CPUtime=0.02 cores=0-7
/proc/30081/task/30095/stat : 30095 (java) S 30079 30079 30035 0 -1 1077944384 490 0 0 0 2 0 0 0 20 0 20 0 107166966 26628161536 11237 33554432000 4194304 4196468 140736187745904 139776330582256 139777659824770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30096] ppid=30079 vsize=26004064 memory=281153122833040 CPUtime=0.02 cores=0-7
/proc/30081/task/30096/stat : 30096 (java) S 30079 30079 30035 0 -1 1077944384 82 0 0 0 2 0 0 0 20 0 20 0 107166966 26628161536 11237 33554432000 4194304 4196468 140736187745904 139776329529712 139777659824770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30097] ppid=30079 vsize=26004064 memory=281153122830736 CPUtime=0.02 cores=0-7
/proc/30081/task/30097/stat : 30097 (java) S 30079 30079 30035 0 -1 1077944384 386 0 0 0 2 0 0 0 20 0 20 0 107166966 26628161536 11237 33554432000 4194304 4196468 140736187745904 139776328476656 139777659824770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30098] ppid=30079 vsize=26004064 memory=281153122846896 CPUtime=0.11 cores=0-7
/proc/30081/task/30098/stat : 30098 (java) S 30079 30079 30035 0 -1 1077944384 1032 0 0 0 11 0 0 0 20 0 20 0 107166966 26628161536 11237 33554432000 4194304 4196468 140736187745904 139776327424112 139777659824770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30099] ppid=30079 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30099/stat : 30099 (java) S 30079 30079 30035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107166966 26628161536 11237 33554432000 4194304 4196468 140736187745904 139776326372320 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30100] ppid=30079 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/30081/task/30100/stat : 30100 (java) S 30079 30079 30035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107166967 26628161536 11237 33554432000 4194304 4196468 140736187745904 139776325319856 139777659824770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 46332 KiB
[startup+0.710377 s]
/proc/loadavg: 7.51 8.14 8.26 6/199 30100
/proc/meminfo: memFree=28657928/32770624 swapFree=67108860/67108860
[pid=30079] ppid=30076 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/30079/stat : 30079 (xcsp3-exec) S 30076 30079 30035 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 107166960 9740288 346 33554432000 4194304 5098028 140734419378320 140734419376424 140312283800188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16211968 140734419387493 140734419387703 140734419387703 140734419390443 0
/proc/30079/statm: 2378 346 289 221 0 87 0
[pid=30081] ppid=30079 vsize=26538700 memory=90148 CPUtime=1.88 cores=0-7
/proc/30081/stat : 30081 (java) S 30079 30079 30035 0 -1 1077944320 13585 0 0 0 183 5 0 0 20 0 28 0 107166961 27175628800 22537 33554432000 4194304 4196468 140736187745904 140736187728448 139777659813623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
/proc/30081/statm: 6634675 22537 3205 1 0 6621909 0
[pid=30081/tid=30082] ppid=30079 vsize=26538700 memory=281153123204784 CPUtime=0.59 cores=0-7
/proc/30081/task/30082/stat : 30082 (java) S 30079 30079 30035 0 -1 1077944384 7037 0 0 0 57 2 0 0 20 0 28 0 107166961 27175628800 22537 33554432000 4194304 4196468 140736187745904 139777664054400 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30083] ppid=30079 vsize=26538700 memory=140576561603440 CPUtime=0 cores=0-7
/proc/30081/task/30083/stat : 30083 (java) S 30079 30079 30035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 107166962 27175628800 22537 33554432000 4194304 4196468 140736187745904 139777631656976 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30084] ppid=30079 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30084/stat : 30084 (java) S 30079 30079 30035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 107166962 27175628800 22537 33554432000 4194304 4196468 140736187745904 139777217178768 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30085] ppid=30079 vsize=26538700 memory=1200 CPUtime=0 cores=0-7
/proc/30081/task/30085/stat : 30085 (java) S 30079 30079 30035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 107166962 27175628800 22537 33554432000 4194304 4196468 140736187745904 139777216125712 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
################
# More data... #
################
[pid=30081/tid=30090] ppid=30079 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30090/stat : 30090 (java) S 30079 30079 30035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 107166962 27175628800 46140 33554432000 4194304 4196468 140736187745904 139777210861968 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30091] ppid=30079 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30091/stat : 30091 (java) S 30079 30079 30035 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 107166963 27175628800 46140 33554432000 4194304 4196468 140736187745904 139776334793456 139777659824770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30092] ppid=30079 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30092/stat : 30092 (java) S 30079 30079 30035 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 107166964 27175628800 46140 33554432000 4194304 4196468 140736187745904 139776333739680 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30093] ppid=30079 vsize=26538700 memory=258522671541022 CPUtime=0 cores=0-7
/proc/30081/task/30093/stat : 30093 (java) S 30079 30079 30035 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 107166964 27175628800 46140 33554432000 4194304 4196468 140736187745904 139776332686576 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30094] ppid=30079 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30094/stat : 30094 (java) S 30079 30079 30035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 107166966 27175628800 46140 33554432000 4194304 4196468 140736187745904 139776331635152 139777659832219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30095] ppid=30079 vsize=26538700 memory=0 CPUtime=1.71 cores=0-7
/proc/30081/task/30095/stat : 30095 (java) R 30079 30079 30035 0 -1 4202560 11327 0 0 0 168 3 0 0 20 0 28 0 107166966 27175628800 46140 33554432000 4194304 4196468 140736187745904 139776330575360 139777644938929 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30096] ppid=30079 vsize=26538700 memory=12 CPUtime=1.38 cores=0-7
/proc/30081/task/30096/stat : 30096 (java) R 30079 30079 30035 0 -1 4202560 13776 0 0 0 133 5 0 0 20 0 28 0 107166966 27175628800 46140 33554432000 4194304 4196468 140736187745904 139776329522904 139777640513920 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30097] ppid=30079 vsize=26538700 memory=38 CPUtime=1.71 cores=0-7
/proc/30081/task/30097/stat : 30097 (java) R 30079 30079 30035 0 -1 4202560 9380 0 0 0 169 2 0 0 20 0 28 0 107166966 27175628800 46140 33554432000 4194304 4196468 140736187745904 139776328462864 139777641357722 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30098] ppid=30079 vsize=26538700 memory=0 CPUtime=0.58 cores=0-7
/proc/30081/task/30098/stat : 30098 (java) S 30079 30079 30035 0 -1 1077944384 3723 0 0 0 57 1 0 0 20 0 28 0 107166966 27175628800 46140 33554432000 4194304 4196468 140736187745904 139776327424112 139777659824770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30099] ppid=30079 vsize=26538700 memory=4 CPUtime=0 cores=0-7
/proc/30081/task/30099/stat : 30099 (java) S 30079 30079 30035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 107166966 27175628800 46140 33554432000 4194304 4196468 140736187745904 139776326372320 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30100] ppid=30079 vsize=26538700 memory=31044 CPUtime=0 cores=0-7
/proc/30081/task/30100/stat : 30100 (java) S 30079 30079 30035 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 107166967 27175628800 46140 33554432000 4194304 4196468 140736187745904 139776325319856 139777659824770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30101] ppid=30079 vsize=26538700 memory=4567366080583192918 CPUtime=1.85 cores=0-7
/proc/30081/task/30101/stat : 30101 (java) R 30079 30079 30035 0 -1 4202560 182 0 0 0 185 0 0 0 20 0 28 0 107167022 27175628800 46140 33554432000 4194304 4196468 140736187745904 139776317308280 139777301306912 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30102] ppid=30079 vsize=26538700 memory=0 CPUtime=2.17 cores=0-7
/proc/30081/task/30102/stat : 30102 (java) R 30079 30079 30035 0 -1 4202560 175 0 0 0 217 0 0 0 20 0 28 0 107167022 27175628800 46140 33554432000 4194304 4196468 140736187745904 139776316258768 139777301867685 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30103] ppid=30079 vsize=26538700 memory=0 CPUtime=1.79 cores=0-7
/proc/30081/task/30103/stat : 30103 (java) R 30079 30079 30035 0 -1 4202560 152 0 0 0 179 0 0 0 20 0 28 0 107167022 27175628800 46140 33554432000 4194304 4196468 140736187745904 139776315204040 139777300378124 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30104] ppid=30079 vsize=26538700 memory=288230574492221466 CPUtime=1.99 cores=0-7
/proc/30081/task/30104/stat : 30104 (java) R 30079 30079 30035 0 -1 4202560 103 0 0 0 199 0 0 0 20 0 28 0 107167022 27175628800 46140 33554432000 4194304 4196468 140736187745904 139776314153080 139777302536342 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30105] ppid=30079 vsize=26538700 memory=0 CPUtime=2.38 cores=0-7
/proc/30081/task/30105/stat : 30105 (java) R 30079 30079 30035 0 -1 4202560 199 0 0 0 238 0 0 0 20 0 28 0 107167022 27175628800 46140 33554432000 4194304 4196468 140736187745904 139776313097256 139777300803424 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30106] ppid=30079 vsize=26538700 memory=0 CPUtime=1.94 cores=0-7
/proc/30081/task/30106/stat : 30106 (java) R 30079 30079 30035 0 -1 4202560 117 0 0 0 194 0 0 0 20 0 28 0 107167022 27175628800 46140 33554432000 4194304 4196468 140736187745904 139776312047704 139777301716208 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30107] ppid=30079 vsize=26538700 memory=0 CPUtime=2.08 cores=0-7
/proc/30081/task/30107/stat : 30107 (java) R 30079 30079 30035 0 -1 4202560 135 0 0 0 208 0 0 0 20 0 28 0 107167022 27175628800 46140 33554432000 4194304 4196468 140736187745904 139776310995424 139777303036287 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30108] ppid=30079 vsize=26538700 memory=0 CPUtime=2.05 cores=0-7
/proc/30081/task/30108/stat : 30108 (java) R 30079 30079 30035 0 -1 4202560 140 0 0 0 205 0 0 0 20 0 28 0 107167022 27175628800 46140 33554432000 4194304 4196468 140736187745904 139776309940856 139777302695435 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
Current children cumulated CPU time: 22.33 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 185944 KiB
[startup+3.70156 s]
/proc/loadavg: 7.51 8.14 8.26 12/207 30108
/proc/meminfo: memFree=28548396/32770624 swapFree=67108860/67108860
[pid=30079] ppid=30076 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/30079/stat : 30079 (xcsp3-exec) S 30076 30079 30035 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 107166960 9740288 346 33554432000 4194304 5098028 140734419378320 140734419376424 140312283800188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16211968 140734419387493 140734419387703 140734419387703 140734419390443 0
/proc/30079/statm: 2378 346 289 221 0 87 0
[pid=30081] ppid=30079 vsize=26538700 memory=216096 CPUtime=25.49 cores=0-7
/proc/30081/stat : 30081 (java) S 30079 30079 30035 0 -1 1077944320 48146 0 0 0 2531 18 0 0 20 0 28 0 107166961 27175628800 54024 33554432000 4194304 4196468 140736187745904 140736187728448 139777659813623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
/proc/30081/statm: 6634675 54024 3245 1 0 6621909 0
[pid=30081/tid=30082] ppid=30079 vsize=26538700 memory=6225755233938206574 CPUtime=0.59 cores=0-7
/proc/30081/task/30082/stat : 30082 (java) S 30079 30079 30035 0 -1 1077944384 7037 0 0 0 57 2 0 0 20 0 28 0 107166961 27175628800 54024 33554432000 4194304 4196468 140736187745904 139777664054400 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30083] ppid=30079 vsize=26538700 memory=6443617952387788906 CPUtime=0 cores=0-7
/proc/30081/task/30083/stat : 30083 (java) S 30079 30079 30035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 107166962 27175628800 54024 33554432000 4194304 4196468 140736187745904 139777631656976 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30084] ppid=30079 vsize=26538700 memory=6442493139107735402 CPUtime=0 cores=0-7
/proc/30081/task/30084/stat : 30084 (java) S 30079 30079 30035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 107166962 27175628800 54024 33554432000 4194304 4196468 140736187745904 139777217178768 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30085] ppid=30079 vsize=26538700 memory=4132 CPUtime=0 cores=0-7
/proc/30081/task/30085/stat : 30085 (java) S 30079 30079 30035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 107166962 27175628800 54024 33554432000 4194304 4196468 140736187745904 139777216125712 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30086] ppid=30079 vsize=26538700 memory=2204 CPUtime=0 cores=0-7
/proc/30081/task/30086/stat : 30086 (java) S 30079 30079 30035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 107166962 27175628800 54024 33554432000 4194304 4196468 140736187745904 139777215073168 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30087] ppid=30079 vsize=26538700 memory=7280 CPUtime=0 cores=0-7
/proc/30081/task/30087/stat : 30087 (java) S 30079 30079 30035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 107166962 27175628800 54024 33554432000 4194304 4196468 140736187745904 139777214020112 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30088] ppid=30079 vsize=26538700 memory=7450731021078980179 CPUtime=0 cores=0-7
/proc/30081/task/30088/stat : 30088 (java) S 30079 30079 30035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 107166962 27175628800 54024 33554432000 4194304 4196468 140736187745904 139777212967568 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30089] ppid=30079 vsize=26538700 memory=7667772425968838998 CPUtime=0 cores=0-7
/proc/30081/task/30089/stat : 30089 (java) S 30079 30079 30035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 107166962 27175628800 54024 33554432000 4194304 4196468 140736187745904 139777211914512 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30090] ppid=30079 vsize=26538700 memory=7085971337502286700 CPUtime=0 cores=0-7
/proc/30081/task/30090/stat : 30090 (java) S 30079 30079 30035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 107166962 27175628800 54024 33554432000 4194304 4196468 140736187745904 139777210861968 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30091] ppid=30079 vsize=26538700 memory=7440052414075397969 CPUtime=0 cores=0-7
/proc/30081/task/30091/stat : 30091 (java) S 30079 30079 30035 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 107166963 27175628800 54024 33554432000 4194304 4196468 140736187745904 139776334793456 139777659824770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30092] ppid=30079 vsize=26538700 memory=7018420645870915693 CPUtime=0 cores=0-7
/proc/30081/task/30092/stat : 30092 (java) S 30079 30079 30035 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 107166964 27175628800 54024 33554432000 4194304 4196468 140736187745904 139776333739680 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30093] ppid=30079 vsize=26538700 memory=-8458152057954561420 CPUtime=0 cores=0-7
/proc/30081/task/30093/stat : 30093 (java) S 30079 30079 30035 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 107166964 27175628800 54024 33554432000 4194304 4196468 140736187745904 139776332686576 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30094] ppid=30079 vsize=26538700 memory=4137290303932963203 CPUtime=0 cores=0-7
/proc/30081/task/30094/stat : 30094 (java) S 30079 30079 30035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 107166966 27175628800 54024 33554432000 4194304 4196468 140736187745904 139776331635152 139777659832219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30095] ppid=30079 vsize=26538700 memory=6944663189525129274 CPUtime=1.95 cores=0-7
/proc/30081/task/30095/stat : 30095 (java) R 30079 30079 30035 0 -1 4202560 11376 0 0 0 192 3 0 0 20 0 28 0 107166966 27175628800 54024 33554432000 4194304 4196468 140736187745904 139776330582256 139777639468529 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30096] ppid=30079 vsize=26538700 memory=0 CPUtime=1.57 cores=0-7
/proc/30081/task/30096/stat : 30096 (java) R 30079 30079 30035 0 -1 4202560 13816 0 0 0 152 5 0 0 20 0 28 0 107166966 27175628800 54024 33554432000 4194304 4196468 140736187745904 139776329528640 139777639508742 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30097] ppid=30079 vsize=26538700 memory=7235147594880805952 CPUtime=1.92 cores=0-7
/proc/30081/task/30097/stat : 30097 (java) R 30079 30079 30035 0 -1 4202560 9430 0 0 0 190 2 0 0 20 0 28 0 107166966 27175628800 54024 33554432000 4194304 4196468 140736187745904 139776328466144 139777645965264 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30098] ppid=30079 vsize=26538700 memory=5938087807723066735 CPUtime=0.63 cores=0-7
/proc/30081/task/30098/stat : 30098 (java) S 30079 30079 30035 0 -1 1077944384 3897 0 0 0 62 1 0 0 20 0 28 0 107166966 27175628800 54024 33554432000 4194304 4196468 140736187745904 139776327424112 139777659824770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30099] ppid=30079 vsize=26538700 memory=7811327872682322262 CPUtime=0 cores=0-7
/proc/30081/task/30099/stat : 30099 (java) S 30079 30079 30035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 107166966 27175628800 54024 33554432000 4194304 4196468 140736187745904 139776326372320 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30100] ppid=30079 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30100/stat : 30100 (java) S 30079 30079 30035 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 107166967 27175628800 54024 33554432000 4194304 4196468 140736187745904 139776325319856 139777659824770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30101] ppid=30079 vsize=26538700 memory=4913442587761 CPUtime=2.21 cores=0-7
/proc/30081/task/30101/stat : 30101 (java) R 30079 30079 30035 0 -1 4202560 182 0 0 0 221 0 0 0 20 0 28 0 107167022 27175628800 54024 33554432000 4194304 4196468 140736187745904 139776317308424 139777301963540 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30102] ppid=30079 vsize=26538700 memory=0 CPUtime=2.41 cores=0-7
/proc/30081/task/30102/stat : 30102 (java) R 30079 30079 30035 0 -1 4202560 184 0 0 0 241 0 0 0 20 0 28 0 107167022 27175628800 54024 33554432000 4194304 4196468 140736187745904 139776316256176 139777301717938 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30103] ppid=30079 vsize=26538700 memory=0 CPUtime=2.04 cores=0-7
/proc/30081/task/30103/stat : 30103 (java) R 30079 30079 30035 0 -1 4202560 158 0 0 0 204 0 0 0 20 0 28 0 107167022 27175628800 54024 33554432000 4194304 4196468 140736187745904 139776315202544 139777300804139 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30104] ppid=30079 vsize=26538700 memory=0 CPUtime=2.36 cores=0-7
/proc/30081/task/30104/stat : 30104 (java) R 30079 30079 30035 0 -1 4202560 105 0 0 0 236 0 0 0 20 0 28 0 107167022 27175628800 54024 33554432000 4194304 4196468 140736187745904 139776314152968 139777300803524 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30105] ppid=30079 vsize=26538700 memory=0 CPUtime=2.7 cores=0-7
/proc/30081/task/30105/stat : 30105 (java) R 30079 30079 30035 0 -1 4202560 201 0 0 0 270 0 0 0 20 0 28 0 107167022 27175628800 54024 33554432000 4194304 4196468 140736187745904 139776313099368 139777301964043 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30106] ppid=30079 vsize=26538700 memory=0 CPUtime=2.23 cores=0-7
/proc/30081/task/30106/stat : 30106 (java) R 30079 30079 30035 0 -1 4202560 119 0 0 0 223 0 0 0 20 0 28 0 107167022 27175628800 54024 33554432000 4194304 4196468 140736187745904 139776312044936 139777303231462 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30107] ppid=30079 vsize=26538700 memory=0 CPUtime=2.35 cores=0-7
/proc/30081/task/30107/stat : 30107 (java) R 30079 30079 30035 0 -1 4202560 137 0 0 0 235 0 0 0 20 0 28 0 107167022 27175628800 54024 33554432000 4194304 4196468 140736187745904 139776310994104 139777301307512 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30108] ppid=30079 vsize=26538700 memory=0 CPUtime=2.41 cores=0-7
/proc/30081/task/30108/stat : 30108 (java) R 30079 30079 30035 0 -1 4202560 146 0 0 0 241 0 0 0 20 0 28 0 107167022 27175628800 54024 33554432000 4194304 4196468 140736187745904 139776309940136 139777303101404 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 217480 KiB
[startup+3.90115 s]
/proc/loadavg: 7.51 8.14 8.26 12/207 30108
/proc/meminfo: memFree=28548396/32770624 swapFree=67108860/67108860
[pid=30079] ppid=30076 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/30079/stat : 30079 (xcsp3-exec) S 30076 30079 30035 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 107166960 9740288 346 33554432000 4194304 5098028 140734419378320 140734419376424 140312283800188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16211968 140734419387493 140734419387703 140734419387703 140734419390443 0
/proc/30079/statm: 2378 346 289 221 0 87 0
[pid=30081] ppid=30079 vsize=26538700 memory=232296 CPUtime=27.07 cores=0-7
/proc/30081/stat : 30081 (java) S 30079 30079 30035 0 -1 1077944320 49820 0 0 0 2688 19 0 0 20 0 20 0 107166961 27175628800 58074 33554432000 4194304 4196468 140736187745904 140736187728448 139777659813623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
/proc/30081/statm: 6634675 58074 3249 1 0 6621909 0
[pid=30081/tid=30082] ppid=30079 vsize=26538700 memory=6011581402601046114 CPUtime=0.59 cores=0-7
/proc/30081/task/30082/stat : 30082 (java) R 30079 30079 30035 0 -1 4202560 7555 0 0 0 57 2 0 0 20 0 20 0 107166961 27175628800 58074 33554432000 4194304 4196468 140736187745904 139777664054488 139777297555712 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30083] ppid=30079 vsize=26538700 memory=6011581402601046114 CPUtime=0 cores=0-7
/proc/30081/task/30083/stat : 30083 (java) S 30079 30079 30035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107166962 27175628800 58074 33554432000 4194304 4196468 140736187745904 139777631656976 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30084] ppid=30079 vsize=26538700 memory=5787220531491389536 CPUtime=0 cores=0-7
/proc/30081/task/30084/stat : 30084 (java) S 30079 30079 30035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107166962 27175628800 58074 33554432000 4194304 4196468 140736187745904 139777217178768 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30085] ppid=30079 vsize=26538700 memory=8165136352196976727 CPUtime=0 cores=0-7
/proc/30081/task/30085/stat : 30085 (java) S 30079 30079 30035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107166962 27175628800 58074 33554432000 4194304 4196468 140736187745904 139777216125712 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30086] ppid=30079 vsize=26538700 memory=8470556300224001131 CPUtime=0 cores=0-7
/proc/30081/task/30086/stat : 30086 (java) S 30079 30079 30035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107166962 27175628800 58074 33554432000 4194304 4196468 140736187745904 139777215073168 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30087] ppid=30079 vsize=26538700 memory=3612062800061299826 CPUtime=0 cores=0-7
/proc/30081/task/30087/stat : 30087 (java) S 30079 30079 30035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107166962 27175628800 58089 33554432000 4194304 4196468 140736187745904 139777214020112 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30088] ppid=30079 vsize=26538700 memory=269762600954627 CPUtime=0 cores=0-7
/proc/30081/task/30088/stat : 30088 (java) S 30079 30079 30035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107166962 27175628800 58089 33554432000 4194304 4196468 140736187745904 139777212967568 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30089] ppid=30079 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30089/stat : 30089 (java) S 30079 30079 30035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107166962 27175628800 58089 33554432000 4194304 4196468 140736187745904 139777211914512 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30090] ppid=30079 vsize=26538700 memory=7306052874658670935 CPUtime=0 cores=0-7
/proc/30081/task/30090/stat : 30090 (java) S 30079 30079 30035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107166962 27175628800 58089 33554432000 4194304 4196468 140736187745904 139777210861968 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30091] ppid=30079 vsize=26538700 memory=7306052874658670935 CPUtime=0 cores=0-7
/proc/30081/task/30091/stat : 30091 (java) S 30079 30079 30035 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 107166963 27175628800 58089 33554432000 4194304 4196468 140736187745904 139776334793456 139777659824770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30092] ppid=30079 vsize=26538700 memory=7306052874658670935 CPUtime=0 cores=0-7
/proc/30081/task/30092/stat : 30092 (java) S 30079 30079 30035 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 107166964 27175628800 58089 33554432000 4194304 4196468 140736187745904 139776333739680 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30093] ppid=30079 vsize=26538700 memory=7649399397216694323 CPUtime=0 cores=0-7
/proc/30081/task/30093/stat : 30093 (java) S 30079 30079 30035 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 107166964 27175628800 58089 33554432000 4194304 4196468 140736187745904 139776332686576 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30094] ppid=30079 vsize=26538700 memory=-8253362762723129468 CPUtime=0 cores=0-7
/proc/30081/task/30094/stat : 30094 (java) S 30079 30079 30035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107166966 27175628800 58089 33554432000 4194304 4196468 140736187745904 139776331635152 139777659832219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30095] ppid=30079 vsize=26538700 memory=0 CPUtime=2.02 cores=0-7
/proc/30081/task/30095/stat : 30095 (java) S 30079 30079 30035 0 -1 1077944384 11473 0 0 0 199 3 0 0 20 0 20 0 107166966 27175628800 58091 33554432000 4194304 4196468 140736187745904 139776330582256 139777659824770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30096] ppid=30079 vsize=26538700 memory=140576668350079 CPUtime=1.67 cores=0-7
/proc/30081/task/30096/stat : 30096 (java) S 30079 30079 30035 0 -1 1077944384 13951 0 0 0 162 5 0 0 20 0 20 0 107166966 27175628800 58091 33554432000 4194304 4196468 140736187745904 139776329529712 139777659824770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30097] ppid=30079 vsize=26538700 memory=0 CPUtime=1.93 cores=0-7
/proc/30081/task/30097/stat : 30097 (java) S 30079 30079 30035 0 -1 1077944384 9557 0 0 0 191 2 0 0 20 0 20 0 107166966 27175628800 58091 33554432000 4194304 4196468 140736187745904 139776328476656 139777659824770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30098] ppid=30079 vsize=26538700 memory=0 CPUtime=0.63 cores=0-7
/proc/30081/task/30098/stat : 30098 (java) R 30079 30079 30035 0 -1 4202560 3978 0 0 0 62 1 0 0 20 0 20 0 107166966 27175628800 58091 33554432000 4194304 4196468 140736187745904 139776327421904 139777645509454 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30099] ppid=30079 vsize=26538700 memory=281153122599152 CPUtime=0 cores=0-7
/proc/30081/task/30099/stat : 30099 (java) S 30079 30079 30035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107166966 27175628800 58091 33554432000 4194304 4196468 140736187745904 139776326372320 139777659823829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
[pid=30081/tid=30100] ppid=30079 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/30081/task/30100/stat : 30100 (java) S 30079 30079 30035 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 107166967 27175628800 58091 33554432000 4194304 4196468 140736187745904 139776325319856 139777659824770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27652096 140736187749522 140736187749699 140736187749699 140736187752399 0
Current children cumulated CPU time: 27.07 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 233680 KiB
Child status: 0
Real time (s): 3.91318
CPU time (s): 27.0961
CPU user time (s): 26.8909
CPU system time (s): 0.205284
CPU usage (%): 692.432
Max. virtual memory (cumulated for all children) (KiB): 26551960
Max. memory (cumulated for all children) (KiB): 233680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.8909
system time used= 0.205284
maximum resident set size= 234816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50683
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4590
involuntary context switches= 935
# summary of solver processes directly reported to runsolver:
# pid: 30079
# total CPU time (s): 27.0961
# total CPU user time (s): 26.8909
# total CPU system time (s): 0.205284
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.044865 second user time and 0.088663 second system time
The end
Begin job on node151 at 2017-08-14 21:46:42
IDJOB=4271199
IDBENCH=127922
IDSOLVER=2662
FILE ID=node151/4271199-1502740861
RUNJOBID= node151-1502740002-30062
PBS_JOBID= 20629060
Free space on /tmp= 61756 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-129.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271199-1502740861/watcher-4271199-1502740861 -o /tmp/evaluation-result-4271199-1502740861/solver-4271199-1502740861 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1502740002-30062 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 654787646 HOME/instance-4271199-1502740861.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 98286cf95bf5397e70229f7335ae5343
RANDOM SEED=654787646
node151.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 : 5332.95
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 : 5332.95
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 : 5332.95
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 : 5332.95
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: 28709408 kB
MemAvailable: 31989200 kB
Buffers: 279652 kB
Cached: 3289796 kB
SwapCached: 0 kB
Active: 971228 kB
Inactive: 2650548 kB
Active(anon): 55052 kB
Inactive(anon): 25048 kB
Active(file): 916176 kB
Inactive(file): 2625500 kB
Unevictable: 7020 kB
Mlocked: 7020 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7512 kB
Writeback: 0 kB
AnonPages: 58668 kB
Mapped: 44696 kB
Shmem: 25224 kB
Slab: 134124 kB
SReclaimable: 107900 kB
SUnreclaim: 26224 kB
KernelStack: 3200 kB
PageTables: 4916 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 323824 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 114048 kB
DirectMap2M: 33431552 kB
Free space on /tmp at the end= 61748 MiB
End job on node151 at 2017-08-14 21:46:46