0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404961-1569003738.xml" -tl '2016s' -p 8
0.13/0.18 c Choco 3fb4b153
0.13/0.18 c [HOME/instance-4404961-1569003738.xml, -tl, 2016s, -p, 8]
0.34/0.22 c 8 solvers in parallel
0.34/0.28 c parse instance...
1.06/0.58 c solve instance...
1.46/0.66 o 38149
1.46/0.67 o 30550
1.46/0.68 o 26754
1.46/0.70 o 25615
2.02/0.70 o 24378
2.02/0.71 o 24263
2.02/0.72 o 12913
2.02/0.74 o 12328
2.02/0.76 o 12214
2.02/0.77 o 12000
2.02/0.77 o 11770
2.02/0.78 o 11650
2.02/0.78 o 10287
2.02/0.79 o 10187
2.02/0.80 o 9495
2.02/0.80 o 9409
2.61/0.82 o 9395
2.61/0.82 o 7724
2.61/0.82 o 7684
2.61/0.83 o 7593
2.61/0.85 o 7557
2.61/0.85 o 7519
2.61/0.87 o 7495
2.61/0.88 o 6643
2.61/0.88 o 6517
2.61/0.88 o 6425
3.24/0.91 o 6372
3.24/0.91 o 6280
4.05/1.03 o 6137
4.05/1.09 o 6040
6.33/1.33 o 5868
7.12/1.43 o 5678
7.12/1.44 o 5603
7.12/1.45 o 5560
7.86/1.51 o 5531
7.86/1.52 o 5489
7.86/1.55 o 5354
10.20/1.81 o 5319
10.20/1.82 o 5289
10.96/1.90 o 5205
11.88/2.11 o 5174
12.58/2.15 o 5111
12.58/2.15 o 5032
12.58/2.16 o 5027
12.58/2.16 o 4948
20.52/3.13 s OPTIMUM FOUND
20.52/3.13 v <instantiation>
20.52/3.13 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] d[0][1] d[0][2] d[0][3] d[1][4] d[2][5] d[2][6] d[3][7] d[6][8] d[7][9] d[7][10] d[8][11] d[9][12] d[10][13] d[12][14] </list>
20.52/3.13 v <values>4 9 7 12 11 10 13 1 3 5 6 14 2 0 8 14 1 2 13 39 12 4 20 38 3 1 50 5 4 </values>
20.52/3.13 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 (9726 MiB free)
memory of node 1: 16384 MiB (8264 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404961-1569003738/watcher-4404961-1569003738 -o /tmp/evaluation-result-4404961-1569003738/solver-4404961-1569003738 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568989783-14694 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 229526849 HOME/instance-4404961-1569003738.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=23954, runsolver pid=23951
Current StackSize limit: 8192 KiB
[startup+0.100162 s]*
/proc/loadavg: 8.34 8.09 8.06 2/211 23975
/proc/meminfo: memFree=18406608/32770624 swapFree=66986244/67108860
[pid=23954] ppid=23951 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/23954/stat : 23954 (xcsp3-exec) S 23951 23954 14667 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476630699 115843072 362 33554432000 4194304 5098028 140734056562192 140734056560296 139883924943484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16105472 140734056563580 140734056563822 140734056563822 140734056566730 0
/proc/23954/statm: 28282 362 304 221 0 87 0
[pid=23956] ppid=23954 vsize=28227396 memory=29132 CPUtime=0.13 cores=0-7
/proc/23956/stat : 23956 (java) S 23954 23954 14667 0 -1 1077944320 5712 0 0 0 11 2 0 0 20 0 20 0 476630699 28904853504 7283 33554432000 4194304 4196468 140733854752704 140733854735248 139705731317495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
/proc/23956/statm: 7056849 7283 3155 1 0 7019032 0
[pid=23956/tid=23957] ppid=23954 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/23956/task/23957/stat : 23957 (java) R 23954 23954 14667 0 -1 4202560 3620 0 0 0 8 1 0 0 20 0 20 0 476630700 28904853504 7283 33554432000 4194304 4196468 140733854752704 139705735549424 139705715397982 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23958] ppid=23954 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23958/stat : 23958 (java) S 23954 23954 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476630700 28904853504 7283 33554432000 4194304 4196468 140733854752704 139705282734736 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23959] ppid=23954 vsize=28227396 memory=139917537540635 CPUtime=0 cores=0-7
/proc/23956/task/23959/stat : 23959 (java) S 23954 23954 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476630700 28904853504 7283 33554432000 4194304 4196468 140733854752704 139705281681936 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23960] ppid=23954 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23960/stat : 23960 (java) S 23954 23954 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476630700 28904853504 7283 33554432000 4194304 4196468 140733854752704 139705280629136 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23961] ppid=23954 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23961/stat : 23961 (java) S 23954 23954 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476630700 28904853504 7283 33554432000 4194304 4196468 140733854752704 139705279576336 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23962] ppid=23954 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23962/stat : 23962 (java) S 23954 23954 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476630700 28904853504 7283 33554432000 4194304 4196468 140733854752704 139705278524560 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23963] ppid=23954 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/23956/task/23963/stat : 23963 (java) S 23954 23954 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476630700 28904853504 7283 33554432000 4194304 4196468 140733854752704 139705277471760 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23964] ppid=23954 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23964/stat : 23964 (java) S 23954 23954 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476630700 28904853504 7283 33554432000 4194304 4196468 140733854752704 139705276418960 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23965] ppid=23954 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23965/stat : 23965 (java) S 23954 23954 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476630700 28904853504 7283 33554432000 4194304 4196468 140733854752704 139705275366160 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23966] ppid=23954 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23966/stat : 23966 (java) S 23954 23954 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476630702 28904853504 7283 33554432000 4194304 4196468 140733854752704 139704195516784 139705731328642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23967] ppid=23954 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23967/stat : 23967 (java) S 23954 23954 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476630702 28904853504 7283 33554432000 4194304 4196468 140733854752704 139704194462752 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23968] ppid=23954 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23968/stat : 23968 (java) S 23954 23954 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476630703 28904853504 7283 33554432000 4194304 4196468 140733854752704 139704193409904 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23969] ppid=23954 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23969/stat : 23969 (java) S 23954 23954 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476630705 28904853504 7283 33554432000 4194304 4196468 140733854752704 139704192358224 139705731336091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23970] ppid=23954 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23970/stat : 23970 (java) S 23954 23954 14667 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 20 0 476630705 28904853504 7283 33554432000 4194304 4196468 140733854752704 139704191306608 139705731328642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23971] ppid=23954 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23971/stat : 23971 (java) S 23954 23954 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476630705 28904853504 7283 33554432000 4194304 4196468 140733854752704 139704190253808 139705731328642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23972] ppid=23954 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23972/stat : 23972 (java) S 23954 23954 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476630705 28904853504 7283 33554432000 4194304 4196468 140733854752704 139704189201008 139705731328642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23973] ppid=23954 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/23956/task/23973/stat : 23973 (java) S 23954 23954 14667 0 -1 1077944384 364 0 0 0 1 0 0 0 20 0 20 0 476630705 28904853504 7283 33554432000 4194304 4196468 140733854752704 139704188148208 139705731328642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23974] ppid=23954 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23974/stat : 23974 (java) S 23954 23954 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476630705 28904853504 7283 33554432000 4194304 4196468 140733854752704 139704187095648 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23975] ppid=23954 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/23956/task/23975/stat : 23975 (java) S 23954 23954 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476630705 28904853504 7283 33554432000 4194304 4196468 140733854752704 139704186042928 139705731328642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30580 KiB
[startup+0.210346 s]*
/proc/loadavg: 8.34 8.09 8.06 2/211 23975
/proc/meminfo: memFree=18393996/32770624 swapFree=66986244/67108860
[pid=23954] ppid=23951 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/23954/stat : 23954 (xcsp3-exec) S 23951 23954 14667 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476630699 115843072 362 33554432000 4194304 5098028 140734056562192 140734056560296 139883924943484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16105472 140734056563580 140734056563822 140734056563822 140734056566730 0
/proc/23954/statm: 28282 362 304 221 0 87 0
[pid=23956] ppid=23954 vsize=28227396 memory=40764 CPUtime=0.34 cores=0-7
/proc/23956/stat : 23956 (java) S 23954 23954 14667 0 -1 1077944320 9395 0 0 0 30 4 0 0 20 0 20 0 476630699 28904853504 10191 33554432000 4194304 4196468 140733854752704 140733854735248 139705731317495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
/proc/23956/statm: 7056849 10191 3303 1 0 7019032 0
[pid=23956/tid=23957] ppid=23954 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/23956/task/23957/stat : 23957 (java) R 23954 23954 14667 0 -1 4202560 6641 0 0 0 17 3 0 0 20 0 20 0 476630700 28904853504 10191 33554432000 4194304 4196468 140733854752704 139705735550224 139705731329430 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23958] ppid=23954 vsize=28227396 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/23956/task/23958/stat : 23958 (java) S 23954 23954 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476630700 28904853504 10191 33554432000 4194304 4196468 140733854752704 139705282734736 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23959] ppid=23954 vsize=28227396 memory=288370293689235072 CPUtime=0 cores=0-7
/proc/23956/task/23959/stat : 23959 (java) S 23954 23954 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476630700 28904853504 10191 33554432000 4194304 4196468 140733854752704 139705281681936 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23960] ppid=23954 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/23956/task/23960/stat : 23960 (java) S 23954 23954 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476630700 28904853504 10191 33554432000 4194304 4196468 140733854752704 139705280629136 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23961] ppid=23954 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23961/stat : 23961 (java) S 23954 23954 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476630700 28904853504 10191 33554432000 4194304 4196468 140733854752704 139705279576336 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23962] ppid=23954 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23962/stat : 23962 (java) S 23954 23954 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476630700 28904853504 10191 33554432000 4194304 4196468 140733854752704 139705278524560 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23963] ppid=23954 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/23956/task/23963/stat : 23963 (java) S 23954 23954 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476630700 28904853504 10191 33554432000 4194304 4196468 140733854752704 139705277471760 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23964] ppid=23954 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23964/stat : 23964 (java) S 23954 23954 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476630700 28904853504 10191 33554432000 4194304 4196468 140733854752704 139705276418960 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23965] ppid=23954 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23965/stat : 23965 (java) S 23954 23954 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476630700 28904853504 10191 33554432000 4194304 4196468 140733854752704 139705275366160 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23966] ppid=23954 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23966/stat : 23966 (java) S 23954 23954 14667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476630702 28904853504 10191 33554432000 4194304 4196468 140733854752704 139704195516784 139705731328642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23967] ppid=23954 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23967/stat : 23967 (java) S 23954 23954 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476630702 28904853504 10191 33554432000 4194304 4196468 140733854752704 139704194462752 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23968] ppid=23954 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23968/stat : 23968 (java) S 23954 23954 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476630703 28904853504 10191 33554432000 4194304 4196468 140733854752704 139704193409904 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23969] ppid=23954 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23969/stat : 23969 (java) S 23954 23954 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476630705 28904853504 10191 33554432000 4194304 4196468 140733854752704 139704192358224 139705731336091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23970] ppid=23954 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/23956/task/23970/stat : 23970 (java) S 23954 23954 14667 0 -1 1077944384 538 0 0 0 2 0 0 0 20 0 20 0 476630705 28904853504 10191 33554432000 4194304 4196468 140733854752704 139704191306608 139705731328642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23971] ppid=23954 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/23956/task/23971/stat : 23971 (java) S 23954 23954 14667 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 20 0 476630705 28904853504 10191 33554432000 4194304 4196468 140733854752704 139704190253808 139705731328642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23972] ppid=23954 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/23956/task/23972/stat : 23972 (java) S 23954 23954 14667 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 20 0 476630705 28904853504 10191 33554432000 4194304 4196468 140733854752704 139704189201008 139705731328642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23973] ppid=23954 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/23956/task/23973/stat : 23973 (java) R 23954 23954 14667 0 -1 4202560 806 0 0 0 7 0 0 0 20 0 20 0 476630705 28904853504 10191 33554432000 4194304 4196468 140733854752704 139704188148208 139705731329430 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23974] ppid=23954 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23974/stat : 23974 (java) S 23954 23954 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476630705 28904853504 10191 33554432000 4194304 4196468 140733854752704 139704187095648 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23975] ppid=23954 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/23956/task/23975/stat : 23975 (java) S 23954 23954 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476630705 28904853504 10191 33554432000 4194304 4196468 140733854752704 139704186042928 139705731328642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42212 KiB
[startup+0.309762 s]*
/proc/loadavg: 8.34 8.09 8.06 4/211 23975
/proc/meminfo: memFree=18385976/32770624 swapFree=66986244/67108860
[pid=23954] ppid=23951 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/23954/stat : 23954 (xcsp3-exec) S 23951 23954 14667 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476630699 115843072 362 33554432000 4194304 5098028 140734056562192 140734056560296 139883924943484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16105472 140734056563580 140734056563822 140734056563822 140734056566730 0
/proc/23954/statm: 28282 362 304 221 0 87 0
[pid=23956] ppid=23954 vsize=28231652 memory=49816 CPUtime=0.52 cores=0-7
/proc/23956/stat : 23956 (java) S 23954 23954 14667 0 -1 1077944320 10760 0 0 0 47 5 0 0 20 0 20 0 476630699 28909211648 12454 33554432000 4194304 4196468 140733854752704 140733854735248 139705731317495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
/proc/23956/statm: 7057913 12454 3359 1 0 7019032 0
[pid=23956/tid=23957] ppid=23954 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/23956/task/23957/stat : 23957 (java) R 23954 23954 14667 0 -1 4202560 7768 0 0 0 26 3 0 0 20 0 20 0 476630700 28909211648 12454 33554432000 4194304 4196468 140733854752704 139705735548608 139705731339421 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23958] ppid=23954 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23958/stat : 23958 (java) S 23954 23954 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476630700 28909211648 12454 33554432000 4194304 4196468 140733854752704 139705282734736 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23959] ppid=23954 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23959/stat : 23959 (java) S 23954 23954 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476630700 28909211648 12454 33554432000 4194304 4196468 140733854752704 139705281681936 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23960] ppid=23954 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23960/stat : 23960 (java) S 23954 23954 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476630700 28909211648 12454 33554432000 4194304 4196468 140733854752704 139705280629136 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23961] ppid=23954 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23961/stat : 23961 (java) S 23954 23954 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476630700 28909211648 12454 33554432000 4194304 4196468 140733854752704 139705279576336 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23962] ppid=23954 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23962/stat : 23962 (java) S 23954 23954 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476630700 28909211648 12454 33554432000 4194304 4196468 140733854752704 139705278524560 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23963] ppid=23954 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23963/stat : 23963 (java) S 23954 23954 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476630700 28909211648 12454 33554432000 4194304 4196468 140733854752704 139705277471760 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23964] ppid=23954 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23964/stat : 23964 (java) S 23954 23954 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476630700 28909211648 12454 33554432000 4194304 4196468 140733854752704 139705276418960 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23965] ppid=23954 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23965/stat : 23965 (java) S 23954 23954 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476630700 28909211648 12454 33554432000 4194304 4196468 140733854752704 139705275366160 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23966] ppid=23954 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23966/stat : 23966 (java) S 23954 23954 14667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476630702 28909211648 12454 33554432000 4194304 4196468 140733854752704 139704195516784 139705731328642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23967] ppid=23954 vsize=28231652 memory=279834836278656 CPUtime=0 cores=0-7
/proc/23956/task/23967/stat : 23967 (java) S 23954 23954 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476630702 28909211648 12454 33554432000 4194304 4196468 140733854752704 139704194462752 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23968] ppid=23954 vsize=28231652 memory=279834836283264 CPUtime=0 cores=0-7
/proc/23956/task/23968/stat : 23968 (java) S 23954 23954 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476630703 28909211648 12454 33554432000 4194304 4196468 140733854752704 139704193409904 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23969] ppid=23954 vsize=28231652 memory=279834836287872 CPUtime=0 cores=0-7
/proc/23956/task/23969/stat : 23969 (java) S 23954 23954 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476630705 28909211648 12454 33554432000 4194304 4196468 140733854752704 139704192358224 139705731336091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23970] ppid=23954 vsize=28231652 memory=279834836292480 CPUtime=0.03 cores=0-7
/proc/23956/task/23970/stat : 23970 (java) S 23954 23954 14667 0 -1 1077944384 544 0 0 0 3 0 0 0 20 0 20 0 476630705 28909211648 12454 33554432000 4194304 4196468 140733854752704 139704191306608 139705731328642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23971] ppid=23954 vsize=28231652 memory=279834836297088 CPUtime=0.02 cores=0-7
/proc/23956/task/23971/stat : 23971 (java) S 23954 23954 14667 0 -1 1077944384 102 0 0 0 2 0 0 0 20 0 20 0 476630705 28909211648 12454 33554432000 4194304 4196468 140733854752704 139704190253808 139705731328642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23972] ppid=23954 vsize=28231652 memory=279834836301696 CPUtime=0.02 cores=0-7
/proc/23956/task/23972/stat : 23972 (java) S 23954 23954 14667 0 -1 1077944384 91 0 0 0 2 0 0 0 20 0 20 0 476630705 28909211648 12454 33554432000 4194304 4196468 140733854752704 139704189201008 139705731328642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23973] ppid=23954 vsize=28231652 memory=279834836306304 CPUtime=0.12 cores=0-7
/proc/23956/task/23973/stat : 23973 (java) S 23954 23954 14667 0 -1 1077944384 946 0 0 0 12 0 0 0 20 0 20 0 476630705 28909211648 12454 33554432000 4194304 4196468 140733854752704 139704188148208 139705731328642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23974] ppid=23954 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23974/stat : 23974 (java) S 23954 23954 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476630705 28909211648 12454 33554432000 4194304 4196468 140733854752704 139704187095648 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23975] ppid=23954 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/23956/task/23975/stat : 23975 (java) S 23954 23954 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476630705 28909211648 12454 33554432000 4194304 4196468 140733854752704 139704186042928 139705731328642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51264 KiB
[startup+0.701011 s]
/proc/loadavg: 8.34 8.09 8.06 5/211 23975
/proc/meminfo: memFree=18369196/32770624 swapFree=66986244/67108860
[pid=23954] ppid=23951 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/23954/stat : 23954 (xcsp3-exec) S 23951 23954 14667 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476630699 115843072 362 33554432000 4194304 5098028 140734056562192 140734056560296 139883924943484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16105472 140734056563580 140734056563822 140734056563822 140734056566730 0
/proc/23954/statm: 28282 362 304 221 0 87 0
[pid=23956] ppid=23954 vsize=28766288 memory=146204 CPUtime=2.02 cores=0-7
/proc/23956/stat : 23956 (java) S 23954 23954 14667 0 -1 1077944320 16027 0 0 0 193 9 0 0 20 0 28 0 476630699 29456678912 36551 33554432000 4194304 4196468 140733854752704 140733854735248 139705731317495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
/proc/23956/statm: 7191572 36551 3456 1 0 7152672 0
[pid=23956/tid=23957] ppid=23954 vsize=28766288 memory=4580 CPUtime=0.57 cores=0-7
/proc/23956/task/23957/stat : 23957 (java) R 23954 23954 14667 0 -1 4202560 9275 0 0 0 53 4 0 0 20 0 24 0 476630700 29456678912 36568 33554432000 4194304 4196468 140733854752704 139705735557440 139705731329430 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23958] ppid=23954 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23958/stat : 23958 (java) S 23954 23954 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 476630700 29456678912 36568 33554432000 4194304 4196468 140733854752704 139705282734736 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23959] ppid=23954 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23959/stat : 23959 (java) S 23954 23954 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 476630700 29456678912 36568 33554432000 4194304 4196468 140733854752704 139705281681936 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23960] ppid=23954 vsize=28766288 memory=1056 CPUtime=0 cores=0-7
/proc/23956/task/23960/stat : 23960 (java) S 23954 23954 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 476630700 29456678912 36568 33554432000 4194304 4196468 140733854752704 139705280629136 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
################
# More data... #
################
[pid=23956/tid=23969] ppid=23954 vsize=28832852 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23969/stat : 23969 (java) S 23954 23954 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476630705 29524840448 55921 33554432000 4194304 4196468 140733854752704 139704192358224 139705731336091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23970] ppid=23954 vsize=28832852 memory=0 CPUtime=0.85 cores=0-7
/proc/23956/task/23970/stat : 23970 (java) R 23954 23954 14667 0 -1 4202560 2810 0 0 0 85 0 0 0 20 0 28 0 476630705 29524840448 55921 33554432000 4194304 4196468 140733854752704 139704191293024 139705710574152 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23971] ppid=23954 vsize=28832852 memory=692 CPUtime=0.92 cores=0-7
/proc/23956/task/23971/stat : 23971 (java) R 23954 23954 14667 0 -1 4202560 2522 0 0 0 92 0 0 0 20 0 28 0 476630705 29524840448 55921 33554432000 4194304 4196468 140733854752704 139704190239904 139705715980657 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23972] ppid=23954 vsize=28832852 memory=1056 CPUtime=0.89 cores=0-7
/proc/23956/task/23972/stat : 23972 (java) R 23954 23954 14667 0 -1 4202560 3392 0 0 0 88 1 0 0 20 0 28 0 476630705 29524840448 55921 33554432000 4194304 4196468 140733854752704 139704189182400 139705714816356 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23973] ppid=23954 vsize=28832852 memory=1556 CPUtime=0.52 cores=0-7
/proc/23956/task/23973/stat : 23973 (java) S 23954 23954 14667 0 -1 1077944384 2847 0 0 0 51 1 0 0 20 0 28 0 476630705 29524840448 55921 33554432000 4194304 4196468 140733854752704 139704188147968 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23974] ppid=23954 vsize=28832852 memory=780 CPUtime=0 cores=0-7
/proc/23956/task/23974/stat : 23974 (java) S 23954 23954 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476630705 29524840448 55921 33554432000 4194304 4196468 140733854752704 139704187095648 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23975] ppid=23954 vsize=28832852 memory=3616 CPUtime=0 cores=0-7
/proc/23956/task/23975/stat : 23975 (java) S 23954 23954 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476630705 29524840448 55921 33554432000 4194304 4196468 140733854752704 139704186042928 139705731328642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
Current children cumulated CPU time: 7.86 s
Current children cumulated vsize: 28945980 KiB
Current children cumulated memory: 225132 KiB
[startup+3.11112 s]
/proc/loadavg: 8.64 8.16 8.08 10/219 24343
/proc/meminfo: memFree=18210504/32770624 swapFree=66986244/67108860
[pid=23954] ppid=23951 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/23954/stat : 23954 (xcsp3-exec) S 23951 23954 14667 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476630699 115843072 362 33554432000 4194304 5098028 140734056562192 140734056560296 139883924943484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16105472 140734056563580 140734056563822 140734056563822 140734056566730 0
/proc/23954/statm: 28282 362 304 221 0 87 0
[pid=23956] ppid=23954 vsize=28834900 memory=225392 CPUtime=20.52 cores=0-7
/proc/23956/stat : 23956 (java) S 23954 23954 14667 0 -1 1077944320 30234 0 0 0 2037 15 0 0 20 0 28 0 476630699 29526937600 56348 33554432000 4194304 4196468 140733854752704 140733854735248 139705731317495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
/proc/23956/statm: 7208725 56348 3504 1 0 7169825 0
[pid=23956/tid=23957] ppid=23954 vsize=28834900 memory=1448 CPUtime=0.6 cores=0-7
/proc/23956/task/23957/stat : 23957 (java) S 23954 23954 14667 0 -1 1077944384 9278 0 0 0 55 5 0 0 20 0 28 0 476630700 29526937600 56348 33554432000 4194304 4196468 140733854752704 139705735558272 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23958] ppid=23954 vsize=28834900 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23958/stat : 23958 (java) S 23954 23954 14667 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 476630700 29526937600 56348 33554432000 4194304 4196468 140733854752704 139705282734736 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23959] ppid=23954 vsize=28834900 memory=6127763059183479281 CPUtime=0 cores=0-7
/proc/23956/task/23959/stat : 23959 (java) S 23954 23954 14667 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 476630700 29526937600 56348 33554432000 4194304 4196468 140733854752704 139705281681936 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23960] ppid=23954 vsize=28834900 memory=4266660589025412128 CPUtime=0 cores=0-7
/proc/23956/task/23960/stat : 23960 (java) S 23954 23954 14667 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 476630700 29526937600 56348 33554432000 4194304 4196468 140733854752704 139705280629136 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23961] ppid=23954 vsize=28834900 memory=3616 CPUtime=0 cores=0-7
/proc/23956/task/23961/stat : 23961 (java) S 23954 23954 14667 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 476630700 29526937600 56348 33554432000 4194304 4196468 140733854752704 139705279576336 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23962] ppid=23954 vsize=28834900 memory=2372 CPUtime=0 cores=0-7
/proc/23956/task/23962/stat : 23962 (java) S 23954 23954 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476630700 29526937600 56348 33554432000 4194304 4196468 140733854752704 139705278524560 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23963] ppid=23954 vsize=28834900 memory=7668052827487694442 CPUtime=0 cores=0-7
/proc/23956/task/23963/stat : 23963 (java) S 23954 23954 14667 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 476630700 29526937600 56348 33554432000 4194304 4196468 140733854752704 139705277471760 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23964] ppid=23954 vsize=28834900 memory=6299802978650451056 CPUtime=0.01 cores=0-7
/proc/23956/task/23964/stat : 23964 (java) S 23954 23954 14667 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 28 0 476630700 29526937600 56348 33554432000 4194304 4196468 140733854752704 139705276418960 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23965] ppid=23954 vsize=28834900 memory=7597126604878013290 CPUtime=0 cores=0-7
/proc/23956/task/23965/stat : 23965 (java) S 23954 23954 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 476630700 29526937600 56348 33554432000 4194304 4196468 140733854752704 139705275366160 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23966] ppid=23954 vsize=28834900 memory=57 CPUtime=0 cores=0-7
/proc/23956/task/23966/stat : 23966 (java) S 23954 23954 14667 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 476630702 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704195516784 139705731328642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23967] ppid=23954 vsize=28834900 memory=-3253322038155611931 CPUtime=0 cores=0-7
/proc/23956/task/23967/stat : 23967 (java) S 23954 23954 14667 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 476630702 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704194462816 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23968] ppid=23954 vsize=28834900 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23968/stat : 23968 (java) S 23954 23954 14667 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 476630703 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704193409920 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23969] ppid=23954 vsize=28834900 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23969/stat : 23969 (java) S 23954 23954 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476630705 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704192358224 139705731336091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23970] ppid=23954 vsize=28834900 memory=0 CPUtime=1.64 cores=0-7
/proc/23956/task/23970/stat : 23970 (java) S 23954 23954 14667 0 -1 1077944384 3759 0 0 0 164 0 0 0 20 0 28 0 476630705 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704191306608 139705731328642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23971] ppid=23954 vsize=28834900 memory=0 CPUtime=1.52 cores=0-7
/proc/23956/task/23971/stat : 23971 (java) S 23954 23954 14667 0 -1 1077944384 2647 0 0 0 152 0 0 0 20 0 28 0 476630705 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704190253808 139705731328642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23972] ppid=23954 vsize=28834900 memory=0 CPUtime=1.67 cores=0-7
/proc/23956/task/23972/stat : 23972 (java) S 23954 23954 14667 0 -1 1077944384 3510 0 0 0 166 1 0 0 20 0 28 0 476630705 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704189201008 139705731328642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23973] ppid=23954 vsize=28834900 memory=0 CPUtime=0.6 cores=0-7
/proc/23956/task/23973/stat : 23973 (java) S 23954 23954 14667 0 -1 1077944384 2971 0 0 0 59 1 0 0 20 0 28 0 476630705 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704188148208 139705731328642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23974] ppid=23954 vsize=28834900 memory=279834836366176 CPUtime=0 cores=0-7
/proc/23956/task/23974/stat : 23974 (java) S 23954 23954 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476630705 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704187095648 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23975] ppid=23954 vsize=28834900 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23975/stat : 23975 (java) S 23954 23954 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476630705 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704186042928 139705731328642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=24336] ppid=23954 vsize=28834900 memory=55620 CPUtime=0.86 cores=0-7
/proc/23956/task/24336/stat : 24336 (java) R 23954 23954 14667 0 -1 4202560 17 0 0 0 86 0 0 0 20 0 28 0 476630915 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704170506280 139705373721212 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=24337] ppid=23954 vsize=28834900 memory=988 CPUtime=0.94 cores=0-7
/proc/23956/task/24337/stat : 24337 (java) R 23954 23954 14667 0 -1 4202560 18 0 0 0 94 0 0 0 20 0 28 0 476630915 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704171561032 139705373721333 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=24338] ppid=23954 vsize=28834900 memory=2004 CPUtime=0.93 cores=0-7
/proc/23956/task/24338/stat : 24338 (java) R 23954 23954 14667 0 -1 4202560 17 0 0 0 93 0 0 0 20 0 28 0 476630915 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704175772616 139705373720837 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=24339] ppid=23954 vsize=28834900 memory=1416 CPUtime=0.9 cores=0-7
/proc/23956/task/24339/stat : 24339 (java) R 23954 23954 14667 0 -1 4202560 17 0 0 0 90 0 0 0 20 0 28 0 476630915 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704176825608 139705374957583 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=24340] ppid=23954 vsize=28834900 memory=1712 CPUtime=0.79 cores=0-7
/proc/23956/task/24340/stat : 24340 (java) R 23954 23954 14667 0 -1 4202560 17 0 0 0 79 0 0 0 20 0 28 0 476630915 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704168404104 139705374956599 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=24341] ppid=23954 vsize=28834900 memory=692 CPUtime=0.94 cores=0-7
/proc/23956/task/24341/stat : 24341 (java) R 23954 23954 14667 0 -1 4202560 17 0 0 0 94 0 0 0 20 0 28 0 476630915 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704173667320 139705373721128 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=24342] ppid=23954 vsize=28834900 memory=1056 CPUtime=0.83 cores=0-7
/proc/23956/task/24342/stat : 24342 (java) R 23954 23954 14667 0 -1 4202560 17 0 0 0 83 0 0 0 20 0 28 0 476630916 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704172613848 139705373355922 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=24343] ppid=23954 vsize=28834900 memory=1556 CPUtime=0.78 cores=0-7
/proc/23956/task/24343/stat : 24343 (java) R 23954 23954 14667 0 -1 4202560 17 0 0 0 78 0 0 0 20 0 28 0 476630917 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704169456184 139705373721637 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
Current children cumulated CPU time: 20.52 s
Current children cumulated vsize: 28948028 KiB
Current children cumulated memory: 226840 KiB
[startup+3.14359 s]
# the end of solver process 23954 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20.5531 s, system=0.163347 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.11112 s]
/proc/loadavg: 8.64 8.16 8.08 10/219 24343
/proc/meminfo: memFree=18210504/32770624 swapFree=66986244/67108860
[pid=23954] ppid=23951 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/23954/stat : 23954 (xcsp3-exec) S 23951 23954 14667 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476630699 115843072 362 33554432000 4194304 5098028 140734056562192 140734056560296 139883924943484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16105472 140734056563580 140734056563822 140734056563822 140734056566730 0
/proc/23954/statm: 28282 362 304 221 0 87 0
[pid=23956] ppid=23954 vsize=28834900 memory=225392 CPUtime=20.52 cores=0-7
/proc/23956/stat : 23956 (java) S 23954 23954 14667 0 -1 1077944320 30234 0 0 0 2037 15 0 0 20 0 28 0 476630699 29526937600 56348 33554432000 4194304 4196468 140733854752704 140733854735248 139705731317495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
/proc/23956/statm: 7208725 56348 3504 1 0 7169825 0
[pid=23956/tid=23957] ppid=23954 vsize=28834900 memory=1448 CPUtime=0.6 cores=0-7
/proc/23956/task/23957/stat : 23957 (java) S 23954 23954 14667 0 -1 1077944384 9278 0 0 0 55 5 0 0 20 0 28 0 476630700 29526937600 56348 33554432000 4194304 4196468 140733854752704 139705735558272 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23958] ppid=23954 vsize=28834900 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23958/stat : 23958 (java) S 23954 23954 14667 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 476630700 29526937600 56348 33554432000 4194304 4196468 140733854752704 139705282734736 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23959] ppid=23954 vsize=28834900 memory=6127763059183479281 CPUtime=0 cores=0-7
/proc/23956/task/23959/stat : 23959 (java) S 23954 23954 14667 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 476630700 29526937600 56348 33554432000 4194304 4196468 140733854752704 139705281681936 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23960] ppid=23954 vsize=28834900 memory=4266660589025412128 CPUtime=0 cores=0-7
/proc/23956/task/23960/stat : 23960 (java) S 23954 23954 14667 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 476630700 29526937600 56348 33554432000 4194304 4196468 140733854752704 139705280629136 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23961] ppid=23954 vsize=28834900 memory=3616 CPUtime=0 cores=0-7
/proc/23956/task/23961/stat : 23961 (java) S 23954 23954 14667 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 476630700 29526937600 56348 33554432000 4194304 4196468 140733854752704 139705279576336 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23962] ppid=23954 vsize=28834900 memory=2372 CPUtime=0 cores=0-7
/proc/23956/task/23962/stat : 23962 (java) S 23954 23954 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476630700 29526937600 56348 33554432000 4194304 4196468 140733854752704 139705278524560 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23963] ppid=23954 vsize=28834900 memory=7668052827487694442 CPUtime=0 cores=0-7
/proc/23956/task/23963/stat : 23963 (java) S 23954 23954 14667 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 476630700 29526937600 56348 33554432000 4194304 4196468 140733854752704 139705277471760 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23964] ppid=23954 vsize=28834900 memory=6299802978650451056 CPUtime=0.01 cores=0-7
/proc/23956/task/23964/stat : 23964 (java) S 23954 23954 14667 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 28 0 476630700 29526937600 56348 33554432000 4194304 4196468 140733854752704 139705276418960 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23965] ppid=23954 vsize=28834900 memory=7597126604878013290 CPUtime=0 cores=0-7
/proc/23956/task/23965/stat : 23965 (java) S 23954 23954 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 476630700 29526937600 56348 33554432000 4194304 4196468 140733854752704 139705275366160 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23966] ppid=23954 vsize=28834900 memory=57 CPUtime=0 cores=0-7
/proc/23956/task/23966/stat : 23966 (java) S 23954 23954 14667 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 476630702 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704195516784 139705731328642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23967] ppid=23954 vsize=28834900 memory=-3253322038155611931 CPUtime=0 cores=0-7
/proc/23956/task/23967/stat : 23967 (java) S 23954 23954 14667 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 476630702 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704194462816 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23968] ppid=23954 vsize=28834900 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23968/stat : 23968 (java) S 23954 23954 14667 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 476630703 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704193409920 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23969] ppid=23954 vsize=28834900 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23969/stat : 23969 (java) S 23954 23954 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476630705 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704192358224 139705731336091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23970] ppid=23954 vsize=28834900 memory=0 CPUtime=1.64 cores=0-7
/proc/23956/task/23970/stat : 23970 (java) S 23954 23954 14667 0 -1 1077944384 3759 0 0 0 164 0 0 0 20 0 28 0 476630705 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704191306608 139705731328642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23971] ppid=23954 vsize=28834900 memory=0 CPUtime=1.52 cores=0-7
/proc/23956/task/23971/stat : 23971 (java) S 23954 23954 14667 0 -1 1077944384 2647 0 0 0 152 0 0 0 20 0 28 0 476630705 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704190253808 139705731328642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23972] ppid=23954 vsize=28834900 memory=0 CPUtime=1.67 cores=0-7
/proc/23956/task/23972/stat : 23972 (java) S 23954 23954 14667 0 -1 1077944384 3510 0 0 0 166 1 0 0 20 0 28 0 476630705 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704189201008 139705731328642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23973] ppid=23954 vsize=28834900 memory=0 CPUtime=0.6 cores=0-7
/proc/23956/task/23973/stat : 23973 (java) S 23954 23954 14667 0 -1 1077944384 2971 0 0 0 59 1 0 0 20 0 28 0 476630705 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704188148208 139705731328642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23974] ppid=23954 vsize=28834900 memory=279834836366176 CPUtime=0 cores=0-7
/proc/23956/task/23974/stat : 23974 (java) S 23954 23954 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476630705 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704187095648 139705731327701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=23975] ppid=23954 vsize=28834900 memory=0 CPUtime=0 cores=0-7
/proc/23956/task/23975/stat : 23975 (java) S 23954 23954 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476630705 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704186042928 139705731328642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=24336] ppid=23954 vsize=28834900 memory=55620 CPUtime=0.86 cores=0-7
/proc/23956/task/24336/stat : 24336 (java) R 23954 23954 14667 0 -1 4202560 17 0 0 0 86 0 0 0 20 0 28 0 476630915 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704170506280 139705373721212 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=24337] ppid=23954 vsize=28834900 memory=988 CPUtime=0.94 cores=0-7
/proc/23956/task/24337/stat : 24337 (java) R 23954 23954 14667 0 -1 4202560 18 0 0 0 94 0 0 0 20 0 28 0 476630915 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704171561032 139705373721333 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=24338] ppid=23954 vsize=28834900 memory=2004 CPUtime=0.93 cores=0-7
/proc/23956/task/24338/stat : 24338 (java) R 23954 23954 14667 0 -1 4202560 17 0 0 0 93 0 0 0 20 0 28 0 476630915 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704175772616 139705373720837 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=24339] ppid=23954 vsize=28834900 memory=1416 CPUtime=0.9 cores=0-7
/proc/23956/task/24339/stat : 24339 (java) R 23954 23954 14667 0 -1 4202560 17 0 0 0 90 0 0 0 20 0 28 0 476630915 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704176825608 139705374957583 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=24340] ppid=23954 vsize=28834900 memory=1712 CPUtime=0.79 cores=0-7
/proc/23956/task/24340/stat : 24340 (java) R 23954 23954 14667 0 -1 4202560 17 0 0 0 79 0 0 0 20 0 28 0 476630915 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704168404104 139705374956599 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=24341] ppid=23954 vsize=28834900 memory=692 CPUtime=0.94 cores=0-7
/proc/23956/task/24341/stat : 24341 (java) R 23954 23954 14667 0 -1 4202560 17 0 0 0 94 0 0 0 20 0 28 0 476630915 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704173667320 139705373721128 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=24342] ppid=23954 vsize=28834900 memory=1056 CPUtime=0.83 cores=0-7
/proc/23956/task/24342/stat : 24342 (java) R 23954 23954 14667 0 -1 4202560 17 0 0 0 83 0 0 0 20 0 28 0 476630916 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704172613848 139705373355922 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
[pid=23956/tid=24343] ppid=23954 vsize=28834900 memory=1556 CPUtime=0.78 cores=0-7
/proc/23956/task/24343/stat : 24343 (java) R 23954 23954 14667 0 -1 4202560 17 0 0 0 78 0 0 0 20 0 28 0 476630917 29526937600 56348 33554432000 4194304 4196468 140733854752704 139704169456184 139705373721637 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13271040 140733854753776 140733854753947 140733854753947 140733854756815 0
Current children cumulated CPU time: 20.52 s
Current children cumulated vsize: 28948028 KiB
Current children cumulated memory: 226840 KiB
Child status: 0
Real time (s): 3.14366
CPU time (s): 20.7164
CPU user time (s): 20.5531
CPU system time (s): 0.163347
CPU usage (%): 658.992
Max. virtual memory (cumulated for all children) (KiB): 28948028
Max. memory (cumulated for all children) (KiB): 226840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.5531
system time used= 0.163347
maximum resident set size= 226724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30822
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6287
involuntary context switches= 602
# summary of solver processes directly reported to runsolver:
# pid: 23954
# total CPU time (s): 20.7164
# total CPU user time (s): 20.5531
# total CPU system time (s): 0.163347
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04662 second user time and 0.078722 second system time
The end
Begin job on node104 at 2019-09-20 19:11:57
IDJOB=4404961
IDBENCH=123088
IDSOLVER=2866
FILE ID=node104/4404961-1569003738
RUNJOBID= node104-1568989783-14694
PBS_JOBID= 21704713
Free space on /tmp= 9832 MiB
SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-chr15a.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4404961-1569003738/watcher-4404961-1569003738 -o /tmp/evaluation-result-4404961-1569003738/solver-4404961-1569003738 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568989783-14694 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 229526849 HOME/instance-4404961-1569003738.xml
TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 2cf522cde643a9876c78ef6348327f24
RANDOM SEED=229526849
node104.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 : 5334.09
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 : 5334.09
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 : 5334.09
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 : 5334.09
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: 18422752 kB
MemAvailable: 31826588 kB
Buffers: 95268 kB
Cached: 13233312 kB
SwapCached: 22652 kB
Active: 6646944 kB
Inactive: 6708684 kB
Active(anon): 3368 kB
Inactive(anon): 73004 kB
Active(file): 6643576 kB
Inactive(file): 6635680 kB
Unevictable: 109708 kB
Mlocked: 109708 kB
SwapTotal: 67108860 kB
SwapFree: 66986244 kB
Dirty: 25988 kB
Writeback: 0 kB
AnonPages: 145880 kB
Mapped: 52276 kB
Shmem: 40708 kB
Slab: 583212 kB
SReclaimable: 553040 kB
SUnreclaim: 30172 kB
KernelStack: 3824 kB
PageTables: 5308 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 498016 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 100352 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 124288 kB
DirectMap2M: 33421312 kB
Free space on /tmp at the end= 9808 MiB
End job on node104 at 2019-09-20 19:12:01