Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-16 parallel | SAT | 25.1657 | 3.67918 |
Name | MagicHexagon/MagicHexagon-m1-s1/ MagicHexagon-04-m018.xml |
MD5SUM | e1b631bab6f8bd4ad65377e678a0b81e |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 2.54992 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 49 |
Number of constraints | 28 |
Number of domains | 1 |
Minimum domain size | 37 |
Maximum domain size | 37 |
Distribution of domain sizes | [{"size":37,"count":37}] |
Minimum variable degree | 0 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":0,"count":12},{"degree":4,"count":31},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 37 |
Distribution of constraint arities | [{"arity":2,"count":6},{"arity":4,"count":6},{"arity":5,"count":6},{"arity":6,"count":6},{"arity":7,"count":3},{"arity":37,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 6 |
Distribution of constraint types | [{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":21}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399475-1568708476.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4399475-1568708476.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.02/0.59 c solve instance... 24.76/3.64 s SATISFIABLE 24.76/3.64 v <instantiation> 24.76/3.64 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[6][0] x[6][1] x[6][2] x[6][3] </list> 24.76/3.64 v <values>-18 17 -12 13 -3 7 -16 8 4 5 -11 18 0 -2 -10 16 1 10 -1 -13 -6 -7 -14 -15 2 6 9 12 15 -5 -9 -4 3 -17 14 11 -8 </values> 24.76/3.64 v </instantiation>
OK
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 (15273 MiB free) memory of node 1: 16384 MiB (15685 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399475-1568708476/watcher-4399475-1568708476 -o /tmp/evaluation-result-4399475-1568708476/solver-4399475-1568708476 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568700707-29089 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1657438079 HOME/instance-4399475-1568708476.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=4606, runsolver pid=4603 [startup+0.100117 s]* /proc/loadavg: 7.93 7.67 7.64 2/212 4627 /proc/meminfo: memFree=31686412/32770624 swapFree=66977252/67108860 [pid=4606] ppid=4603 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4606/stat : 4606 (xcsp3-exec) S 4603 4606 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447110280 115843072 364 33554432000 4194304 5098028 140727851144544 140727851142648 140033116947068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30097408 140727851152245 140727851152489 140727851152489 140727851155402 0 /proc/4606/statm: 28282 364 305 221 0 87 0 [pid=4608] ppid=4606 vsize=28227396 memory=29040 CPUtime=0.12 cores=0-7 /proc/4608/stat : 4608 (java) S 4606 4606 29062 0 -1 1077944320 5686 0 0 0 10 2 0 0 20 0 20 0 447110280 28904853504 7260 33554432000 4194304 4196468 140726355829536 140726355812080 140313783369463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 /proc/4608/statm: 7056849 7260 3152 1 0 7019032 0 [pid=4608/tid=4609] ppid=4606 vsize=28227396 memory=-7096649868621430206 CPUtime=0.09 cores=0-7 /proc/4608/task/4609/stat : 4609 (java) R 4606 4606 29062 0 -1 4202560 3601 0 0 0 8 1 0 0 20 0 20 0 447110280 28904853504 7260 33554432000 4194304 4196468 140726355829536 140313787597488 140313767449950 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4610] ppid=4606 vsize=28227396 memory=3461361991549258287 CPUtime=0 cores=0-7 /proc/4608/task/4610/stat : 4610 (java) S 4606 4606 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447110281 28904853504 7260 33554432000 4194304 4196468 140726355829536 140313703222416 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4611] ppid=4606 vsize=28227396 memory=139942784145024 CPUtime=0 cores=0-7 /proc/4608/task/4611/stat : 4611 (java) S 4606 4606 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447110281 28904853504 7260 33554432000 4194304 4196468 140726355829536 140313702169616 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4612] ppid=4606 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4612/stat : 4612 (java) S 4606 4606 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447110281 28904853504 7260 33554432000 4194304 4196468 140726355829536 140313701116816 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4613] ppid=4606 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4613/stat : 4613 (java) S 4606 4606 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447110281 28904853504 7260 33554432000 4194304 4196468 140726355829536 140313700064016 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4614] ppid=4606 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4614/stat : 4614 (java) S 4606 4606 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447110281 28904853504 7260 33554432000 4194304 4196468 140726355829536 140313699011216 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4615] ppid=4606 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4608/task/4615/stat : 4615 (java) S 4606 4606 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447110281 28904853504 7260 33554432000 4194304 4196468 140726355829536 140313697958416 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4616] ppid=4606 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4616/stat : 4616 (java) S 4606 4606 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447110281 28904853504 7260 33554432000 4194304 4196468 140726355829536 140313327950224 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4617] ppid=4606 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4617/stat : 4617 (java) S 4606 4606 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447110281 28904853504 7260 33554432000 4194304 4196468 140726355829536 140313326897424 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4618] ppid=4606 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4618/stat : 4618 (java) S 4606 4606 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447110282 28904853504 7260 33554432000 4194304 4196468 140726355829536 140312899050352 140313783380610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4619] ppid=4606 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4619/stat : 4619 (java) S 4606 4606 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447110283 28904853504 7260 33554432000 4194304 4196468 140726355829536 140312897996320 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4620] ppid=4606 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4620/stat : 4620 (java) S 4606 4606 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447110283 28904853504 7260 33554432000 4194304 4196468 140726355829536 140312896943472 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4621] ppid=4606 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4621/stat : 4621 (java) S 4606 4606 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447110285 28904853504 7260 33554432000 4194304 4196468 140726355829536 140312895891792 140313783388059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4622] ppid=4606 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4622/stat : 4622 (java) S 4606 4606 29062 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 20 0 447110286 28904853504 7260 33554432000 4194304 4196468 140726355829536 140312894839152 140313783380610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4623] ppid=4606 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4623/stat : 4623 (java) S 4606 4606 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447110286 28904853504 7260 33554432000 4194304 4196468 140726355829536 140312893786352 140313783380610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4624] ppid=4606 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4624/stat : 4624 (java) S 4606 4606 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447110286 28904853504 7260 33554432000 4194304 4196468 140726355829536 140312892733552 140313783380610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4625] ppid=4606 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/4608/task/4625/stat : 4625 (java) R 4606 4606 29062 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 20 0 447110286 28904853504 7260 33554432000 4194304 4196468 140726355829536 140312891680752 140313783381398 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4626] ppid=4606 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4626/stat : 4626 (java) S 4606 4606 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447110286 28904853504 7260 33554432000 4194304 4196468 140726355829536 140312823458912 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4627] ppid=4606 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4608/task/4627/stat : 4627 (java) S 4606 4606 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447110286 28904853504 7260 33554432000 4194304 4196468 140726355829536 140312822406192 140313783380610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30496 KiB [startup+0.210171 s]* /proc/loadavg: 7.93 7.67 7.64 2/212 4627 /proc/meminfo: memFree=31671768/32770624 swapFree=66977252/67108860 [pid=4606] ppid=4603 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4606/stat : 4606 (xcsp3-exec) S 4603 4606 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447110280 115843072 364 33554432000 4194304 5098028 140727851144544 140727851142648 140033116947068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30097408 140727851152245 140727851152489 140727851152489 140727851155402 0 /proc/4606/statm: 28282 364 305 221 0 87 0 [pid=4608] ppid=4606 vsize=28227396 memory=40936 CPUtime=0.34 cores=0-7 /proc/4608/stat : 4608 (java) S 4606 4606 29062 0 -1 1077944320 9483 0 0 0 30 4 0 0 20 0 20 0 447110280 28904853504 10234 33554432000 4194304 4196468 140726355829536 140726355812080 140313783369463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 /proc/4608/statm: 7056849 10234 3305 1 0 7019032 0 [pid=4608/tid=4609] ppid=4606 vsize=28227396 memory=8390339637985935414 CPUtime=0.19 cores=0-7 /proc/4608/task/4609/stat : 4609 (java) R 4606 4606 29062 0 -1 4202560 6639 0 0 0 17 2 0 0 20 0 20 0 447110280 28904853504 10234 33554432000 4194304 4196468 140726355829536 140313787602192 140313783381398 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4610] ppid=4606 vsize=28227396 memory=288230596118052887 CPUtime=0 cores=0-7 /proc/4608/task/4610/stat : 4610 (java) S 4606 4606 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447110281 28904853504 10234 33554432000 4194304 4196468 140726355829536 140313703222416 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4611] ppid=4606 vsize=28227396 memory=139942787650075 CPUtime=0 cores=0-7 /proc/4608/task/4611/stat : 4611 (java) S 4606 4606 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447110281 28904853504 10234 33554432000 4194304 4196468 140726355829536 140313702169616 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4612] ppid=4606 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4612/stat : 4612 (java) S 4606 4606 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447110281 28904853504 10234 33554432000 4194304 4196468 140726355829536 140313701116816 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4613] ppid=4606 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4608/task/4613/stat : 4613 (java) S 4606 4606 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447110281 28904853504 10234 33554432000 4194304 4196468 140726355829536 140313700064016 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4614] ppid=4606 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4614/stat : 4614 (java) S 4606 4606 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447110281 28904853504 10234 33554432000 4194304 4196468 140726355829536 140313699011216 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4615] ppid=4606 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4608/task/4615/stat : 4615 (java) S 4606 4606 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447110281 28904853504 10234 33554432000 4194304 4196468 140726355829536 140313697958416 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4616] ppid=4606 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4616/stat : 4616 (java) S 4606 4606 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447110281 28904853504 10234 33554432000 4194304 4196468 140726355829536 140313327950224 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4617] ppid=4606 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4617/stat : 4617 (java) S 4606 4606 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447110281 28904853504 10234 33554432000 4194304 4196468 140726355829536 140313326897424 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4618] ppid=4606 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4618/stat : 4618 (java) S 4606 4606 29062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447110282 28904853504 10234 33554432000 4194304 4196468 140726355829536 140312899050352 140313783380610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4619] ppid=4606 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4619/stat : 4619 (java) S 4606 4606 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447110283 28904853504 10234 33554432000 4194304 4196468 140726355829536 140312897996320 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4620] ppid=4606 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4620/stat : 4620 (java) S 4606 4606 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447110283 28904853504 10234 33554432000 4194304 4196468 140726355829536 140312896943472 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4621] ppid=4606 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4621/stat : 4621 (java) S 4606 4606 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447110285 28904853504 10234 33554432000 4194304 4196468 140726355829536 140312895891792 140313783388059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4622] ppid=4606 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/4608/task/4622/stat : 4622 (java) S 4606 4606 29062 0 -1 1077944384 488 0 0 0 1 0 0 0 20 0 20 0 447110286 28904853504 10234 33554432000 4194304 4196468 140726355829536 140312894839152 140313783380610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4623] ppid=4606 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/4608/task/4623/stat : 4623 (java) S 4606 4606 29062 0 -1 1077944384 249 0 0 0 2 0 0 0 20 0 20 0 447110286 28904853504 10234 33554432000 4194304 4196468 140726355829536 140312893786352 140313783380610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4624] ppid=4606 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4608/task/4624/stat : 4624 (java) S 4606 4606 29062 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 447110286 28904853504 10234 33554432000 4194304 4196468 140726355829536 140312892733552 140313783380610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4625] ppid=4606 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/4608/task/4625/stat : 4625 (java) R 4606 4606 29062 0 -1 4202560 787 0 0 0 7 0 0 0 20 0 20 0 447110286 28904853504 10234 33554432000 4194304 4196468 140726355829536 140312891680752 140313769442336 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4626] ppid=4606 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4626/stat : 4626 (java) S 4606 4606 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447110286 28904853504 10234 33554432000 4194304 4196468 140726355829536 140312823458912 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4627] ppid=4606 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4608/task/4627/stat : 4627 (java) S 4606 4606 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447110286 28904853504 10234 33554432000 4194304 4196468 140726355829536 140312822406192 140313783380610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42392 KiB [startup+0.309487 s]* /proc/loadavg: 7.93 7.67 7.64 5/212 4627 /proc/meminfo: memFree=31665364/32770624 swapFree=66977252/67108860 [pid=4606] ppid=4603 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4606/stat : 4606 (xcsp3-exec) S 4603 4606 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447110280 115843072 364 33554432000 4194304 5098028 140727851144544 140727851142648 140033116947068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30097408 140727851152245 140727851152489 140727851152489 140727851155402 0 /proc/4606/statm: 28282 364 305 221 0 87 0 [pid=4608] ppid=4606 vsize=28231652 memory=49808 CPUtime=0.52 cores=0-7 /proc/4608/stat : 4608 (java) S 4606 4606 29062 0 -1 1077944320 10854 0 0 0 48 4 0 0 20 0 20 0 447110280 28909211648 12452 33554432000 4194304 4196468 140726355829536 140726355812080 140313783369463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 /proc/4608/statm: 7057913 12452 3352 1 0 7019032 0 [pid=4608/tid=4609] ppid=4606 vsize=28231652 memory=1398720917958146503 CPUtime=0.3 cores=0-7 /proc/4608/task/4609/stat : 4609 (java) R 4606 4606 29062 0 -1 4202560 7761 0 0 0 27 3 0 0 20 0 20 0 447110280 28909211648 12518 33554432000 4194304 4196468 140726355829536 140313787600576 140313767449950 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4610] ppid=4606 vsize=28231652 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/4608/task/4610/stat : 4610 (java) S 4606 4606 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447110281 28909211648 12518 33554432000 4194304 4196468 140726355829536 140313703222416 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4611] ppid=4606 vsize=28231652 memory=2120 CPUtime=0 cores=0-7 /proc/4608/task/4611/stat : 4611 (java) S 4606 4606 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447110281 28909211648 12518 33554432000 4194304 4196468 140726355829536 140313702169616 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4612] ppid=4606 vsize=28231652 memory=11976 CPUtime=0 cores=0-7 /proc/4608/task/4612/stat : 4612 (java) S 4606 4606 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447110281 28909211648 12518 33554432000 4194304 4196468 140726355829536 140313701116816 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4613] ppid=4606 vsize=28231652 memory=11568 CPUtime=0 cores=0-7 /proc/4608/task/4613/stat : 4613 (java) S 4606 4606 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447110281 28909211648 12547 33554432000 4194304 4196468 140726355829536 140313700064016 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4614] ppid=4606 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4614/stat : 4614 (java) S 4606 4606 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447110281 28909211648 12547 33554432000 4194304 4196468 140726355829536 140313699011216 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4615] ppid=4606 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4615/stat : 4615 (java) S 4606 4606 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447110281 28909211648 12547 33554432000 4194304 4196468 140726355829536 140313697958416 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4616] ppid=4606 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4616/stat : 4616 (java) S 4606 4606 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447110281 28909211648 12547 33554432000 4194304 4196468 140726355829536 140313327950224 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4617] ppid=4606 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4617/stat : 4617 (java) S 4606 4606 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447110281 28909211648 12547 33554432000 4194304 4196468 140726355829536 140313326897424 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4618] ppid=4606 vsize=28231652 memory=139942651060800 CPUtime=0 cores=0-7 /proc/4608/task/4618/stat : 4618 (java) S 4606 4606 29062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447110282 28909211648 12547 33554432000 4194304 4196468 140726355829536 140312899050352 140313783380610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4619] ppid=4606 vsize=28231652 memory=139942651065295 CPUtime=0 cores=0-7 /proc/4608/task/4619/stat : 4619 (java) S 4606 4606 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447110283 28909211648 12547 33554432000 4194304 4196468 140726355829536 140312897996320 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4620] ppid=4606 vsize=28231652 memory=1970350607106051 CPUtime=0 cores=0-7 /proc/4608/task/4620/stat : 4620 (java) S 4606 4606 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447110283 28909211648 12547 33554432000 4194304 4196468 140726355829536 140312896943472 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4621] ppid=4606 vsize=28231652 memory=2110293258171300 CPUtime=0 cores=0-7 /proc/4608/task/4621/stat : 4621 (java) S 4606 4606 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447110285 28909211648 12547 33554432000 4194304 4196468 140726355829536 140312895891792 140313783388059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4622] ppid=4606 vsize=28231652 memory=2110293258204164 CPUtime=0.02 cores=0-7 /proc/4608/task/4622/stat : 4622 (java) S 4606 4606 29062 0 -1 1077944384 509 0 0 0 2 0 0 0 20 0 20 0 447110286 28909211648 12547 33554432000 4194304 4196468 140726355829536 140312894839152 140313783380610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4623] ppid=4606 vsize=28231652 memory=2110293258175908 CPUtime=0.04 cores=0-7 /proc/4608/task/4623/stat : 4623 (java) R 4606 4606 29062 0 -1 4202560 374 0 0 0 4 0 0 0 20 0 20 0 447110286 28909211648 12547 33554432000 4194304 4196468 140726355829536 140312893776736 140313764890645 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4624] ppid=4606 vsize=28231652 memory=2110293258178212 CPUtime=0.01 cores=0-7 /proc/4608/task/4624/stat : 4624 (java) S 4606 4606 29062 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 20 0 447110286 28909211648 12547 33554432000 4194304 4196468 140726355829536 140312892733552 140313783380610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4625] ppid=4606 vsize=28231652 memory=2110293258204068 CPUtime=0.12 cores=0-7 /proc/4608/task/4625/stat : 4625 (java) S 4606 4606 29062 0 -1 1077944384 898 0 0 0 12 0 0 0 20 0 20 0 447110286 28909211648 12547 33554432000 4194304 4196468 140726355829536 140312891680752 140313783380610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4626] ppid=4606 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4626/stat : 4626 (java) S 4606 4606 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447110286 28909211648 12547 33554432000 4194304 4196468 140726355829536 140312823458912 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4627] ppid=4606 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/4608/task/4627/stat : 4627 (java) S 4606 4606 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447110286 28909211648 12547 33554432000 4194304 4196468 140726355829536 140312822406192 140313783380610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51264 KiB [startup+0.701112 s] /proc/loadavg: 7.93 7.67 7.64 4/212 4627 /proc/meminfo: memFree=31649952/32770624 swapFree=66977252/67108860 [pid=4606] ppid=4603 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4606/stat : 4606 (xcsp3-exec) S 4603 4606 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447110280 115843072 364 33554432000 4194304 5098028 140727851144544 140727851142648 140033116947068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30097408 140727851152245 140727851152489 140727851152489 140727851155402 0 /proc/4606/statm: 28282 364 305 221 0 87 0 [pid=4608] ppid=4606 vsize=28766288 memory=93352 CPUtime=1.94 cores=0-7 /proc/4608/stat : 4608 (java) S 4606 4606 29062 0 -1 1077944320 15313 0 0 0 186 8 0 0 20 0 28 0 447110280 29456678912 23338 33554432000 4194304 4196468 140726355829536 140726355812080 140313783369463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 /proc/4608/statm: 7191572 23338 3456 1 0 7152672 0 [pid=4608/tid=4609] ppid=4606 vsize=28766288 memory=7378416072918067558 CPUtime=0.58 cores=0-7 /proc/4608/task/4609/stat : 4609 (java) S 4606 4606 29062 0 -1 1077944384 8816 0 0 0 54 4 0 0 20 0 28 0 447110280 29456678912 23338 33554432000 4194304 4196468 140726355829536 140313787610240 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4610] ppid=4606 vsize=28766288 memory=139942784145024 CPUtime=0 cores=0-7 /proc/4608/task/4610/stat : 4610 (java) S 4606 4606 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447110281 29456678912 23338 33554432000 4194304 4196468 140726355829536 140313703222416 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4611] ppid=4606 vsize=28766288 memory=279885302357440 CPUtime=0 cores=0-7 /proc/4608/task/4611/stat : 4611 (java) S 4606 4606 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 447110281 29456678912 23338 33554432000 4194304 4196468 140726355829536 140313702169616 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4612] ppid=4606 vsize=28766288 memory=1060 CPUtime=0 cores=0-7 /proc/4608/task/4612/stat : 4612 (java) S 4606 4606 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447110281 29456678912 23338 33554432000 4194304 4196468 140726355829536 140313701116816 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 ################ # More data... # ################ [pid=4608/tid=4625] ppid=4606 vsize=28766288 memory=0 CPUtime=0.54 cores=0-7 /proc/4608/task/4625/stat : 4625 (java) S 4606 4606 29062 0 -1 1077944384 3385 0 0 0 54 0 0 0 20 0 28 0 447110286 29456678912 46903 33554432000 4194304 4196468 140726355829536 140312891678544 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4626] ppid=4606 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4626/stat : 4626 (java) S 4606 4606 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447110286 29456678912 46903 33554432000 4194304 4196468 140726355829536 140312823458912 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4627] ppid=4606 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4627/stat : 4627 (java) S 4606 4606 29062 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 447110286 29456678912 46903 33554432000 4194304 4196468 140726355829536 140312822406192 140313783380610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4628] ppid=4606 vsize=28766288 memory=0 CPUtime=2.06 cores=0-7 /proc/4608/task/4628/stat : 4628 (java) S 4606 4606 29062 0 -1 1077944384 196 0 0 0 206 0 0 0 20 0 28 0 447110340 29456678912 46903 33554432000 4194304 4196468 140726355829536 140312813424080 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4629] ppid=4606 vsize=28766288 memory=0 CPUtime=1.96 cores=0-7 /proc/4608/task/4629/stat : 4629 (java) R 4606 4606 29062 0 -1 1077944384 172 0 0 0 196 0 0 0 20 0 28 0 447110341 29456678912 46903 33554432000 4194304 4196468 140726355829536 140312812372704 140313783379669 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4630] ppid=4606 vsize=28766288 memory=1920 CPUtime=1.98 cores=0-7 /proc/4608/task/4630/stat : 4630 (java) R 4606 4606 29062 0 -1 4202560 271 0 0 0 198 0 0 0 20 0 28 0 447110341 29456678912 46903 33554432000 4194304 4196468 140726355829536 140312811320888 140313383554128 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4631] ppid=4606 vsize=28766288 memory=83 CPUtime=2.08 cores=0-7 /proc/4608/task/4631/stat : 4631 (java) R 4606 4606 29062 0 -1 4202560 328 0 0 0 208 0 0 0 20 0 28 0 447110341 29456678912 46903 33554432000 4194304 4196468 140726355829536 140312810266072 140313383334676 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4632] ppid=4606 vsize=28766288 memory=82 CPUtime=2.19 cores=0-7 /proc/4608/task/4632/stat : 4632 (java) R 4606 4606 29062 0 -1 4202560 185 0 0 0 219 0 0 0 20 0 28 0 447110341 29456678912 46903 33554432000 4194304 4196468 140726355829536 140312809215120 140313383211576 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4633] ppid=4606 vsize=28766288 memory=49 CPUtime=2.01 cores=0-7 /proc/4608/task/4633/stat : 4633 (java) R 4606 4606 29062 0 -1 4202560 178 0 0 0 201 0 0 0 20 0 28 0 447110341 29456678912 46903 33554432000 4194304 4196468 140726355829536 140312808156320 140313382766871 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4634] ppid=4606 vsize=28766288 memory=0 CPUtime=2.21 cores=0-7 /proc/4608/task/4634/stat : 4634 (java) R 4606 4606 29062 0 -1 4202560 178 0 0 0 221 0 0 0 20 0 28 0 447110341 29456678912 46903 33554432000 4194304 4196468 140726355829536 140312807109848 140313382766912 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4635] ppid=4606 vsize=28766288 memory=0 CPUtime=2.11 cores=0-7 /proc/4608/task/4635/stat : 4635 (java) R 4606 4606 29062 0 -1 4202560 152 0 0 0 211 0 0 0 20 0 28 0 447110341 29456678912 46903 33554432000 4194304 4196468 140726355829536 140312806056888 140313383554120 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 Current children cumulated CPU time: 22.95 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 189068 KiB [startup+3.50111 s] /proc/loadavg: 8.25 7.74 7.66 12/220 4635 /proc/meminfo: memFree=31536064/32770624 swapFree=66977252/67108860 [pid=4606] ppid=4603 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4606/stat : 4606 (xcsp3-exec) S 4603 4606 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447110280 115843072 364 33554432000 4194304 5098028 140727851144544 140727851142648 140033116947068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30097408 140727851152245 140727851152489 140727851152489 140727851155402 0 /proc/4606/statm: 28282 364 305 221 0 87 0 [pid=4608] ppid=4606 vsize=28766288 memory=196176 CPUtime=23.96 cores=0-7 /proc/4608/stat : 4608 (java) S 4606 4606 29062 0 -1 1077944320 45876 0 0 0 2376 20 0 0 20 0 28 0 447110280 29456678912 49044 33554432000 4194304 4196468 140726355829536 140726355812080 140313783369463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 /proc/4608/statm: 7191572 49044 3480 1 0 7152672 0 [pid=4608/tid=4609] ppid=4606 vsize=28766288 memory=0 CPUtime=0.58 cores=0-7 /proc/4608/task/4609/stat : 4609 (java) S 4606 4606 29062 0 -1 1077944384 8816 0 0 0 54 4 0 0 20 0 28 0 447110280 29456678912 49044 33554432000 4194304 4196468 140726355829536 140313787610240 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4610] ppid=4606 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4610/stat : 4610 (java) S 4606 4606 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447110281 29456678912 49044 33554432000 4194304 4196468 140726355829536 140313703222416 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4611] ppid=4606 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4611/stat : 4611 (java) S 4606 4606 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 447110281 29456678912 49044 33554432000 4194304 4196468 140726355829536 140313702169616 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4612] ppid=4606 vsize=28766288 memory=279885302588016 CPUtime=0 cores=0-7 /proc/4608/task/4612/stat : 4612 (java) S 4606 4606 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447110281 29456678912 49044 33554432000 4194304 4196468 140726355829536 140313701116816 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4613] ppid=4606 vsize=28766288 memory=28829630602021044 CPUtime=0 cores=0-7 /proc/4608/task/4613/stat : 4613 (java) S 4606 4606 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447110281 29456678912 49044 33554432000 4194304 4196468 140726355829536 140313700064016 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4614] ppid=4606 vsize=28766288 memory=288283359827834591 CPUtime=0 cores=0-7 /proc/4608/task/4614/stat : 4614 (java) S 4606 4606 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 447110281 29456678912 49044 33554432000 4194304 4196468 140726355829536 140313699011216 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4615] ppid=4606 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4615/stat : 4615 (java) S 4606 4606 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 447110281 29456678912 49044 33554432000 4194304 4196468 140726355829536 140313697958416 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4616] ppid=4606 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4616/stat : 4616 (java) S 4606 4606 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447110281 29456678912 49044 33554432000 4194304 4196468 140726355829536 140313327950224 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4617] ppid=4606 vsize=28766288 memory=279885302104808 CPUtime=0 cores=0-7 /proc/4608/task/4617/stat : 4617 (java) S 4606 4606 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447110281 29456678912 49044 33554432000 4194304 4196468 140726355829536 140313326897424 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4618] ppid=4606 vsize=28766288 memory=1 CPUtime=0 cores=0-7 /proc/4608/task/4618/stat : 4618 (java) S 4606 4606 29062 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 447110282 29456678912 49044 33554432000 4194304 4196468 140726355829536 140312899050352 140313783380610 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4619] ppid=4606 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4619/stat : 4619 (java) S 4606 4606 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 447110283 29456678912 49044 33554432000 4194304 4196468 140726355829536 140312897996320 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4620] ppid=4606 vsize=28766288 memory=2432 CPUtime=0 cores=0-7 /proc/4608/task/4620/stat : 4620 (java) S 4606 4606 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 447110283 29456678912 49044 33554432000 4194304 4196468 140726355829536 140312896943472 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4621] ppid=4606 vsize=28766288 memory=721 CPUtime=0 cores=0-7 /proc/4608/task/4621/stat : 4621 (java) S 4606 4606 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447110285 29456678912 49044 33554432000 4194304 4196468 140726355829536 140312895891792 140313783388059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4622] ppid=4606 vsize=28766288 memory=3 CPUtime=1.82 cores=0-7 /proc/4608/task/4622/stat : 4622 (java) R 4606 4606 29062 0 -1 4202560 8371 0 0 0 180 2 0 0 20 0 28 0 447110286 29456678912 49044 33554432000 4194304 4196468 140726355829536 140312894827744 140313763211318 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4623] ppid=4606 vsize=28766288 memory=1198 CPUtime=1.71 cores=0-7 /proc/4608/task/4623/stat : 4623 (java) R 4606 4606 29062 0 -1 4202560 7590 0 0 0 167 4 0 0 20 0 28 0 447110286 29456678912 49044 33554432000 4194304 4196468 140726355829536 140312893772128 140313764913776 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4624] ppid=4606 vsize=28766288 memory=248 CPUtime=1.9 cores=0-7 /proc/4608/task/4624/stat : 4624 (java) R 4606 4606 29062 0 -1 4202560 14651 0 0 0 185 5 0 0 20 0 28 0 447110286 29456678912 49044 33554432000 4194304 4196468 140726355829536 140312892719776 140313760638900 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4625] ppid=4606 vsize=28766288 memory=139942651125781 CPUtime=0.55 cores=0-7 /proc/4608/task/4625/stat : 4625 (java) R 4606 4606 29062 0 -1 1077944384 3412 0 0 0 55 0 0 0 20 0 28 0 447110286 29456678912 49044 33554432000 4194304 4196468 140726355829536 140312891680752 140313783380610 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4626] ppid=4606 vsize=28766288 memory=8035312762221521201 CPUtime=0 cores=0-7 /proc/4608/task/4626/stat : 4626 (java) S 4606 4606 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447110286 29456678912 49044 33554432000 4194304 4196468 140726355829536 140312823458912 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4627] ppid=4606 vsize=28766288 memory=9124452773572088723 CPUtime=0 cores=0-7 /proc/4608/task/4627/stat : 4627 (java) S 4606 4606 29062 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 447110286 29456678912 49044 33554432000 4194304 4196468 140726355829536 140312822406192 140313783380610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4628] ppid=4606 vsize=28766288 memory=-7025448733113094249 CPUtime=2.14 cores=0-7 /proc/4608/task/4628/stat : 4628 (java) R 4606 4606 29062 0 -1 4202560 198 0 0 0 214 0 0 0 20 0 28 0 447110340 29456678912 49044 33554432000 4194304 4196468 140726355829536 140312813424456 140313382766658 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4629] ppid=4606 vsize=28766288 memory=3047711566422646390 CPUtime=2.09 cores=0-7 /proc/4608/task/4629/stat : 4629 (java) R 4606 4606 29062 0 -1 4202560 177 0 0 0 209 0 0 0 20 0 28 0 447110341 29456678912 49044 33554432000 4194304 4196468 140726355829536 140312812372872 140313383344953 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4630] ppid=4606 vsize=28766288 memory=-8187100386482147110 CPUtime=2.05 cores=0-7 /proc/4608/task/4630/stat : 4630 (java) R 4606 4606 29062 0 -1 4202560 276 0 0 0 205 0 0 0 20 0 28 0 447110341 29456678912 49044 33554432000 4194304 4196468 140726355829536 140312811314784 140313382045784 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4631] ppid=4606 vsize=28766288 memory=8326441112148417181 CPUtime=2.15 cores=0-7 /proc/4608/task/4631/stat : 4631 (java) R 4606 4606 29062 0 -1 4202560 330 0 0 0 215 0 0 0 20 0 28 0 447110341 29456678912 49044 33554432000 4194304 4196468 140726355829536 140312810267112 140313383344940 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4632] ppid=4606 vsize=28766288 memory=6944613755495348631 CPUtime=2.27 cores=0-7 /proc/4608/task/4632/stat : 4632 (java) R 4606 4606 29062 0 -1 4202560 203 0 0 0 227 0 0 0 20 0 28 0 447110341 29456678912 49044 33554432000 4194304 4196468 140726355829536 140312809214184 140313382766909 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4633] ppid=4606 vsize=28766288 memory=4137293581110450563 CPUtime=2.08 cores=0-7 /proc/4608/task/4633/stat : 4633 (java) R 4606 4606 29062 0 -1 4202560 178 0 0 0 208 0 0 0 20 0 28 0 447110341 29456678912 49044 33554432000 4194304 4196468 140726355829536 140312808156320 140313383297264 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4634] ppid=4606 vsize=28766288 memory=8761640388318109335 CPUtime=2.32 cores=0-7 /proc/4608/task/4634/stat : 4634 (java) R 4606 4606 29062 0 -1 4202560 178 0 0 0 232 0 0 0 20 0 28 0 447110341 29456678912 49044 33554432000 4194304 4196468 140726355829536 140312807109848 140313377450736 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4635] ppid=4606 vsize=28766288 memory=-7384994778349281184 CPUtime=2.18 cores=0-7 /proc/4608/task/4635/stat : 4635 (java) R 4606 4606 29062 0 -1 4202560 154 0 0 0 218 0 0 0 20 0 28 0 447110341 29456678912 49044 33554432000 4194304 4196468 140726355829536 140312806056840 140313381363246 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 Current children cumulated CPU time: 23.96 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 197632 KiB [startup+3.60117 s] /proc/loadavg: 8.25 7.74 7.66 12/220 4635 /proc/meminfo: memFree=31536064/32770624 swapFree=66977252/67108860 [pid=4606] ppid=4603 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4606/stat : 4606 (xcsp3-exec) S 4603 4606 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447110280 115843072 364 33554432000 4194304 5098028 140727851144544 140727851142648 140033116947068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30097408 140727851152245 140727851152489 140727851152489 140727851155402 0 /proc/4606/statm: 28282 364 305 221 0 87 0 [pid=4608] ppid=4606 vsize=28766288 memory=206508 CPUtime=24.76 cores=0-7 /proc/4608/stat : 4608 (java) S 4606 4606 29062 0 -1 1077944320 46512 0 0 0 2456 20 0 0 20 0 28 0 447110280 29456678912 51627 33554432000 4194304 4196468 140726355829536 140726355812080 140313783369463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 /proc/4608/statm: 7191572 51627 3480 1 0 7152672 0 [pid=4608/tid=4609] ppid=4606 vsize=28766288 memory=56 CPUtime=0.58 cores=0-7 /proc/4608/task/4609/stat : 4609 (java) S 4606 4606 29062 0 -1 1077944384 8816 0 0 0 54 4 0 0 20 0 28 0 447110280 29456678912 51627 33554432000 4194304 4196468 140726355829536 140313787610240 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4610] ppid=4606 vsize=28766288 memory=-3117775541953849953 CPUtime=0 cores=0-7 /proc/4608/task/4610/stat : 4610 (java) S 4606 4606 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447110281 29456678912 51627 33554432000 4194304 4196468 140726355829536 140313703222416 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4611] ppid=4606 vsize=28766288 memory=6944656592455359580 CPUtime=0 cores=0-7 /proc/4608/task/4611/stat : 4611 (java) S 4606 4606 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 447110281 29456678912 51627 33554432000 4194304 4196468 140726355829536 140313702169616 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4612] ppid=4606 vsize=28766288 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/4608/task/4612/stat : 4612 (java) S 4606 4606 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447110281 29456678912 51627 33554432000 4194304 4196468 140726355829536 140313701116816 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4613] ppid=4606 vsize=28766288 memory=6153437043128233062 CPUtime=0 cores=0-7 /proc/4608/task/4613/stat : 4613 (java) S 4606 4606 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447110281 29456678912 51627 33554432000 4194304 4196468 140726355829536 140313700064016 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4614] ppid=4606 vsize=28766288 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/4608/task/4614/stat : 4614 (java) S 4606 4606 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 447110281 29456678912 51627 33554432000 4194304 4196468 140726355829536 140313699011216 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4615] ppid=4606 vsize=28766288 memory=7450471562457475161 CPUtime=0 cores=0-7 /proc/4608/task/4615/stat : 4615 (java) S 4606 4606 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 447110281 29456678912 51627 33554432000 4194304 4196468 140726355829536 140313697958416 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4616] ppid=4606 vsize=28766288 memory=6153437043128233062 CPUtime=0 cores=0-7 /proc/4608/task/4616/stat : 4616 (java) S 4606 4606 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447110281 29456678912 51627 33554432000 4194304 4196468 140726355829536 140313327950224 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4617] ppid=4606 vsize=28766288 memory=1456 CPUtime=0 cores=0-7 /proc/4608/task/4617/stat : 4617 (java) S 4606 4606 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447110281 29456678912 51627 33554432000 4194304 4196468 140726355829536 140313326897424 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4618] ppid=4606 vsize=28766288 memory=174740 CPUtime=0 cores=0-7 /proc/4608/task/4618/stat : 4618 (java) S 4606 4606 29062 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 447110282 29456678912 51627 33554432000 4194304 4196468 140726355829536 140312899050352 140313783380610 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4619] ppid=4606 vsize=28766288 memory=7956000585899598952 CPUtime=0 cores=0-7 /proc/4608/task/4619/stat : 4619 (java) S 4606 4606 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 447110283 29456678912 51627 33554432000 4194304 4196468 140726355829536 140312897996320 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4620] ppid=4606 vsize=28766288 memory=7593723552300819816 CPUtime=0 cores=0-7 /proc/4608/task/4620/stat : 4620 (java) S 4606 4606 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 447110283 29456678912 51627 33554432000 4194304 4196468 140726355829536 140312896943472 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4621] ppid=4606 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/4608/task/4621/stat : 4621 (java) S 4606 4606 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447110285 29456678912 51627 33554432000 4194304 4196468 140726355829536 140312895891792 140313783388059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4622] ppid=4606 vsize=28766288 memory=8027501839921867629 CPUtime=1.92 cores=0-7 /proc/4608/task/4622/stat : 4622 (java) R 4606 4606 29062 0 -1 4202560 8946 0 0 0 190 2 0 0 20 0 28 0 447110286 29456678912 51627 33554432000 4194304 4196468 140726355829536 140312894825184 140313762616216 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4623] ppid=4606 vsize=28766288 memory=8112282956445269571 CPUtime=1.76 cores=0-7 /proc/4608/task/4623/stat : 4623 (java) R 4606 4606 29062 0 -1 4202560 7610 0 0 0 172 4 0 0 20 0 28 0 447110286 29456678912 51627 33554432000 4194304 4196468 140726355829536 140312893767760 140313783383345 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4624] ppid=4606 vsize=28766288 memory=102 CPUtime=2 cores=0-7 /proc/4608/task/4624/stat : 4624 (java) R 4606 4606 29062 0 -1 4202560 14680 0 0 0 195 5 0 0 20 0 28 0 447110286 29456678912 51627 33554432000 4194304 4196468 140726355829536 140312892719520 140313768477218 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4625] ppid=4606 vsize=28766288 memory=103 CPUtime=0.55 cores=0-7 /proc/4608/task/4625/stat : 4625 (java) S 4606 4606 29062 0 -1 1077944384 3412 0 0 0 55 0 0 0 20 0 28 0 447110286 29456678912 51627 33554432000 4194304 4196468 140726355829536 140312891680752 140313783380610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4626] ppid=4606 vsize=28766288 memory=110 CPUtime=0 cores=0-7 /proc/4608/task/4626/stat : 4626 (java) S 4606 4606 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447110286 29456678912 51627 33554432000 4194304 4196468 140726355829536 140312823458912 140313783379669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4627] ppid=4606 vsize=28766288 memory=105 CPUtime=0 cores=0-7 /proc/4608/task/4627/stat : 4627 (java) S 4606 4606 29062 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 447110286 29456678912 51627 33554432000 4194304 4196468 140726355829536 140312822406192 140313783380610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4628] ppid=4606 vsize=28766288 memory=139942651473992 CPUtime=2.18 cores=0-7 /proc/4608/task/4628/stat : 4628 (java) R 4606 4606 29062 0 -1 4202560 198 0 0 0 218 0 0 0 20 0 28 0 447110340 29456678912 51627 33554432000 4194304 4196468 140726355829536 140312813423408 140313377450754 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4629] ppid=4606 vsize=28766288 memory=279885302441856 CPUtime=2.19 cores=0-7 /proc/4608/task/4629/stat : 4629 (java) R 4606 4606 29062 0 -1 4202560 177 0 0 0 219 0 0 0 20 0 28 0 447110341 29456678912 51627 33554432000 4194304 4196468 140726355829536 140312812372648 140313381682220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4630] ppid=4606 vsize=28766288 memory=0 CPUtime=2.1 cores=0-7 /proc/4608/task/4630/stat : 4630 (java) R 4606 4606 29062 0 -1 4202560 276 0 0 0 210 0 0 0 20 0 28 0 447110341 29456678912 51627 33554432000 4194304 4196468 140726355829536 140312811319784 140313383814880 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4631] ppid=4606 vsize=28766288 memory=56 CPUtime=2.23 cores=0-7 /proc/4608/task/4631/stat : 4631 (java) R 4606 4606 29062 0 -1 4202560 334 0 0 0 223 0 0 0 20 0 28 0 447110341 29456678912 51627 33554432000 4194304 4196468 140726355829536 140312810267112 140313384070037 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4632] ppid=4606 vsize=28766288 memory=0 CPUtime=2.35 cores=0-7 /proc/4608/task/4632/stat : 4632 (java) R 4606 4606 29062 0 -1 4202560 207 0 0 0 235 0 0 0 20 0 28 0 447110341 29456678912 51627 33554432000 4194304 4196468 140726355829536 140312809214184 140313383947195 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4633] ppid=4606 vsize=28766288 memory=0 CPUtime=2.14 cores=0-7 /proc/4608/task/4633/stat : 4633 (java) R 4606 4606 29062 0 -1 4202560 180 0 0 0 214 0 0 0 20 0 28 0 447110341 29456678912 51627 33554432000 4194304 4196468 140726355829536 140312808156320 140313382687988 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4634] ppid=4606 vsize=28766288 memory=0 CPUtime=2.42 cores=0-7 /proc/4608/task/4634/stat : 4634 (java) R 4606 4606 29062 0 -1 4202560 178 0 0 0 242 0 0 0 20 0 28 0 447110341 29456678912 51627 33554432000 4194304 4196468 140726355829536 140312807109848 140313382766431 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 [pid=4608/tid=4635] ppid=4606 vsize=28766288 memory=0 CPUtime=2.24 cores=0-7 /proc/4608/task/4635/stat : 4635 (java) R 4606 4606 29062 0 -1 4202560 154 0 0 0 224 0 0 0 20 0 28 0 447110341 29456678912 51627 33554432000 4194304 4196468 140726355829536 140312806056424 140313377450766 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 31543296 140726355837930 140726355838102 140726355838102 140726355840975 0 Current children cumulated CPU time: 24.76 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 207964 KiB Child status: 0 Real time (s): 3.67918 CPU time (s): 25.1657 CPU user time (s): 24.9444 CPU system time (s): 0.221336 CPU usage (%): 684.003 Max. virtual memory (cumulated for all children) (KiB): 28883940 Max. memory (cumulated for all children) (KiB): 207964 getrusage(RUSAGE_CHILDREN,...) data: user time used= 24.9444 system time used= 0.221336 maximum resident set size= 211264 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 47903 page faults= 0 swaps= 0 block input operations= 0 block output operations= 152 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4098 involuntary context switches= 856 # summary of solver processes directly reported to runsolver: # pid: 4606 # total CPU time (s): 25.1657 # total CPU user time (s): 24.9444 # total CPU system time (s): 0.221336 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.053098 second user time and 0.076461 second system time The end
Begin job on node121 at 2019-09-17 10:20:34 IDJOB=4399475 IDBENCH=133653 IDSOLVER=2854 FILE ID=node121/4399475-1568708476 RUNJOBID= node121-1568700707-29089 PBS_JOBID= 21703902 Free space on /tmp= 61408 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-04-m018.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-4399475-1568708476/watcher-4399475-1568708476 -o /tmp/evaluation-result-4399475-1568708476/solver-4399475-1568708476 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568700707-29089 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1657438079 HOME/instance-4399475-1568708476.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e1b631bab6f8bd4ad65377e678a0b81e RANDOM SEED=1657438079 node121.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.75 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.75 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.75 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.75 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: 31702488 kB MemAvailable: 31918536 kB Buffers: 69720 kB Cached: 444404 kB SwapCached: 10812 kB Active: 207948 kB Inactive: 319900 kB Active(anon): 3900 kB Inactive(anon): 42500 kB Active(file): 204048 kB Inactive(file): 277400 kB Unevictable: 109160 kB Mlocked: 109160 kB SwapTotal: 67108860 kB SwapFree: 66977252 kB Dirty: 26388 kB Writeback: 0 kB AnonPages: 112680 kB Mapped: 42068 kB Shmem: 24056 kB Slab: 130396 kB SReclaimable: 100868 kB SUnreclaim: 29528 kB KernelStack: 3504 kB PageTables: 5188 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506828 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 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= 61384 MiB End job on node121 at 2019-09-17 10:20:38