0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280836-1503150598.xml" -tl '20160s' -p 8 -x 0
0.11/0.14 c [HOME/instance-4280836-1503150598.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.32/0.26 c parse instance...
1.00/0.52 c solve instance...
17.74/2.75 s SATISFIABLE
17.74/2.75 v <instantiation>
17.74/2.75 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] </list>
17.74/2.75 v <values>55 40 52 30 13 20 7 72 80 63 17 47 50 43 24 69 5 51 58 19 38 23 9 32 73 68 49 36 35 26 79 61 2 57 25 48 53 66 21 4 46 41 12 64 62 1 15 6 74 56 76 29 81 31 18 71 42 65 44 54 28 37 10 77 39 78 33 27 45 34 14 22 8 67 59 11 70 75 60 3 16 </values>
17.74/2.75 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 (12615 MiB free)
memory of node 1: 16384 MiB (13790 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280836-1503150598/watcher-4280836-1503150598 -o /tmp/evaluation-result-4280836-1503150598/solver-4280836-1503150598 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1503142170-14304 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1134503385 HOME/instance-4280836-1503150598.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=15087, runsolver pid=15084
[startup+0.100111 s]*
/proc/loadavg: 7.85 8.14 8.27 2/199 15108
/proc/meminfo: memFree=27024704/32770624 swapFree=67108860/67108860
[pid=15087] ppid=15084 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15087/stat : 15087 (xcsp3-exec) S 15084 15087 14277 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148147871 9740288 346 33554432000 4194304 5098028 140724068537536 140724068535640 140118057738876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18866176 140724068545636 140724068545847 140724068545847 140724068548587 0
/proc/15087/statm: 2378 346 289 221 0 87 0
[pid=15089] ppid=15087 vsize=25999808 memory=26528 CPUtime=0.11 cores=0-7
/proc/15089/stat : 15089 (java) S 15087 15087 14277 0 -1 1077944320 5573 0 0 0 10 1 0 0 20 0 20 0 148147871 26623803392 6632 33554432000 4194304 4196468 140737399798160 140737399780704 140101568462583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
/proc/15089/statm: 6499952 6632 2846 1 0 6488269 0
[pid=15089/tid=15090] ppid=15087 vsize=25999808 memory=7681340447573058207 CPUtime=0.08 cores=0-7
/proc/15089/task/15090/stat : 15090 (java) R 15087 15087 14277 0 -1 4202560 3575 0 0 0 8 0 0 0 20 0 20 0 148147872 26623803392 6632 33554432000 4194304 4196468 140737399798160 140101572681560 140101568474518 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15091] ppid=15087 vsize=25999808 memory=732370454577761253 CPUtime=0 cores=0-7
/proc/15089/task/15091/stat : 15091 (java) S 15087 15087 14277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148147873 26623803392 6632 33554432000 4194304 4196468 140737399798160 140101521083408 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15092] ppid=15087 vsize=25999808 memory=140316240307840 CPUtime=0 cores=0-7
/proc/15089/task/15092/stat : 15092 (java) S 15087 15087 14277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148147873 26623803392 6632 33554432000 4194304 4196468 140737399798160 140101520030864 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15093] ppid=15087 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15093/stat : 15093 (java) S 15087 15087 14277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148147873 26623803392 6632 33554432000 4194304 4196468 140737399798160 140101518977808 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15094] ppid=15087 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15094/stat : 15094 (java) S 15087 15087 14277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148147873 26623803392 6632 33554432000 4194304 4196468 140737399798160 140101517925264 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15095] ppid=15087 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15095/stat : 15095 (java) S 15087 15087 14277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148147873 26623803392 6632 33554432000 4194304 4196468 140737399798160 140101516872208 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15096] ppid=15087 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/15089/task/15096/stat : 15096 (java) S 15087 15087 14277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148147873 26623803392 6632 33554432000 4194304 4196468 140737399798160 140101515819664 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15097] ppid=15087 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15097/stat : 15097 (java) S 15087 15087 14277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148147873 26623803392 6632 33554432000 4194304 4196468 140737399798160 140101514766608 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15098] ppid=15087 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15098/stat : 15098 (java) S 15087 15087 14277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148147873 26623803392 6632 33554432000 4194304 4196468 140737399798160 140101513714064 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15099] ppid=15087 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15099/stat : 15099 (java) S 15087 15087 14277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148147874 26623803392 6632 33554432000 4194304 4196468 140737399798160 140100964256496 140101568473730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15100] ppid=15087 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15100/stat : 15100 (java) S 15087 15087 14277 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148147875 26623803392 6632 33554432000 4194304 4196468 140737399798160 140100963202720 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15101] ppid=15087 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15101/stat : 15101 (java) S 15087 15087 14277 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148147875 26623803392 6632 33554432000 4194304 4196468 140737399798160 140100962149616 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15102] ppid=15087 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15102/stat : 15102 (java) S 15087 15087 14277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148147877 26623803392 6632 33554432000 4194304 4196468 140737399798160 140100692339152 140101568481179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15103] ppid=15087 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15103/stat : 15103 (java) S 15087 15087 14277 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 148147877 26623803392 6632 33554432000 4194304 4196468 140737399798160 140100691286256 140101568473730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15104] ppid=15087 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15104/stat : 15104 (java) S 15087 15087 14277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148147877 26623803392 6632 33554432000 4194304 4196468 140737399798160 140100690233712 140101568473730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15105] ppid=15087 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15105/stat : 15105 (java) S 15087 15087 14277 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 148147877 26623803392 6632 33554432000 4194304 4196468 140737399798160 140100689180656 140101568473730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15106] ppid=15087 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/15089/task/15106/stat : 15106 (java) S 15087 15087 14277 0 -1 1077944384 248 0 0 0 1 0 0 0 20 0 20 0 148147877 26623803392 6632 33554432000 4194304 4196468 140737399798160 140100688128112 140101568473730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15107] ppid=15087 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15107/stat : 15107 (java) S 15087 15087 14277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148147878 26623803392 6632 33554432000 4194304 4196468 140737399798160 140100687076320 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15108] ppid=15087 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/15089/task/15108/stat : 15108 (java) S 15087 15087 14277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148147878 26623803392 6632 33554432000 4194304 4196468 140737399798160 140100686023856 140101568473730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27912 KiB
[startup+0.210252 s]*
/proc/loadavg: 7.85 8.14 8.27 3/199 15108
/proc/meminfo: memFree=27013772/32770624 swapFree=67108860/67108860
[pid=15087] ppid=15084 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15087/stat : 15087 (xcsp3-exec) S 15084 15087 14277 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148147871 9740288 346 33554432000 4194304 5098028 140724068537536 140724068535640 140118057738876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18866176 140724068545636 140724068545847 140724068545847 140724068548587 0
/proc/15087/statm: 2378 346 289 221 0 87 0
[pid=15089] ppid=15087 vsize=26004064 memory=38956 CPUtime=0.32 cores=0-7
/proc/15089/stat : 15089 (java) S 15087 15087 14277 0 -1 1077944320 8325 0 0 0 29 3 0 0 20 0 20 0 148147871 26628161536 9739 33554432000 4194304 4196468 140737399798160 140737399780704 140101568462583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
/proc/15089/statm: 6501016 9739 3039 1 0 6488269 0
[pid=15089/tid=15090] ppid=15087 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/15089/task/15090/stat : 15090 (java) R 15087 15087 14277 0 -1 4202560 5425 0 0 0 18 1 0 0 20 0 20 0 148147872 26628161536 9739 33554432000 4194304 4196468 140737399798160 140101572683576 140101552543070 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15091] ppid=15087 vsize=26004064 memory=732370454577761253 CPUtime=0 cores=0-7
/proc/15089/task/15091/stat : 15091 (java) S 15087 15087 14277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148147873 26628161536 9739 33554432000 4194304 4196468 140737399798160 140101521083408 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15092] ppid=15087 vsize=26004064 memory=140316240307840 CPUtime=0 cores=0-7
/proc/15089/task/15092/stat : 15092 (java) S 15087 15087 14277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148147873 26628161536 9739 33554432000 4194304 4196468 140737399798160 140101520030864 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15093] ppid=15087 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15093/stat : 15093 (java) S 15087 15087 14277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148147873 26628161536 9739 33554432000 4194304 4196468 140737399798160 140101518977808 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15094] ppid=15087 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15094/stat : 15094 (java) S 15087 15087 14277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148147873 26628161536 9739 33554432000 4194304 4196468 140737399798160 140101517925264 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15095] ppid=15087 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15095/stat : 15095 (java) S 15087 15087 14277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148147873 26628161536 9739 33554432000 4194304 4196468 140737399798160 140101516872208 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15096] ppid=15087 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15089/task/15096/stat : 15096 (java) S 15087 15087 14277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148147873 26628161536 9739 33554432000 4194304 4196468 140737399798160 140101515819664 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15097] ppid=15087 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15097/stat : 15097 (java) S 15087 15087 14277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148147873 26628161536 9739 33554432000 4194304 4196468 140737399798160 140101514766608 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15098] ppid=15087 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15098/stat : 15098 (java) S 15087 15087 14277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148147873 26628161536 9739 33554432000 4194304 4196468 140737399798160 140101513714064 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15099] ppid=15087 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15099/stat : 15099 (java) S 15087 15087 14277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148147874 26628161536 9739 33554432000 4194304 4196468 140737399798160 140100964256496 140101568473730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15100] ppid=15087 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15100/stat : 15100 (java) S 15087 15087 14277 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148147875 26628161536 9739 33554432000 4194304 4196468 140737399798160 140100963202720 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15101] ppid=15087 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15101/stat : 15101 (java) S 15087 15087 14277 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148147875 26628161536 9739 33554432000 4194304 4196468 140737399798160 140100962149616 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15102] ppid=15087 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15102/stat : 15102 (java) S 15087 15087 14277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148147877 26628161536 9739 33554432000 4194304 4196468 140737399798160 140100692339152 140101568481179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15103] ppid=15087 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/15089/task/15103/stat : 15103 (java) S 15087 15087 14277 0 -1 1077944384 518 0 0 0 2 0 0 0 20 0 20 0 148147877 26628161536 9739 33554432000 4194304 4196468 140737399798160 140100691286256 140101568473730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15104] ppid=15087 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/15089/task/15104/stat : 15104 (java) S 15087 15087 14277 0 -1 1077944384 177 0 0 0 1 0 0 0 20 0 20 0 148147877 26628161536 9739 33554432000 4194304 4196468 140737399798160 140100690233712 140101568473730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15105] ppid=15087 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15105/stat : 15105 (java) S 15087 15087 14277 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 20 0 148147877 26628161536 9739 33554432000 4194304 4196468 140737399798160 140100689180656 140101568473730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15106] ppid=15087 vsize=26004064 memory=0 CPUtime=0.06 cores=0-7
/proc/15089/task/15106/stat : 15106 (java) R 15087 15087 14277 0 -1 4202560 752 0 0 0 6 0 0 0 20 0 20 0 148147877 26628161536 9739 33554432000 4194304 4196468 140737399798160 140100688128112 140101568483930 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15107] ppid=15087 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15107/stat : 15107 (java) S 15087 15087 14277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148147878 26628161536 9739 33554432000 4194304 4196468 140737399798160 140100687076320 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15108] ppid=15087 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15089/task/15108/stat : 15108 (java) S 15087 15087 14277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148147878 26628161536 9739 33554432000 4194304 4196468 140737399798160 140100686023856 140101568473730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40340 KiB
[startup+0.309521 s]*
/proc/loadavg: 7.85 8.14 8.27 2/199 15108
/proc/meminfo: memFree=27006700/32770624 swapFree=67108860/67108860
[pid=15087] ppid=15084 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15087/stat : 15087 (xcsp3-exec) S 15084 15087 14277 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148147871 9740288 346 33554432000 4194304 5098028 140724068537536 140724068535640 140118057738876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18866176 140724068545636 140724068545847 140724068545847 140724068548587 0
/proc/15087/statm: 2378 346 289 221 0 87 0
[pid=15089] ppid=15087 vsize=26004064 memory=45984 CPUtime=0.48 cores=0-7
/proc/15089/stat : 15089 (java) S 15087 15087 14277 0 -1 1077944320 9201 0 0 0 44 4 0 0 20 0 20 0 148147871 26628161536 11496 33554432000 4194304 4196468 140737399798160 140737399780704 140101568462583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
/proc/15089/statm: 6501016 11496 3076 1 0 6488269 0
[pid=15089/tid=15090] ppid=15087 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/15089/task/15090/stat : 15090 (java) R 15087 15087 14277 0 -1 4202560 6178 0 0 0 27 2 0 0 20 0 20 0 148147872 26628161536 11496 33554432000 4194304 4196468 140737399798160 140101572698832 140101552543070 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15091] ppid=15087 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15091/stat : 15091 (java) S 15087 15087 14277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148147873 26628161536 11496 33554432000 4194304 4196468 140737399798160 140101521083408 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15092] ppid=15087 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15092/stat : 15092 (java) S 15087 15087 14277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148147873 26628161536 11496 33554432000 4194304 4196468 140737399798160 140101520030864 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15093] ppid=15087 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15093/stat : 15093 (java) S 15087 15087 14277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148147873 26628161536 11496 33554432000 4194304 4196468 140737399798160 140101518977808 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15094] ppid=15087 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15094/stat : 15094 (java) S 15087 15087 14277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148147873 26628161536 11496 33554432000 4194304 4196468 140737399798160 140101517925264 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15095] ppid=15087 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/15089/task/15095/stat : 15095 (java) S 15087 15087 14277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148147873 26628161536 11496 33554432000 4194304 4196468 140737399798160 140101516872208 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15096] ppid=15087 vsize=26004064 memory=140316111893423 CPUtime=0 cores=0-7
/proc/15089/task/15096/stat : 15096 (java) S 15087 15087 14277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148147873 26628161536 11496 33554432000 4194304 4196468 140737399798160 140101515819664 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15097] ppid=15087 vsize=26004064 memory=140316111895728 CPUtime=0 cores=0-7
/proc/15089/task/15097/stat : 15097 (java) S 15087 15087 14277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148147873 26628161536 11496 33554432000 4194304 4196468 140737399798160 140101514766608 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15098] ppid=15087 vsize=26004064 memory=140316111898032 CPUtime=0 cores=0-7
/proc/15089/task/15098/stat : 15098 (java) S 15087 15087 14277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148147873 26628161536 11496 33554432000 4194304 4196468 140737399798160 140101513714064 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15099] ppid=15087 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15099/stat : 15099 (java) S 15087 15087 14277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148147874 26628161536 11496 33554432000 4194304 4196468 140737399798160 140100964256496 140101568473730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15100] ppid=15087 vsize=26004064 memory=280632223803024 CPUtime=0 cores=0-7
/proc/15089/task/15100/stat : 15100 (java) S 15087 15087 14277 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148147875 26628161536 11496 33554432000 4194304 4196468 140737399798160 140100963202720 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15101] ppid=15087 vsize=26004064 memory=280632223809936 CPUtime=0 cores=0-7
/proc/15089/task/15101/stat : 15101 (java) S 15087 15087 14277 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148147875 26628161536 11496 33554432000 4194304 4196468 140737399798160 140100962149616 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15102] ppid=15087 vsize=26004064 memory=280632223751216 CPUtime=0 cores=0-7
/proc/15089/task/15102/stat : 15102 (java) S 15087 15087 14277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148147877 26628161536 11496 33554432000 4194304 4196468 140737399798160 140100692339152 140101568481179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15103] ppid=15087 vsize=26004064 memory=280632223823760 CPUtime=0.03 cores=0-7
/proc/15089/task/15103/stat : 15103 (java) S 15087 15087 14277 0 -1 1077944384 559 0 0 0 3 0 0 0 20 0 20 0 148147877 26628161536 11496 33554432000 4194304 4196468 140737399798160 140100691286256 140101568473730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15104] ppid=15087 vsize=26004064 memory=280632223830672 CPUtime=0.01 cores=0-7
/proc/15089/task/15104/stat : 15104 (java) S 15087 15087 14277 0 -1 1077944384 185 0 0 0 1 0 0 0 20 0 20 0 148147877 26628161536 11496 33554432000 4194304 4196468 140737399798160 140100690233712 140101568473730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15105] ppid=15087 vsize=26004064 memory=280632223828368 CPUtime=0 cores=0-7
/proc/15089/task/15105/stat : 15105 (java) S 15087 15087 14277 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 20 0 148147877 26628161536 11496 33554432000 4194304 4196468 140737399798160 140100689180656 140101568473730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15106] ppid=15087 vsize=26004064 memory=280632223844528 CPUtime=0.1 cores=0-7
/proc/15089/task/15106/stat : 15106 (java) S 15087 15087 14277 0 -1 1077944384 814 0 0 0 10 0 0 0 20 0 20 0 148147877 26628161536 11496 33554432000 4194304 4196468 140737399798160 140100688128112 140101568473730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15107] ppid=15087 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15107/stat : 15107 (java) S 15087 15087 14277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148147878 26628161536 11496 33554432000 4194304 4196468 140737399798160 140100687076320 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15108] ppid=15087 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15089/task/15108/stat : 15108 (java) S 15087 15087 14277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148147878 26628161536 11496 33554432000 4194304 4196468 140737399798160 140100686023856 140101568473730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47368 KiB
[startup+0.702822 s]
/proc/loadavg: 7.85 8.14 8.27 4/199 15108
/proc/meminfo: memFree=26989488/32770624 swapFree=67108860/67108860
[pid=15087] ppid=15084 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15087/stat : 15087 (xcsp3-exec) S 15084 15087 14277 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148147871 9740288 346 33554432000 4194304 5098028 140724068537536 140724068535640 140118057738876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18866176 140724068545636 140724068545847 140724068545847 140724068548587 0
/proc/15087/statm: 2378 346 289 221 0 87 0
[pid=15089] ppid=15087 vsize=26538700 memory=85084 CPUtime=2.25 cores=0-7
/proc/15089/stat : 15089 (java) S 15087 15087 14277 0 -1 1077944320 12670 0 0 0 219 6 0 0 20 0 28 0 148147871 27175628800 21271 33554432000 4194304 4196468 140737399798160 140737399780704 140101568462583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
/proc/15089/statm: 6634675 21271 3204 1 0 6621909 0
[pid=15089/tid=15090] ppid=15087 vsize=26538700 memory=280632224139456 CPUtime=0.5 cores=0-7
/proc/15089/task/15090/stat : 15090 (java) S 15087 15087 14277 0 -1 1077944384 6799 0 0 0 48 2 0 0 20 0 28 0 148147872 27175628800 21271 33554432000 4194304 4196468 140737399798160 140101572703360 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15091] ppid=15087 vsize=26538700 memory=1012 CPUtime=0 cores=0-7
/proc/15089/task/15091/stat : 15091 (java) S 15087 15087 14277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148147873 27175628800 21271 33554432000 4194304 4196468 140737399798160 140101521083408 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15092] ppid=15087 vsize=26538700 memory=1716 CPUtime=0 cores=0-7
/proc/15089/task/15092/stat : 15092 (java) S 15087 15087 14277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148147873 27175628800 21271 33554432000 4194304 4196468 140737399798160 140101520030864 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15093] ppid=15087 vsize=26538700 memory=5792 CPUtime=0 cores=0-7
/proc/15089/task/15093/stat : 15093 (java) S 15087 15087 14277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148147873 27175628800 21271 33554432000 4194304 4196468 140737399798160 140101518977808 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
################
# More data... #
################
[pid=15089/tid=15106] ppid=15087 vsize=26538700 memory=0 CPUtime=0.44 cores=0-7
/proc/15089/task/15106/stat : 15106 (java) R 15087 15087 14277 0 -1 4202560 2554 0 0 0 42 2 0 0 20 0 28 0 148147877 27175628800 42402 33554432000 4194304 4196468 140737399798160 140100688128112 140101568483930 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15107] ppid=15087 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15107/stat : 15107 (java) S 15087 15087 14277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148147878 27175628800 42402 33554432000 4194304 4196468 140737399798160 140100687076320 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15108] ppid=15087 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15108/stat : 15108 (java) S 15087 15087 14277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148147878 27175628800 42402 33554432000 4194304 4196468 140737399798160 140100686023856 140101568473730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15109] ppid=15087 vsize=26538700 memory=140316112273120 CPUtime=1.5 cores=0-7
/proc/15089/task/15109/stat : 15109 (java) R 15087 15087 14277 0 -1 4202560 136 0 0 0 150 0 0 0 20 0 28 0 148147924 27175628800 42402 33554432000 4194304 4196468 140737399798160 140100678011576 140101182425469 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15110] ppid=15087 vsize=26538700 memory=0 CPUtime=1.39 cores=0-7
/proc/15089/task/15110/stat : 15110 (java) R 15087 15087 14277 0 -1 4202560 147 0 0 0 139 0 0 0 20 0 28 0 148147925 27175628800 42402 33554432000 4194304 4196468 140737399798160 140100676961160 140101183844928 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15111] ppid=15087 vsize=26538700 memory=0 CPUtime=1.58 cores=0-7
/proc/15089/task/15111/stat : 15111 (java) R 15087 15087 14277 0 -1 4202560 182 0 0 0 158 0 0 0 20 0 28 0 148147925 27175628800 42402 33554432000 4194304 4196468 140737399798160 140100675907864 140101183420755 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15112] ppid=15087 vsize=26538700 memory=0 CPUtime=1.27 cores=0-7
/proc/15089/task/15112/stat : 15112 (java) R 15087 15087 14277 0 -1 4202560 186 0 0 0 127 0 0 0 20 0 28 0 148147925 27175628800 42402 33554432000 4194304 4196468 140737399798160 140100674854296 140101182468114 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15113] ppid=15087 vsize=26538700 memory=0 CPUtime=1.43 cores=0-7
/proc/15089/task/15113/stat : 15113 (java) R 15087 15087 14277 0 -1 4202560 189 0 0 0 143 0 0 0 20 0 28 0 148147925 27175628800 42402 33554432000 4194304 4196468 140737399798160 140100673802664 140101179222768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15114] ppid=15087 vsize=26538700 memory=0 CPUtime=1.37 cores=0-7
/proc/15089/task/15114/stat : 15114 (java) R 15087 15087 14277 0 -1 4202560 125 0 0 0 137 0 0 0 20 0 28 0 148147925 27175628800 42402 33554432000 4194304 4196468 140737399798160 140100672748792 140101183118832 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15115] ppid=15087 vsize=26538700 memory=0 CPUtime=1.27 cores=0-7
/proc/15089/task/15115/stat : 15115 (java) R 15087 15087 14277 0 -1 4202560 148 0 0 0 127 0 0 0 20 0 28 0 148147925 27175628800 42402 33554432000 4194304 4196468 140737399798160 140100671697176 140101184082472 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15116] ppid=15087 vsize=26538700 memory=0 CPUtime=1.39 cores=0-7
/proc/15089/task/15116/stat : 15116 (java) R 15087 15087 14277 0 -1 4202560 145 0 0 0 139 0 0 0 20 0 28 0 148147925 27175628800 42402 33554432000 4194304 4196468 140737399798160 140100670643840 140101183040292 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
Current children cumulated CPU time: 15.36 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 170992 KiB
[startup+2.60482 s]
/proc/loadavg: 7.85 8.14 8.27 11/207 15116
/proc/meminfo: memFree=26902812/32770624 swapFree=67108860/67108860
[pid=15087] ppid=15084 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15087/stat : 15087 (xcsp3-exec) S 15084 15087 14277 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148147871 9740288 346 33554432000 4194304 5098028 140724068537536 140724068535640 140118057738876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18866176 140724068545636 140724068545847 140724068545847 140724068548587 0
/proc/15087/statm: 2378 346 289 221 0 87 0
[pid=15089] ppid=15087 vsize=26538700 memory=194716 CPUtime=16.96 cores=0-7
/proc/15089/stat : 15089 (java) S 15087 15087 14277 0 -1 1077944320 30608 0 0 0 1680 16 0 0 20 0 28 0 148147871 27175628800 48679 33554432000 4194304 4196468 140737399798160 140737399780704 140101568462583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
/proc/15089/statm: 6634675 48679 3229 1 0 6621909 0
[pid=15089/tid=15090] ppid=15087 vsize=26538700 memory=7588671304909280615 CPUtime=0.5 cores=0-7
/proc/15089/task/15090/stat : 15090 (java) S 15087 15087 14277 0 -1 1077944384 6799 0 0 0 48 2 0 0 20 0 28 0 148147872 27175628800 48679 33554432000 4194304 4196468 140737399798160 140101572703360 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15091] ppid=15087 vsize=26538700 memory=7588671304909280615 CPUtime=0 cores=0-7
/proc/15089/task/15091/stat : 15091 (java) S 15087 15087 14277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148147873 27175628800 48679 33554432000 4194304 4196468 140737399798160 140101521083408 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15092] ppid=15087 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15092/stat : 15092 (java) S 15087 15087 14277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148147873 27175628800 48679 33554432000 4194304 4196468 140737399798160 140101520030864 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15093] ppid=15087 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15093/stat : 15093 (java) S 15087 15087 14277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148147873 27175628800 48679 33554432000 4194304 4196468 140737399798160 140101518977808 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15094] ppid=15087 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15094/stat : 15094 (java) S 15087 15087 14277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148147873 27175628800 48679 33554432000 4194304 4196468 140737399798160 140101517925264 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15095] ppid=15087 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15095/stat : 15095 (java) S 15087 15087 14277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 148147873 27175628800 48679 33554432000 4194304 4196468 140737399798160 140101516872208 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15096] ppid=15087 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15096/stat : 15096 (java) S 15087 15087 14277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 148147873 27175628800 48679 33554432000 4194304 4196468 140737399798160 140101515819664 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15097] ppid=15087 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15097/stat : 15097 (java) S 15087 15087 14277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 148147873 27175628800 48679 33554432000 4194304 4196468 140737399798160 140101514766608 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15098] ppid=15087 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15098/stat : 15098 (java) S 15087 15087 14277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148147873 27175628800 48679 33554432000 4194304 4196468 140737399798160 140101513714064 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15099] ppid=15087 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15099/stat : 15099 (java) S 15087 15087 14277 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 148147874 27175628800 48679 33554432000 4194304 4196468 140737399798160 140100964256496 140101568473730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15100] ppid=15087 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15100/stat : 15100 (java) S 15087 15087 14277 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 148147875 27175628800 48679 33554432000 4194304 4196468 140737399798160 140100963202720 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15101] ppid=15087 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15101/stat : 15101 (java) S 15087 15087 14277 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 148147875 27175628800 48679 33554432000 4194304 4196468 140737399798160 140100962149616 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15102] ppid=15087 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15102/stat : 15102 (java) S 15087 15087 14277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148147877 27175628800 48679 33554432000 4194304 4196468 140737399798160 140100692339152 140101568481179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15103] ppid=15087 vsize=26538700 memory=0 CPUtime=1.01 cores=0-7
/proc/15089/task/15103/stat : 15103 (java) S 15087 15087 14277 0 -1 1077944384 5213 0 0 0 99 2 0 0 20 0 28 0 148147877 27175628800 48679 33554432000 4194304 4196468 140737399798160 140100691286256 140101568473730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15104] ppid=15087 vsize=26538700 memory=0 CPUtime=1.34 cores=0-7
/proc/15089/task/15104/stat : 15104 (java) R 15087 15087 14277 0 -1 4202560 6126 0 0 0 132 2 0 0 20 0 28 0 148147877 27175628800 48679 33554432000 4194304 4196468 140737399798160 140100690224880 140101551994147 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15105] ppid=15087 vsize=26538700 memory=0 CPUtime=1.26 cores=0-7
/proc/15089/task/15105/stat : 15105 (java) S 15087 15087 14277 0 -1 1077944384 7269 0 0 0 124 2 0 0 20 0 28 0 148147877 27175628800 48679 33554432000 4194304 4196468 140737399798160 140100689180656 140101568473730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15106] ppid=15087 vsize=26538700 memory=0 CPUtime=0.46 cores=0-7
/proc/15089/task/15106/stat : 15106 (java) S 15087 15087 14277 0 -1 1077944384 2583 0 0 0 44 2 0 0 20 0 28 0 148147877 27175628800 48679 33554432000 4194304 4196468 140737399798160 140100688128112 140101568473730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15107] ppid=15087 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15107/stat : 15107 (java) S 15087 15087 14277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148147878 27175628800 48679 33554432000 4194304 4196468 140737399798160 140100687076320 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15108] ppid=15087 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15108/stat : 15108 (java) S 15087 15087 14277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148147878 27175628800 48679 33554432000 4194304 4196468 140737399798160 140100686023856 140101568473730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15109] ppid=15087 vsize=26538700 memory=0 CPUtime=1.6 cores=0-7
/proc/15089/task/15109/stat : 15109 (java) R 15087 15087 14277 0 -1 4202560 136 0 0 0 160 0 0 0 20 0 28 0 148147924 27175628800 48679 33554432000 4194304 4196468 140737399798160 140100678013608 140101184227594 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15110] ppid=15087 vsize=26538700 memory=0 CPUtime=1.5 cores=0-7
/proc/15089/task/15110/stat : 15110 (java) R 15087 15087 14277 0 -1 4202560 147 0 0 0 150 0 0 0 20 0 28 0 148147925 27175628800 48679 33554432000 4194304 4196468 140737399798160 140100676960352 140101184148715 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15111] ppid=15087 vsize=26538700 memory=0 CPUtime=1.78 cores=0-7
/proc/15089/task/15111/stat : 15111 (java) R 15087 15087 14277 0 -1 4202560 193 0 0 0 178 0 0 0 20 0 28 0 148147925 27175628800 48679 33554432000 4194304 4196468 140737399798160 140100675909472 140101178917638 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15112] ppid=15087 vsize=26538700 memory=0 CPUtime=1.43 cores=0-7
/proc/15089/task/15112/stat : 15112 (java) R 15087 15087 14277 0 -1 4202560 187 0 0 0 143 0 0 0 20 0 28 0 148147925 27175628800 48679 33554432000 4194304 4196468 140737399798160 140100674855576 140101184088651 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15113] ppid=15087 vsize=26538700 memory=0 CPUtime=1.54 cores=0-7
/proc/15089/task/15113/stat : 15113 (java) R 15087 15087 14277 0 -1 1077944384 191 0 0 0 154 0 0 0 20 0 28 0 148147925 27175628800 48679 33554432000 4194304 4196468 140737399798160 140100673803248 140101568472789 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15114] ppid=15087 vsize=26538700 memory=0 CPUtime=1.56 cores=0-7
/proc/15089/task/15114/stat : 15114 (java) R 15087 15087 14277 0 -1 4202560 126 0 0 0 156 0 0 0 20 0 28 0 148147925 27175628800 48679 33554432000 4194304 4196468 140737399798160 140100672749776 140101182468706 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15115] ppid=15087 vsize=26538700 memory=0 CPUtime=1.39 cores=0-7
/proc/15089/task/15115/stat : 15115 (java) R 15087 15087 14277 0 -1 4202560 149 0 0 0 139 0 0 0 20 0 28 0 148147925 27175628800 48679 33554432000 4194304 4196468 140737399798160 140100671699424 140101182503866 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15116] ppid=15087 vsize=26538700 memory=7228649472520448361 CPUtime=1.49 cores=0-7
/proc/15089/task/15116/stat : 15116 (java) R 15087 15087 14277 0 -1 4202560 145 0 0 0 149 0 0 0 20 0 28 0 148147925 27175628800 48679 33554432000 4194304 4196468 140737399798160 140100670644928 140101184088485 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
Current children cumulated CPU time: 16.96 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 196100 KiB
[startup+2.70182 s]
/proc/loadavg: 7.85 8.14 8.27 11/207 15116
/proc/meminfo: memFree=26902812/32770624 swapFree=67108860/67108860
[pid=15087] ppid=15084 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15087/stat : 15087 (xcsp3-exec) S 15084 15087 14277 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148147871 9740288 346 33554432000 4194304 5098028 140724068537536 140724068535640 140118057738876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18866176 140724068545636 140724068545847 140724068545847 140724068548587 0
/proc/15087/statm: 2378 346 289 221 0 87 0
[pid=15089] ppid=15087 vsize=26538700 memory=204996 CPUtime=17.74 cores=0-7
/proc/15089/stat : 15089 (java) S 15087 15087 14277 0 -1 1077944320 30655 0 0 0 1758 16 0 0 20 0 28 0 148147871 27175628800 51249 33554432000 4194304 4196468 140737399798160 140737399780704 140101568462583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
/proc/15089/statm: 6634675 51249 3229 1 0 6621909 0
[pid=15089/tid=15090] ppid=15087 vsize=26538700 memory=1384 CPUtime=0.5 cores=0-7
/proc/15089/task/15090/stat : 15090 (java) S 15087 15087 14277 0 -1 1077944384 6799 0 0 0 48 2 0 0 20 0 28 0 148147872 27175628800 51249 33554432000 4194304 4196468 140737399798160 140101572703360 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15091] ppid=15087 vsize=26538700 memory=180172 CPUtime=0 cores=0-7
/proc/15089/task/15091/stat : 15091 (java) S 15087 15087 14277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148147873 27175628800 51249 33554432000 4194304 4196468 140737399798160 140101521083408 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15092] ppid=15087 vsize=26538700 memory=280632224121536 CPUtime=0 cores=0-7
/proc/15089/task/15092/stat : 15092 (java) S 15087 15087 14277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148147873 27175628800 51249 33554432000 4194304 4196468 140737399798160 140101520030864 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15093] ppid=15087 vsize=26538700 memory=7302417816303462757 CPUtime=0 cores=0-7
/proc/15089/task/15093/stat : 15093 (java) S 15087 15087 14277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148147873 27175628800 51249 33554432000 4194304 4196468 140737399798160 140101518977808 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15094] ppid=15087 vsize=26538700 memory=6944656592452807320 CPUtime=0 cores=0-7
/proc/15089/task/15094/stat : 15094 (java) S 15087 15087 14277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148147873 27175628800 51249 33554432000 4194304 4196468 140737399798160 140101517925264 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15095] ppid=15087 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/15089/task/15095/stat : 15095 (java) S 15087 15087 14277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 148147873 27175628800 51249 33554432000 4194304 4196468 140737399798160 140101516872208 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15096] ppid=15087 vsize=26538700 memory=109856 CPUtime=0 cores=0-7
/proc/15089/task/15096/stat : 15096 (java) S 15087 15087 14277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 148147873 27175628800 51249 33554432000 4194304 4196468 140737399798160 140101515819664 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15097] ppid=15087 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15097/stat : 15097 (java) S 15087 15087 14277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 148147873 27175628800 51249 33554432000 4194304 4196468 140737399798160 140101514766608 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15098] ppid=15087 vsize=26538700 memory=140320535275135 CPUtime=0 cores=0-7
/proc/15089/task/15098/stat : 15098 (java) S 15087 15087 14277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148147873 27175628800 51249 33554432000 4194304 4196468 140737399798160 140101513714064 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15099] ppid=15087 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15099/stat : 15099 (java) S 15087 15087 14277 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 148147874 27175628800 51249 33554432000 4194304 4196468 140737399798160 140100964256496 140101568473730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15100] ppid=15087 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15100/stat : 15100 (java) S 15087 15087 14277 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 148147875 27175628800 51249 33554432000 4194304 4196468 140737399798160 140100963202720 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15101] ppid=15087 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15101/stat : 15101 (java) S 15087 15087 14277 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 148147875 27175628800 51249 33554432000 4194304 4196468 140737399798160 140100962149616 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15102] ppid=15087 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/15089/task/15102/stat : 15102 (java) S 15087 15087 14277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148147877 27175628800 51249 33554432000 4194304 4196468 140737399798160 140100692339152 140101568481179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15103] ppid=15087 vsize=26538700 memory=6791534058613427641 CPUtime=1.03 cores=0-7
/proc/15089/task/15103/stat : 15103 (java) R 15087 15087 14277 0 -1 1077944384 5215 0 0 0 101 2 0 0 20 0 28 0 148147877 27175628800 51249 33554432000 4194304 4196468 140737399798160 140100691286256 140101568473730 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15104] ppid=15087 vsize=26538700 memory=0 CPUtime=1.43 cores=0-7
/proc/15089/task/15104/stat : 15104 (java) R 15087 15087 14277 0 -1 4202560 6134 0 0 0 141 2 0 0 20 0 28 0 148147877 27175628800 51249 33554432000 4194304 4196468 140737399798160 140100690224880 140101549985070 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15105] ppid=15087 vsize=26538700 memory=0 CPUtime=1.3 cores=0-7
/proc/15089/task/15105/stat : 15105 (java) R 15087 15087 14277 0 -1 4202560 7277 0 0 0 128 2 0 0 20 0 28 0 148147877 27175628800 51249 33554432000 4194304 4196468 140737399798160 140100689180656 140101549983932 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15106] ppid=15087 vsize=26538700 memory=280632223596784 CPUtime=0.47 cores=0-7
/proc/15089/task/15106/stat : 15106 (java) S 15087 15087 14277 0 -1 1077944384 2607 0 0 0 45 2 0 0 20 0 28 0 148147877 27175628800 51249 33554432000 4194304 4196468 140737399798160 140100688128112 140101568473730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15107] ppid=15087 vsize=26538700 memory=7013623321968470354 CPUtime=0 cores=0-7
/proc/15089/task/15107/stat : 15107 (java) S 15087 15087 14277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148147878 27175628800 51249 33554432000 4194304 4196468 140737399798160 140100687076320 140101568472789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15108] ppid=15087 vsize=26538700 memory=7662141848765682800 CPUtime=0 cores=0-7
/proc/15089/task/15108/stat : 15108 (java) S 15087 15087 14277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148147878 27175628800 51249 33554432000 4194304 4196468 140737399798160 140100686023856 140101568473730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15109] ppid=15087 vsize=26538700 memory=0 CPUtime=1.68 cores=0-7
/proc/15089/task/15109/stat : 15109 (java) R 15087 15087 14277 0 -1 4202560 136 0 0 0 168 0 0 0 20 0 28 0 148147924 27175628800 51249 33554432000 4194304 4196468 140737399798160 140100678013608 140101554406684 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15110] ppid=15087 vsize=26538700 memory=0 CPUtime=1.55 cores=0-7
/proc/15089/task/15110/stat : 15110 (java) R 15087 15087 14277 0 -1 4202560 147 0 0 0 155 0 0 0 20 0 28 0 148147925 27175628800 51249 33554432000 4194304 4196468 140737399798160 140100676960352 140101183490460 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15111] ppid=15087 vsize=26538700 memory=0 CPUtime=1.85 cores=0-7
/proc/15089/task/15111/stat : 15111 (java) R 15087 15087 14277 0 -1 4202560 194 0 0 0 185 0 0 0 20 0 28 0 148147925 27175628800 51249 33554432000 4194304 4196468 140737399798160 140100675909640 140101183627793 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15112] ppid=15087 vsize=26538700 memory=0 CPUtime=1.51 cores=0-7
/proc/15089/task/15112/stat : 15112 (java) R 15087 15087 14277 0 -1 4202560 189 0 0 0 151 0 0 0 20 0 28 0 148147925 27175628800 51249 33554432000 4194304 4196468 140737399798160 140100674856248 140101183118957 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15113] ppid=15087 vsize=26538700 memory=0 CPUtime=1.64 cores=0-7
/proc/15089/task/15113/stat : 15113 (java) R 15087 15087 14277 0 -1 4202560 192 0 0 0 164 0 0 0 20 0 28 0 148147925 27175628800 51249 33554432000 4194304 4196468 140737399798160 140100673803248 140101184149092 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15114] ppid=15087 vsize=26538700 memory=0 CPUtime=1.61 cores=0-7
/proc/15089/task/15114/stat : 15114 (java) R 15087 15087 14277 0 -1 4202560 126 0 0 0 161 0 0 0 20 0 28 0 148147925 27175628800 51249 33554432000 4194304 4196468 140737399798160 140100672749944 140101184088386 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15115] ppid=15087 vsize=26538700 memory=0 CPUtime=1.45 cores=0-7
/proc/15089/task/15115/stat : 15115 (java) R 15087 15087 14277 0 -1 4202560 149 0 0 0 145 0 0 0 20 0 28 0 148147925 27175628800 51249 33554432000 4194304 4196468 140737399798160 140100671697216 140101184148917 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
[pid=15089/tid=15116] ppid=15087 vsize=26538700 memory=0 CPUtime=1.59 cores=0-7
/proc/15089/task/15116/stat : 15116 (java) R 15087 15087 14277 0 -1 4202560 146 0 0 0 159 0 0 0 20 0 28 0 148147925 27175628800 51249 33554432000 4194304 4196468 140737399798160 140100670646584 140101183845755 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13053952 140737399800978 140737399801155 140737399801155 140737399803855 0
Current children cumulated CPU time: 17.74 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 206380 KiB
Child status: 0
Real time (s): 2.77662
CPU time (s): 18.0496
CPU user time (s): 17.865
CPU system time (s): 0.184597
CPU usage (%): 650.058
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 206380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.865
system time used= 0.184597
maximum resident set size= 217704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31791
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3898
involuntary context switches= 515
# summary of solver processes directly reported to runsolver:
# pid: 15087
# total CPU time (s): 18.0496
# total CPU user time (s): 17.865
# total CPU system time (s): 0.184597
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045497 second user time and 0.067328 second system time
The end
Begin job on node103 at 2017-08-19 15:35:38
IDJOB=4280836
IDBENCH=133187
IDSOLVER=2675
FILE ID=node103/4280836-1503150598
RUNJOBID= node103-1503142170-14304
PBS_JOBID= 20630799
Free space on /tmp= 61652 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/MagicSquare/MagicSquare-m1-gp/MagicSquare-9-f10-13.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-4280836-1503150598/watcher-4280836-1503150598 -o /tmp/evaluation-result-4280836-1503150598/solver-4280836-1503150598 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1503142170-14304 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1134503385 HOME/instance-4280836-1503150598.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 748c50a37a644f843fb6cdaa8347be41
RANDOM SEED=1134503385
node103.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.56
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.56
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.56
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.56
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: 27040260 kB
MemAvailable: 31974768 kB
Buffers: 233632 kB
Cached: 4994768 kB
SwapCached: 0 kB
Active: 998528 kB
Inactive: 4284692 kB
Active(anon): 4232 kB
Inactive(anon): 86700 kB
Active(file): 994296 kB
Inactive(file): 4197992 kB
Unevictable: 7496 kB
Mlocked: 7496 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7956 kB
Writeback: 12 kB
AnonPages: 230372 kB
Mapped: 51052 kB
Shmem: 33420 kB
Slab: 142256 kB
SReclaimable: 116112 kB
SUnreclaim: 26144 kB
KernelStack: 3616 kB
PageTables: 5800 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 332732 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 176128 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= 61644 MiB
End job on node103 at 2017-08-19 15:35:41