0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280477-1503126381.xml" -tl '20160s' -p 8 -x 0
0.12/0.14 c [HOME/instance-4280477-1503126381.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20 c 8 solvers in parallel
0.32/0.27 c parse instance...
2.19/0.82 c solve instance...
4.45/1.19 o 1737
5.10/1.20 o 1711
5.10/1.24 o 1707
5.10/1.30 o 1681
5.88/1.32 o 1675
5.88/1.32 o 1663
5.88/1.37 o 1658
5.88/1.40 o 1639
6.53/1.40 o 1626
6.53/1.41 o 1617
6.53/1.42 o 1610
6.53/1.46 o 1606
6.53/1.48 o 1600
7.26/1.51 o 1598
7.26/1.52 o 1591
7.26/1.55 o 1590
7.26/1.57 o 1580
7.26/1.57 o 1572
7.26/1.59 o 1568
16.75/2.74 o 1565
16.75/2.74 o 1554
16.75/2.75 o 1546
16.75/2.75 o 1542
17.49/2.83 o 1533
19.13/3.03 o 1528
59.46/8.12 o 1522
72.08/9.72 o 1518
72.08/9.73 o 1512
72.08/9.74 o 1492
72.08/9.75 o 1490
72.08/9.78 o 1480
72.79/9.81 o 1478
72.79/9.82 o 1456
122.17/16.07 o 1453
125.95/16.57 o 1416
125.95/16.57 o 1394
1481.83/186.81 o 1393
1483.45/187.01 o 1392
1485.03/187.26 o 1384
2092.64/263.60 o 1383
5266.70/663.21 o 1368
5266.70/663.27 o 1364
14764.67/1861.50 o 1359
14764.67/1861.53 o 1352
19988.54/2520.09 s SATISFIABLE
19988.54/2520.09 v <instantiation>
19988.54/2520.09 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] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[16][17] d[16][18] d[16][19] d[16][20] d[17][18] d[17][19] d[17][20] d[18][19] d[18][20] d[19][20] </list>
19988.54/2520.09 v <values>1 11 9 12 2 20 19 4 5 8 17 15 7 13 14 0 6 16 10 18 3 0 2 5 4 6 1 10 4 2 2 0 0 0 0 3 0 0 1 0 0 5 5 1 0 2 2 10 1 0 0 0 5 2 5 10 0 0 0 0 6 1 3 2 0 1 10 0 5 3 0 1 5 5 5 5 5 0 0 6 0 0 10 5 2 4 0 2 0 0 6 2 0 1 2 5 2 4 0 5 6 4 5 4 0 2 5 0 4 3 3 5 2 0 4 2 2 0 0 0 1 5 0 0 5 2 0 0 0 1 2 6 10 1 0 1 0 0 0 1 5 0 1 0 0 0 0 0 2 2 0 0 0 2 5 5 2 2 5 2 1 0 4 0 0 2 3 1 2 0 0 10 0 2 0 2 3 2 5 1 6 1 2 2 5 1 4 1 4 0 10 0 1 0 5 0 2 5 10 5 5 10 2 2 0 0 0 1 3 5 2 0 5 2 0 2 10 5 2 3 0 2 10 10 0 0 2 1 0 6 1 </values>
19988.54/2520.09 v </instantiation>
19988.54/2520.09 c Unexpected resolution interruption!
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 (12787 MiB free)
memory of node 1: 16384 MiB (12132 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280477-1503126381/watcher-4280477-1503126381 -o /tmp/evaluation-result-4280477-1503126381/solver-4280477-1503126381 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503120656-24673 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1541469131 HOME/instance-4280477-1503126381.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=25911, runsolver pid=25908
[startup+0.10012 s]*
/proc/loadavg: 8.55 8.29 8.01 3/200 25932
/proc/meminfo: memFree=25502260/32770624 swapFree=67108860/67108860
[pid=25911] ppid=25908 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/25911/stat : 25911 (xcsp3-exec) S 25908 25911 24646 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145719058 9740288 346 33554432000 4194304 5098028 140728984597168 140728984595272 140605161243260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25837568 140728984601700 140728984601911 140728984601911 140728984604651 0
/proc/25911/statm: 2378 346 289 221 0 87 0
[pid=25913] ppid=25911 vsize=25999808 memory=26256 CPUtime=0.12 cores=0-7
/proc/25913/stat : 25913 (java) S 25911 25911 24646 0 -1 1077944320 5506 0 0 0 11 1 0 0 20 0 20 0 145719058 26623803392 6564 33554432000 4194304 4196468 140734182835280 140734182817824 139929496018679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
/proc/25913/statm: 6499952 6564 2847 1 0 6488269 0
[pid=25913/tid=25914] ppid=25911 vsize=25999808 memory=8329859893426035864 CPUtime=0.08 cores=0-7
/proc/25913/task/25914/stat : 25914 (java) R 25911 25911 24646 0 -1 4202560 3510 0 0 0 8 0 0 0 20 0 20 0 145719059 26623803392 6564 33554432000 4194304 4196468 140734182835280 139929500242480 139929480062309 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25915] ppid=25911 vsize=25999808 memory=732370499224837093 CPUtime=0 cores=0-7
/proc/25913/task/25915/stat : 25915 (java) S 25911 25911 24646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145719059 26623803392 6564 33554432000 4194304 4196468 140734182835280 139929448639504 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25916] ppid=25911 vsize=25999808 memory=140360887383680 CPUtime=0 cores=0-7
/proc/25913/task/25916/stat : 25916 (java) S 25911 25911 24646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145719059 26623803392 6564 33554432000 4194304 4196468 140734182835280 139929447586960 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25917] ppid=25911 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25913/task/25917/stat : 25917 (java) S 25911 25911 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145719059 26623803392 6564 33554432000 4194304 4196468 140734182835280 139929446533904 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25918] ppid=25911 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25913/task/25918/stat : 25918 (java) S 25911 25911 24646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145719059 26623803392 6564 33554432000 4194304 4196468 140734182835280 139929445481360 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25919] ppid=25911 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25913/task/25919/stat : 25919 (java) S 25911 25911 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145719059 26623803392 6564 33554432000 4194304 4196468 140734182835280 139929444428304 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25920] ppid=25911 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/25913/task/25920/stat : 25920 (java) S 25911 25911 24646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145719059 26623803392 6564 33554432000 4194304 4196468 140734182835280 139929443375760 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25921] ppid=25911 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25913/task/25921/stat : 25921 (java) S 25911 25911 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145719059 26623803392 6564 33554432000 4194304 4196468 140734182835280 139929442322704 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25922] ppid=25911 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25913/task/25922/stat : 25922 (java) S 25911 25911 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145719059 26623803392 6564 33554432000 4194304 4196468 140734182835280 139929441270160 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25923] ppid=25911 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25913/task/25923/stat : 25923 (java) S 25911 25911 24646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145719061 26623803392 6564 33554432000 4194304 4196468 140734182835280 139927901698800 139929496029826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25924] ppid=25911 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25913/task/25924/stat : 25924 (java) S 25911 25911 24646 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145719061 26623803392 6564 33554432000 4194304 4196468 140734182835280 139927900645024 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25925] ppid=25911 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25913/task/25925/stat : 25925 (java) S 25911 25911 24646 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145719062 26623803392 6564 33554432000 4194304 4196468 140734182835280 139927899591920 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25926] ppid=25911 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25913/task/25926/stat : 25926 (java) S 25911 25911 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145719064 26623803392 6564 33554432000 4194304 4196468 140734182835280 139927898540496 139929496037275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25927] ppid=25911 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25913/task/25927/stat : 25927 (java) S 25911 25911 24646 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 145719064 26623803392 6564 33554432000 4194304 4196468 140734182835280 139927897487600 139929496029826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25928] ppid=25911 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25913/task/25928/stat : 25928 (java) S 25911 25911 24646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145719064 26623803392 6564 33554432000 4194304 4196468 140734182835280 139927896435056 139929496029826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25929] ppid=25911 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25913/task/25929/stat : 25929 (java) S 25911 25911 24646 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 145719064 26623803392 6564 33554432000 4194304 4196468 140734182835280 139927895382000 139929496029826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25930] ppid=25911 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/25913/task/25930/stat : 25930 (java) S 25911 25911 24646 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 20 0 145719064 26623803392 6564 33554432000 4194304 4196468 140734182835280 139927894329456 139929496029826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25931] ppid=25911 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25913/task/25931/stat : 25931 (java) S 25911 25911 24646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145719064 26623803392 6564 33554432000 4194304 4196468 140734182835280 139927893277664 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25932] ppid=25911 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/25913/task/25932/stat : 25932 (java) S 25911 25911 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145719064 26623803392 6564 33554432000 4194304 4196468 140734182835280 139927892225200 139929496029826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27640 KiB
[startup+0.210312 s]*
/proc/loadavg: 8.55 8.29 8.01 3/200 25932
/proc/meminfo: memFree=25491648/32770624 swapFree=67108860/67108860
[pid=25911] ppid=25908 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/25911/stat : 25911 (xcsp3-exec) S 25908 25911 24646 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145719058 9740288 346 33554432000 4194304 5098028 140728984597168 140728984595272 140605161243260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25837568 140728984601700 140728984601911 140728984601911 140728984604651 0
/proc/25911/statm: 2378 346 289 221 0 87 0
[pid=25913] ppid=25911 vsize=26004064 memory=38932 CPUtime=0.32 cores=0-7
/proc/25913/stat : 25913 (java) S 25911 25911 24646 0 -1 1077944320 8322 0 0 0 30 2 0 0 20 0 20 0 145719058 26628161536 9733 33554432000 4194304 4196468 140734182835280 140734182817824 139929496018679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
/proc/25913/statm: 6501016 9733 3069 1 0 6488269 0
[pid=25913/tid=25914] ppid=25911 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/25913/task/25914/stat : 25914 (java) R 25911 25911 24646 0 -1 4202560 5415 0 0 0 18 1 0 0 20 0 20 0 145719059 26628161536 9733 33554432000 4194304 4196468 140734182835280 139929500231712 139929112052480 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25915] ppid=25911 vsize=26004064 memory=732370499224837093 CPUtime=0 cores=0-7
/proc/25913/task/25915/stat : 25915 (java) S 25911 25911 24646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145719059 26628161536 9733 33554432000 4194304 4196468 140734182835280 139929448639504 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25916] ppid=25911 vsize=26004064 memory=140360887383680 CPUtime=0 cores=0-7
/proc/25913/task/25916/stat : 25916 (java) S 25911 25911 24646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145719059 26628161536 9733 33554432000 4194304 4196468 140734182835280 139929447586960 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25917] ppid=25911 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25913/task/25917/stat : 25917 (java) S 25911 25911 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145719059 26628161536 9733 33554432000 4194304 4196468 140734182835280 139929446533904 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25918] ppid=25911 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25913/task/25918/stat : 25918 (java) S 25911 25911 24646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145719059 26628161536 9733 33554432000 4194304 4196468 140734182835280 139929445481360 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25919] ppid=25911 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25913/task/25919/stat : 25919 (java) S 25911 25911 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145719059 26628161536 9733 33554432000 4194304 4196468 140734182835280 139929444428304 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25920] ppid=25911 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/25913/task/25920/stat : 25920 (java) S 25911 25911 24646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145719059 26628161536 9733 33554432000 4194304 4196468 140734182835280 139929443375760 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25921] ppid=25911 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25913/task/25921/stat : 25921 (java) S 25911 25911 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145719059 26628161536 9733 33554432000 4194304 4196468 140734182835280 139929442322704 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25922] ppid=25911 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25913/task/25922/stat : 25922 (java) S 25911 25911 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145719059 26628161536 9733 33554432000 4194304 4196468 140734182835280 139929441270160 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25923] ppid=25911 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25913/task/25923/stat : 25923 (java) S 25911 25911 24646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145719061 26628161536 9733 33554432000 4194304 4196468 140734182835280 139927901698800 139929496029826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25924] ppid=25911 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25913/task/25924/stat : 25924 (java) S 25911 25911 24646 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145719061 26628161536 9733 33554432000 4194304 4196468 140734182835280 139927900645024 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25925] ppid=25911 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25913/task/25925/stat : 25925 (java) S 25911 25911 24646 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145719062 26628161536 9733 33554432000 4194304 4196468 140734182835280 139927899591920 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25926] ppid=25911 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25913/task/25926/stat : 25926 (java) S 25911 25911 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145719064 26628161536 9733 33554432000 4194304 4196468 140734182835280 139927898540496 139929496037275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25927] ppid=25911 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25913/task/25927/stat : 25927 (java) S 25911 25911 24646 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 145719064 26628161536 9733 33554432000 4194304 4196468 140734182835280 139927897487600 139929496029826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25928] ppid=25911 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/25913/task/25928/stat : 25928 (java) S 25911 25911 24646 0 -1 1077944384 419 0 0 0 1 0 0 0 20 0 20 0 145719064 26628161536 9733 33554432000 4194304 4196468 140734182835280 139927896435056 139929496029826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25929] ppid=25911 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/25913/task/25929/stat : 25929 (java) S 25911 25911 24646 0 -1 1077944384 164 0 0 0 1 0 0 0 20 0 20 0 145719064 26628161536 9733 33554432000 4194304 4196468 140734182835280 139927895382000 139929496029826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25930] ppid=25911 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/25913/task/25930/stat : 25930 (java) S 25911 25911 24646 0 -1 1077944384 710 0 0 0 7 0 0 0 20 0 20 0 145719064 26628161536 9733 33554432000 4194304 4196468 140734182835280 139927894329456 139929496029826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25931] ppid=25911 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25913/task/25931/stat : 25931 (java) S 25911 25911 24646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145719064 26628161536 9733 33554432000 4194304 4196468 140734182835280 139927893277664 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25932] ppid=25911 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/25913/task/25932/stat : 25932 (java) S 25911 25911 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145719064 26628161536 9733 33554432000 4194304 4196468 140734182835280 139927892225200 139929496029826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40316 KiB
[startup+0.309645 s]*
/proc/loadavg: 8.55 8.29 8.01 3/200 25932
/proc/meminfo: memFree=25487616/32770624 swapFree=67108860/67108860
[pid=25911] ppid=25908 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/25911/stat : 25911 (xcsp3-exec) S 25908 25911 24646 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145719058 9740288 346 33554432000 4194304 5098028 140728984597168 140728984595272 140605161243260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25837568 140728984601700 140728984601911 140728984601911 140728984604651 0
/proc/25911/statm: 2378 346 289 221 0 87 0
[pid=25913] ppid=25911 vsize=26004064 memory=45876 CPUtime=0.49 cores=0-7
/proc/25913/stat : 25913 (java) S 25911 25911 24646 0 -1 1077944320 9177 0 0 0 46 3 0 0 20 0 20 0 145719058 26628161536 11469 33554432000 4194304 4196468 140734182835280 140734182817824 139929496018679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
/proc/25913/statm: 6501016 11469 3091 1 0 6488269 0
[pid=25913/tid=25914] ppid=25911 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/25913/task/25914/stat : 25914 (java) R 25911 25911 24646 0 -1 4202560 6113 0 0 0 28 1 0 0 20 0 20 0 145719059 26628161536 11469 33554432000 4194304 4196468 140734182835280 139929500242400 139929488696693 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25915] ppid=25911 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25913/task/25915/stat : 25915 (java) S 25911 25911 24646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145719059 26628161536 11469 33554432000 4194304 4196468 140734182835280 139929448639504 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25916] ppid=25911 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25913/task/25916/stat : 25916 (java) S 25911 25911 24646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145719059 26628161536 11469 33554432000 4194304 4196468 140734182835280 139929447586960 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25917] ppid=25911 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25913/task/25917/stat : 25917 (java) S 25911 25911 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145719059 26628161536 11469 33554432000 4194304 4196468 140734182835280 139929446533904 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25918] ppid=25911 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25913/task/25918/stat : 25918 (java) S 25911 25911 24646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145719059 26628161536 11469 33554432000 4194304 4196468 140734182835280 139929445481360 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25919] ppid=25911 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/25913/task/25919/stat : 25919 (java) S 25911 25911 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145719059 26628161536 11469 33554432000 4194304 4196468 140734182835280 139929444428304 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25920] ppid=25911 vsize=26004064 memory=140360739287983 CPUtime=0 cores=0-7
/proc/25913/task/25920/stat : 25920 (java) S 25911 25911 24646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145719059 26628161536 11469 33554432000 4194304 4196468 140734182835280 139929443375760 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25921] ppid=25911 vsize=26004064 memory=140360739290288 CPUtime=0 cores=0-7
/proc/25913/task/25921/stat : 25921 (java) S 25911 25911 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145719059 26628161536 11469 33554432000 4194304 4196468 140734182835280 139929442322704 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25922] ppid=25911 vsize=26004064 memory=140360739292592 CPUtime=0 cores=0-7
/proc/25913/task/25922/stat : 25922 (java) S 25911 25911 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145719059 26628161536 11469 33554432000 4194304 4196468 140734182835280 139929441270160 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25923] ppid=25911 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25913/task/25923/stat : 25923 (java) S 25911 25911 24646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145719061 26628161536 11469 33554432000 4194304 4196468 140734182835280 139927901698800 139929496029826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25924] ppid=25911 vsize=26004064 memory=280721478592144 CPUtime=0 cores=0-7
/proc/25913/task/25924/stat : 25924 (java) S 25911 25911 24646 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145719061 26628161536 11469 33554432000 4194304 4196468 140734182835280 139927900645024 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25925] ppid=25911 vsize=26004064 memory=280721478599056 CPUtime=0 cores=0-7
/proc/25913/task/25925/stat : 25925 (java) S 25911 25911 24646 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145719062 26628161536 11469 33554432000 4194304 4196468 140734182835280 139927899591920 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25926] ppid=25911 vsize=26004064 memory=280721478540336 CPUtime=0 cores=0-7
/proc/25913/task/25926/stat : 25926 (java) S 25911 25911 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145719064 26628161536 11469 33554432000 4194304 4196468 140734182835280 139927898540496 139929496037275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25927] ppid=25911 vsize=26004064 memory=280721478612880 CPUtime=0.01 cores=0-7
/proc/25913/task/25927/stat : 25927 (java) S 25911 25911 24646 0 -1 1077944384 371 0 0 0 1 0 0 0 20 0 20 0 145719064 26628161536 11469 33554432000 4194304 4196468 140734182835280 139927897487600 139929496029826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25928] ppid=25911 vsize=26004064 memory=280721478619792 CPUtime=0.02 cores=0-7
/proc/25913/task/25928/stat : 25928 (java) S 25911 25911 24646 0 -1 1077944384 423 0 0 0 2 0 0 0 20 0 20 0 145719064 26628161536 11469 33554432000 4194304 4196468 140734182835280 139927896435056 139929496029826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25929] ppid=25911 vsize=26004064 memory=280721478617488 CPUtime=0.02 cores=0-7
/proc/25913/task/25929/stat : 25929 (java) S 25911 25911 24646 0 -1 1077944384 168 0 0 0 2 0 0 0 20 0 20 0 145719064 26628161536 11469 33554432000 4194304 4196468 140734182835280 139927895382000 139929496029826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25930] ppid=25911 vsize=26004064 memory=280721478633648 CPUtime=0.12 cores=0-7
/proc/25913/task/25930/stat : 25930 (java) R 25911 25911 24646 0 -1 4202560 800 0 0 0 12 0 0 0 20 0 20 0 145719064 26628161536 11469 33554432000 4194304 4196468 140734182835280 139927894325824 139929477428687 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25931] ppid=25911 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25913/task/25931/stat : 25931 (java) S 25911 25911 24646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145719064 26628161536 11469 33554432000 4194304 4196468 140734182835280 139927893277664 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25932] ppid=25911 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/25913/task/25932/stat : 25932 (java) S 25911 25911 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145719064 26628161536 11469 33554432000 4194304 4196468 140734182835280 139927892225200 139929496029826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47260 KiB
[startup+0.700971 s]
/proc/loadavg: 8.55 8.29 8.01 3/200 25932
/proc/meminfo: memFree=25468388/32770624 swapFree=67108860/67108860
[pid=25911] ppid=25908 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/25911/stat : 25911 (xcsp3-exec) S 25908 25911 24646 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145719058 9740288 346 33554432000 4194304 5098028 140728984597168 140728984595272 140605161243260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25837568 140728984601700 140728984601911 140728984601911 140728984604651 0
/proc/25911/statm: 2378 346 289 221 0 87 0
[pid=25913] ppid=25911 vsize=26006188 memory=87636 CPUtime=1.78 cores=0-7
/proc/25913/stat : 25913 (java) S 25911 25911 24646 0 -1 1077944320 12518 0 0 0 173 5 0 0 20 0 20 0 145719058 26630336512 21909 33554432000 4194304 4196468 140734182835280 140734182817824 139929496018679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
/proc/25913/statm: 6501547 21909 3206 1 0 6488781 0
[pid=25913/tid=25914] ppid=25911 vsize=26006188 memory=280721478928576 CPUtime=0.67 cores=0-7
/proc/25913/task/25914/stat : 25914 (java) R 25911 25911 24646 0 -1 4202560 6802 0 0 0 65 2 0 0 20 0 20 0 145719059 26630336512 21909 33554432000 4194304 4196468 140734182835280 139929500254800 139929111883599 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25915] ppid=25911 vsize=26006188 memory=12136 CPUtime=0 cores=0-7
/proc/25913/task/25915/stat : 25915 (java) S 25911 25911 24646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145719059 26630336512 21909 33554432000 4194304 4196468 140734182835280 139929448639504 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25916] ppid=25911 vsize=26006188 memory=1004 CPUtime=0 cores=0-7
/proc/25913/task/25916/stat : 25916 (java) S 25911 25911 24646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145719059 26630336512 21909 33554432000 4194304 4196468 140734182835280 139929447586960 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25917] ppid=25911 vsize=26006188 memory=1228 CPUtime=0 cores=0-7
/proc/25913/task/25917/stat : 25917 (java) S 25911 25911 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145719059 26630336512 21909 33554432000 4194304 4196468 140734182835280 139929446533904 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
################
# More data... #
################
[pid=25913/tid=26337] ppid=25911 vsize=26539728 memory=367184 CPUtime=572.68 cores=0-7
/proc/25913/task/26337/stat : 26337 (java) R 25911 25911 24646 0 -1 4202560 44664 0 0 0 57257 11 0 0 20 0 28 0 145905212 27176681472 91668 33554432000 4194304 4196468 140734182835280 139927812455536 139929120482182 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
Current children cumulated CPU time: 19371.9 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 368056 KiB
[startup+2502.3 s]
/proc/loadavg: 8.11 8.21 8.29 10/208 26348
/proc/meminfo: memFree=25162292/32770624 swapFree=67108860/67108860
[pid=25911] ppid=25908 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/25911/stat : 25911 (xcsp3-exec) S 25908 25911 24646 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145719058 9740288 346 33554432000 4194304 5098028 140728984597168 140728984595272 140605161243260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25837568 140728984601700 140728984601911 140728984601911 140728984604651 0
/proc/25911/statm: 2378 346 289 221 0 87 0
[pid=25913] ppid=25911 vsize=26539728 memory=363756 CPUtime=19848.1 cores=0-7
/proc/25913/stat : 25913 (java) S 25911 25911 24646 0 -1 1077944320 763794 0 0 0 1984206 602 0 0 20 0 28 0 145719058 27176681472 90939 33554432000 4194304 4196468 140734182835280 140734182817824 139929496018679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
/proc/25913/statm: 6634932 90939 3296 1 0 6622166 0
[pid=25913/tid=25914] ppid=25911 vsize=26539728 memory=363756 CPUtime=0.84 cores=0-7
/proc/25913/task/25914/stat : 25914 (java) S 25911 25911 24646 0 -1 1077944384 7730 0 0 0 81 3 0 0 20 0 28 0 145719059 27176681472 90939 33554432000 4194304 4196468 140734182835280 139929500259456 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25915] ppid=25911 vsize=26539728 memory=372968 CPUtime=8.08 cores=0-7
/proc/25913/task/25915/stat : 25915 (java) S 25911 25911 24646 0 -1 1077944384 29080 0 0 0 770 38 0 0 20 0 28 0 145719059 27176681472 90939 33554432000 4194304 4196468 140734182835280 139929448639504 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25916] ppid=25911 vsize=26539728 memory=369888 CPUtime=8.14 cores=0-7
/proc/25913/task/25916/stat : 25916 (java) S 25911 25911 24646 0 -1 1077944384 29056 0 0 0 781 33 0 0 20 0 28 0 145719059 27176681472 90939 33554432000 4194304 4196468 140734182835280 139929447586960 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25917] ppid=25911 vsize=26539728 memory=1384 CPUtime=8.09 cores=0-7
/proc/25913/task/25917/stat : 25917 (java) S 25911 25911 24646 0 -1 1077944384 25099 0 0 0 775 34 0 0 20 0 28 0 145719059 27176681472 90939 33554432000 4194304 4196468 140734182835280 139929446533904 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25918] ppid=25911 vsize=26539728 memory=363756 CPUtime=8.18 cores=0-7
/proc/25913/task/25918/stat : 25918 (java) S 25911 25911 24646 0 -1 1077944384 27352 0 0 0 784 34 0 0 20 0 28 0 145719059 27176681472 90939 33554432000 4194304 4196468 140734182835280 139929445481360 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25919] ppid=25911 vsize=26539728 memory=1384 CPUtime=8.07 cores=0-7
/proc/25913/task/25919/stat : 25919 (java) S 25911 25911 24646 0 -1 1077944384 30158 0 0 0 770 37 0 0 20 0 28 0 145719059 27176681472 90939 33554432000 4194304 4196468 140734182835280 139929444428304 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25920] ppid=25911 vsize=26539728 memory=2257 CPUtime=8.11 cores=0-7
/proc/25913/task/25920/stat : 25920 (java) S 25911 25911 24646 0 -1 1077944384 24161 0 0 0 777 34 0 0 20 0 28 0 145719059 27176681472 90939 33554432000 4194304 4196468 140734182835280 139929443375760 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25921] ppid=25911 vsize=26539728 memory=1384 CPUtime=8.14 cores=0-7
/proc/25913/task/25921/stat : 25921 (java) S 25911 25911 24646 0 -1 1077944384 32146 0 0 0 779 35 0 0 20 0 28 0 145719059 27176681472 90939 33554432000 4194304 4196468 140734182835280 139929442322704 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25922] ppid=25911 vsize=26539728 memory=353932 CPUtime=8.07 cores=0-7
/proc/25913/task/25922/stat : 25922 (java) S 25911 25911 24646 0 -1 1077944384 28413 0 0 0 774 33 0 0 20 0 28 0 145719059 27176681472 90939 33554432000 4194304 4196468 140734182835280 139929441270160 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25923] ppid=25911 vsize=26539728 memory=1384 CPUtime=6.31 cores=0-7
/proc/25913/task/25923/stat : 25923 (java) S 25911 25911 24646 0 -1 1077944384 116072 0 0 0 462 169 0 0 20 0 28 0 145719061 27176681472 90939 33554432000 4194304 4196468 140734182835280 139927901698800 139929496029826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25924] ppid=25911 vsize=26539728 memory=1384 CPUtime=0 cores=0-7
/proc/25913/task/25924/stat : 25924 (java) S 25911 25911 24646 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 145719061 27176681472 90939 33554432000 4194304 4196468 140734182835280 139927900645088 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25925] ppid=25911 vsize=26539728 memory=377584 CPUtime=0 cores=0-7
/proc/25913/task/25925/stat : 25925 (java) S 25911 25911 24646 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 145719062 27176681472 90939 33554432000 4194304 4196468 140734182835280 139927899591936 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25926] ppid=25911 vsize=26539728 memory=1384 CPUtime=0 cores=0-7
/proc/25913/task/25926/stat : 25926 (java) S 25911 25911 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145719064 27176681472 90939 33554432000 4194304 4196468 140734182835280 139927898540496 139929496037275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25927] ppid=25911 vsize=26539728 memory=1384 CPUtime=1.89 cores=0-7
/proc/25913/task/25927/stat : 25927 (java) S 25911 25911 24646 0 -1 1077944384 13603 0 0 0 186 3 0 0 20 0 28 0 145719064 27176681472 90939 33554432000 4194304 4196468 140734182835280 139927897487600 139929496029826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25928] ppid=25911 vsize=26539728 memory=374504 CPUtime=1.97 cores=0-7
/proc/25913/task/25928/stat : 25928 (java) S 25911 25911 24646 0 -1 1077944384 8008 0 0 0 194 3 0 0 20 0 28 0 145719064 27176681472 90939 33554432000 4194304 4196468 140734182835280 139927896435056 139929496029826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25929] ppid=25911 vsize=26539728 memory=636 CPUtime=1.87 cores=0-7
/proc/25913/task/25929/stat : 25929 (java) S 25911 25911 24646 0 -1 1077944384 11143 0 0 0 184 3 0 0 20 0 28 0 145719064 27176681472 90939 33554432000 4194304 4196468 140734182835280 139927895382000 139929496029826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25930] ppid=25911 vsize=26539728 memory=1236 CPUtime=0.8 cores=0-7
/proc/25913/task/25930/stat : 25930 (java) S 25911 25911 24646 0 -1 1077944384 12141 0 0 0 77 3 0 0 20 0 28 0 145719064 27176681472 90939 33554432000 4194304 4196468 140734182835280 139927894329456 139929496029826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25931] ppid=25911 vsize=26539728 memory=1384 CPUtime=0 cores=0-7
/proc/25913/task/25931/stat : 25931 (java) S 25911 25911 24646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145719064 27176681472 90939 33554432000 4194304 4196468 140734182835280 139927893277664 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25932] ppid=25911 vsize=26539728 memory=370400 CPUtime=0.5 cores=0-7
/proc/25913/task/25932/stat : 25932 (java) S 25911 25911 24646 0 -1 1077944384 4856 0 0 0 25 25 0 0 20 0 28 0 145719064 27176681472 90939 33554432000 4194304 4196468 140734182835280 139927892225200 139929496029826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=26330] ppid=25911 vsize=26539728 memory=1384 CPUtime=631.5 cores=0-7
/proc/25913/task/26330/stat : 26330 (java) R 25911 25911 24646 0 -1 4202560 3873 0 0 0 63147 3 0 0 20 0 28 0 145905212 27176681472 90939 33554432000 4194304 4196468 140734182835280 139927810346104 139929119969862 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=26331] ppid=25911 vsize=26539728 memory=369504 CPUtime=632.53 cores=0-7
/proc/25913/task/26331/stat : 26331 (java) R 25911 25911 24646 0 -1 4202560 3736 0 0 0 63251 2 0 0 20 0 28 0 145905212 27176681472 90939 33554432000 4194304 4196468 140734182835280 139927808242024 139929117317334 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=26332] ppid=25911 vsize=26539728 memory=6791534058613427641 CPUtime=631.92 cores=0-7
/proc/25913/task/26332/stat : 26332 (java) R 25911 25911 24646 0 -1 4202560 2915 0 0 0 63190 2 0 0 20 0 28 0 145905212 27176681472 90939 33554432000 4194304 4196468 140734182835280 139927888998376 139929117317761 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=26333] ppid=25911 vsize=26539728 memory=369376 CPUtime=630.84 cores=0-7
/proc/25913/task/26333/stat : 26333 (java) R 25911 25911 24646 0 -1 4202560 41240 0 0 0 63071 13 0 0 20 0 28 0 145905212 27176681472 90939 33554432000 4194304 4196468 140734182835280 139927813505128 139929117499205 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=26334] ppid=25911 vsize=26539728 memory=8620 CPUtime=631.76 cores=0-7
/proc/25913/task/26334/stat : 26334 (java) R 25911 25911 24646 0 -1 4202560 48807 0 0 0 63165 11 0 0 20 0 28 0 145905212 27176681472 90939 33554432000 4194304 4196468 140734182835280 139927811400056 139929118525999 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=26335] ppid=25911 vsize=26539728 memory=1384 CPUtime=633.24 cores=0-7
/proc/25913/task/26335/stat : 26335 (java) R 25911 25911 24646 0 -1 4202560 2743 0 0 0 63321 3 0 0 20 0 28 0 145905212 27176681472 90939 33554432000 4194304 4196468 140734182835280 139927814557408 139929117499305 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=26336] ppid=25911 vsize=26539728 memory=367348 CPUtime=632.69 cores=0-7
/proc/25913/task/26336/stat : 26336 (java) R 25911 25911 24646 0 -1 4202560 3773 0 0 0 63266 3 0 0 20 0 28 0 145905212 27176681472 90939 33554432000 4194304 4196468 140734182835280 139927815613856 139929119968803 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=26337] ppid=25911 vsize=26539728 memory=1292 CPUtime=631.64 cores=0-7
/proc/25913/task/26337/stat : 26337 (java) R 25911 25911 24646 0 -1 4202560 48006 0 0 0 63152 12 0 0 20 0 28 0 145905212 27176681472 90939 33554432000 4194304 4196468 140734182835280 139927812452608 139929120482575 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
Current children cumulated CPU time: 19848.1 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 365140 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.09 8.20 8.29 9/208 26348
/proc/meminfo: memFree=25154304/32770624 swapFree=67108860/67108860
[pid=25911] ppid=25908 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/25911/stat : 25911 (xcsp3-exec) S 25908 25911 24646 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145719058 9740288 346 33554432000 4194304 5098028 140728984597168 140728984595272 140605161243260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25837568 140728984601700 140728984601911 140728984601911 140728984604651 0
/proc/25911/statm: 2378 346 289 221 0 87 0
[pid=25913] ppid=25911 vsize=26539728 memory=373336 CPUtime=19988.5 cores=0-7
/proc/25913/stat : 25913 (java) S 25911 25911 24646 0 -1 1077944320 768410 0 0 0 1998246 608 0 0 20 0 28 0 145719058 27176681472 93334 33554432000 4194304 4196468 140734182835280 140734182817824 139929496018679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
/proc/25913/statm: 6634932 93334 3296 1 0 6622166 0
[pid=25913/tid=25914] ppid=25911 vsize=26539728 memory=1398720917958146503 CPUtime=0.84 cores=0-7
/proc/25913/task/25914/stat : 25914 (java) S 25911 25911 24646 0 -1 1077944384 7730 0 0 0 81 3 0 0 20 0 28 0 145719059 27176681472 93334 33554432000 4194304 4196468 140734182835280 139929500259456 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25915] ppid=25911 vsize=26539728 memory=-7003737579269690708 CPUtime=8.18 cores=0-7
/proc/25913/task/25915/stat : 25915 (java) S 25911 25911 24646 0 -1 1077944384 29199 0 0 0 780 38 0 0 20 0 28 0 145719059 27176681472 93334 33554432000 4194304 4196468 140734182835280 139929448639504 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25916] ppid=25911 vsize=26539728 memory=1236 CPUtime=8.25 cores=0-7
/proc/25913/task/25916/stat : 25916 (java) S 25911 25911 24646 0 -1 1077944384 29128 0 0 0 792 33 0 0 20 0 28 0 145719059 27176681472 93334 33554432000 4194304 4196468 140734182835280 139929447586960 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25917] ppid=25911 vsize=26539728 memory=960 CPUtime=8.2 cores=0-7
/proc/25913/task/25917/stat : 25917 (java) S 25911 25911 24646 0 -1 1077944384 25150 0 0 0 785 35 0 0 20 0 28 0 145719059 27176681472 93334 33554432000 4194304 4196468 140734182835280 139929446533904 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25918] ppid=25911 vsize=26539728 memory=2240 CPUtime=8.28 cores=0-7
/proc/25913/task/25918/stat : 25918 (java) S 25911 25911 24646 0 -1 1077944384 27416 0 0 0 794 34 0 0 20 0 28 0 145719059 27176681472 93334 33554432000 4194304 4196468 140734182835280 139929445481360 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25919] ppid=25911 vsize=26539728 memory=4096 CPUtime=8.18 cores=0-7
/proc/25913/task/25919/stat : 25919 (java) S 25911 25911 24646 0 -1 1077944384 30225 0 0 0 781 37 0 0 20 0 28 0 145719059 27176681472 93334 33554432000 4194304 4196468 140734182835280 139929444428304 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25920] ppid=25911 vsize=26539728 memory=41064 CPUtime=8.22 cores=0-7
/proc/25913/task/25920/stat : 25920 (java) S 25911 25911 24646 0 -1 1077944384 25497 0 0 0 787 35 0 0 20 0 28 0 145719059 27176681472 93334 33554432000 4194304 4196468 140734182835280 139929443375760 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25921] ppid=25911 vsize=26539728 memory=2428 CPUtime=8.26 cores=0-7
/proc/25913/task/25921/stat : 25921 (java) S 25911 25911 24646 0 -1 1077944384 32330 0 0 0 790 36 0 0 20 0 28 0 145719059 27176681472 93334 33554432000 4194304 4196468 140734182835280 139929442322704 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25922] ppid=25911 vsize=26539728 memory=1792 CPUtime=8.17 cores=0-7
/proc/25913/task/25922/stat : 25922 (java) S 25911 25911 24646 0 -1 1077944384 28505 0 0 0 784 33 0 0 20 0 28 0 145719059 27176681472 93334 33554432000 4194304 4196468 140734182835280 139929441270160 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25923] ppid=25911 vsize=26539728 memory=636 CPUtime=6.36 cores=0-7
/proc/25913/task/25923/stat : 25923 (java) S 25911 25911 24646 0 -1 1077944384 117021 0 0 0 465 171 0 0 20 0 28 0 145719061 27176681472 93334 33554432000 4194304 4196468 140734182835280 139927901698800 139929496029826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25924] ppid=25911 vsize=26539728 memory=1236 CPUtime=0 cores=0-7
/proc/25913/task/25924/stat : 25924 (java) S 25911 25911 24646 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 145719061 27176681472 93334 33554432000 4194304 4196468 140734182835280 139927900645088 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25925] ppid=25911 vsize=26539728 memory=960 CPUtime=0 cores=0-7
/proc/25913/task/25925/stat : 25925 (java) S 25911 25911 24646 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 145719062 27176681472 93334 33554432000 4194304 4196468 140734182835280 139927899591936 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25926] ppid=25911 vsize=26539728 memory=2240 CPUtime=0 cores=0-7
/proc/25913/task/25926/stat : 25926 (java) S 25911 25911 24646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145719064 27176681472 93334 33554432000 4194304 4196468 140734182835280 139927898540496 139929496037275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25927] ppid=25911 vsize=26539728 memory=2424 CPUtime=1.89 cores=0-7
/proc/25913/task/25927/stat : 25927 (java) S 25911 25911 24646 0 -1 1077944384 13605 0 0 0 186 3 0 0 20 0 28 0 145719064 27176681472 93334 33554432000 4194304 4196468 140734182835280 139927897487600 139929496029826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25928] ppid=25911 vsize=26539728 memory=4080 CPUtime=1.97 cores=0-7
/proc/25913/task/25928/stat : 25928 (java) S 25911 25911 24646 0 -1 1077944384 8010 0 0 0 194 3 0 0 20 0 28 0 145719064 27176681472 93334 33554432000 4194304 4196468 140734182835280 139927896435056 139929496029826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25929] ppid=25911 vsize=26539728 memory=932 CPUtime=1.87 cores=0-7
/proc/25913/task/25929/stat : 25929 (java) S 25911 25911 24646 0 -1 1077944384 11145 0 0 0 184 3 0 0 20 0 28 0 145719064 27176681472 93334 33554432000 4194304 4196468 140734182835280 139927895382000 139929496029826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25930] ppid=25911 vsize=26539728 memory=1584 CPUtime=0.8 cores=0-7
/proc/25913/task/25930/stat : 25930 (java) S 25911 25911 24646 0 -1 1077944384 12143 0 0 0 77 3 0 0 20 0 28 0 145719064 27176681472 93334 33554432000 4194304 4196468 140734182835280 139927894329456 139929496029826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25931] ppid=25911 vsize=26539728 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/25913/task/25931/stat : 25931 (java) S 25911 25911 24646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145719064 27176681472 93334 33554432000 4194304 4196468 140734182835280 139927893277664 139929496028885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=25932] ppid=25911 vsize=26539728 memory=5796 CPUtime=0.5 cores=0-7
/proc/25913/task/25932/stat : 25932 (java) S 25911 25911 24646 0 -1 1077944384 4869 0 0 0 25 25 0 0 20 0 28 0 145719064 27176681472 93334 33554432000 4194304 4196468 140734182835280 139927892225200 139929496029826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=26330] ppid=25911 vsize=26539728 memory=4616 CPUtime=649.01 cores=0-7
/proc/25913/task/26330/stat : 26330 (java) R 25911 25911 24646 0 -1 4202560 3955 0 0 0 64898 3 0 0 20 0 28 0 145905212 27176681472 93334 33554432000 4194304 4196468 140734182835280 139927810346104 139929117318317 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=26331] ppid=25911 vsize=26539728 memory=8620 CPUtime=650.01 cores=0-7
/proc/25913/task/26331/stat : 26331 (java) R 25911 25911 24646 0 -1 4202560 3769 0 0 0 64999 2 0 0 20 0 28 0 145905212 27176681472 93334 33554432000 4194304 4196468 140734182835280 139927808245024 139929117992534 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=26332] ppid=25911 vsize=26539728 memory=792 CPUtime=649.43 cores=0-7
/proc/25913/task/26332/stat : 26332 (java) R 25911 25911 24646 0 -1 4202560 2954 0 0 0 64941 2 0 0 20 0 28 0 145905212 27176681472 93334 33554432000 4194304 4196468 140734182835280 139927888998240 139929118848985 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=26333] ppid=25911 vsize=26539728 memory=6791534058613427641 CPUtime=648.19 cores=0-7
/proc/25913/task/26333/stat : 26333 (java) R 25911 25911 24646 0 -1 4202560 41555 0 0 0 64806 13 0 0 20 0 28 0 145905212 27176681472 93334 33554432000 4194304 4196468 140734182835280 139927813504992 139929117474919 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=26334] ppid=25911 vsize=26539728 memory=1004 CPUtime=649.08 cores=0-7
/proc/25913/task/26334/stat : 26334 (java) R 25911 25911 24646 0 -1 4202560 49367 0 0 0 64897 11 0 0 20 0 28 0 145905212 27176681472 93334 33554432000 4194304 4196468 140734182835280 139927811399032 139929117499837 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=26335] ppid=25911 vsize=26539728 memory=1228 CPUtime=650.74 cores=0-7
/proc/25913/task/26335/stat : 26335 (java) R 25911 25911 24646 0 -1 4202560 2777 0 0 0 65071 3 0 0 20 0 28 0 145905212 27176681472 93334 33554432000 4194304 4196468 140734182835280 139927814557912 139929117499030 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=26336] ppid=25911 vsize=26539728 memory=1952 CPUtime=650.08 cores=0-7
/proc/25913/task/26336/stat : 26336 (java) R 25911 25911 24646 0 -1 4202560 3835 0 0 0 65005 3 0 0 20 0 28 0 145905212 27176681472 93334 33554432000 4194304 4196468 140734182835280 139927815610720 139929118115188 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
[pid=25913/tid=26337] ppid=25911 vsize=26539728 memory=2196 CPUtime=649.11 cores=0-7
/proc/25913/task/26337/stat : 26337 (java) R 25911 25911 24646 0 -1 4202560 48542 0 0 0 64899 12 0 0 20 0 28 0 145905212 27176681472 93334 33554432000 4194304 4196468 140734182835280 139927812452696 139929117317297 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 21266432 140734182843538 140734182843715 140734182843715 140734182846415 0
Current children cumulated CPU time: 19988.5 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 374720 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 25911 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001892 s
[startup+2520.11 s]
# the end of solver process 25913 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19983.2 s, system=6.0905 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2520.11
CPU time (s): 19989.3
CPU user time (s): 19983.2
CPU system time (s): 6.0905
CPU usage (%): 793.192
Max. virtual memory (cumulated for all children) (KiB): 26549240
Max. memory (cumulated for all children) (KiB): 510252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19983.2
system time used= 6.09049
maximum resident set size= 509112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 769208
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 400440
involuntary context switches= 227721
# summary of solver processes directly reported to runsolver:
# pid: 25911,25913
# total CPU time (s): 19989.3
# total CPU user time (s): 19983.2
# total CPU system time (s): 6.0905
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.5008 second user time and 27.6571 second system time
The end
Begin job on node148 at 2017-08-19 08:52:02
IDJOB=4280477
IDBENCH=123063
IDSOLVER=2675
FILE ID=node148/4280477-1503126381
RUNJOBID= node148-1503120656-24673
PBS_JOBID= 20630768
Free space on /tmp= 61948 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-nug21.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-4280477-1503126381/watcher-4280477-1503126381 -o /tmp/evaluation-result-4280477-1503126381/solver-4280477-1503126381 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503120656-24673 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1541469131 HOME/instance-4280477-1503126381.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= e5033dc7ed55784590c83dd9aaaff95e
RANDOM SEED=1541469131
node148.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.19
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.19
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.19
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.19
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: 25517996 kB
MemAvailable: 31976820 kB
Buffers: 288988 kB
Cached: 6464300 kB
SwapCached: 0 kB
Active: 1153576 kB
Inactive: 5652144 kB
Active(anon): 3968 kB
Inactive(anon): 84708 kB
Active(file): 1149608 kB
Inactive(file): 5567436 kB
Unevictable: 7784 kB
Mlocked: 7784 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7880 kB
Writeback: 0 kB
AnonPages: 59876 kB
Mapped: 50928 kB
Shmem: 33416 kB
Slab: 141768 kB
SReclaimable: 115232 kB
SUnreclaim: 26536 kB
KernelStack: 3520 kB
PageTables: 4828 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 333020 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 126336 kB
DirectMap2M: 33419264 kB
Free space on /tmp at the end= 61936 MiB
End job on node148 at 2017-08-19 09:34:02