0.00/0.06 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254573-1501690011.xml" -tl '1920s' -p 8 -x 0
0.00/0.25 c [HOME/instance-4254573-1501690011.xml, -tl, 1920s, -p, 8, -x, 0]
0.00/0.31 c 8 solvers in parallel
0.00/0.38 c parse instance...
0.00/0.55 c solve instance...
0.00/0.58 o 665
0.00/0.59 o 829
0.00/0.59 o 832
0.00/0.60 o 852
0.00/0.60 o 854
0.00/0.62 o 858
0.00/0.62 o 860
0.00/0.66 o 932
0.00/0.66 o 936
0.00/0.67 o 940
0.00/0.67 o 961
0.00/0.73 o 968
0.00/0.73 o 985
0.00/0.74 o 1027
0.00/0.74 o 1045
0.00/0.75 o 1050
0.00/0.77 o 1051
0.00/0.77 o 1054
0.00/0.79 o 1088
0.00/0.79 o 1101
0.00/0.79 o 1105
0.00/0.82 o 1118
0.00/0.93 o 1121
0.00/0.97 o 1149
0.00/0.97 o 1235
0.00/1.01 o 1250
0.00/1.09 o 1260
4.71/1.11 o 1266
4.71/1.14 o 1274
4.71/1.18 o 1279
4.71/1.19 o 1291
5.49/1.21 o 1300
5.49/1.22 o 1311
5.49/1.24 o 1324
5.49/1.25 o 1334
6.19/1.35 o 1361
6.19/1.37 o 1362
6.92/1.40 o 1384
6.92/1.41 o 1455
14.08/2.40 o 1456
39.78/5.88 o 1467
128.56/18.10 o 1477
476.21/64.84 s OPTIMUM FOUND
476.21/64.84 v <instantiation>
476.21/64.84 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] </list>
476.21/64.84 v <values>0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 0 1 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 </values>
476.21/64.84 v </instantiation>
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254573-1501690011/watcher-4254573-1501690011 -o /tmp/evaluation-result-4254573-1501690011/solver-4254573-1501690011 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node135-1501676595-1714 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 2100150760 HOME/instance-4254573-1501690011.xml
pid=19375
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 6.89 6.30 6.65 2/178 19378
/proc/meminfo: memFree=31692604/32770624 swapFree=0/280472
[pid=19378] ppid=19375 vsize=23672 CPUtime=0 cores=0-7
/proc/19378/stat : 19378 (runsolver) D 19375 19378 1658 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10911713 24240128 107 18446744073709551615 4194304 4338465 140724055372320 140724055369960 140306021602007 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 29102080 140724055380051 140724055380547 140724055380547 140724055384010 0
/proc/19378/statm: 5918 107 54 36 0 2156 0
[startup+0.100154 s]
/proc/loadavg: 6.89 6.30 6.65 2/178 19378
/proc/meminfo: memFree=31692604/32770624 swapFree=0/280472
[pid=19378] ppid=19375 vsize=9512 CPUtime=0 cores=0-7
/proc/19378/stat : 19378 (xcsp3-exec) S 19375 19378 1658 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10911713 9740288 345 18446744073709551615 4194304 5098028 140731239798208 140731239796312 140102044775036 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 29204480 140731239805330 140731239805540 140731239805540 140731239809003 0
/proc/19378/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200285 s]
/proc/loadavg: 6.89 6.30 6.65 2/178 19378
/proc/meminfo: memFree=31692604/32770624 swapFree=0/280472
[pid=19378] ppid=19375 vsize=9512 CPUtime=0 cores=0-7
/proc/19378/stat : 19378 (xcsp3-exec) S 19375 19378 1658 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10911713 9740288 345 18446744073709551615 4194304 5098028 140731239798208 140731239796312 140102044775036 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 29204480 140731239805330 140731239805540 140731239805540 140731239809003 0
/proc/19378/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30029 s]
/proc/loadavg: 6.89 6.30 6.65 2/178 19378
/proc/meminfo: memFree=31692604/32770624 swapFree=0/280472
[pid=19378] ppid=19375 vsize=9512 CPUtime=0 cores=0-7
/proc/19378/stat : 19378 (xcsp3-exec) S 19375 19378 1658 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10911713 9740288 345 18446744073709551615 4194304 5098028 140731239798208 140731239796312 140102044775036 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 29204480 140731239805330 140731239805540 140731239805540 140731239809003 0
/proc/19378/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.708517 s]
/proc/loadavg: 6.89 6.30 6.65 2/178 19378
/proc/meminfo: memFree=31692604/32770624 swapFree=0/280472
[pid=19378] ppid=19375 vsize=9512 CPUtime=0 cores=0-7
/proc/19378/stat : 19378 (xcsp3-exec) S 19375 19378 1658 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10911713 9740288 345 18446744073709551615 4194304 5098028 140731239798208 140731239796312 140102044775036 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 29204480 140731239805330 140731239805540 140731239805540 140731239809003 0
/proc/19378/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50152 s]
/proc/loadavg: 6.89 6.30 6.65 9/206 19621
/proc/meminfo: memFree=31493152/32770624 swapFree=0/280224
[pid=19378] ppid=19375 vsize=9512 CPUtime=0 cores=0-7
/proc/19378/stat : 19378 (xcsp3-exec) S 19375 19378 1658 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10911713 9740288 345 18446744073709551615 4194304 5098028 140731239798208 140731239796312 140102044775036 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 29204480 140731239805330 140731239805540 140731239805540 140731239809003 0
/proc/19378/statm: 2378 345 289 221 0 87 0
[pid=19380] ppid=19378 vsize=26602048 CPUtime=7.54 cores=0-7
/proc/19380/stat : 19380 (java) S 19378 19378 1658 0 -1 1077944320 26906 0 0 0 739 15 0 0 20 0 28 0 10911720 27240497152 86145 18446744073709551615 4194304 4196468 140732124624944 140732124607488 140366977797879 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
/proc/19380/statm: 6650512 86145 3214 1 0 6638813 0
[pid=19380/tid=19381] ppid=19378 vsize=26602048 CPUtime=0.45 cores=0-7
/proc/19380/task/19381/stat : 19381 (java) S 19378 19378 1658 0 -1 1077944384 8582 0 0 0 42 3 0 0 20 0 28 0 10911720 27240497152 86145 18446744073709551615 4194304 4196468 140732124624944 140366982038656 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19382] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19382/stat : 19382 (java) S 19378 19378 1658 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 10911721 27240497152 86145 18446744073709551615 4194304 4196468 140732124624944 140366934764176 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19383] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19383/stat : 19383 (java) S 19378 19378 1658 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 10911721 27240497152 86145 18446744073709551615 4194304 4196468 140732124624944 140366933711376 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19384] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19384/stat : 19384 (java) S 19378 19378 1658 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 10911721 27240497152 86145 18446744073709551615 4194304 4196468 140732124624944 140366932658576 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19385] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19385/stat : 19385 (java) S 19378 19378 1658 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 10911721 27240497152 86145 18446744073709551615 4194304 4196468 140732124624944 140366931605776 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19386] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19386/stat : 19386 (java) S 19378 19378 1658 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 10911721 27240497152 86145 18446744073709551615 4194304 4196468 140732124624944 140366930554000 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19387] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19387/stat : 19387 (java) S 19378 19378 1658 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 10911721 27240497152 86145 18446744073709551615 4194304 4196468 140732124624944 140366929501200 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19388] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19388/stat : 19388 (java) S 19378 19378 1658 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 10911721 27240497152 86145 18446744073709551615 4194304 4196468 140732124624944 140366928448400 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19389] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19389/stat : 19389 (java) S 19378 19378 1658 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 10911721 27240497152 86145 18446744073709551615 4194304 4196468 140732124624944 140366927395600 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19390] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19390/stat : 19390 (java) S 19378 19378 1658 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 28 0 10911723 27240497152 86145 18446744073709551615 4194304 4196468 140732124624944 140365975325040 140366977809026 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19391] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19391/stat : 19391 (java) S 19378 19378 1658 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 10911723 27240497152 86145 18446744073709551615 4194304 4196468 140732124624944 140365185672288 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19392] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19392/stat : 19392 (java) S 19378 19378 1658 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 10911723 27240497152 86145 18446744073709551615 4194304 4196468 140732124624944 140365184619376 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19393] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19393/stat : 19393 (java) S 19378 19378 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 10911726 27240497152 86145 18446744073709551615 4194304 4196468 140732124624944 140365183567696 140366977816475 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19394] ppid=19378 vsize=26602048 CPUtime=0.74 cores=0-7
/proc/19380/task/19394/stat : 19394 (java) R 19378 19378 1658 0 -1 4202560 3324 0 0 0 73 1 0 0 20 0 28 0 10911726 27240497152 86145 18446744073709551615 4194304 4196468 140732124624944 140365182516080 140366961324484 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19395] ppid=19378 vsize=26602048 CPUtime=0.79 cores=0-7
/proc/19380/task/19395/stat : 19395 (java) S 19378 19378 1658 0 -1 1077944384 2482 0 0 0 79 0 0 0 20 0 28 0 10911726 27240497152 86145 18446744073709551615 4194304 4196468 140732124624944 140365181463280 140366977809026 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19396] ppid=19378 vsize=26602048 CPUtime=0.81 cores=0-7
/proc/19380/task/19396/stat : 19396 (java) S 19378 19378 1658 0 -1 1077944384 2806 0 0 0 81 0 0 0 20 0 28 0 10911726 27240497152 86145 18446744073709551615 4194304 4196468 140732124624944 140365180410480 140366977809026 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19397] ppid=19378 vsize=26602048 CPUtime=0.4 cores=0-7
/proc/19380/task/19397/stat : 19397 (java) S 19378 19378 1658 0 -1 1077944384 2358 0 0 0 39 1 0 0 20 0 28 0 10911726 27240497152 86145 18446744073709551615 4194304 4196468 140732124624944 140365179357680 140366977809026 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19398] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19398/stat : 19398 (java) S 19378 19378 1658 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 10911726 27240497152 86145 18446744073709551615 4194304 4196468 140732124624944 140365178305120 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19399] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19399/stat : 19399 (java) S 19378 19378 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 10911731 27240497152 86145 18446744073709551615 4194304 4196468 140732124624944 140365177252400 140366977809026 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
Current children cumulated CPU time (s) 7.54
Current children cumulated vsize (KiB) 26611560
[startup+3.10089 s]
/proc/loadavg: 6.89 6.30 6.65 9/207 19718
/proc/meminfo: memFree=31359532/32770624 swapFree=0/280224
[pid=19378] ppid=19375 vsize=9512 CPUtime=0 cores=0-7
/proc/19378/stat : 19378 (xcsp3-exec) S 19375 19378 1658 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10911713 9740288 345 18446744073709551615 4194304 5098028 140731239798208 140731239796312 140102044775036 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 29204480 140731239805330 140731239805540 140731239805540 140731239809003 0
/proc/19378/statm: 2378 345 289 221 0 87 0
[pid=19380] ppid=19378 vsize=26602048 CPUtime=19.2 cores=0-7
/proc/19380/stat : 19380 (java) S 19378 19378 1658 0 -1 1077944320 27140 0 0 0 1895 25 0 0 20 0 28 0 10911720 27240497152 87746 18446744073709551615 4194304 4196468 140732124624944 140732124607488 140366977797879 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
/proc/19380/statm: 6650512 87746 3217 1 0 6638813 0
[pid=19380/tid=19381] ppid=19378 vsize=26602048 CPUtime=0.45 cores=0-7
/proc/19380/task/19381/stat : 19381 (java) S 19378 19378 1658 0 -1 1077944384 8582 0 0 0 42 3 0 0 20 0 28 0 10911720 27240497152 87746 18446744073709551615 4194304 4196468 140732124624944 140366982038656 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19382] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19382/stat : 19382 (java) S 19378 19378 1658 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 10911721 27240497152 87746 18446744073709551615 4194304 4196468 140732124624944 140366934764176 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19383] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19383/stat : 19383 (java) S 19378 19378 1658 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 10911721 27240497152 87746 18446744073709551615 4194304 4196468 140732124624944 140366933711376 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19384] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19384/stat : 19384 (java) S 19378 19378 1658 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 10911721 27240497152 87746 18446744073709551615 4194304 4196468 140732124624944 140366932658576 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19385] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19385/stat : 19385 (java) S 19378 19378 1658 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 10911721 27240497152 87746 18446744073709551615 4194304 4196468 140732124624944 140366931605776 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19386] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19386/stat : 19386 (java) S 19378 19378 1658 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 10911721 27240497152 87746 18446744073709551615 4194304 4196468 140732124624944 140366930554000 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19387] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19387/stat : 19387 (java) S 19378 19378 1658 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 10911721 27240497152 87746 18446744073709551615 4194304 4196468 140732124624944 140366929501200 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19388] ppid=19378 vsize=26602048 CPUtime=0.01 cores=0-7
/proc/19380/task/19388/stat : 19388 (java) S 19378 19378 1658 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 28 0 10911721 27240497152 87746 18446744073709551615 4194304 4196468 140732124624944 140366928448400 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19389] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19389/stat : 19389 (java) S 19378 19378 1658 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 10911721 27240497152 87746 18446744073709551615 4194304 4196468 140732124624944 140366927395600 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19390] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19390/stat : 19390 (java) S 19378 19378 1658 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 28 0 10911723 27240497152 87746 18446744073709551615 4194304 4196468 140732124624944 140365975325040 140366977809026 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19391] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19391/stat : 19391 (java) S 19378 19378 1658 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 10911723 27240497152 87746 18446744073709551615 4194304 4196468 140732124624944 140365185672288 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19392] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19392/stat : 19392 (java) S 19378 19378 1658 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 10911723 27240497152 87746 18446744073709551615 4194304 4196468 140732124624944 140365184619376 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19393] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19393/stat : 19393 (java) S 19378 19378 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 10911726 27240497152 87746 18446744073709551615 4194304 4196468 140732124624944 140365183567696 140366977816475 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19394] ppid=19378 vsize=26602048 CPUtime=0.81 cores=0-7
/proc/19380/task/19394/stat : 19394 (java) S 19378 19378 1658 0 -1 1077944384 3340 0 0 0 80 1 0 0 20 0 28 0 10911726 27240497152 87746 18446744073709551615 4194304 4196468 140732124624944 140365182516080 140366977809026 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19395] ppid=19378 vsize=26602048 CPUtime=0.83 cores=0-7
/proc/19380/task/19395/stat : 19395 (java) S 19378 19378 1658 0 -1 1077944384 2492 0 0 0 83 0 0 0 20 0 28 0 10911726 27240497152 87746 18446744073709551615 4194304 4196468 140732124624944 140365181463280 140366977809026 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19396] ppid=19378 vsize=26602048 CPUtime=0.88 cores=0-7
/proc/19380/task/19396/stat : 19396 (java) S 19378 19378 1658 0 -1 1077944384 2824 0 0 0 88 0 0 0 20 0 28 0 10911726 27240497152 87746 18446744073709551615 4194304 4196468 140732124624944 140365180410480 140366977809026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19397] ppid=19378 vsize=26602048 CPUtime=0.41 cores=0-7
/proc/19380/task/19397/stat : 19397 (java) S 19378 19378 1658 0 -1 1077944384 2387 0 0 0 40 1 0 0 20 0 28 0 10911726 27240497152 87746 18446744073709551615 4194304 4196468 140732124624944 140365179357680 140366977809026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19398] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19398/stat : 19398 (java) S 19378 19378 1658 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 10911726 27240497152 87746 18446744073709551615 4194304 4196468 140732124624944 140365178305120 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19399] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19399/stat : 19399 (java) S 19378 19378 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 10911731 27240497152 87746 18446744073709551615 4194304 4196468 140732124624944 140365177252400 140366977809026 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
Current children cumulated CPU time (s) 19.2
Current children cumulated vsize (KiB) 26611560
[startup+6.30122 s]
/proc/loadavg: 6.58 6.24 6.63 8/207 19726
/proc/meminfo: memFree=31101396/32770624 swapFree=0/280224
[pid=19378] ppid=19375 vsize=9512 CPUtime=0 cores=0-7
/proc/19378/stat : 19378 (xcsp3-exec) S 19375 19378 1658 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10911713 9740288 345 18446744073709551615 4194304 5098028 140731239798208 140731239796312 140102044775036 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 29204480 140731239805330 140731239805540 140731239805540 140731239809003 0
/proc/19378/statm: 2378 345 289 221 0 87 0
[pid=19380] ppid=19378 vsize=26602048 CPUtime=43.56 cores=0-7
/proc/19380/stat : 19380 (java) S 19378 19378 1658 0 -1 1077944320 29902 0 0 0 4301 55 0 0 20 0 28 0 10911720 27240497152 150622 18446744073709551615 4194304 4196468 140732124624944 140732124607488 140366977797879 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
/proc/19380/statm: 6650512 150622 3221 1 0 6638813 0
[pid=19380/tid=19381] ppid=19378 vsize=26602048 CPUtime=0.46 cores=0-7
/proc/19380/task/19381/stat : 19381 (java) S 19378 19378 1658 0 -1 1077944384 8621 0 0 0 43 3 0 0 20 0 28 0 10911720 27240497152 150622 18446744073709551615 4194304 4196468 140732124624944 140366982038656 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19382] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19382/stat : 19382 (java) S 19378 19378 1658 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 10911721 27240497152 150622 18446744073709551615 4194304 4196468 140732124624944 140366934764176 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19383] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19383/stat : 19383 (java) S 19378 19378 1658 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 10911721 27240497152 150622 18446744073709551615 4194304 4196468 140732124624944 140366933711376 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19384] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19384/stat : 19384 (java) S 19378 19378 1658 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 10911721 27240497152 150622 18446744073709551615 4194304 4196468 140732124624944 140366932658576 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19385] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19385/stat : 19385 (java) S 19378 19378 1658 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 10911721 27240497152 150622 18446744073709551615 4194304 4196468 140732124624944 140366931605776 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19386] ppid=19378 vsize=26602048 CPUtime=0.01 cores=0-7
/proc/19380/task/19386/stat : 19386 (java) S 19378 19378 1658 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 28 0 10911721 27240497152 150622 18446744073709551615 4194304 4196468 140732124624944 140366930554000 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19387] ppid=19378 vsize=26602048 CPUtime=0.01 cores=0-7
/proc/19380/task/19387/stat : 19387 (java) S 19378 19378 1658 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 28 0 10911721 27240497152 150622 18446744073709551615 4194304 4196468 140732124624944 140366929501200 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19388] ppid=19378 vsize=26602048 CPUtime=0.01 cores=0-7
/proc/19380/task/19388/stat : 19388 (java) S 19378 19378 1658 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 28 0 10911721 27240497152 150622 18446744073709551615 4194304 4196468 140732124624944 140366928448400 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19389] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19389/stat : 19389 (java) S 19378 19378 1658 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 10911721 27240497152 150622 18446744073709551615 4194304 4196468 140732124624944 140366927395600 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19390] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19390/stat : 19390 (java) S 19378 19378 1658 0 -1 1077944384 447 0 0 0 0 0 0 0 20 0 28 0 10911723 27240497152 150622 18446744073709551615 4194304 4196468 140732124624944 140365975325040 140366977809026 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19391] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19391/stat : 19391 (java) S 19378 19378 1658 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 10911723 27240497152 150622 18446744073709551615 4194304 4196468 140732124624944 140365185672288 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19392] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19392/stat : 19392 (java) S 19378 19378 1658 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 10911723 27240497152 150622 18446744073709551615 4194304 4196468 140732124624944 140365184619376 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19393] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19393/stat : 19393 (java) S 19378 19378 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 10911726 27240497152 150622 18446744073709551615 4194304 4196468 140732124624944 140365183567696 140366977816475 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
################
# More data... #
################
/proc/19380/task/19391/stat : 19391 (java) S 19378 19378 1658 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 10911723 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140365185672288 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19392] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19392/stat : 19392 (java) S 19378 19378 1658 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 10911723 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140365184619376 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19393] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19393/stat : 19393 (java) S 19378 19378 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 10911726 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140365183567696 140366977816475 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19394] ppid=19378 vsize=26602048 CPUtime=0.94 cores=0-7
/proc/19380/task/19394/stat : 19394 (java) S 19378 19378 1658 0 -1 1077944384 6412 0 0 0 93 1 0 0 20 0 28 0 10911726 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140365182516080 140366977809026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19395] ppid=19378 vsize=26602048 CPUtime=0.97 cores=0-7
/proc/19380/task/19395/stat : 19395 (java) S 19378 19378 1658 0 -1 1077944384 6459 0 0 0 96 1 0 0 20 0 28 0 10911726 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140365181463280 140366977809026 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19396] ppid=19378 vsize=26602048 CPUtime=0.98 cores=0-7
/proc/19380/task/19396/stat : 19396 (java) S 19378 19378 1658 0 -1 1077944384 6029 0 0 0 98 0 0 0 20 0 28 0 10911726 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140365180410480 140366977809026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19397] ppid=19378 vsize=26602048 CPUtime=0.44 cores=0-7
/proc/19380/task/19397/stat : 19397 (java) S 19378 19378 1658 0 -1 1077944384 3762 0 0 0 43 1 0 0 20 0 28 0 10911726 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140365179357680 140366977809026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19398] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19398/stat : 19398 (java) S 19378 19378 1658 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 10911726 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140365178305120 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19399] ppid=19378 vsize=26602048 CPUtime=0.01 cores=0-7
/proc/19380/task/19399/stat : 19399 (java) S 19378 19378 1658 0 -1 1077944384 548 0 0 0 1 0 0 0 20 0 28 0 10911731 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140365177252400 140366977809026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19735] ppid=19378 vsize=26602048 CPUtime=42.26 cores=0-7
/proc/19380/task/19735/stat : 19735 (java) R 19378 19378 1658 0 -1 4202560 580 0 0 0 4144 82 0 0 20 0 28 0 10913524 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140364425960272 140366599509511 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19736] ppid=19378 vsize=26602048 CPUtime=42.17 cores=0-7
/proc/19380/task/19736/stat : 19736 (java) R 19378 19378 1658 0 -1 1077944384 550 0 0 0 4133 84 0 0 20 0 28 0 10913524 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140364423855888 140366977808085 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19737] ppid=19378 vsize=26602048 CPUtime=42.34 cores=0-7
/proc/19380/task/19737/stat : 19737 (java) R 19378 19378 1658 0 -1 4202560 1250 0 0 0 4156 78 0 0 20 0 28 0 10913524 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140365169741456 140366598013841 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19738] ppid=19378 vsize=26602048 CPUtime=43.41 cores=0-7
/proc/19380/task/19738/stat : 19738 (java) R 19378 19378 1658 0 -1 4202560 2104 0 0 0 4301 40 0 0 20 0 28 0 10913524 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140364422803984 140366598699804 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19739] ppid=19378 vsize=26602048 CPUtime=42.66 cores=0-7
/proc/19380/task/19739/stat : 19739 (java) S 19378 19378 1658 0 -1 1077944384 1216 0 0 0 4192 74 0 0 20 0 28 0 10913524 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140364427014544 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19740] ppid=19378 vsize=26602048 CPUtime=42.25 cores=0-7
/proc/19380/task/19740/stat : 19740 (java) R 19378 19378 1658 0 -1 4202560 507 0 0 0 4137 88 0 0 20 0 28 0 10913524 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140364421751056 140366599192164 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19741] ppid=19378 vsize=26602048 CPUtime=42.54 cores=0-7
/proc/19380/task/19741/stat : 19741 (java) R 19378 19378 1658 0 -1 4202560 471 0 0 0 4183 71 0 0 20 0 28 0 10913524 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140364429119632 140366598924746 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19742] ppid=19378 vsize=26602048 CPUtime=43.24 cores=0-7
/proc/19380/task/19742/stat : 19742 (java) S 19378 19378 1658 0 -1 1077944384 3310 0 0 0 4270 54 0 0 20 0 28 0 10913524 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140364424908816 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
Current children cumulated CPU time (s) 470.36
Current children cumulated vsize (KiB) 26611560
[startup+64.4011 s]
/proc/loadavg: 7.25 6.47 6.68 8/207 19743
/proc/meminfo: memFree=31073784/32770624 swapFree=0/280280
[pid=19378] ppid=19375 vsize=9512 CPUtime=0 cores=0-7
/proc/19378/stat : 19378 (xcsp3-exec) S 19375 19378 1658 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10911713 9740288 345 18446744073709551615 4194304 5098028 140731239798208 140731239796312 140102044775036 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 29204480 140731239805330 140731239805540 140731239805540 140731239809003 0
/proc/19378/statm: 2378 345 289 221 0 87 0
[pid=19380] ppid=19378 vsize=26602048 CPUtime=473.29 cores=0-7
/proc/19380/stat : 19380 (java) S 19378 19378 1658 0 -1 1077944320 67762 0 0 0 46475 854 0 0 20 0 28 0 10911720 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140732124607488 140366977797879 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
/proc/19380/statm: 6650512 157653 3230 1 0 6638813 0
[pid=19380/tid=19381] ppid=19378 vsize=26602048 CPUtime=0.46 cores=0-7
/proc/19380/task/19381/stat : 19381 (java) S 19378 19378 1658 0 -1 1077944384 8780 0 0 0 43 3 0 0 20 0 28 0 10911720 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140366982038656 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19382] ppid=19378 vsize=26602048 CPUtime=0.11 cores=0-7
/proc/19380/task/19382/stat : 19382 (java) S 19378 19378 1658 0 -1 1077944384 944 0 0 0 8 3 0 0 20 0 28 0 10911721 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140366934764176 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19383] ppid=19378 vsize=26602048 CPUtime=0.11 cores=0-7
/proc/19380/task/19383/stat : 19383 (java) S 19378 19378 1658 0 -1 1077944384 759 0 0 0 8 3 0 0 20 0 28 0 10911721 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140366933711376 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19384] ppid=19378 vsize=26602048 CPUtime=0.11 cores=0-7
/proc/19380/task/19384/stat : 19384 (java) S 19378 19378 1658 0 -1 1077944384 1032 0 0 0 8 3 0 0 20 0 28 0 10911721 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140366932658576 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19385] ppid=19378 vsize=26602048 CPUtime=0.11 cores=0-7
/proc/19380/task/19385/stat : 19385 (java) S 19378 19378 1658 0 -1 1077944384 1005 0 0 0 8 3 0 0 20 0 28 0 10911721 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140366931605776 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19386] ppid=19378 vsize=26602048 CPUtime=0.11 cores=0-7
/proc/19380/task/19386/stat : 19386 (java) S 19378 19378 1658 0 -1 1077944384 1225 0 0 0 8 3 0 0 20 0 28 0 10911721 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140366930554000 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19387] ppid=19378 vsize=26602048 CPUtime=0.11 cores=0-7
/proc/19380/task/19387/stat : 19387 (java) S 19378 19378 1658 0 -1 1077944384 1156 0 0 0 8 3 0 0 20 0 28 0 10911721 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140366929501200 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19388] ppid=19378 vsize=26602048 CPUtime=0.11 cores=0-7
/proc/19380/task/19388/stat : 19388 (java) S 19378 19378 1658 0 -1 1077944384 1542 0 0 0 8 3 0 0 20 0 28 0 10911721 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140366928448400 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19389] ppid=19378 vsize=26602048 CPUtime=0.1 cores=0-7
/proc/19380/task/19389/stat : 19389 (java) S 19378 19378 1658 0 -1 1077944384 1132 0 0 0 7 3 0 0 20 0 28 0 10911721 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140366927395600 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19390] ppid=19378 vsize=26602048 CPUtime=0.08 cores=0-7
/proc/19380/task/19390/stat : 19390 (java) S 19378 19378 1658 0 -1 1077944384 4140 0 0 0 7 1 0 0 20 0 28 0 10911723 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140365975325040 140366977809026 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19391] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19391/stat : 19391 (java) S 19378 19378 1658 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 10911723 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140365185672288 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19392] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19392/stat : 19392 (java) S 19378 19378 1658 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 10911723 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140365184619376 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19393] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19393/stat : 19393 (java) S 19378 19378 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 10911726 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140365183567696 140366977816475 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19394] ppid=19378 vsize=26602048 CPUtime=0.94 cores=0-7
/proc/19380/task/19394/stat : 19394 (java) S 19378 19378 1658 0 -1 1077944384 6412 0 0 0 93 1 0 0 20 0 28 0 10911726 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140365182516080 140366977809026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19395] ppid=19378 vsize=26602048 CPUtime=0.97 cores=0-7
/proc/19380/task/19395/stat : 19395 (java) S 19378 19378 1658 0 -1 1077944384 6459 0 0 0 96 1 0 0 20 0 28 0 10911726 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140365181463280 140366977809026 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19396] ppid=19378 vsize=26602048 CPUtime=0.98 cores=0-7
/proc/19380/task/19396/stat : 19396 (java) S 19378 19378 1658 0 -1 1077944384 6029 0 0 0 98 0 0 0 20 0 28 0 10911726 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140365180410480 140366977809026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19397] ppid=19378 vsize=26602048 CPUtime=0.44 cores=0-7
/proc/19380/task/19397/stat : 19397 (java) S 19378 19378 1658 0 -1 1077944384 3762 0 0 0 43 1 0 0 20 0 28 0 10911726 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140365179357680 140366977809026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19398] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19398/stat : 19398 (java) S 19378 19378 1658 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 10911726 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140365178305120 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19399] ppid=19378 vsize=26602048 CPUtime=0.01 cores=0-7
/proc/19380/task/19399/stat : 19399 (java) S 19378 19378 1658 0 -1 1077944384 548 0 0 0 1 0 0 0 20 0 28 0 10911731 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140365177252400 140366977809026 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19735] ppid=19378 vsize=26602048 CPUtime=42.63 cores=0-7
/proc/19380/task/19735/stat : 19735 (java) R 19378 19378 1658 0 -1 4202560 581 0 0 0 4180 83 0 0 20 0 28 0 10913524 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140364425960272 140366598818010 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19736] ppid=19378 vsize=26602048 CPUtime=42.53 cores=0-7
/proc/19380/task/19736/stat : 19736 (java) S 19378 19378 1658 0 -1 1077944384 551 0 0 0 4168 85 0 0 20 0 28 0 10913524 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140364423855888 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19737] ppid=19378 vsize=26602048 CPUtime=42.7 cores=0-7
/proc/19380/task/19737/stat : 19737 (java) R 19378 19378 1658 0 -1 4202560 1252 0 0 0 4192 78 0 0 20 0 28 0 10913524 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140365169741360 140366599248058 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19738] ppid=19378 vsize=26602048 CPUtime=43.78 cores=0-7
/proc/19380/task/19738/stat : 19738 (java) S 19378 19378 1658 0 -1 1077944384 2116 0 0 0 4338 40 0 0 20 0 28 0 10913524 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140364422803984 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19739] ppid=19378 vsize=26602048 CPUtime=43.01 cores=0-7
/proc/19380/task/19739/stat : 19739 (java) R 19378 19378 1658 0 -1 4202560 1225 0 0 0 4227 74 0 0 20 0 28 0 10913524 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140364427014544 140366599052648 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19740] ppid=19378 vsize=26602048 CPUtime=42.62 cores=0-7
/proc/19380/task/19740/stat : 19740 (java) S 19378 19378 1658 0 -1 1077944384 509 0 0 0 4173 89 0 0 20 0 28 0 10913524 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140364421751056 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19741] ppid=19378 vsize=26602048 CPUtime=42.9 cores=0-7
/proc/19380/task/19741/stat : 19741 (java) R 19378 19378 1658 0 -1 1077944384 473 0 0 0 4218 72 0 0 20 0 28 0 10913524 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140364429119632 140366977808085 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19742] ppid=19378 vsize=26602048 CPUtime=43.6 cores=0-7
/proc/19380/task/19742/stat : 19742 (java) R 19378 19378 1658 0 -1 4202560 3322 0 0 0 4306 54 0 0 20 0 28 0 10913524 27240497152 157653 18446744073709551615 4194304 4196468 140732124624944 140364424908720 140366599030021 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
Current children cumulated CPU time (s) 473.29
Current children cumulated vsize (KiB) 26611560
[startup+64.801 s]
/proc/loadavg: 7.25 6.47 6.68 8/207 19743
/proc/meminfo: memFree=31073784/32770624 swapFree=0/280280
[pid=19378] ppid=19375 vsize=9512 CPUtime=0 cores=0-7
/proc/19378/stat : 19378 (xcsp3-exec) S 19375 19378 1658 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10911713 9740288 345 18446744073709551615 4194304 5098028 140731239798208 140731239796312 140102044775036 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 29204480 140731239805330 140731239805540 140731239805540 140731239809003 0
/proc/19378/statm: 2378 345 289 221 0 87 0
[pid=19380] ppid=19378 vsize=26602048 CPUtime=476.21 cores=0-7
/proc/19380/stat : 19380 (java) S 19378 19378 1658 0 -1 1077944320 68099 0 0 0 46762 859 0 0 20 0 28 0 10911720 27240497152 157525 18446744073709551615 4194304 4196468 140732124624944 140732124607488 140366977797879 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
/proc/19380/statm: 6650512 157525 3230 1 0 6638813 0
[pid=19380/tid=19381] ppid=19378 vsize=26602048 CPUtime=0.46 cores=0-7
/proc/19380/task/19381/stat : 19381 (java) S 19378 19378 1658 0 -1 1077944384 8780 0 0 0 43 3 0 0 20 0 28 0 10911720 27240497152 157525 18446744073709551615 4194304 4196468 140732124624944 140366982038656 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19382] ppid=19378 vsize=26602048 CPUtime=0.11 cores=0-7
/proc/19380/task/19382/stat : 19382 (java) S 19378 19378 1658 0 -1 1077944384 945 0 0 0 8 3 0 0 20 0 28 0 10911721 27240497152 157525 18446744073709551615 4194304 4196468 140732124624944 140366934764176 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19383] ppid=19378 vsize=26602048 CPUtime=0.11 cores=0-7
/proc/19380/task/19383/stat : 19383 (java) S 19378 19378 1658 0 -1 1077944384 759 0 0 0 8 3 0 0 20 0 28 0 10911721 27240497152 157525 18446744073709551615 4194304 4196468 140732124624944 140366933711376 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19384] ppid=19378 vsize=26602048 CPUtime=0.11 cores=0-7
/proc/19380/task/19384/stat : 19384 (java) S 19378 19378 1658 0 -1 1077944384 1033 0 0 0 8 3 0 0 20 0 28 0 10911721 27240497152 157525 18446744073709551615 4194304 4196468 140732124624944 140366932658576 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19385] ppid=19378 vsize=26602048 CPUtime=0.11 cores=0-7
/proc/19380/task/19385/stat : 19385 (java) S 19378 19378 1658 0 -1 1077944384 1006 0 0 0 8 3 0 0 20 0 28 0 10911721 27240497152 157525 18446744073709551615 4194304 4196468 140732124624944 140366931605776 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19386] ppid=19378 vsize=26602048 CPUtime=0.12 cores=0-7
/proc/19380/task/19386/stat : 19386 (java) S 19378 19378 1658 0 -1 1077944384 1228 0 0 0 9 3 0 0 20 0 28 0 10911721 27240497152 157525 18446744073709551615 4194304 4196468 140732124624944 140366930554000 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19387] ppid=19378 vsize=26602048 CPUtime=0.12 cores=0-7
/proc/19380/task/19387/stat : 19387 (java) S 19378 19378 1658 0 -1 1077944384 1158 0 0 0 9 3 0 0 20 0 28 0 10911721 27240497152 157525 18446744073709551615 4194304 4196468 140732124624944 140366929501200 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19388] ppid=19378 vsize=26602048 CPUtime=0.11 cores=0-7
/proc/19380/task/19388/stat : 19388 (java) S 19378 19378 1658 0 -1 1077944384 1550 0 0 0 8 3 0 0 20 0 28 0 10911721 27240497152 157525 18446744073709551615 4194304 4196468 140732124624944 140366928448400 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19389] ppid=19378 vsize=26602048 CPUtime=0.11 cores=0-7
/proc/19380/task/19389/stat : 19389 (java) S 19378 19378 1658 0 -1 1077944384 1133 0 0 0 8 3 0 0 20 0 28 0 10911721 27240497152 157525 18446744073709551615 4194304 4196468 140732124624944 140366927395600 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19390] ppid=19378 vsize=26602048 CPUtime=0.08 cores=0-7
/proc/19380/task/19390/stat : 19390 (java) S 19378 19378 1658 0 -1 1077944384 4141 0 0 0 7 1 0 0 20 0 28 0 10911723 27240497152 157525 18446744073709551615 4194304 4196468 140732124624944 140365975325040 140366977809026 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19391] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19391/stat : 19391 (java) S 19378 19378 1658 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 10911723 27240497152 157525 18446744073709551615 4194304 4196468 140732124624944 140365185672288 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19392] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19392/stat : 19392 (java) S 19378 19378 1658 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 10911723 27240497152 157525 18446744073709551615 4194304 4196468 140732124624944 140365184619376 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19393] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19393/stat : 19393 (java) S 19378 19378 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 10911726 27240497152 157525 18446744073709551615 4194304 4196468 140732124624944 140365183567696 140366977816475 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19394] ppid=19378 vsize=26602048 CPUtime=0.94 cores=0-7
/proc/19380/task/19394/stat : 19394 (java) S 19378 19378 1658 0 -1 1077944384 6412 0 0 0 93 1 0 0 20 0 28 0 10911726 27240497152 157525 18446744073709551615 4194304 4196468 140732124624944 140365182516080 140366977809026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19395] ppid=19378 vsize=26602048 CPUtime=0.97 cores=0-7
/proc/19380/task/19395/stat : 19395 (java) S 19378 19378 1658 0 -1 1077944384 6459 0 0 0 96 1 0 0 20 0 28 0 10911726 27240497152 157525 18446744073709551615 4194304 4196468 140732124624944 140365181463280 140366977809026 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19396] ppid=19378 vsize=26602048 CPUtime=0.98 cores=0-7
/proc/19380/task/19396/stat : 19396 (java) S 19378 19378 1658 0 -1 1077944384 6029 0 0 0 98 0 0 0 20 0 28 0 10911726 27240497152 157525 18446744073709551615 4194304 4196468 140732124624944 140365180410480 140366977809026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19397] ppid=19378 vsize=26602048 CPUtime=0.44 cores=0-7
/proc/19380/task/19397/stat : 19397 (java) S 19378 19378 1658 0 -1 1077944384 3762 0 0 0 43 1 0 0 20 0 28 0 10911726 27240497152 157525 18446744073709551615 4194304 4196468 140732124624944 140365179357680 140366977809026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19398] ppid=19378 vsize=26602048 CPUtime=0 cores=0-7
/proc/19380/task/19398/stat : 19398 (java) S 19378 19378 1658 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 10911726 27240497152 157525 18446744073709551615 4194304 4196468 140732124624944 140365178305120 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19399] ppid=19378 vsize=26602048 CPUtime=0.01 cores=0-7
/proc/19380/task/19399/stat : 19399 (java) S 19378 19378 1658 0 -1 1077944384 548 0 0 0 1 0 0 0 20 0 28 0 10911731 27240497152 157525 18446744073709551615 4194304 4196468 140732124624944 140365177252400 140366977809026 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19735] ppid=19378 vsize=26602048 CPUtime=42.99 cores=0-7
/proc/19380/task/19735/stat : 19735 (java) S 19378 19378 1658 0 -1 1077944384 591 0 0 0 4215 84 0 0 20 0 28 0 10913524 27240497152 157525 18446744073709551615 4194304 4196468 140732124624944 140364425960272 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19736] ppid=19378 vsize=26602048 CPUtime=42.89 cores=0-7
/proc/19380/task/19736/stat : 19736 (java) R 19378 19378 1658 0 -1 4202560 562 0 0 0 4204 85 0 0 20 0 28 0 10913524 27240497152 157525 18446744073709551615 4194304 4196468 140732124624944 140364423855888 140366597830743 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19737] ppid=19378 vsize=26602048 CPUtime=43.06 cores=0-7
/proc/19380/task/19737/stat : 19737 (java) R 19378 19378 1658 0 -1 1077944384 1259 0 0 0 4227 79 0 0 20 0 28 0 10913524 27240497152 157525 18446744073709551615 4194304 4196468 140732124624944 140365169741360 140366977809026 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19738] ppid=19378 vsize=26602048 CPUtime=44.17 cores=0-7
/proc/19380/task/19738/stat : 19738 (java) S 19378 19378 1658 0 -1 1077944384 2163 0 0 0 4376 41 0 0 20 0 28 0 10913524 27240497152 157525 18446744073709551615 4194304 4196468 140732124624944 140364422803984 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19739] ppid=19378 vsize=26602048 CPUtime=43.38 cores=0-7
/proc/19380/task/19739/stat : 19739 (java) S 19378 19378 1658 0 -1 1077944384 1252 0 0 0 4263 75 0 0 20 0 28 0 10913524 27240497152 157525 18446744073709551615 4194304 4196468 140732124624944 140364427014544 140366977808085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19740] ppid=19378 vsize=26602048 CPUtime=42.99 cores=0-7
/proc/19380/task/19740/stat : 19740 (java) R 19378 19378 1658 0 -1 4202560 510 0 0 0 4209 90 0 0 20 0 28 0 10913524 27240497152 157525 18446744073709551615 4194304 4196468 140732124624944 140364421751056 140366597830814 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19741] ppid=19378 vsize=26602048 CPUtime=43.26 cores=0-7
/proc/19380/task/19741/stat : 19741 (java) R 19378 19378 1658 0 -1 4202560 474 0 0 0 4253 73 0 0 20 0 28 0 10913524 27240497152 157525 18446744073709551615 4194304 4196468 140732124624944 140364429119632 140366597830753 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
[pid=19380/tid=19742] ppid=19378 vsize=26602048 CPUtime=43.97 cores=0-7
/proc/19380/task/19742/stat : 19742 (java) R 19378 19378 1658 0 -1 4202560 3537 0 0 0 4343 54 0 0 20 0 28 0 10913524 27240497152 157525 18446744073709551615 4194304 4196468 140732124624944 140364424908816 140366599246520 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28553216 140732124627408 140732124627584 140732124627584 140732124630991 0
Current children cumulated CPU time (s) 476.21
Current children cumulated vsize (KiB) 26611560
Child status: 0
Real time (s): 64.8503
CPU time (s): 476.515
CPU user time (s): 467.908
CPU system time (s): 8.60679
CPU usage (%): 734.792
Max. virtual memory (cumulated for all children) (KiB): 26611560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 467.908
system time used= 8.60679
maximum resident set size= 630612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69832
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2961584
involuntary context switches= 806
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.411095 second user time and 0.552716 second system time
The end
Begin job on node135 at 2017-08-02 17:52:50
IDJOB=4254573
IDBENCH=133500
IDSOLVER=2636
FILE ID=node135/4254573-1501690011
RUNJOBID= node135-1501676595-1714
PBS_JOBID=
Free space on /tmp= 61948 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s60/Knapsack-60-250-13.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4254573-1501690011/watcher-4254573-1501690011 -o /tmp/evaluation-result-4254573-1501690011/solver-4254573-1501690011 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node135-1501676595-1714 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 2100150760 HOME/instance-4254573-1501690011.xml
TIME LIMIT= 1920 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 38d75cb998cf411a03c81843abbd85b8
RANDOM SEED=2100150760
node135.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.21
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.21
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.21
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.21
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: 31693576 kB
MemAvailable: 32013936 kB
Buffers: 151940 kB
Cached: 443536 kB
SwapCached: 0 kB
Active: 363528 kB
Inactive: 289064 kB
Active(anon): 57348 kB
Inactive(anon): 8592 kB
Active(file): 306180 kB
Inactive(file): 280472 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7912 kB
Writeback: 4 kB
AnonPages: 55860 kB
Mapped: 29652 kB
Shmem: 8960 kB
Slab: 124936 kB
SReclaimable: 99088 kB
SUnreclaim: 25848 kB
KernelStack: 3216 kB
PageTables: 4236 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 279156 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 354332 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: 122240 kB
DirectMap2M: 33423360 kB
Free space on /tmp at the end= 61940 MiB
End job on node135 at 2017-08-02 17:53:55