0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270602-1502759570.xml" -tl '20160s' -p 8 -x 0
0.11/0.14 c [HOME/instance-4270602-1502759570.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.33/0.26 c parse instance...
0.75/0.44 c solve instance...
0.75/0.46 o 508
0.75/0.47 o 514
0.75/0.47 o 534
0.75/0.47 o 546
0.75/0.48 o 567
0.75/0.49 o 634
0.75/0.49 o 666
0.75/0.49 o 769
0.75/0.49 o 775
0.75/0.49 o 804
1.22/0.53 o 841
1.22/0.53 o 848
1.22/0.55 o 856
1.22/0.56 o 877
1.22/0.57 o 890
1.22/0.58 o 891
1.22/0.59 o 908
1.83/0.65 o 913
1.83/0.66 o 919
1.83/0.67 o 920
1.83/0.69 o 965
2.51/0.73 o 1021
2.51/0.75 o 1024
2.51/0.75 o 1057
2.51/0.76 o 1065
2.51/0.76 o 1067
2.51/0.77 o 1074
2.51/0.77 o 1082
3.24/0.80 o 1084
3.24/0.81 o 1085
3.24/0.84 o 1090
3.24/0.88 o 1117
3.24/0.89 o 1131
3.98/0.92 o 1140
3.98/0.92 o 1149
3.98/0.93 o 1152
3.98/0.95 o 1194
3.98/0.96 o 1217
3.98/0.97 o 1228
3.98/0.99 o 1236
4.83/1.02 o 1238
4.83/1.03 o 1239
4.83/1.05 o 1285
4.83/1.07 o 1287
6.71/1.31 o 1332
10.24/1.85 o 1333
223.37/33.44 s OPTIMUM FOUND
223.37/33.44 v <instantiation>
223.37/33.44 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] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] </list>
223.37/33.44 v <values>0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 </values>
223.37/33.44 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 (15330 MiB free)
memory of node 1: 16384 MiB (15465 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270602-1502759570/watcher-4270602-1502759570 -o /tmp/evaluation-result-4270602-1502759570/solver-4270602-1502759570 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1502750312-19049 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1454261965 HOME/instance-4270602-1502759570.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=23653, runsolver pid=23650
Current StackSize limit: 8192 KiB
[startup+0.100154 s]*
/proc/loadavg: 8.61 7.69 8.19 2/199 23674
/proc/meminfo: memFree=31519204/32770624 swapFree=67108860/67108860
[pid=23653] ppid=23650 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23653/stat : 23653 (xcsp3-exec) S 23650 23653 19022 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109044650 9740288 346 33554432000 4194304 5098028 140723456635200 140723456633304 139754364215932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38281216 140723456640100 140723456640311 140723456640311 140723456643051 0
/proc/23653/statm: 2378 346 289 221 0 87 0
[pid=23655] ppid=23653 vsize=25999808 memory=26216 CPUtime=0.11 cores=0-7
/proc/23655/stat : 23655 (java) S 23653 23653 19022 0 -1 1077944320 5494 0 0 0 10 1 0 0 20 0 20 0 109044650 26623803392 6554 33554432000 4194304 4196468 140737047600592 140737047583136 140103421353719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
/proc/23655/statm: 6499952 6554 2846 1 0 6488269 0
[pid=23655/tid=23656] ppid=23653 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/23655/task/23656/stat : 23656 (java) R 23653 23653 19022 0 -1 4202560 3500 0 0 0 8 1 0 0 20 0 20 0 109044650 26623803392 6554 33554432000 4194304 4196468 140737047600592 140103425580320 140103421375645 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23657] ppid=23653 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/23655/task/23657/stat : 23657 (java) S 23653 23653 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109044651 26623803392 6554 33554432000 4194304 4196468 140737047600592 140103377905936 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23658] ppid=23653 vsize=25999808 memory=139741598766720 CPUtime=0 cores=0-7
/proc/23655/task/23658/stat : 23658 (java) S 23653 23653 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109044651 26623803392 6554 33554432000 4194304 4196468 140737047600592 140102978894224 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23659] ppid=23653 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23655/task/23659/stat : 23659 (java) S 23653 23653 19022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109044651 26623803392 6554 33554432000 4194304 4196468 140737047600592 140102977841680 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23660] ppid=23653 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23655/task/23660/stat : 23660 (java) S 23653 23653 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109044651 26623803392 6554 33554432000 4194304 4196468 140737047600592 140102976789136 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23661] ppid=23653 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23655/task/23661/stat : 23661 (java) S 23653 23653 19022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109044651 26623803392 6554 33554432000 4194304 4196468 140737047600592 140102975736592 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23662] ppid=23653 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/23655/task/23662/stat : 23662 (java) S 23653 23653 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109044651 26623803392 6554 33554432000 4194304 4196468 140737047600592 140102974684048 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23663] ppid=23653 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23655/task/23663/stat : 23663 (java) S 23653 23653 19022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109044651 26623803392 6554 33554432000 4194304 4196468 140737047600592 140102973631504 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23664] ppid=23653 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23655/task/23664/stat : 23664 (java) S 23653 23653 19022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109044651 26623803392 6554 33554432000 4194304 4196468 140737047600592 140102972578960 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23665] ppid=23653 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23655/task/23665/stat : 23665 (java) S 23653 23653 19022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109044652 26623803392 6554 33554432000 4194304 4196468 140737047600592 140102548740080 140103421364866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23666] ppid=23653 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23655/task/23666/stat : 23666 (java) S 23653 23653 19022 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109044653 26623803392 6554 33554432000 4194304 4196468 140737047600592 140102547686304 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23667] ppid=23653 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23655/task/23667/stat : 23667 (java) S 23653 23653 19022 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109044653 26623803392 6554 33554432000 4194304 4196468 140737047600592 140102546633712 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23668] ppid=23653 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23655/task/23668/stat : 23668 (java) S 23653 23653 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109044655 26623803392 6554 33554432000 4194304 4196468 140737047600592 140102545582288 140103421372315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23669] ppid=23653 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23655/task/23669/stat : 23669 (java) S 23653 23653 19022 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 109044655 26623803392 6554 33554432000 4194304 4196468 140737047600592 140102544529904 140103421364866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23670] ppid=23653 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23655/task/23670/stat : 23670 (java) S 23653 23653 19022 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 109044655 26623803392 6554 33554432000 4194304 4196468 140737047600592 140102543477360 140103421364866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23671] ppid=23653 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23655/task/23671/stat : 23671 (java) S 23653 23653 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109044655 26623803392 6554 33554432000 4194304 4196468 140737047600592 140102542424816 140103421364866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23672] ppid=23653 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/23655/task/23672/stat : 23672 (java) R 23653 23653 19022 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 20 0 109044655 26623803392 6554 33554432000 4194304 4196468 140737047600592 140102541372272 140103421365654 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23673] ppid=23653 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23655/task/23673/stat : 23673 (java) S 23653 23653 19022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109044656 26623803392 6554 33554432000 4194304 4196468 140737047600592 140102540318944 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23674] ppid=23653 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/23655/task/23674/stat : 23674 (java) S 23653 23653 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109044656 26623803392 6554 33554432000 4194304 4196468 140737047600592 140102539266480 140103421364866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27600 KiB
[startup+0.210021 s]*
/proc/loadavg: 8.61 7.69 8.19 2/199 23674
/proc/meminfo: memFree=31508040/32770624 swapFree=67108860/67108860
[pid=23653] ppid=23650 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23653/stat : 23653 (xcsp3-exec) S 23650 23653 19022 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109044650 9740288 346 33554432000 4194304 5098028 140723456635200 140723456633304 139754364215932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38281216 140723456640100 140723456640311 140723456640311 140723456643051 0
/proc/23653/statm: 2378 346 289 221 0 87 0
[pid=23655] ppid=23653 vsize=26004064 memory=39132 CPUtime=0.33 cores=0-7
/proc/23655/stat : 23655 (java) S 23653 23653 19022 0 -1 1077944320 8369 0 0 0 30 3 0 0 20 0 20 0 109044650 26628161536 9783 33554432000 4194304 4196468 140737047600592 140737047583136 140103421353719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
/proc/23655/statm: 6501016 9783 3058 1 0 6488269 0
[pid=23655/tid=23656] ppid=23653 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/23655/task/23656/stat : 23656 (java) R 23653 23653 19022 0 -1 4202560 5406 0 0 0 17 2 0 0 20 0 20 0 109044650 26628161536 9783 33554432000 4194304 4196468 140737047600592 140103425575760 140103414031733 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23657] ppid=23653 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/23655/task/23657/stat : 23657 (java) S 23653 23653 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109044651 26628161536 9783 33554432000 4194304 4196468 140737047600592 140103377905936 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23658] ppid=23653 vsize=26004064 memory=288370117750478464 CPUtime=0 cores=0-7
/proc/23655/task/23658/stat : 23658 (java) S 23653 23653 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109044651 26628161536 9783 33554432000 4194304 4196468 140737047600592 140102978894224 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23659] ppid=23653 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23655/task/23659/stat : 23659 (java) S 23653 23653 19022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109044651 26628161536 9783 33554432000 4194304 4196468 140737047600592 140102977841680 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23660] ppid=23653 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23655/task/23660/stat : 23660 (java) S 23653 23653 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109044651 26628161536 9783 33554432000 4194304 4196468 140737047600592 140102976789136 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23661] ppid=23653 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23655/task/23661/stat : 23661 (java) S 23653 23653 19022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109044651 26628161536 9783 33554432000 4194304 4196468 140737047600592 140102975736592 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23662] ppid=23653 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23655/task/23662/stat : 23662 (java) S 23653 23653 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109044651 26628161536 9783 33554432000 4194304 4196468 140737047600592 140102974684048 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23663] ppid=23653 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23655/task/23663/stat : 23663 (java) S 23653 23653 19022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109044651 26628161536 9783 33554432000 4194304 4196468 140737047600592 140102973631504 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23664] ppid=23653 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23655/task/23664/stat : 23664 (java) S 23653 23653 19022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109044651 26628161536 9783 33554432000 4194304 4196468 140737047600592 140102972578960 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23665] ppid=23653 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23655/task/23665/stat : 23665 (java) S 23653 23653 19022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109044652 26628161536 9783 33554432000 4194304 4196468 140737047600592 140102548740080 140103421364866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23666] ppid=23653 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23655/task/23666/stat : 23666 (java) S 23653 23653 19022 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109044653 26628161536 9783 33554432000 4194304 4196468 140737047600592 140102547686304 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23667] ppid=23653 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23655/task/23667/stat : 23667 (java) S 23653 23653 19022 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109044653 26628161536 9783 33554432000 4194304 4196468 140737047600592 140102546633712 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23668] ppid=23653 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23655/task/23668/stat : 23668 (java) S 23653 23653 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109044655 26628161536 9783 33554432000 4194304 4196468 140737047600592 140102545582288 140103421372315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23669] ppid=23653 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/23655/task/23669/stat : 23669 (java) S 23653 23653 19022 0 -1 1077944384 490 0 0 0 2 0 0 0 20 0 20 0 109044655 26628161536 9783 33554432000 4194304 4196468 140737047600592 140102544529904 140103421364866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23670] ppid=23653 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/23655/task/23670/stat : 23670 (java) S 23653 23653 19022 0 -1 1077944384 348 0 0 0 1 0 0 0 20 0 20 0 109044655 26628161536 9783 33554432000 4194304 4196468 140737047600592 140102543477360 140103421364866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23671] ppid=23653 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23655/task/23671/stat : 23671 (java) S 23653 23653 19022 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 109044655 26628161536 9783 33554432000 4194304 4196468 140737047600592 140102542424816 140103421364866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23672] ppid=23653 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/23655/task/23672/stat : 23672 (java) R 23653 23653 19022 0 -1 4202560 778 0 0 0 7 0 0 0 20 0 20 0 109044655 26628161536 9783 33554432000 4194304 4196468 140737047600592 140102541372272 140103405434206 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23673] ppid=23653 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23655/task/23673/stat : 23673 (java) S 23653 23653 19022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109044656 26628161536 9783 33554432000 4194304 4196468 140737047600592 140102540318944 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23674] ppid=23653 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23655/task/23674/stat : 23674 (java) S 23653 23653 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109044656 26628161536 9783 33554432000 4194304 4196468 140737047600592 140102539266480 140103421364866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40516 KiB
[startup+0.309429 s]*
/proc/loadavg: 8.61 7.69 8.19 3/199 23674
/proc/meminfo: memFree=31501092/32770624 swapFree=67108860/67108860
[pid=23653] ppid=23650 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23653/stat : 23653 (xcsp3-exec) S 23650 23653 19022 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109044650 9740288 346 33554432000 4194304 5098028 140723456635200 140723456633304 139754364215932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38281216 140723456640100 140723456640311 140723456640311 140723456643051 0
/proc/23653/statm: 2378 346 289 221 0 87 0
[pid=23655] ppid=23653 vsize=26004140 memory=46144 CPUtime=0.49 cores=0-7
/proc/23655/stat : 23655 (java) S 23653 23653 19022 0 -1 1077944320 9283 0 0 0 45 4 0 0 20 0 20 0 109044650 26628239360 11536 33554432000 4194304 4196468 140737047600592 140737047583136 140103421353719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
/proc/23655/statm: 6501035 11536 3081 1 0 6488269 0
[pid=23655/tid=23656] ppid=23653 vsize=26004140 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/23655/task/23656/stat : 23656 (java) R 23653 23653 19022 0 -1 4202560 6192 0 0 0 26 3 0 0 20 0 20 0 109044650 26628239360 11536 33554432000 4194304 4196468 140737047600592 140103425586080 140103405434206 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23657] ppid=23653 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/23655/task/23657/stat : 23657 (java) S 23653 23653 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109044651 26628239360 11536 33554432000 4194304 4196468 140737047600592 140103377905936 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23658] ppid=23653 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/23655/task/23658/stat : 23658 (java) S 23653 23653 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109044651 26628239360 11536 33554432000 4194304 4196468 140737047600592 140102978894224 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23659] ppid=23653 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/23655/task/23659/stat : 23659 (java) S 23653 23653 19022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109044651 26628239360 11536 33554432000 4194304 4196468 140737047600592 140102977841680 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23660] ppid=23653 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/23655/task/23660/stat : 23660 (java) S 23653 23653 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109044651 26628239360 11536 33554432000 4194304 4196468 140737047600592 140102976789136 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23661] ppid=23653 vsize=26004140 memory=2244 CPUtime=0 cores=0-7
/proc/23655/task/23661/stat : 23661 (java) S 23653 23653 19022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109044651 26628239360 11536 33554432000 4194304 4196468 140737047600592 140102975736592 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23662] ppid=23653 vsize=26004140 memory=139741458690991 CPUtime=0 cores=0-7
/proc/23655/task/23662/stat : 23662 (java) S 23653 23653 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109044651 26628239360 11536 33554432000 4194304 4196468 140737047600592 140102974684048 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23663] ppid=23653 vsize=26004140 memory=139741458693296 CPUtime=0 cores=0-7
/proc/23655/task/23663/stat : 23663 (java) S 23653 23653 19022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109044651 26628239360 11536 33554432000 4194304 4196468 140737047600592 140102973631504 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23664] ppid=23653 vsize=26004140 memory=139741458695600 CPUtime=0 cores=0-7
/proc/23655/task/23664/stat : 23664 (java) S 23653 23653 19022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109044651 26628239360 11536 33554432000 4194304 4196468 140737047600592 140102972578960 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23665] ppid=23653 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/23655/task/23665/stat : 23665 (java) S 23653 23653 19022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109044652 26628239360 11536 33554432000 4194304 4196468 140737047600592 140102548740080 140103421364866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23666] ppid=23653 vsize=26004140 memory=279482917398160 CPUtime=0 cores=0-7
/proc/23655/task/23666/stat : 23666 (java) S 23653 23653 19022 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109044653 26628239360 11536 33554432000 4194304 4196468 140737047600592 140102547686304 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23667] ppid=23653 vsize=26004140 memory=279482917405072 CPUtime=0 cores=0-7
/proc/23655/task/23667/stat : 23667 (java) S 23653 23653 19022 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109044653 26628239360 11536 33554432000 4194304 4196468 140737047600592 140102546633712 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23668] ppid=23653 vsize=26004140 memory=279482917346224 CPUtime=0 cores=0-7
/proc/23655/task/23668/stat : 23668 (java) S 23653 23653 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109044655 26628239360 11536 33554432000 4194304 4196468 140737047600592 140102545582288 140103421372315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23669] ppid=23653 vsize=26004140 memory=279482917418896 CPUtime=0.02 cores=0-7
/proc/23655/task/23669/stat : 23669 (java) S 23653 23653 19022 0 -1 1077944384 492 0 0 0 2 0 0 0 20 0 20 0 109044655 26628239360 11536 33554432000 4194304 4196468 140737047600592 140102544529904 140103421364866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23670] ppid=23653 vsize=26004140 memory=279482917425808 CPUtime=0.03 cores=0-7
/proc/23655/task/23670/stat : 23670 (java) S 23653 23653 19022 0 -1 1077944384 386 0 0 0 3 0 0 0 20 0 20 0 109044655 26628239360 11536 33554432000 4194304 4196468 140737047600592 140102543477360 140103421364866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23671] ppid=23653 vsize=26004140 memory=279482917423504 CPUtime=0.02 cores=0-7
/proc/23655/task/23671/stat : 23671 (java) R 23653 23653 19022 0 -1 1077944384 70 0 0 0 2 0 0 0 20 0 20 0 109044655 26628239360 11536 33554432000 4194304 4196468 140737047600592 140102542424816 140103421364866 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23672] ppid=23653 vsize=26004140 memory=279482917439664 CPUtime=0.11 cores=0-7
/proc/23655/task/23672/stat : 23672 (java) S 23653 23653 19022 0 -1 1077944384 837 0 0 0 11 0 0 0 20 0 20 0 109044655 26628239360 11536 33554432000 4194304 4196468 140737047600592 140102541372272 140103421364866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23673] ppid=23653 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/23655/task/23673/stat : 23673 (java) S 23653 23653 19022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109044656 26628239360 11536 33554432000 4194304 4196468 140737047600592 140102540318944 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23674] ppid=23653 vsize=26004140 memory=-1 CPUtime=0 cores=0-7
/proc/23655/task/23674/stat : 23674 (java) S 23653 23653 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109044656 26628239360 11536 33554432000 4194304 4196468 140737047600592 140102539266480 140103421364866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013652 KiB
Current children cumulated memory: 47528 KiB
[startup+0.700986 s]
/proc/loadavg: 8.61 7.69 8.19 11/207 23761
/proc/meminfo: memFree=31379828/32770624 swapFree=67108860/67108860
[pid=23653] ppid=23650 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23653/stat : 23653 (xcsp3-exec) S 23650 23653 19022 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109044650 9740288 346 33554432000 4194304 5098028 140723456635200 140723456633304 139754364215932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38281216 140723456640100 140723456640311 140723456640311 140723456643051 0
/proc/23653/statm: 2378 346 289 221 0 87 0
[pid=23655] ppid=23653 vsize=26539728 memory=180780 CPUtime=2.51 cores=0-7
/proc/23655/stat : 23655 (java) S 23653 23653 19022 0 -1 1077944320 15875 0 0 0 241 10 0 0 20 0 27 0 109044650 27176681472 45195 33554432000 4194304 4196468 140737047600592 140737047583136 140103421353719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
/proc/23655/statm: 6634932 45195 3231 1 0 6622166 0
[pid=23655/tid=23656] ppid=23653 vsize=26539728 memory=279482917797552 CPUtime=0.43 cores=0-7
/proc/23655/task/23656/stat : 23656 (java) S 23653 23653 19022 0 -1 1077944384 6690 0 0 0 40 3 0 0 20 0 27 0 109044650 27176681472 45195 33554432000 4194304 4196468 140737047600592 140103425594496 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23657] ppid=23653 vsize=26539728 memory=139741458899824 CPUtime=0 cores=0-7
/proc/23655/task/23657/stat : 23657 (java) S 23653 23653 19022 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 27 0 109044651 27176681472 45195 33554432000 4194304 4196468 140737047600592 140103377905936 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23658] ppid=23653 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/23655/task/23658/stat : 23658 (java) S 23653 23653 19022 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 27 0 109044651 27176681472 45195 33554432000 4194304 4196468 140737047600592 140102978894224 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23659] ppid=23653 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/23655/task/23659/stat : 23659 (java) S 23653 23653 19022 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 27 0 109044651 27176681472 45195 33554432000 4194304 4196468 140737047600592 140102977841680 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
################
# More data... #
################
[pid=23655/tid=23672] ppid=23653 vsize=26539728 memory=279482918080064 CPUtime=0.41 cores=0-7
/proc/23655/task/23672/stat : 23672 (java) S 23653 23653 19022 0 -1 1077944384 2383 0 0 0 41 0 0 0 20 0 28 0 109044655 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102541372272 140103421364866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23673] ppid=23653 vsize=26539728 memory=288230583166042425 CPUtime=0 cores=0-7
/proc/23655/task/23673/stat : 23673 (java) S 23653 23653 19022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 109044656 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102540318944 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23674] ppid=23653 vsize=26539728 memory=16098169624726079 CPUtime=0 cores=0-7
/proc/23655/task/23674/stat : 23674 (java) S 23653 23653 19022 0 -1 1077944384 591 0 0 0 0 0 0 0 20 0 28 0 109044656 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102539266480 140103421364866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=24043] ppid=23653 vsize=26539728 memory=16098169624726079 CPUtime=25.73 cores=0-7
/proc/23655/task/24043/stat : 24043 (java) S 23653 23653 19022 0 -1 1077944384 262 0 0 0 2472 101 0 0 20 0 28 0 109044835 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102523890384 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=24044] ppid=23653 vsize=26539728 memory=1424 CPUtime=25.93 cores=0-7
/proc/23655/task/24044/stat : 24044 (java) S 23653 23653 19022 0 -1 1077944384 309 0 0 0 2484 109 0 0 20 0 28 0 109044835 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102522838928 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=24045] ppid=23653 vsize=26539728 memory=15872 CPUtime=25.84 cores=0-7
/proc/23655/task/24045/stat : 24045 (java) R 23653 23653 19022 0 -1 1077944384 754 0 0 0 2488 96 0 0 20 0 28 0 109044835 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102528102416 140103421363925 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=24046] ppid=23653 vsize=26539728 memory=1384 CPUtime=26.21 cores=0-7
/proc/23655/task/24046/stat : 24046 (java) S 23653 23653 19022 0 -1 1077944384 564 0 0 0 2531 90 0 0 20 0 28 0 109044835 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102527049872 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=24047] ppid=23653 vsize=26539728 memory=332892 CPUtime=26.03 cores=0-7
/proc/23655/task/24047/stat : 24047 (java) R 23653 23653 19022 0 -1 4202560 886 0 0 0 2517 86 0 0 20 0 28 0 109044835 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102531260688 140103061741064 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=24048] ppid=23653 vsize=26539728 memory=16098169624726079 CPUtime=25.49 cores=0-7
/proc/23655/task/24048/stat : 24048 (java) R 23653 23653 19022 0 -1 4202560 231 0 0 0 2428 121 0 0 20 0 28 0 109044835 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102529155472 140103061699581 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=24049] ppid=23653 vsize=26539728 memory=5664 CPUtime=27.25 cores=0-7
/proc/23655/task/24049/stat : 24049 (java) R 23653 23653 19022 0 -1 4202560 2288 0 0 0 2665 60 0 0 20 0 28 0 109044835 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102530208176 140103062314844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=24050] ppid=23653 vsize=26539728 memory=4616 CPUtime=25.54 cores=0-7
/proc/23655/task/24050/stat : 24050 (java) R 23653 23653 19022 0 -1 4202560 290 0 0 0 2446 108 0 0 20 0 28 0 109044835 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102524944016 140103062500928 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
Current children cumulated CPU time: 219.46 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 332736 KiB
[startup+33.201 s]
/proc/loadavg: 7.95 7.63 8.15 7/207 24050
/proc/meminfo: memFree=31215572/32770624 swapFree=67108860/67108860
[pid=23653] ppid=23650 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23653/stat : 23653 (xcsp3-exec) S 23650 23653 19022 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109044650 9740288 346 33554432000 4194304 5098028 140723456635200 140723456633304 139754364215932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38281216 140723456640100 140723456640311 140723456640311 140723456643051 0
/proc/23653/statm: 2378 346 289 221 0 87 0
[pid=23655] ppid=23653 vsize=26539728 memory=331352 CPUtime=222.05 cores=0-7
/proc/23655/stat : 23655 (java) S 23653 23653 19022 0 -1 1077944320 37510 0 0 0 21377 828 0 0 20 0 28 0 109044650 27176681472 82838 33554432000 4194304 4196468 140737047600592 140737047583136 140103421353719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
/proc/23655/statm: 6634932 82838 3263 1 0 6622166 0
[pid=23655/tid=23656] ppid=23653 vsize=26539728 memory=18340 CPUtime=0.45 cores=0-7
/proc/23655/task/23656/stat : 23656 (java) S 23653 23653 19022 0 -1 1077944384 6690 0 0 0 42 3 0 0 20 0 28 0 109044650 27176681472 82838 33554432000 4194304 4196468 140737047600592 140103425594496 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23657] ppid=23653 vsize=26539728 memory=18444 CPUtime=0.05 cores=0-7
/proc/23655/task/23657/stat : 23657 (java) S 23653 23653 19022 0 -1 1077944384 143 0 0 0 3 2 0 0 20 0 28 0 109044651 27176681472 82838 33554432000 4194304 4196468 140737047600592 140103377905936 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23658] ppid=23653 vsize=26539728 memory=1788 CPUtime=0.05 cores=0-7
/proc/23655/task/23658/stat : 23658 (java) S 23653 23653 19022 0 -1 1077944384 292 0 0 0 3 2 0 0 20 0 28 0 109044651 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102978894224 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23659] ppid=23653 vsize=26539728 memory=640 CPUtime=0.05 cores=0-7
/proc/23655/task/23659/stat : 23659 (java) S 23653 23653 19022 0 -1 1077944384 1125 0 0 0 4 1 0 0 20 0 28 0 109044651 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102977841680 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23660] ppid=23653 vsize=26539728 memory=288230574492221466 CPUtime=0.04 cores=0-7
/proc/23655/task/23660/stat : 23660 (java) S 23653 23653 19022 0 -1 1077944384 125 0 0 0 2 2 0 0 20 0 28 0 109044651 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102976789136 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23661] ppid=23653 vsize=26539728 memory=288230583166042425 CPUtime=0.05 cores=0-7
/proc/23655/task/23661/stat : 23661 (java) S 23653 23653 19022 0 -1 1077944384 460 0 0 0 3 2 0 0 20 0 28 0 109044651 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102975736592 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23662] ppid=23653 vsize=26539728 memory=16098169624726079 CPUtime=0.05 cores=0-7
/proc/23655/task/23662/stat : 23662 (java) S 23653 23653 19022 0 -1 1077944384 214 0 0 0 3 2 0 0 20 0 28 0 109044651 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102974684048 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23663] ppid=23653 vsize=26539728 memory=0 CPUtime=0.04 cores=0-7
/proc/23655/task/23663/stat : 23663 (java) S 23653 23653 19022 0 -1 1077944384 852 0 0 0 3 1 0 0 20 0 28 0 109044651 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102973631504 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23664] ppid=23653 vsize=26539728 memory=0 CPUtime=0.05 cores=0-7
/proc/23655/task/23664/stat : 23664 (java) S 23653 23653 19022 0 -1 1077944384 175 0 0 0 3 2 0 0 20 0 28 0 109044651 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102972578960 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23665] ppid=23653 vsize=26539728 memory=279482918758560 CPUtime=0.03 cores=0-7
/proc/23655/task/23665/stat : 23665 (java) S 23653 23653 19022 0 -1 1077944384 1550 0 0 0 3 0 0 0 20 0 28 0 109044652 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102548740080 140103421364866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23666] ppid=23653 vsize=26539728 memory=279482917191920 CPUtime=0 cores=0-7
/proc/23655/task/23666/stat : 23666 (java) S 23653 23653 19022 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 109044653 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102547686368 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23667] ppid=23653 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/23655/task/23667/stat : 23667 (java) S 23653 23653 19022 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 109044653 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102546633728 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23668] ppid=23653 vsize=26539728 memory=-6452064069391756930 CPUtime=0 cores=0-7
/proc/23655/task/23668/stat : 23668 (java) S 23653 23653 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 109044655 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102545582288 140103421372315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23669] ppid=23653 vsize=26539728 memory=303430223234596890 CPUtime=0.65 cores=0-7
/proc/23655/task/23669/stat : 23669 (java) S 23653 23653 19022 0 -1 1077944384 3746 0 0 0 64 1 0 0 20 0 28 0 109044655 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102544529904 140103421364866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23670] ppid=23653 vsize=26539728 memory=304556131815260473 CPUtime=0.69 cores=0-7
/proc/23655/task/23670/stat : 23670 (java) S 23653 23653 19022 0 -1 1077944384 2702 0 0 0 69 0 0 0 20 0 28 0 109044655 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102543477360 140103421364866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23671] ppid=23653 vsize=26539728 memory=16098169624726079 CPUtime=0.66 cores=0-7
/proc/23655/task/23671/stat : 23671 (java) S 23653 23653 19022 0 -1 1077944384 3035 0 0 0 65 1 0 0 20 0 28 0 109044655 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102542424816 140103421364866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23672] ppid=23653 vsize=26539728 memory=1384 CPUtime=0.41 cores=0-7
/proc/23655/task/23672/stat : 23672 (java) S 23653 23653 19022 0 -1 1077944384 2383 0 0 0 41 0 0 0 20 0 28 0 109044655 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102541372272 140103421364866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23673] ppid=23653 vsize=26539728 memory=331868 CPUtime=0 cores=0-7
/proc/23655/task/23673/stat : 23673 (java) S 23653 23653 19022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 109044656 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102540318944 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23674] ppid=23653 vsize=26539728 memory=332860 CPUtime=0 cores=0-7
/proc/23655/task/23674/stat : 23674 (java) S 23653 23653 19022 0 -1 1077944384 591 0 0 0 0 0 0 0 20 0 28 0 109044656 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102539266480 140103421364866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=24043] ppid=23653 vsize=26539728 memory=8568 CPUtime=26.07 cores=0-7
/proc/23655/task/24043/stat : 24043 (java) R 23653 23653 19022 0 -1 4202560 262 0 0 0 2504 103 0 0 20 0 28 0 109044835 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102523890384 140103061741181 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=24044] ppid=23653 vsize=26539728 memory=5664 CPUtime=26.25 cores=0-7
/proc/23655/task/24044/stat : 24044 (java) R 23653 23653 19022 0 -1 4202560 309 0 0 0 2515 110 0 0 20 0 28 0 109044835 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102522838928 140103061699581 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=24045] ppid=23653 vsize=26539728 memory=4616 CPUtime=26.15 cores=0-7
/proc/23655/task/24045/stat : 24045 (java) R 23653 23653 19022 0 -1 4202560 754 0 0 0 2518 97 0 0 20 0 28 0 109044835 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102528102416 140103061946595 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=24046] ppid=23653 vsize=26539728 memory=1228 CPUtime=26.54 cores=0-7
/proc/23655/task/24046/stat : 24046 (java) R 23653 23653 19022 0 -1 4202560 564 0 0 0 2563 91 0 0 20 0 28 0 109044835 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102527049872 140103061920118 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=24047] ppid=23653 vsize=26539728 memory=10928 CPUtime=26.36 cores=0-7
/proc/23655/task/24047/stat : 24047 (java) R 23653 23653 19022 0 -1 4202560 886 0 0 0 2548 88 0 0 20 0 28 0 109044835 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102531260688 140103061741149 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=24048] ppid=23653 vsize=26539728 memory=796 CPUtime=25.81 cores=0-7
/proc/23655/task/24048/stat : 24048 (java) R 23653 23653 19022 0 -1 1077944384 231 0 0 0 2459 122 0 0 20 0 28 0 109044835 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102529155472 140103421363925 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=24049] ppid=23653 vsize=26539728 memory=1424 CPUtime=27.59 cores=0-7
/proc/23655/task/24049/stat : 24049 (java) S 23653 23653 19022 0 -1 1077944384 2288 0 0 0 2699 60 0 0 20 0 28 0 109044835 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102530208272 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=24050] ppid=23653 vsize=26539728 memory=4132 CPUtime=25.86 cores=0-7
/proc/23655/task/24050/stat : 24050 (java) S 23653 23653 19022 0 -1 1077944384 290 0 0 0 2476 110 0 0 20 0 28 0 109044835 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102524944016 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
Current children cumulated CPU time: 222.05 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 332736 KiB
[startup+33.4009 s]
/proc/loadavg: 7.95 7.63 8.15 7/207 24050
/proc/meminfo: memFree=31215572/32770624 swapFree=67108860/67108860
[pid=23653] ppid=23650 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23653/stat : 23653 (xcsp3-exec) S 23650 23653 19022 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109044650 9740288 346 33554432000 4194304 5098028 140723456635200 140723456633304 139754364215932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38281216 140723456640100 140723456640311 140723456640311 140723456643051 0
/proc/23653/statm: 2378 346 289 221 0 87 0
[pid=23655] ppid=23653 vsize=26539728 memory=331352 CPUtime=223.37 cores=0-7
/proc/23655/stat : 23655 (java) S 23653 23653 19022 0 -1 1077944320 37510 0 0 0 21504 833 0 0 20 0 28 0 109044650 27176681472 82838 33554432000 4194304 4196468 140737047600592 140737047583136 140103421353719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
/proc/23655/statm: 6634932 82838 3263 1 0 6622166 0
[pid=23655/tid=23656] ppid=23653 vsize=26539728 memory=16098169624726079 CPUtime=0.45 cores=0-7
/proc/23655/task/23656/stat : 23656 (java) S 23653 23653 19022 0 -1 1077944384 6690 0 0 0 42 3 0 0 20 0 28 0 109044650 27176681472 82838 33554432000 4194304 4196468 140737047600592 140103425594496 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23657] ppid=23653 vsize=26539728 memory=4128 CPUtime=0.05 cores=0-7
/proc/23655/task/23657/stat : 23657 (java) S 23653 23653 19022 0 -1 1077944384 143 0 0 0 3 2 0 0 20 0 28 0 109044651 27176681472 82838 33554432000 4194304 4196468 140737047600592 140103377905936 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23658] ppid=23653 vsize=26539728 memory=2200 CPUtime=0.05 cores=0-7
/proc/23655/task/23658/stat : 23658 (java) S 23653 23653 19022 0 -1 1077944384 292 0 0 0 3 2 0 0 20 0 28 0 109044651 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102978894224 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23659] ppid=23653 vsize=26539728 memory=6508 CPUtime=0.05 cores=0-7
/proc/23655/task/23659/stat : 23659 (java) S 23653 23653 19022 0 -1 1077944384 1125 0 0 0 4 1 0 0 20 0 28 0 109044651 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102977841680 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23660] ppid=23653 vsize=26539728 memory=836 CPUtime=0.04 cores=0-7
/proc/23655/task/23660/stat : 23660 (java) S 23653 23653 19022 0 -1 1077944384 125 0 0 0 2 2 0 0 20 0 28 0 109044651 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102976789136 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23661] ppid=23653 vsize=26539728 memory=1692 CPUtime=0.05 cores=0-7
/proc/23655/task/23661/stat : 23661 (java) S 23653 23653 19022 0 -1 1077944384 460 0 0 0 3 2 0 0 20 0 28 0 109044651 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102975736592 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23662] ppid=23653 vsize=26539728 memory=916 CPUtime=0.05 cores=0-7
/proc/23655/task/23662/stat : 23662 (java) S 23653 23653 19022 0 -1 1077944384 214 0 0 0 3 2 0 0 20 0 28 0 109044651 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102974684048 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23663] ppid=23653 vsize=26539728 memory=30988 CPUtime=0.04 cores=0-7
/proc/23655/task/23663/stat : 23663 (java) S 23653 23653 19022 0 -1 1077944384 852 0 0 0 3 1 0 0 20 0 28 0 109044651 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102973631504 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23664] ppid=23653 vsize=26539728 memory=1296 CPUtime=0.05 cores=0-7
/proc/23655/task/23664/stat : 23664 (java) S 23653 23653 19022 0 -1 1077944384 175 0 0 0 3 2 0 0 20 0 28 0 109044651 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102972578960 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23665] ppid=23653 vsize=26539728 memory=2408 CPUtime=0.03 cores=0-7
/proc/23655/task/23665/stat : 23665 (java) S 23653 23653 19022 0 -1 1077944384 1550 0 0 0 3 0 0 0 20 0 28 0 109044652 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102548740080 140103421364866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23666] ppid=23653 vsize=26539728 memory=1728 CPUtime=0 cores=0-7
/proc/23655/task/23666/stat : 23666 (java) S 23653 23653 19022 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 109044653 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102547686368 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23667] ppid=23653 vsize=26539728 memory=1720 CPUtime=0 cores=0-7
/proc/23655/task/23667/stat : 23667 (java) S 23653 23653 19022 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 109044653 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102546633728 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23668] ppid=23653 vsize=26539728 memory=241329917418597 CPUtime=0 cores=0-7
/proc/23655/task/23668/stat : 23668 (java) S 23653 23653 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 109044655 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102545582288 140103421372315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23669] ppid=23653 vsize=26539728 memory=279482918137008 CPUtime=0.65 cores=0-7
/proc/23655/task/23669/stat : 23669 (java) S 23653 23653 19022 0 -1 1077944384 3746 0 0 0 64 1 0 0 20 0 28 0 109044655 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102544529904 140103421364866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23670] ppid=23653 vsize=26539728 memory=101588861475959 CPUtime=0.69 cores=0-7
/proc/23655/task/23670/stat : 23670 (java) S 23653 23653 19022 0 -1 1077944384 2702 0 0 0 69 0 0 0 20 0 28 0 109044655 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102543477360 140103421364866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23671] ppid=23653 vsize=26539728 memory=241329917442269 CPUtime=0.66 cores=0-7
/proc/23655/task/23671/stat : 23671 (java) S 23653 23653 19022 0 -1 1077944384 3035 0 0 0 65 1 0 0 20 0 28 0 109044655 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102542424816 140103421364866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23672] ppid=23653 vsize=26539728 memory=241329917442270 CPUtime=0.41 cores=0-7
/proc/23655/task/23672/stat : 23672 (java) S 23653 23653 19022 0 -1 1077944384 2383 0 0 0 41 0 0 0 20 0 28 0 109044655 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102541372272 140103421364866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23673] ppid=23653 vsize=26539728 memory=241329917442271 CPUtime=0 cores=0-7
/proc/23655/task/23673/stat : 23673 (java) S 23653 23653 19022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 109044656 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102540318944 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=23674] ppid=23653 vsize=26539728 memory=279482918174008 CPUtime=0 cores=0-7
/proc/23655/task/23674/stat : 23674 (java) S 23653 23653 19022 0 -1 1077944384 591 0 0 0 0 0 0 0 20 0 28 0 109044656 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102539266480 140103421364866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=24043] ppid=23653 vsize=26539728 memory=241329917442641 CPUtime=26.24 cores=0-7
/proc/23655/task/24043/stat : 24043 (java) R 23653 23653 19022 0 -1 4202560 262 0 0 0 2520 104 0 0 20 0 28 0 109044835 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102523890384 140103062028860 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=24044] ppid=23653 vsize=26539728 memory=241329917442642 CPUtime=26.42 cores=0-7
/proc/23655/task/24044/stat : 24044 (java) S 23653 23653 19022 0 -1 1077944384 309 0 0 0 2531 111 0 0 20 0 28 0 109044835 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102522838928 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=24045] ppid=23653 vsize=26539728 memory=241329917442643 CPUtime=26.31 cores=0-7
/proc/23655/task/24045/stat : 24045 (java) S 23653 23653 19022 0 -1 1077944384 754 0 0 0 2533 98 0 0 20 0 28 0 109044835 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102528102416 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=24046] ppid=23653 vsize=26539728 memory=241329917442644 CPUtime=26.71 cores=0-7
/proc/23655/task/24046/stat : 24046 (java) R 23653 23653 19022 0 -1 4202560 564 0 0 0 2579 92 0 0 20 0 28 0 109044835 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102527049872 140103061676973 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=24047] ppid=23653 vsize=26539728 memory=279482919106800 CPUtime=26.52 cores=0-7
/proc/23655/task/24047/stat : 24047 (java) R 23653 23653 19022 0 -1 1077944384 886 0 0 0 2564 88 0 0 20 0 28 0 109044835 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102531260688 140103421363925 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=24048] ppid=23653 vsize=26539728 memory=3907346889321740594 CPUtime=25.97 cores=0-7
/proc/23655/task/24048/stat : 24048 (java) R 23653 23653 19022 0 -1 4202560 231 0 0 0 2474 123 0 0 20 0 28 0 109044835 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102529155472 140103061699934 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=24049] ppid=23653 vsize=26539728 memory=7380662374789180775 CPUtime=27.77 cores=0-7
/proc/23655/task/24049/stat : 24049 (java) S 23653 23653 19022 0 -1 1077944384 2288 0 0 0 2716 61 0 0 20 0 28 0 109044835 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102530208272 140103421363925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
[pid=23655/tid=24050] ppid=23653 vsize=26539728 memory=7881672427656013674 CPUtime=26.02 cores=0-7
/proc/23655/task/24050/stat : 24050 (java) R 23653 23653 19022 0 -1 4202560 290 0 0 0 2492 110 0 0 20 0 28 0 109044835 27176681472 82838 33554432000 4194304 4196468 140737047600592 140102524944016 140103061699620 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140737047602322 140737047602499 140737047602499 140737047605199 0
Current children cumulated CPU time: 223.37 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 332736 KiB
Child status: 0
Real time (s): 33.4504
CPU time (s): 223.662
CPU user time (s): 215.306
CPU system time (s): 8.35678
CPU usage (%): 668.638
Max. virtual memory (cumulated for all children) (KiB): 26549240
Max. memory (cumulated for all children) (KiB): 339592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 215.306
system time used= 8.35678
maximum resident set size= 340260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38781
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3114389
involuntary context switches= 303
# summary of solver processes directly reported to runsolver:
# pid: 23653
# total CPU time (s): 223.662
# total CPU user time (s): 215.306
# total CPU system time (s): 8.35678
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.278399 second user time and 0.418098 second system time
The end
Begin job on node115 at 2017-08-15 02:58:31
IDJOB=4270602
IDBENCH=133498
IDSOLVER=2662
FILE ID=node115/4270602-1502759570
RUNJOBID= node115-1502750312-19049
PBS_JOBID= 20629075
Free space on /tmp= 61812 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s60/Knapsack-60-250-05.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-4270602-1502759570/watcher-4270602-1502759570 -o /tmp/evaluation-result-4270602-1502759570/solver-4270602-1502759570 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1502750312-19049 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1454261965 HOME/instance-4270602-1502759570.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= ec17c84eab1701ad56b983b1c216f3af
RANDOM SEED=1454261965
node115.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 31535384 kB
MemAvailable: 31981664 kB
Buffers: 173184 kB
Cached: 558556 kB
SwapCached: 0 kB
Active: 543676 kB
Inactive: 245204 kB
Active(anon): 5576 kB
Inactive(anon): 79440 kB
Active(file): 538100 kB
Inactive(file): 165764 kB
Unevictable: 6168 kB
Mlocked: 6168 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7784 kB
Writeback: 0 kB
AnonPages: 184252 kB
Mapped: 44896 kB
Shmem: 25224 kB
Slab: 143216 kB
SReclaimable: 116504 kB
SUnreclaim: 26712 kB
KernelStack: 3104 kB
PageTables: 4580 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 325228 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 129024 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 105856 kB
DirectMap2M: 33439744 kB
Free space on /tmp at the end= 61804 MiB
End job on node115 at 2017-08-15 02:59:04