Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-20 parallel | UNSAT | 143.891 | 25.3894 |
Name | Random/Random-m1-7-40-8t/ rand-7-40-8-40-15000-9.xml |
MD5SUM | 134b875ea7bd230347634fe517213ca9 |
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 | 11.0648 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 40 |
Number of constraints | 40 |
Number of domains | 1 |
Minimum domain size | 8 |
Maximum domain size | 8 |
Distribution of domain sizes | [{"size":8,"count":40}] |
Minimum variable degree | 1 |
Maximum variable degree | 13 |
Distribution of variable degrees | [{"degree":1,"count":1},{"degree":2,"count":1},{"degree":3,"count":1},{"degree":4,"count":2},{"degree":5,"count":9},{"degree":6,"count":5},{"degree":7,"count":4},{"degree":8,"count":5},{"degree":9,"count":5},{"degree":10,"count":3},{"degree":11,"count":2},{"degree":13,"count":2}] |
Minimum constraint arity | 7 |
Maximum constraint arity | 7 |
Distribution of constraint arities | [{"arity":7,"count":40}] |
Number of extensional constraints | 40 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":40}] |
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-4404259-1568995747.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404259-1568995747.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 19.16/9.69 c solve instance... 143.37/25.36 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: 16374 MiB (7420 MiB free) memory of node 1: 16384 MiB (6438 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404259-1568995747/watcher-4404259-1568995747 -o /var/tmp/evaluation-result-4404259-1568995747/solver-4404259-1568995747 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1568994492-16101 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1751453857 HOME/instance-4404259-1568995747.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=16524, runsolver pid=16521 Current StackSize limit: 8192 KiB [startup+0.100151 s]* /proc/loadavg: 8.04 8.19 7.92 2/211 16545 /proc/meminfo: memFree=14174124/32770624 swapFree=66972296/67108860 [pid=16524] ppid=16521 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16524/stat : 16524 (xcsp3-exec) S 16521 16524 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475516569 115843072 362 33554432000 4194304 5098028 140724144495840 140724144493944 139885362164348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30621696 140724144497489 140724144497749 140724144497749 140724144500678 0 /proc/16524/statm: 28282 362 304 221 0 87 0 [pid=16526] ppid=16524 vsize=28227396 memory=30224 CPUtime=0.12 cores=0-7 /proc/16526/stat : 16526 (java) S 16524 16524 16074 0 -1 1077944320 5524 0 0 0 11 1 0 0 20 0 20 0 475516570 28904853504 7556 33554432000 4194304 4196468 140731363999584 140731363982128 139886721838839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 /proc/16526/statm: 7056849 7556 3124 1 0 7019032 0 [pid=16526/tid=16527] ppid=16524 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7 /proc/16526/task/16527/stat : 16527 (java) R 16524 16524 16074 0 -1 4202560 3430 0 0 0 8 0 0 0 20 0 20 0 475516570 28904853504 7556 33554432000 4194304 4196468 140731363999584 139886726075184 139886721850774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16528] ppid=16524 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/16526/task/16528/stat : 16528 (java) S 16524 16524 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475516571 28904853504 7556 33554432000 4194304 4196468 140731363999584 139886273141136 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16529] ppid=16524 vsize=28227396 memory=139706643814016 CPUtime=0 cores=0-7 /proc/16526/task/16529/stat : 16529 (java) S 16524 16524 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475516571 28904853504 7556 33554432000 4194304 4196468 140731363999584 139886272088336 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16530] ppid=16524 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16530/stat : 16530 (java) S 16524 16524 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475516571 28904853504 7556 33554432000 4194304 4196468 140731363999584 139886271036048 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16531] ppid=16524 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16531/stat : 16531 (java) S 16524 16524 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475516571 28904853504 7556 33554432000 4194304 4196468 140731363999584 139886269983248 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16532] ppid=16524 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16532/stat : 16532 (java) S 16524 16524 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475516571 28904853504 7556 33554432000 4194304 4196468 140731363999584 139886268930960 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16533] ppid=16524 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16526/task/16533/stat : 16533 (java) S 16524 16524 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475516571 28904853504 7556 33554432000 4194304 4196468 140731363999584 139886267878160 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16534] ppid=16524 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16534/stat : 16534 (java) S 16524 16524 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475516571 28904853504 7556 33554432000 4194304 4196468 140731363999584 139886266825872 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16535] ppid=16524 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16535/stat : 16535 (java) S 16524 16524 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475516571 28904853504 7556 33554432000 4194304 4196468 140731363999584 139886265773072 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16536] ppid=16524 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16536/stat : 16536 (java) S 16524 16524 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475516572 28904853504 7556 33554432000 4194304 4196468 140731363999584 139885972441200 139886721849986 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16537] ppid=16524 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16537/stat : 16537 (java) S 16524 16524 16074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475516573 28904853504 7556 33554432000 4194304 4196468 140731363999584 139885971387168 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16538] ppid=16524 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16538/stat : 16538 (java) S 16524 16524 16074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475516573 28904853504 7556 33554432000 4194304 4196468 140731363999584 139885970334832 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16539] ppid=16524 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16539/stat : 16539 (java) S 16524 16524 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475516575 28904853504 7556 33554432000 4194304 4196468 140731363999584 139885969283152 139886721857435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16540] ppid=16524 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16540/stat : 16540 (java) S 16524 16524 16074 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 475516575 28904853504 7556 33554432000 4194304 4196468 140731363999584 139885968231024 139886721849986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16541] ppid=16524 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16541/stat : 16541 (java) S 16524 16524 16074 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 475516575 28904853504 7556 33554432000 4194304 4196468 140731363999584 139885967178224 139886721849986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16542] ppid=16524 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16542/stat : 16542 (java) S 16524 16524 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475516575 28904853504 7556 33554432000 4194304 4196468 140731363999584 139885966125936 139886721849986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16543] ppid=16524 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/16526/task/16543/stat : 16543 (java) S 16524 16524 16074 0 -1 1077944384 355 0 0 0 2 0 0 0 20 0 20 0 475516575 28904853504 7556 33554432000 4194304 4196468 140731363999584 139885965073136 139886721849986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16544] ppid=16524 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16544/stat : 16544 (java) S 16524 16524 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475516575 28904853504 7556 33554432000 4194304 4196468 140731363999584 139885964020064 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16545] ppid=16524 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16526/task/16545/stat : 16545 (java) S 16524 16524 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475516576 28904853504 7556 33554432000 4194304 4196468 140731363999584 139885962967344 139886721849986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31672 KiB [startup+0.210684 s]* /proc/loadavg: 7.64 8.11 7.89 2/211 16545 /proc/meminfo: memFree=14162584/32770624 swapFree=66972296/67108860 [pid=16524] ppid=16521 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16524/stat : 16524 (xcsp3-exec) S 16521 16524 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475516569 115843072 362 33554432000 4194304 5098028 140724144495840 140724144493944 139885362164348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30621696 140724144497489 140724144497749 140724144497749 140724144500678 0 /proc/16524/statm: 28282 362 304 221 0 87 0 [pid=16526] ppid=16524 vsize=28227396 memory=41148 CPUtime=0.34 cores=0-7 /proc/16526/stat : 16526 (java) S 16524 16524 16074 0 -1 1077944320 9053 0 0 0 31 3 0 0 20 0 20 0 475516570 28904853504 10287 33554432000 4194304 4196468 140731363999584 140731363982128 139886721838839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 /proc/16526/statm: 7056849 10287 3247 1 0 7019032 0 [pid=16526/tid=16527] ppid=16524 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/16526/task/16527/stat : 16527 (java) R 16524 16524 16074 0 -1 4202560 6206 0 0 0 18 2 0 0 20 0 20 0 475516570 28904853504 10287 33554432000 4194304 4196468 140731363999584 139886726070752 139886705919326 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16528] ppid=16524 vsize=28227396 memory=329 CPUtime=0 cores=0-7 /proc/16526/task/16528/stat : 16528 (java) S 16524 16524 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475516571 28904853504 10287 33554432000 4194304 4196468 140731363999584 139886273141136 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16529] ppid=16524 vsize=28227396 memory=139706647361621 CPUtime=0 cores=0-7 /proc/16526/task/16529/stat : 16529 (java) S 16524 16524 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475516571 28904853504 10287 33554432000 4194304 4196468 140731363999584 139886272088336 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16530] ppid=16524 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16526/task/16530/stat : 16530 (java) S 16524 16524 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475516571 28904853504 10287 33554432000 4194304 4196468 140731363999584 139886271036048 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16531] ppid=16524 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16531/stat : 16531 (java) S 16524 16524 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475516571 28904853504 10287 33554432000 4194304 4196468 140731363999584 139886269983248 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16532] ppid=16524 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16532/stat : 16532 (java) S 16524 16524 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475516571 28904853504 10287 33554432000 4194304 4196468 140731363999584 139886268930960 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16533] ppid=16524 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16526/task/16533/stat : 16533 (java) S 16524 16524 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475516571 28904853504 10287 33554432000 4194304 4196468 140731363999584 139886267878160 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16534] ppid=16524 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16534/stat : 16534 (java) S 16524 16524 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475516571 28904853504 10287 33554432000 4194304 4196468 140731363999584 139886266825872 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16535] ppid=16524 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16535/stat : 16535 (java) S 16524 16524 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475516571 28904853504 10287 33554432000 4194304 4196468 140731363999584 139886265773072 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16536] ppid=16524 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16536/stat : 16536 (java) S 16524 16524 16074 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475516572 28904853504 10287 33554432000 4194304 4196468 140731363999584 139885972441200 139886721849986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16537] ppid=16524 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16537/stat : 16537 (java) S 16524 16524 16074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475516573 28904853504 10287 33554432000 4194304 4196468 140731363999584 139885971387168 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16538] ppid=16524 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16538/stat : 16538 (java) S 16524 16524 16074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475516573 28904853504 10287 33554432000 4194304 4196468 140731363999584 139885970334832 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16539] ppid=16524 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16539/stat : 16539 (java) S 16524 16524 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475516575 28904853504 10287 33554432000 4194304 4196468 140731363999584 139885969283152 139886721857435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16540] ppid=16524 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/16526/task/16540/stat : 16540 (java) S 16524 16524 16074 0 -1 1077944384 531 0 0 0 1 0 0 0 20 0 20 0 475516575 28904853504 10287 33554432000 4194304 4196468 140731363999584 139885968231024 139886721849986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16541] ppid=16524 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/16526/task/16541/stat : 16541 (java) S 16524 16524 16074 0 -1 1077944384 129 0 0 0 1 0 0 0 20 0 20 0 475516575 28904853504 10287 33554432000 4194304 4196468 140731363999584 139885967178224 139886721849986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16542] ppid=16524 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/16526/task/16542/stat : 16542 (java) S 16524 16524 16074 0 -1 1077944384 150 0 0 0 2 0 0 0 20 0 20 0 475516575 28904853504 10287 33554432000 4194304 4196468 140731363999584 139885966125936 139886721849986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16543] ppid=16524 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/16526/task/16543/stat : 16543 (java) R 16524 16524 16074 0 -1 4202560 723 0 0 0 8 0 0 0 20 0 20 0 475516575 28904853504 10287 33554432000 4194304 4196468 140731363999584 139885965073136 139886700461555 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16544] ppid=16524 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16544/stat : 16544 (java) S 16524 16524 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475516575 28904853504 10287 33554432000 4194304 4196468 140731363999584 139885964020064 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16545] ppid=16524 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16526/task/16545/stat : 16545 (java) S 16524 16524 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475516576 28904853504 10287 33554432000 4194304 4196468 140731363999584 139885962967344 139886721849986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42596 KiB [startup+0.319414 s]* /proc/loadavg: 7.64 8.11 7.89 3/211 16545 /proc/meminfo: memFree=14155328/32770624 swapFree=66972296/67108860 [pid=16524] ppid=16521 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16524/stat : 16524 (xcsp3-exec) S 16521 16524 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475516569 115843072 362 33554432000 4194304 5098028 140724144495840 140724144493944 139885362164348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30621696 140724144497489 140724144497749 140724144497749 140724144500678 0 /proc/16524/statm: 28282 362 304 221 0 87 0 [pid=16526] ppid=16524 vsize=28231652 memory=49892 CPUtime=0.55 cores=0-7 /proc/16526/stat : 16526 (java) S 16524 16524 16074 0 -1 1077944320 10408 0 0 0 51 4 0 0 20 0 20 0 475516570 28909211648 12473 33554432000 4194304 4196468 140731363999584 140731363982128 139886721838839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 /proc/16526/statm: 7057913 12473 3308 1 0 7019032 0 [pid=16526/tid=16527] ppid=16524 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/16526/task/16527/stat : 16527 (java) R 16524 16524 16074 0 -1 4202560 7418 0 0 0 28 2 0 0 20 0 20 0 475516570 28909211648 12538 33554432000 4194304 4196468 140731363999584 139886726069952 139886721860765 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16528] ppid=16524 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16528/stat : 16528 (java) S 16524 16524 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475516571 28909211648 12538 33554432000 4194304 4196468 140731363999584 139886273141136 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16529] ppid=16524 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16529/stat : 16529 (java) S 16524 16524 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475516571 28909211648 12538 33554432000 4194304 4196468 140731363999584 139886272088336 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16530] ppid=16524 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16530/stat : 16530 (java) S 16524 16524 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475516571 28909211648 12538 33554432000 4194304 4196468 140731363999584 139886271036048 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16531] ppid=16524 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16531/stat : 16531 (java) S 16524 16524 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475516571 28909211648 12538 33554432000 4194304 4196468 140731363999584 139886269983248 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16532] ppid=16524 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16532/stat : 16532 (java) S 16524 16524 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475516571 28909211648 12538 33554432000 4194304 4196468 140731363999584 139886268930960 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16533] ppid=16524 vsize=28231652 memory=139706494970543 CPUtime=0 cores=0-7 /proc/16526/task/16533/stat : 16533 (java) S 16524 16524 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475516571 28909211648 12538 33554432000 4194304 4196468 140731363999584 139886267878160 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16534] ppid=16524 vsize=28231652 memory=139706494972848 CPUtime=0 cores=0-7 /proc/16526/task/16534/stat : 16534 (java) S 16524 16524 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475516571 28909211648 12538 33554432000 4194304 4196468 140731363999584 139886266825872 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16535] ppid=16524 vsize=28231652 memory=139706494975152 CPUtime=0 cores=0-7 /proc/16526/task/16535/stat : 16535 (java) S 16524 16524 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475516571 28909211648 12538 33554432000 4194304 4196468 140731363999584 139886265773072 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16536] ppid=16524 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16536/stat : 16536 (java) S 16524 16524 16074 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475516572 28909211648 12538 33554432000 4194304 4196468 140731363999584 139885972441200 139886721849986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16537] ppid=16524 vsize=28231652 memory=279412989964176 CPUtime=0 cores=0-7 /proc/16526/task/16537/stat : 16537 (java) S 16524 16524 16074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475516573 28909211648 12538 33554432000 4194304 4196468 140731363999584 139885971387168 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16538] ppid=16524 vsize=28231652 memory=279412989961872 CPUtime=0 cores=0-7 /proc/16526/task/16538/stat : 16538 (java) S 16524 16524 16074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475516573 28909211648 12538 33554432000 4194304 4196468 140731363999584 139885970334832 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16539] ppid=16524 vsize=28231652 memory=279412989968784 CPUtime=0 cores=0-7 /proc/16526/task/16539/stat : 16539 (java) S 16524 16524 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475516575 28909211648 12538 33554432000 4194304 4196468 140731363999584 139885969283152 139886721857435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16540] ppid=16524 vsize=28231652 memory=279412989910064 CPUtime=0.02 cores=0-7 /proc/16526/task/16540/stat : 16540 (java) S 16524 16524 16074 0 -1 1077944384 531 0 0 0 2 0 0 0 20 0 20 0 475516575 28909211648 12538 33554432000 4194304 4196468 140731363999584 139885968231024 139886721849986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16541] ppid=16524 vsize=28231652 memory=279412989982608 CPUtime=0.01 cores=0-7 /proc/16526/task/16541/stat : 16541 (java) S 16524 16524 16074 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 20 0 475516575 28909211648 12538 33554432000 4194304 4196468 140731363999584 139885967178224 139886721849986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16542] ppid=16524 vsize=28231652 memory=279412989989520 CPUtime=0.05 cores=0-7 /proc/16526/task/16542/stat : 16542 (java) S 16524 16524 16074 0 -1 1077944384 235 0 0 0 5 0 0 0 20 0 20 0 475516575 28909211648 12538 33554432000 4194304 4196468 140731363999584 139885966125936 139886721849986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16543] ppid=16524 vsize=28231652 memory=279412989987216 CPUtime=0.12 cores=0-7 /proc/16526/task/16543/stat : 16543 (java) S 16524 16524 16074 0 -1 1077944384 784 0 0 0 12 0 0 0 20 0 20 0 475516575 28909211648 12538 33554432000 4194304 4196468 140731363999584 139885965073136 139886721849986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16544] ppid=16524 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16544/stat : 16544 (java) S 16524 16524 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475516575 28909211648 12538 33554432000 4194304 4196468 140731363999584 139885964020064 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16545] ppid=16524 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/16526/task/16545/stat : 16545 (java) S 16524 16524 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475516576 28909211648 12538 33554432000 4194304 4196468 140731363999584 139885962967344 139886721849986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 Current children cumulated CPU time: 0.55 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51340 KiB [startup+0.701404 s] /proc/loadavg: 7.64 8.11 7.89 5/211 16545 /proc/meminfo: memFree=14112576/32770624 swapFree=66972296/67108860 [pid=16524] ppid=16521 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16524/stat : 16524 (xcsp3-exec) S 16521 16524 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475516569 115843072 362 33554432000 4194304 5098028 140724144495840 140724144493944 139885362164348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30621696 140724144497489 140724144497749 140724144497749 140724144500678 0 /proc/16524/statm: 28282 362 304 221 0 87 0 [pid=16526] ppid=16524 vsize=28233776 memory=208216 CPUtime=1.8 cores=0-7 /proc/16526/stat : 16526 (java) S 16524 16524 16074 0 -1 1077944320 14184 0 0 0 171 9 0 0 20 0 20 0 475516570 28911386624 52054 33554432000 4194304 4196468 140731363999584 140731363982128 139886721838839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 /proc/16526/statm: 7058444 52054 3458 1 0 7019544 0 [pid=16526/tid=16527] ppid=16524 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/16526/task/16527/stat : 16527 (java) R 16524 16524 16074 0 -1 4202560 7850 0 0 0 62 5 0 0 20 0 20 0 475516570 28911386624 52054 33554432000 4194304 4196468 140731363999584 139886726076512 139886359034516 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16528] ppid=16524 vsize=28233776 memory=139706495181680 CPUtime=0 cores=0-7 /proc/16526/task/16528/stat : 16528 (java) S 16524 16524 16074 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 20 0 475516571 28911386624 52054 33554432000 4194304 4196468 140731363999584 139886273141136 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16529] ppid=16524 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16529/stat : 16529 (java) S 16524 16524 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475516571 28911386624 52054 33554432000 4194304 4196468 140731363999584 139886272088336 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16530] ppid=16524 vsize=28233776 memory=1200 CPUtime=0 cores=0-7 /proc/16526/task/16530/stat : 16530 (java) S 16524 16524 16074 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 475516571 28911386624 52054 33554432000 4194304 4196468 140731363999584 139886271036048 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 ################ # More data... # ################ [pid=16526/tid=16543] ppid=16524 vsize=28766288 memory=920 CPUtime=0.69 cores=0-7 /proc/16526/task/16543/stat : 16543 (java) S 16524 16524 16074 0 -1 1077944384 4045 0 0 0 68 1 0 0 20 0 28 0 475516575 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885965073136 139886721849986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16544] ppid=16524 vsize=28766288 memory=4140 CPUtime=0 cores=0-7 /proc/16526/task/16544/stat : 16544 (java) S 16524 16524 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475516575 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885964020064 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16545] ppid=16524 vsize=28766288 memory=3075624 CPUtime=0 cores=0-7 /proc/16526/task/16545/stat : 16545 (java) S 16524 16524 16074 0 -1 1077944384 1018 0 0 0 0 0 0 0 20 0 28 0 475516576 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885962967344 139886721849986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16546] ppid=16524 vsize=28766288 memory=992 CPUtime=14.76 cores=0-7 /proc/16526/task/16546/stat : 16546 (java) R 16524 16524 16074 0 -1 4202560 598 0 0 0 1474 2 0 0 20 0 28 0 475517540 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885953748504 139886364715730 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16547] ppid=16524 vsize=28766288 memory=3075624 CPUtime=14.74 cores=0-7 /proc/16526/task/16547/stat : 16547 (java) R 16524 16524 16074 0 -1 4202560 663 0 0 0 1473 1 0 0 20 0 28 0 475517540 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885952696904 139886365011780 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16548] ppid=16524 vsize=28766288 memory=7235121206263833682 CPUtime=14.56 cores=0-7 /proc/16526/task/16548/stat : 16548 (java) R 16524 16524 16074 0 -1 4202560 1174 0 0 0 1453 3 0 0 20 0 28 0 475517540 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885951644616 139886365013219 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16549] ppid=16524 vsize=28766288 memory=7235121206263833682 CPUtime=14.72 cores=0-7 /proc/16526/task/16549/stat : 16549 (java) R 16524 16524 16074 0 -1 4202560 1081 0 0 0 1468 4 0 0 20 0 28 0 475517540 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885950591816 139886365011310 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16550] ppid=16524 vsize=28766288 memory=1636 CPUtime=14.43 cores=0-7 /proc/16526/task/16550/stat : 16550 (java) R 16524 16524 16074 0 -1 4202560 856 0 0 0 1441 2 0 0 20 0 28 0 475517540 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885949539128 139886364870835 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16551] ppid=16524 vsize=28766288 memory=4639074098508484688 CPUtime=14.79 cores=0-7 /proc/16526/task/16551/stat : 16551 (java) R 16524 16524 16074 0 -1 4202560 1249 0 0 0 1478 1 0 0 20 0 28 0 475517540 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885948486728 139886364716220 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16552] ppid=16524 vsize=28766288 memory=7079765598914236496 CPUtime=14.82 cores=0-7 /proc/16526/task/16552/stat : 16552 (java) R 16524 16524 16074 0 -1 4202560 927 0 0 0 1481 1 0 0 20 0 28 0 475517540 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885947432768 139886364715561 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16553] ppid=16524 vsize=28766288 memory=5787213848656569433 CPUtime=14.71 cores=0-7 /proc/16526/task/16553/stat : 16553 (java) R 16524 16524 16074 0 -1 4202560 463 0 0 0 1470 1 0 0 20 0 28 0 475517540 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885946380024 139886364716066 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 Current children cumulated CPU time: 139.37 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 3077080 KiB [startup+25.2014 s] /proc/loadavg: 7.37 8.00 7.86 11/219 16553 /proc/meminfo: memFree=11122192/32770624 swapFree=66972296/67108860 [pid=16524] ppid=16521 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16524/stat : 16524 (xcsp3-exec) S 16521 16524 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475516569 115843072 362 33554432000 4194304 5098028 140724144495840 140724144493944 139885362164348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30621696 140724144497489 140724144497749 140724144497749 140724144500678 0 /proc/16524/statm: 28282 362 304 221 0 87 0 [pid=16526] ppid=16524 vsize=28766288 memory=3075632 CPUtime=142.55 cores=0-7 /proc/16526/stat : 16526 (java) S 16524 16524 16074 0 -1 1077944320 55816 0 0 0 13876 379 0 0 20 0 28 0 475516570 29456678912 768908 33554432000 4194304 4196468 140731363999584 140731363982128 139886721838839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 /proc/16526/statm: 7191572 768908 3536 1 0 7152672 0 [pid=16526/tid=16527] ppid=16524 vsize=28766288 memory=5859300034156187728 CPUtime=8.44 cores=0-7 /proc/16526/task/16527/stat : 16527 (java) S 16524 16524 16074 0 -1 1077944384 13740 0 0 0 808 36 0 0 20 0 28 0 475516570 29456678912 768908 33554432000 4194304 4196468 140731363999584 139886726079616 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16528] ppid=16524 vsize=28766288 memory=7517159033909830208 CPUtime=1.06 cores=0-7 /proc/16526/task/16528/stat : 16528 (java) S 16524 16524 16074 0 -1 1077944384 1252 0 0 0 67 39 0 0 20 0 28 0 475516571 29456678912 768908 33554432000 4194304 4196468 140731363999584 139886273141136 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16529] ppid=16524 vsize=28766288 memory=6944656592455097440 CPUtime=1.06 cores=0-7 /proc/16526/task/16529/stat : 16529 (java) S 16524 16524 16074 0 -1 1077944384 1148 0 0 0 67 39 0 0 20 0 28 0 475516571 29456678912 768908 33554432000 4194304 4196468 140731363999584 139886272088336 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16530] ppid=16524 vsize=28766288 memory=6656426216303648864 CPUtime=1.07 cores=0-7 /proc/16526/task/16530/stat : 16530 (java) S 16524 16524 16074 0 -1 1077944384 933 0 0 0 68 39 0 0 20 0 28 0 475516571 29456678912 768908 33554432000 4194304 4196468 140731363999584 139886271036048 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16531] ppid=16524 vsize=28766288 memory=0 CPUtime=1.06 cores=0-7 /proc/16526/task/16531/stat : 16531 (java) S 16524 16524 16074 0 -1 1077944384 1050 0 0 0 68 38 0 0 20 0 28 0 475516571 29456678912 768908 33554432000 4194304 4196468 140731363999584 139886269983248 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16532] ppid=16524 vsize=28766288 memory=0 CPUtime=1.05 cores=0-7 /proc/16526/task/16532/stat : 16532 (java) S 16524 16524 16074 0 -1 1077944384 880 0 0 0 66 39 0 0 20 0 28 0 475516571 29456678912 768908 33554432000 4194304 4196468 140731363999584 139886268930960 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16533] ppid=16524 vsize=28766288 memory=0 CPUtime=1.06 cores=0-7 /proc/16526/task/16533/stat : 16533 (java) S 16524 16524 16074 0 -1 1077944384 905 0 0 0 67 39 0 0 20 0 28 0 475516571 29456678912 768908 33554432000 4194304 4196468 140731363999584 139886267878160 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16534] ppid=16524 vsize=28766288 memory=0 CPUtime=1.04 cores=0-7 /proc/16526/task/16534/stat : 16534 (java) S 16524 16524 16074 0 -1 1077944384 1503 0 0 0 66 38 0 0 20 0 28 0 475516571 29456678912 768908 33554432000 4194304 4196468 140731363999584 139886266825872 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16535] ppid=16524 vsize=28766288 memory=0 CPUtime=1.06 cores=0-7 /proc/16526/task/16535/stat : 16535 (java) S 16524 16524 16074 0 -1 1077944384 1055 0 0 0 68 38 0 0 20 0 28 0 475516571 29456678912 768908 33554432000 4194304 4196468 140731363999584 139886265773072 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16536] ppid=16524 vsize=28766288 memory=0 CPUtime=0.14 cores=0-7 /proc/16526/task/16536/stat : 16536 (java) S 16524 16524 16074 0 -1 1077944384 3672 0 0 0 12 2 0 0 20 0 28 0 475516572 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885972441200 139886721849986 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16537] ppid=16524 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16537/stat : 16537 (java) S 16524 16524 16074 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 475516573 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885971387232 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16538] ppid=16524 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16538/stat : 16538 (java) S 16524 16524 16074 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 475516573 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885970334848 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16539] ppid=16524 vsize=28766288 memory=1448 CPUtime=0 cores=0-7 /proc/16526/task/16539/stat : 16539 (java) S 16524 16524 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475516575 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885969283152 139886721857435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16540] ppid=16524 vsize=28766288 memory=3075624 CPUtime=1.32 cores=0-7 /proc/16526/task/16540/stat : 16540 (java) S 16524 16524 16074 0 -1 1077944384 6213 0 0 0 130 2 0 0 20 0 28 0 475516575 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885968231024 139886721849986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16541] ppid=16524 vsize=28766288 memory=15534115864709562 CPUtime=1.39 cores=0-7 /proc/16526/task/16541/stat : 16541 (java) S 16524 16524 16074 0 -1 1077944384 5747 0 0 0 138 1 0 0 20 0 28 0 475516575 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885967178224 139886721849986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16542] ppid=16524 vsize=28766288 memory=0 CPUtime=1.15 cores=0-7 /proc/16526/task/16542/stat : 16542 (java) S 16524 16524 16074 0 -1 1077944384 4197 0 0 0 114 1 0 0 20 0 28 0 475516575 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885966125936 139886721849986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16543] ppid=16524 vsize=28766288 memory=1040 CPUtime=0.69 cores=0-7 /proc/16526/task/16543/stat : 16543 (java) S 16524 16524 16074 0 -1 1077944384 4045 0 0 0 68 1 0 0 20 0 28 0 475516575 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885965073136 139886721849986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16544] ppid=16524 vsize=28766288 memory=3644 CPUtime=0 cores=0-7 /proc/16526/task/16544/stat : 16544 (java) S 16524 16524 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475516575 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885964020064 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16545] ppid=16524 vsize=28766288 memory=780 CPUtime=0 cores=0-7 /proc/16526/task/16545/stat : 16545 (java) S 16524 16524 16074 0 -1 1077944384 1018 0 0 0 0 0 0 0 20 0 28 0 475516576 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885962967344 139886721849986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16546] ppid=16524 vsize=28766288 memory=2832 CPUtime=15.16 cores=0-7 /proc/16526/task/16546/stat : 16546 (java) R 16524 16524 16074 0 -1 4202560 600 0 0 0 1514 2 0 0 20 0 28 0 475517540 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885953747968 139886364715783 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16547] ppid=16524 vsize=28766288 memory=1716 CPUtime=15.13 cores=0-7 /proc/16526/task/16547/stat : 16547 (java) R 16524 16524 16074 0 -1 4202560 667 0 0 0 1512 1 0 0 20 0 28 0 475517540 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885952696504 139886365013298 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16548] ppid=16524 vsize=28766288 memory=1200 CPUtime=14.96 cores=0-7 /proc/16526/task/16548/stat : 16548 (java) R 16524 16524 16074 0 -1 4202560 1218 0 0 0 1493 3 0 0 20 0 28 0 475517540 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885951644216 139886365013653 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16549] ppid=16524 vsize=28766288 memory=5996 CPUtime=15.12 cores=0-7 /proc/16526/task/16549/stat : 16549 (java) R 16524 16524 16074 0 -1 4202560 1081 0 0 0 1508 4 0 0 20 0 28 0 475517540 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885950591168 139886365219978 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16550] ppid=16524 vsize=28766288 memory=14012 CPUtime=14.83 cores=0-7 /proc/16526/task/16550/stat : 16550 (java) R 16524 16524 16074 0 -1 4202560 866 0 0 0 1481 2 0 0 20 0 28 0 475517540 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885949538800 139886364716335 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16551] ppid=16524 vsize=28766288 memory=19404 CPUtime=15.19 cores=0-7 /proc/16526/task/16551/stat : 16551 (java) R 16524 16524 16074 0 -1 4202560 1254 0 0 0 1518 1 0 0 20 0 28 0 475517540 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885948486328 139886365014667 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16552] ppid=16524 vsize=28766288 memory=12024 CPUtime=15.22 cores=0-7 /proc/16526/task/16552/stat : 16552 (java) R 16524 16524 16074 0 -1 4202560 963 0 0 0 1521 1 0 0 20 0 28 0 475517540 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885947432824 139886364715851 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16553] ppid=16524 vsize=28766288 memory=33 CPUtime=15.11 cores=0-7 /proc/16526/task/16553/stat : 16553 (java) R 16524 16524 16074 0 -1 4202560 465 0 0 0 1510 1 0 0 20 0 28 0 475517540 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885946380216 139886364715693 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 Current children cumulated CPU time: 142.55 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 3077080 KiB [startup+25.3034 s] /proc/loadavg: 7.37 8.00 7.86 11/219 16553 /proc/meminfo: memFree=11122192/32770624 swapFree=66972296/67108860 [pid=16524] ppid=16521 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16524/stat : 16524 (xcsp3-exec) S 16521 16524 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475516569 115843072 362 33554432000 4194304 5098028 140724144495840 140724144493944 139885362164348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30621696 140724144497489 140724144497749 140724144497749 140724144500678 0 /proc/16524/statm: 28282 362 304 221 0 87 0 [pid=16526] ppid=16524 vsize=28766288 memory=3075632 CPUtime=143.37 cores=0-7 /proc/16526/stat : 16526 (java) S 16524 16524 16074 0 -1 1077944320 55881 0 0 0 13957 380 0 0 20 0 28 0 475516570 29456678912 768908 33554432000 4194304 4196468 140731363999584 140731363982128 139886721838839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 /proc/16526/statm: 7191572 768908 3536 1 0 7152672 0 [pid=16526/tid=16527] ppid=16524 vsize=28766288 memory=1448 CPUtime=8.44 cores=0-7 /proc/16526/task/16527/stat : 16527 (java) S 16524 16524 16074 0 -1 1077944384 13740 0 0 0 808 36 0 0 20 0 28 0 475516570 29456678912 768908 33554432000 4194304 4196468 140731363999584 139886726079616 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16528] ppid=16524 vsize=28766288 memory=780 CPUtime=1.06 cores=0-7 /proc/16526/task/16528/stat : 16528 (java) S 16524 16524 16074 0 -1 1077944384 1252 0 0 0 67 39 0 0 20 0 28 0 475516571 29456678912 768908 33554432000 4194304 4196468 140731363999584 139886273141136 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16529] ppid=16524 vsize=28766288 memory=3075624 CPUtime=1.06 cores=0-7 /proc/16526/task/16529/stat : 16529 (java) S 16524 16524 16074 0 -1 1077944384 1148 0 0 0 67 39 0 0 20 0 28 0 475516571 29456678912 768908 33554432000 4194304 4196468 140731363999584 139886272088336 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16530] ppid=16524 vsize=28766288 memory=3075624 CPUtime=1.07 cores=0-7 /proc/16526/task/16530/stat : 16530 (java) S 16524 16524 16074 0 -1 1077944384 933 0 0 0 68 39 0 0 20 0 28 0 475516571 29456678912 768908 33554432000 4194304 4196468 140731363999584 139886271036048 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16531] ppid=16524 vsize=28766288 memory=1448 CPUtime=1.06 cores=0-7 /proc/16526/task/16531/stat : 16531 (java) S 16524 16524 16074 0 -1 1077944384 1050 0 0 0 68 38 0 0 20 0 28 0 475516571 29456678912 768908 33554432000 4194304 4196468 140731363999584 139886269983248 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16532] ppid=16524 vsize=28766288 memory=3075624 CPUtime=1.05 cores=0-7 /proc/16526/task/16532/stat : 16532 (java) S 16524 16524 16074 0 -1 1077944384 880 0 0 0 66 39 0 0 20 0 28 0 475516571 29456678912 768908 33554432000 4194304 4196468 140731363999584 139886268930960 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16533] ppid=16524 vsize=28766288 memory=1448 CPUtime=1.06 cores=0-7 /proc/16526/task/16533/stat : 16533 (java) S 16524 16524 16074 0 -1 1077944384 905 0 0 0 67 39 0 0 20 0 28 0 475516571 29456678912 768908 33554432000 4194304 4196468 140731363999584 139886267878160 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16534] ppid=16524 vsize=28766288 memory=3075624 CPUtime=1.04 cores=0-7 /proc/16526/task/16534/stat : 16534 (java) S 16524 16524 16074 0 -1 1077944384 1503 0 0 0 66 38 0 0 20 0 28 0 475516571 29456678912 768908 33554432000 4194304 4196468 140731363999584 139886266825872 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16535] ppid=16524 vsize=28766288 memory=1448 CPUtime=1.06 cores=0-7 /proc/16526/task/16535/stat : 16535 (java) S 16524 16524 16074 0 -1 1077944384 1055 0 0 0 68 38 0 0 20 0 28 0 475516571 29456678912 768908 33554432000 4194304 4196468 140731363999584 139886265773072 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16536] ppid=16524 vsize=28766288 memory=3056960 CPUtime=0.14 cores=0-7 /proc/16526/task/16536/stat : 16536 (java) S 16524 16524 16074 0 -1 1077944384 3672 0 0 0 12 2 0 0 20 0 28 0 475516572 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885972441200 139886721849986 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16537] ppid=16524 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16537/stat : 16537 (java) S 16524 16524 16074 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 475516573 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885971387232 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16538] ppid=16524 vsize=28766288 memory=288286666899325860 CPUtime=0 cores=0-7 /proc/16526/task/16538/stat : 16538 (java) S 16524 16524 16074 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 475516573 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885970334848 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16539] ppid=16524 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/16526/task/16539/stat : 16539 (java) S 16524 16524 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475516575 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885969283152 139886721857435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16540] ppid=16524 vsize=28766288 memory=2276 CPUtime=1.32 cores=0-7 /proc/16526/task/16540/stat : 16540 (java) S 16524 16524 16074 0 -1 1077944384 6213 0 0 0 130 2 0 0 20 0 28 0 475516575 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885968231024 139886721849986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16541] ppid=16524 vsize=28766288 memory=6791534058613427641 CPUtime=1.39 cores=0-7 /proc/16526/task/16541/stat : 16541 (java) S 16524 16524 16074 0 -1 1077944384 5747 0 0 0 138 1 0 0 20 0 28 0 475516575 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885967178224 139886721849986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16542] ppid=16524 vsize=28766288 memory=0 CPUtime=1.15 cores=0-7 /proc/16526/task/16542/stat : 16542 (java) S 16524 16524 16074 0 -1 1077944384 4197 0 0 0 114 1 0 0 20 0 28 0 475516575 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885966125936 139886721849986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16543] ppid=16524 vsize=28766288 memory=279412990405952 CPUtime=0.69 cores=0-7 /proc/16526/task/16543/stat : 16543 (java) S 16524 16524 16074 0 -1 1077944384 4045 0 0 0 68 1 0 0 20 0 28 0 475516575 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885965073136 139886721849986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16544] ppid=16524 vsize=28766288 memory=123 CPUtime=0 cores=0-7 /proc/16526/task/16544/stat : 16544 (java) S 16524 16524 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475516575 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885964020064 139886721849045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16545] ppid=16524 vsize=28766288 memory=125 CPUtime=0 cores=0-7 /proc/16526/task/16545/stat : 16545 (java) S 16524 16524 16074 0 -1 1077944384 1018 0 0 0 0 0 0 0 20 0 28 0 475516576 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885962967344 139886721849986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16546] ppid=16524 vsize=28766288 memory=121 CPUtime=15.26 cores=0-7 /proc/16526/task/16546/stat : 16546 (java) R 16524 16524 16074 0 -1 4202560 605 0 0 0 1524 2 0 0 20 0 28 0 475517540 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885953747968 139886365013298 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16547] ppid=16524 vsize=28766288 memory=3612 CPUtime=15.23 cores=0-7 /proc/16526/task/16547/stat : 16547 (java) R 16524 16524 16074 0 -1 4202560 671 0 0 0 1522 1 0 0 20 0 28 0 475517540 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885952696504 139886365013025 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16548] ppid=16524 vsize=28766288 memory=43208 CPUtime=15.07 cores=0-7 /proc/16526/task/16548/stat : 16548 (java) R 16524 16524 16074 0 -1 4202560 1234 0 0 0 1503 4 0 0 20 0 28 0 475517540 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885951644216 139886364716170 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16549] ppid=16524 vsize=28766288 memory=992 CPUtime=15.22 cores=0-7 /proc/16526/task/16549/stat : 16549 (java) R 16524 16524 16074 0 -1 4202560 1086 0 0 0 1518 4 0 0 20 0 28 0 475517540 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885950591168 139886365011134 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16550] ppid=16524 vsize=28766288 memory=3056960 CPUtime=14.93 cores=0-7 /proc/16526/task/16550/stat : 16550 (java) R 16524 16524 16074 0 -1 4202560 872 0 0 0 1491 2 0 0 20 0 28 0 475517540 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885949538800 139886365013293 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16551] ppid=16524 vsize=28766288 memory=13877 CPUtime=15.29 cores=0-7 /proc/16526/task/16551/stat : 16551 (java) R 16524 16524 16074 0 -1 4202560 1269 0 0 0 1528 1 0 0 20 0 28 0 475517540 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885948486328 139886364715457 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16552] ppid=16524 vsize=28766288 memory=26822 CPUtime=15.32 cores=0-7 /proc/16526/task/16552/stat : 16552 (java) R 16524 16524 16074 0 -1 4202560 974 0 0 0 1531 1 0 0 20 0 28 0 475517540 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885947432824 139886365011272 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 [pid=16526/tid=16553] ppid=16524 vsize=28766288 memory=1448 CPUtime=15.21 cores=0-7 /proc/16526/task/16553/stat : 16553 (java) R 16524 16524 16074 0 -1 4202560 468 0 0 0 1520 1 0 0 20 0 28 0 475517540 29456678912 768908 33554432000 4194304 4196468 140731363999584 139885946380216 139886364715466 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39759872 140731364000726 140731364000902 140731364000902 140731364003791 0 Current children cumulated CPU time: 143.37 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 3077080 KiB Child status: 0 Real time (s): 25.3894 CPU time (s): 143.891 CPU user time (s): 140.064 CPU system time (s): 3.82739 CPU usage (%): 566.737 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 3082060 getrusage(RUSAGE_CHILDREN,...) data: user time used= 140.064 system time used= 3.82739 maximum resident set size= 3080612 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 57576 page faults= 0 swaps= 0 block input operations= 0 block output operations= 168 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5753 involuntary context switches= 1881 # summary of solver processes directly reported to runsolver: # pid: 16524 # total CPU time (s): 143.891 # total CPU user time (s): 140.064 # total CPU system time (s): 3.82739 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.217021 second user time and 0.355153 second system time The end
Begin job on node117 at 2019-09-20 18:08:24 IDJOB=4404259 IDBENCH=121201 IDSOLVER=2865 FILE ID=node117/4404259-1568995747 RUNJOBID= node117-1568994492-16101 PBS_JOBID= 21704726 Free space on /var/tmp= 13504 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/Random/Random-m1-7-40-8t/rand-7-40-8-40-15000-9.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-4404259-1568995747/watcher-4404259-1568995747 -o /var/tmp/evaluation-result-4404259-1568995747/solver-4404259-1568995747 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1568994492-16101 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1751453857 HOME/instance-4404259-1568995747.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 134b875ea7bd230347634fe517213ca9 RANDOM SEED=1751453857 node117.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.75 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.75 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.75 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.75 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: 14191428 kB MemAvailable: 31833852 kB Buffers: 139904 kB Cached: 17407964 kB SwapCached: 27708 kB Active: 8704064 kB Inactive: 8875596 kB Active(anon): 2564 kB Inactive(anon): 69956 kB Active(file): 8701500 kB Inactive(file): 8805640 kB Unevictable: 108556 kB Mlocked: 108556 kB SwapTotal: 67108860 kB SwapFree: 66972296 kB Dirty: 34912 kB Writeback: 0 kB AnonPages: 117408 kB Mapped: 47840 kB Shmem: 32452 kB Slab: 591704 kB SReclaimable: 563744 kB SUnreclaim: 27960 kB KernelStack: 3568 kB PageTables: 5184 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505900 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /var/tmp at the end= 13480 MiB End job on node117 at 2019-09-20 18:08:49