Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | OPT | 7 | 31.2287 | 4.82471 |
Name | PeacableArmies/ PeacableArmies-m2-07_c18.xml |
MD5SUM | d533abf730bec48b9e0ac1943d19d6b7 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 7 |
Best CPU time to get the best result obtained on this benchmark | 31.2287 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 51 |
Number of constraints | 479 |
Number of domains | 2 |
Minimum domain size | 3 |
Maximum domain size | 24 |
Distribution of domain sizes | [{"size":3,"count":49},{"size":24,"count":2}] |
Minimum variable degree | 2 |
Maximum variable degree | 26 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":3,"count":1},{"degree":20,"count":24},{"degree":22,"count":16},{"degree":24,"count":8},{"degree":26,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 50 |
Distribution of constraint arities | [{"arity":2,"count":477},{"arity":50,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 477 |
Distribution of constraint types | [{"type":"intension","count":477},{"type":"count","count":2}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297414-1532723677.xml" -tl '20160s' -p 8 0.11/0.18 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297414-1532723677.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 2.89/1.09 c solve instance... 3.33/1.12 o 5 3.33/1.12 o 6 3.33/1.18 o 7 31.12/4.81 s OPTIMUM FOUND 31.12/4.81 v <instantiation> 31.12/4.81 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] nb nw </list> 31.12/4.81 v <values>2 2 2 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 2 2 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 7 7 </values> 31.12/4.81 v </instantiation>
OK 7
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 (11583 MiB free) memory of node 1: 16384 MiB (15126 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297414-1532723677/watcher-4297414-1532723677 -o /tmp/evaluation-result-4297414-1532723677/solver-4297414-1532723677 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1532723677-1064 --watchdog 2580 HOME/xcsp3-exec -seed 1605472626 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297414-1532723677.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=1081, runsolver pid=1078 [startup+0.100168 s]* /proc/loadavg: 8.66 8.44 8.40 4/206 1102 /proc/meminfo: memFree=27335184/32770624 swapFree=67108860/67108860 [pid=1081] ppid=1078 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1081/stat : 1081 (xcsp3-exec) S 1078 1081 1036 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89930859 115843072 364 33554432000 4194304 5098028 140725298363088 140725298361192 140186103874172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34967552 140725298369589 140725298369792 140725298369792 140725298372554 0 /proc/1081/statm: 28282 364 306 221 0 87 0 [pid=1083] ppid=1081 vsize=26104152 memory=26980 CPUtime=0.11 cores=0-7 /proc/1083/stat : 1083 (java) S 1081 1081 1036 0 -1 1077944320 5679 0 0 0 10 1 0 0 20 0 20 0 89930859 26730651648 6745 33554432000 4194304 4196468 140729685496256 140729685478800 140411064205047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 /proc/1083/statm: 6526038 6745 2997 1 0 6488315 0 [pid=1083/tid=1084] ppid=1081 vsize=26104152 memory=1400242874264906928 CPUtime=0.08 cores=0-7 /proc/1083/task/1084/stat : 1084 (java) R 1081 1081 1036 0 -1 4202560 3689 0 0 0 8 0 0 0 20 0 20 0 89930859 26730651648 6745 33554432000 4194304 4196468 140729685496256 140411068438320 140411047381630 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1085] ppid=1081 vsize=26104152 memory=3461361991549258287 CPUtime=0 cores=0-7 /proc/1083/task/1085/stat : 1085 (java) S 1081 1081 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89930860 26730651648 6745 33554432000 4194304 4196468 140729685496256 140411016825616 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1086] ppid=1081 vsize=26104152 memory=139854916040320 CPUtime=0 cores=0-7 /proc/1083/task/1086/stat : 1086 (java) S 1081 1081 1036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89930860 26730651648 6745 33554432000 4194304 4196468 140729685496256 140411015773072 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1087] ppid=1081 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1087/stat : 1087 (java) S 1081 1081 1036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89930860 26730651648 6745 33554432000 4194304 4196468 140729685496256 140411014720528 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1088] ppid=1081 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1088/stat : 1088 (java) S 1081 1081 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89930860 26730651648 6745 33554432000 4194304 4196468 140729685496256 140411013667984 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1089] ppid=1081 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1089/stat : 1089 (java) S 1081 1081 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89930860 26730651648 6745 33554432000 4194304 4196468 140729685496256 140411012614416 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1090] ppid=1081 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/1083/task/1090/stat : 1090 (java) S 1081 1081 1036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89930860 26730651648 6745 33554432000 4194304 4196468 140729685496256 140411011561872 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1091] ppid=1081 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1091/stat : 1091 (java) S 1081 1081 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89930860 26730651648 6745 33554432000 4194304 4196468 140729685496256 140411010509328 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1092] ppid=1081 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1092/stat : 1092 (java) S 1081 1081 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89930860 26730651648 6745 33554432000 4194304 4196468 140729685496256 140411009456784 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1093] ppid=1081 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1093/stat : 1093 (java) S 1081 1081 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89930862 26730651648 6745 33554432000 4194304 4196468 140729685496256 140409604913648 140411064216194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1094] ppid=1081 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1094/stat : 1094 (java) S 1081 1081 1036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89930862 26730651648 6745 33554432000 4194304 4196468 140729685496256 140409603859872 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1095] ppid=1081 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1095/stat : 1095 (java) S 1081 1081 1036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89930862 26730651648 6745 33554432000 4194304 4196468 140729685496256 140409602807280 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1096] ppid=1081 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1096/stat : 1096 (java) S 1081 1081 1036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89930865 26730651648 6745 33554432000 4194304 4196468 140729685496256 140409601755856 140411064223643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1097] ppid=1081 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1097/stat : 1097 (java) S 1081 1081 1036 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 89930865 26730651648 6745 33554432000 4194304 4196468 140729685496256 140409600702448 140411064216194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1098] ppid=1081 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1098/stat : 1098 (java) S 1081 1081 1036 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 89930865 26730651648 6745 33554432000 4194304 4196468 140729685496256 140409599649904 140411064216194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1099] ppid=1081 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1099/stat : 1099 (java) S 1081 1081 1036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89930865 26730651648 6745 33554432000 4194304 4196468 140729685496256 140409598597360 140411064216194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1100] ppid=1081 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/1083/task/1100/stat : 1100 (java) R 1081 1081 1036 0 -1 4202560 248 0 0 0 1 0 0 0 20 0 20 0 89930865 26730651648 6745 33554432000 4194304 4196468 140729685496256 140409597544816 140411064216982 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1101] ppid=1081 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1101/stat : 1101 (java) S 1081 1081 1036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89930865 26730651648 6745 33554432000 4194304 4196468 140729685496256 140409596492512 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1102] ppid=1081 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/1083/task/1102/stat : 1102 (java) S 1081 1081 1036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89930865 26730651648 6745 33554432000 4194304 4196468 140729685496256 140409527331760 140411064216194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 28436 KiB [startup+0.2107 s]* /proc/loadavg: 8.66 8.44 8.40 3/206 1102 /proc/meminfo: memFree=27323788/32770624 swapFree=67108860/67108860 [pid=1081] ppid=1078 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1081/stat : 1081 (xcsp3-exec) S 1078 1081 1036 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89930859 115843072 364 33554432000 4194304 5098028 140725298363088 140725298361192 140186103874172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34967552 140725298369589 140725298369792 140725298369792 140725298372554 0 /proc/1081/statm: 28282 364 306 221 0 87 0 [pid=1083] ppid=1081 vsize=26104152 memory=40004 CPUtime=0.33 cores=0-7 /proc/1083/stat : 1083 (java) S 1081 1081 1036 0 -1 1077944320 8493 0 0 0 31 2 0 0 20 0 20 0 89930859 26730651648 10001 33554432000 4194304 4196468 140729685496256 140729685478800 140411064205047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 /proc/1083/statm: 6526038 10001 3218 1 0 6488315 0 [pid=1083/tid=1084] ppid=1081 vsize=26104152 memory=8390339637985935414 CPUtime=0.19 cores=0-7 /proc/1083/task/1084/stat : 1084 (java) R 1081 1081 1036 0 -1 4202560 5557 0 0 0 18 1 0 0 20 0 20 0 89930859 26730651648 10001 33554432000 4194304 4196468 140729685496256 140411068443072 140411064226973 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1085] ppid=1081 vsize=26104152 memory=288230609019731991 CPUtime=0 cores=0-7 /proc/1083/task/1085/stat : 1085 (java) S 1081 1081 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89930860 26730651648 10001 33554432000 4194304 4196468 140729685496256 140411016825616 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1086] ppid=1081 vsize=26104152 memory=15112120338953880 CPUtime=0 cores=0-7 /proc/1083/task/1086/stat : 1086 (java) S 1081 1081 1036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89930860 26730651648 10001 33554432000 4194304 4196468 140729685496256 140411015773072 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1087] ppid=1081 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1087/stat : 1087 (java) S 1081 1081 1036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89930860 26730651648 10001 33554432000 4194304 4196468 140729685496256 140411014720528 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1088] ppid=1081 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/1083/task/1088/stat : 1088 (java) S 1081 1081 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89930860 26730651648 10001 33554432000 4194304 4196468 140729685496256 140411013667984 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1089] ppid=1081 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1089/stat : 1089 (java) S 1081 1081 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89930860 26730651648 10001 33554432000 4194304 4196468 140729685496256 140411012614416 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1090] ppid=1081 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/1083/task/1090/stat : 1090 (java) S 1081 1081 1036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89930860 26730651648 10001 33554432000 4194304 4196468 140729685496256 140411011561872 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1091] ppid=1081 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1091/stat : 1091 (java) S 1081 1081 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89930860 26730651648 10001 33554432000 4194304 4196468 140729685496256 140411010509328 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1092] ppid=1081 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1092/stat : 1092 (java) S 1081 1081 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89930860 26730651648 10001 33554432000 4194304 4196468 140729685496256 140411009456784 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1093] ppid=1081 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1093/stat : 1093 (java) S 1081 1081 1036 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89930862 26730651648 10001 33554432000 4194304 4196468 140729685496256 140409604913648 140411064216194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1094] ppid=1081 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1094/stat : 1094 (java) S 1081 1081 1036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89930862 26730651648 10001 33554432000 4194304 4196468 140729685496256 140409603859872 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1095] ppid=1081 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1095/stat : 1095 (java) S 1081 1081 1036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89930862 26730651648 10001 33554432000 4194304 4196468 140729685496256 140409602807280 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1096] ppid=1081 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1096/stat : 1096 (java) S 1081 1081 1036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89930865 26730651648 10001 33554432000 4194304 4196468 140729685496256 140409601755856 140411064223643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1097] ppid=1081 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1097/stat : 1097 (java) R 1081 1081 1036 0 -1 1077944384 337 0 0 0 0 0 0 0 20 0 20 0 89930865 26730651648 10001 33554432000 4194304 4196468 140729685496256 140409600702448 140411064216194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1098] ppid=1081 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7 /proc/1083/task/1098/stat : 1098 (java) S 1081 1081 1036 0 -1 1077944384 271 0 0 0 2 0 0 0 20 0 20 0 89930865 26730651648 10001 33554432000 4194304 4196468 140729685496256 140409599649904 140411064216194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1099] ppid=1081 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7 /proc/1083/task/1099/stat : 1099 (java) S 1081 1081 1036 0 -1 1077944384 275 0 0 0 1 0 0 0 20 0 20 0 89930865 26730651648 10001 33554432000 4194304 4196468 140729685496256 140409598597360 140411064216194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1100] ppid=1081 vsize=26104152 memory=0 CPUtime=0.08 cores=0-7 /proc/1083/task/1100/stat : 1100 (java) R 1081 1081 1036 0 -1 4202560 747 0 0 0 8 0 0 0 20 0 20 0 89930865 26730651648 10001 33554432000 4194304 4196468 140729685496256 140409597544816 140411064216982 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1101] ppid=1081 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1101/stat : 1101 (java) S 1081 1081 1036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89930865 26730651648 10001 33554432000 4194304 4196468 140729685496256 140409596492512 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1102] ppid=1081 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/1083/task/1102/stat : 1102 (java) S 1081 1081 1036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89930865 26730651648 10001 33554432000 4194304 4196468 140729685496256 140409527331760 140411064216194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 41460 KiB [startup+0.310601 s]* /proc/loadavg: 8.66 8.44 8.40 2/206 1102 /proc/meminfo: memFree=27318268/32770624 swapFree=67108860/67108860 [pid=1081] ppid=1078 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1081/stat : 1081 (xcsp3-exec) S 1078 1081 1036 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89930859 115843072 364 33554432000 4194304 5098028 140725298363088 140725298361192 140186103874172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34967552 140725298369589 140725298369792 140725298369792 140725298372554 0 /proc/1081/statm: 28282 364 306 221 0 87 0 [pid=1083] ppid=1081 vsize=26108408 memory=46324 CPUtime=0.51 cores=0-7 /proc/1083/stat : 1083 (java) S 1081 1081 1036 0 -1 1077944320 9250 0 0 0 48 3 0 0 20 0 20 0 89930859 26735009792 11581 33554432000 4194304 4196468 140729685496256 140729685478800 140411064205047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 /proc/1083/statm: 6527102 11581 3250 1 0 6488315 0 [pid=1083/tid=1084] ppid=1081 vsize=26108408 memory=1399051139730258233 CPUtime=0.29 cores=0-7 /proc/1083/task/1084/stat : 1084 (java) R 1081 1081 1036 0 -1 4202560 6245 0 0 0 27 2 0 0 20 0 20 0 89930859 26735009792 11581 33554432000 4194304 4196468 140729685496256 140411068436160 140411064228637 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1085] ppid=1081 vsize=26108408 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/1083/task/1085/stat : 1085 (java) S 1081 1081 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89930860 26735009792 11581 33554432000 4194304 4196468 140729685496256 140411016825616 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1086] ppid=1081 vsize=26108408 memory=1696 CPUtime=0 cores=0-7 /proc/1083/task/1086/stat : 1086 (java) S 1081 1081 1036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89930860 26735009792 11636 33554432000 4194304 4196468 140729685496256 140411015773072 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1087] ppid=1081 vsize=26108408 memory=8476 CPUtime=0 cores=0-7 /proc/1083/task/1087/stat : 1087 (java) S 1081 1081 1036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89930860 26735009792 11636 33554432000 4194304 4196468 140729685496256 140411014720528 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1088] ppid=1081 vsize=26108408 memory=4576 CPUtime=0 cores=0-7 /proc/1083/task/1088/stat : 1088 (java) S 1081 1081 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89930860 26735009792 11636 33554432000 4194304 4196468 140729685496256 140411013667984 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1089] ppid=1081 vsize=26108408 memory=15864 CPUtime=0 cores=0-7 /proc/1083/task/1089/stat : 1089 (java) S 1081 1081 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89930860 26735009792 11636 33554432000 4194304 4196468 140729685496256 140411012614416 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1090] ppid=1081 vsize=26108408 memory=4108 CPUtime=0 cores=0-7 /proc/1083/task/1090/stat : 1090 (java) S 1081 1081 1036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89930860 26735009792 11636 33554432000 4194304 4196468 140729685496256 140411011561872 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1091] ppid=1081 vsize=26108408 memory=4012 CPUtime=0 cores=0-7 /proc/1083/task/1091/stat : 1091 (java) S 1081 1081 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89930860 26735009792 11636 33554432000 4194304 4196468 140729685496256 140411010509328 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1092] ppid=1081 vsize=26108408 memory=15856 CPUtime=0 cores=0-7 /proc/1083/task/1092/stat : 1092 (java) S 1081 1081 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89930860 26735009792 11636 33554432000 4194304 4196468 140729685496256 140411009456784 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1093] ppid=1081 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1093/stat : 1093 (java) S 1081 1081 1036 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89930862 26735009792 11636 33554432000 4194304 4196468 140729685496256 140409604913648 140411064216194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1094] ppid=1081 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1094/stat : 1094 (java) S 1081 1081 1036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89930862 26735009792 11636 33554432000 4194304 4196468 140729685496256 140409603859872 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1095] ppid=1081 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1095/stat : 1095 (java) S 1081 1081 1036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89930862 26735009792 11636 33554432000 4194304 4196468 140729685496256 140409602807280 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1096] ppid=1081 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1096/stat : 1096 (java) S 1081 1081 1036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89930865 26735009792 11636 33554432000 4194304 4196468 140729685496256 140409601755856 140411064223643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1097] ppid=1081 vsize=26108408 memory=139854805566927 CPUtime=0.02 cores=0-7 /proc/1083/task/1097/stat : 1097 (java) S 1081 1081 1036 0 -1 1077944384 352 0 0 0 2 0 0 0 20 0 20 0 89930865 26735009792 11636 33554432000 4194304 4196468 140729685496256 140409600702448 140411064216194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1098] ppid=1081 vsize=26108408 memory=67 CPUtime=0.03 cores=0-7 /proc/1083/task/1098/stat : 1098 (java) S 1081 1081 1036 0 -1 1077944384 277 0 0 0 3 0 0 0 20 0 20 0 89930865 26735009792 11636 33554432000 4194304 4196468 140729685496256 140409599649904 140411064216194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1099] ppid=1081 vsize=26108408 memory=51172 CPUtime=0.02 cores=0-7 /proc/1083/task/1099/stat : 1099 (java) S 1081 1081 1036 0 -1 1077944384 282 0 0 0 2 0 0 0 20 0 20 0 89930865 26735009792 11636 33554432000 4194304 4196468 140729685496256 140409598597360 140411064216194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1100] ppid=1081 vsize=26108408 memory=53476 CPUtime=0.12 cores=0-7 /proc/1083/task/1100/stat : 1100 (java) S 1081 1081 1036 0 -1 1077944384 808 0 0 0 12 0 0 0 20 0 20 0 89930865 26735009792 11636 33554432000 4194304 4196468 140729685496256 140409597544816 140411064216194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1101] ppid=1081 vsize=26108408 memory=110297088 CPUtime=0 cores=0-7 /proc/1083/task/1101/stat : 1101 (java) S 1081 1081 1036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89930865 26735009792 11636 33554432000 4194304 4196468 140729685496256 140409596492512 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1102] ppid=1081 vsize=26108408 memory=115843071 CPUtime=0 cores=0-7 /proc/1083/task/1102/stat : 1102 (java) S 1081 1081 1036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89930865 26735009792 11636 33554432000 4194304 4196468 140729685496256 140409527331760 140411064216194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 47780 KiB [startup+0.70097 s] /proc/loadavg: 8.66 8.44 8.40 4/206 1102 /proc/meminfo: memFree=27303752/32770624 swapFree=67108860/67108860 [pid=1081] ppid=1078 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1081/stat : 1081 (xcsp3-exec) S 1078 1081 1036 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89930859 115843072 364 33554432000 4194304 5098028 140725298363088 140725298361192 140186103874172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34967552 140725298369589 140725298369792 140725298369792 140725298372554 0 /proc/1081/statm: 28282 364 306 221 0 87 0 [pid=1083] ppid=1081 vsize=26110532 memory=87320 CPUtime=1.66 cores=0-7 /proc/1083/stat : 1083 (java) S 1081 1081 1036 0 -1 1077944320 13537 0 0 0 161 5 0 0 20 0 20 0 89930859 26737184768 21830 33554432000 4194304 4196468 140729685496256 140729685478800 140411064205047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 /proc/1083/statm: 6527633 21830 3358 1 0 6488827 0 [pid=1083/tid=1084] ppid=1081 vsize=26110532 memory=4580 CPUtime=0.67 cores=0-7 /proc/1083/task/1084/stat : 1084 (java) R 1081 1081 1036 0 -1 4202560 7214 0 0 0 64 3 0 0 20 0 20 0 89930859 26737184768 21830 33554432000 4194304 4196468 140729685496256 140411068437408 140411048285534 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1085] ppid=1081 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1085/stat : 1085 (java) S 1081 1081 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89930860 26737184768 21830 33554432000 4194304 4196468 140729685496256 140411016825616 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1086] ppid=1081 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1086/stat : 1086 (java) S 1081 1081 1036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89930860 26737184768 21830 33554432000 4194304 4196468 140729685496256 140411015773072 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1087] ppid=1081 vsize=26110532 memory=2432 CPUtime=0 cores=0-7 /proc/1083/task/1087/stat : 1087 (java) S 1081 1081 1036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89930860 26737184768 21830 33554432000 4194304 4196468 140729685496256 140411014720528 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 ################ # More data... # ################ [pid=1083/tid=1100] ppid=1081 vsize=26645092 memory=7681063409702499091 CPUtime=0.72 cores=0-7 /proc/1083/task/1100/stat : 1100 (java) S 1081 1081 1036 0 -1 1077944384 4244 0 0 0 71 1 0 0 20 0 28 0 89930865 27284574208 58700 33554432000 4194304 4196468 140729685496256 140409597544816 140411064216194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1101] ppid=1081 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1101/stat : 1101 (java) S 1081 1081 1036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89930865 27284574208 58700 33554432000 4194304 4196468 140729685496256 140409596492512 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1102] ppid=1081 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1102/stat : 1102 (java) S 1081 1081 1036 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 89930865 27284574208 58700 33554432000 4194304 4196468 140729685496256 140409527331760 140411064216194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1127] ppid=1081 vsize=26645092 memory=0 CPUtime=2.66 cores=0-7 /proc/1083/task/1127/stat : 1127 (java) R 1081 1081 1036 0 -1 4202560 38 0 0 0 265 1 0 0 20 0 28 0 89930977 27284574208 58700 33554432000 4194304 4196468 140729685496256 140409514527920 140410692883718 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1128] ppid=1081 vsize=26645092 memory=0 CPUtime=2.55 cores=0-7 /proc/1083/task/1128/stat : 1128 (java) R 1081 1081 1036 0 -1 4202560 69 0 0 0 254 1 0 0 20 0 28 0 89930977 27284574208 58700 33554432000 4194304 4196468 140729685496256 140409513476576 140410693001479 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1129] ppid=1081 vsize=26645092 memory=139854806103791 CPUtime=2.51 cores=0-7 /proc/1083/task/1129/stat : 1129 (java) R 1081 1081 1036 0 -1 1077944384 50 0 0 0 250 1 0 0 20 0 28 0 89930977 27284574208 58700 33554432000 4194304 4196468 140729685496256 140409515581024 140411064215253 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1130] ppid=1081 vsize=26645092 memory=7306916055891837008 CPUtime=2.45 cores=0-7 /proc/1083/task/1130/stat : 1130 (java) R 1081 1081 1036 0 -1 4202560 104 0 0 0 244 1 0 0 20 0 28 0 89930977 27284574208 58700 33554432000 4194304 4196468 140729685496256 140409512423136 140410692414447 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1131] ppid=1081 vsize=26645092 memory=288287792163980136 CPUtime=2.48 cores=0-7 /proc/1083/task/1131/stat : 1131 (java) S 1081 1081 1036 0 -1 1077944384 126 0 0 0 247 1 0 0 20 0 28 0 89930977 27284574208 58700 33554432000 4194304 4196468 140729685496256 140409518739296 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1132] ppid=1081 vsize=26645092 memory=0 CPUtime=2.51 cores=0-7 /proc/1083/task/1132/stat : 1132 (java) S 1081 1081 1036 0 -1 1077944384 139 0 0 0 250 1 0 0 20 0 28 0 89930977 27284574208 58700 33554432000 4194304 4196468 140729685496256 140409511370720 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1133] ppid=1081 vsize=26645092 memory=0 CPUtime=2.46 cores=0-7 /proc/1083/task/1133/stat : 1133 (java) R 1081 1081 1036 0 -1 4202560 70 0 0 0 244 2 0 0 20 0 28 0 89930978 27284574208 58700 33554432000 4194304 4196468 140729685496256 140409516634208 140410691674118 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1134] ppid=1081 vsize=26645092 memory=0 CPUtime=2.41 cores=0-7 /proc/1083/task/1134/stat : 1134 (java) R 1081 1081 1036 0 -1 4202560 56 0 0 0 241 0 0 0 20 0 28 0 89930980 27284574208 58700 33554432000 4194304 4196468 140729685496256 140409517686912 140410693544906 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 Current children cumulated CPU time: 27.34 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 236256 KiB [startup+4.70162 s] /proc/loadavg: 9.01 8.52 8.43 8/214 1134 /proc/meminfo: memFree=27127412/32770624 swapFree=67108860/67108860 [pid=1081] ppid=1078 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1081/stat : 1081 (xcsp3-exec) S 1078 1081 1036 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89930859 115843072 364 33554432000 4194304 5098028 140725298363088 140725298361192 140186103874172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34967552 140725298369589 140725298369792 140725298369792 140725298372554 0 /proc/1081/statm: 28282 364 306 221 0 87 0 [pid=1083] ppid=1081 vsize=26645092 memory=234832 CPUtime=30.35 cores=0-7 /proc/1083/stat : 1083 (java) S 1081 1081 1036 0 -1 1077944320 32988 0 0 0 3006 29 0 0 20 0 28 0 89930859 27284574208 58708 33554432000 4194304 4196468 140729685496256 140729685478800 140411064205047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 /proc/1083/statm: 6661273 58708 3426 1 0 6622467 0 [pid=1083/tid=1084] ppid=1081 vsize=26645092 memory=6628 CPUtime=1.06 cores=0-7 /proc/1083/task/1084/stat : 1084 (java) S 1081 1081 1036 0 -1 1077944384 7915 0 0 0 102 4 0 0 20 0 28 0 89930859 27284574208 58708 33554432000 4194304 4196468 140729685496256 140411068445824 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1085] ppid=1081 vsize=26645092 memory=8836 CPUtime=0.01 cores=0-7 /proc/1083/task/1085/stat : 1085 (java) S 1081 1081 1036 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 28 0 89930860 27284574208 58708 33554432000 4194304 4196468 140729685496256 140411016825616 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1086] ppid=1081 vsize=26645092 memory=11044 CPUtime=0 cores=0-7 /proc/1083/task/1086/stat : 1086 (java) S 1081 1081 1036 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 28 0 89930860 27284574208 58708 33554432000 4194304 4196468 140729685496256 140411015773072 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1087] ppid=1081 vsize=26645092 memory=13252 CPUtime=0 cores=0-7 /proc/1083/task/1087/stat : 1087 (java) S 1081 1081 1036 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 89930860 27284574208 58708 33554432000 4194304 4196468 140729685496256 140411014720528 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1088] ppid=1081 vsize=26645092 memory=15460 CPUtime=0.01 cores=0-7 /proc/1083/task/1088/stat : 1088 (java) S 1081 1081 1036 0 -1 1077944384 648 0 0 0 1 0 0 0 20 0 28 0 89930860 27284574208 58708 33554432000 4194304 4196468 140729685496256 140411013667984 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1089] ppid=1081 vsize=26645092 memory=17668 CPUtime=0.01 cores=0-7 /proc/1083/task/1089/stat : 1089 (java) S 1081 1081 1036 0 -1 1077944384 86 0 0 0 1 0 0 0 20 0 28 0 89930860 27284574208 58708 33554432000 4194304 4196468 140729685496256 140411012614416 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1090] ppid=1081 vsize=26645092 memory=19876 CPUtime=0 cores=0-7 /proc/1083/task/1090/stat : 1090 (java) S 1081 1081 1036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 89930860 27284574208 58708 33554432000 4194304 4196468 140729685496256 140411011561872 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1091] ppid=1081 vsize=26645092 memory=19972 CPUtime=0 cores=0-7 /proc/1083/task/1091/stat : 1091 (java) S 1081 1081 1036 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 28 0 89930860 27284574208 58708 33554432000 4194304 4196468 140729685496256 140411010509328 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1092] ppid=1081 vsize=26645092 memory=7156589670649974865 CPUtime=0.01 cores=0-7 /proc/1083/task/1092/stat : 1092 (java) S 1081 1081 1036 0 -1 1077944384 77 0 0 0 1 0 0 0 20 0 28 0 89930860 27284574208 58708 33554432000 4194304 4196468 140729685496256 140411009456784 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1093] ppid=1081 vsize=26645092 memory=1456 CPUtime=0.01 cores=0-7 /proc/1083/task/1093/stat : 1093 (java) S 1081 1081 1036 0 -1 1077944384 263 0 0 0 1 0 0 0 20 0 28 0 89930862 27284574208 58708 33554432000 4194304 4196468 140729685496256 140409604913648 140411064216194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1094] ppid=1081 vsize=26645092 memory=234756 CPUtime=0 cores=0-7 /proc/1083/task/1094/stat : 1094 (java) S 1081 1081 1036 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 89930862 27284574208 58708 33554432000 4194304 4196468 140729685496256 140409603859936 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1095] ppid=1081 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1095/stat : 1095 (java) S 1081 1081 1036 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 89930862 27284574208 58708 33554432000 4194304 4196468 140729685496256 140409602807296 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1096] ppid=1081 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1096/stat : 1096 (java) S 1081 1081 1036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89930865 27284574208 58708 33554432000 4194304 4196468 140729685496256 140409601755856 140411064223643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1097] ppid=1081 vsize=26645092 memory=0 CPUtime=1.72 cores=0-7 /proc/1083/task/1097/stat : 1097 (java) S 1081 1081 1036 0 -1 1077944384 6101 0 0 0 171 1 0 0 20 0 28 0 89930865 27284574208 58708 33554432000 4194304 4196468 140729685496256 140409600702448 140411064216194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1098] ppid=1081 vsize=26645092 memory=0 CPUtime=1.72 cores=0-7 /proc/1083/task/1098/stat : 1098 (java) S 1081 1081 1036 0 -1 1077944384 4735 0 0 0 171 1 0 0 20 0 28 0 89930865 27284574208 58708 33554432000 4194304 4196468 140729685496256 140409599649904 140411064216194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1099] ppid=1081 vsize=26645092 memory=0 CPUtime=1.59 cores=0-7 /proc/1083/task/1099/stat : 1099 (java) S 1081 1081 1036 0 -1 1077944384 5412 0 0 0 157 2 0 0 20 0 28 0 89930865 27284574208 58708 33554432000 4194304 4196468 140729685496256 140409598597360 140411064216194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1100] ppid=1081 vsize=26645092 memory=0 CPUtime=0.72 cores=0-7 /proc/1083/task/1100/stat : 1100 (java) S 1081 1081 1036 0 -1 1077944384 4355 0 0 0 71 1 0 0 20 0 28 0 89930865 27284574208 58708 33554432000 4194304 4196468 140729685496256 140409597544816 140411064216194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1101] ppid=1081 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1101/stat : 1101 (java) S 1081 1081 1036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89930865 27284574208 58708 33554432000 4194304 4196468 140729685496256 140409596492512 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1102] ppid=1081 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1102/stat : 1102 (java) S 1081 1081 1036 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 89930865 27284574208 58708 33554432000 4194304 4196468 140729685496256 140409527331760 140411064216194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1127] ppid=1081 vsize=26645092 memory=0 CPUtime=3.04 cores=0-7 /proc/1083/task/1127/stat : 1127 (java) R 1081 1081 1036 0 -1 4202560 38 0 0 0 303 1 0 0 20 0 28 0 89930977 27284574208 58708 33554432000 4194304 4196468 140729685496256 140409514527920 140410693544540 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1128] ppid=1081 vsize=26645092 memory=0 CPUtime=2.91 cores=0-7 /proc/1083/task/1128/stat : 1128 (java) R 1081 1081 1036 0 -1 4202560 69 0 0 0 290 1 0 0 20 0 28 0 89930977 27284574208 58708 33554432000 4194304 4196468 140729685496256 140409513476576 140410691673737 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1129] ppid=1081 vsize=26645092 memory=0 CPUtime=2.89 cores=0-7 /proc/1083/task/1129/stat : 1129 (java) R 1081 1081 1036 0 -1 4202560 50 0 0 0 288 1 0 0 20 0 28 0 89930977 27284574208 58708 33554432000 4194304 4196468 140729685496256 140409515580928 140410693544540 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1130] ppid=1081 vsize=26645092 memory=0 CPUtime=2.83 cores=0-7 /proc/1083/task/1130/stat : 1130 (java) R 1081 1081 1036 0 -1 4202560 110 0 0 0 282 1 0 0 20 0 28 0 89930977 27284574208 58708 33554432000 4194304 4196468 140729685496256 140409512423040 140410693544540 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1131] ppid=1081 vsize=26645092 memory=144495584741501 CPUtime=2.86 cores=0-7 /proc/1083/task/1131/stat : 1131 (java) R 1081 1081 1036 0 -1 4202560 126 0 0 0 285 1 0 0 20 0 28 0 89930977 27284574208 58708 33554432000 4194304 4196468 140729685496256 140409518739296 140410692812318 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1132] ppid=1081 vsize=26645092 memory=144495584741502 CPUtime=2.88 cores=0-7 /proc/1083/task/1132/stat : 1132 (java) R 1081 1081 1036 0 -1 4202560 139 0 0 0 287 1 0 0 20 0 28 0 89930977 27284574208 58708 33554432000 4194304 4196468 140729685496256 140409511370720 140410693002343 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1133] ppid=1081 vsize=26645092 memory=144495584741503 CPUtime=2.83 cores=0-7 /proc/1083/task/1133/stat : 1133 (java) R 1081 1081 1036 0 -1 4202560 70 0 0 0 281 2 0 0 20 0 28 0 89930978 27284574208 58708 33554432000 4194304 4196468 140729685496256 140409516634112 140410692367244 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1134] ppid=1081 vsize=26645092 memory=0 CPUtime=2.78 cores=0-7 /proc/1083/task/1134/stat : 1134 (java) R 1081 1081 1036 0 -1 1077944384 56 0 0 0 277 1 0 0 20 0 28 0 89930980 27284574208 58708 33554432000 4194304 4196468 140729685496256 140409517686912 140411064216194 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 Current children cumulated CPU time: 30.35 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 236288 KiB [startup+4.80131 s] /proc/loadavg: 9.01 8.52 8.43 8/214 1134 /proc/meminfo: memFree=27127412/32770624 swapFree=67108860/67108860 [pid=1081] ppid=1078 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1081/stat : 1081 (xcsp3-exec) S 1078 1081 1036 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89930859 115843072 364 33554432000 4194304 5098028 140725298363088 140725298361192 140186103874172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34967552 140725298369589 140725298369792 140725298369792 140725298372554 0 /proc/1081/statm: 28282 364 306 221 0 87 0 [pid=1083] ppid=1081 vsize=26645092 memory=234844 CPUtime=31.12 cores=0-7 /proc/1083/stat : 1083 (java) S 1081 1081 1036 0 -1 1077944320 33038 0 0 0 3083 29 0 0 20 0 28 0 89930859 27284574208 58711 33554432000 4194304 4196468 140729685496256 140729685478800 140411064205047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 /proc/1083/statm: 6661273 58711 3426 1 0 6622467 0 [pid=1083/tid=1084] ppid=1081 vsize=26645092 memory=234756 CPUtime=1.06 cores=0-7 /proc/1083/task/1084/stat : 1084 (java) S 1081 1081 1036 0 -1 1077944384 7915 0 0 0 102 4 0 0 20 0 28 0 89930859 27284574208 58711 33554432000 4194304 4196468 140729685496256 140411068445824 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1085] ppid=1081 vsize=26645092 memory=225528 CPUtime=0.01 cores=0-7 /proc/1083/task/1085/stat : 1085 (java) S 1081 1081 1036 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 28 0 89930860 27284574208 58711 33554432000 4194304 4196468 140729685496256 140411016825616 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1086] ppid=1081 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1086/stat : 1086 (java) S 1081 1081 1036 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 28 0 89930860 27284574208 58711 33554432000 4194304 4196468 140729685496256 140411015773072 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1087] ppid=1081 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1087/stat : 1087 (java) S 1081 1081 1036 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 89930860 27284574208 58711 33554432000 4194304 4196468 140729685496256 140411014720528 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1088] ppid=1081 vsize=26645092 memory=0 CPUtime=0.01 cores=0-7 /proc/1083/task/1088/stat : 1088 (java) S 1081 1081 1036 0 -1 1077944384 648 0 0 0 1 0 0 0 20 0 28 0 89930860 27284574208 58711 33554432000 4194304 4196468 140729685496256 140411013667984 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1089] ppid=1081 vsize=26645092 memory=1456 CPUtime=0.01 cores=0-7 /proc/1083/task/1089/stat : 1089 (java) S 1081 1081 1036 0 -1 1077944384 86 0 0 0 1 0 0 0 20 0 28 0 89930860 27284574208 58711 33554432000 4194304 4196468 140729685496256 140411012614416 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1090] ppid=1081 vsize=26645092 memory=223760 CPUtime=0 cores=0-7 /proc/1083/task/1090/stat : 1090 (java) S 1081 1081 1036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 89930860 27284574208 58711 33554432000 4194304 4196468 140729685496256 140411011561872 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1091] ppid=1081 vsize=26645092 memory=-7522837583129502606 CPUtime=0 cores=0-7 /proc/1083/task/1091/stat : 1091 (java) S 1081 1081 1036 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 28 0 89930860 27284574208 58711 33554432000 4194304 4196468 140729685496256 140411010509328 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1092] ppid=1081 vsize=26645092 memory=55 CPUtime=0.01 cores=0-7 /proc/1083/task/1092/stat : 1092 (java) S 1081 1081 1036 0 -1 1077944384 77 0 0 0 1 0 0 0 20 0 28 0 89930860 27284574208 58711 33554432000 4194304 4196468 140729685496256 140411009456784 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1093] ppid=1081 vsize=26645092 memory=14869 CPUtime=0.01 cores=0-7 /proc/1083/task/1093/stat : 1093 (java) S 1081 1081 1036 0 -1 1077944384 263 0 0 0 1 0 0 0 20 0 28 0 89930862 27284574208 58711 33554432000 4194304 4196468 140729685496256 140409604913648 140411064216194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1094] ppid=1081 vsize=26645092 memory=523973 CPUtime=0 cores=0-7 /proc/1083/task/1094/stat : 1094 (java) S 1081 1081 1036 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 89930862 27284574208 58711 33554432000 4194304 4196468 140729685496256 140409603859936 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1095] ppid=1081 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1095/stat : 1095 (java) S 1081 1081 1036 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 89930862 27284574208 58711 33554432000 4194304 4196468 140729685496256 140409602807296 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1096] ppid=1081 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/1083/task/1096/stat : 1096 (java) S 1081 1081 1036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89930865 27284574208 58711 33554432000 4194304 4196468 140729685496256 140409601755856 140411064223643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1097] ppid=1081 vsize=26645092 memory=0 CPUtime=1.72 cores=0-7 /proc/1083/task/1097/stat : 1097 (java) S 1081 1081 1036 0 -1 1077944384 6101 0 0 0 171 1 0 0 20 0 28 0 89930865 27284574208 58711 33554432000 4194304 4196468 140729685496256 140409600702448 140411064216194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1098] ppid=1081 vsize=26645092 memory=0 CPUtime=1.72 cores=0-7 /proc/1083/task/1098/stat : 1098 (java) S 1081 1081 1036 0 -1 1077944384 4735 0 0 0 171 1 0 0 20 0 28 0 89930865 27284574208 58711 33554432000 4194304 4196468 140729685496256 140409599649904 140411064216194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1099] ppid=1081 vsize=26645092 memory=0 CPUtime=1.59 cores=0-7 /proc/1083/task/1099/stat : 1099 (java) S 1081 1081 1036 0 -1 1077944384 5412 0 0 0 157 2 0 0 20 0 28 0 89930865 27284574208 58711 33554432000 4194304 4196468 140729685496256 140409598597360 140411064216194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1100] ppid=1081 vsize=26645092 memory=170 CPUtime=0.73 cores=0-7 /proc/1083/task/1100/stat : 1100 (java) S 1081 1081 1036 0 -1 1077944384 4402 0 0 0 72 1 0 0 20 0 28 0 89930865 27284574208 58711 33554432000 4194304 4196468 140729685496256 140409597544816 140411064216194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1101] ppid=1081 vsize=26645092 memory=172 CPUtime=0 cores=0-7 /proc/1083/task/1101/stat : 1101 (java) S 1081 1081 1036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89930865 27284574208 58711 33554432000 4194304 4196468 140729685496256 140409596492512 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1102] ppid=1081 vsize=26645092 memory=159 CPUtime=0 cores=0-7 /proc/1083/task/1102/stat : 1102 (java) S 1081 1081 1036 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 89930865 27284574208 58711 33554432000 4194304 4196468 140729685496256 140409527331760 140411064216194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1127] ppid=1081 vsize=26645092 memory=72 CPUtime=3.14 cores=0-7 /proc/1083/task/1127/stat : 1127 (java) R 1081 1081 1036 0 -1 4202560 38 0 0 0 312 2 0 0 20 0 28 0 89930977 27284574208 58711 33554432000 4194304 4196468 140729685496256 140409514527920 140410691674063 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1128] ppid=1081 vsize=26645092 memory=0 CPUtime=3.01 cores=0-7 /proc/1083/task/1128/stat : 1128 (java) R 1081 1081 1036 0 -1 4202560 69 0 0 0 300 1 0 0 20 0 28 0 89930977 27284574208 58711 33554432000 4194304 4196468 140729685496256 140409513476576 140410693544540 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1129] ppid=1081 vsize=26645092 memory=8112282956445269571 CPUtime=2.99 cores=0-7 /proc/1083/task/1129/stat : 1129 (java) R 1081 1081 1036 0 -1 4202560 50 0 0 0 297 2 0 0 20 0 28 0 89930977 27284574208 58711 33554432000 4194304 4196468 140729685496256 140409515581024 140410691673871 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1130] ppid=1081 vsize=26645092 memory=0 CPUtime=2.93 cores=0-7 /proc/1083/task/1130/stat : 1130 (java) S 1081 1081 1036 0 -1 1077944384 112 0 0 0 292 1 0 0 20 0 28 0 89930977 27284574208 58711 33554432000 4194304 4196468 140729685496256 140409512423136 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1131] ppid=1081 vsize=26645092 memory=0 CPUtime=2.95 cores=0-7 /proc/1083/task/1131/stat : 1131 (java) S 1081 1081 1036 0 -1 1077944384 126 0 0 0 294 1 0 0 20 0 28 0 89930977 27284574208 58711 33554432000 4194304 4196468 140729685496256 140409518739296 140411064215253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1132] ppid=1081 vsize=26645092 memory=0 CPUtime=2.98 cores=0-7 /proc/1083/task/1132/stat : 1132 (java) R 1081 1081 1036 0 -1 4202560 140 0 0 0 297 1 0 0 20 0 28 0 89930977 27284574208 58711 33554432000 4194304 4196468 140729685496256 140409511370720 140410692814053 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1133] ppid=1081 vsize=26645092 memory=0 CPUtime=2.93 cores=0-7 /proc/1083/task/1133/stat : 1133 (java) R 1081 1081 1036 0 -1 4202560 70 0 0 0 291 2 0 0 20 0 28 0 89930978 27284574208 58711 33554432000 4194304 4196468 140729685496256 140409516634208 140410692211891 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 [pid=1083/tid=1134] ppid=1081 vsize=26645092 memory=0 CPUtime=2.88 cores=0-7 /proc/1083/task/1134/stat : 1134 (java) R 1081 1081 1036 0 -1 1077944384 56 0 0 0 287 1 0 0 20 0 28 0 89930980 27284574208 58711 33554432000 4194304 4196468 140729685496256 140409517687008 140411064215253 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14229504 140729685505153 140729685505325 140729685505325 140729685508047 0 Current children cumulated CPU time: 31.12 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 236300 KiB Child status: 0 Real time (s): 4.82471 CPU time (s): 31.2287 CPU user time (s): 30.9182 CPU system time (s): 0.310571 CPU usage (%): 647.266 Max. virtual memory (cumulated for all children) (KiB): 26758220 Max. memory (cumulated for all children) (KiB): 236300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 30.9182 system time used= 0.310571 maximum resident set size= 235112 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34189 page faults= 0 swaps= 0 block input operations= 0 block output operations= 152 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 44228 involuntary context switches= 447 # summary of solver processes directly reported to runsolver: # pid: 1081 # total CPU time (s): 31.2287 # total CPU user time (s): 30.9182 # total CPU system time (s): 0.310571 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.072508 second user time and 0.079972 second system time The end
Begin job on node135 at 2018-07-27 22:34:37 IDJOB=4297414 IDBENCH=141494 IDSOLVER=2760 FILE ID=node135/4297414-1532723677 RUNJOBID= node135-1532723677-1064 PBS_JOBID= 21022338 Free space on /tmp= 48368 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/PeacableArmies/PeacableArmies-m2-07_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-4297414-1532723677/watcher-4297414-1532723677 -o /tmp/evaluation-result-4297414-1532723677/solver-4297414-1532723677 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1532723677-1064 --watchdog 2580 HOME/xcsp3-exec -seed 1605472626 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297414-1532723677.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d533abf730bec48b9e0ac1943d19d6b7 RANDOM SEED=1605472626 node135.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 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.50 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.50 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.50 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: 27351848 kB MemAvailable: 31928968 kB Buffers: 168712 kB Cached: 4642028 kB SwapCached: 0 kB Active: 1644312 kB Inactive: 3220104 kB Active(anon): 4932 kB Inactive(anon): 76924 kB Active(file): 1639380 kB Inactive(file): 3143180 kB Unevictable: 7212 kB Mlocked: 7212 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 21864 kB Writeback: 0 kB AnonPages: 60624 kB Mapped: 41064 kB Shmem: 25248 kB Slab: 248532 kB SReclaimable: 220788 kB SUnreclaim: 27744 kB KernelStack: 3200 kB PageTables: 4604 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323968 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 93568 kB DirectMap2M: 33452032 kB Free space on /tmp at the end= 48344 MiB End job on node135 at 2018-07-27 22:34:42