Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | OPT | 1053 | 336.907 | 42.9108 |
Name | Mario/ Mario-n-medium-2_c18.xml |
MD5SUM | d930a285b222420c6879960cff9efc87 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1053 |
Best CPU time to get the best result obtained on this benchmark | 336.907 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 90 |
Number of constraints | 61 |
Number of domains | 54 |
Minimum domain size | 1 |
Maximum domain size | 30 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":2,"count":28},{"size":28,"count":1},{"size":29,"count":5},{"size":30,"count":54}] |
Minimum variable degree | 1 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":1,"count":2},{"degree":2,"count":59},{"degree":3,"count":29}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 30 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":58},{"arity":30,"count":2}] |
Number of extensional constraints | 30 |
Number of intensional constraints | 29 |
Distribution of constraint types | [{"type":"extension","count":30},{"type":"intension","count":29},{"type":"sum","count":1},{"type":"circuit","count":1}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297597-1532724206.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4297597-1532724206.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 2.27/0.83 c solve instance... 2.90/0.97 o 0 2.90/0.98 o 40 3.65/1.05 o 115 3.65/1.05 o 243 3.65/1.06 o 398 4.37/1.12 o 430 4.37/1.19 o 497 6.59/1.42 o 545 6.59/1.42 o 594 11.40/2.10 o 597 13.76/2.31 o 677 13.76/2.32 o 712 14.47/2.47 o 738 15.23/2.50 o 781 22.40/3.42 o 788 23.17/3.56 o 798 23.17/3.59 o 826 24.67/3.71 o 860 72.46/9.78 o 922 127.42/16.67 o 977 142.51/18.56 o 989 199.83/25.72 o 1053 336.23/42.88 s OPTIMUM FOUND 336.23/42.88 v <instantiation> 336.23/42.88 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[20] g[21] g[22] g[23] g[24] g[25] g[26] g[27] g[28] g[29] </list> 336.23/42.88 v <values>10 0 29 19 1 5 6 2 9 25 22 4 20 13 24 15 12 17 18 16 28 21 14 23 7 3 26 11 27 8 34 0 296 83 13 0 0 31 54 54 207 228 122 0 16 0 23 0 0 85 127 0 270 0 68 152 0 45 34 55 0 0 40 67 89 0 0 19 47 68 94 86 34 0 14 0 67 0 0 31 78 0 99 0 56 14 0 35 53 62 </values> 336.23/42.88 v </instantiation>
OK 1053
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 (13291 MiB free) memory of node 1: 16384 MiB (14235 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297597-1532724206/watcher-4297597-1532724206 -o /tmp/evaluation-result-4297597-1532724206/solver-4297597-1532724206 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1532721509-28173 --watchdog 2580 HOME/xcsp3-exec -seed 555773745 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297597-1532724206.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 solver pid=30424, runsolver pid=30421 Current StackSize limit: 8192 KiB [startup+0.105526 s]* /proc/loadavg: 6.53 7.90 8.10 2/204 30445 /proc/meminfo: memFree=28171288/32770624 swapFree=67108744/67108860 [pid=30424] ppid=30421 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30424/stat : 30424 (xcsp3-exec) S 30421 30424 28146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89983821 115843072 363 33554432000 4194304 5098028 140733609164080 140733609162184 139750766686844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40542208 140733609169974 140733609170176 140733609170176 140733609172938 0 /proc/30424/statm: 28282 363 305 221 0 87 0 [pid=30426] ppid=30424 vsize=26104152 memory=27580 CPUtime=0.12 cores=0-7 /proc/30426/stat : 30426 (java) S 30424 30424 28146 0 -1 1077944320 5837 0 0 0 11 1 0 0 20 0 20 0 89983821 26730651648 6895 33554432000 4194304 4196468 140734590079648 140734590062192 140327739322103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 /proc/30426/statm: 6526038 6895 2996 1 0 6488315 0 [pid=30426/tid=30427] ppid=30424 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/30426/task/30427/stat : 30427 (java) R 30424 30424 28146 0 -1 4202560 3840 0 0 0 8 1 0 0 20 0 20 0 89983822 26730651648 6895 33554432000 4194304 4196468 140734590079648 140327743548464 140327739334038 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30428] ppid=30424 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/30426/task/30428/stat : 30428 (java) S 30424 30424 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89983822 26730651648 6895 33554432000 4194304 4196468 140734590079648 140327661902736 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30429] ppid=30424 vsize=26104152 memory=140096774289024 CPUtime=0 cores=0-7 /proc/30426/task/30429/stat : 30429 (java) S 30424 30424 28146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89983822 26730651648 6895 33554432000 4194304 4196468 140734590079648 140327660849936 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30430] ppid=30424 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/30426/task/30430/stat : 30430 (java) S 30424 30424 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89983822 26730651648 6895 33554432000 4194304 4196468 140734590079648 140327659797648 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30431] ppid=30424 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/30426/task/30431/stat : 30431 (java) S 30424 30424 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89983822 26730651648 6895 33554432000 4194304 4196468 140734590079648 140327658744848 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30432] ppid=30424 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/30426/task/30432/stat : 30432 (java) S 30424 30424 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89983822 26730651648 6895 33554432000 4194304 4196468 140734590079648 140327657691536 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30433] ppid=30424 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/30426/task/30433/stat : 30433 (java) S 30424 30424 28146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89983822 26730651648 6960 33554432000 4194304 4196468 140734590079648 140327656638736 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30434] ppid=30424 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/30426/task/30434/stat : 30434 (java) S 30424 30424 28146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89983822 26730651648 6960 33554432000 4194304 4196468 140734590079648 140327655586448 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30435] ppid=30424 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/30426/task/30435/stat : 30435 (java) S 30424 30424 28146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89983822 26730651648 6960 33554432000 4194304 4196468 140734590079648 140327290690064 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30436] ppid=30424 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/30426/task/30436/stat : 30436 (java) S 30424 30424 28146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89983824 26730651648 6960 33554432000 4194304 4196468 140734590079648 140327134435952 140327739333250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30437] ppid=30424 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/30426/task/30437/stat : 30437 (java) S 30424 30424 28146 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89983824 26730651648 6960 33554432000 4194304 4196468 140734590079648 140327133381920 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30438] ppid=30424 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/30426/task/30438/stat : 30438 (java) S 30424 30424 28146 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89983824 26730651648 6960 33554432000 4194304 4196468 140734590079648 140327132329584 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30439] ppid=30424 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/30426/task/30439/stat : 30439 (java) S 30424 30424 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89983827 26730651648 6960 33554432000 4194304 4196468 140734590079648 140327131277904 140327739340699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30440] ppid=30424 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/30426/task/30440/stat : 30440 (java) S 30424 30424 28146 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 89983827 26730651648 6960 33554432000 4194304 4196468 140734590079648 140327130224752 140327739333250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30441] ppid=30424 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/30426/task/30441/stat : 30441 (java) S 30424 30424 28146 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 89983827 26730651648 6960 33554432000 4194304 4196468 140734590079648 140327129171952 140327739333250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30442] ppid=30424 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/30426/task/30442/stat : 30442 (java) S 30424 30424 28146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89983827 26730651648 6960 33554432000 4194304 4196468 140734590079648 140327128119664 140327739333250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30443] ppid=30424 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/30426/task/30443/stat : 30443 (java) R 30424 30424 28146 0 -1 4202560 297 0 0 0 1 0 0 0 20 0 20 0 89983827 26730651648 6960 33554432000 4194304 4196468 140734590079648 140327127066864 140327718247814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30444] ppid=30424 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/30426/task/30444/stat : 30444 (java) S 30424 30424 28146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89983827 26730651648 6960 33554432000 4194304 4196468 140734590079648 140327126014816 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30445] ppid=30424 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/30426/task/30445/stat : 30445 (java) S 30424 30424 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89983827 26730651648 6960 33554432000 4194304 4196468 140734590079648 140327124962096 140327739333250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 29032 KiB [startup+0.210561 s]* /proc/loadavg: 6.53 7.90 8.10 2/204 30445 /proc/meminfo: memFree=28161128/32770624 swapFree=67108744/67108860 [pid=30424] ppid=30421 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30424/stat : 30424 (xcsp3-exec) S 30421 30424 28146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89983821 115843072 363 33554432000 4194304 5098028 140733609164080 140733609162184 139750766686844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40542208 140733609169974 140733609170176 140733609170176 140733609172938 0 /proc/30424/statm: 28282 363 305 221 0 87 0 [pid=30426] ppid=30424 vsize=26104152 memory=39684 CPUtime=0.33 cores=0-7 /proc/30426/stat : 30426 (java) S 30424 30424 28146 0 -1 1077944320 8466 0 0 0 30 3 0 0 20 0 20 0 89983821 26730651648 9921 33554432000 4194304 4196468 140734590079648 140734590062192 140327739322103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 /proc/30426/statm: 6526038 9921 3189 1 0 6488315 0 [pid=30426/tid=30427] ppid=30424 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/30426/task/30427/stat : 30427 (java) R 30424 30424 28146 0 -1 4202560 5597 0 0 0 18 1 0 0 20 0 20 0 89983822 26730651648 9921 33554432000 4194304 4196468 140734590079648 140327743551824 140327337221131 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30428] ppid=30424 vsize=26104152 memory=340 CPUtime=0 cores=0-7 /proc/30426/task/30428/stat : 30428 (java) S 30424 30424 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89983822 26730651648 9921 33554432000 4194304 4196468 140734590079648 140327661902736 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30429] ppid=30424 vsize=26104152 memory=140096774821698 CPUtime=0 cores=0-7 /proc/30426/task/30429/stat : 30429 (java) S 30424 30424 28146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89983822 26730651648 9921 33554432000 4194304 4196468 140734590079648 140327660849936 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30430] ppid=30424 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/30426/task/30430/stat : 30430 (java) S 30424 30424 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89983822 26730651648 9921 33554432000 4194304 4196468 140734590079648 140327659797648 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30431] ppid=30424 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/30426/task/30431/stat : 30431 (java) S 30424 30424 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89983822 26730651648 9921 33554432000 4194304 4196468 140734590079648 140327658744848 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30432] ppid=30424 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/30426/task/30432/stat : 30432 (java) S 30424 30424 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89983822 26730651648 9921 33554432000 4194304 4196468 140734590079648 140327657691536 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30433] ppid=30424 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/30426/task/30433/stat : 30433 (java) S 30424 30424 28146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89983822 26730651648 9921 33554432000 4194304 4196468 140734590079648 140327656638736 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30434] ppid=30424 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/30426/task/30434/stat : 30434 (java) S 30424 30424 28146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89983822 26730651648 9921 33554432000 4194304 4196468 140734590079648 140327655586448 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30435] ppid=30424 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/30426/task/30435/stat : 30435 (java) S 30424 30424 28146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89983822 26730651648 9921 33554432000 4194304 4196468 140734590079648 140327290690064 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30436] ppid=30424 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/30426/task/30436/stat : 30436 (java) S 30424 30424 28146 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89983824 26730651648 9921 33554432000 4194304 4196468 140734590079648 140327134435952 140327739333250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30437] ppid=30424 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/30426/task/30437/stat : 30437 (java) S 30424 30424 28146 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89983824 26730651648 9921 33554432000 4194304 4196468 140734590079648 140327133381920 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30438] ppid=30424 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/30426/task/30438/stat : 30438 (java) S 30424 30424 28146 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89983824 26730651648 9921 33554432000 4194304 4196468 140734590079648 140327132329584 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30439] ppid=30424 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/30426/task/30439/stat : 30439 (java) S 30424 30424 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89983827 26730651648 9921 33554432000 4194304 4196468 140734590079648 140327131277904 140327739340699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30440] ppid=30424 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/30426/task/30440/stat : 30440 (java) S 30424 30424 28146 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 89983827 26730651648 9921 33554432000 4194304 4196468 140734590079648 140327130224752 140327739333250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30441] ppid=30424 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/30426/task/30441/stat : 30441 (java) S 30424 30424 28146 0 -1 1077944384 335 0 0 0 1 0 0 0 20 0 20 0 89983827 26730651648 9921 33554432000 4194304 4196468 140734590079648 140327129171952 140327739333250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30442] ppid=30424 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7 /proc/30426/task/30442/stat : 30442 (java) S 30424 30424 28146 0 -1 1077944384 178 0 0 0 1 0 0 0 20 0 20 0 89983827 26730651648 9921 33554432000 4194304 4196468 140734590079648 140327128119664 140327739333250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30443] ppid=30424 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7 /proc/30426/task/30443/stat : 30443 (java) R 30424 30424 28146 0 -1 4202560 738 0 0 0 7 0 0 0 20 0 20 0 89983827 26730651648 9921 33554432000 4194304 4196468 140734590079648 140327127066864 140327718632430 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30444] ppid=30424 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/30426/task/30444/stat : 30444 (java) S 30424 30424 28146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89983827 26730651648 9921 33554432000 4194304 4196468 140734590079648 140327126014816 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30445] ppid=30424 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/30426/task/30445/stat : 30445 (java) S 30424 30424 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89983827 26730651648 9921 33554432000 4194304 4196468 140734590079648 140327124962096 140327739333250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 41136 KiB [startup+0.31052 s]* /proc/loadavg: 6.53 7.90 8.10 5/204 30445 /proc/meminfo: memFree=28154800/32770624 swapFree=67108744/67108860 [pid=30424] ppid=30421 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30424/stat : 30424 (xcsp3-exec) S 30421 30424 28146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89983821 115843072 363 33554432000 4194304 5098028 140733609164080 140733609162184 139750766686844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40542208 140733609169974 140733609170176 140733609170176 140733609172938 0 /proc/30424/statm: 28282 363 305 221 0 87 0 [pid=30426] ppid=30424 vsize=26108408 memory=46260 CPUtime=0.51 cores=0-7 /proc/30426/stat : 30426 (java) S 30424 30424 28146 0 -1 1077944320 9306 0 0 0 47 4 0 0 20 0 20 0 89983821 26735009792 11565 33554432000 4194304 4196468 140734590079648 140734590062192 140327739322103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 /proc/30426/statm: 6527102 11565 3229 1 0 6488315 0 [pid=30426/tid=30427] ppid=30424 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/30426/task/30427/stat : 30427 (java) R 30424 30424 28146 0 -1 4202560 6251 0 0 0 27 2 0 0 20 0 20 0 89983822 26735009792 11565 33554432000 4194304 4196468 140734590079648 140327743559264 140327739344029 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30428] ppid=30424 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/30426/task/30428/stat : 30428 (java) S 30424 30424 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89983822 26735009792 11565 33554432000 4194304 4196468 140734590079648 140327661902736 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30429] ppid=30424 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/30426/task/30429/stat : 30429 (java) S 30424 30424 28146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89983822 26735009792 11565 33554432000 4194304 4196468 140734590079648 140327660849936 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30430] ppid=30424 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/30426/task/30430/stat : 30430 (java) S 30424 30424 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89983822 26735009792 11565 33554432000 4194304 4196468 140734590079648 140327659797648 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30431] ppid=30424 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/30426/task/30431/stat : 30431 (java) S 30424 30424 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89983822 26735009792 11565 33554432000 4194304 4196468 140734590079648 140327658744848 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30432] ppid=30424 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/30426/task/30432/stat : 30432 (java) S 30424 30424 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89983822 26735009792 11565 33554432000 4194304 4196468 140734590079648 140327657691536 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30433] ppid=30424 vsize=26108408 memory=140096665908143 CPUtime=0 cores=0-7 /proc/30426/task/30433/stat : 30433 (java) S 30424 30424 28146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89983822 26735009792 11565 33554432000 4194304 4196468 140734590079648 140327656638736 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30434] ppid=30424 vsize=26108408 memory=140096665910448 CPUtime=0 cores=0-7 /proc/30426/task/30434/stat : 30434 (java) S 30424 30424 28146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89983822 26735009792 11565 33554432000 4194304 4196468 140734590079648 140327655586448 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30435] ppid=30424 vsize=26108408 memory=140096665912752 CPUtime=0 cores=0-7 /proc/30426/task/30435/stat : 30435 (java) S 30424 30424 28146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89983822 26735009792 11565 33554432000 4194304 4196468 140734590079648 140327290690064 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30436] ppid=30424 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/30426/task/30436/stat : 30436 (java) S 30424 30424 28146 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89983824 26735009792 11565 33554432000 4194304 4196468 140734590079648 140327134435952 140327739333250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30437] ppid=30424 vsize=26108408 memory=280193331832464 CPUtime=0 cores=0-7 /proc/30426/task/30437/stat : 30437 (java) S 30424 30424 28146 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89983824 26735009792 11565 33554432000 4194304 4196468 140734590079648 140327133381920 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30438] ppid=30424 vsize=26108408 memory=280193331839376 CPUtime=0 cores=0-7 /proc/30426/task/30438/stat : 30438 (java) S 30424 30424 28146 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89983824 26735009792 11565 33554432000 4194304 4196468 140734590079648 140327132329584 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30439] ppid=30424 vsize=26108408 memory=280193331780656 CPUtime=0 cores=0-7 /proc/30426/task/30439/stat : 30439 (java) S 30424 30424 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89983827 26735009792 11565 33554432000 4194304 4196468 140734590079648 140327131277904 140327739340699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30440] ppid=30424 vsize=26108408 memory=280193331853200 CPUtime=0.02 cores=0-7 /proc/30426/task/30440/stat : 30440 (java) S 30424 30424 28146 0 -1 1077944384 326 0 0 0 2 0 0 0 20 0 20 0 89983827 26735009792 11565 33554432000 4194304 4196468 140734590079648 140327130224752 140327739333250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30441] ppid=30424 vsize=26108408 memory=280193331860112 CPUtime=0.03 cores=0-7 /proc/30426/task/30441/stat : 30441 (java) R 30424 30424 28146 0 -1 4202560 426 0 0 0 3 0 0 0 20 0 20 0 89983827 26735009792 11565 33554432000 4194304 4196468 140734590079648 140327129162336 140327720840473 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30442] ppid=30424 vsize=26108408 memory=280193331857808 CPUtime=0.02 cores=0-7 /proc/30426/task/30442/stat : 30442 (java) S 30424 30424 28146 0 -1 1077944384 184 0 0 0 2 0 0 0 20 0 20 0 89983827 26735009792 11565 33554432000 4194304 4196468 140734590079648 140327128119664 140327739333250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30443] ppid=30424 vsize=26108408 memory=280193331873968 CPUtime=0.12 cores=0-7 /proc/30426/task/30443/stat : 30443 (java) R 30424 30424 28146 0 -1 4202560 812 0 0 0 12 0 0 0 20 0 20 0 89983827 26735009792 11565 33554432000 4194304 4196468 140734590079648 140327127066864 140327739334038 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30444] ppid=30424 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/30426/task/30444/stat : 30444 (java) S 30424 30424 28146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89983827 26735009792 11565 33554432000 4194304 4196468 140734590079648 140327126014816 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30445] ppid=30424 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/30426/task/30445/stat : 30445 (java) S 30424 30424 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89983827 26735009792 11565 33554432000 4194304 4196468 140734590079648 140327124962096 140327739333250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 47712 KiB [startup+0.700968 s] /proc/loadavg: 6.53 7.90 8.10 3/204 30445 /proc/meminfo: memFree=28130520/32770624 swapFree=67108744/67108860 [pid=30424] ppid=30421 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30424/stat : 30424 (xcsp3-exec) S 30421 30424 28146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89983821 115843072 363 33554432000 4194304 5098028 140733609164080 140733609162184 139750766686844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40542208 140733609169974 140733609170176 140733609170176 140733609172938 0 /proc/30424/statm: 28282 363 305 221 0 87 0 [pid=30426] ppid=30424 vsize=26110532 memory=98476 CPUtime=1.78 cores=0-7 /proc/30426/stat : 30426 (java) S 30424 30424 28146 0 -1 1077944320 13703 0 0 0 171 7 0 0 20 0 20 0 89983821 26737184768 24619 33554432000 4194304 4196468 140734590079648 140734590062192 140327739322103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 /proc/30426/statm: 6527633 24619 3360 1 0 6488827 0 [pid=30426/tid=30427] ppid=30424 vsize=26110532 memory=280193332231856 CPUtime=0.66 cores=0-7 /proc/30426/task/30427/stat : 30427 (java) R 30424 30424 28146 0 -1 4202560 7241 0 0 0 63 3 0 0 20 0 20 0 89983822 26737184768 24619 33554432000 4194304 4196468 140734590079648 140327743560016 140327336045164 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30428] ppid=30424 vsize=26110532 memory=140096666116976 CPUtime=0 cores=0-7 /proc/30426/task/30428/stat : 30428 (java) S 30424 30424 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89983822 26737184768 24619 33554432000 4194304 4196468 140734590079648 140327661902736 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30429] ppid=30424 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/30426/task/30429/stat : 30429 (java) S 30424 30424 28146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89983822 26737184768 24619 33554432000 4194304 4196468 140734590079648 140327660849936 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30430] ppid=30424 vsize=26110532 memory=1704 CPUtime=0 cores=0-7 /proc/30426/task/30430/stat : 30430 (java) S 30424 30424 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89983822 26737184768 24619 33554432000 4194304 4196468 140734590079648 140327659797648 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 ################ # More data... # ################ /proc/30426/task/30622/stat : 30622 (java) R 30424 30424 28146 0 -1 4202560 446 0 0 0 1585 0 0 0 20 0 28 0 89986393 27285626880 166483 33554432000 4194304 4196468 140734590079648 140326777900344 140327342058326 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30623] ppid=30424 vsize=26646120 memory=6656426216303648864 CPUtime=15.84 cores=0-7 /proc/30426/task/30623/stat : 30623 (java) R 30424 30424 28146 0 -1 4202560 404 0 0 0 1584 0 0 0 20 0 28 0 89986393 27285626880 166483 33554432000 4194304 4196468 140734590079648 140326769480104 140327344336596 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30624] ppid=30424 vsize=26646120 memory=6944656592455359580 CPUtime=15.53 cores=0-7 /proc/30426/task/30624/stat : 30624 (java) R 30424 30424 28146 0 -1 4202560 866 0 0 0 1553 0 0 0 20 0 28 0 89986393 27285626880 166483 33554432000 4194304 4196468 140734590079648 140326776848152 140327342351699 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30625] ppid=30424 vsize=26646120 memory=6944652177228980320 CPUtime=15.83 cores=0-7 /proc/30426/task/30625/stat : 30625 (java) R 30424 30424 28146 0 -1 4202560 1417 0 0 0 1578 5 0 0 20 0 28 0 89986393 27285626880 166483 33554432000 4194304 4196468 140734590079648 140326775795352 140327342948588 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30626] ppid=30424 vsize=26646120 memory=6655300316396806240 CPUtime=15.85 cores=0-7 /proc/30426/task/30626/stat : 30626 (java) R 30424 30424 28146 0 -1 4202560 778 0 0 0 1585 0 0 0 20 0 28 0 89986393 27285626880 166483 33554432000 4194304 4196468 140734590079648 140326771585144 140327343908455 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30627] ppid=30424 vsize=26646120 memory=6943526294502006880 CPUtime=15.84 cores=0-7 /proc/30426/task/30627/stat : 30627 (java) R 30424 30424 28146 0 -1 4202560 1028 0 0 0 1582 2 0 0 20 0 28 0 89986393 27285626880 166483 33554432000 4194304 4196468 140734590079648 140326774742752 140327342729460 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30628] ppid=30424 vsize=26646120 memory=6655300316396806240 CPUtime=15.85 cores=0-7 /proc/30426/task/30628/stat : 30628 (java) R 30424 30424 28146 0 -1 4202560 294 0 0 0 1585 0 0 0 20 0 28 0 89986393 27285626880 166483 33554432000 4194304 4196468 140734590079648 140326772637976 140327346263413 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30629] ppid=30424 vsize=26646120 memory=6944656592455360604 CPUtime=15.83 cores=0-7 /proc/30426/task/30629/stat : 30629 (java) R 30424 30424 28146 0 -1 4202560 639 0 0 0 1583 0 0 0 20 0 28 0 89986393 27285626880 166483 33554432000 4194304 4196468 140734590079648 140326770532520 140327342350748 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 Current children cumulated CPU time: 326.65 s Current children cumulated vsize: 26759248 KiB Current children cumulated memory: 667384 KiB [startup+42.4015 s] /proc/loadavg: 8.17 8.15 8.17 9/212 30629 /proc/meminfo: memFree=27535356/32770624 swapFree=67108744/67108860 [pid=30424] ppid=30421 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30424/stat : 30424 (xcsp3-exec) S 30421 30424 28146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89983821 115843072 363 33554432000 4194304 5098028 140733609164080 140733609162184 139750766686844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40542208 140733609169974 140733609170176 140733609170176 140733609172938 0 /proc/30424/statm: 28282 363 305 221 0 87 0 [pid=30426] ppid=30424 vsize=26646120 memory=665932 CPUtime=333.04 cores=0-7 /proc/30426/stat : 30426 (java) S 30424 30424 28146 0 -1 1077944320 77328 0 0 0 33225 79 0 0 20 0 28 0 89983821 27285626880 166483 33554432000 4194304 4196468 140734590079648 140734590062192 140327739322103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 /proc/30426/statm: 6661530 166483 3442 1 0 6622724 0 [pid=30426/tid=30427] ppid=30424 vsize=26646120 memory=3054383281562345785 CPUtime=0.82 cores=0-7 /proc/30426/task/30427/stat : 30427 (java) S 30424 30424 28146 0 -1 1077944384 8148 0 0 0 78 4 0 0 20 0 28 0 89983822 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327743562880 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30428] ppid=30424 vsize=26646120 memory=3054383281562345785 CPUtime=0.09 cores=0-7 /proc/30426/task/30428/stat : 30428 (java) S 30424 30424 28146 0 -1 1077944384 269 0 0 0 5 4 0 0 20 0 28 0 89983822 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327661902736 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30429] ppid=30424 vsize=26646120 memory=4274007779987581241 CPUtime=0.09 cores=0-7 /proc/30426/task/30429/stat : 30429 (java) S 30424 30424 28146 0 -1 1077944384 1529 0 0 0 5 4 0 0 20 0 28 0 89983822 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327660849936 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30430] ppid=30424 vsize=26646120 memory=4495532946050208057 CPUtime=0.09 cores=0-7 /proc/30426/task/30430/stat : 30430 (java) S 30424 30424 28146 0 -1 1077944384 341 0 0 0 5 4 0 0 20 0 28 0 89983822 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327659797648 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30431] ppid=30424 vsize=26646120 memory=7522244314247554927 CPUtime=0.09 cores=0-7 /proc/30426/task/30431/stat : 30431 (java) S 30424 30424 28146 0 -1 1077944384 104 0 0 0 5 4 0 0 20 0 28 0 89983822 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327658744848 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30432] ppid=30424 vsize=26646120 memory=7522244314247554927 CPUtime=0.09 cores=0-7 /proc/30426/task/30432/stat : 30432 (java) S 30424 30424 28146 0 -1 1077944384 163 0 0 0 5 4 0 0 20 0 28 0 89983822 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327657691536 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30433] ppid=30424 vsize=26646120 memory=1452 CPUtime=0.09 cores=0-7 /proc/30426/task/30433/stat : 30433 (java) S 30424 30424 28146 0 -1 1077944384 1377 0 0 0 5 4 0 0 20 0 28 0 89983822 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327656638736 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30434] ppid=30424 vsize=26646120 memory=429812 CPUtime=0.09 cores=0-7 /proc/30426/task/30434/stat : 30434 (java) S 30424 30424 28146 0 -1 1077944384 1583 0 0 0 5 4 0 0 20 0 28 0 89983822 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327655586448 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30435] ppid=30424 vsize=26646120 memory=429756 CPUtime=0.08 cores=0-7 /proc/30426/task/30435/stat : 30435 (java) S 30424 30424 28146 0 -1 1077944384 376 0 0 0 4 4 0 0 20 0 28 0 89983822 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327290690064 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30436] ppid=30424 vsize=26646120 memory=18280 CPUtime=0.02 cores=0-7 /proc/30426/task/30436/stat : 30436 (java) S 30424 30424 28146 0 -1 1077944384 1353 0 0 0 2 0 0 0 20 0 28 0 89983824 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327134435952 140327739333250 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30437] ppid=30424 vsize=26646120 memory=1236 CPUtime=0 cores=0-7 /proc/30426/task/30437/stat : 30437 (java) S 30424 30424 28146 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 89983824 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327133381984 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30438] ppid=30424 vsize=26646120 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/30426/task/30438/stat : 30438 (java) S 30424 30424 28146 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 89983824 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327132329600 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30439] ppid=30424 vsize=26646120 memory=26148 CPUtime=0 cores=0-7 /proc/30426/task/30439/stat : 30439 (java) S 30424 30424 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89983827 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327131277904 140327739340699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30440] ppid=30424 vsize=26646120 memory=2396 CPUtime=2.46 cores=0-7 /proc/30426/task/30440/stat : 30440 (java) S 30424 30424 28146 0 -1 1077944384 8819 0 0 0 244 2 0 0 20 0 28 0 89983827 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327130224752 140327739333250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30441] ppid=30424 vsize=26646120 memory=1292 CPUtime=2.79 cores=0-7 /proc/30426/task/30441/stat : 30441 (java) S 30424 30424 28146 0 -1 1077944384 13967 0 0 0 275 4 0 0 20 0 28 0 89983827 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327129171952 140327739333250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30442] ppid=30424 vsize=26646120 memory=1452 CPUtime=2.74 cores=0-7 /proc/30426/task/30442/stat : 30442 (java) S 30424 30424 28146 0 -1 1077944384 8864 0 0 0 272 2 0 0 20 0 28 0 89983827 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327128119664 140327739333250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30443] ppid=30424 vsize=26646120 memory=1844 CPUtime=0.98 cores=0-7 /proc/30426/task/30443/stat : 30443 (java) S 30424 30424 28146 0 -1 1077944384 8388 0 0 0 96 2 0 0 20 0 28 0 89983827 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327127066864 140327739333250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30444] ppid=30424 vsize=26646120 memory=1008 CPUtime=0 cores=0-7 /proc/30426/task/30444/stat : 30444 (java) S 30424 30424 28146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89983827 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327126014816 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30445] ppid=30424 vsize=26646120 memory=5404 CPUtime=0.01 cores=0-7 /proc/30426/task/30445/stat : 30445 (java) S 30424 30424 28146 0 -1 1077944384 1166 0 0 0 0 1 0 0 20 0 28 0 89983827 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327124962096 140327739333250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30622] ppid=30424 vsize=26646120 memory=796 CPUtime=16.65 cores=0-7 /proc/30426/task/30622/stat : 30622 (java) R 30424 30424 28146 0 -1 4202560 449 0 0 0 1665 0 0 0 20 0 28 0 89986393 27285626880 166483 33554432000 4194304 4196468 140734590079648 140326777900344 140327343947314 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30623] ppid=30424 vsize=26646120 memory=4616 CPUtime=16.64 cores=0-7 /proc/30426/task/30623/stat : 30623 (java) R 30424 30424 28146 0 -1 4202560 405 0 0 0 1664 0 0 0 20 0 28 0 89986393 27285626880 166483 33554432000 4194304 4196468 140734590079648 140326769480104 140327343812007 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30624] ppid=30424 vsize=26646120 memory=1424 CPUtime=16.32 cores=0-7 /proc/30426/task/30624/stat : 30624 (java) R 30424 30424 28146 0 -1 4202560 879 0 0 0 1632 0 0 0 20 0 28 0 89986393 27285626880 166483 33554432000 4194304 4196468 140734590079648 140326776848152 140327343908526 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30625] ppid=30424 vsize=26646120 memory=11116 CPUtime=16.63 cores=0-7 /proc/30426/task/30625/stat : 30625 (java) R 30424 30424 28146 0 -1 4202560 1438 0 0 0 1658 5 0 0 20 0 28 0 89986393 27285626880 166483 33554432000 4194304 4196468 140734590079648 140326775795352 140327342351331 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30626] ppid=30424 vsize=26646120 memory=1200 CPUtime=16.65 cores=0-7 /proc/30426/task/30626/stat : 30626 (java) R 30424 30424 28146 0 -1 4202560 798 0 0 0 1665 0 0 0 20 0 28 0 89986393 27285626880 166483 33554432000 4194304 4196468 140734590079648 140326771585144 140327342948462 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30627] ppid=30424 vsize=26646120 memory=1228 CPUtime=16.64 cores=0-7 /proc/30426/task/30627/stat : 30627 (java) R 30424 30424 28146 0 -1 4202560 1047 0 0 0 1662 2 0 0 20 0 28 0 89986393 27285626880 166483 33554432000 4194304 4196468 140734590079648 140326774742752 140327342058339 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30628] ppid=30424 vsize=26646120 memory=1704 CPUtime=16.65 cores=0-7 /proc/30426/task/30628/stat : 30628 (java) R 30424 30424 28146 0 -1 4202560 300 0 0 0 1665 0 0 0 20 0 28 0 89986393 27285626880 166483 33554432000 4194304 4196468 140734590079648 140326772637976 140327342350670 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30629] ppid=30424 vsize=26646120 memory=303430223234596890 CPUtime=16.63 cores=0-7 /proc/30426/task/30629/stat : 30629 (java) R 30424 30424 28146 0 -1 4202560 650 0 0 0 1663 0 0 0 20 0 28 0 89986393 27285626880 166483 33554432000 4194304 4196468 140734590079648 140326770532520 140327342038100 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 Current children cumulated CPU time: 333.04 s Current children cumulated vsize: 26759248 KiB Current children cumulated memory: 667384 KiB [startup+42.8015 s] /proc/loadavg: 8.17 8.15 8.17 9/212 30629 /proc/meminfo: memFree=27535356/32770624 swapFree=67108744/67108860 [pid=30424] ppid=30421 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30424/stat : 30424 (xcsp3-exec) S 30421 30424 28146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89983821 115843072 363 33554432000 4194304 5098028 140733609164080 140733609162184 139750766686844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40542208 140733609169974 140733609170176 140733609170176 140733609172938 0 /proc/30424/statm: 28282 363 305 221 0 87 0 [pid=30426] ppid=30424 vsize=26646120 memory=665932 CPUtime=336.23 cores=0-7 /proc/30426/stat : 30426 (java) S 30424 30424 28146 0 -1 1077944320 77355 0 0 0 33544 79 0 0 20 0 28 0 89983821 27285626880 166483 33554432000 4194304 4196468 140734590079648 140734590062192 140327739322103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 /proc/30426/statm: 6661530 166483 3442 1 0 6622724 0 [pid=30426/tid=30427] ppid=30424 vsize=26646120 memory=0 CPUtime=0.82 cores=0-7 /proc/30426/task/30427/stat : 30427 (java) S 30424 30424 28146 0 -1 1077944384 8148 0 0 0 78 4 0 0 20 0 28 0 89983822 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327743562880 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30428] ppid=30424 vsize=26646120 memory=0 CPUtime=0.09 cores=0-7 /proc/30426/task/30428/stat : 30428 (java) S 30424 30424 28146 0 -1 1077944384 269 0 0 0 5 4 0 0 20 0 28 0 89983822 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327661902736 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30429] ppid=30424 vsize=26646120 memory=0 CPUtime=0.09 cores=0-7 /proc/30426/task/30429/stat : 30429 (java) S 30424 30424 28146 0 -1 1077944384 1529 0 0 0 5 4 0 0 20 0 28 0 89983822 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327660849936 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30430] ppid=30424 vsize=26646120 memory=0 CPUtime=0.09 cores=0-7 /proc/30426/task/30430/stat : 30430 (java) S 30424 30424 28146 0 -1 1077944384 341 0 0 0 5 4 0 0 20 0 28 0 89983822 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327659797648 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30431] ppid=30424 vsize=26646120 memory=0 CPUtime=0.09 cores=0-7 /proc/30426/task/30431/stat : 30431 (java) S 30424 30424 28146 0 -1 1077944384 104 0 0 0 5 4 0 0 20 0 28 0 89983822 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327658744848 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30432] ppid=30424 vsize=26646120 memory=280193333991616 CPUtime=0.09 cores=0-7 /proc/30426/task/30432/stat : 30432 (java) S 30424 30424 28146 0 -1 1077944384 163 0 0 0 5 4 0 0 20 0 28 0 89983822 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327657691536 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30433] ppid=30424 vsize=26646120 memory=8514726395715349656 CPUtime=0.09 cores=0-7 /proc/30426/task/30433/stat : 30433 (java) S 30424 30424 28146 0 -1 1077944384 1377 0 0 0 5 4 0 0 20 0 28 0 89983822 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327656638736 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30434] ppid=30424 vsize=26646120 memory=3047711553320166262 CPUtime=0.09 cores=0-7 /proc/30426/task/30434/stat : 30434 (java) S 30424 30424 28146 0 -1 1077944384 1583 0 0 0 5 4 0 0 20 0 28 0 89983822 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327655586448 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30435] ppid=30424 vsize=26646120 memory=8514701219730523551 CPUtime=0.08 cores=0-7 /proc/30426/task/30435/stat : 30435 (java) S 30424 30424 28146 0 -1 1077944384 376 0 0 0 4 4 0 0 20 0 28 0 89983822 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327290690064 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30436] ppid=30424 vsize=26646120 memory=-8412652169205224307 CPUtime=0.02 cores=0-7 /proc/30426/task/30436/stat : 30436 (java) S 30424 30424 28146 0 -1 1077944384 1353 0 0 0 2 0 0 0 20 0 28 0 89983824 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327134435952 140327739333250 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30437] ppid=30424 vsize=26646120 memory=7091312799247389287 CPUtime=0 cores=0-7 /proc/30426/task/30437/stat : 30437 (java) S 30424 30424 28146 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 89983824 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327133381984 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30438] ppid=30424 vsize=26646120 memory=5865212160139291494 CPUtime=0 cores=0-7 /proc/30426/task/30438/stat : 30438 (java) S 30424 30424 28146 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 89983824 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327132329600 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30439] ppid=30424 vsize=26646120 memory=7235710566141946944 CPUtime=0 cores=0-7 /proc/30426/task/30439/stat : 30439 (java) S 30424 30424 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89983827 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327131277904 140327739340699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30440] ppid=30424 vsize=26646120 memory=288230574492221466 CPUtime=2.46 cores=0-7 /proc/30426/task/30440/stat : 30440 (java) S 30424 30424 28146 0 -1 1077944384 8819 0 0 0 244 2 0 0 20 0 28 0 89983827 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327130224752 140327739333250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30441] ppid=30424 vsize=26646120 memory=288230596050944315 CPUtime=2.79 cores=0-7 /proc/30426/task/30441/stat : 30441 (java) S 30424 30424 28146 0 -1 1077944384 13967 0 0 0 275 4 0 0 20 0 28 0 89983827 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327129171952 140327739333250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30442] ppid=30424 vsize=26646120 memory=15534111569742379 CPUtime=2.74 cores=0-7 /proc/30426/task/30442/stat : 30442 (java) S 30424 30424 28146 0 -1 1077944384 8864 0 0 0 272 2 0 0 20 0 28 0 89983827 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327128119664 140327739333250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30443] ppid=30424 vsize=26646120 memory=4124 CPUtime=0.98 cores=0-7 /proc/30426/task/30443/stat : 30443 (java) S 30424 30424 28146 0 -1 1077944384 8388 0 0 0 96 2 0 0 20 0 28 0 89983827 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327127066864 140327739333250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30444] ppid=30424 vsize=26646120 memory=2196 CPUtime=0 cores=0-7 /proc/30426/task/30444/stat : 30444 (java) S 30424 30424 28146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89983827 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327126014816 140327739332309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30445] ppid=30424 vsize=26646120 memory=7636 CPUtime=0.01 cores=0-7 /proc/30426/task/30445/stat : 30445 (java) S 30424 30424 28146 0 -1 1077944384 1166 0 0 0 0 1 0 0 20 0 28 0 89983827 27285626880 166483 33554432000 4194304 4196468 140734590079648 140327124962096 140327739333250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30622] ppid=30424 vsize=26646120 memory=836 CPUtime=17.05 cores=0-7 /proc/30426/task/30622/stat : 30622 (java) R 30424 30424 28146 0 -1 4202560 449 0 0 0 1705 0 0 0 20 0 28 0 89986393 27285626880 166483 33554432000 4194304 4196468 140734590079648 140326777900344 140327344762029 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30623] ppid=30424 vsize=26646120 memory=4104 CPUtime=17.04 cores=0-7 /proc/30426/task/30623/stat : 30623 (java) R 30424 30424 28146 0 -1 4202560 406 0 0 0 1704 0 0 0 20 0 28 0 89986393 27285626880 166483 33554432000 4194304 4196468 140734590079648 140326769480104 140327344760935 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30624] ppid=30424 vsize=26646120 memory=1796 CPUtime=16.71 cores=0-7 /proc/30426/task/30624/stat : 30624 (java) R 30424 30424 28146 0 -1 4202560 880 0 0 0 1671 0 0 0 20 0 28 0 89986393 27285626880 166483 33554432000 4194304 4196468 140734590079648 140326776848152 140327340586752 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30625] ppid=30424 vsize=26646120 memory=916 CPUtime=17.03 cores=0-7 /proc/30426/task/30625/stat : 30625 (java) R 30424 30424 28146 0 -1 4202560 1451 0 0 0 1698 5 0 0 20 0 28 0 89986393 27285626880 166483 33554432000 4194304 4196468 140734590079648 140326775795352 140327343908736 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30626] ppid=30424 vsize=26646120 memory=4488 CPUtime=17.05 cores=0-7 /proc/30426/task/30626/stat : 30626 (java) R 30424 30424 28146 0 -1 4202560 798 0 0 0 1705 0 0 0 20 0 28 0 89986393 27285626880 166483 33554432000 4194304 4196468 140734590079648 140326771585656 140327342350855 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30627] ppid=30424 vsize=26646120 memory=1408 CPUtime=17.04 cores=0-7 /proc/30426/task/30627/stat : 30627 (java) R 30424 30424 28146 0 -1 4202560 1056 0 0 0 1702 2 0 0 20 0 28 0 89986393 27285626880 166483 33554432000 4194304 4196468 140734590079648 140326774742752 140327343908756 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30628] ppid=30424 vsize=26646120 memory=3196 CPUtime=17.05 cores=0-7 /proc/30426/task/30628/stat : 30628 (java) R 30424 30424 28146 0 -1 4202560 301 0 0 0 1705 0 0 0 20 0 28 0 89986393 27285626880 166483 33554432000 4194304 4196468 140734590079648 140326772637976 140327344486560 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 [pid=30426/tid=30629] ppid=30424 vsize=26646120 memory=1452 CPUtime=17.03 cores=0-7 /proc/30426/task/30629/stat : 30629 (java) R 30424 30424 28146 0 -1 4202560 652 0 0 0 1703 0 0 0 20 0 28 0 89986393 27285626880 166483 33554432000 4194304 4196468 140734590079648 140326770532520 140327345126756 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140734590088321 140734590088493 140734590088493 140734590091215 0 Current children cumulated CPU time: 336.23 s Current children cumulated vsize: 26759248 KiB Current children cumulated memory: 667384 KiB [startup+42.9011 s]* /proc/loadavg: 8.17 8.15 8.17 2/184 30629 /proc/meminfo: memFree=28187928/32770624 swapFree=67108744/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 0 Real time (s): 42.9108 CPU time (s): 336.907 CPU user time (s): 336.098 CPU system time (s): 0.809335 CPU usage (%): 785.134 Max. virtual memory (cumulated for all children) (KiB): 26759248 Max. memory (cumulated for all children) (KiB): 667384 getrusage(RUSAGE_CHILDREN,...) data: user time used= 336.098 system time used= 0.809335 maximum resident set size= 665932 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 79268 page faults= 0 swaps= 0 block input operations= 0 block output operations= 176 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7353 involuntary context switches= 4736 # summary of solver processes directly reported to runsolver: # pid: 30424 # total CPU time (s): 336.907 # total CPU user time (s): 336.098 # total CPU system time (s): 0.809335 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.403686 second user time and 0.494658 second system time The end
Begin job on node134 at 2018-07-27 22:43:26 IDJOB=4297597 IDBENCH=141522 IDSOLVER=2760 FILE ID=node134/4297597-1532724206 RUNJOBID= node134-1532721509-28173 PBS_JOBID= 21022333 Free space on /tmp= 55560 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/Mario/Mario-n-medium-2_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297597-1532724206/watcher-4297597-1532724206 -o /tmp/evaluation-result-4297597-1532724206/solver-4297597-1532724206 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1532721509-28173 --watchdog 2580 HOME/xcsp3-exec -seed 555773745 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297597-1532724206.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d930a285b222420c6879960cff9efc87 RANDOM SEED=555773745 node134.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.68 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.68 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.68 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.68 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: 28188608 kB MemAvailable: 31957760 kB Buffers: 163896 kB Cached: 3868772 kB SwapCached: 0 kB Active: 1772268 kB Inactive: 2316452 kB Active(anon): 5284 kB Inactive(anon): 78552 kB Active(file): 1766984 kB Inactive(file): 2237900 kB Unevictable: 7360 kB Mlocked: 7360 kB SwapTotal: 67108860 kB SwapFree: 67108744 kB Dirty: 22080 kB Writeback: 0 kB AnonPages: 74804 kB Mapped: 42340 kB Shmem: 25132 kB Slab: 188400 kB SReclaimable: 160208 kB SUnreclaim: 28192 kB KernelStack: 3600 kB PageTables: 5184 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324472 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 20480 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 55540 MiB End job on node134 at 2018-07-27 22:44:09