| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| choco-solver 2019-09-16 parallel | ? (TO) | 20042.5 | 2520.1 |
| Name | CarSequencing/CarSequencing-m1-jcr/ CarSequencing-36-92.xml |
| MD5SUM | e7221c19415bed5c98fc37c567f19ceb |
| 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 | 67.5998 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 600 |
| Number of constraints | 731 |
| Number of domains | 2 |
| Minimum domain size | 2 |
| Maximum domain size | 22 |
| Distribution of domain sizes | [{"size":2,"count":500},{"size":22,"count":100}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 48 |
| Distribution of variable degrees | [{"degree":2,"count":100},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":19},{"degree":18,"count":19},{"degree":19,"count":19},{"degree":20,"count":19},{"degree":21,"count":39},{"degree":22,"count":14},{"degree":23,"count":14},{"degree":24,"count":14},{"degree":25,"count":14},{"degree":26,"count":9},{"degree":27,"count":8},{"degree":28,"count":8},{"degree":29,"count":8},{"degree":30,"count":8},{"degree":31,"count":9},{"degree":32,"count":9},{"degree":33,"count":19},{"degree":34,"count":5},{"degree":35,"count":5},{"degree":36,"count":7},{"degree":37,"count":4},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":41,"count":2},{"degree":42,"count":2},{"degree":43,"count":2},{"degree":44,"count":2},{"degree":45,"count":2},{"degree":46,"count":2},{"degree":47,"count":3},{"degree":48,"count":11}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 100 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":99},{"arity":3,"count":196},{"arity":4,"count":1},{"arity":5,"count":193},{"arity":6,"count":100},{"arity":7,"count":1},{"arity":10,"count":2},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":3},{"arity":18,"count":1},{"arity":19,"count":2},{"arity":20,"count":2},{"arity":22,"count":3},{"arity":24,"count":1},{"arity":25,"count":3},{"arity":26,"count":1},{"arity":28,"count":3},{"arity":30,"count":3},{"arity":31,"count":2},{"arity":32,"count":1},{"arity":34,"count":3},"...",{"arity":67,"count":2}, {"arity":68,"count":1}, {"arity":70,"count":5}, {"arity":72,"count":1}, {"arity":73,"count":2}, {"arity":74,"count":1}, {"arity":75,"count":2}, {"arity":76,"count":3}, {"arity":78,"count":1}, {"arity":79,"count":2}, {"arity":80,"count":3}, {"arity":82,"count":3}, {"arity":84,"count":1}, {"arity":85,"count":4}, {"arity":86,"count":1}, {"arity":88,"count":3}, {"arity":90,"count":3}, {"arity":91,"count":2}, {"arity":92,"count":1}, {"arity":94,"count":3}, {"arity":95,"count":2}, {"arity":96,"count":1}, {"arity":97,"count":2}, {"arity":98,"count":1}, {"arity":100,"count":6}] |
| Number of extensional constraints | 100 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":100},{"type":"sum","count":630},{"type":"cardinality","count":1}] |
| 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-4399612-1568707761.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4399612-1568707761.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 3.13/1.02 c solve instance... 20041.89/2520.07 s UNKNOWN 20041.89/2520.07 c Unexpected resolution interruption!
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 (14842 MiB free)
memory of node 1: 16384 MiB (15405 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399612-1568707761/watcher-4399612-1568707761 -o /tmp/evaluation-result-4399612-1568707761/solver-4399612-1568707761 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568700731-21591 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1925086902 HOME/instance-4399612-1568707761.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=26589, runsolver pid=26586
Current StackSize limit: 8192 KiB
[startup+0.100113 s]*
/proc/loadavg: 8.84 8.38 8.23 2/211 26610
/proc/meminfo: memFree=30954676/32770624 swapFree=67004312/67108860
[pid=26589] ppid=26586 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26589/stat : 26589 (xcsp3-exec) S 26586 26589 21564 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446937648 115843072 363 33554432000 4194304 5098028 140728984695152 140728984693256 140292984795772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21774336 140728984699765 140728984700009 140728984700009 140728984702922 0
/proc/26589/statm: 28282 363 304 221 0 87 0
[pid=26591] ppid=26589 vsize=28227396 memory=30348 CPUtime=0.12 cores=0-7
/proc/26591/stat : 26591 (java) S 26589 26589 21564 0 -1 1077944320 5483 0 0 0 11 1 0 0 20 0 20 0 446937648 28904853504 7587 33554432000 4194304 4196468 140729552370880 140729552353424 140292146687735 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
/proc/26591/statm: 7056849 7587 3148 1 0 7019032 0
[pid=26591/tid=26592] ppid=26589 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/26591/task/26592/stat : 26592 (java) R 26589 26589 21564 0 -1 4202560 3397 0 0 0 8 1 0 0 20 0 20 0 446937649 28904853504 7587 33554432000 4194304 4196468 140729552370880 140292150922752 140292146699670 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26593] ppid=26589 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26593/stat : 26593 (java) S 26589 26589 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446937649 28904853504 7587 33554432000 4194304 4196468 140729552370880 140292099307792 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26594] ppid=26589 vsize=28227396 memory=288370184949667456 CPUtime=0 cores=0-7
/proc/26591/task/26594/stat : 26594 (java) S 26589 26589 21564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446937649 28904853504 7587 33554432000 4194304 4196468 140729552370880 140292098255248 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26595] ppid=26589 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26595/stat : 26595 (java) S 26589 26589 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446937649 28904853504 7587 33554432000 4194304 4196468 140729552370880 140292097202704 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26596] ppid=26589 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26596/stat : 26596 (java) S 26589 26589 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446937649 28904853504 7587 33554432000 4194304 4196468 140729552370880 140292096150160 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26597] ppid=26589 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26597/stat : 26597 (java) S 26589 26589 21564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446937649 28904853504 7587 33554432000 4194304 4196468 140729552370880 140292095097616 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26598] ppid=26589 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/26591/task/26598/stat : 26598 (java) S 26589 26589 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446937649 28904853504 7587 33554432000 4194304 4196468 140729552370880 140292094045072 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26599] ppid=26589 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26599/stat : 26599 (java) S 26589 26589 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446937649 28904853504 7587 33554432000 4194304 4196468 140729552370880 140292092992528 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26600] ppid=26589 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26600/stat : 26600 (java) S 26589 26589 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446937649 28904853504 7587 33554432000 4194304 4196468 140729552370880 140292091939984 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26601] ppid=26589 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26601/stat : 26601 (java) S 26589 26589 21564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446937651 28904853504 7587 33554432000 4194304 4196468 140729552370880 140290274940912 140292146698882 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26602] ppid=26589 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26602/stat : 26602 (java) S 26589 26589 21564 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446937651 28904853504 7587 33554432000 4194304 4196468 140729552370880 140290273887136 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26603] ppid=26589 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26603/stat : 26603 (java) S 26589 26589 21564 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446937651 28904853504 7587 33554432000 4194304 4196468 140729552370880 140290272834544 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26604] ppid=26589 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26604/stat : 26604 (java) S 26589 26589 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446937654 28904853504 7587 33554432000 4194304 4196468 140729552370880 140290271783120 140292146706331 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26605] ppid=26589 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26605/stat : 26605 (java) S 26589 26589 21564 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 20 0 446937654 28904853504 7587 33554432000 4194304 4196468 140729552370880 140290270730736 140292146698882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26606] ppid=26589 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26606/stat : 26606 (java) R 26589 26589 21564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446937654 28904853504 7587 33554432000 4194304 4196468 140729552370880 140290269678192 140292146698882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26607] ppid=26589 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26607/stat : 26607 (java) S 26589 26589 21564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446937654 28904853504 7587 33554432000 4194304 4196468 140729552370880 140290268625648 140292146698882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26608] ppid=26589 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/26591/task/26608/stat : 26608 (java) R 26589 26589 21564 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 20 0 446937654 28904853504 7587 33554432000 4194304 4196468 140729552370880 140290267573104 140292146709082 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26609] ppid=26589 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26609/stat : 26609 (java) S 26589 26589 21564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446937654 28904853504 7587 33554432000 4194304 4196468 140729552370880 140290266519776 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26610] ppid=26589 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/26591/task/26610/stat : 26610 (java) S 26589 26589 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446937654 28904853504 7587 33554432000 4194304 4196468 140729552370880 140290265467312 140292146698882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31800 KiB
[startup+0.210126 s]*
/proc/loadavg: 8.84 8.38 8.23 2/211 26610
/proc/meminfo: memFree=30941740/32770624 swapFree=67004312/67108860
[pid=26589] ppid=26586 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26589/stat : 26589 (xcsp3-exec) S 26586 26589 21564 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446937648 115843072 363 33554432000 4194304 5098028 140728984695152 140728984693256 140292984795772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21774336 140728984699765 140728984700009 140728984700009 140728984702922 0
/proc/26589/statm: 28282 363 304 221 0 87 0
[pid=26591] ppid=26589 vsize=28227396 memory=41540 CPUtime=0.33 cores=0-7
/proc/26591/stat : 26591 (java) S 26589 26589 21564 0 -1 1077944320 9067 0 0 0 30 3 0 0 20 0 20 0 446937648 28904853504 10385 33554432000 4194304 4196468 140729552370880 140729552353424 140292146687735 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
/proc/26591/statm: 7056849 10385 3312 1 0 7019032 0
[pid=26591/tid=26592] ppid=26589 vsize=28227396 memory=8316850467074736180 CPUtime=0.2 cores=0-7
/proc/26591/task/26592/stat : 26592 (java) R 26589 26589 21564 0 -1 4202560 6211 0 0 0 18 2 0 0 20 0 20 0 446937649 28904853504 10385 33554432000 4194304 4196468 140729552370880 140292150920464 140292146699670 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26593] ppid=26589 vsize=28227396 memory=14967 CPUtime=0 cores=0-7
/proc/26591/task/26593/stat : 26593 (java) S 26589 26589 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446937649 28904853504 10385 33554432000 4194304 4196468 140729552370880 140292099307792 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26594] ppid=26589 vsize=28227396 memory=139808797977182 CPUtime=0 cores=0-7
/proc/26591/task/26594/stat : 26594 (java) S 26589 26589 21564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446937649 28904853504 10385 33554432000 4194304 4196468 140729552370880 140292098255248 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26595] ppid=26589 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/26591/task/26595/stat : 26595 (java) S 26589 26589 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446937649 28904853504 10385 33554432000 4194304 4196468 140729552370880 140292097202704 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26596] ppid=26589 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26596/stat : 26596 (java) S 26589 26589 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446937649 28904853504 10385 33554432000 4194304 4196468 140729552370880 140292096150160 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26597] ppid=26589 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26597/stat : 26597 (java) S 26589 26589 21564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446937649 28904853504 10385 33554432000 4194304 4196468 140729552370880 140292095097616 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26598] ppid=26589 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/26591/task/26598/stat : 26598 (java) S 26589 26589 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446937649 28904853504 10385 33554432000 4194304 4196468 140729552370880 140292094045072 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26599] ppid=26589 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26599/stat : 26599 (java) S 26589 26589 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446937649 28904853504 10385 33554432000 4194304 4196468 140729552370880 140292092992528 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26600] ppid=26589 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26600/stat : 26600 (java) S 26589 26589 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446937649 28904853504 10385 33554432000 4194304 4196468 140729552370880 140292091939984 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26601] ppid=26589 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26601/stat : 26601 (java) S 26589 26589 21564 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 446937651 28904853504 10385 33554432000 4194304 4196468 140729552370880 140290274940912 140292146698882 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26602] ppid=26589 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26602/stat : 26602 (java) S 26589 26589 21564 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446937651 28904853504 10385 33554432000 4194304 4196468 140729552370880 140290273887136 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26603] ppid=26589 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26603/stat : 26603 (java) S 26589 26589 21564 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446937651 28904853504 10385 33554432000 4194304 4196468 140729552370880 140290272834544 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26604] ppid=26589 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26604/stat : 26604 (java) S 26589 26589 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446937654 28904853504 10385 33554432000 4194304 4196468 140729552370880 140290271783120 140292146706331 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26605] ppid=26589 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/26591/task/26605/stat : 26605 (java) S 26589 26589 21564 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 20 0 446937654 28904853504 10385 33554432000 4194304 4196468 140729552370880 140290270730736 140292146698882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26606] ppid=26589 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/26591/task/26606/stat : 26606 (java) S 26589 26589 21564 0 -1 1077944384 240 0 0 0 1 0 0 0 20 0 20 0 446937654 28904853504 10385 33554432000 4194304 4196468 140729552370880 140290269678192 140292146698882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26607] ppid=26589 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/26591/task/26607/stat : 26607 (java) R 26589 26589 21564 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 20 0 446937654 28904853504 10385 33554432000 4194304 4196468 140729552370880 140290268625648 140292146698882 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26608] ppid=26589 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/26591/task/26608/stat : 26608 (java) R 26589 26589 21564 0 -1 4202560 732 0 0 0 7 0 0 0 20 0 20 0 446937654 28904853504 10385 33554432000 4194304 4196468 140729552370880 140290267573104 140292146699670 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26609] ppid=26589 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26609/stat : 26609 (java) S 26589 26589 21564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446937654 28904853504 10385 33554432000 4194304 4196468 140729552370880 140290266519776 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26610] ppid=26589 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/26591/task/26610/stat : 26610 (java) S 26589 26589 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446937654 28904853504 10385 33554432000 4194304 4196468 140729552370880 140290265467312 140292146698882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42992 KiB
[startup+0.309532 s]*
/proc/loadavg: 8.84 8.38 8.23 5/211 26610
/proc/meminfo: memFree=30936576/32770624 swapFree=67004312/67108860
[pid=26589] ppid=26586 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26589/stat : 26589 (xcsp3-exec) S 26586 26589 21564 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446937648 115843072 363 33554432000 4194304 5098028 140728984695152 140728984693256 140292984795772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21774336 140728984699765 140728984700009 140728984700009 140728984702922 0
/proc/26589/statm: 28282 363 304 221 0 87 0
[pid=26591] ppid=26589 vsize=28231652 memory=50188 CPUtime=0.52 cores=0-7
/proc/26591/stat : 26591 (java) S 26589 26589 21564 0 -1 1077944320 10383 0 0 0 48 4 0 0 20 0 20 0 446937648 28909211648 12547 33554432000 4194304 4196468 140729552370880 140729552353424 140292146687735 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
/proc/26591/statm: 7057913 12547 3357 1 0 7019032 0
[pid=26591/tid=26592] ppid=26589 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/26591/task/26592/stat : 26592 (java) R 26589 26589 21564 0 -1 4202560 7276 0 0 0 27 2 0 0 20 0 20 0 446937649 28909211648 12547 33554432000 4194304 4196468 140729552370880 140292150918848 140292130768222 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26593] ppid=26589 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26593/stat : 26593 (java) S 26589 26589 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446937649 28909211648 12547 33554432000 4194304 4196468 140729552370880 140292099307792 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26594] ppid=26589 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26594/stat : 26594 (java) S 26589 26589 21564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446937649 28909211648 12547 33554432000 4194304 4196468 140729552370880 140292098255248 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26595] ppid=26589 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26595/stat : 26595 (java) S 26589 26589 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446937649 28909211648 12547 33554432000 4194304 4196468 140729552370880 140292097202704 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26596] ppid=26589 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26596/stat : 26596 (java) S 26589 26589 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446937649 28909211648 12547 33554432000 4194304 4196468 140729552370880 140292096150160 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26597] ppid=26589 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26597/stat : 26597 (java) S 26589 26589 21564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446937649 28909211648 12547 33554432000 4194304 4196468 140729552370880 140292095097616 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26598] ppid=26589 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26598/stat : 26598 (java) S 26589 26589 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446937649 28909211648 12547 33554432000 4194304 4196468 140729552370880 140292094045072 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26599] ppid=26589 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26599/stat : 26599 (java) S 26589 26589 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446937649 28909211648 12547 33554432000 4194304 4196468 140729552370880 140292092992528 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26600] ppid=26589 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26600/stat : 26600 (java) S 26589 26589 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446937649 28909211648 12547 33554432000 4194304 4196468 140729552370880 140292091939984 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26601] ppid=26589 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26601/stat : 26601 (java) S 26589 26589 21564 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 446937651 28909211648 12547 33554432000 4194304 4196468 140729552370880 140290274940912 140292146698882 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26602] ppid=26589 vsize=28231652 memory=279617403559296 CPUtime=0 cores=0-7
/proc/26591/task/26602/stat : 26602 (java) S 26589 26589 21564 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446937651 28909211648 12547 33554432000 4194304 4196468 140729552370880 140290273887136 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26603] ppid=26589 vsize=28231652 memory=279617403563904 CPUtime=0 cores=0-7
/proc/26591/task/26603/stat : 26603 (java) S 26589 26589 21564 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446937651 28909211648 12547 33554432000 4194304 4196468 140729552370880 140290272834544 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26604] ppid=26589 vsize=28231652 memory=279617403568512 CPUtime=0 cores=0-7
/proc/26591/task/26604/stat : 26604 (java) S 26589 26589 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446937654 28909211648 12547 33554432000 4194304 4196468 140729552370880 140290271783120 140292146706331 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26605] ppid=26589 vsize=28231652 memory=279617403573120 CPUtime=0.02 cores=0-7
/proc/26591/task/26605/stat : 26605 (java) S 26589 26589 21564 0 -1 1077944384 494 0 0 0 2 0 0 0 20 0 20 0 446937654 28909211648 12547 33554432000 4194304 4196468 140729552370880 140290270730736 140292146698882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26606] ppid=26589 vsize=28231652 memory=279617403577728 CPUtime=0.03 cores=0-7
/proc/26591/task/26606/stat : 26606 (java) R 26589 26589 21564 0 -1 4202560 355 0 0 0 3 0 0 0 20 0 20 0 446937654 28909211648 12547 33554432000 4194304 4196468 140729552370880 140290269678192 140292124611659 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26607] ppid=26589 vsize=28231652 memory=279617403582336 CPUtime=0.03 cores=0-7
/proc/26591/task/26607/stat : 26607 (java) S 26589 26589 21564 0 -1 1077944384 114 0 0 0 3 0 0 0 20 0 20 0 446937654 28909211648 12547 33554432000 4194304 4196468 140729552370880 140290268625648 140292146698882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26608] ppid=26589 vsize=28231652 memory=279617403586944 CPUtime=0.12 cores=0-7
/proc/26591/task/26608/stat : 26608 (java) S 26589 26589 21564 0 -1 1077944384 834 0 0 0 12 0 0 0 20 0 20 0 446937654 28909211648 12547 33554432000 4194304 4196468 140729552370880 140290267573104 140292146698882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26609] ppid=26589 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26609/stat : 26609 (java) S 26589 26589 21564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446937654 28909211648 12547 33554432000 4194304 4196468 140729552370880 140290266519776 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26610] ppid=26589 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/26591/task/26610/stat : 26610 (java) S 26589 26589 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446937654 28909211648 12547 33554432000 4194304 4196468 140729552370880 140290265467312 140292146698882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51640 KiB
[startup+0.700909 s]
/proc/loadavg: 8.84 8.38 8.23 4/211 26610
/proc/meminfo: memFree=30926092/32770624 swapFree=67004312/67108860
[pid=26589] ppid=26586 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26589/stat : 26589 (xcsp3-exec) S 26586 26589 21564 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446937648 115843072 363 33554432000 4194304 5098028 140728984695152 140728984693256 140292984795772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21774336 140728984699765 140728984700009 140728984700009 140728984702922 0
/proc/26589/statm: 28282 363 304 221 0 87 0
[pid=26591] ppid=26589 vsize=28233776 memory=86056 CPUtime=1.78 cores=0-7
/proc/26591/stat : 26591 (java) S 26589 26589 21564 0 -1 1077944320 14781 0 0 0 172 6 0 0 20 0 20 0 446937648 28911386624 21514 33554432000 4194304 4196468 140729552370880 140729552353424 140292146687735 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
/proc/26591/statm: 7058444 21514 3460 1 0 7019544 0
[pid=26591/tid=26592] ppid=26589 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/26591/task/26592/stat : 26592 (java) R 26589 26589 21564 0 -1 4202560 8746 0 0 0 64 3 0 0 20 0 20 0 446937649 28911386624 21514 33554432000 4194304 4196468 140729552370880 140292150921376 140291768156560 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26593] ppid=26589 vsize=28233776 memory=139808701981568 CPUtime=0 cores=0-7
/proc/26591/task/26593/stat : 26593 (java) S 26589 26589 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446937649 28911386624 21514 33554432000 4194304 4196468 140729552370880 140292099307792 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26594] ppid=26589 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26594/stat : 26594 (java) S 26589 26589 21564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446937649 28911386624 21514 33554432000 4194304 4196468 140729552370880 140292098255248 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26595] ppid=26589 vsize=28233776 memory=1052 CPUtime=0 cores=0-7
/proc/26591/task/26595/stat : 26595 (java) S 26589 26589 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446937649 28911386624 21514 33554432000 4194304 4196468 140729552370880 140292097202704 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
################
# More data... #
################
[pid=26591/tid=26618] ppid=26589 vsize=28768336 memory=1160 CPUtime=2414.66 cores=0-7
/proc/26591/task/26618/stat : 26618 (java) R 26589 26589 21564 0 -1 4202560 306132 0 0 0 241313 153 0 0 20 0 28 0 446937753 29458776064 369268 33554432000 4194304 4196468 140729552370880 140290249120432 140291775947804 0 4 0 16800975 0 0 0 -1 6 0 0 12 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
Current children cumulated CPU time: 19423.6 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1478524 KiB
[startup+2502.3 s]
/proc/loadavg: 8.43 8.32 8.30 9/221 26812
/proc/meminfo: memFree=29262100/32770624 swapFree=67004320/67108860
[pid=26589] ppid=26586 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26589/stat : 26589 (xcsp3-exec) S 26586 26589 21564 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446937648 115843072 363 33554432000 4194304 5098028 140728984695152 140728984693256 140292984795772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21774336 140728984699765 140728984700009 140728984700009 140728984702922 0
/proc/26589/statm: 28282 363 304 221 0 87 0
[pid=26591] ppid=26589 vsize=28768336 memory=1720900 CPUtime=19901 cores=0-7
/proc/26591/stat : 26591 (java) S 26589 26589 21564 0 -1 1077944320 1069466 0 0 0 1989230 868 0 0 20 0 28 0 446937648 29458776064 430225 33554432000 4194304 4196468 140729552370880 140729552353424 140292146687735 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
/proc/26591/statm: 7192084 430225 3550 1 0 7153184 0
[pid=26591/tid=26592] ppid=26589 vsize=28768336 memory=1720900 CPUtime=1.01 cores=0-7
/proc/26591/task/26592/stat : 26592 (java) S 26589 26589 21564 0 -1 1077944384 9293 0 0 0 97 4 0 0 20 0 28 0 446937649 29458776064 430225 33554432000 4194304 4196468 140729552370880 140292150928512 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26593] ppid=26589 vsize=28768336 memory=1452 CPUtime=9.89 cores=0-7
/proc/26591/task/26593/stat : 26593 (java) S 26589 26589 21564 0 -1 1077944384 28931 0 0 0 947 42 0 0 20 0 28 0 446937649 29458776064 430225 33554432000 4194304 4196468 140729552370880 140292099307792 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26594] ppid=26589 vsize=28768336 memory=995 CPUtime=10 cores=0-7
/proc/26591/task/26594/stat : 26594 (java) S 26589 26589 21564 0 -1 1077944384 24262 0 0 0 963 37 0 0 20 0 28 0 446937649 29458776064 430225 33554432000 4194304 4196468 140729552370880 140292098255248 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26595] ppid=26589 vsize=28768336 memory=-3622645143214314312 CPUtime=9.95 cores=0-7
/proc/26591/task/26595/stat : 26595 (java) S 26589 26589 21564 0 -1 1077944384 26955 0 0 0 956 39 0 0 20 0 28 0 446937649 29458776064 430225 33554432000 4194304 4196468 140729552370880 140292097202704 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26596] ppid=26589 vsize=28768336 memory=1452 CPUtime=9.94 cores=0-7
/proc/26591/task/26596/stat : 26596 (java) S 26589 26589 21564 0 -1 1077944384 24839 0 0 0 953 41 0 0 20 0 28 0 446937649 29458776064 430225 33554432000 4194304 4196468 140729552370880 140292096150160 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26597] ppid=26589 vsize=28768336 memory=1452 CPUtime=9.96 cores=0-7
/proc/26591/task/26597/stat : 26597 (java) S 26589 26589 21564 0 -1 1077944384 26026 0 0 0 958 38 0 0 20 0 28 0 446937649 29458776064 430225 33554432000 4194304 4196468 140729552370880 140292095097616 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26598] ppid=26589 vsize=28768336 memory=1452 CPUtime=9.89 cores=0-7
/proc/26591/task/26598/stat : 26598 (java) S 26589 26589 21564 0 -1 1077944384 27378 0 0 0 944 45 0 0 20 0 28 0 446937649 29458776064 430225 33554432000 4194304 4196468 140729552370880 140292094045072 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26599] ppid=26589 vsize=28768336 memory=1052 CPUtime=9.95 cores=0-7
/proc/26591/task/26599/stat : 26599 (java) S 26589 26589 21564 0 -1 1077944384 27133 0 0 0 953 42 0 0 20 0 28 0 446937649 29458776064 430225 33554432000 4194304 4196468 140729552370880 140292092992528 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26600] ppid=26589 vsize=28768336 memory=7548 CPUtime=9.87 cores=0-7
/proc/26591/task/26600/stat : 26600 (java) S 26589 26589 21564 0 -1 1077944384 28101 0 0 0 949 38 0 0 20 0 28 0 446937649 29458776064 430225 33554432000 4194304 4196468 140729552370880 140292091939984 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26601] ppid=26589 vsize=28768336 memory=251 CPUtime=4.14 cores=0-7
/proc/26591/task/26601/stat : 26601 (java) S 26589 26589 21564 0 -1 1077944384 97870 0 0 0 295 119 0 0 20 0 28 0 446937651 29458776064 430225 33554432000 4194304 4196468 140729552370880 140290274940912 140292146698882 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26602] ppid=26589 vsize=28768336 memory=81 CPUtime=0 cores=0-7
/proc/26591/task/26602/stat : 26602 (java) S 26589 26589 21564 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 446937651 29458776064 430225 33554432000 4194304 4196468 140729552370880 140290273887200 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26603] ppid=26589 vsize=28768336 memory=1586240 CPUtime=0 cores=0-7
/proc/26591/task/26603/stat : 26603 (java) S 26589 26589 21564 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 446937651 29458776064 430225 33554432000 4194304 4196468 140729552370880 140290272834560 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26604] ppid=26589 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/26591/task/26604/stat : 26604 (java) S 26589 26589 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446937654 29458776064 430225 33554432000 4194304 4196468 140729552370880 140290271783120 140292146706331 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26605] ppid=26589 vsize=28768336 memory=228612519284714 CPUtime=2.36 cores=0-7
/proc/26591/task/26605/stat : 26605 (java) S 26589 26589 21564 0 -1 1077944384 9166 0 0 0 234 2 0 0 20 0 28 0 446937654 29458776064 430225 33554432000 4194304 4196468 140729552370880 140290270730736 140292146698882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26606] ppid=26589 vsize=28768336 memory=6944656592387989600 CPUtime=2.12 cores=0-7
/proc/26591/task/26606/stat : 26606 (java) S 26589 26589 21564 0 -1 1077944384 9082 0 0 0 211 1 0 0 20 0 28 0 446937654 29458776064 430225 33554432000 4194304 4196468 140729552370880 140290269678192 140292146698882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26607] ppid=26589 vsize=28768336 memory=1452 CPUtime=2.51 cores=0-7
/proc/26591/task/26607/stat : 26607 (java) S 26589 26589 21564 0 -1 1077944384 9899 0 0 0 249 2 0 0 20 0 28 0 446937654 29458776064 430225 33554432000 4194304 4196468 140729552370880 140290268625648 140292146698882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26608] ppid=26589 vsize=28768336 memory=1586240 CPUtime=0.81 cores=0-7
/proc/26591/task/26608/stat : 26608 (java) S 26589 26589 21564 0 -1 1077944384 5959 0 0 0 80 1 0 0 20 0 28 0 446937654 29458776064 430225 33554432000 4194304 4196468 140729552370880 140290267573104 140292146698882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26609] ppid=26589 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/26591/task/26609/stat : 26609 (java) S 26589 26589 21564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446937654 29458776064 430225 33554432000 4194304 4196468 140729552370880 140290266519776 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26610] ppid=26589 vsize=28768336 memory=6944656592455360608 CPUtime=0.53 cores=0-7
/proc/26591/task/26610/stat : 26610 (java) S 26589 26589 21564 0 -1 1077944384 4233 0 0 0 27 26 0 0 20 0 28 0 446937654 29458776064 430225 33554432000 4194304 4196468 140729552370880 140290265467312 140292146698882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26611] ppid=26589 vsize=28768336 memory=1646836 CPUtime=2477.72 cores=0-7
/proc/26591/task/26611/stat : 26611 (java) R 26589 26589 21564 0 -1 4202560 15846 0 0 0 247755 17 0 0 20 0 28 0 446937752 29458776064 430225 33554432000 4194304 4196468 140729552370880 140290256485736 140291776249428 0 4 0 16800975 0 0 0 -1 3 0 0 15 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26612] ppid=26589 vsize=28768336 memory=1452 CPUtime=2477.35 cores=0-7
/proc/26591/task/26612/stat : 26612 (java) R 26589 26589 21564 0 -1 4202560 15445 0 0 0 247720 15 0 0 20 0 28 0 446937752 29458776064 430225 33554432000 4194304 4196468 140729552370880 140290255433784 140291775949818 0 4 0 16800975 0 0 0 -1 5 0 0 15 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26613] ppid=26589 vsize=28768336 memory=1452 CPUtime=2476.45 cores=0-7
/proc/26591/task/26613/stat : 26613 (java) R 26589 26589 21564 0 -1 4202560 28975 0 0 0 247624 21 0 0 20 0 28 0 446937752 29458776064 430225 33554432000 4194304 4196468 140729552370880 140290254381848 140291775809615 0 4 0 16800975 0 0 0 -1 2 0 0 16 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26614] ppid=26589 vsize=28768336 memory=984 CPUtime=2475.66 cores=0-7
/proc/26591/task/26614/stat : 26614 (java) R 26589 26589 21564 0 -1 4202560 77789 0 0 0 247508 58 0 0 20 0 28 0 446937752 29458776064 430225 33554432000 4194304 4196468 140729552370880 140290253328416 140291777962617 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26615] ppid=26589 vsize=28768336 memory=1940 CPUtime=2476.98 cores=0-7
/proc/26591/task/26615/stat : 26615 (java) R 26589 26589 21564 0 -1 4202560 14393 0 0 0 247681 17 0 0 20 0 28 0 446937752 29458776064 430225 33554432000 4194304 4196468 140729552370880 140290252276520 140291774808771 0 4 0 16800975 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26616] ppid=26589 vsize=28768336 memory=1416 CPUtime=2476.53 cores=0-7
/proc/26591/task/26616/stat : 26616 (java) R 26589 26589 21564 0 -1 4202560 99713 0 0 0 247596 57 0 0 20 0 28 0 446937752 29458776064 430225 33554432000 4194304 4196468 140729552370880 140290251223576 140291774746480 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26617] ppid=26589 vsize=28768336 memory=1452 CPUtime=2473.34 cores=0-7
/proc/26591/task/26617/stat : 26617 (java) R 26589 26589 21564 0 -1 4202560 147371 0 0 0 247262 72 0 0 20 0 28 0 446937752 29458776064 430225 33554432000 4194304 4196468 140729552370880 140290250169904 140291775947799 0 4 0 16800975 0 0 0 -1 6 0 0 16 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26618] ppid=26589 vsize=28768336 memory=1717324 CPUtime=2473.8 cores=0-7
/proc/26591/task/26618/stat : 26618 (java) R 26589 26589 21564 0 -1 4202560 309448 0 0 0 247203 177 0 0 20 0 28 0 446937753 29458776064 430225 33554432000 4194304 4196468 140729552370880 140290249120208 140291777962766 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
Current children cumulated CPU time: 19901 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1722352 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.60 8.36 8.31 9/220 26812
/proc/meminfo: memFree=29048804/32770624 swapFree=67004320/67108860
[pid=26589] ppid=26586 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26589/stat : 26589 (xcsp3-exec) S 26586 26589 21564 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446937648 115843072 363 33554432000 4194304 5098028 140728984695152 140728984693256 140292984795772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21774336 140728984699765 140728984700009 140728984700009 140728984702922 0
/proc/26589/statm: 28282 363 304 221 0 87 0
[pid=26591] ppid=26589 vsize=28768336 memory=1935156 CPUtime=20041.9 cores=0-7
/proc/26591/stat : 26591 (java) S 26589 26589 21564 0 -1 1077944320 1078531 0 0 0 2003306 883 0 0 20 0 28 0 446937648 29458776064 483789 33554432000 4194304 4196468 140729552370880 140729552353424 140292146687735 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
/proc/26591/statm: 7192084 483789 3550 1 0 7153184 0
[pid=26591/tid=26592] ppid=26589 vsize=28768336 memory=1398722017469774279 CPUtime=1.01 cores=0-7
/proc/26591/task/26592/stat : 26592 (java) S 26589 26589 21564 0 -1 1077944384 9293 0 0 0 97 4 0 0 20 0 28 0 446937649 29458776064 483789 33554432000 4194304 4196468 140729552370880 140292150928512 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26593] ppid=26589 vsize=28768336 memory=1160 CPUtime=9.95 cores=0-7
/proc/26591/task/26593/stat : 26593 (java) S 26589 26589 21564 0 -1 1077944384 29045 0 0 0 953 42 0 0 20 0 28 0 446937649 29458776064 483789 33554432000 4194304 4196468 140729552370880 140292099307792 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26594] ppid=26589 vsize=28768336 memory=1720 CPUtime=10.12 cores=0-7
/proc/26591/task/26594/stat : 26594 (java) S 26589 26589 21564 0 -1 1077944384 24440 0 0 0 974 38 0 0 20 0 28 0 446937649 29458776064 483789 33554432000 4194304 4196468 140729552370880 140292098255248 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26595] ppid=26589 vsize=28768336 memory=1096 CPUtime=10.02 cores=0-7
/proc/26591/task/26595/stat : 26595 (java) S 26589 26589 21564 0 -1 1077944384 27072 0 0 0 963 39 0 0 20 0 28 0 446937649 29458776064 483789 33554432000 4194304 4196468 140729552370880 140292097202704 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26596] ppid=26589 vsize=28768336 memory=5992 CPUtime=10.05 cores=0-7
/proc/26591/task/26596/stat : 26596 (java) S 26589 26589 21564 0 -1 1077944384 25361 0 0 0 964 41 0 0 20 0 28 0 446937649 29458776064 483789 33554432000 4194304 4196468 140729552370880 140292096150160 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26597] ppid=26589 vsize=28768336 memory=1919364 CPUtime=10.07 cores=0-7
/proc/26591/task/26597/stat : 26597 (java) S 26589 26589 21564 0 -1 1077944384 26137 0 0 0 968 39 0 0 20 0 28 0 446937649 29458776064 483789 33554432000 4194304 4196468 140729552370880 140292095097616 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26598] ppid=26589 vsize=28768336 memory=1764 CPUtime=10.02 cores=0-7
/proc/26591/task/26598/stat : 26598 (java) S 26589 26589 21564 0 -1 1077944384 28326 0 0 0 956 46 0 0 20 0 28 0 446937649 29458776064 483789 33554432000 4194304 4196468 140729552370880 140292094045072 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26599] ppid=26589 vsize=28768336 memory=6791534058613427641 CPUtime=10.05 cores=0-7
/proc/26591/task/26599/stat : 26599 (java) S 26589 26589 21564 0 -1 1077944384 27307 0 0 0 962 43 0 0 20 0 28 0 446937649 29458776064 483789 33554432000 4194304 4196468 140729552370880 140292092992528 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26600] ppid=26589 vsize=28768336 memory=304274695476478263 CPUtime=9.96 cores=0-7
/proc/26591/task/26600/stat : 26600 (java) S 26589 26589 21564 0 -1 1077944384 28381 0 0 0 958 38 0 0 20 0 28 0 446937649 29458776064 483789 33554432000 4194304 4196468 140729552370880 140292091939984 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26601] ppid=26589 vsize=28768336 memory=16106965717748364 CPUtime=4.16 cores=0-7
/proc/26591/task/26601/stat : 26601 (java) S 26589 26589 21564 0 -1 1077944384 99188 0 0 0 296 120 0 0 20 0 28 0 446937651 29458776064 483789 33554432000 4194304 4196468 140729552370880 140290274940912 140292146698882 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26602] ppid=26589 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/26591/task/26602/stat : 26602 (java) S 26589 26589 21564 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 446937651 29458776064 483789 33554432000 4194304 4196468 140729552370880 140290273887200 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26603] ppid=26589 vsize=28768336 memory=1585732 CPUtime=0 cores=0-7
/proc/26591/task/26603/stat : 26603 (java) S 26589 26589 21564 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 446937651 29458776064 483789 33554432000 4194304 4196468 140729552370880 140290272834560 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26604] ppid=26589 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/26591/task/26604/stat : 26604 (java) S 26589 26589 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446937654 29458776064 483789 33554432000 4194304 4196468 140729552370880 140290271783120 140292146706331 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26605] ppid=26589 vsize=28768336 memory=1922436 CPUtime=2.36 cores=0-7
/proc/26591/task/26605/stat : 26605 (java) S 26589 26589 21564 0 -1 1077944384 9170 0 0 0 234 2 0 0 20 0 28 0 446937654 29458776064 483789 33554432000 4194304 4196468 140729552370880 140290270730736 140292146698882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26606] ppid=26589 vsize=28768336 memory=0 CPUtime=2.12 cores=0-7
/proc/26591/task/26606/stat : 26606 (java) S 26589 26589 21564 0 -1 1077944384 9086 0 0 0 211 1 0 0 20 0 28 0 446937654 29458776064 483789 33554432000 4194304 4196468 140729552370880 140290269678192 140292146698882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26607] ppid=26589 vsize=28768336 memory=1934161 CPUtime=2.51 cores=0-7
/proc/26591/task/26607/stat : 26607 (java) S 26589 26589 21564 0 -1 1077944384 9903 0 0 0 249 2 0 0 20 0 28 0 446937654 29458776064 483789 33554432000 4194304 4196468 140729552370880 140290268625648 140292146698882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26608] ppid=26589 vsize=28768336 memory=33700 CPUtime=0.81 cores=0-7
/proc/26591/task/26608/stat : 26608 (java) S 26589 26589 21564 0 -1 1077944384 5963 0 0 0 80 1 0 0 20 0 28 0 446937654 29458776064 483789 33554432000 4194304 4196468 140729552370880 140290267573104 140292146698882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26609] ppid=26589 vsize=28768336 memory=101 CPUtime=0 cores=0-7
/proc/26591/task/26609/stat : 26609 (java) S 26589 26589 21564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446937654 29458776064 483789 33554432000 4194304 4196468 140729552370880 140290266519776 140292146697941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26610] ppid=26589 vsize=28768336 memory=939 CPUtime=0.53 cores=0-7
/proc/26591/task/26610/stat : 26610 (java) S 26589 26589 21564 0 -1 1077944384 4256 0 0 0 27 26 0 0 20 0 28 0 446937654 29458776064 483789 33554432000 4194304 4196468 140729552370880 140290265467312 140292146698882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26611] ppid=26589 vsize=28768336 memory=950 CPUtime=2495.26 cores=0-7
/proc/26591/task/26611/stat : 26611 (java) R 26589 26589 21564 0 -1 4202560 15973 0 0 0 249509 17 0 0 20 0 28 0 446937752 29458776064 483789 33554432000 4194304 4196468 140729552370880 140290256485736 140291774808878 0 4 0 16800975 0 0 0 -1 3 0 0 15 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26612] ppid=26589 vsize=28768336 memory=279614182603731 CPUtime=2494.84 cores=0-7
/proc/26591/task/26612/stat : 26612 (java) R 26589 26589 21564 0 -1 4202560 15576 0 0 0 249469 15 0 0 20 0 28 0 446937752 29458776064 483789 33554432000 4194304 4196468 140729552370880 140290255434128 140291776249428 0 4 0 16800975 0 0 0 -1 5 0 0 15 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26613] ppid=26589 vsize=28768336 memory=1452 CPUtime=2494.01 cores=0-7
/proc/26591/task/26613/stat : 26613 (java) R 26589 26589 21564 0 -1 4202560 29174 0 0 0 249380 21 0 0 20 0 28 0 446937752 29458776064 483789 33554432000 4194304 4196468 140729552370880 140290254381712 140291775283896 0 4 0 16800975 0 0 0 -1 2 0 0 16 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26614] ppid=26589 vsize=28768336 memory=1922436 CPUtime=2493.23 cores=0-7
/proc/26591/task/26614/stat : 26614 (java) R 26589 26589 21564 0 -1 4202560 79139 0 0 0 249264 59 0 0 20 0 28 0 446937752 29458776064 483789 33554432000 4194304 4196468 140729552370880 140290253331632 140291772015446 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26615] ppid=26589 vsize=28768336 memory=6083072632506378603 CPUtime=2494.3 cores=0-7
/proc/26591/task/26615/stat : 26615 (java) R 26589 26589 21564 0 -1 4202560 14516 0 0 0 249412 18 0 0 20 0 28 0 446937752 29458776064 483789 33554432000 4194304 4196468 140729552370880 140290252276000 140291775947073 0 4 0 16800975 0 0 0 -1 7 0 0 16 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26616] ppid=26589 vsize=28768336 memory=1452 CPUtime=2494.08 cores=0-7
/proc/26591/task/26616/stat : 26616 (java) R 26589 26589 21564 0 -1 4202560 99902 0 0 0 249351 57 0 0 20 0 28 0 446937752 29458776064 483789 33554432000 4194304 4196468 140729552370880 140290251223576 140291775947506 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26617] ppid=26589 vsize=28768336 memory=288230574492221466 CPUtime=2490.89 cores=0-7
/proc/26591/task/26617/stat : 26617 (java) R 26589 26589 21564 0 -1 4202560 148306 0 0 0 249014 75 0 0 20 0 28 0 446937752 29458776064 483789 33554432000 4194304 4196468 140729552370880 140290250170040 140291776246626 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
[pid=26591/tid=26618] ppid=26589 vsize=28768336 memory=288230621803970871 CPUtime=2491.32 cores=0-7
/proc/26591/task/26618/stat : 26618 (java) R 26589 26589 21564 0 -1 4202560 311660 0 0 0 248950 182 0 0 20 0 28 0 446937753 29458776064 483789 33554432000 4194304 4196468 140729552370880 140290249117840 140292132755854 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 33361920 140729552376810 140729552376982 140729552376982 140729552379855 0
Current children cumulated CPU time: 20041.9 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1936608 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 26589 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00227 s, system=0 s
[startup+2520.1 s]
# the end of solver process 26591 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20033.7 s, system=8.86262 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2520.1
CPU time (s): 20042.5
CPU user time (s): 20033.7
CPU system time (s): 8.86262
CPU usage (%): 795.306
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 1936608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20033.7
system time used= 8.86262
maximum resident set size= 1935816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1079255
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 245149
involuntary context switches= 229926
# summary of solver processes directly reported to runsolver:
# pid: 26589,26591
# total CPU time (s): 20042.5
# total CPU user time (s): 20033.7
# total CPU system time (s): 8.86262
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.0259 second user time and 22.8288 second system time
The end
Begin job on node148 at 2019-09-17 10:08:44 IDJOB=4399612 IDBENCH=128093 IDSOLVER=2854 FILE ID=node148/4399612-1568707761 RUNJOBID= node148-1568700731-21591 PBS_JOBID= 21703904 Free space on /tmp= 61308 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-36-92.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 /tmp/evaluation-result-4399612-1568707761/watcher-4399612-1568707761 -o /tmp/evaluation-result-4399612-1568707761/solver-4399612-1568707761 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568700731-21591 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1925086902 HOME/instance-4399612-1568707761.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e7221c19415bed5c98fc37c567f19ceb RANDOM SEED=1925086902 node148.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.13 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.13 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.13 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.13 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: 30973832 kB MemAvailable: 31898692 kB Buffers: 162048 kB Cached: 1065288 kB SwapCached: 3732 kB Active: 522432 kB Inactive: 713176 kB Active(anon): 4876 kB Inactive(anon): 52636 kB Active(file): 517556 kB Inactive(file): 660540 kB Unevictable: 108200 kB Mlocked: 108200 kB SwapTotal: 67108860 kB SwapFree: 67004312 kB Dirty: 26316 kB Writeback: 0 kB AnonPages: 123992 kB Mapped: 47928 kB Shmem: 40624 kB Slab: 154108 kB SReclaimable: 125200 kB SUnreclaim: 28908 kB KernelStack: 3712 kB PageTables: 5936 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506200 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 77824 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 61284 MiB End job on node148 at 2019-09-17 10:50:44