Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-20 parallel | SAT | 670.554 | 111.767 |
Name | QRandom/QRandom-mdd-7-25-5/ mdd-7-25-5-56-09.xml |
MD5SUM | e7714f1bdc5f54a36db8d66dbea9ce0a |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 120.316 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 25 |
Number of constraints | 56 |
Number of domains | 1 |
Minimum domain size | 5 |
Maximum domain size | 5 |
Distribution of domain sizes | [{"size":5,"count":25}] |
Minimum variable degree | 8 |
Maximum variable degree | 25 |
Distribution of variable degrees | [{"degree":8,"count":1},{"degree":9,"count":2},{"degree":12,"count":2},{"degree":13,"count":2},{"degree":14,"count":2},{"degree":15,"count":5},{"degree":16,"count":2},{"degree":17,"count":2},{"degree":18,"count":1},{"degree":19,"count":3},{"degree":22,"count":1},{"degree":25,"count":2}] |
Minimum constraint arity | 7 |
Maximum constraint arity | 7 |
Distribution of constraint arities | [{"arity":7,"count":56}] |
Number of extensional constraints | 56 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":56}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404400-1568997462.xml" -tl '20160s' -p 8 0.13/0.18 c Choco 3fb4b153 0.13/0.18 c [HOME/instance-4404400-1568997462.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 78.35/37.41 c solve instance... 670.44/111.71 s SATISFIABLE 670.44/111.71 v <instantiation> 670.44/111.71 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] </list> 670.44/111.71 v <values>1 1 4 1 2 4 1 4 2 0 2 2 4 3 2 0 2 4 4 3 4 2 2 3 1 </values> 670.44/111.71 v </instantiation>
OK
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 (10389 MiB free) memory of node 1: 16384 MiB (8011 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404400-1568997462/watcher-4404400-1568997462 -o /var/tmp/evaluation-result-4404400-1568997462/solver-4404400-1568997462 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node147-1568994352-14801 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 507739512 HOME/instance-4404400-1568997462.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=16233, runsolver pid=16230 Current StackSize limit: 8192 KiB [startup+0.100145 s]* /proc/loadavg: 4.62 6.62 7.40 4/211 16254 /proc/meminfo: memFree=18826168/32770624 swapFree=66935844/67108860 [pid=16233] ppid=16230 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16233/stat : 16233 (xcsp3-exec) S 16230 16233 14774 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475660024 115843072 362 33554432000 4194304 5098028 140734646517216 140734646515320 139846224163452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30535680 140734646518610 140734646518869 140734646518869 140734646521798 0 /proc/16233/statm: 28282 362 304 221 0 87 0 [pid=16235] ppid=16233 vsize=28227396 memory=29048 CPUtime=0.13 cores=0-7 /proc/16235/stat : 16235 (java) S 16233 16233 14774 0 -1 1077944320 5689 0 0 0 11 2 0 0 20 0 20 0 475660024 28904853504 7262 33554432000 4194304 4196468 140721107463968 140721107446512 140562343198455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 /proc/16235/statm: 7056849 7262 3148 1 0 7019032 0 [pid=16235/tid=16236] ppid=16233 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/16235/task/16236/stat : 16236 (java) R 16233 16233 14774 0 -1 4202560 3592 0 0 0 8 1 0 0 20 0 20 0 475660025 28904853504 7262 33554432000 4194304 4196468 140721107463968 140562347431728 140562343210390 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16237] ppid=16233 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/16235/task/16237/stat : 16237 (java) S 16233 16233 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475660025 28904853504 7262 33554432000 4194304 4196468 140721107463968 140562295819024 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16238] ppid=16233 vsize=28227396 memory=140454169065088 CPUtime=0 cores=0-7 /proc/16235/task/16238/stat : 16238 (java) S 16233 16233 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475660025 28904853504 7262 33554432000 4194304 4196468 140721107463968 140562294766480 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16239] ppid=16233 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16235/task/16239/stat : 16239 (java) S 16233 16233 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475660025 28904853504 7262 33554432000 4194304 4196468 140721107463968 140562293713936 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16240] ppid=16233 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16235/task/16240/stat : 16240 (java) S 16233 16233 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475660025 28904853504 7262 33554432000 4194304 4196468 140721107463968 140562292661392 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16241] ppid=16233 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16235/task/16241/stat : 16241 (java) S 16233 16233 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475660025 28904853504 7262 33554432000 4194304 4196468 140721107463968 140562291607824 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16242] ppid=16233 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16235/task/16242/stat : 16242 (java) S 16233 16233 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475660025 28904853504 7262 33554432000 4194304 4196468 140721107463968 140562290555280 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16243] ppid=16233 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16235/task/16243/stat : 16243 (java) S 16233 16233 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475660025 28904853504 7262 33554432000 4194304 4196468 140721107463968 140562289502736 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16244] ppid=16233 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16235/task/16244/stat : 16244 (java) S 16233 16233 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475660025 28904853504 7262 33554432000 4194304 4196468 140721107463968 140562288450192 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16245] ppid=16233 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16235/task/16245/stat : 16245 (java) S 16233 16233 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475660027 28904853504 7262 33554432000 4194304 4196468 140721107463968 140561659967984 140562343209602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16246] ppid=16233 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16235/task/16246/stat : 16246 (java) S 16233 16233 14774 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475660027 28904853504 7262 33554432000 4194304 4196468 140721107463968 140561658914208 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16247] ppid=16233 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16235/task/16247/stat : 16247 (java) S 16233 16233 14774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475660028 28904853504 7262 33554432000 4194304 4196468 140721107463968 140561657861616 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16248] ppid=16233 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16235/task/16248/stat : 16248 (java) S 16233 16233 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475660030 28904853504 7262 33554432000 4194304 4196468 140721107463968 140561656810192 140562343217051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16249] ppid=16233 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16235/task/16249/stat : 16249 (java) S 16233 16233 14774 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 20 0 475660030 28904853504 7262 33554432000 4194304 4196468 140721107463968 140561655756784 140562343209602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16250] ppid=16233 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16235/task/16250/stat : 16250 (java) S 16233 16233 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475660030 28904853504 7262 33554432000 4194304 4196468 140721107463968 140561654704240 140562343209602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16251] ppid=16233 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16235/task/16251/stat : 16251 (java) S 16233 16233 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475660030 28904853504 7262 33554432000 4194304 4196468 140721107463968 140561653651696 140562343209602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16252] ppid=16233 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/16235/task/16252/stat : 16252 (java) R 16233 16233 14774 0 -1 4202560 358 0 0 0 2 0 0 0 20 0 20 0 475660030 28904853504 7262 33554432000 4194304 4196468 140721107463968 140561652599152 140562322321702 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16253] ppid=16233 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16235/task/16253/stat : 16253 (java) S 16233 16233 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475660030 28904853504 7262 33554432000 4194304 4196468 140721107463968 140561651546848 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16254] ppid=16233 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16235/task/16254/stat : 16254 (java) S 16233 16233 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475660030 28904853504 7262 33554432000 4194304 4196468 140721107463968 140561650494384 140562343209602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30496 KiB [startup+0.209917 s]* /proc/loadavg: 4.62 6.62 7.40 2/211 16254 /proc/meminfo: memFree=18811632/32770624 swapFree=66935844/67108860 [pid=16233] ppid=16230 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16233/stat : 16233 (xcsp3-exec) S 16230 16233 14774 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475660024 115843072 362 33554432000 4194304 5098028 140734646517216 140734646515320 139846224163452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30535680 140734646518610 140734646518869 140734646518869 140734646521798 0 /proc/16233/statm: 28282 362 304 221 0 87 0 [pid=16235] ppid=16233 vsize=28227396 memory=40872 CPUtime=0.33 cores=0-7 /proc/16235/stat : 16235 (java) S 16233 16233 14774 0 -1 1077944320 9519 0 0 0 29 4 0 0 20 0 20 0 475660024 28904853504 10218 33554432000 4194304 4196468 140721107463968 140721107446512 140562343198455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 /proc/16235/statm: 7056849 10218 3276 1 0 7019032 0 [pid=16235/tid=16236] ppid=16233 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/16235/task/16236/stat : 16236 (java) R 16233 16233 14774 0 -1 4202560 6622 0 0 0 17 2 0 0 20 0 20 0 475660025 28904853504 10218 33554432000 4194304 4196468 140721107463968 140562347431184 140562343220381 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16237] ppid=16233 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/16235/task/16237/stat : 16237 (java) S 16233 16233 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475660025 28904853504 10218 33554432000 4194304 4196468 140721107463968 140562295819024 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16238] ppid=16233 vsize=28227396 memory=288370830320776832 CPUtime=0 cores=0-7 /proc/16235/task/16238/stat : 16238 (java) S 16233 16233 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475660025 28904853504 10218 33554432000 4194304 4196468 140721107463968 140562294766480 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16239] ppid=16233 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16235/task/16239/stat : 16239 (java) S 16233 16233 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475660025 28904853504 10218 33554432000 4194304 4196468 140721107463968 140562293713936 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16240] ppid=16233 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16235/task/16240/stat : 16240 (java) S 16233 16233 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475660025 28904853504 10218 33554432000 4194304 4196468 140721107463968 140562292661392 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16241] ppid=16233 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16235/task/16241/stat : 16241 (java) S 16233 16233 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475660025 28904853504 10218 33554432000 4194304 4196468 140721107463968 140562291607824 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16242] ppid=16233 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16235/task/16242/stat : 16242 (java) S 16233 16233 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475660025 28904853504 10218 33554432000 4194304 4196468 140721107463968 140562290555280 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16243] ppid=16233 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16235/task/16243/stat : 16243 (java) S 16233 16233 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475660025 28904853504 10218 33554432000 4194304 4196468 140721107463968 140562289502736 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16244] ppid=16233 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16235/task/16244/stat : 16244 (java) S 16233 16233 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475660025 28904853504 10218 33554432000 4194304 4196468 140721107463968 140562288450192 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16245] ppid=16233 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16235/task/16245/stat : 16245 (java) S 16233 16233 14774 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475660027 28904853504 10218 33554432000 4194304 4196468 140721107463968 140561659967984 140562343209602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16246] ppid=16233 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16235/task/16246/stat : 16246 (java) S 16233 16233 14774 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475660027 28904853504 10218 33554432000 4194304 4196468 140721107463968 140561658914208 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16247] ppid=16233 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16235/task/16247/stat : 16247 (java) S 16233 16233 14774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475660028 28904853504 10218 33554432000 4194304 4196468 140721107463968 140561657861616 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16248] ppid=16233 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16235/task/16248/stat : 16248 (java) S 16233 16233 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475660030 28904853504 10218 33554432000 4194304 4196468 140721107463968 140561656810192 140562343217051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16249] ppid=16233 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16235/task/16249/stat : 16249 (java) S 16233 16233 14774 0 -1 1077944384 460 0 0 0 0 0 0 0 20 0 20 0 475660030 28904853504 10218 33554432000 4194304 4196468 140721107463968 140561655756784 140562343209602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16250] ppid=16233 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/16235/task/16250/stat : 16250 (java) S 16233 16233 14774 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 20 0 475660030 28904853504 10218 33554432000 4194304 4196468 140721107463968 140561654704240 140562343209602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16251] ppid=16233 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/16235/task/16251/stat : 16251 (java) S 16233 16233 14774 0 -1 1077944384 111 0 0 0 2 0 0 0 20 0 20 0 475660030 28904853504 10218 33554432000 4194304 4196468 140721107463968 140561653651696 140562343209602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16252] ppid=16233 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/16235/task/16252/stat : 16252 (java) S 16233 16233 14774 0 -1 1077944384 775 0 0 0 7 0 0 0 20 0 20 0 475660030 28904853504 10218 33554432000 4194304 4196468 140721107463968 140561652599152 140562343209602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16253] ppid=16233 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16235/task/16253/stat : 16253 (java) S 16233 16233 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475660030 28904853504 10218 33554432000 4194304 4196468 140721107463968 140561651546848 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16254] ppid=16233 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16235/task/16254/stat : 16254 (java) S 16233 16233 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475660030 28904853504 10218 33554432000 4194304 4196468 140721107463968 140561650494384 140562343209602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42320 KiB [startup+0.309483 s]* /proc/loadavg: 4.62 6.62 7.40 3/211 16254 /proc/meminfo: memFree=18805240/32770624 swapFree=66935844/67108860 [pid=16233] ppid=16230 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16233/stat : 16233 (xcsp3-exec) S 16230 16233 14774 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475660024 115843072 362 33554432000 4194304 5098028 140734646517216 140734646515320 139846224163452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30535680 140734646518610 140734646518869 140734646518869 140734646521798 0 /proc/16233/statm: 28282 362 304 221 0 87 0 [pid=16235] ppid=16233 vsize=28231652 memory=49328 CPUtime=0.52 cores=0-7 /proc/16235/stat : 16235 (java) S 16233 16233 14774 0 -1 1077944320 10724 0 0 0 47 5 0 0 20 0 20 0 475660024 28909211648 12332 33554432000 4194304 4196468 140721107463968 140721107446512 140562343198455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 /proc/16235/statm: 7057913 12332 3349 1 0 7019032 0 [pid=16235/tid=16236] ppid=16233 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/16235/task/16236/stat : 16236 (java) R 16233 16233 14774 0 -1 4202560 7729 0 0 0 26 3 0 0 20 0 20 0 475660025 28909211648 12378 33554432000 4194304 4196468 140721107463968 140562347429568 140562327278942 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16237] ppid=16233 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16235/task/16237/stat : 16237 (java) S 16233 16233 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475660025 28909211648 12378 33554432000 4194304 4196468 140721107463968 140562295819024 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16238] ppid=16233 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16235/task/16238/stat : 16238 (java) S 16233 16233 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475660025 28909211648 12378 33554432000 4194304 4196468 140721107463968 140562294766480 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16239] ppid=16233 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16235/task/16239/stat : 16239 (java) S 16233 16233 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475660025 28909211648 12378 33554432000 4194304 4196468 140721107463968 140562293713936 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16240] ppid=16233 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16235/task/16240/stat : 16240 (java) S 16233 16233 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475660025 28909211648 12378 33554432000 4194304 4196468 140721107463968 140562292661392 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16241] ppid=16233 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/16235/task/16241/stat : 16241 (java) S 16233 16233 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475660025 28909211648 12378 33554432000 4194304 4196468 140721107463968 140562291607824 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16242] ppid=16233 vsize=28231652 memory=140454020608943 CPUtime=0 cores=0-7 /proc/16235/task/16242/stat : 16242 (java) S 16233 16233 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475660025 28909211648 12378 33554432000 4194304 4196468 140721107463968 140562290555280 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16243] ppid=16233 vsize=28231652 memory=140454020611248 CPUtime=0 cores=0-7 /proc/16235/task/16243/stat : 16243 (java) S 16233 16233 14774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475660025 28909211648 12378 33554432000 4194304 4196468 140721107463968 140562289502736 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16244] ppid=16233 vsize=28231652 memory=140454020613552 CPUtime=0 cores=0-7 /proc/16235/task/16244/stat : 16244 (java) S 16233 16233 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475660025 28909211648 12378 33554432000 4194304 4196468 140721107463968 140562288450192 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16245] ppid=16233 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16235/task/16245/stat : 16245 (java) S 16233 16233 14774 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475660027 28909211648 12378 33554432000 4194304 4196468 140721107463968 140561659967984 140562343209602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16246] ppid=16233 vsize=28231652 memory=280908041234064 CPUtime=0 cores=0-7 /proc/16235/task/16246/stat : 16246 (java) S 16233 16233 14774 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475660027 28909211648 12378 33554432000 4194304 4196468 140721107463968 140561658914208 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16247] ppid=16233 vsize=28231652 memory=280908041240976 CPUtime=0 cores=0-7 /proc/16235/task/16247/stat : 16247 (java) S 16233 16233 14774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475660028 28909211648 12378 33554432000 4194304 4196468 140721107463968 140561657861616 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16248] ppid=16233 vsize=28231652 memory=280908041182256 CPUtime=0 cores=0-7 /proc/16235/task/16248/stat : 16248 (java) S 16233 16233 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475660030 28909211648 12378 33554432000 4194304 4196468 140721107463968 140561656810192 140562343217051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16249] ppid=16233 vsize=28231652 memory=280908041254800 CPUtime=0.02 cores=0-7 /proc/16235/task/16249/stat : 16249 (java) S 16233 16233 14774 0 -1 1077944384 476 0 0 0 2 0 0 0 20 0 20 0 475660030 28909211648 12378 33554432000 4194304 4196468 140721107463968 140561655756784 140562343209602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16250] ppid=16233 vsize=28231652 memory=280908041261712 CPUtime=0.02 cores=0-7 /proc/16235/task/16250/stat : 16250 (java) S 16233 16233 14774 0 -1 1077944384 250 0 0 0 2 0 0 0 20 0 20 0 475660030 28909211648 12378 33554432000 4194304 4196468 140721107463968 140561654704240 140562343209602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16251] ppid=16233 vsize=28231652 memory=280908041259408 CPUtime=0.02 cores=0-7 /proc/16235/task/16251/stat : 16251 (java) S 16233 16233 14774 0 -1 1077944384 111 0 0 0 2 0 0 0 20 0 20 0 475660030 28909211648 12378 33554432000 4194304 4196468 140721107463968 140561653651696 140562343209602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16252] ppid=16233 vsize=28231652 memory=280908041275568 CPUtime=0.12 cores=0-7 /proc/16235/task/16252/stat : 16252 (java) S 16233 16233 14774 0 -1 1077944384 857 0 0 0 12 0 0 0 20 0 20 0 475660030 28909211648 12378 33554432000 4194304 4196468 140721107463968 140561652599152 140562343209602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16253] ppid=16233 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16235/task/16253/stat : 16253 (java) S 16233 16233 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475660030 28909211648 12378 33554432000 4194304 4196468 140721107463968 140561651546848 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16254] ppid=16233 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/16235/task/16254/stat : 16254 (java) S 16233 16233 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475660030 28909211648 12378 33554432000 4194304 4196468 140721107463968 140561650494384 140562343209602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50776 KiB [startup+0.701602 s] /proc/loadavg: 4.62 6.62 7.40 6/211 16254 /proc/meminfo: memFree=18728424/32770624 swapFree=66935844/67108860 [pid=16233] ppid=16230 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16233/stat : 16233 (xcsp3-exec) S 16230 16233 14774 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475660024 115843072 362 33554432000 4194304 5098028 140734646517216 140734646515320 139846224163452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30535680 140734646518610 140734646518869 140734646518869 140734646521798 0 /proc/16233/statm: 28282 362 304 221 0 87 0 [pid=16235] ppid=16233 vsize=28233776 memory=253436 CPUtime=1.76 cores=0-7 /proc/16235/stat : 16235 (java) S 16233 16233 14774 0 -1 1077944320 14390 0 0 0 156 20 0 0 20 0 20 0 475660024 28911386624 63359 33554432000 4194304 4196468 140721107463968 140721107446512 140562343198455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 /proc/16235/statm: 7058444 63359 3455 1 0 7019544 0 [pid=16235/tid=16236] ppid=16233 vsize=28233776 memory=280908041633456 CPUtime=0.65 cores=0-7 /proc/16235/task/16236/stat : 16236 (java) R 16233 16233 14774 0 -1 4202560 8285 0 0 0 58 7 0 0 20 0 20 0 475660025 28911386624 63359 33554432000 4194304 4196468 140721107463968 140562347432496 140561948684629 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16237] ppid=16233 vsize=28233776 memory=140454020817776 CPUtime=0.02 cores=0-7 /proc/16235/task/16237/stat : 16237 (java) S 16233 16233 14774 0 -1 1077944384 39 0 0 0 1 1 0 0 20 0 20 0 475660025 28911386624 63359 33554432000 4194304 4196468 140721107463968 140562295819024 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16238] ppid=16233 vsize=28233776 memory=0 CPUtime=0.02 cores=0-7 /proc/16235/task/16238/stat : 16238 (java) S 16233 16233 14774 0 -1 1077944384 41 0 0 0 1 1 0 0 20 0 20 0 475660025 28911386624 63359 33554432000 4194304 4196468 140721107463968 140562294766480 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16239] ppid=16233 vsize=28233776 memory=1128 CPUtime=0.02 cores=0-7 /proc/16235/task/16239/stat : 16239 (java) S 16233 16233 14774 0 -1 1077944384 36 0 0 0 0 2 0 0 20 0 20 0 475660025 28911386624 63359 33554432000 4194304 4196468 140721107463968 140562293713936 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 ################ # More data... # ################ [pid=16235/tid=16252] ppid=16233 vsize=28766288 memory=3592 CPUtime=0.72 cores=0-7 /proc/16235/task/16252/stat : 16252 (java) S 16233 16233 14774 0 -1 1077944384 7094 0 0 0 71 1 0 0 20 0 28 0 475660030 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140561652599152 140562343209602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16253] ppid=16233 vsize=28766288 memory=1128 CPUtime=0 cores=0-7 /proc/16235/task/16253/stat : 16253 (java) S 16233 16233 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475660030 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140561651546848 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16254] ppid=16233 vsize=28766288 memory=2828 CPUtime=0.04 cores=0-7 /proc/16235/task/16254/stat : 16254 (java) S 16233 16233 14774 0 -1 1077944384 1133 0 0 0 2 2 0 0 20 0 28 0 475660030 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140561650494384 140562343209602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16257] ppid=16233 vsize=28766288 memory=1228 CPUtime=72.96 cores=0-7 /proc/16235/task/16257/stat : 16257 (java) R 16233 16233 14774 0 -1 4202560 926 0 0 0 7294 2 0 0 20 0 28 0 475663767 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140561641512744 140561954682224 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16258] ppid=16233 vsize=28766288 memory=14008 CPUtime=72.93 cores=0-7 /proc/16235/task/16258/stat : 16258 (java) R 16233 16233 14774 0 -1 4202560 953 0 0 0 7291 2 0 0 20 0 28 0 475663767 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140561640460824 140561951030839 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16259] ppid=16233 vsize=28766288 memory=12040 CPUtime=72.91 cores=0-7 /proc/16235/task/16259/stat : 16259 (java) R 16233 16233 14774 0 -1 4202560 3522 0 0 0 7287 4 0 0 20 0 28 0 475663767 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140561639407256 140561951030610 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16260] ppid=16233 vsize=28766288 memory=2124 CPUtime=72.77 cores=0-7 /proc/16235/task/16260/stat : 16260 (java) R 16233 16233 14774 0 -1 4202560 1456 0 0 0 7275 2 0 0 20 0 28 0 475663767 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140561638354824 140561954385122 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16261] ppid=16233 vsize=28766288 memory=30084 CPUtime=73.03 cores=0-7 /proc/16235/task/16261/stat : 16261 (java) R 16233 16233 14774 0 -1 4202560 1464 0 0 0 7300 3 0 0 20 0 28 0 475663767 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140561637304088 140561951030463 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16262] ppid=16233 vsize=28766288 memory=492 CPUtime=72.83 cores=0-7 /proc/16235/task/16262/stat : 16262 (java) R 16233 16233 14774 0 -1 4202560 2445 0 0 0 7278 5 0 0 20 0 28 0 475663767 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140561636250184 140561954385483 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16263] ppid=16233 vsize=28766288 memory=1560 CPUtime=72.68 cores=0-7 /proc/16235/task/16263/stat : 16263 (java) R 16233 16233 14774 0 -1 4202560 1641 0 0 0 7265 3 0 0 20 0 28 0 475663767 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140561635197192 140561951030778 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16264] ppid=16233 vsize=28766288 memory=932 CPUtime=71.49 cores=0-7 /proc/16235/task/16264/stat : 16264 (java) R 16233 16233 14774 0 -1 4202560 909 0 0 0 7148 1 0 0 20 0 28 0 475663767 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140561634144536 140561951031552 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 Current children cumulated CPU time: 666.43 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 8044216 KiB [startup+111.602 s] /proc/loadavg: 6.93 6.51 7.24 9/219 16290 /proc/meminfo: memFree=10799376/32770624 swapFree=66935844/67108860 [pid=16233] ppid=16230 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16233/stat : 16233 (xcsp3-exec) S 16230 16233 14774 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475660024 115843072 362 33554432000 4194304 5098028 140734646517216 140734646515320 139846224163452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30535680 140734646518610 140734646518869 140734646518869 140734646521798 0 /proc/16233/statm: 28282 362 304 221 0 87 0 [pid=16235] ppid=16233 vsize=28766288 memory=8042768 CPUtime=669.63 cores=0-7 /proc/16235/stat : 16235 (java) S 16233 16233 14774 0 -1 1077944320 127153 0 0 0 65503 1460 0 0 20 0 28 0 475660024 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140721107446512 140562343198455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 /proc/16235/statm: 7191572 2010692 3525 1 0 7152672 0 [pid=16235/tid=16236] ppid=16233 vsize=28766288 memory=6791534058613427641 CPUtime=30.2 cores=0-7 /proc/16235/task/16236/stat : 16236 (java) S 16233 16233 14774 0 -1 1077944384 22700 0 0 0 2947 73 0 0 20 0 28 0 475660025 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140562347439232 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16237] ppid=16233 vsize=28766288 memory=776 CPUtime=5.94 cores=0-7 /proc/16235/task/16237/stat : 16237 (java) S 16233 16233 14774 0 -1 1077944384 5685 0 0 0 427 167 0 0 20 0 28 0 475660025 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140562295819024 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16238] ppid=16233 vsize=28766288 memory=1560 CPUtime=5.88 cores=0-7 /proc/16235/task/16238/stat : 16238 (java) S 16233 16233 14774 0 -1 1077944384 6185 0 0 0 419 169 0 0 20 0 28 0 475660025 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140562294766480 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16239] ppid=16233 vsize=28766288 memory=1448 CPUtime=5.87 cores=0-7 /proc/16235/task/16239/stat : 16239 (java) S 16233 16233 14774 0 -1 1077944384 5726 0 0 0 412 175 0 0 20 0 28 0 475660025 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140562293713936 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16240] ppid=16233 vsize=28766288 memory=3512 CPUtime=5.9 cores=0-7 /proc/16235/task/16240/stat : 16240 (java) S 16233 16233 14774 0 -1 1077944384 6748 0 0 0 425 165 0 0 20 0 28 0 475660025 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140562292661392 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16241] ppid=16233 vsize=28766288 memory=55920 CPUtime=5.89 cores=0-7 /proc/16235/task/16241/stat : 16241 (java) S 16233 16233 14774 0 -1 1077944384 5397 0 0 0 427 162 0 0 20 0 28 0 475660025 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140562291607824 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16242] ppid=16233 vsize=28766288 memory=2020 CPUtime=5.89 cores=0-7 /proc/16235/task/16242/stat : 16242 (java) S 16233 16233 14774 0 -1 1077944384 5888 0 0 0 421 168 0 0 20 0 28 0 475660025 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140562290555280 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16243] ppid=16233 vsize=28766288 memory=988 CPUtime=5.89 cores=0-7 /proc/16235/task/16243/stat : 16243 (java) S 16233 16233 14774 0 -1 1077944384 5152 0 0 0 423 166 0 0 20 0 28 0 475660025 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140562289502736 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16244] ppid=16233 vsize=28766288 memory=1368 CPUtime=5.9 cores=0-7 /proc/16235/task/16244/stat : 16244 (java) S 16233 16233 14774 0 -1 1077944384 6293 0 0 0 417 173 0 0 20 0 28 0 475660025 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140562288450192 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16245] ppid=16233 vsize=28766288 memory=1056 CPUtime=1.57 cores=0-7 /proc/16235/task/16245/stat : 16245 (java) S 16233 16233 14774 0 -1 1077944384 13113 0 0 0 154 3 0 0 20 0 28 0 475660027 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140561659967984 140562343209602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16246] ppid=16233 vsize=28766288 memory=1716 CPUtime=0 cores=0-7 /proc/16235/task/16246/stat : 16246 (java) S 16233 16233 14774 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 475660027 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140561658914272 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16247] ppid=16233 vsize=28766288 memory=6028 CPUtime=0 cores=0-7 /proc/16235/task/16247/stat : 16247 (java) S 16233 16233 14774 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 28 0 475660028 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140561657861632 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16248] ppid=16233 vsize=28766288 memory=11416 CPUtime=0 cores=0-7 /proc/16235/task/16248/stat : 16248 (java) S 16233 16233 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475660030 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140561656810192 140562343217051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16249] ppid=16233 vsize=28766288 memory=780 CPUtime=1.52 cores=0-7 /proc/16235/task/16249/stat : 16249 (java) S 16233 16233 14774 0 -1 1077944384 6515 0 0 0 150 2 0 0 20 0 28 0 475660030 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140561655756784 140562343209602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16250] ppid=16233 vsize=28766288 memory=776 CPUtime=1.77 cores=0-7 /proc/16235/task/16250/stat : 16250 (java) S 16233 16233 14774 0 -1 1077944384 8017 0 0 0 175 2 0 0 20 0 28 0 475660030 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140561654704240 140562343209602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16251] ppid=16233 vsize=28766288 memory=1560 CPUtime=1.64 cores=0-7 /proc/16235/task/16251/stat : 16251 (java) S 16233 16233 14774 0 -1 1077944384 6792 0 0 0 163 1 0 0 20 0 28 0 475660030 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140561653651696 140562343209602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16252] ppid=16233 vsize=28766288 memory=3592 CPUtime=0.72 cores=0-7 /proc/16235/task/16252/stat : 16252 (java) S 16233 16233 14774 0 -1 1077944384 7094 0 0 0 71 1 0 0 20 0 28 0 475660030 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140561652599152 140562343209602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16253] ppid=16233 vsize=28766288 memory=1128 CPUtime=0 cores=0-7 /proc/16235/task/16253/stat : 16253 (java) S 16233 16233 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475660030 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140561651546848 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16254] ppid=16233 vsize=28766288 memory=2828 CPUtime=0.04 cores=0-7 /proc/16235/task/16254/stat : 16254 (java) S 16233 16233 14774 0 -1 1077944384 1133 0 0 0 2 2 0 0 20 0 28 0 475660030 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140561650494384 140562343209602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16257] ppid=16233 vsize=28766288 memory=1228 CPUtime=73.36 cores=0-7 /proc/16235/task/16257/stat : 16257 (java) R 16233 16233 14774 0 -1 4202560 926 0 0 0 7334 2 0 0 20 0 28 0 475663767 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140561641512744 140561954385127 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16258] ppid=16233 vsize=28766288 memory=14008 CPUtime=73.33 cores=0-7 /proc/16235/task/16258/stat : 16258 (java) R 16233 16233 14774 0 -1 4202560 953 0 0 0 7331 2 0 0 20 0 28 0 475663767 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140561640460824 140561954385040 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16259] ppid=16233 vsize=28766288 memory=12040 CPUtime=73.31 cores=0-7 /proc/16235/task/16259/stat : 16259 (java) R 16233 16233 14774 0 -1 4202560 3524 0 0 0 7327 4 0 0 20 0 28 0 475663767 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140561639407256 140561954385166 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16260] ppid=16233 vsize=28766288 memory=2124 CPUtime=73.17 cores=0-7 /proc/16235/task/16260/stat : 16260 (java) R 16233 16233 14774 0 -1 4202560 1456 0 0 0 7315 2 0 0 20 0 28 0 475663767 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140561638354824 140561954383247 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16261] ppid=16233 vsize=28766288 memory=30084 CPUtime=73.43 cores=0-7 /proc/16235/task/16261/stat : 16261 (java) R 16233 16233 14774 0 -1 4202560 1466 0 0 0 7340 3 0 0 20 0 28 0 475663767 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140561637304088 140561951030632 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16262] ppid=16233 vsize=28766288 memory=492 CPUtime=73.23 cores=0-7 /proc/16235/task/16262/stat : 16262 (java) R 16233 16233 14774 0 -1 4202560 2447 0 0 0 7318 5 0 0 20 0 28 0 475663767 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140561636250184 140561954682625 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16263] ppid=16233 vsize=28766288 memory=1560 CPUtime=73.08 cores=0-7 /proc/16235/task/16263/stat : 16263 (java) R 16233 16233 14774 0 -1 4202560 1641 0 0 0 7305 3 0 0 20 0 28 0 475663767 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140561635197192 140561951031280 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16264] ppid=16233 vsize=28766288 memory=932 CPUtime=71.88 cores=0-7 /proc/16235/task/16264/stat : 16264 (java) R 16233 16233 14774 0 -1 4202560 909 0 0 0 7187 1 0 0 20 0 28 0 475663767 29456678912 2010692 33554432000 4194304 4196468 140721107463968 140561634144536 140561954385185 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 Current children cumulated CPU time: 669.63 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 8044216 KiB [startup+111.702 s] /proc/loadavg: 6.93 6.51 7.24 9/219 16290 /proc/meminfo: memFree=10799376/32770624 swapFree=66935844/67108860 [pid=16233] ppid=16230 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16233/stat : 16233 (xcsp3-exec) S 16230 16233 14774 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475660024 115843072 362 33554432000 4194304 5098028 140734646517216 140734646515320 139846224163452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30535680 140734646518610 140734646518869 140734646518869 140734646521798 0 /proc/16233/statm: 28282 362 304 221 0 87 0 [pid=16235] ppid=16233 vsize=28766288 memory=8042780 CPUtime=670.44 cores=0-7 /proc/16235/stat : 16235 (java) S 16233 16233 14774 0 -1 1077944320 128153 0 0 0 65583 1461 0 0 20 0 28 0 475660024 29456678912 2010695 33554432000 4194304 4196468 140721107463968 140721107446512 140562343198455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 /proc/16235/statm: 7191572 2010695 3525 1 0 7152672 0 [pid=16235/tid=16236] ppid=16233 vsize=28766288 memory=8042768 CPUtime=30.2 cores=0-7 /proc/16235/task/16236/stat : 16236 (java) S 16233 16233 14774 0 -1 1077944384 22700 0 0 0 2947 73 0 0 20 0 28 0 475660025 29456678912 2010695 33554432000 4194304 4196468 140721107463968 140562347439232 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16237] ppid=16233 vsize=28766288 memory=8042768 CPUtime=5.94 cores=0-7 /proc/16235/task/16237/stat : 16237 (java) S 16233 16233 14774 0 -1 1077944384 5685 0 0 0 427 167 0 0 20 0 28 0 475660025 29456678912 2010695 33554432000 4194304 4196468 140721107463968 140562295819024 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16238] ppid=16233 vsize=28766288 memory=1448 CPUtime=5.88 cores=0-7 /proc/16235/task/16238/stat : 16238 (java) S 16233 16233 14774 0 -1 1077944384 6185 0 0 0 419 169 0 0 20 0 28 0 475660025 29456678912 2010695 33554432000 4194304 4196468 140721107463968 140562294766480 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16239] ppid=16233 vsize=28766288 memory=8710193677569 CPUtime=5.87 cores=0-7 /proc/16235/task/16239/stat : 16239 (java) S 16233 16233 14774 0 -1 1077944384 5726 0 0 0 412 175 0 0 20 0 28 0 475660025 29456678912 2010695 33554432000 4194304 4196468 140721107463968 140562293713936 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16240] ppid=16233 vsize=28766288 memory=932 CPUtime=5.9 cores=0-7 /proc/16235/task/16240/stat : 16240 (java) S 16233 16233 14774 0 -1 1077944384 6748 0 0 0 425 165 0 0 20 0 28 0 475660025 29456678912 2010695 33554432000 4194304 4196468 140721107463968 140562292661392 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16241] ppid=16233 vsize=28766288 memory=1056 CPUtime=5.89 cores=0-7 /proc/16235/task/16241/stat : 16241 (java) S 16233 16233 14774 0 -1 1077944384 5397 0 0 0 427 162 0 0 20 0 28 0 475660025 29456678912 2010695 33554432000 4194304 4196468 140721107463968 140562291607824 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16242] ppid=16233 vsize=28766288 memory=1716 CPUtime=5.89 cores=0-7 /proc/16235/task/16242/stat : 16242 (java) S 16233 16233 14774 0 -1 1077944384 5888 0 0 0 421 168 0 0 20 0 28 0 475660025 29456678912 2010695 33554432000 4194304 4196468 140721107463968 140562290555280 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16243] ppid=16233 vsize=28766288 memory=1448 CPUtime=5.89 cores=0-7 /proc/16235/task/16243/stat : 16243 (java) S 16233 16233 14774 0 -1 1077944384 5152 0 0 0 423 166 0 0 20 0 28 0 475660025 29456678912 2010695 33554432000 4194304 4196468 140721107463968 140562289502736 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16244] ppid=16233 vsize=28766288 memory=8042768 CPUtime=5.9 cores=0-7 /proc/16235/task/16244/stat : 16244 (java) S 16233 16233 14774 0 -1 1077944384 6293 0 0 0 417 173 0 0 20 0 28 0 475660025 29456678912 2010695 33554432000 4194304 4196468 140721107463968 140562288450192 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16245] ppid=16233 vsize=28766288 memory=492 CPUtime=1.57 cores=0-7 /proc/16235/task/16245/stat : 16245 (java) S 16233 16233 14774 0 -1 1077944384 13113 0 0 0 154 3 0 0 20 0 28 0 475660027 29456678912 2010695 33554432000 4194304 4196468 140721107463968 140561659967984 140562343209602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16246] ppid=16233 vsize=28766288 memory=1560 CPUtime=0 cores=0-7 /proc/16235/task/16246/stat : 16246 (java) S 16233 16233 14774 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 475660027 29456678912 2010695 33554432000 4194304 4196468 140721107463968 140561658914272 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16247] ppid=16233 vsize=28766288 memory=1448 CPUtime=0 cores=0-7 /proc/16235/task/16247/stat : 16247 (java) S 16233 16233 14774 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 28 0 475660028 29456678912 2010695 33554432000 4194304 4196468 140721107463968 140561657861632 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16248] ppid=16233 vsize=28766288 memory=3512 CPUtime=0 cores=0-7 /proc/16235/task/16248/stat : 16248 (java) S 16233 16233 14774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475660030 29456678912 2010695 33554432000 4194304 4196468 140721107463968 140561656810192 140562343217051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16249] ppid=16233 vsize=28766288 memory=55920 CPUtime=1.52 cores=0-7 /proc/16235/task/16249/stat : 16249 (java) S 16233 16233 14774 0 -1 1077944384 6515 0 0 0 150 2 0 0 20 0 28 0 475660030 29456678912 2010695 33554432000 4194304 4196468 140721107463968 140561655756784 140562343209602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16250] ppid=16233 vsize=28766288 memory=1448 CPUtime=1.78 cores=0-7 /proc/16235/task/16250/stat : 16250 (java) S 16233 16233 14774 0 -1 1077944384 8352 0 0 0 176 2 0 0 20 0 28 0 475660030 29456678912 2010695 33554432000 4194304 4196468 140721107463968 140561654704240 140562343209602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16251] ppid=16233 vsize=28766288 memory=3512 CPUtime=1.64 cores=0-7 /proc/16235/task/16251/stat : 16251 (java) S 16233 16233 14774 0 -1 1077944384 7014 0 0 0 163 1 0 0 20 0 28 0 475660030 29456678912 2010695 33554432000 4194304 4196468 140721107463968 140561653651696 140562343209602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16252] ppid=16233 vsize=28766288 memory=55920 CPUtime=0.72 cores=0-7 /proc/16235/task/16252/stat : 16252 (java) R 16233 16233 14774 0 -1 1077944384 7253 0 0 0 71 1 0 0 20 0 28 0 475660030 29456678912 2010695 33554432000 4194304 4196468 140721107463968 140561652599152 140562343209602 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16253] ppid=16233 vsize=28766288 memory=280908041643056 CPUtime=0 cores=0-7 /proc/16235/task/16253/stat : 16253 (java) S 16233 16233 14774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475660030 29456678912 2010695 33554432000 4194304 4196468 140721107463968 140561651546848 140562343208661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16254] ppid=16233 vsize=28766288 memory=71902047504874 CPUtime=0.04 cores=0-7 /proc/16235/task/16254/stat : 16254 (java) S 16233 16233 14774 0 -1 1077944384 1133 0 0 0 2 2 0 0 20 0 28 0 475660030 29456678912 2010695 33554432000 4194304 4196468 140721107463968 140561650494384 140562343209602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16257] ppid=16233 vsize=28766288 memory=71902047504618 CPUtime=73.46 cores=0-7 /proc/16235/task/16257/stat : 16257 (java) R 16233 16233 14774 0 -1 4202560 945 0 0 0 7344 2 0 0 20 0 28 0 475663767 29456678912 2010695 33554432000 4194304 4196468 140721107463968 140561641512744 140561954385256 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16258] ppid=16233 vsize=28766288 memory=1448 CPUtime=73.43 cores=0-7 /proc/16235/task/16258/stat : 16258 (java) R 16233 16233 14774 0 -1 4202560 971 0 0 0 7341 2 0 0 20 0 28 0 475663767 29456678912 2010695 33554432000 4194304 4196468 140721107463968 140561640460824 140561951030632 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16259] ppid=16233 vsize=28766288 memory=8042768 CPUtime=73.39 cores=0-7 /proc/16235/task/16259/stat : 16259 (java) R 16233 16233 14774 0 -1 4202560 3549 0 0 0 7335 4 0 0 20 0 28 0 475663767 29456678912 2010695 33554432000 4194304 4196468 140721107463968 140561639406832 140561954961265 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16260] ppid=16233 vsize=28766288 memory=1056 CPUtime=73.26 cores=0-7 /proc/16235/task/16260/stat : 16260 (java) R 16233 16233 14774 0 -1 4202560 1456 0 0 0 7324 2 0 0 20 0 28 0 475663767 29456678912 2010695 33554432000 4194304 4196468 140721107463968 140561638356216 140561954385127 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16261] ppid=16233 vsize=28766288 memory=1448 CPUtime=73.52 cores=0-7 /proc/16235/task/16261/stat : 16261 (java) R 16233 16233 14774 0 -1 4202560 1480 0 0 0 7349 3 0 0 20 0 28 0 475663767 29456678912 2010695 33554432000 4194304 4196468 140721107463968 140561637303672 140561951030778 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16262] ppid=16233 vsize=28766288 memory=8042768 CPUtime=73.33 cores=0-7 /proc/16235/task/16262/stat : 16262 (java) R 16233 16233 14774 0 -1 4202560 2448 0 0 0 7328 5 0 0 20 0 28 0 475663767 29456678912 2010695 33554432000 4194304 4196468 140721107463968 140561636250184 140561954385058 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16263] ppid=16233 vsize=28766288 memory=3336 CPUtime=73.18 cores=0-7 /proc/16235/task/16263/stat : 16263 (java) R 16233 16233 14774 0 -1 4202560 1830 0 0 0 7315 3 0 0 20 0 28 0 475663767 29456678912 2010695 33554432000 4194304 4196468 140721107463968 140561635200192 140561955888741 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 [pid=16235/tid=16264] ppid=16233 vsize=28766288 memory=1448 CPUtime=71.98 cores=0-7 /proc/16235/task/16264/stat : 16264 (java) R 16233 16233 14774 0 -1 4202560 928 0 0 0 7197 1 0 0 20 0 28 0 475663767 29456678912 2010695 33554432000 4194304 4196468 140721107463968 140561634147320 140561954385122 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12541952 140721107469270 140721107469446 140721107469446 140721107472335 0 Current children cumulated CPU time: 670.44 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 8044228 KiB Child status: 0 Real time (s): 111.767 CPU time (s): 670.554 CPU user time (s): 655.897 CPU system time (s): 14.6566 CPU usage (%): 599.956 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 8044228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 655.897 system time used= 14.6566 maximum resident set size= 8042932 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 130528 page faults= 0 swaps= 0 block input operations= 0 block output operations= 528 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9485 involuntary context switches= 7980 # summary of solver processes directly reported to runsolver: # pid: 16233 # total CPU time (s): 670.554 # total CPU user time (s): 655.897 # total CPU system time (s): 14.6566 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.994586 second user time and 1.21456 second system time The end
Begin job on node147 at 2019-09-20 18:36:58 IDJOB=4404400 IDBENCH=126097 IDSOLVER=2865 FILE ID=node147/4404400-1568997462 RUNJOBID= node147-1568994352-14801 PBS_JOBID= 21704722 Free space on /var/tmp= 13476 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/QRandom/QRandom-mdd-7-25-5/mdd-7-25-5-56-09.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-4404400-1568997462/watcher-4404400-1568997462 -o /var/tmp/evaluation-result-4404400-1568997462/solver-4404400-1568997462 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node147-1568994352-14801 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 507739512 HOME/instance-4404400-1568997462.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e7714f1bdc5f54a36db8d66dbea9ce0a RANDOM SEED=507739512 node147.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.52 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.52 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.52 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.52 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: 18842200 kB MemAvailable: 31784300 kB Buffers: 140184 kB Cached: 12772616 kB SwapCached: 68676 kB Active: 5318968 kB Inactive: 7665380 kB Active(anon): 4072 kB Inactive(anon): 116532 kB Active(file): 5314896 kB Inactive(file): 7548848 kB Unevictable: 109112 kB Mlocked: 109112 kB SwapTotal: 67108860 kB SwapFree: 66935844 kB Dirty: 58736 kB Writeback: 0 kB AnonPages: 112876 kB Mapped: 52412 kB Shmem: 40796 kB Slab: 535280 kB SReclaimable: 506816 kB SUnreclaim: 28464 kB KernelStack: 3424 kB PageTables: 4880 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506336 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 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= 13452 MiB End job on node147 at 2019-09-20 18:38:50