Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 25570 | 405.178 | 51.4133 |
Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-scr15.xml |
MD5SUM | 9fad1afbbcb60e61b17bf96c72dc570b |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 25570 |
Best CPU time to get the best result obtained on this benchmark | 22.6297 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 240 |
Number of constraints | 43 |
Number of domains | 2 |
Minimum domain size | 7 |
Maximum domain size | 15 |
Distribution of domain sizes | [{"size":7,"count":42},{"size":15,"count":15}] |
Minimum variable degree | 0 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":0,"count":183},{"degree":2,"count":42},{"degree":4,"count":2},{"degree":5,"count":2},{"degree":6,"count":3},{"degree":7,"count":4},{"degree":8,"count":2},{"degree":9,"count":1},{"degree":10,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 15 |
Distribution of constraint arities | [{"arity":3,"count":42},{"arity":15,"count":1}] |
Number of extensional constraints | 42 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":42},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407299-1569346838.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407299-1569346838.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.43/0.63 c solve instance... 2.02/0.73 o 48649 2.02/0.77 o 38639 2.02/0.78 o 37652 2.02/0.79 o 37371 2.63/0.82 o 36841 2.63/0.83 o 34927 2.63/0.85 o 34486 2.63/0.85 o 34013 2.63/0.86 o 33951 3.33/0.99 o 33536 4.20/1.10 o 33456 4.86/1.13 o 33402 4.86/1.17 o 32895 4.86/1.17 o 32422 4.86/1.17 o 32360 6.31/1.36 o 32170 8.72/1.61 o 32167 8.72/1.61 o 31846 9.45/1.70 o 31044 11.03/1.93 o 30268 11.03/1.98 o 29992 16.56/2.70 o 29969 17.35/2.72 o 29836 17.35/2.73 o 29638 17.35/2.74 o 29182 17.35/2.78 o 29077 17.35/2.79 o 28571 18.11/2.83 o 28213 18.11/2.87 o 28182 18.11/2.89 o 27852 18.11/2.90 o 27599 18.80/2.90 o 27297 18.80/2.90 o 27193 18.80/2.91 o 26998 20.38/3.11 o 26913 31.48/4.52 o 26262 32.23/4.64 o 25570 405.15/51.40 s OPTIMUM FOUND 405.15/51.40 v <instantiation> 405.15/51.40 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] d[0][1] d[0][2] d[0][9] d[0][10] d[0][13] d[1][2] d[1][3] d[1][4] d[1][6] d[1][8] d[1][9] d[2][5] d[2][8] d[2][9] d[2][13] d[3][4] d[3][5] d[3][6] d[3][8] d[3][11] d[4][6] d[4][7] d[4][9] d[4][14] d[5][6] d[5][11] d[6][7] d[6][9] d[6][13] d[7][12] d[8][13] d[9][10] d[9][11] d[9][13] d[9][14] d[10][11] d[10][13] d[10][14] d[11][14] d[12][13] d[12][14] d[13][14] </list> 405.15/51.40 v <values>14 6 10 7 0 3 2 1 11 5 12 4 13 9 8 2 1 3 2 2 1 1 3 1 2 1 3 1 2 1 4 1 2 1 3 2 1 2 2 1 4 1 2 3 3 2 3 1 1 2 2 2 1 1 1 2 1 </values> 405.15/51.40 v </instantiation>
OK 25570
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 (13703 MiB free) memory of node 1: 16384 MiB (14480 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407299-1569346838/watcher-4407299-1569346838 -o /tmp/evaluation-result-4407299-1569346838/solver-4407299-1569346838 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569335920-18440 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1939807362 HOME/instance-4407299-1569346838.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=24107, runsolver pid=24104 Current StackSize limit: 8192 KiB [startup+0.10011 s]* /proc/loadavg: 7.38 7.60 7.72 3/211 24128 /proc/meminfo: memFree=28843444/32770624 swapFree=66999256/67108860 [pid=24107] ppid=24104 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24107/stat : 24107 (xcsp3-exec) S 24104 24107 18413 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510936860 115843072 363 33554432000 4194304 5098028 140733315951184 140733315949288 140715670028924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26587136 140733315953531 140733315953774 140733315953774 140733315956682 0 /proc/24107/statm: 28282 363 304 221 0 87 0 [pid=24109] ppid=24107 vsize=28227396 memory=29964 CPUtime=0.12 cores=0-7 /proc/24109/stat : 24109 (java) S 24107 24107 18413 0 -1 1077944320 5964 0 0 0 11 1 0 0 20 0 20 0 510936861 28904853504 7491 33554432000 4194304 4196468 140729323020432 140729323002976 139628379307767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 /proc/24109/statm: 7056849 7491 3122 1 0 7019032 0 [pid=24109/tid=24110] ppid=24107 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/24109/task/24110/stat : 24110 (java) R 24107 24107 18413 0 -1 4202560 3866 0 0 0 8 1 0 0 20 0 20 0 510936861 28904853504 7491 33554432000 4194304 4196468 140729323020432 139628383542784 139628379319702 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24111] ppid=24107 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24111/stat : 24111 (java) S 24107 24107 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510936862 28904853504 7491 33554432000 4194304 4196468 140729323020432 139628331928080 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24112] ppid=24107 vsize=28227396 memory=288370559416530560 CPUtime=0 cores=0-7 /proc/24109/task/24112/stat : 24112 (java) S 24107 24107 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510936862 28904853504 7491 33554432000 4194304 4196468 140729323020432 139628330875536 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24113] ppid=24107 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24113/stat : 24113 (java) S 24107 24107 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510936862 28904853504 7491 33554432000 4194304 4196468 140729323020432 139628329822480 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24114] ppid=24107 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24114/stat : 24114 (java) S 24107 24107 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510936862 28904853504 7491 33554432000 4194304 4196468 140729323020432 139628328769936 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24115] ppid=24107 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24115/stat : 24115 (java) S 24107 24107 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510936862 28904853504 7491 33554432000 4194304 4196468 140729323020432 139628327717904 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24116] ppid=24107 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/24109/task/24116/stat : 24116 (java) S 24107 24107 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510936862 28904853504 7491 33554432000 4194304 4196468 140729323020432 139628326665360 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24117] ppid=24107 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24117/stat : 24117 (java) S 24107 24107 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510936862 28904853504 7491 33554432000 4194304 4196468 140729323020432 139628325612304 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24118] ppid=24107 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24118/stat : 24118 (java) S 24107 24107 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510936862 28904853504 7491 33554432000 4194304 4196468 140729323020432 139628324559760 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24119] ppid=24107 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24119/stat : 24119 (java) S 24107 24107 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510936863 28904853504 7491 33554432000 4194304 4196468 140729323020432 139627026397424 139628379318914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24120] ppid=24107 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24120/stat : 24120 (java) S 24107 24107 18413 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 510936864 28904853504 7491 33554432000 4194304 4196468 140729323020432 139627025343648 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24121] ppid=24107 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24121/stat : 24121 (java) S 24107 24107 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510936864 28904853504 7491 33554432000 4194304 4196468 140729323020432 139627024290544 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24122] ppid=24107 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24122/stat : 24122 (java) S 24107 24107 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510936866 28904853504 7491 33554432000 4194304 4196468 140729323020432 139627023239120 139628379326363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24123] ppid=24107 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24123/stat : 24123 (java) S 24107 24107 18413 0 -1 1077944384 286 0 0 0 0 0 0 0 20 0 20 0 510936866 28904853504 7491 33554432000 4194304 4196468 140729323020432 139627022187248 139628379318914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24124] ppid=24107 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24124/stat : 24124 (java) S 24107 24107 18413 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 510936866 28904853504 7491 33554432000 4194304 4196468 140729323020432 139627021134704 139628379318914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24125] ppid=24107 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24125/stat : 24125 (java) S 24107 24107 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510936866 28904853504 7491 33554432000 4194304 4196468 140729323020432 139627020081648 139628379318914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24126] ppid=24107 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/24109/task/24126/stat : 24126 (java) S 24107 24107 18413 0 -1 1077944384 382 0 0 0 2 0 0 0 20 0 20 0 510936866 28904853504 7491 33554432000 4194304 4196468 140729323020432 139627019029104 139628379318914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24127] ppid=24107 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24127/stat : 24127 (java) S 24107 24107 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510936867 28904853504 7491 33554432000 4194304 4196468 140729323020432 139627017976288 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24128] ppid=24107 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/24109/task/24128/stat : 24128 (java) S 24107 24107 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510936867 28904853504 7491 33554432000 4194304 4196468 140729323020432 139627016923824 139628379318914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31416 KiB [startup+0.210746 s]* /proc/loadavg: 7.38 7.60 7.72 2/211 24128 /proc/meminfo: memFree=28831268/32770624 swapFree=66999256/67108860 [pid=24107] ppid=24104 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24107/stat : 24107 (xcsp3-exec) S 24104 24107 18413 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510936860 115843072 363 33554432000 4194304 5098028 140733315951184 140733315949288 140715670028924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26587136 140733315953531 140733315953774 140733315953774 140733315956682 0 /proc/24107/statm: 28282 363 304 221 0 87 0 [pid=24109] ppid=24107 vsize=28227396 memory=41184 CPUtime=0.34 cores=0-7 /proc/24109/stat : 24109 (java) S 24107 24107 18413 0 -1 1077944320 9545 0 0 0 31 3 0 0 20 0 20 0 510936861 28904853504 10296 33554432000 4194304 4196468 140729323020432 140729323002976 139628379307767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 /proc/24109/statm: 7056849 10296 3296 1 0 7019032 0 [pid=24109/tid=24110] ppid=24107 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/24109/task/24110/stat : 24110 (java) R 24107 24107 18413 0 -1 4202560 6679 0 0 0 18 2 0 0 20 0 20 0 510936861 28904853504 10296 33554432000 4194304 4196468 140729323020432 139628383538320 139628379319702 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24111] ppid=24107 vsize=28227396 memory=288230609019732336 CPUtime=0 cores=0-7 /proc/24109/task/24111/stat : 24111 (java) S 24107 24107 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510936862 28904853504 10296 33554432000 4194304 4196468 140729323020432 139628331928080 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24112] ppid=24107 vsize=28227396 memory=140183264839579 CPUtime=0 cores=0-7 /proc/24109/task/24112/stat : 24112 (java) S 24107 24107 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510936862 28904853504 10296 33554432000 4194304 4196468 140729323020432 139628330875536 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24113] ppid=24107 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/24109/task/24113/stat : 24113 (java) S 24107 24107 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510936862 28904853504 10296 33554432000 4194304 4196468 140729323020432 139628329822480 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24114] ppid=24107 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24114/stat : 24114 (java) S 24107 24107 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510936862 28904853504 10296 33554432000 4194304 4196468 140729323020432 139628328769936 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24115] ppid=24107 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24115/stat : 24115 (java) S 24107 24107 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510936862 28904853504 10296 33554432000 4194304 4196468 140729323020432 139628327717904 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24116] ppid=24107 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/24109/task/24116/stat : 24116 (java) S 24107 24107 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510936862 28904853504 10296 33554432000 4194304 4196468 140729323020432 139628326665360 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24117] ppid=24107 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24117/stat : 24117 (java) S 24107 24107 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510936862 28904853504 10296 33554432000 4194304 4196468 140729323020432 139628325612304 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24118] ppid=24107 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24118/stat : 24118 (java) S 24107 24107 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510936862 28904853504 10296 33554432000 4194304 4196468 140729323020432 139628324559760 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24119] ppid=24107 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24119/stat : 24119 (java) S 24107 24107 18413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510936863 28904853504 10296 33554432000 4194304 4196468 140729323020432 139627026397424 139628379318914 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24120] ppid=24107 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24120/stat : 24120 (java) S 24107 24107 18413 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 510936864 28904853504 10296 33554432000 4194304 4196468 140729323020432 139627025343648 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24121] ppid=24107 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24121/stat : 24121 (java) S 24107 24107 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510936864 28904853504 10296 33554432000 4194304 4196468 140729323020432 139627024290544 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24122] ppid=24107 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24122/stat : 24122 (java) S 24107 24107 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510936866 28904853504 10296 33554432000 4194304 4196468 140729323020432 139627023239120 139628379326363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24123] ppid=24107 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/24109/task/24123/stat : 24123 (java) S 24107 24107 18413 0 -1 1077944384 515 0 0 0 1 0 0 0 20 0 20 0 510936866 28904853504 10296 33554432000 4194304 4196468 140729323020432 139627022187248 139628379318914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24124] ppid=24107 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/24109/task/24124/stat : 24124 (java) S 24107 24107 18413 0 -1 1077944384 263 0 0 0 2 0 0 0 20 0 20 0 510936866 28904853504 10296 33554432000 4194304 4196468 140729323020432 139627021134800 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24125] ppid=24107 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/24109/task/24125/stat : 24125 (java) S 24107 24107 18413 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 510936866 28904853504 10296 33554432000 4194304 4196468 140729323020432 139627020081648 139628379318914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24126] ppid=24107 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7 /proc/24109/task/24126/stat : 24126 (java) R 24107 24107 18413 0 -1 4202560 751 0 0 0 8 0 0 0 20 0 20 0 510936866 28904853504 10296 33554432000 4194304 4196468 140729323020432 139627019028912 139628379319702 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24127] ppid=24107 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24127/stat : 24127 (java) S 24107 24107 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510936867 28904853504 10296 33554432000 4194304 4196468 140729323020432 139627017976288 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24128] ppid=24107 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/24109/task/24128/stat : 24128 (java) S 24107 24107 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510936867 28904853504 10296 33554432000 4194304 4196468 140729323020432 139627016923824 139628379318914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42636 KiB [startup+0.312358 s]* /proc/loadavg: 7.38 7.60 7.72 4/211 24128 /proc/meminfo: memFree=28824732/32770624 swapFree=66999256/67108860 [pid=24107] ppid=24104 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24107/stat : 24107 (xcsp3-exec) S 24104 24107 18413 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510936860 115843072 363 33554432000 4194304 5098028 140733315951184 140733315949288 140715670028924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26587136 140733315953531 140733315953774 140733315953774 140733315956682 0 /proc/24107/statm: 28282 363 304 221 0 87 0 [pid=24109] ppid=24107 vsize=28231652 memory=50124 CPUtime=0.53 cores=0-7 /proc/24109/stat : 24109 (java) S 24107 24107 18413 0 -1 1077944320 10942 0 0 0 49 4 0 0 20 0 20 0 510936861 28909211648 12531 33554432000 4194304 4196468 140729323020432 140729323002976 139628379307767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 /proc/24109/statm: 7057913 12531 3344 1 0 7019032 0 [pid=24109/tid=24110] ppid=24107 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/24109/task/24110/stat : 24110 (java) R 24107 24107 18413 0 -1 4202560 7852 0 0 0 27 3 0 0 20 0 20 0 510936861 28909211648 12531 33554432000 4194304 4196468 140729323020432 139628383541552 139628363388254 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24111] ppid=24107 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24111/stat : 24111 (java) S 24107 24107 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510936862 28909211648 12531 33554432000 4194304 4196468 140729323020432 139628331928080 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24112] ppid=24107 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24112/stat : 24112 (java) S 24107 24107 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510936862 28909211648 12596 33554432000 4194304 4196468 140729323020432 139628330875536 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24113] ppid=24107 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24113/stat : 24113 (java) S 24107 24107 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510936862 28909211648 12596 33554432000 4194304 4196468 140729323020432 139628329822480 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24114] ppid=24107 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24114/stat : 24114 (java) S 24107 24107 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510936862 28909211648 12596 33554432000 4194304 4196468 140729323020432 139628328769936 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24115] ppid=24107 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24115/stat : 24115 (java) S 24107 24107 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510936862 28909211648 12596 33554432000 4194304 4196468 140729323020432 139628327717904 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24116] ppid=24107 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24116/stat : 24116 (java) S 24107 24107 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510936862 28909211648 12596 33554432000 4194304 4196468 140729323020432 139628326665360 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24117] ppid=24107 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24117/stat : 24117 (java) S 24107 24107 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510936862 28909211648 12596 33554432000 4194304 4196468 140729323020432 139628325612304 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24118] ppid=24107 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24118/stat : 24118 (java) S 24107 24107 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510936862 28909211648 12596 33554432000 4194304 4196468 140729323020432 139628324559760 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24119] ppid=24107 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24119/stat : 24119 (java) S 24107 24107 18413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510936863 28909211648 12596 33554432000 4194304 4196468 140729323020432 139627026397424 139628379318914 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24120] ppid=24107 vsize=28231652 memory=280366204263808 CPUtime=0 cores=0-7 /proc/24109/task/24120/stat : 24120 (java) S 24107 24107 18413 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 510936864 28909211648 12596 33554432000 4194304 4196468 140729323020432 139627025343648 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24121] ppid=24107 vsize=28231652 memory=280366204268416 CPUtime=0 cores=0-7 /proc/24109/task/24121/stat : 24121 (java) S 24107 24107 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510936864 28909211648 12596 33554432000 4194304 4196468 140729323020432 139627024290544 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24122] ppid=24107 vsize=28231652 memory=280366204273024 CPUtime=0 cores=0-7 /proc/24109/task/24122/stat : 24122 (java) S 24107 24107 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510936866 28909211648 12596 33554432000 4194304 4196468 140729323020432 139627023239120 139628379326363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24123] ppid=24107 vsize=28231652 memory=280366204277632 CPUtime=0.03 cores=0-7 /proc/24109/task/24123/stat : 24123 (java) R 24107 24107 18413 0 -1 4202560 631 0 0 0 3 0 0 0 20 0 20 0 510936866 28909211648 12596 33554432000 4194304 4196468 140729323020432 139627022168264 139628360717917 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24124] ppid=24107 vsize=28231652 memory=280366204282240 CPUtime=0.03 cores=0-7 /proc/24109/task/24124/stat : 24124 (java) S 24107 24107 18413 0 -1 1077944384 273 0 0 0 3 0 0 0 20 0 20 0 510936866 28909211648 12596 33554432000 4194304 4196468 140729323020432 139627021134704 139628379318914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24125] ppid=24107 vsize=28231652 memory=280366204286848 CPUtime=0.02 cores=0-7 /proc/24109/task/24125/stat : 24125 (java) S 24107 24107 18413 0 -1 1077944384 48 0 0 0 2 0 0 0 20 0 20 0 510936866 28909211648 12596 33554432000 4194304 4196468 140729323020432 139627020081648 139628379318914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24126] ppid=24107 vsize=28231652 memory=280366204291456 CPUtime=0.12 cores=0-7 /proc/24109/task/24126/stat : 24126 (java) S 24107 24107 18413 0 -1 1077944384 838 0 0 0 12 0 0 0 20 0 20 0 510936866 28909211648 12596 33554432000 4194304 4196468 140729323020432 139627019029104 139628379318914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24127] ppid=24107 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24127/stat : 24127 (java) S 24107 24107 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510936867 28909211648 12596 33554432000 4194304 4196468 140729323020432 139627017976288 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24128] ppid=24107 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/24109/task/24128/stat : 24128 (java) S 24107 24107 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510936867 28909211648 12596 33554432000 4194304 4196468 140729323020432 139627016923824 139628379318914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51576 KiB [startup+0.704781 s] /proc/loadavg: 7.38 7.60 7.72 4/211 24128 /proc/meminfo: memFree=28808048/32770624 swapFree=66999256/67108860 [pid=24107] ppid=24104 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24107/stat : 24107 (xcsp3-exec) S 24104 24107 18413 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510936860 115843072 363 33554432000 4194304 5098028 140733315951184 140733315949288 140715670028924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26587136 140733315953531 140733315953774 140733315953774 140733315956682 0 /proc/24107/statm: 28282 363 304 221 0 87 0 [pid=24109] ppid=24107 vsize=28766288 memory=104584 CPUtime=2.02 cores=0-7 /proc/24109/stat : 24109 (java) S 24107 24107 18413 0 -1 1077944320 15876 0 0 0 194 8 0 0 20 0 28 0 510936861 29456678912 26146 33554432000 4194304 4196468 140729323020432 140729323002976 139628379307767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 /proc/24109/statm: 7191572 26146 3454 1 0 7152672 0 [pid=24109/tid=24110] ppid=24107 vsize=28766288 memory=4580 CPUtime=0.62 cores=0-7 /proc/24109/task/24110/stat : 24110 (java) S 24107 24107 18413 0 -1 1077944384 9152 0 0 0 58 4 0 0 20 0 28 0 510936861 29456678912 26146 33554432000 4194304 4196468 140729323020432 139628383548544 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24111] ppid=24107 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24111/stat : 24111 (java) S 24107 24107 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510936862 29456678912 26146 33554432000 4194304 4196468 140729323020432 139628331928080 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24112] ppid=24107 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/24109/task/24112/stat : 24112 (java) S 24107 24107 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510936862 29456678912 26146 33554432000 4194304 4196468 140729323020432 139628330875536 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24113] ppid=24107 vsize=28766288 memory=2828 CPUtime=0 cores=0-7 /proc/24109/task/24113/stat : 24113 (java) S 24107 24107 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510936862 29456678912 26146 33554432000 4194304 4196468 140729323020432 139628329822480 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 ################ # More data... # ################ [pid=24109/tid=24125] ppid=24107 vsize=28834900 memory=246416 CPUtime=1.84 cores=0-7 /proc/24109/task/24125/stat : 24125 (java) S 24107 24107 18413 0 -1 1077944384 4793 0 0 0 183 1 0 0 20 0 28 0 510936866 29526937600 61728 33554432000 4194304 4196468 140729323020432 139627020081648 139628379318914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24126] ppid=24107 vsize=28834900 memory=220 CPUtime=0.75 cores=0-7 /proc/24109/task/24126/stat : 24126 (java) S 24107 24107 18413 0 -1 1077944384 5683 0 0 0 74 1 0 0 20 0 28 0 510936866 29526937600 61728 33554432000 4194304 4196468 140729323020432 139627019029104 139628379318914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24127] ppid=24107 vsize=28834900 memory=184 CPUtime=0 cores=0-7 /proc/24109/task/24127/stat : 24127 (java) S 24107 24107 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510936867 29526937600 61728 33554432000 4194304 4196468 140729323020432 139627017976288 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24128] ppid=24107 vsize=28834900 memory=75 CPUtime=0 cores=0-7 /proc/24109/task/24128/stat : 24128 (java) S 24107 24107 18413 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 28 0 510936867 29526937600 61728 33554432000 4194304 4196468 140729323020432 139627016923824 139628379318914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24426] ppid=24107 vsize=28834900 memory=0 CPUtime=46.23 cores=0-7 /proc/24109/task/24426/stat : 24426 (java) R 24107 24107 18413 0 -1 4202560 322 0 0 0 4623 0 0 0 20 0 28 0 510937325 29526937600 61728 33554432000 4194304 4196468 140729323020432 139627002680688 139628002417277 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24427] ppid=24107 vsize=28834900 memory=243717919260060 CPUtime=46.23 cores=0-7 /proc/24109/task/24427/stat : 24427 (java) R 24107 24107 18413 0 -1 4202560 315 0 0 0 4623 0 0 0 20 0 28 0 510937325 29526937600 61728 33554432000 4194304 4196468 140729323020432 139627000573736 139627999413948 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24428] ppid=24107 vsize=28834900 memory=243717919260061 CPUtime=46.29 cores=0-7 /proc/24109/task/24428/stat : 24428 (java) R 24107 24107 18413 0 -1 4202560 1529 0 0 0 4629 0 0 0 20 0 28 0 510937325 29526937600 61728 33554432000 4194304 4196468 140729323020432 139627005838040 139627999414143 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24430] ppid=24107 vsize=28834900 memory=65080 CPUtime=46.28 cores=0-7 /proc/24109/task/24430/stat : 24430 (java) R 24107 24107 18413 0 -1 4202560 959 0 0 0 4628 0 0 0 20 0 28 0 510937325 29526937600 61728 33554432000 4194304 4196468 140729323020432 139627003733016 139627999414201 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24431] ppid=24107 vsize=28834900 memory=3028 CPUtime=45.72 cores=0-7 /proc/24109/task/24431/stat : 24431 (java) R 24107 24107 18413 0 -1 4202560 973 0 0 0 4572 0 0 0 20 0 28 0 510937325 29526937600 61728 33554432000 4194304 4196468 140729323020432 139626997424792 139627999552408 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24432] ppid=24107 vsize=28834900 memory=1452 CPUtime=46.05 cores=0-7 /proc/24109/task/24432/stat : 24432 (java) R 24107 24107 18413 0 -1 4202560 641 0 0 0 4605 0 0 0 20 0 28 0 510937325 29526937600 61728 33554432000 4194304 4196468 140729323020432 139627006890088 139627999414035 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24433] ppid=24107 vsize=28834900 memory=244864 CPUtime=46.25 cores=0-7 /proc/24109/task/24433/stat : 24433 (java) R 24107 24107 18413 0 -1 4202560 616 0 0 0 4625 0 0 0 20 0 28 0 510937325 29526937600 61728 33554432000 4194304 4196468 140729323020432 139627007942128 139627999414240 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24434] ppid=24107 vsize=28834900 memory=6791534058613427641 CPUtime=46.31 cores=0-7 /proc/24109/task/24434/stat : 24434 (java) R 24107 24107 18413 0 -1 4202560 980 0 0 0 4631 0 0 0 20 0 28 0 510937325 29526937600 61728 33554432000 4194304 4196468 140729323020432 139627004785176 139627999413994 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 Current children cumulated CPU time: 402.85 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 248364 KiB [startup+51.4132 s] # the end of solver process 24107 was just reported to runsolver # cumulated CPU time of all completed processes: user=404.79 s, system=0.388795 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+51.2018 s] /proc/loadavg: 7.93 7.73 7.76 9/220 24444 /proc/meminfo: memFree=28629680/32770624 swapFree=66999256/67108860 [pid=24107] ppid=24104 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24107/stat : 24107 (xcsp3-exec) S 24104 24107 18413 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510936860 115843072 363 33554432000 4194304 5098028 140733315951184 140733315949288 140715670028924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26587136 140733315953531 140733315953774 140733315953774 140733315956682 0 /proc/24107/statm: 28282 363 304 221 0 87 0 [pid=24109] ppid=24107 vsize=28834900 memory=246912 CPUtime=403.57 cores=0-7 /proc/24109/stat : 24109 (java) S 24107 24107 18413 0 -1 1077944320 56468 0 0 0 40320 37 0 0 20 0 28 0 510936861 29526937600 61728 33554432000 4194304 4196468 140729323020432 140729323002976 139628379307767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 /proc/24109/statm: 7208725 61728 3519 1 0 7169825 0 [pid=24109/tid=24110] ppid=24107 vsize=28834900 memory=244860 CPUtime=0.64 cores=0-7 /proc/24109/task/24110/stat : 24110 (java) S 24107 24107 18413 0 -1 1077944384 9161 0 0 0 60 4 0 0 20 0 28 0 510936861 29526937600 61728 33554432000 4194304 4196468 140729323020432 139628383548544 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24111] ppid=24107 vsize=28834900 memory=-3622645143214314312 CPUtime=0.02 cores=0-7 /proc/24109/task/24111/stat : 24111 (java) S 24107 24107 18413 0 -1 1077944384 423 0 0 0 1 1 0 0 20 0 28 0 510936862 29526937600 61728 33554432000 4194304 4196468 140729323020432 139628331928080 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24112] ppid=24107 vsize=28834900 memory=1112 CPUtime=0.02 cores=0-7 /proc/24109/task/24112/stat : 24112 (java) S 24107 24107 18413 0 -1 1077944384 1325 0 0 0 1 1 0 0 20 0 28 0 510936862 29526937600 61728 33554432000 4194304 4196468 140729323020432 139628330875536 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24113] ppid=24107 vsize=28834900 memory=1004 CPUtime=0.03 cores=0-7 /proc/24109/task/24113/stat : 24113 (java) S 24107 24107 18413 0 -1 1077944384 156 0 0 0 1 2 0 0 20 0 28 0 510936862 29526937600 61728 33554432000 4194304 4196468 140729323020432 139628329822480 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24114] ppid=24107 vsize=28834900 memory=6084 CPUtime=0.03 cores=0-7 /proc/24109/task/24114/stat : 24114 (java) S 24107 24107 18413 0 -1 1077944384 915 0 0 0 2 1 0 0 20 0 28 0 510936862 29526937600 61728 33554432000 4194304 4196468 140729323020432 139628328769936 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24115] ppid=24107 vsize=28834900 memory=6791534058613427641 CPUtime=0.02 cores=0-7 /proc/24109/task/24115/stat : 24115 (java) S 24107 24107 18413 0 -1 1077944384 190 0 0 0 1 1 0 0 20 0 28 0 510936862 29526937600 61728 33554432000 4194304 4196468 140729323020432 139628327717904 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24116] ppid=24107 vsize=28834900 memory=776 CPUtime=0.02 cores=0-7 /proc/24109/task/24116/stat : 24116 (java) S 24107 24107 18413 0 -1 1077944384 256 0 0 0 1 1 0 0 20 0 28 0 510936862 29526937600 61728 33554432000 4194304 4196468 140729323020432 139628326665360 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24117] ppid=24107 vsize=28834900 memory=3604 CPUtime=0.02 cores=0-7 /proc/24109/task/24117/stat : 24117 (java) S 24107 24107 18413 0 -1 1077944384 237 0 0 0 1 1 0 0 20 0 28 0 510936862 29526937600 61728 33554432000 4194304 4196468 140729323020432 139628325612304 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24118] ppid=24107 vsize=28834900 memory=2828 CPUtime=0.02 cores=0-7 /proc/24109/task/24118/stat : 24118 (java) S 24107 24107 18413 0 -1 1077944384 1231 0 0 0 1 1 0 0 20 0 28 0 510936862 29526937600 61728 33554432000 4194304 4196468 140729323020432 139628324559760 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24119] ppid=24107 vsize=28834900 memory=1452 CPUtime=0.02 cores=0-7 /proc/24109/task/24119/stat : 24119 (java) S 24107 24107 18413 0 -1 1077944384 1439 0 0 0 2 0 0 0 20 0 28 0 510936863 29526937600 61728 33554432000 4194304 4196468 140729323020432 139627026397424 139628379318914 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24120] ppid=24107 vsize=28834900 memory=1452 CPUtime=0 cores=0-7 /proc/24109/task/24120/stat : 24120 (java) S 24107 24107 18413 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 510936864 29526937600 61728 33554432000 4194304 4196468 140729323020432 139627025343712 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24121] ppid=24107 vsize=28834900 memory=244860 CPUtime=0 cores=0-7 /proc/24109/task/24121/stat : 24121 (java) S 24107 24107 18413 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 510936864 29526937600 61728 33554432000 4194304 4196468 140729323020432 139627024290560 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24122] ppid=24107 vsize=28834900 memory=65080 CPUtime=0 cores=0-7 /proc/24109/task/24122/stat : 24122 (java) S 24107 24107 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510936866 29526937600 61728 33554432000 4194304 4196468 140729323020432 139627023239120 139628379326363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24123] ppid=24107 vsize=28834900 memory=246912 CPUtime=1.59 cores=0-7 /proc/24109/task/24123/stat : 24123 (java) S 24107 24107 18413 0 -1 1077944384 8748 0 0 0 158 1 0 0 20 0 28 0 510936866 29526937600 61728 33554432000 4194304 4196468 140729323020432 139627022187248 139628379318914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24124] ppid=24107 vsize=28834900 memory=1452 CPUtime=2.2 cores=0-7 /proc/24109/task/24124/stat : 24124 (java) S 24107 24107 18413 0 -1 1077944384 8578 0 0 0 218 2 0 0 20 0 28 0 510936866 29526937600 61728 33554432000 4194304 4196468 140729323020432 139627021134704 139628379318914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24125] ppid=24107 vsize=28834900 memory=244860 CPUtime=1.84 cores=0-7 /proc/24109/task/24125/stat : 24125 (java) S 24107 24107 18413 0 -1 1077944384 4793 0 0 0 183 1 0 0 20 0 28 0 510936866 29526937600 61728 33554432000 4194304 4196468 140729323020432 139627020081648 139628379318914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24126] ppid=24107 vsize=28834900 memory=209847807164121 CPUtime=0.75 cores=0-7 /proc/24109/task/24126/stat : 24126 (java) S 24107 24107 18413 0 -1 1077944384 5683 0 0 0 74 1 0 0 20 0 28 0 510936866 29526937600 61728 33554432000 4194304 4196468 140729323020432 139627019029104 139628379318914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24127] ppid=24107 vsize=28834900 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/24109/task/24127/stat : 24127 (java) S 24107 24107 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510936867 29526937600 61728 33554432000 4194304 4196468 140729323020432 139627017976288 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24128] ppid=24107 vsize=28834900 memory=246416 CPUtime=0 cores=0-7 /proc/24109/task/24128/stat : 24128 (java) S 24107 24107 18413 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 28 0 510936867 29526937600 61728 33554432000 4194304 4196468 140729323020432 139627016923824 139628379318914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24426] ppid=24107 vsize=28834900 memory=8257237230052613020 CPUtime=46.32 cores=0-7 /proc/24109/task/24426/stat : 24426 (java) R 24107 24107 18413 0 -1 4202560 322 0 0 0 4632 0 0 0 20 0 28 0 510937325 29526937600 61728 33554432000 4194304 4196468 140729323020432 139627002680688 139627999414545 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24427] ppid=24107 vsize=28834900 memory=-7233780906022716832 CPUtime=46.32 cores=0-7 /proc/24109/task/24427/stat : 24427 (java) R 24107 24107 18413 0 -1 4202560 315 0 0 0 4632 0 0 0 20 0 28 0 510937325 29526937600 61728 33554432000 4194304 4196468 140729323020432 139627000573736 139628000569509 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24428] ppid=24107 vsize=28834900 memory=-7173504570862900581 CPUtime=46.38 cores=0-7 /proc/24109/task/24428/stat : 24428 (java) R 24107 24107 18413 0 -1 4202560 1529 0 0 0 4638 0 0 0 20 0 28 0 510937325 29526937600 61728 33554432000 4194304 4196468 140729323020432 139627005838040 139627999414647 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24430] ppid=24107 vsize=28834900 memory=0 CPUtime=46.37 cores=0-7 /proc/24109/task/24430/stat : 24430 (java) R 24107 24107 18413 0 -1 4202560 960 0 0 0 4637 0 0 0 20 0 28 0 510937325 29526937600 61728 33554432000 4194304 4196468 140729323020432 139627003733016 139627999414611 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24431] ppid=24107 vsize=28834900 memory=-7751062316387021378 CPUtime=45.81 cores=0-7 /proc/24109/task/24431/stat : 24431 (java) R 24107 24107 18413 0 -1 4202560 974 0 0 0 4581 0 0 0 20 0 28 0 510937325 29526937600 61728 33554432000 4194304 4196468 140729323020432 139626997424792 139627999414474 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24432] ppid=24107 vsize=28834900 memory=6944656592455359545 CPUtime=46.14 cores=0-7 /proc/24109/task/24432/stat : 24432 (java) R 24107 24107 18413 0 -1 4202560 642 0 0 0 4614 0 0 0 20 0 28 0 510937325 29526937600 61728 33554432000 4194304 4196468 140729323020432 139627006890088 139628360714066 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24433] ppid=24107 vsize=28834900 memory=7228959573337465444 CPUtime=46.34 cores=0-7 /proc/24109/task/24433/stat : 24433 (java) R 24107 24107 18413 0 -1 4202560 616 0 0 0 4634 0 0 0 20 0 28 0 510937325 29526937600 61728 33554432000 4194304 4196468 140729323020432 139627007942128 139627999798319 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24434] ppid=24107 vsize=28834900 memory=7523376918531162212 CPUtime=46.4 cores=0-7 /proc/24109/task/24434/stat : 24434 (java) R 24107 24107 18413 0 -1 4202560 980 0 0 0 4640 0 0 0 20 0 28 0 510937325 29526937600 61728 33554432000 4194304 4196468 140729323020432 139627004785176 139628000570318 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 Current children cumulated CPU time: 403.57 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 248364 KiB [startup+51.4011 s] /proc/loadavg: 7.93 7.73 7.76 9/220 24444 /proc/meminfo: memFree=28629680/32770624 swapFree=66999256/67108860 [pid=24107] ppid=24104 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24107/stat : 24107 (xcsp3-exec) S 24104 24107 18413 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510936860 115843072 363 33554432000 4194304 5098028 140733315951184 140733315949288 140715670028924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26587136 140733315953531 140733315953774 140733315953774 140733315956682 0 /proc/24107/statm: 28282 363 304 221 0 87 0 [pid=24109] ppid=24107 vsize=28834900 memory=247076 CPUtime=405.15 cores=0-7 /proc/24109/stat : 24109 (java) S 24107 24107 18413 0 -1 1077944320 56792 0 0 0 40478 37 0 0 20 0 28 0 510936861 29526937600 61769 33554432000 4194304 4196468 140729323020432 140729323002976 139628379307767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 /proc/24109/statm: 7208725 61769 3519 1 0 7169825 0 [pid=24109/tid=24110] ppid=24107 vsize=28834900 memory=1452 CPUtime=0.64 cores=0-7 /proc/24109/task/24110/stat : 24110 (java) S 24107 24107 18413 0 -1 1077944384 9240 0 0 0 60 4 0 0 20 0 28 0 510936861 29526937600 61752 33554432000 4194304 4196468 140729323020432 139628383548144 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24111] ppid=24107 vsize=28834900 memory=1452 CPUtime=0.02 cores=0-7 /proc/24109/task/24111/stat : 24111 (java) S 24107 24107 18413 0 -1 1077944384 423 0 0 0 1 1 0 0 20 0 26 0 510936862 29526937600 61752 33554432000 4194304 4196468 140729323020432 139628331928080 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24112] ppid=24107 vsize=28834900 memory=242132 CPUtime=0.02 cores=0-7 /proc/24109/task/24112/stat : 24112 (java) S 24107 24107 18413 0 -1 1077944384 1325 0 0 0 1 1 0 0 20 0 26 0 510936862 29526937600 61752 33554432000 4194304 4196468 140729323020432 139628330875536 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24113] ppid=24107 vsize=28834900 memory=776 CPUtime=0.03 cores=0-7 /proc/24109/task/24113/stat : 24113 (java) S 24107 24107 18413 0 -1 1077944384 156 0 0 0 1 2 0 0 20 0 26 0 510936862 29526937600 61752 33554432000 4194304 4196468 140729323020432 139628329822480 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24114] ppid=24107 vsize=28834900 memory=1452 CPUtime=0.03 cores=0-7 /proc/24109/task/24114/stat : 24114 (java) S 24107 24107 18413 0 -1 1077944384 915 0 0 0 2 1 0 0 20 0 26 0 510936862 29526937600 61752 33554432000 4194304 4196468 140729323020432 139628328769936 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24115] ppid=24107 vsize=28834900 memory=233400 CPUtime=0.02 cores=0-7 /proc/24109/task/24115/stat : 24115 (java) S 24107 24107 18413 0 -1 1077944384 190 0 0 0 1 1 0 0 20 0 26 0 510936862 29526937600 61752 33554432000 4194304 4196468 140729323020432 139628327717904 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24116] ppid=24107 vsize=28834900 memory=111628 CPUtime=0.02 cores=0-7 /proc/24109/task/24116/stat : 24116 (java) S 24107 24107 18413 0 -1 1077944384 256 0 0 0 1 1 0 0 20 0 26 0 510936862 29526937600 61735 33554432000 4194304 4196468 140729323020432 139628326665360 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24117] ppid=24107 vsize=28834900 memory=796 CPUtime=0.02 cores=0-7 /proc/24109/task/24117/stat : 24117 (java) S 24107 24107 18413 0 -1 1077944384 237 0 0 0 1 1 0 0 20 0 25 0 510936862 29526937600 61735 33554432000 4194304 4196468 140729323020432 139628325612304 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24118] ppid=24107 vsize=28834900 memory=1808 CPUtime=0.02 cores=0-7 /proc/24109/task/24118/stat : 24118 (java) S 24107 24107 18413 0 -1 1077944384 1231 0 0 0 1 1 0 0 20 0 25 0 510936862 29526937600 61718 33554432000 4194304 4196468 140729323020432 139628324559760 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24119] ppid=24107 vsize=28834900 memory=920 CPUtime=0.02 cores=0-7 /proc/24109/task/24119/stat : 24119 (java) R 24107 24107 18413 0 -1 1077944384 1480 0 0 0 2 0 0 0 20 0 25 0 510936863 29526937600 61718 33554432000 4194304 4196468 140729323020432 139627026397424 139628379318914 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24120] ppid=24107 vsize=28834900 memory=4792 CPUtime=0 cores=0-7 /proc/24109/task/24120/stat : 24120 (java) S 24107 24107 18413 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 24 0 510936864 29526937600 61718 33554432000 4194304 4196468 140729323020432 139627025343712 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24121] ppid=24107 vsize=28834900 memory=4104 CPUtime=0 cores=0-7 /proc/24109/task/24121/stat : 24121 (java) S 24107 24107 18413 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 24 0 510936864 29526937600 61718 33554432000 4194304 4196468 140729323020432 139627024290560 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24122] ppid=24107 vsize=28834900 memory=1408 CPUtime=0 cores=0-7 /proc/24109/task/24122/stat : 24122 (java) S 24107 24107 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510936866 29526937600 61718 33554432000 4194304 4196468 140729323020432 139627023239120 139628379326363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24123] ppid=24107 vsize=28834900 memory=1452 CPUtime=1.59 cores=0-7 /proc/24109/task/24123/stat : 24123 (java) S 24107 24107 18413 0 -1 1077944384 8748 0 0 0 158 1 0 0 20 0 24 0 510936866 29526937600 61718 33554432000 4194304 4196468 140729323020432 139627022187248 139628379318914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24124] ppid=24107 vsize=28834900 memory=246912 CPUtime=2.2 cores=0-7 /proc/24109/task/24124/stat : 24124 (java) S 24107 24107 18413 0 -1 1077944384 8578 0 0 0 218 2 0 0 20 0 24 0 510936866 29526937600 61718 33554432000 4194304 4196468 140729323020432 139627021134704 139628379318914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24125] ppid=24107 vsize=28834900 memory=796 CPUtime=1.84 cores=0-7 /proc/24109/task/24125/stat : 24125 (java) S 24107 24107 18413 0 -1 1077944384 4793 0 0 0 183 1 0 0 20 0 24 0 510936866 29526937600 61718 33554432000 4194304 4196468 140729323020432 139627020081648 139628379318914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24126] ppid=24107 vsize=28834900 memory=1808 CPUtime=0.75 cores=0-7 /proc/24109/task/24126/stat : 24126 (java) S 24107 24107 18413 0 -1 1077944384 5683 0 0 0 74 1 0 0 20 0 24 0 510936866 29526937600 61718 33554432000 4194304 4196468 140729323020432 139627019029104 139628379318914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24127] ppid=24107 vsize=28834900 memory=920 CPUtime=0 cores=0-7 /proc/24109/task/24127/stat : 24127 (java) S 24107 24107 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510936867 29526937600 61701 33554432000 4194304 4196468 140729323020432 139627017976288 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24128] ppid=24107 vsize=28834900 memory=4792 CPUtime=0 cores=0-7 /proc/24109/task/24128/stat : 24128 (java) S 24107 24107 18413 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 23 0 510936867 29526937600 61701 33554432000 4194304 4196468 140729323020432 139627016923824 139628379318914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24427] ppid=24107 vsize=28834900 memory=1452 CPUtime=46.52 cores=0-7 /proc/24109/task/24427/stat : 24427 (java) S 24107 24107 18413 0 -1 1077944384 334 0 0 0 4652 0 0 0 20 0 23 0 510937325 29526937600 61701 33554432000 4194304 4196468 140729323020432 139627000579168 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24428] ppid=24107 vsize=28834900 memory=246416 CPUtime=46.57 cores=0-7 /proc/24109/task/24428/stat : 24428 (java) R 24107 24107 18413 0 -1 1077944384 1536 0 0 0 4657 0 0 0 20 0 23 0 510937325 29526937600 61701 33554432000 4194304 4196468 140729323020432 139627005842832 139628379317973 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 [pid=24109/tid=24432] ppid=24107 vsize=28834900 memory=65080 CPUtime=46.34 cores=0-7 /proc/24109/task/24432/stat : 24432 (java) S 24107 24107 18413 0 -1 1077944384 646 0 0 0 4634 0 0 0 20 0 23 0 510937325 29526937600 61701 33554432000 4194304 4196468 140729323020432 139627006895712 139628379317973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140729323029488 140729323029659 140729323029659 140729323032527 0 Current children cumulated CPU time: 405.15 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 248528 KiB Child status: 0 Real time (s): 51.4133 CPU time (s): 405.178 CPU user time (s): 404.79 CPU system time (s): 0.388795 CPU usage (%): 788.081 Max. virtual memory (cumulated for all children) (KiB): 28948028 Max. memory (cumulated for all children) (KiB): 252476 getrusage(RUSAGE_CHILDREN,...) data: user time used= 404.79 system time used= 0.388795 maximum resident set size= 257160 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 58391 page faults= 0 swaps= 0 block input operations= 0 block output operations= 192 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8779 involuntary context switches= 5550 # summary of solver processes directly reported to runsolver: # pid: 24107 # total CPU time (s): 405.178 # total CPU user time (s): 404.79 # total CPU system time (s): 0.388795 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.463586 second user time and 0.594877 second system time The end
Begin job on node103 at 2019-09-24 19:39:39 IDJOB=4407299 IDBENCH=123019 IDSOLVER=2872 FILE ID=node103/4407299-1569346838 RUNJOBID= node103-1569335920-18440 PBS_JOBID= 21705072 Free space on /tmp= 20860 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-scr15.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-4407299-1569346838/watcher-4407299-1569346838 -o /tmp/evaluation-result-4407299-1569346838/solver-4407299-1569346838 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569335920-18440 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1939807362 HOME/instance-4407299-1569346838.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 9fad1afbbcb60e61b17bf96c72dc570b RANDOM SEED=1939807362 node103.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.74 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.74 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.74 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.74 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: 28861372 kB MemAvailable: 31849256 kB Buffers: 52912 kB Cached: 3211884 kB SwapCached: 7000 kB Active: 3166404 kB Inactive: 113796 kB Active(anon): 3744 kB Inactive(anon): 69352 kB Active(file): 3162660 kB Inactive(file): 44444 kB Unevictable: 107056 kB Mlocked: 107056 kB SwapTotal: 67108860 kB SwapFree: 66999256 kB Dirty: 26304 kB Writeback: 0 kB AnonPages: 167180 kB Mapped: 57720 kB Shmem: 49080 kB Slab: 221836 kB SReclaimable: 193228 kB SUnreclaim: 28608 kB KernelStack: 3872 kB PageTables: 5984 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514820 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 122880 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 20836 MiB End job on node103 at 2019-09-24 19:40:30