Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-20 | UNSAT | 523.079 | 131.817 |
Name | QRandom/ QRandom-geometric-rw/geometric-50-20-d4-75-94.xml |
MD5SUM | 6d6d0435d13d3ff0671cf8a5c787b057 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 48.6477 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 50 |
Number of constraints | 496 |
Number of domains | 1 |
Minimum domain size | 20 |
Maximum domain size | 20 |
Distribution of domain sizes | [{"size":20,"count":50}] |
Minimum variable degree | 7 |
Maximum variable degree | 30 |
Distribution of variable degrees | [{"degree":7,"count":2},{"degree":8,"count":1},{"degree":9,"count":1},{"degree":12,"count":1},{"degree":13,"count":2},{"degree":14,"count":3},{"degree":15,"count":3},{"degree":16,"count":6},{"degree":17,"count":1},{"degree":18,"count":1},{"degree":19,"count":2},{"degree":20,"count":2},{"degree":21,"count":7},{"degree":23,"count":1},{"degree":24,"count":2},{"degree":25,"count":4},{"degree":26,"count":2},{"degree":27,"count":3},{"degree":29,"count":4},{"degree":30,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":496}] |
Number of extensional constraints | 496 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":496}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4403384-1568990035.xml" -tl '2520s' -p 4 0.11/0.19 c Choco 3fb4b153 0.11/0.20 c [HOME/instance-4403384-1568990035.xml, -tl, 2520s, -p, 4] 0.34/0.24 c 4 solvers in parallel 0.34/0.31 c parse instance... 3.05/1.19 c solve instance... 522.68/131.79 s UNSATISFIABLE
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: 16375 MiB (11307 MiB free) memory of node 1: 16384 MiB (5516 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403384-1568990035/watcher-4403384-1568990035 -o /tmp/evaluation-result-4403384-1568990035/solver-4403384-1568990035 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568988007-29941 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1469664871 HOME/instance-4403384-1568990035.xml running on 4 cores: 4-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=933, runsolver pid=930 [startup+0.100095 s]* /proc/loadavg: 7.44 8.11 7.29 5/232 949 /proc/meminfo: memFree=17191724/32770688 swapFree=66971760/67108860 [pid=933] ppid=930 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/933/stat : 933 (xcsp3-exec) S 930 933 29909 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474945086 115843072 362 33554432000 4194304 5098028 140720585556320 140720585554424 140179124355708 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7536640 140720585565050 140720585565293 140720585565293 140720585568202 0 /proc/933/statm: 28282 362 304 221 0 87 0 [pid=935] ppid=933 vsize=15144776 memory=30064 CPUtime=0.11 cores=4-7 /proc/935/stat : 935 (java) S 933 933 29909 0 -1 1077944320 5464 0 0 0 10 1 0 0 20 0 15 0 474945086 15508250624 7516 33554432000 4194304 4196468 140736664753040 140736664735584 139839139405559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 /proc/935/statm: 3786194 7516 3122 1 0 3748377 0 [pid=935/tid=936] ppid=933 vsize=15144776 memory=7022364632946311227 CPUtime=0.09 cores=4-7 /proc/935/task/936/stat : 936 (java) R 933 933 29909 0 -1 4202560 3394 0 0 0 8 1 0 0 20 0 15 0 474945087 15508250624 7516 33554432000 4194304 4196468 140736664753040 139839143631904 139839123449189 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=937] ppid=933 vsize=15144776 memory=4294976394 CPUtime=0 cores=4-7 /proc/935/task/937/stat : 937 (java) S 933 933 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474945088 15508250624 7516 33554432000 4194304 4196468 140736664753040 139838731770128 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=938] ppid=933 vsize=15144776 memory=288370860760000128 CPUtime=0 cores=4-7 /proc/935/task/938/stat : 938 (java) S 933 933 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474945088 15508250624 7516 33554432000 4194304 4196468 140736664753040 139838730717584 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=939] ppid=933 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/935/task/939/stat : 939 (java) S 933 933 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474945088 15508250624 7516 33554432000 4194304 4196468 140736664753040 139838729665040 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=940] ppid=933 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/935/task/940/stat : 940 (java) S 933 933 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474945088 15508250624 7516 33554432000 4194304 4196468 140736664753040 139838728612496 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=941] ppid=933 vsize=15144776 memory=140484608288384 CPUtime=0 cores=4-7 /proc/935/task/941/stat : 941 (java) S 933 933 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474945089 15508250624 7516 33554432000 4194304 4196468 140736664753040 139838608046576 139839139416706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=942] ppid=933 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/935/task/942/stat : 942 (java) S 933 933 29909 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474945090 15508250624 7516 33554432000 4194304 4196468 140736664753040 139838606992800 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=943] ppid=933 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/935/task/943/stat : 943 (java) S 933 933 29909 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474945090 15508250624 7516 33554432000 4194304 4196468 140736664753040 139838605940208 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=944] ppid=933 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/935/task/944/stat : 944 (java) S 933 933 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474945092 15508250624 7516 33554432000 4194304 4196468 140736664753040 139838604888784 139839139424155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=945] ppid=933 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/935/task/945/stat : 945 (java) S 933 933 29909 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 474945092 15508250624 7516 33554432000 4194304 4196468 140736664753040 139838603835376 139839139416706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=946] ppid=933 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/935/task/946/stat : 946 (java) S 933 933 29909 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 474945093 15508250624 7516 33554432000 4194304 4196468 140736664753040 139838602782832 139839139416706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=947] ppid=933 vsize=15144776 memory=140484608288384 CPUtime=0.01 cores=4-7 /proc/935/task/947/stat : 947 (java) R 933 933 29909 0 -1 4202560 342 0 0 0 1 0 0 0 20 0 15 0 474945093 15508250624 7516 33554432000 4194304 4196468 140736664753040 139838601730288 139839131642686 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=948] ppid=933 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/935/task/948/stat : 948 (java) S 933 933 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474945093 15508250624 7516 33554432000 4194304 4196468 140736664753040 139838600677984 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=949] ppid=933 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/935/task/949/stat : 949 (java) S 933 933 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474945093 15508250624 7516 33554432000 4194304 4196468 140736664753040 139838599625520 139839139416706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 31512 KiB [startup+0.211779 s]* /proc/loadavg: 7.44 8.11 7.29 7/232 949 /proc/meminfo: memFree=17142008/32770688 swapFree=66971760/67108860 [pid=933] ppid=930 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/933/stat : 933 (xcsp3-exec) S 930 933 29909 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474945086 115843072 362 33554432000 4194304 5098028 140720585556320 140720585554424 140179124355708 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7536640 140720585565050 140720585565293 140720585565293 140720585568202 0 /proc/933/statm: 28282 362 304 221 0 87 0 [pid=935] ppid=933 vsize=15144776 memory=41356 CPUtime=0.34 cores=4-7 /proc/935/stat : 935 (java) S 933 933 29909 0 -1 1077944320 9008 0 0 0 31 3 0 0 20 0 15 0 474945086 15508250624 10339 33554432000 4194304 4196468 140736664753040 140736664735584 139839139405559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 /proc/935/statm: 3786194 10339 3308 1 0 3748377 0 [pid=935/tid=936] ppid=933 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=4-7 /proc/935/task/936/stat : 936 (java) R 933 933 29909 0 -1 4202560 6197 0 0 0 18 2 0 0 20 0 15 0 474945087 15508250624 10339 33554432000 4194304 4196468 140736664753040 139839143634824 139839123486046 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=937] ppid=933 vsize=15144776 memory=4294976394 CPUtime=0 cores=4-7 /proc/935/task/937/stat : 937 (java) S 933 933 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474945088 15508250624 10339 33554432000 4194304 4196468 140736664753040 139838731770128 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=938] ppid=933 vsize=15144776 memory=288370860760000128 CPUtime=0 cores=4-7 /proc/935/task/938/stat : 938 (java) S 933 933 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474945088 15508250624 10339 33554432000 4194304 4196468 140736664753040 139838730717584 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=939] ppid=933 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/935/task/939/stat : 939 (java) S 933 933 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474945088 15508250624 10339 33554432000 4194304 4196468 140736664753040 139838729665040 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=940] ppid=933 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/935/task/940/stat : 940 (java) S 933 933 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474945088 15508250624 10339 33554432000 4194304 4196468 140736664753040 139838728612496 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=941] ppid=933 vsize=15144776 memory=140484608288384 CPUtime=0 cores=4-7 /proc/935/task/941/stat : 941 (java) S 933 933 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474945089 15508250624 10339 33554432000 4194304 4196468 140736664753040 139838608046576 139839139416706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=942] ppid=933 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/935/task/942/stat : 942 (java) S 933 933 29909 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474945090 15508250624 10339 33554432000 4194304 4196468 140736664753040 139838606992800 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=943] ppid=933 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/935/task/943/stat : 943 (java) S 933 933 29909 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474945090 15508250624 10339 33554432000 4194304 4196468 140736664753040 139838605940208 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=944] ppid=933 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/935/task/944/stat : 944 (java) S 933 933 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474945092 15508250624 10339 33554432000 4194304 4196468 140736664753040 139838604888784 139839139424155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=945] ppid=933 vsize=15144776 memory=0 CPUtime=0.01 cores=4-7 /proc/935/task/945/stat : 945 (java) S 933 933 29909 0 -1 1077944384 561 0 0 0 1 0 0 0 20 0 15 0 474945092 15508250624 10339 33554432000 4194304 4196468 140736664753040 139838603835376 139839139416706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=946] ppid=933 vsize=15144776 memory=-1 CPUtime=0.03 cores=4-7 /proc/935/task/946/stat : 946 (java) S 933 933 29909 0 -1 1077944384 266 0 0 0 3 0 0 0 20 0 15 0 474945093 15508250624 10339 33554432000 4194304 4196468 140736664753040 139838602782832 139839139416706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=947] ppid=933 vsize=15144776 memory=140484608288384 CPUtime=0.07 cores=4-7 /proc/935/task/947/stat : 947 (java) R 933 933 29909 0 -1 4202560 684 0 0 0 7 0 0 0 20 0 15 0 474945093 15508250624 10339 33554432000 4194304 4196468 140736664753040 139838601726656 139839118251224 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=948] ppid=933 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/935/task/948/stat : 948 (java) S 933 933 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474945093 15508250624 10339 33554432000 4194304 4196468 140736664753040 139838600677984 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=949] ppid=933 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/935/task/949/stat : 949 (java) S 933 933 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474945093 15508250624 10339 33554432000 4194304 4196468 140736664753040 139838599625520 139839139416706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 42804 KiB [startup+0.314893 s]* /proc/loadavg: 7.44 8.11 7.29 6/232 949 /proc/meminfo: memFree=17104556/32770688 swapFree=66971760/67108860 [pid=933] ppid=930 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/933/stat : 933 (xcsp3-exec) S 930 933 29909 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474945086 115843072 362 33554432000 4194304 5098028 140720585556320 140720585554424 140179124355708 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7536640 140720585565050 140720585565293 140720585565293 140720585568202 0 /proc/933/statm: 28282 362 304 221 0 87 0 [pid=935] ppid=933 vsize=15149032 memory=46956 CPUtime=0.51 cores=4-7 /proc/935/stat : 935 (java) S 933 933 29909 0 -1 1077944320 10055 0 0 0 48 3 0 0 20 0 15 0 474945086 15512608768 11739 33554432000 4194304 4196468 140736664753040 140736664735584 139839139405559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 /proc/935/statm: 3787258 11739 3332 1 0 3748377 0 [pid=935/tid=936] ppid=933 vsize=15149032 memory=6935054825532540783 CPUtime=0.3 cores=4-7 /proc/935/task/936/stat : 936 (java) R 933 933 29909 0 -1 4202560 7155 0 0 0 28 2 0 0 20 0 15 0 474945087 15512608768 11754 33554432000 4194304 4196468 140736664753040 139839143621392 139839123449189 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=937] ppid=933 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=4-7 /proc/935/task/937/stat : 937 (java) S 933 933 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474945088 15512608768 11754 33554432000 4194304 4196468 140736664753040 139838731770128 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=938] ppid=933 vsize=15149032 memory=8560 CPUtime=0 cores=4-7 /proc/935/task/938/stat : 938 (java) S 933 933 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474945088 15512608768 11754 33554432000 4194304 4196468 140736664753040 139838730717584 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=939] ppid=933 vsize=15149032 memory=14004 CPUtime=0 cores=4-7 /proc/935/task/939/stat : 939 (java) S 933 933 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474945088 15512608768 11754 33554432000 4194304 4196468 140736664753040 139838729665040 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=940] ppid=933 vsize=15149032 memory=1412 CPUtime=0 cores=4-7 /proc/935/task/940/stat : 940 (java) S 933 933 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474945088 15512608768 11754 33554432000 4194304 4196468 140736664753040 139838728612496 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=941] ppid=933 vsize=15149032 memory=2412 CPUtime=0 cores=4-7 /proc/935/task/941/stat : 941 (java) S 933 933 29909 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474945089 15512608768 11754 33554432000 4194304 4196468 140736664753040 139838608046576 139839139416706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=942] ppid=933 vsize=15149032 memory=1448 CPUtime=0 cores=4-7 /proc/935/task/942/stat : 942 (java) S 933 933 29909 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474945090 15512608768 11754 33554432000 4194304 4196468 140736664753040 139838606992800 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=943] ppid=933 vsize=15149032 memory=128768 CPUtime=0 cores=4-7 /proc/935/task/943/stat : 943 (java) S 933 933 29909 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474945090 15512608768 11754 33554432000 4194304 4196468 140736664753040 139838605940208 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=944] ppid=933 vsize=15149032 memory=27124 CPUtime=0 cores=4-7 /proc/935/task/944/stat : 944 (java) S 933 933 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474945092 15512608768 11754 33554432000 4194304 4196468 140736664753040 139838604888784 139839139424155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=945] ppid=933 vsize=15149032 memory=0 CPUtime=0.03 cores=4-7 /proc/935/task/945/stat : 945 (java) S 933 933 29909 0 -1 1077944384 592 0 0 0 3 0 0 0 20 0 15 0 474945092 15512608768 11754 33554432000 4194304 4196468 140736664753040 139838603835376 139839139416706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=946] ppid=933 vsize=15149032 memory=0 CPUtime=0.04 cores=4-7 /proc/935/task/946/stat : 946 (java) S 933 933 29909 0 -1 1077944384 278 0 0 0 4 0 0 0 20 0 15 0 474945093 15512608768 11754 33554432000 4194304 4196468 140736664753040 139838602782832 139839139416706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=947] ppid=933 vsize=15149032 memory=140484488028624 CPUtime=0.12 cores=4-7 /proc/935/task/947/stat : 947 (java) S 933 933 29909 0 -1 1077944384 748 0 0 0 12 0 0 0 20 0 15 0 474945093 15512608768 11754 33554432000 4194304 4196468 140736664753040 139838601730288 139839139416706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=948] ppid=933 vsize=15149032 memory=0 CPUtime=0 cores=4-7 /proc/935/task/948/stat : 948 (java) S 933 933 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474945093 15512608768 11754 33554432000 4194304 4196468 140736664753040 139838600677984 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=949] ppid=933 vsize=15149032 memory=0 CPUtime=0 cores=4-7 /proc/935/task/949/stat : 949 (java) S 933 933 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474945093 15512608768 11754 33554432000 4194304 4196468 140736664753040 139838599625520 139839139416706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 15262160 KiB Current children cumulated memory: 48404 KiB [startup+0.701538 s] /proc/loadavg: 7.44 8.11 7.29 6/232 949 /proc/meminfo: memFree=17070728/32770688 swapFree=66971760/67108860 [pid=933] ppid=930 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/933/stat : 933 (xcsp3-exec) S 930 933 29909 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474945086 115843072 362 33554432000 4194304 5098028 140720585556320 140720585554424 140179124355708 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7536640 140720585565050 140720585565293 140720585565293 140720585568202 0 /proc/933/statm: 28282 362 304 221 0 87 0 [pid=935] ppid=933 vsize=15151156 memory=119088 CPUtime=1.66 cores=4-7 /proc/935/stat : 935 (java) S 933 933 29909 0 -1 1077944320 13299 0 0 0 161 5 0 0 20 0 15 0 474945086 15514783744 29772 33554432000 4194304 4196468 140736664753040 140736664735584 139839139405559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 /proc/935/statm: 3787789 29772 3443 1 0 3748889 0 [pid=935/tid=936] ppid=933 vsize=15151156 memory=0 CPUtime=0.68 cores=4-7 /proc/935/task/936/stat : 936 (java) R 933 933 29909 0 -1 4202560 7845 0 0 0 64 4 0 0 20 0 15 0 474945087 15514783744 29772 33554432000 4194304 4196468 140736664753040 139839143642576 139839139417494 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=937] ppid=933 vsize=15151156 memory=0 CPUtime=0 cores=4-7 /proc/935/task/937/stat : 937 (java) S 933 933 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474945088 15514783744 29772 33554432000 4194304 4196468 140736664753040 139838731770128 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=938] ppid=933 vsize=15151156 memory=1432 CPUtime=0 cores=4-7 /proc/935/task/938/stat : 938 (java) S 933 933 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474945088 15514783744 29837 33554432000 4194304 4196468 140736664753040 139838730717584 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=939] ppid=933 vsize=15151156 memory=1056 CPUtime=0 cores=4-7 /proc/935/task/939/stat : 939 (java) S 933 933 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474945088 15514783744 29837 33554432000 4194304 4196468 140736664753040 139838729665040 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=940] ppid=933 vsize=15151156 memory=788 CPUtime=0 cores=4-7 /proc/935/task/940/stat : 940 (java) S 933 933 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474945088 15514783744 29837 33554432000 4194304 4196468 140736664753040 139838728612496 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=941] ppid=933 vsize=15151156 memory=1704 CPUtime=0 cores=4-7 /proc/935/task/941/stat : 941 (java) S 933 933 29909 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474945089 15514783744 29837 33554432000 4194304 4196468 140736664753040 139838608046576 139839139416706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=942] ppid=933 vsize=15151156 memory=1280 CPUtime=0 cores=4-7 /proc/935/task/942/stat : 942 (java) S 933 933 29909 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474945090 15514783744 29837 33554432000 4194304 4196468 140736664753040 139838606992800 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=943] ppid=933 vsize=15151156 memory=6044 CPUtime=0 cores=4-7 /proc/935/task/943/stat : 943 (java) S 933 933 29909 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474945090 15514783744 29837 33554432000 4194304 4196468 140736664753040 139838605940208 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=944] ppid=933 vsize=15151156 memory=780 CPUtime=0 cores=4-7 /proc/935/task/944/stat : 944 (java) S 933 933 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474945092 15514783744 29837 33554432000 4194304 4196468 140736664753040 139838604888784 139839139424155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=945] ppid=933 vsize=15151156 memory=3604 CPUtime=0.31 cores=4-7 /proc/935/task/945/stat : 945 (java) R 933 933 29909 0 -1 4202560 1394 0 0 0 31 0 0 0 20 0 15 0 474945092 15514783744 29837 33554432000 4194304 4196468 140736664753040 139838603820464 139839124287302 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=946] ppid=933 vsize=15151156 memory=1088 CPUtime=0.32 cores=4-7 /proc/935/task/946/stat : 946 (java) R 933 933 29909 0 -1 4202560 1273 0 0 0 32 0 0 0 20 0 15 0 474945093 15514783744 29837 33554432000 4194304 4196468 140736664753040 139838602768928 139839131695008 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=947] ppid=933 vsize=15151156 memory=2832 CPUtime=0.33 cores=4-7 /proc/935/task/947/stat : 947 (java) R 933 933 29909 0 -1 1077944384 1529 0 0 0 33 0 0 0 20 0 15 0 474945093 15514783744 29837 33554432000 4194304 4196468 140736664753040 139838601730288 139839139416706 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=948] ppid=933 vsize=15151156 memory=1564 CPUtime=0 cores=4-7 /proc/935/task/948/stat : 948 (java) S 933 933 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474945093 15514783744 29837 33554432000 4194304 4196468 140736664753040 139838600677984 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=949] ppid=933 vsize=15151156 memory=8560 CPUtime=0 cores=4-7 /proc/935/task/949/stat : 949 (java) S 933 933 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474945093 15514783744 29837 33554432000 4194304 4196468 140736664753040 139838599625520 139839139416706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 Current children cumulated CPU time: 1.66 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 120536 KiB [startup+1.50089 s] /proc/loadavg: 7.44 8.11 7.29 10/236 953 /proc/meminfo: memFree=16930832/32770688 swapFree=66971760/67108860 [pid=933] ppid=930 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/933/stat : 933 (xcsp3-exec) S 930 933 29909 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474945086 115843072 362 33554432000 4194304 5098028 140720585556320 140720585554424 140179124355708 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7536640 140720585565050 140720585565293 140720585565293 140720585568202 0 /proc/933/statm: 28282 362 304 221 0 87 0 ################ # More data... # ################ /proc/935/task/944/stat : 944 (java) S 933 933 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474945092 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838604888784 139839139424155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=945] ppid=933 vsize=15417412 memory=56 CPUtime=1.85 cores=4-7 /proc/935/task/945/stat : 945 (java) S 933 933 29909 0 -1 1077944384 6615 0 0 0 184 1 0 0 20 0 19 0 474945092 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838603835376 139839139416706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=946] ppid=933 vsize=15417412 memory=6944656575208382560 CPUtime=1.71 cores=4-7 /proc/935/task/946/stat : 946 (java) S 933 933 29909 0 -1 1077944384 6044 0 0 0 170 1 0 0 20 0 19 0 474945093 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838602782832 139839139416706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=947] ppid=933 vsize=15417412 memory=6944656592455360604 CPUtime=0.73 cores=4-7 /proc/935/task/947/stat : 947 (java) S 933 933 29909 0 -1 1077944384 4642 0 0 0 73 0 0 0 20 0 19 0 474945093 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838601730288 139839139416706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=948] ppid=933 vsize=15417412 memory=6655300316396806240 CPUtime=0 cores=4-7 /proc/935/task/948/stat : 948 (java) S 933 933 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474945093 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838600677984 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=949] ppid=933 vsize=15417412 memory=0 CPUtime=0.04 cores=4-7 /proc/935/task/949/stat : 949 (java) R 933 933 29909 0 -1 1077944384 520 0 0 0 0 4 0 0 20 0 19 0 474945093 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838599625520 139839139416706 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=954] ppid=933 vsize=15417412 memory=1448 CPUtime=127.71 cores=4-7 /proc/935/task/954/stat : 954 (java) R 933 933 29909 0 -1 4202560 438 0 0 0 12771 0 0 0 20 0 19 0 474945206 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838590405552 139838783437495 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=955] ppid=933 vsize=15417412 memory=1448 CPUtime=127.17 cores=4-7 /proc/935/task/955/stat : 955 (java) R 933 933 29909 0 -1 4202560 2244 0 0 0 12711 6 0 0 20 0 19 0 474945207 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838589354584 139838782569523 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=957] ppid=933 vsize=15417412 memory=1116376 CPUtime=128.9 cores=4-7 /proc/935/task/957/stat : 957 (java) R 933 933 29909 0 -1 4202560 356 0 0 0 12890 0 0 0 20 0 19 0 474945207 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838588302440 139838782764653 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=959] ppid=933 vsize=15417412 memory=4104 CPUtime=128.88 cores=4-7 /proc/935/task/959/stat : 959 (java) R 933 933 29909 0 -1 4202560 1944 0 0 0 12882 6 0 0 20 0 19 0 474945207 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838587250208 139838783437245 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 Current children cumulated CPU time: 518.71 s Current children cumulated vsize: 15530540 KiB Current children cumulated memory: 1117824 KiB [startup+131.501 s] /proc/loadavg: 8.11 8.18 7.42 9/238 1081 /proc/meminfo: memFree=14943724/32770688 swapFree=66971760/67108860 [pid=933] ppid=930 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/933/stat : 933 (xcsp3-exec) S 930 933 29909 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474945086 115843072 362 33554432000 4194304 5098028 140720585556320 140720585554424 140179124355708 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7536640 140720585565050 140720585565293 140720585565293 140720585568202 0 /proc/933/statm: 28282 362 304 221 0 87 0 [pid=935] ppid=933 vsize=15417412 memory=1116376 CPUtime=521.88 cores=4-7 /proc/935/stat : 935 (java) S 933 933 29909 0 -1 1077944320 39457 0 0 0 52147 41 0 0 20 0 19 0 474945086 15787429888 279094 33554432000 4194304 4196468 140736664753040 140736664735584 139839139405559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 /proc/935/statm: 3854353 279094 3523 1 0 3815453 0 [pid=935/tid=936] ppid=933 vsize=15417412 memory=6791534058613427641 CPUtime=1.15 cores=4-7 /proc/935/task/936/stat : 936 (java) S 933 933 29909 0 -1 1077944384 8640 0 0 0 109 6 0 0 20 0 19 0 474945087 15787429888 279094 33554432000 4194304 4196468 140736664753040 139839143646336 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=937] ppid=933 vsize=15417412 memory=0 CPUtime=0.1 cores=4-7 /proc/935/task/937/stat : 937 (java) S 933 933 29909 0 -1 1077944384 1882 0 0 0 6 4 0 0 20 0 19 0 474945088 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838731770128 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=938] ppid=933 vsize=15417412 memory=-8316900901535099443 CPUtime=0.1 cores=4-7 /proc/935/task/938/stat : 938 (java) S 933 933 29909 0 -1 1077944384 1550 0 0 0 6 4 0 0 20 0 19 0 474945088 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838730717584 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=939] ppid=933 vsize=15417412 memory=-2893623298589923098 CPUtime=0.1 cores=4-7 /proc/935/task/939/stat : 939 (java) S 933 933 29909 0 -1 1077944384 542 0 0 0 7 3 0 0 20 0 19 0 474945088 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838729665040 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=940] ppid=933 vsize=15417412 memory=-1807685287724412255 CPUtime=0.09 cores=4-7 /proc/935/task/940/stat : 940 (java) S 933 933 29909 0 -1 1077944384 1074 0 0 0 6 3 0 0 20 0 19 0 474945088 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838728612496 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=941] ppid=933 vsize=15417412 memory=6947385649911455296 CPUtime=0.03 cores=4-7 /proc/935/task/941/stat : 941 (java) S 933 933 29909 0 -1 1077944384 1624 0 0 0 2 1 0 0 20 0 19 0 474945089 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838608046576 139839139416706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=942] ppid=933 vsize=15417412 memory=53756 CPUtime=0 cores=4-7 /proc/935/task/942/stat : 942 (java) S 933 933 29909 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 474945090 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838606992864 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=943] ppid=933 vsize=15417412 memory=984 CPUtime=0 cores=4-7 /proc/935/task/943/stat : 943 (java) S 933 933 29909 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 474945090 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838605940224 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=944] ppid=933 vsize=15417412 memory=2044 CPUtime=0 cores=4-7 /proc/935/task/944/stat : 944 (java) S 933 933 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474945092 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838604888784 139839139424155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=945] ppid=933 vsize=15417412 memory=1432 CPUtime=1.85 cores=4-7 /proc/935/task/945/stat : 945 (java) S 933 933 29909 0 -1 1077944384 6615 0 0 0 184 1 0 0 20 0 19 0 474945092 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838603835376 139839139416706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=946] ppid=933 vsize=15417412 memory=1448 CPUtime=1.71 cores=4-7 /proc/935/task/946/stat : 946 (java) S 933 933 29909 0 -1 1077944384 6044 0 0 0 170 1 0 0 20 0 19 0 474945093 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838602782832 139839139416706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=947] ppid=933 vsize=15417412 memory=1116376 CPUtime=0.73 cores=4-7 /proc/935/task/947/stat : 947 (java) S 933 933 29909 0 -1 1077944384 4642 0 0 0 73 0 0 0 20 0 19 0 474945093 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838601730288 139839139416706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=948] ppid=933 vsize=15417412 memory=1280 CPUtime=0 cores=4-7 /proc/935/task/948/stat : 948 (java) S 933 933 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474945093 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838600677984 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=949] ppid=933 vsize=15417412 memory=1448 CPUtime=0.04 cores=4-7 /proc/935/task/949/stat : 949 (java) S 933 933 29909 0 -1 1077944384 520 0 0 0 0 4 0 0 20 0 19 0 474945093 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838599625520 139839139416706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=954] ppid=933 vsize=15417412 memory=1116376 CPUtime=128.5 cores=4-7 /proc/935/task/954/stat : 954 (java) R 933 933 29909 0 -1 4202560 438 0 0 0 12850 0 0 0 20 0 19 0 474945206 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838590405552 139838782760184 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=955] ppid=933 vsize=15417412 memory=3612 CPUtime=127.95 cores=4-7 /proc/935/task/955/stat : 955 (java) R 933 933 29909 0 -1 4202560 2249 0 0 0 12789 6 0 0 20 0 19 0 474945207 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838589354584 139838782569664 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=957] ppid=933 vsize=15417412 memory=53756 CPUtime=129.7 cores=4-7 /proc/935/task/957/stat : 957 (java) R 933 933 29909 0 -1 4202560 356 0 0 0 12970 0 0 0 20 0 19 0 474945207 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838588302440 139838783437762 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=959] ppid=933 vsize=15417412 memory=984 CPUtime=129.68 cores=4-7 /proc/935/task/959/stat : 959 (java) R 933 933 29909 0 -1 4202560 1946 0 0 0 12962 6 0 0 20 0 19 0 474945207 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838587250208 139838782568984 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 Current children cumulated CPU time: 521.88 s Current children cumulated vsize: 15530540 KiB Current children cumulated memory: 1117824 KiB [startup+131.701 s] /proc/loadavg: 8.11 8.18 7.42 9/238 1081 /proc/meminfo: memFree=14943724/32770688 swapFree=66971760/67108860 [pid=933] ppid=930 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/933/stat : 933 (xcsp3-exec) S 930 933 29909 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474945086 115843072 362 33554432000 4194304 5098028 140720585556320 140720585554424 140179124355708 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7536640 140720585565050 140720585565293 140720585565293 140720585568202 0 /proc/933/statm: 28282 362 304 221 0 87 0 [pid=935] ppid=933 vsize=15417412 memory=1116376 CPUtime=522.68 cores=4-7 /proc/935/stat : 935 (java) S 933 933 29909 0 -1 1077944320 39458 0 0 0 52227 41 0 0 20 0 19 0 474945086 15787429888 279094 33554432000 4194304 4196468 140736664753040 140736664735584 139839139405559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 /proc/935/statm: 3854353 279094 3523 1 0 3815453 0 [pid=935/tid=936] ppid=933 vsize=15417412 memory=6947385649911455296 CPUtime=1.15 cores=4-7 /proc/935/task/936/stat : 936 (java) S 933 933 29909 0 -1 1077944384 8640 0 0 0 109 6 0 0 20 0 19 0 474945087 15787429888 279094 33554432000 4194304 4196468 140736664753040 139839143646336 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=937] ppid=933 vsize=15417412 memory=7306062783016687469 CPUtime=0.1 cores=4-7 /proc/935/task/937/stat : 937 (java) S 933 933 29909 0 -1 1077944384 1882 0 0 0 6 4 0 0 20 0 19 0 474945088 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838731770128 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=938] ppid=933 vsize=15417412 memory=6009316314409560417 CPUtime=0.1 cores=4-7 /proc/935/task/938/stat : 938 (java) S 933 933 29909 0 -1 1077944384 1550 0 0 0 6 4 0 0 20 0 19 0 474945088 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838730717584 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=939] ppid=933 vsize=15417412 memory=3756059470849128752 CPUtime=0.1 cores=4-7 /proc/935/task/939/stat : 939 (java) S 933 933 29909 0 -1 1077944384 542 0 0 0 7 3 0 0 20 0 19 0 474945088 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838729665040 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=940] ppid=933 vsize=15417412 memory=0 CPUtime=0.09 cores=4-7 /proc/935/task/940/stat : 940 (java) S 933 933 29909 0 -1 1077944384 1074 0 0 0 6 3 0 0 20 0 19 0 474945088 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838728612496 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=941] ppid=933 vsize=15417412 memory=3604 CPUtime=0.03 cores=4-7 /proc/935/task/941/stat : 941 (java) S 933 933 29909 0 -1 1077944384 1624 0 0 0 2 1 0 0 20 0 19 0 474945089 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838608046576 139839139416706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=942] ppid=933 vsize=15417412 memory=1088 CPUtime=0 cores=4-7 /proc/935/task/942/stat : 942 (java) S 933 933 29909 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 474945090 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838606992864 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=943] ppid=933 vsize=15417412 memory=2832 CPUtime=0 cores=4-7 /proc/935/task/943/stat : 943 (java) S 933 933 29909 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 474945090 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838605940224 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=944] ppid=933 vsize=15417412 memory=1564 CPUtime=0 cores=4-7 /proc/935/task/944/stat : 944 (java) S 933 933 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474945092 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838604888784 139839139424155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=945] ppid=933 vsize=15417412 memory=8560 CPUtime=1.85 cores=4-7 /proc/935/task/945/stat : 945 (java) S 933 933 29909 0 -1 1077944384 6615 0 0 0 184 1 0 0 20 0 19 0 474945092 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838603835376 139839139416706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=946] ppid=933 vsize=15417412 memory=1116376 CPUtime=1.71 cores=4-7 /proc/935/task/946/stat : 946 (java) S 933 933 29909 0 -1 1077944384 6044 0 0 0 170 1 0 0 20 0 19 0 474945093 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838602782832 139839139416706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=947] ppid=933 vsize=15417412 memory=1448 CPUtime=0.73 cores=4-7 /proc/935/task/947/stat : 947 (java) S 933 933 29909 0 -1 1077944384 4642 0 0 0 73 0 0 0 20 0 19 0 474945093 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838601730288 139839139416706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=948] ppid=933 vsize=15417412 memory=1116376 CPUtime=0 cores=4-7 /proc/935/task/948/stat : 948 (java) S 933 933 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474945093 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838600677984 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=949] ppid=933 vsize=15417412 memory=3848 CPUtime=0.04 cores=4-7 /proc/935/task/949/stat : 949 (java) S 933 933 29909 0 -1 1077944384 520 0 0 0 0 4 0 0 20 0 19 0 474945093 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838599625520 139839139416706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=954] ppid=933 vsize=15417412 memory=2660 CPUtime=128.7 cores=4-7 /proc/935/task/954/stat : 954 (java) R 933 933 29909 0 -1 4202560 438 0 0 0 12870 0 0 0 20 0 19 0 474945206 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838590405552 139838783449498 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=955] ppid=933 vsize=15417412 memory=2712 CPUtime=128.15 cores=4-7 /proc/935/task/955/stat : 955 (java) R 933 933 29909 0 -1 4202560 2250 0 0 0 12809 6 0 0 20 0 19 0 474945207 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838589354584 139838782569638 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=957] ppid=933 vsize=15417412 memory=6935054825532540783 CPUtime=129.9 cores=4-7 /proc/935/task/957/stat : 957 (java) R 933 933 29909 0 -1 4202560 356 0 0 0 12990 0 0 0 20 0 19 0 474945207 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838588302440 139838782569773 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=959] ppid=933 vsize=15417412 memory=1444 CPUtime=129.88 cores=4-7 /proc/935/task/959/stat : 959 (java) R 933 933 29909 0 -1 4202560 1946 0 0 0 12982 6 0 0 20 0 19 0 474945207 15787429888 279094 33554432000 4194304 4196468 140736664753040 139838587250208 139838783437153 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 Current children cumulated CPU time: 522.68 s Current children cumulated vsize: 15530540 KiB Current children cumulated memory: 1117824 KiB [startup+131.801 s] /proc/loadavg: 8.11 8.18 7.42 9/238 1081 /proc/meminfo: memFree=14943724/32770688 swapFree=66971760/67108860 [pid=933] ppid=930 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/933/stat : 933 (xcsp3-exec) S 930 933 29909 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474945086 115843072 362 33554432000 4194304 5098028 140720585556320 140720585554424 140179124355708 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7536640 140720585565050 140720585565293 140720585565293 140720585568202 0 /proc/933/statm: 28282 362 304 221 0 87 0 [pid=935] ppid=933 vsize=15417412 memory=1116172 CPUtime=523.06 cores=4-7 /proc/935/stat : 935 (java) S 933 933 29909 0 -1 1077944320 40206 0 0 0 52265 41 0 0 20 0 14 0 474945086 15787429888 279043 33554432000 4194304 4196468 140736664753040 140736664735584 139839139405559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 /proc/935/statm: 3854353 279043 3525 1 0 3815453 0 [pid=935/tid=936] ppid=933 vsize=15417412 memory=1116376 CPUtime=1.15 cores=4-7 /proc/935/task/936/stat : 936 (java) S 933 933 29909 0 -1 1077944384 9010 0 0 0 109 6 0 0 20 0 14 0 474945087 15787429888 279043 33554432000 4194304 4196468 140736664753040 139839143648400 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=937] ppid=933 vsize=15417412 memory=1448 CPUtime=0.1 cores=4-7 /proc/935/task/937/stat : 937 (java) S 933 933 29909 0 -1 1077944384 1882 0 0 0 6 4 0 0 20 0 14 0 474945088 15787429888 279043 33554432000 4194304 4196468 140736664753040 139838731770128 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=938] ppid=933 vsize=15417412 memory=1984 CPUtime=0.1 cores=4-7 /proc/935/task/938/stat : 938 (java) S 933 933 29909 0 -1 1077944384 1550 0 0 0 6 4 0 0 20 0 14 0 474945088 15787429888 279043 33554432000 4194304 4196468 140736664753040 139838730717584 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=939] ppid=933 vsize=15417412 memory=164 CPUtime=0.1 cores=4-7 /proc/935/task/939/stat : 939 (java) S 933 933 29909 0 -1 1077944384 542 0 0 0 7 3 0 0 20 0 14 0 474945088 15787429888 279043 33554432000 4194304 4196468 140736664753040 139838729665040 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=940] ppid=933 vsize=15417412 memory=1448 CPUtime=0.09 cores=4-7 /proc/935/task/940/stat : 940 (java) S 933 933 29909 0 -1 1077944384 1074 0 0 0 6 3 0 0 20 0 14 0 474945088 15787429888 279043 33554432000 4194304 4196468 140736664753040 139838728612496 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=941] ppid=933 vsize=15417412 memory=1116376 CPUtime=0.03 cores=4-7 /proc/935/task/941/stat : 941 (java) S 933 933 29909 0 -1 1077944384 1624 0 0 0 2 1 0 0 20 0 14 0 474945089 15787429888 279043 33554432000 4194304 4196468 140736664753040 139838608046784 139839139416706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=942] ppid=933 vsize=15417412 memory=9 CPUtime=0 cores=4-7 /proc/935/task/942/stat : 942 (java) S 933 933 29909 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 14 0 474945090 15787429888 279043 33554432000 4194304 4196468 140736664753040 139838606992864 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=943] ppid=933 vsize=15417412 memory=3 CPUtime=0 cores=4-7 /proc/935/task/943/stat : 943 (java) S 933 933 29909 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 14 0 474945090 15787429888 279043 33554432000 4194304 4196468 140736664753040 139838605940224 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=944] ppid=933 vsize=15417412 memory=1704 CPUtime=0 cores=4-7 /proc/935/task/944/stat : 944 (java) S 933 933 29909 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 14 0 474945092 15787429888 279043 33554432000 4194304 4196468 140736664753040 139838604888432 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=945] ppid=933 vsize=15417412 memory=1116376 CPUtime=1.85 cores=4-7 /proc/935/task/945/stat : 945 (java) S 933 933 29909 0 -1 1077944384 6615 0 0 0 184 1 0 0 20 0 14 0 474945092 15787429888 279043 33554432000 4194304 4196468 140736664753040 139838603835376 139839139416706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=946] ppid=933 vsize=15417412 memory=2424 CPUtime=1.71 cores=4-7 /proc/935/task/946/stat : 946 (java) S 933 933 29909 0 -1 1077944384 6092 0 0 0 170 1 0 0 20 0 14 0 474945093 15787429888 279043 33554432000 4194304 4196468 140736664753040 139838602763312 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=947] ppid=933 vsize=15417412 memory=1760 CPUtime=0.73 cores=4-7 /proc/935/task/947/stat : 947 (java) S 933 933 29909 0 -1 1077944384 4758 0 0 0 73 0 0 0 20 0 14 0 474945093 15787429888 279043 33554432000 4194304 4196468 140736664753040 139838601726160 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 [pid=935/tid=948] ppid=933 vsize=15417412 memory=2044 CPUtime=0 cores=4-7 /proc/935/task/948/stat : 948 (java) S 933 933 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 474945093 15787429888 279043 33554432000 4194304 4196468 140736664753040 139838600677984 139839139415765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140736664757231 140736664757402 140736664757402 140736664760271 0 Current children cumulated CPU time: 523.06 s Current children cumulated vsize: 15530540 KiB Current children cumulated memory: 1117620 KiB Child status: 0 Real time (s): 131.817 CPU time (s): 523.079 CPU user time (s): 522.654 CPU system time (s): 0.424503 CPU usage (%): 396.822 Max. virtual memory (cumulated for all children) (KiB): 15530540 Max. memory (cumulated for all children) (KiB): 1133232 getrusage(RUSAGE_CHILDREN,...) data: user time used= 522.654 system time used= 0.424503 maximum resident set size= 1135880 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40804 page faults= 0 swaps= 0 block input operations= 0 block output operations= 256 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5157 involuntary context switches= 7385 # summary of solver processes directly reported to runsolver: # pid: 933 # total CPU time (s): 523.079 # total CPU user time (s): 522.654 # total CPU system time (s): 0.424503 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.973799 second user time and 1.55415 second system time The end
Begin job on node116 at 2019-09-20 16:33:13 IDJOB=4403384 IDBENCH=126185 IDSOLVER=2863 FILE ID=node116/4403384-1568990035 RUNJOBID= node116-1568988007-29941 PBS_JOBID= 21704641 Free space on /tmp= 6256 MiB SOLVER NAME= choco-solver 2019-09-20 BENCH NAME= XCSP17/QRandom/QRandom-geometric-rw/geometric-50-20-d4-75-94.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4403384-1568990035/watcher-4403384-1568990035 -o /tmp/evaluation-result-4403384-1568990035/solver-4403384-1568990035 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568988007-29941 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1469664871 HOME/instance-4403384-1568990035.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6d6d0435d13d3ff0671cf8a5c787b057 RANDOM SEED=1469664871 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 17234680 kB MemAvailable: 31731508 kB Buffers: 95684 kB Cached: 14418148 kB SwapCached: 35348 kB Active: 7306688 kB Inactive: 7336784 kB Active(anon): 89760 kB Inactive(anon): 88312 kB Active(file): 7216928 kB Inactive(file): 7248472 kB Unevictable: 108548 kB Mlocked: 108548 kB SwapTotal: 67108860 kB SwapFree: 66971760 kB Dirty: 53224 kB Writeback: 0 kB AnonPages: 176900 kB Mapped: 64296 kB Shmem: 39676 kB Slab: 489408 kB SReclaimable: 459888 kB SUnreclaim: 29520 kB KernelStack: 3840 kB PageTables: 5716 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 1507648 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 102400 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 6228 MiB End job on node116 at 2019-09-20 16:35:25