Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 310 | 174.523 | 22.6275 |
Name | Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-3.xml |
MD5SUM | 486402128da484f7cb4aeca2fb99213d |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 310 |
Best CPU time to get the best result obtained on this benchmark | 32.7447 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 105 |
Number of constraints | 90 |
Number of domains | 7 |
Minimum domain size | 5 |
Maximum domain size | 410 |
Distribution of domain sizes | [{"size":5,"count":50},{"size":410,"count":55}] |
Minimum variable degree | 2 |
Maximum variable degree | 6 |
Distribution of variable degrees | [{"degree":2,"count":30},{"degree":3,"count":50},{"degree":6,"count":25}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 7 |
Distribution of constraint arities | [{"arity":1,"count":5},{"arity":2,"count":25},{"arity":3,"count":25},{"arity":5,"count":10},{"arity":7,"count":25}] |
Number of extensional constraints | 25 |
Number of intensional constraints | 30 |
Distribution of constraint types | [{"type":"extension","count":25},{"type":"intension","count":30},{"type":"allDifferent","count":5},{"type":"noOverlap","count":5},{"type":"element","count":25}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406987-1569343630.xml" -tl '20160s' -p 8 0.11/0.18 c Choco e747e1e 0.11/0.18 c [HOME/instance-4406987-1569343630.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.51/0.76 c solve instance... 1.97/0.85 o 396 2.66/0.92 o 392 2.66/0.98 o 388 2.66/0.99 o 387 4.67/1.29 o 372 4.67/1.29 o 370 4.67/1.29 o 368 4.67/1.29 o 365 4.67/1.29 o 352 4.67/1.29 o 351 4.67/1.29 o 343 6.22/1.44 o 338 7.72/1.63 o 337 7.72/1.64 o 335 16.44/2.74 o 330 16.44/2.77 o 327 19.66/3.14 o 326 19.66/3.18 o 325 20.34/3.23 o 323 21.94/3.46 o 320 22.73/3.56 o 317 31.36/4.67 o 316 34.54/5.03 o 315 35.35/5.13 o 314 36.06/5.26 o 313 42.44/6.05 o 312 105.25/13.90 o 311 129.07/16.96 o 310 174.41/22.61 s OPTIMUM FOUND 174.41/22.61 v <instantiation> 174.41/22.61 v <list>s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] e[0] e[1] e[2] e[3] e[4] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[0][4] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[1][4] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[2][4] sd[3][0] sd[3][1] sd[3][2] sd[3][3] sd[3][4] sd[4][0] sd[4][1] sd[4][2] sd[4][3] sd[4][4] </list> 174.41/22.61 v <values>0 66 126 218 270 0 81 117 195 266 0 81 138 229 305 0 81 106 190 230 0 97 134 217 229 305 310 310 309 310 66 31 64 45 35 66 36 78 71 44 81 53 91 75 5 77 25 60 38 79 93 37 83 12 81 0 3 2 1 4 3 2 0 4 1 2 1 3 0 4 1 0 4 2 3 4 3 1 0 2 0 218 126 66 270 117 266 81 0 195 229 81 0 138 305 81 0 190 230 106 217 134 229 97 0 </values> 174.41/22.61 v </instantiation>
OK 310
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 (12374 MiB free) memory of node 1: 16384 MiB (12772 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406987-1569343630/watcher-4406987-1569343630 -o /var/tmp/evaluation-result-4406987-1569343630/solver-4406987-1569343630 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1569335936-30460 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1301745985 HOME/instance-4406987-1569343630.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=694, runsolver pid=691 Current StackSize limit: 8192 KiB [startup+0.100131 s]* /proc/loadavg: 7.89 7.08 5.85 2/211 715 /proc/meminfo: memFree=25734904/32770624 swapFree=66966880/67108860 [pid=694] ppid=691 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/694/stat : 694 (xcsp3-exec) S 691 694 30433 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510299461 115843072 362 33554432000 4194304 5098028 140736406695920 140736406694024 140697131537020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15872000 140736406700881 140736406701141 140736406701141 140736406704070 0 /proc/694/statm: 28282 362 304 221 0 87 0 [pid=696] ppid=694 vsize=28227396 memory=28672 CPUtime=0.11 cores=0-7 /proc/696/stat : 696 (java) S 694 694 30433 0 -1 1077944320 5598 0 0 0 10 1 0 0 20 0 20 0 510299461 28904853504 7168 33554432000 4194304 4196468 140721142454528 140721142437072 140090318130935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 /proc/696/statm: 7056849 7168 3115 1 0 7019032 0 [pid=696/tid=697] ppid=694 vsize=28227396 memory=8390339637985935414 CPUtime=0.08 cores=0-7 /proc/696/task/697/stat : 697 (java) R 694 694 30433 0 -1 4202560 3596 0 0 0 8 0 0 0 20 0 20 0 510299462 28904853504 7168 33554432000 4194304 4196468 140721142454528 140090322364208 140090318152861 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=698] ppid=694 vsize=28227396 memory=288230596118052887 CPUtime=0 cores=0-7 /proc/696/task/698/stat : 698 (java) S 694 694 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510299463 28904853504 7168 33554432000 4194304 4196468 140721142454528 140090237983888 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=699] ppid=694 vsize=28227396 memory=139991157700494 CPUtime=0 cores=0-7 /proc/696/task/699/stat : 699 (java) S 694 694 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510299463 28904853504 7168 33554432000 4194304 4196468 140721142454528 140090236931088 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=700] ppid=694 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/696/task/700/stat : 700 (java) S 694 694 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510299463 28904853504 7168 33554432000 4194304 4196468 140721142454528 140090235878288 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=701] ppid=694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/696/task/701/stat : 701 (java) S 694 694 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510299463 28904853504 7168 33554432000 4194304 4196468 140721142454528 140090234825488 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=702] ppid=694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/696/task/702/stat : 702 (java) S 694 694 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510299463 28904853504 7168 33554432000 4194304 4196468 140721142454528 140090233772688 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=703] ppid=694 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/696/task/703/stat : 703 (java) S 694 694 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510299463 28904853504 7168 33554432000 4194304 4196468 140721142454528 140090232719888 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=704] ppid=694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/696/task/704/stat : 704 (java) S 694 694 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510299463 28904853504 7168 33554432000 4194304 4196468 140721142454528 140090231667088 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=705] ppid=694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/696/task/705/stat : 705 (java) S 694 694 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510299463 28904853504 7168 33554432000 4194304 4196468 140721142454528 140090230614288 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=706] ppid=694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/696/task/706/stat : 706 (java) S 694 694 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510299464 28904853504 7168 33554432000 4194304 4196468 140721142454528 140088562404208 140090318142082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=707] ppid=694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/696/task/707/stat : 707 (java) S 694 694 30433 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510299464 28904853504 7168 33554432000 4194304 4196468 140721142454528 140088561350176 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=708] ppid=694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/696/task/708/stat : 708 (java) S 694 694 30433 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510299465 28904853504 7168 33554432000 4194304 4196468 140721142454528 140088560297328 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=709] ppid=694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/696/task/709/stat : 709 (java) S 694 694 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510299467 28904853504 7168 33554432000 4194304 4196468 140721142454528 140088559245648 140090318149531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=710] ppid=694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/696/task/710/stat : 710 (java) S 694 694 30433 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 510299467 28904853504 7168 33554432000 4194304 4196468 140721142454528 140088558193008 140090318142082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=711] ppid=694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/696/task/711/stat : 711 (java) S 694 694 30433 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 510299467 28904853504 7168 33554432000 4194304 4196468 140721142454528 140088557140208 140090318142082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=712] ppid=694 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/696/task/712/stat : 712 (java) S 694 694 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510299467 28904853504 7168 33554432000 4194304 4196468 140721142454528 140088556087408 140090318142082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=713] ppid=694 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/696/task/713/stat : 713 (java) R 694 694 30433 0 -1 4202560 322 0 0 0 1 0 0 0 20 0 20 0 510299467 28904853504 7168 33554432000 4194304 4196468 140721142454528 140088555034608 140090318152282 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=714] ppid=694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/696/task/714/stat : 714 (java) S 694 694 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510299467 28904853504 7168 33554432000 4194304 4196468 140721142454528 140088553983072 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=715] ppid=694 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/696/task/715/stat : 715 (java) S 694 694 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510299468 28904853504 7168 33554432000 4194304 4196468 140721142454528 140088552930352 140090318142082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30120 KiB [startup+0.210609 s]* /proc/loadavg: 7.89 7.08 5.85 4/211 715 /proc/meminfo: memFree=25721156/32770624 swapFree=66966880/67108860 [pid=694] ppid=691 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/694/stat : 694 (xcsp3-exec) S 691 694 30433 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510299461 115843072 362 33554432000 4194304 5098028 140736406695920 140736406694024 140697131537020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15872000 140736406700881 140736406701141 140736406701141 140736406704070 0 /proc/694/statm: 28282 362 304 221 0 87 0 [pid=696] ppid=694 vsize=28227396 memory=40916 CPUtime=0.33 cores=0-7 /proc/696/stat : 696 (java) S 694 694 30433 0 -1 1077944320 9497 0 0 0 30 3 0 0 20 0 20 0 510299461 28904853504 10229 33554432000 4194304 4196468 140721142454528 140721142437072 140090318130935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 /proc/696/statm: 7056849 10229 3297 1 0 7019032 0 [pid=696/tid=697] ppid=694 vsize=28227396 memory=8390339637985935414 CPUtime=0.2 cores=0-7 /proc/696/task/697/stat : 697 (java) R 694 694 30433 0 -1 4202560 6637 0 0 0 18 2 0 0 20 0 20 0 510299462 28904853504 10229 33554432000 4194304 4196468 140721142454528 140090322364672 140090285718055 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=698] ppid=694 vsize=28227396 memory=288230596118052887 CPUtime=0 cores=0-7 /proc/696/task/698/stat : 698 (java) S 694 694 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510299463 28904853504 10229 33554432000 4194304 4196468 140721142454528 140090237983888 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=699] ppid=694 vsize=28227396 memory=139991157700494 CPUtime=0 cores=0-7 /proc/696/task/699/stat : 699 (java) S 694 694 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510299463 28904853504 10229 33554432000 4194304 4196468 140721142454528 140090236931088 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=700] ppid=694 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/696/task/700/stat : 700 (java) S 694 694 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510299463 28904853504 10229 33554432000 4194304 4196468 140721142454528 140090235878288 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=701] ppid=694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/696/task/701/stat : 701 (java) S 694 694 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510299463 28904853504 10229 33554432000 4194304 4196468 140721142454528 140090234825488 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=702] ppid=694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/696/task/702/stat : 702 (java) S 694 694 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510299463 28904853504 10229 33554432000 4194304 4196468 140721142454528 140090233772688 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=703] ppid=694 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/696/task/703/stat : 703 (java) S 694 694 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510299463 28904853504 10229 33554432000 4194304 4196468 140721142454528 140090232719888 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=704] ppid=694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/696/task/704/stat : 704 (java) S 694 694 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510299463 28904853504 10229 33554432000 4194304 4196468 140721142454528 140090231667088 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=705] ppid=694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/696/task/705/stat : 705 (java) S 694 694 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510299463 28904853504 10229 33554432000 4194304 4196468 140721142454528 140090230614288 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=706] ppid=694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/696/task/706/stat : 706 (java) S 694 694 30433 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510299464 28904853504 10229 33554432000 4194304 4196468 140721142454528 140088562404208 140090318142082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=707] ppid=694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/696/task/707/stat : 707 (java) S 694 694 30433 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510299464 28904853504 10229 33554432000 4194304 4196468 140721142454528 140088561350176 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=708] ppid=694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/696/task/708/stat : 708 (java) S 694 694 30433 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510299465 28904853504 10229 33554432000 4194304 4196468 140721142454528 140088560297328 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=709] ppid=694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/696/task/709/stat : 709 (java) S 694 694 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510299467 28904853504 10229 33554432000 4194304 4196468 140721142454528 140088559245648 140090318149531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=710] ppid=694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/696/task/710/stat : 710 (java) S 694 694 30433 0 -1 1077944384 328 0 0 0 0 0 0 0 20 0 20 0 510299467 28904853504 10229 33554432000 4194304 4196468 140721142454528 140088558193008 140090318142082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=711] ppid=694 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/696/task/711/stat : 711 (java) S 694 694 30433 0 -1 1077944384 289 0 0 0 1 0 0 0 20 0 20 0 510299467 28904853504 10229 33554432000 4194304 4196468 140721142454528 140088557140208 140090318142082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=712] ppid=694 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/696/task/712/stat : 712 (java) S 694 694 30433 0 -1 1077944384 176 0 0 0 2 0 0 0 20 0 20 0 510299467 28904853504 10229 33554432000 4194304 4196468 140721142454528 140088556087408 140090318142082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=713] ppid=694 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/696/task/713/stat : 713 (java) R 694 694 30433 0 -1 4202560 765 0 0 0 7 0 0 0 20 0 20 0 510299467 28904853504 10229 33554432000 4194304 4196468 140721142454528 140088555034608 140090296575680 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=714] ppid=694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/696/task/714/stat : 714 (java) S 694 694 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510299467 28904853504 10229 33554432000 4194304 4196468 140721142454528 140088553983072 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=715] ppid=694 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/696/task/715/stat : 715 (java) S 694 694 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510299468 28904853504 10229 33554432000 4194304 4196468 140721142454528 140088552930352 140090318142082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42364 KiB [startup+0.312149 s]* /proc/loadavg: 7.89 7.08 5.85 3/211 715 /proc/meminfo: memFree=25714372/32770624 swapFree=66966880/67108860 [pid=694] ppid=691 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/694/stat : 694 (xcsp3-exec) S 691 694 30433 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510299461 115843072 362 33554432000 4194304 5098028 140736406695920 140736406694024 140697131537020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15872000 140736406700881 140736406701141 140736406701141 140736406704070 0 /proc/694/statm: 28282 362 304 221 0 87 0 [pid=696] ppid=694 vsize=28231652 memory=49776 CPUtime=0.52 cores=0-7 /proc/696/stat : 696 (java) S 694 694 30433 0 -1 1077944320 10812 0 0 0 47 5 0 0 20 0 20 0 510299461 28909211648 12444 33554432000 4194304 4196468 140721142454528 140721142437072 140090318130935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 /proc/696/statm: 7057913 12444 3361 1 0 7019032 0 [pid=696/tid=697] ppid=694 vsize=28231652 memory=0 CPUtime=0.29 cores=0-7 /proc/696/task/697/stat : 697 (java) R 694 694 30433 0 -1 4202560 7796 0 0 0 27 2 0 0 20 0 20 0 510299462 28909211648 12472 33554432000 4194304 4196468 140721142454528 140090322364720 140090302211422 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=698] ppid=694 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/696/task/698/stat : 698 (java) S 694 694 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510299463 28909211648 12472 33554432000 4194304 4196468 140721142454528 140090237983888 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=699] ppid=694 vsize=28231652 memory=139991154173568 CPUtime=0 cores=0-7 /proc/696/task/699/stat : 699 (java) S 694 694 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510299463 28909211648 12472 33554432000 4194304 4196468 140721142454528 140090236931088 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=700] ppid=694 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/696/task/700/stat : 700 (java) S 694 694 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510299463 28909211648 12472 33554432000 4194304 4196468 140721142454528 140090235878288 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=701] ppid=694 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/696/task/701/stat : 701 (java) S 694 694 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510299463 28909211648 12472 33554432000 4194304 4196468 140721142454528 140090234825488 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=702] ppid=694 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/696/task/702/stat : 702 (java) S 694 694 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510299463 28909211648 12472 33554432000 4194304 4196468 140721142454528 140090233772688 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=703] ppid=694 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/696/task/703/stat : 703 (java) S 694 694 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510299463 28909211648 12472 33554432000 4194304 4196468 140721142454528 140090232719888 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=704] ppid=694 vsize=28231652 memory=3250261 CPUtime=0 cores=0-7 /proc/696/task/704/stat : 704 (java) S 694 694 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510299463 28909211648 12472 33554432000 4194304 4196468 140721142454528 140090231667088 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=705] ppid=694 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/696/task/705/stat : 705 (java) S 694 694 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510299463 28909211648 12472 33554432000 4194304 4196468 140721142454528 140090230614288 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=706] ppid=694 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/696/task/706/stat : 706 (java) S 694 694 30433 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510299464 28909211648 12472 33554432000 4194304 4196468 140721142454528 140088562404208 140090318142082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=707] ppid=694 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/696/task/707/stat : 707 (java) S 694 694 30433 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510299464 28909211648 12472 33554432000 4194304 4196468 140721142454528 140088561350176 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=708] ppid=694 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/696/task/708/stat : 708 (java) S 694 694 30433 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510299465 28909211648 12472 33554432000 4194304 4196468 140721142454528 140088560297328 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=709] ppid=694 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/696/task/709/stat : 709 (java) S 694 694 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510299467 28909211648 12472 33554432000 4194304 4196468 140721142454528 140088559245648 140090318149531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=710] ppid=694 vsize=28231652 memory=0 CPUtime=0.01 cores=0-7 /proc/696/task/710/stat : 710 (java) S 694 694 30433 0 -1 1077944384 360 0 0 0 1 0 0 0 20 0 20 0 510299467 28909211648 12472 33554432000 4194304 4196468 140721142454528 140088558193008 140090318142082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=711] ppid=694 vsize=28231652 memory=0 CPUtime=0.03 cores=0-7 /proc/696/task/711/stat : 711 (java) R 694 694 30433 0 -1 4202560 379 0 0 0 3 0 0 0 20 0 20 0 510299467 28909211648 12472 33554432000 4194304 4196468 140721142454528 140088557121224 140090302519824 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=712] ppid=694 vsize=28231652 memory=0 CPUtime=0.03 cores=0-7 /proc/696/task/712/stat : 712 (java) S 694 694 30433 0 -1 1077944384 176 0 0 0 3 0 0 0 20 0 20 0 510299467 28909211648 12472 33554432000 4194304 4196468 140721142454528 140088556087408 140090318142082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=713] ppid=694 vsize=28231652 memory=0 CPUtime=0.12 cores=0-7 /proc/696/task/713/stat : 713 (java) S 694 694 30433 0 -1 1077944384 843 0 0 0 12 0 0 0 20 0 20 0 510299467 28909211648 12472 33554432000 4194304 4196468 140721142454528 140088555034608 140090318142082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=714] ppid=694 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/696/task/714/stat : 714 (java) S 694 694 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510299467 28909211648 12472 33554432000 4194304 4196468 140721142454528 140088553983072 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=715] ppid=694 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/696/task/715/stat : 715 (java) S 694 694 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510299468 28909211648 12472 33554432000 4194304 4196468 140721142454528 140088552930352 140090318142082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51224 KiB [startup+0.701006 s] /proc/loadavg: 7.89 7.08 5.85 5/211 715 /proc/meminfo: memFree=25699788/32770624 swapFree=66966880/67108860 [pid=694] ppid=691 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/694/stat : 694 (xcsp3-exec) S 691 694 30433 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510299461 115843072 362 33554432000 4194304 5098028 140736406695920 140736406694024 140697131537020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15872000 140736406700881 140736406701141 140736406701141 140736406704070 0 /proc/694/statm: 28282 362 304 221 0 87 0 [pid=696] ppid=694 vsize=28233776 memory=84028 CPUtime=1.51 cores=0-7 /proc/696/stat : 696 (java) S 694 694 30433 0 -1 1077944320 15230 0 0 0 143 8 0 0 20 0 20 0 510299461 28911386624 21007 33554432000 4194304 4196468 140721142454528 140721142437072 140090318130935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 /proc/696/statm: 7058444 21007 3450 1 0 7019544 0 [pid=696/tid=697] ppid=694 vsize=28233776 memory=3612 CPUtime=0.67 cores=0-7 /proc/696/task/697/stat : 697 (java) R 694 694 30433 0 -1 4202560 9437 0 0 0 63 4 0 0 20 0 20 0 510299462 28911386624 21007 33554432000 4194304 4196468 140721142454528 140090322365024 140090310808949 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=698] ppid=694 vsize=28233776 memory=63816 CPUtime=0 cores=0-7 /proc/696/task/698/stat : 698 (java) S 694 694 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510299463 28911386624 21007 33554432000 4194304 4196468 140721142454528 140090237983888 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=699] ppid=694 vsize=28233776 memory=988 CPUtime=0 cores=0-7 /proc/696/task/699/stat : 699 (java) S 694 694 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510299463 28911386624 21007 33554432000 4194304 4196468 140721142454528 140090236931088 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=700] ppid=694 vsize=28233776 memory=2020 CPUtime=0 cores=0-7 /proc/696/task/700/stat : 700 (java) S 694 694 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510299463 28911386624 21007 33554432000 4194304 4196468 140721142454528 140090235878288 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 ################ # More data... # ################ [pid=696/tid=713] ppid=694 vsize=28769364 memory=3112 CPUtime=0.91 cores=0-7 /proc/696/task/713/stat : 713 (java) S 694 694 30433 0 -1 1077944384 11102 0 0 0 88 3 0 0 20 0 28 0 510299467 29459828736 68102 33554432000 4194304 4196468 140721142454528 140088555034608 140090318142082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=714] ppid=694 vsize=28769364 memory=1448 CPUtime=0 cores=0-7 /proc/696/task/714/stat : 714 (java) S 694 694 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510299467 29459828736 68102 33554432000 4194304 4196468 140721142454528 140088553983072 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=715] ppid=694 vsize=28769364 memory=276008 CPUtime=0 cores=0-7 /proc/696/task/715/stat : 715 (java) S 694 694 30433 0 -1 1077944384 377 0 0 0 0 0 0 0 20 0 28 0 510299468 29459828736 68102 33554432000 4194304 4196468 140721142454528 140088552930352 140090318142082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=947] ppid=694 vsize=28769364 memory=14080 CPUtime=4.58 cores=0-7 /proc/696/task/947/stat : 947 (java) R 694 694 30433 0 -1 4202560 224 0 0 0 458 0 0 0 20 0 28 0 510301158 29459828736 68102 33554432000 4194304 4196468 140721142454528 140088471168880 140089912558322 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=948] ppid=694 vsize=28769364 memory=35664 CPUtime=4.6 cores=0-7 /proc/696/task/948/stat : 948 (java) R 694 694 30433 0 -1 4202560 215 0 0 0 460 0 0 0 20 0 28 0 510301158 29459828736 68102 33554432000 4194304 4196468 140721142454528 140088468009672 140089912360800 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=949] ppid=694 vsize=28769364 memory=2120 CPUtime=4.6 cores=0-7 /proc/696/task/949/stat : 949 (java) R 694 694 30433 0 -1 4202560 222 0 0 0 460 0 0 0 20 0 28 0 510301158 29459828736 68102 33554432000 4194304 4196468 140721142454528 140088470114888 140090299537234 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=950] ppid=694 vsize=28769364 memory=508 CPUtime=4.53 cores=0-7 /proc/696/task/950/stat : 950 (java) R 694 694 30433 0 -1 4202560 405 0 0 0 453 0 0 0 20 0 28 0 510301158 29459828736 68102 33554432000 4194304 4196468 140721142454528 140088472219232 140089910281991 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=951] ppid=694 vsize=28769364 memory=1560 CPUtime=4.57 cores=0-7 /proc/696/task/951/stat : 951 (java) R 694 694 30433 0 -1 4202560 165 0 0 0 457 0 0 0 20 0 28 0 510301158 29459828736 68102 33554432000 4194304 4196468 140721142454528 140088466956392 140089914919536 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=952] ppid=694 vsize=28769364 memory=1448 CPUtime=4.59 cores=0-7 /proc/696/task/952/stat : 952 (java) R 694 694 30433 0 -1 4202560 214 0 0 0 459 0 0 0 20 0 28 0 510301158 29459828736 68102 33554432000 4194304 4196468 140721142454528 140088465903640 140089914615171 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=953] ppid=694 vsize=28769364 memory=282528 CPUtime=4.57 cores=0-7 /proc/696/task/953/stat : 953 (java) R 694 694 30433 0 -1 4202560 251 0 0 0 457 0 0 0 20 0 28 0 510301158 29459828736 68102 33554432000 4194304 4196468 140721142454528 140088473273296 140089914700777 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=954] ppid=694 vsize=28769364 memory=13848568817518192 CPUtime=4.55 cores=0-7 /proc/696/task/954/stat : 954 (java) R 694 694 30433 0 -1 4202560 448 0 0 0 455 0 0 0 20 0 28 0 510301158 29459828736 68102 33554432000 4194304 4196468 140721142454528 140088474325864 140089907904960 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 Current children cumulated CPU time: 166.45 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 273856 KiB [startup+22.4018 s] /proc/loadavg: 7.70 7.09 5.88 9/219 954 /proc/meminfo: memFree=25489468/32770624 swapFree=66966880/67108860 [pid=694] ppid=691 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/694/stat : 694 (xcsp3-exec) S 691 694 30433 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510299461 115843072 362 33554432000 4194304 5098028 140736406695920 140736406694024 140697131537020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15872000 140736406700881 140736406701141 140736406701141 140736406704070 0 /proc/694/statm: 28282 362 304 221 0 87 0 [pid=696] ppid=694 vsize=28769364 memory=274456 CPUtime=172.81 cores=0-7 /proc/696/stat : 696 (java) S 694 694 30433 0 -1 1077944320 71587 0 0 0 17230 51 0 0 20 0 28 0 510299461 29459828736 68614 33554432000 4194304 4196468 140721142454528 140721142437072 140090318130935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 /proc/696/statm: 7192341 68614 3534 1 0 7153441 0 [pid=696/tid=697] ppid=694 vsize=28769364 memory=1044 CPUtime=0.76 cores=0-7 /proc/696/task/697/stat : 697 (java) S 694 694 30433 0 -1 1077944384 9946 0 0 0 72 4 0 0 20 0 28 0 510299462 29459828736 68614 33554432000 4194304 4196468 140721142454528 140090322371712 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=698] ppid=694 vsize=28769364 memory=712 CPUtime=0.05 cores=0-7 /proc/696/task/698/stat : 698 (java) S 694 694 30433 0 -1 1077944384 885 0 0 0 3 2 0 0 20 0 28 0 510299463 29459828736 68614 33554432000 4194304 4196468 140721142454528 140090237983888 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=699] ppid=694 vsize=28769364 memory=2832 CPUtime=0.04 cores=0-7 /proc/696/task/699/stat : 699 (java) S 694 694 30433 0 -1 1077944384 1283 0 0 0 2 2 0 0 20 0 28 0 510299463 29459828736 68614 33554432000 4194304 4196468 140721142454528 140090236931088 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=700] ppid=694 vsize=28769364 memory=1448 CPUtime=0.06 cores=0-7 /proc/696/task/700/stat : 700 (java) S 694 694 30433 0 -1 1077944384 1033 0 0 0 4 2 0 0 20 0 28 0 510299463 29459828736 68614 33554432000 4194304 4196468 140721142454528 140090235878288 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=701] ppid=694 vsize=28769364 memory=0 CPUtime=0.05 cores=0-7 /proc/696/task/701/stat : 701 (java) S 694 694 30433 0 -1 1077944384 546 0 0 0 3 2 0 0 20 0 28 0 510299463 29459828736 68614 33554432000 4194304 4196468 140721142454528 140090234825488 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=702] ppid=694 vsize=28769364 memory=0 CPUtime=0.05 cores=0-7 /proc/696/task/702/stat : 702 (java) S 694 694 30433 0 -1 1077944384 563 0 0 0 3 2 0 0 20 0 28 0 510299463 29459828736 68614 33554432000 4194304 4196468 140721142454528 140090233772688 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=703] ppid=694 vsize=28769364 memory=1448 CPUtime=0.04 cores=0-7 /proc/696/task/703/stat : 703 (java) S 694 694 30433 0 -1 1077944384 344 0 0 0 2 2 0 0 20 0 28 0 510299463 29459828736 68614 33554432000 4194304 4196468 140721142454528 140090232719888 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=704] ppid=694 vsize=28769364 memory=271404 CPUtime=0.05 cores=0-7 /proc/696/task/704/stat : 704 (java) S 694 694 30433 0 -1 1077944384 204 0 0 0 3 2 0 0 20 0 28 0 510299463 29459828736 68614 33554432000 4194304 4196468 140721142454528 140090231667088 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=705] ppid=694 vsize=28769364 memory=6369607583083817303 CPUtime=0.05 cores=0-7 /proc/696/task/705/stat : 705 (java) S 694 694 30433 0 -1 1077944384 662 0 0 0 3 2 0 0 20 0 28 0 510299463 29459828736 68614 33554432000 4194304 4196468 140721142454528 140090230614288 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=706] ppid=694 vsize=28769364 memory=7164491800775388516 CPUtime=0.04 cores=0-7 /proc/696/task/706/stat : 706 (java) S 694 694 30433 0 -1 1077944384 2068 0 0 0 4 0 0 0 20 0 28 0 510299464 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088562404208 140090318142082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=707] ppid=694 vsize=28769364 memory=7811872242709655149 CPUtime=0 cores=0-7 /proc/696/task/707/stat : 707 (java) S 694 694 30433 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 510299464 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088561350240 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=708] ppid=694 vsize=28769364 memory=7523660378351951745 CPUtime=0 cores=0-7 /proc/696/task/708/stat : 708 (java) S 694 694 30433 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 510299465 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088560297344 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=709] ppid=694 vsize=28769364 memory=29970128554 CPUtime=0 cores=0-7 /proc/696/task/709/stat : 709 (java) S 694 694 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510299467 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088559245648 140090318149531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=710] ppid=694 vsize=28769364 memory=8136 CPUtime=3.07 cores=0-7 /proc/696/task/710/stat : 710 (java) S 694 694 30433 0 -1 1077944384 7834 0 0 0 305 2 0 0 20 0 28 0 510299467 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088558193008 140090318142082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=711] ppid=694 vsize=28769364 memory=10492 CPUtime=3.07 cores=0-7 /proc/696/task/711/stat : 711 (java) S 694 694 30433 0 -1 1077944384 8881 0 0 0 306 1 0 0 20 0 28 0 510299467 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088557140208 140090318142082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=712] ppid=694 vsize=28769364 memory=14012 CPUtime=3.15 cores=0-7 /proc/696/task/712/stat : 712 (java) S 694 694 30433 0 -1 1077944384 12589 0 0 0 313 2 0 0 20 0 28 0 510299467 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088556087408 140090318142082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=713] ppid=694 vsize=28769364 memory=1412 CPUtime=0.91 cores=0-7 /proc/696/task/713/stat : 713 (java) S 694 694 30433 0 -1 1077944384 11104 0 0 0 88 3 0 0 20 0 28 0 510299467 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088555034608 140090318142082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=714] ppid=694 vsize=28769364 memory=3112 CPUtime=0 cores=0-7 /proc/696/task/714/stat : 714 (java) S 694 694 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510299467 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088553983072 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=715] ppid=694 vsize=28769364 memory=1448 CPUtime=0 cores=0-7 /proc/696/task/715/stat : 715 (java) S 694 694 30433 0 -1 1077944384 392 0 0 0 0 0 0 0 20 0 28 0 510299468 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088552930352 140090318142082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=947] ppid=694 vsize=28769364 memory=276536 CPUtime=5.38 cores=0-7 /proc/696/task/947/stat : 947 (java) R 694 694 30433 0 -1 4202560 277 0 0 0 538 0 0 0 20 0 28 0 510301158 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088471170144 140089914984156 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=948] ppid=694 vsize=28769364 memory=14080 CPUtime=5.38 cores=0-7 /proc/696/task/948/stat : 948 (java) R 694 694 30433 0 -1 4202560 293 0 0 0 538 0 0 0 20 0 28 0 510301158 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088468009136 140089912943165 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=949] ppid=694 vsize=28769364 memory=35664 CPUtime=5.37 cores=0-7 /proc/696/task/949/stat : 949 (java) R 694 694 30433 0 -1 4202560 288 0 0 0 537 0 0 0 20 0 28 0 510301158 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088470118176 140089913017019 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=950] ppid=694 vsize=28769364 memory=1448 CPUtime=5.33 cores=0-7 /proc/696/task/950/stat : 950 (java) R 694 694 30433 0 -1 4202560 455 0 0 0 533 0 0 0 20 0 28 0 510301158 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088472223392 140089910169944 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=951] ppid=694 vsize=28769364 memory=272408 CPUtime=5.37 cores=0-7 /proc/696/task/951/stat : 951 (java) R 694 694 30433 0 -1 4202560 213 0 0 0 537 0 0 0 20 0 28 0 510301158 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088466960472 140089910535274 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=952] ppid=694 vsize=28769364 memory=776 CPUtime=5.38 cores=0-7 /proc/696/task/952/stat : 952 (java) R 694 694 30433 0 -1 4202560 257 0 0 0 538 0 0 0 20 0 28 0 510301158 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088465903344 140089914044203 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=953] ppid=694 vsize=28769364 memory=1056 CPUtime=5.36 cores=0-7 /proc/696/task/953/stat : 953 (java) R 694 694 30433 0 -1 4202560 297 0 0 0 536 0 0 0 20 0 28 0 510301158 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088473276880 140089912864736 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=954] ppid=694 vsize=28769364 memory=3616 CPUtime=5.35 cores=0-7 /proc/696/task/954/stat : 954 (java) R 694 694 30433 0 -1 4202560 529 0 0 0 535 0 0 0 20 0 28 0 510301158 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088474324992 140089913122699 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 Current children cumulated CPU time: 172.81 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 275904 KiB [startup+22.6018 s] /proc/loadavg: 7.70 7.09 5.88 9/219 954 /proc/meminfo: memFree=25489468/32770624 swapFree=66966880/67108860 [pid=694] ppid=691 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/694/stat : 694 (xcsp3-exec) S 691 694 30433 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510299461 115843072 362 33554432000 4194304 5098028 140736406695920 140736406694024 140697131537020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15872000 140736406700881 140736406701141 140736406701141 140736406704070 0 /proc/694/statm: 28282 362 304 221 0 87 0 [pid=696] ppid=694 vsize=28769364 memory=274456 CPUtime=174.41 cores=0-7 /proc/696/stat : 696 (java) S 694 694 30433 0 -1 1077944320 72344 0 0 0 17390 51 0 0 20 0 28 0 510299461 29459828736 68614 33554432000 4194304 4196468 140721142454528 140721142437072 140090318130935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 /proc/696/statm: 7192341 68614 3534 1 0 7153441 0 [pid=696/tid=697] ppid=694 vsize=28769364 memory=1196 CPUtime=0.76 cores=0-7 /proc/696/task/697/stat : 697 (java) S 694 694 30433 0 -1 1077944384 9946 0 0 0 72 4 0 0 20 0 28 0 510299462 29459828736 68614 33554432000 4194304 4196468 140721142454528 140090322371712 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=698] ppid=694 vsize=28769364 memory=6947385649911455296 CPUtime=0.05 cores=0-7 /proc/696/task/698/stat : 698 (java) S 694 694 30433 0 -1 1077944384 885 0 0 0 3 2 0 0 20 0 28 0 510299463 29459828736 68614 33554432000 4194304 4196468 140721142454528 140090237983888 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=699] ppid=694 vsize=28769364 memory=712 CPUtime=0.04 cores=0-7 /proc/696/task/699/stat : 699 (java) S 694 694 30433 0 -1 1077944384 1283 0 0 0 2 2 0 0 20 0 28 0 510299463 29459828736 68614 33554432000 4194304 4196468 140721142454528 140090236931088 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=700] ppid=694 vsize=28769364 memory=2832 CPUtime=0.06 cores=0-7 /proc/696/task/700/stat : 700 (java) S 694 694 30433 0 -1 1077944384 1033 0 0 0 4 2 0 0 20 0 28 0 510299463 29459828736 68614 33554432000 4194304 4196468 140721142454528 140090235878288 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=701] ppid=694 vsize=28769364 memory=1448 CPUtime=0.05 cores=0-7 /proc/696/task/701/stat : 701 (java) S 694 694 30433 0 -1 1077944384 546 0 0 0 3 2 0 0 20 0 28 0 510299463 29459828736 68614 33554432000 4194304 4196468 140721142454528 140090234825488 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=702] ppid=694 vsize=28769364 memory=0 CPUtime=0.05 cores=0-7 /proc/696/task/702/stat : 702 (java) S 694 694 30433 0 -1 1077944384 563 0 0 0 3 2 0 0 20 0 28 0 510299463 29459828736 68614 33554432000 4194304 4196468 140721142454528 140090233772688 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=703] ppid=694 vsize=28769364 memory=0 CPUtime=0.04 cores=0-7 /proc/696/task/703/stat : 703 (java) S 694 694 30433 0 -1 1077944384 344 0 0 0 2 2 0 0 20 0 28 0 510299463 29459828736 68614 33554432000 4194304 4196468 140721142454528 140090232719888 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=704] ppid=694 vsize=28769364 memory=0 CPUtime=0.05 cores=0-7 /proc/696/task/704/stat : 704 (java) S 694 694 30433 0 -1 1077944384 204 0 0 0 3 2 0 0 20 0 28 0 510299463 29459828736 68614 33554432000 4194304 4196468 140721142454528 140090231667088 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=705] ppid=694 vsize=28769364 memory=0 CPUtime=0.05 cores=0-7 /proc/696/task/705/stat : 705 (java) S 694 694 30433 0 -1 1077944384 662 0 0 0 3 2 0 0 20 0 28 0 510299463 29459828736 68614 33554432000 4194304 4196468 140721142454528 140090230614288 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=706] ppid=694 vsize=28769364 memory=0 CPUtime=0.04 cores=0-7 /proc/696/task/706/stat : 706 (java) S 694 694 30433 0 -1 1077944384 2068 0 0 0 4 0 0 0 20 0 28 0 510299464 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088562404208 140090318142082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=707] ppid=694 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/696/task/707/stat : 707 (java) S 694 694 30433 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 510299464 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088561350240 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=708] ppid=694 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/696/task/708/stat : 708 (java) S 694 694 30433 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 510299465 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088560297344 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=709] ppid=694 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/696/task/709/stat : 709 (java) S 694 694 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510299467 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088559245648 140090318149531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=710] ppid=694 vsize=28769364 memory=0 CPUtime=3.08 cores=0-7 /proc/696/task/710/stat : 710 (java) S 694 694 30433 0 -1 1077944384 8552 0 0 0 306 2 0 0 20 0 28 0 510299467 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088558193008 140090318142082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=711] ppid=694 vsize=28769364 memory=0 CPUtime=3.07 cores=0-7 /proc/696/task/711/stat : 711 (java) S 694 694 30433 0 -1 1077944384 8881 0 0 0 306 1 0 0 20 0 28 0 510299467 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088557140208 140090318142082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=712] ppid=694 vsize=28769364 memory=0 CPUtime=3.15 cores=0-7 /proc/696/task/712/stat : 712 (java) S 694 694 30433 0 -1 1077944384 12589 0 0 0 313 2 0 0 20 0 28 0 510299467 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088556087408 140090318142082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=713] ppid=694 vsize=28769364 memory=0 CPUtime=0.91 cores=0-7 /proc/696/task/713/stat : 713 (java) S 694 694 30433 0 -1 1077944384 11104 0 0 0 88 3 0 0 20 0 28 0 510299467 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088555034608 140090318142082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=714] ppid=694 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/696/task/714/stat : 714 (java) S 694 694 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510299467 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088553983072 140090318141141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=715] ppid=694 vsize=28769364 memory=111636 CPUtime=0 cores=0-7 /proc/696/task/715/stat : 715 (java) S 694 694 30433 0 -1 1077944384 392 0 0 0 0 0 0 0 20 0 28 0 510299468 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088552930352 140090318142082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=947] ppid=694 vsize=28769364 memory=804 CPUtime=5.58 cores=0-7 /proc/696/task/947/stat : 947 (java) R 694 694 30433 0 -1 4202560 278 0 0 0 558 0 0 0 20 0 28 0 510301158 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088471170632 140089915340564 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=948] ppid=694 vsize=28769364 memory=1660 CPUtime=5.58 cores=0-7 /proc/696/task/948/stat : 948 (java) R 694 694 30433 0 -1 4202560 296 0 0 0 558 0 0 0 20 0 28 0 510301158 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088468009136 140089913794796 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=949] ppid=694 vsize=28769364 memory=1808 CPUtime=5.57 cores=0-7 /proc/696/task/949/stat : 949 (java) R 694 694 30433 0 -1 4202560 292 0 0 0 557 0 0 0 20 0 28 0 510301158 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088470118176 140089910534867 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=950] ppid=694 vsize=28769364 memory=920 CPUtime=5.53 cores=0-7 /proc/696/task/950/stat : 950 (java) R 694 694 30433 0 -1 4202560 476 0 0 0 553 0 0 0 20 0 28 0 510301158 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088472219512 140089912475649 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=951] ppid=694 vsize=28769364 memory=4796 CPUtime=5.57 cores=0-7 /proc/696/task/951/stat : 951 (java) R 694 694 30433 0 -1 4202560 216 0 0 0 557 0 0 0 20 0 28 0 510301158 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088466960472 140089910534867 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=952] ppid=694 vsize=28769364 memory=4100 CPUtime=5.57 cores=0-7 /proc/696/task/952/stat : 952 (java) R 694 694 30433 0 -1 4202560 259 0 0 0 557 0 0 0 20 0 28 0 510301158 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088465903480 140089914961025 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=953] ppid=694 vsize=28769364 memory=1398720917958146503 CPUtime=5.56 cores=0-7 /proc/696/task/953/stat : 953 (java) R 694 694 30433 0 -1 4202560 300 0 0 0 556 0 0 0 20 0 28 0 510301158 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088473276880 140089913933396 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 [pid=696/tid=954] ppid=694 vsize=28769364 memory=4126316290023845779 CPUtime=5.55 cores=0-7 /proc/696/task/954/stat : 954 (java) R 694 694 30433 0 -1 4202560 531 0 0 0 555 0 0 0 20 0 28 0 510301158 29459828736 68614 33554432000 4194304 4196468 140721142454528 140088474324992 140089912993580 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27893760 140721142461398 140721142461574 140721142461574 140721142464463 0 Current children cumulated CPU time: 174.41 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 275904 KiB Child status: 0 Real time (s): 22.6275 CPU time (s): 174.523 CPU user time (s): 173.994 CPU system time (s): 0.529092 CPU usage (%): 771.287 Max. virtual memory (cumulated for all children) (KiB): 28886628 Max. memory (cumulated for all children) (KiB): 290124 getrusage(RUSAGE_CHILDREN,...) data: user time used= 173.994 system time used= 0.529092 maximum resident set size= 288676 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 73718 page faults= 0 swaps= 0 block input operations= 0 block output operations= 160 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9019 involuntary context switches= 3018 # summary of solver processes directly reported to runsolver: # pid: 694 # total CPU time (s): 174.523 # total CPU user time (s): 173.994 # total CPU system time (s): 0.529092 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.249486 second user time and 0.259739 second system time The end
Begin job on node145 at 2019-09-24 18:46:28 IDJOB=4406987 IDBENCH=115848 IDSOLVER=2871 FILE ID=node145/4406987-1569343630 RUNJOBID= node145-1569335936-30460 PBS_JOBID= 21705052 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-05-05-3.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406987-1569343630/watcher-4406987-1569343630 -o /var/tmp/evaluation-result-4406987-1569343630/solver-4406987-1569343630 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1569335936-30460 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1301745985 HOME/instance-4406987-1569343630.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 486402128da484f7cb4aeca2fb99213d RANDOM SEED=1301745985 node145.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.59 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.59 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.59 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.59 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: 25749740 kB MemAvailable: 31809312 kB Buffers: 148416 kB Cached: 6063416 kB SwapCached: 32456 kB Active: 3047476 kB Inactive: 3202776 kB Active(anon): 5896 kB Inactive(anon): 89852 kB Active(file): 3041580 kB Inactive(file): 3112924 kB Unevictable: 108772 kB Mlocked: 108772 kB SwapTotal: 67108860 kB SwapFree: 66966880 kB Dirty: 25972 kB Writeback: 0 kB AnonPages: 169104 kB Mapped: 57160 kB Shmem: 48848 kB Slab: 362492 kB SReclaimable: 333528 kB SUnreclaim: 28964 kB KernelStack: 3872 kB PageTables: 5660 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 515140 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 122880 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /var/tmp at the end= 13484 MiB End job on node145 at 2019-09-24 18:46:51