| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| choco-solver 2019-09-20 parallel | ? (TO) | 20015.1 | 2520.13 |
| Name | CarSequencing/CarSequencing-m1-jcr/ CarSequencing-16-81.xml |
| MD5SUM | e1683218a1e3c524b21c5eaa634d1705 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 27.9455 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 600 |
| Number of constraints | 737 |
| Number of domains | 2 |
| Minimum domain size | 2 |
| Maximum domain size | 26 |
| Distribution of domain sizes | [{"size":2,"count":500},{"size":26,"count":100}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 52 |
| 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":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":20},{"degree":23,"count":20},{"degree":24,"count":20},{"degree":25,"count":20},{"degree":26,"count":10},"...",{"degree":28,"count":8}, {"degree":29,"count":8}, {"degree":30,"count":9}, {"degree":31,"count":9}, {"degree":32,"count":22}, {"degree":33,"count":5}, {"degree":34,"count":6}, {"degree":35,"count":6}, {"degree":36,"count":7}, {"degree":37,"count":2}, {"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":2}, {"degree":48,"count":2}, {"degree":49,"count":2}, {"degree":50,"count":2}, {"degree":51,"count":3}, {"degree":52,"count":3}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 100 |
| Distribution of constraint arities | [{"arity":2,"count":99},{"arity":3,"count":196},{"arity":4,"count":1},{"arity":5,"count":194},{"arity":6,"count":101},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":10,"count":4},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":2},{"arity":16,"count":2},{"arity":18,"count":1},{"arity":19,"count":2},{"arity":20,"count":3},{"arity":22,"count":3},{"arity":24,"count":1},{"arity":25,"count":4},{"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":636},{"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-4404272-1569001730.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404272-1569001730.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 3.06/1.01 c solve instance... 20014.30/2520.07 s UNKNOWN 20014.30/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 (11759 MiB free)
memory of node 1: 16384 MiB (13061 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404272-1569001730/watcher-4404272-1569001730 -o /var/tmp/evaluation-result-4404272-1569001730/solver-4404272-1569001730 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1568994120-11888 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 510749994 HOME/instance-4404272-1569001730.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=12793, runsolver pid=12790
Current StackSize limit: 8192 KiB
[startup+0.100108 s]*
/proc/loadavg: 7.60 7.35 7.29 2/211 12814
/proc/meminfo: memFree=25400700/32770624 swapFree=66988960/67108860
[pid=12793] ppid=12790 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12793/stat : 12793 (xcsp3-exec) S 12790 12793 11861 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476435627 115843072 363 33554432000 4194304 5098028 140722670787040 140722670785144 140473355141756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26804224 140722670793554 140722670793813 140722670793813 140722670796742 0
/proc/12793/statm: 28282 363 304 221 0 87 0
[pid=12795] ppid=12793 vsize=28227396 memory=29124 CPUtime=0.12 cores=0-7
/proc/12795/stat : 12795 (java) S 12793 12793 11861 0 -1 1077944320 5762 0 0 0 11 1 0 0 20 0 20 0 476435627 28904853504 7281 33554432000 4194304 4196468 140735179445408 140735179427952 140552406290167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
/proc/12795/statm: 7056849 7281 3120 1 0 7019032 0
[pid=12795/tid=12796] ppid=12793 vsize=28227396 memory=-2177352373413752899 CPUtime=0.09 cores=0-7
/proc/12795/task/12796/stat : 12796 (java) R 12793 12793 11861 0 -1 4202560 3669 0 0 0 8 1 0 0 20 0 20 0 476435628 28904853504 7281 33554432000 4194304 4196468 140735179445408 140552410519344 140552016331152 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12797] ppid=12793 vsize=28227396 memory=732370816020114405 CPUtime=0 cores=0-7
/proc/12795/task/12797/stat : 12797 (java) S 12793 12793 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476435629 28904853504 7281 33554432000 4194304 4196468 140735179445408 140552358910736 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12798] ppid=12793 vsize=28227396 memory=140677682660992 CPUtime=0 cores=0-7
/proc/12795/task/12798/stat : 12798 (java) S 12793 12793 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476435629 28904853504 7281 33554432000 4194304 4196468 140735179445408 140552357858192 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12799] ppid=12793 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12795/task/12799/stat : 12799 (java) S 12793 12793 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476435629 28904853504 7281 33554432000 4194304 4196468 140735179445408 140552356805648 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12800] ppid=12793 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12795/task/12800/stat : 12800 (java) S 12793 12793 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476435629 28904853504 7281 33554432000 4194304 4196468 140735179445408 140552355753104 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12801] ppid=12793 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12795/task/12801/stat : 12801 (java) S 12793 12793 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476435629 28904853504 7281 33554432000 4194304 4196468 140735179445408 140552354699536 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12802] ppid=12793 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12795/task/12802/stat : 12802 (java) S 12793 12793 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476435629 28904853504 7281 33554432000 4194304 4196468 140735179445408 140552353646992 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12803] ppid=12793 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12795/task/12803/stat : 12803 (java) S 12793 12793 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476435629 28904853504 7281 33554432000 4194304 4196468 140735179445408 140552352594448 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12804] ppid=12793 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12795/task/12804/stat : 12804 (java) S 12793 12793 11861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476435629 28904853504 7281 33554432000 4194304 4196468 140735179445408 140552351541904 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12805] ppid=12793 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12795/task/12805/stat : 12805 (java) S 12793 12793 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476435630 28904853504 7281 33554432000 4194304 4196468 140735179445408 140551071726064 140552406301314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12806] ppid=12793 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12795/task/12806/stat : 12806 (java) S 12793 12793 11861 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476435630 28904853504 7281 33554432000 4194304 4196468 140735179445408 140551070672288 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12807] ppid=12793 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12795/task/12807/stat : 12807 (java) S 12793 12793 11861 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476435631 28904853504 7281 33554432000 4194304 4196468 140735179445408 140551069619696 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12808] ppid=12793 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12795/task/12808/stat : 12808 (java) S 12793 12793 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476435633 28904853504 7281 33554432000 4194304 4196468 140735179445408 140551068568272 140552406308763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12809] ppid=12793 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12795/task/12809/stat : 12809 (java) S 12793 12793 11861 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 476435633 28904853504 7281 33554432000 4194304 4196468 140735179445408 140551067514864 140552406301314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12810] ppid=12793 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12795/task/12810/stat : 12810 (java) S 12793 12793 11861 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 476435633 28904853504 7281 33554432000 4194304 4196468 140735179445408 140551066462320 140552406301314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12811] ppid=12793 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12795/task/12811/stat : 12811 (java) S 12793 12793 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476435633 28904853504 7281 33554432000 4194304 4196468 140735179445408 140551065409776 140552406301314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12812] ppid=12793 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/12795/task/12812/stat : 12812 (java) R 12793 12793 11861 0 -1 4202560 347 0 0 0 2 0 0 0 20 0 20 0 476435633 28904853504 7281 33554432000 4194304 4196468 140735179445408 140551064357232 140552385257838 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12813] ppid=12793 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12795/task/12813/stat : 12813 (java) S 12793 12793 11861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476435633 28904853504 7281 33554432000 4194304 4196468 140735179445408 140551063304928 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12814] ppid=12793 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12795/task/12814/stat : 12814 (java) S 12793 12793 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476435634 28904853504 7281 33554432000 4194304 4196468 140735179445408 140551062252464 140552406301314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30576 KiB
[startup+0.209789 s]*
/proc/loadavg: 7.60 7.35 7.29 3/211 12814
/proc/meminfo: memFree=25388116/32770624 swapFree=66988960/67108860
[pid=12793] ppid=12790 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12793/stat : 12793 (xcsp3-exec) S 12790 12793 11861 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476435627 115843072 363 33554432000 4194304 5098028 140722670787040 140722670785144 140473355141756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26804224 140722670793554 140722670793813 140722670793813 140722670796742 0
/proc/12793/statm: 28282 363 304 221 0 87 0
[pid=12795] ppid=12793 vsize=28227396 memory=40596 CPUtime=0.34 cores=0-7
/proc/12795/stat : 12795 (java) S 12793 12793 11861 0 -1 1077944320 9389 0 0 0 31 3 0 0 20 0 20 0 476435627 28904853504 10149 33554432000 4194304 4196468 140735179445408 140735179427952 140552406290167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
/proc/12795/statm: 7056849 10149 3309 1 0 7019032 0
[pid=12795/tid=12796] ppid=12793 vsize=28227396 memory=0 CPUtime=0.2 cores=0-7
/proc/12795/task/12796/stat : 12796 (java) R 12793 12793 11861 0 -1 4202560 6633 0 0 0 18 2 0 0 20 0 20 0 476435628 28904853504 10149 33554432000 4194304 4196468 140735179445408 140552410529840 140552406312093 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12797] ppid=12793 vsize=28227396 memory=732370816020114405 CPUtime=0 cores=0-7
/proc/12795/task/12797/stat : 12797 (java) S 12793 12793 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476435629 28904853504 10149 33554432000 4194304 4196468 140735179445408 140552358910736 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12798] ppid=12793 vsize=28227396 memory=140677682660992 CPUtime=0 cores=0-7
/proc/12795/task/12798/stat : 12798 (java) S 12793 12793 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476435629 28904853504 10149 33554432000 4194304 4196468 140735179445408 140552357858192 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12799] ppid=12793 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12795/task/12799/stat : 12799 (java) S 12793 12793 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476435629 28904853504 10149 33554432000 4194304 4196468 140735179445408 140552356805648 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12800] ppid=12793 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12795/task/12800/stat : 12800 (java) S 12793 12793 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476435629 28904853504 10149 33554432000 4194304 4196468 140735179445408 140552355753104 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12801] ppid=12793 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12795/task/12801/stat : 12801 (java) S 12793 12793 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476435629 28904853504 10149 33554432000 4194304 4196468 140735179445408 140552354699536 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12802] ppid=12793 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12795/task/12802/stat : 12802 (java) S 12793 12793 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476435629 28904853504 10149 33554432000 4194304 4196468 140735179445408 140552353646992 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12803] ppid=12793 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12795/task/12803/stat : 12803 (java) S 12793 12793 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476435629 28904853504 10149 33554432000 4194304 4196468 140735179445408 140552352594448 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12804] ppid=12793 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12795/task/12804/stat : 12804 (java) S 12793 12793 11861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476435629 28904853504 10149 33554432000 4194304 4196468 140735179445408 140552351541904 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12805] ppid=12793 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12795/task/12805/stat : 12805 (java) S 12793 12793 11861 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476435630 28904853504 10149 33554432000 4194304 4196468 140735179445408 140551071726064 140552406301314 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12806] ppid=12793 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12795/task/12806/stat : 12806 (java) S 12793 12793 11861 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476435630 28904853504 10149 33554432000 4194304 4196468 140735179445408 140551070672288 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12807] ppid=12793 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12795/task/12807/stat : 12807 (java) S 12793 12793 11861 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476435631 28904853504 10149 33554432000 4194304 4196468 140735179445408 140551069619696 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12808] ppid=12793 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12795/task/12808/stat : 12808 (java) S 12793 12793 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476435633 28904853504 10149 33554432000 4194304 4196468 140735179445408 140551068568272 140552406308763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12809] ppid=12793 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/12795/task/12809/stat : 12809 (java) S 12793 12793 11861 0 -1 1077944384 345 0 0 0 1 0 0 0 20 0 20 0 476435633 28904853504 10149 33554432000 4194304 4196468 140735179445408 140551067514864 140552406301314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12810] ppid=12793 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/12795/task/12810/stat : 12810 (java) S 12793 12793 11861 0 -1 1077944384 156 0 0 0 1 0 0 0 20 0 20 0 476435633 28904853504 10149 33554432000 4194304 4196468 140735179445408 140551066462320 140552406301314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12811] ppid=12793 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/12795/task/12811/stat : 12811 (java) S 12793 12793 11861 0 -1 1077944384 153 0 0 0 2 0 0 0 20 0 20 0 476435633 28904853504 10149 33554432000 4194304 4196468 140735179445408 140551065409776 140552406301314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12812] ppid=12793 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/12795/task/12812/stat : 12812 (java) S 12793 12793 11861 0 -1 1077944384 785 0 0 0 7 0 0 0 20 0 20 0 476435633 28904853504 10149 33554432000 4194304 4196468 140735179445408 140551064357232 140552406301314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12813] ppid=12793 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12795/task/12813/stat : 12813 (java) S 12793 12793 11861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476435633 28904853504 10149 33554432000 4194304 4196468 140735179445408 140551063304928 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12814] ppid=12793 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12795/task/12814/stat : 12814 (java) S 12793 12793 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476435634 28904853504 10149 33554432000 4194304 4196468 140735179445408 140551062252464 140552406301314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42048 KiB
[startup+0.30944 s]*
/proc/loadavg: 7.60 7.35 7.29 3/211 12814
/proc/meminfo: memFree=25382532/32770624 swapFree=66988960/67108860
[pid=12793] ppid=12790 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12793/stat : 12793 (xcsp3-exec) S 12790 12793 11861 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476435627 115843072 363 33554432000 4194304 5098028 140722670787040 140722670785144 140473355141756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26804224 140722670793554 140722670793813 140722670793813 140722670796742 0
/proc/12793/statm: 28282 363 304 221 0 87 0
[pid=12795] ppid=12793 vsize=28231652 memory=49280 CPUtime=0.52 cores=0-7
/proc/12795/stat : 12795 (java) S 12793 12793 11861 0 -1 1077944320 10681 0 1 0 48 4 0 0 20 0 20 0 476435627 28909211648 12320 33554432000 4194304 4196468 140735179445408 140735179427952 140552406290167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
/proc/12795/statm: 7057913 12320 3342 1 0 7019032 0
[pid=12795/tid=12796] ppid=12793 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/12795/task/12796/stat : 12796 (java) R 12793 12793 11861 0 -1 4202560 7696 0 1 0 27 2 0 0 20 0 20 0 476435628 28909211648 12320 33554432000 4194304 4196468 140735179445408 140552410521280 140552398968181 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12797] ppid=12793 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12795/task/12797/stat : 12797 (java) S 12793 12793 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476435629 28909211648 12320 33554432000 4194304 4196468 140735179445408 140552358910736 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12798] ppid=12793 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12795/task/12798/stat : 12798 (java) S 12793 12793 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476435629 28909211648 12320 33554432000 4194304 4196468 140735179445408 140552357858192 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12799] ppid=12793 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12795/task/12799/stat : 12799 (java) S 12793 12793 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476435629 28909211648 12320 33554432000 4194304 4196468 140735179445408 140552356805648 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12800] ppid=12793 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12795/task/12800/stat : 12800 (java) S 12793 12793 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476435629 28909211648 12320 33554432000 4194304 4196468 140735179445408 140552355753104 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12801] ppid=12793 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12795/task/12801/stat : 12801 (java) S 12793 12793 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476435629 28909211648 12320 33554432000 4194304 4196468 140735179445408 140552354699536 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12802] ppid=12793 vsize=28231652 memory=140677560232623 CPUtime=0 cores=0-7
/proc/12795/task/12802/stat : 12802 (java) S 12793 12793 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476435629 28909211648 12320 33554432000 4194304 4196468 140735179445408 140552353646992 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12803] ppid=12793 vsize=28231652 memory=140677560234928 CPUtime=0 cores=0-7
/proc/12795/task/12803/stat : 12803 (java) S 12793 12793 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476435629 28909211648 12320 33554432000 4194304 4196468 140735179445408 140552352594448 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12804] ppid=12793 vsize=28231652 memory=140677560237232 CPUtime=0 cores=0-7
/proc/12795/task/12804/stat : 12804 (java) S 12793 12793 11861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476435629 28909211648 12320 33554432000 4194304 4196468 140735179445408 140552351541904 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12805] ppid=12793 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12795/task/12805/stat : 12805 (java) S 12793 12793 11861 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476435630 28909211648 12320 33554432000 4194304 4196468 140735179445408 140551071726064 140552406301314 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12806] ppid=12793 vsize=28231652 memory=281355120488336 CPUtime=0 cores=0-7
/proc/12795/task/12806/stat : 12806 (java) S 12793 12793 11861 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476435630 28909211648 12320 33554432000 4194304 4196468 140735179445408 140551070672288 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12807] ppid=12793 vsize=28231652 memory=281355120486032 CPUtime=0 cores=0-7
/proc/12795/task/12807/stat : 12807 (java) S 12793 12793 11861 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476435631 28909211648 12320 33554432000 4194304 4196468 140735179445408 140551069619696 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12808] ppid=12793 vsize=28231652 memory=281355120492944 CPUtime=0 cores=0-7
/proc/12795/task/12808/stat : 12808 (java) S 12793 12793 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476435633 28909211648 12320 33554432000 4194304 4196468 140735179445408 140551068568272 140552406308763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12809] ppid=12793 vsize=28231652 memory=281355120434192 CPUtime=0.02 cores=0-7
/proc/12795/task/12809/stat : 12809 (java) S 12793 12793 11861 0 -1 1077944384 350 0 0 0 2 0 0 0 20 0 20 0 476435633 28909211648 12320 33554432000 4194304 4196468 140735179445408 140551067514864 140552406301314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12810] ppid=12793 vsize=28231652 memory=281355120506768 CPUtime=0.02 cores=0-7
/proc/12795/task/12810/stat : 12810 (java) S 12793 12793 11861 0 -1 1077944384 162 0 0 0 2 0 0 0 20 0 20 0 476435633 28909211648 12320 33554432000 4194304 4196468 140735179445408 140551066462320 140552406301314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12811] ppid=12793 vsize=28231652 memory=281355120513680 CPUtime=0.03 cores=0-7
/proc/12795/task/12811/stat : 12811 (java) S 12793 12793 11861 0 -1 1077944384 194 0 0 0 3 0 0 0 20 0 20 0 476435633 28909211648 12320 33554432000 4194304 4196468 140735179445408 140551065409776 140552406301314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12812] ppid=12793 vsize=28231652 memory=281355120511376 CPUtime=0.12 cores=0-7
/proc/12795/task/12812/stat : 12812 (java) S 12793 12793 11861 0 -1 1077944384 965 0 0 0 12 0 0 0 20 0 20 0 476435633 28909211648 12320 33554432000 4194304 4196468 140735179445408 140551064357232 140552406301314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12813] ppid=12793 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12795/task/12813/stat : 12813 (java) S 12793 12793 11861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476435633 28909211648 12320 33554432000 4194304 4196468 140735179445408 140551063304928 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12814] ppid=12793 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/12795/task/12814/stat : 12814 (java) S 12793 12793 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476435634 28909211648 12320 33554432000 4194304 4196468 140735179445408 140551062252464 140552406301314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50732 KiB
[startup+0.700948 s]
/proc/loadavg: 7.60 7.35 7.29 3/211 12814
/proc/meminfo: memFree=25370104/32770624 swapFree=66988960/67108860
[pid=12793] ppid=12790 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12793/stat : 12793 (xcsp3-exec) S 12790 12793 11861 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476435627 115843072 363 33554432000 4194304 5098028 140722670787040 140722670785144 140473355141756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26804224 140722670793554 140722670793813 140722670793813 140722670796742 0
/proc/12793/statm: 28282 363 304 221 0 87 0
[pid=12795] ppid=12793 vsize=28233776 memory=81956 CPUtime=1.7 cores=0-7
/proc/12795/stat : 12795 (java) S 12793 12793 11861 0 -1 1077944320 14817 0 1 0 164 6 0 0 20 0 20 0 476435627 28911386624 20489 33554432000 4194304 4196468 140735179445408 140735179427952 140552406290167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
/proc/12795/statm: 7058444 20489 3459 1 0 7019544 0
[pid=12795/tid=12796] ppid=12793 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/12795/task/12796/stat : 12796 (java) R 12793 12793 11861 0 -1 4202560 9202 0 1 0 64 4 0 0 20 0 20 0 476435628 28911386624 20489 33554432000 4194304 4196468 140735179445408 140552410524224 140552019105703 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12797] ppid=12793 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/12795/task/12797/stat : 12797 (java) S 12793 12793 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476435629 28911386624 20489 33554432000 4194304 4196468 140735179445408 140552358910736 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12798] ppid=12793 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/12795/task/12798/stat : 12798 (java) S 12793 12793 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476435629 28911386624 20489 33554432000 4194304 4196468 140735179445408 140552357858192 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12799] ppid=12793 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/12795/task/12799/stat : 12799 (java) S 12793 12793 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476435629 28911386624 20489 33554432000 4194304 4196468 140735179445408 140552356805648 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
################
# More data... #
################
[pid=12795/tid=12822] ppid=12793 vsize=28768336 memory=1711112 CPUtime=2415.21 cores=0-7
/proc/12795/task/12822/stat : 12822 (java) R 12793 12793 11861 0 -1 4202560 171989 0 0 0 241429 92 0 0 20 0 28 0 476435731 29458776064 427522 33554432000 4194304 4196468 140735179445408 140550977519840 140552026253569 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
Current children cumulated CPU time: 19396.4 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1711540 KiB
[startup+2502.3 s]
/proc/loadavg: 7.87 7.98 8.07 9/219 13054
/proc/meminfo: memFree=23644800/32770624 swapFree=66989024/67108860
[pid=12793] ppid=12790 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12793/stat : 12793 (xcsp3-exec) S 12790 12793 11861 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476435627 115843072 363 33554432000 4194304 5098028 140722670787040 140722670785144 140473355141756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26804224 140722670793554 140722670793813 140722670793813 140722670796742 0
/proc/12793/statm: 28282 363 304 221 0 87 0
[pid=12795] ppid=12793 vsize=28768336 memory=1766284 CPUtime=19873.5 cores=0-7
/proc/12795/stat : 12795 (java) S 12793 12793 11861 0 -1 1077944320 955307 0 1 0 1986359 992 0 0 20 0 28 0 476435627 29458776064 441571 33554432000 4194304 4196468 140735179445408 140735179427952 140552406290167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
/proc/12795/statm: 7192084 441571 3550 1 0 7153184 0
[pid=12795/tid=12796] ppid=12793 vsize=28768336 memory=1768384 CPUtime=1 cores=0-7
/proc/12795/task/12796/stat : 12796 (java) S 12793 12793 11861 0 -1 1077944384 9707 0 1 0 95 5 0 0 20 0 28 0 476435628 29458776064 441571 33554432000 4194304 4196468 140735179445408 140552410530944 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12797] ppid=12793 vsize=28768336 memory=1772508 CPUtime=11.37 cores=0-7
/proc/12795/task/12797/stat : 12797 (java) S 12793 12793 11861 0 -1 1077944384 25309 0 0 0 1101 36 0 0 20 0 28 0 476435629 29458776064 441571 33554432000 4194304 4196468 140735179445408 140552358910736 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12798] ppid=12793 vsize=28768336 memory=1774524 CPUtime=11.28 cores=0-7
/proc/12795/task/12798/stat : 12798 (java) S 12793 12793 11861 0 -1 1077944384 25315 0 0 0 1091 37 0 0 20 0 28 0 476435629 29458776064 441571 33554432000 4194304 4196468 140735179445408 140552357858192 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12799] ppid=12793 vsize=28768336 memory=1772468 CPUtime=11.36 cores=0-7
/proc/12795/task/12799/stat : 12799 (java) S 12793 12793 11861 0 -1 1077944384 25913 0 0 0 1095 41 0 0 20 0 28 0 476435629 29458776064 441571 33554432000 4194304 4196468 140735179445408 140552356805648 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12800] ppid=12793 vsize=28768336 memory=1772468 CPUtime=11.3 cores=0-7
/proc/12795/task/12800/stat : 12800 (java) S 12793 12793 11861 0 -1 1077944384 28421 0 0 0 1093 37 0 0 20 0 28 0 476435629 29458776064 441571 33554432000 4194304 4196468 140735179445408 140552355753104 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12801] ppid=12793 vsize=28768336 memory=1452 CPUtime=11.33 cores=0-7
/proc/12795/task/12801/stat : 12801 (java) S 12793 12793 11861 0 -1 1077944384 31685 0 0 0 1094 39 0 0 20 0 28 0 476435629 29458776064 441571 33554432000 4194304 4196468 140735179445408 140552354699536 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12802] ppid=12793 vsize=28768336 memory=1775532 CPUtime=11.28 cores=0-7
/proc/12795/task/12802/stat : 12802 (java) S 12793 12793 11861 0 -1 1077944384 32310 0 0 0 1092 36 0 0 20 0 28 0 476435629 29458776064 441571 33554432000 4194304 4196468 140735179445408 140552353646992 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12803] ppid=12793 vsize=28768336 memory=1452 CPUtime=11.31 cores=0-7
/proc/12795/task/12803/stat : 12803 (java) S 12793 12793 11861 0 -1 1077944384 26669 0 0 0 1092 39 0 0 20 0 28 0 476435629 29458776064 441571 33554432000 4194304 4196468 140735179445408 140552352594448 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12804] ppid=12793 vsize=28768336 memory=1452 CPUtime=11.42 cores=0-7
/proc/12795/task/12804/stat : 12804 (java) S 12793 12793 11861 0 -1 1077944384 27118 0 0 0 1105 37 0 0 20 0 28 0 476435629 29458776064 441571 33554432000 4194304 4196468 140735179445408 140552351541904 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12805] ppid=12793 vsize=28768336 memory=0 CPUtime=7.92 cores=0-7
/proc/12795/task/12805/stat : 12805 (java) S 12793 12793 11861 0 -1 1077944384 129721 0 0 0 400 392 0 0 20 0 28 0 476435630 29458776064 441571 33554432000 4194304 4196468 140735179445408 140551071726064 140552406301314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12806] ppid=12793 vsize=28768336 memory=7163635336797512537 CPUtime=0 cores=0-7
/proc/12795/task/12806/stat : 12806 (java) S 12793 12793 11861 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 476435630 29458776064 441571 33554432000 4194304 4196468 140735179445408 140551070672352 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12807] ppid=12793 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/12795/task/12807/stat : 12807 (java) S 12793 12793 11861 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 476435631 29458776064 441571 33554432000 4194304 4196468 140735179445408 140551069619712 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12808] ppid=12793 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/12795/task/12808/stat : 12808 (java) S 12793 12793 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476435633 29458776064 441571 33554432000 4194304 4196468 140735179445408 140551068568272 140552406308763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12809] ppid=12793 vsize=28768336 memory=242600 CPUtime=1.99 cores=0-7
/proc/12795/task/12809/stat : 12809 (java) S 12793 12793 11861 0 -1 1077944384 9598 0 0 0 197 2 0 0 20 0 28 0 476435633 29458776064 441571 33554432000 4194304 4196468 140735179445408 140551067514864 140552406301314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12810] ppid=12793 vsize=28768336 memory=242989 CPUtime=2.18 cores=0-7
/proc/12795/task/12810/stat : 12810 (java) S 12793 12793 11861 0 -1 1077944384 13192 0 0 0 215 3 0 0 20 0 28 0 476435633 29458776064 441571 33554432000 4194304 4196468 140735179445408 140551066462320 140552406301314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12811] ppid=12793 vsize=28768336 memory=1772468 CPUtime=2.05 cores=0-7
/proc/12795/task/12811/stat : 12811 (java) S 12793 12793 11861 0 -1 1077944384 7152 0 0 0 204 1 0 0 20 0 28 0 476435633 29458776064 441571 33554432000 4194304 4196468 140735179445408 140551065409776 140552406301314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12812] ppid=12793 vsize=28768336 memory=3620 CPUtime=0.85 cores=0-7
/proc/12795/task/12812/stat : 12812 (java) S 12793 12793 11861 0 -1 1077944384 8768 0 0 0 84 1 0 0 20 0 28 0 476435633 29458776064 441571 33554432000 4194304 4196468 140735179445408 140551064357232 140552406301314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12813] ppid=12793 vsize=28768336 memory=39352 CPUtime=0 cores=0-7
/proc/12795/task/12813/stat : 12813 (java) S 12793 12793 11861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476435633 29458776064 441571 33554432000 4194304 4196468 140735179445408 140551063304928 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12814] ppid=12793 vsize=28768336 memory=1452 CPUtime=0.63 cores=0-7
/proc/12795/task/12814/stat : 12814 (java) S 12793 12793 11861 0 -1 1077944384 4124 0 0 0 60 3 0 0 20 0 28 0 476435634 29458776064 441571 33554432000 4194304 4196468 140735179445408 140551062252464 140552406301314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12815] ppid=12793 vsize=28768336 memory=1452 CPUtime=2469.85 cores=0-7
/proc/12795/task/12815/stat : 12815 (java) R 12793 12793 11861 0 -1 4202560 15420 0 0 0 246973 12 0 0 20 0 28 0 476435730 29458776064 441571 33554432000 4194304 4196468 140735179445408 140550984888080 140552024273819 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12816] ppid=12793 vsize=28768336 memory=1774524 CPUtime=2468.29 cores=0-7
/proc/12795/task/12816/stat : 12816 (java) R 12793 12793 11861 0 -1 4202560 11818 0 0 0 246816 13 0 0 20 0 28 0 476435731 29458776064 441571 33554432000 4194304 4196468 140735179445408 140550983836048 140552023057731 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12817] ppid=12793 vsize=28768336 memory=-3622645143214314312 CPUtime=2469.75 cores=0-7
/proc/12795/task/12817/stat : 12817 (java) R 12793 12793 11861 0 -1 4202560 28889 0 0 0 246954 21 0 0 20 0 28 0 476435731 29458776064 441571 33554432000 4194304 4196468 140735179445408 140550982785568 140552017385558 0 4 0 16800975 0 0 0 -1 3 0 0 19 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12818] ppid=12793 vsize=28768336 memory=3620 CPUtime=2470.57 cores=0-7
/proc/12795/task/12818/stat : 12818 (java) R 12793 12793 11861 0 -1 4202560 115087 0 0 0 246993 64 0 0 20 0 28 0 476435731 29458776064 441571 33554432000 4194304 4196468 140735179445408 140550981730312 140552023597830 0 4 0 16800975 0 0 0 -1 7 0 0 14 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12819] ppid=12793 vsize=28768336 memory=39352 CPUtime=2474.58 cores=0-7
/proc/12795/task/12819/stat : 12819 (java) R 12793 12793 11861 0 -1 4202560 106897 0 0 0 247410 48 0 0 20 0 28 0 476435731 29458776064 441571 33554432000 4194304 4196468 140735179445408 140550980677568 140552023092834 0 4 0 16800975 0 0 0 -1 6 0 0 14 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12820] ppid=12793 vsize=28768336 memory=1771456 CPUtime=2468.83 cores=0-7
/proc/12795/task/12820/stat : 12820 (java) R 12793 12793 11861 0 -1 4202560 14467 0 0 0 246869 14 0 0 20 0 28 0 476435731 29458776064 441571 33554432000 4194304 4196468 140735179445408 140550979624816 140552022923426 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12821] ppid=12793 vsize=28768336 memory=2004 CPUtime=2469.57 cores=0-7
/proc/12795/task/12821/stat : 12821 (java) R 12793 12793 11861 0 -1 4202560 83103 0 0 0 246907 50 0 0 20 0 28 0 476435731 29458776064 441571 33554432000 4194304 4196468 140735179445408 140550978572264 140552023057676 0 4 0 16800975 0 0 0 -1 5 0 0 17 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12822] ppid=12793 vsize=28768336 memory=984 CPUtime=2474.65 cores=0-7
/proc/12795/task/12822/stat : 12822 (java) R 12793 12793 11861 0 -1 4202560 173254 0 0 0 247373 92 0 0 20 0 28 0 476435731 29458776064 441571 33554432000 4194304 4196468 140735179445408 140550977519744 140552024495128 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
Current children cumulated CPU time: 19873.5 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1767736 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.05 8.01 8.08 9/220 13063
/proc/meminfo: memFree=23656500/32770624 swapFree=66989032/67108860
[pid=12793] ppid=12790 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12793/stat : 12793 (xcsp3-exec) S 12790 12793 11861 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476435627 115843072 363 33554432000 4194304 5098028 140722670787040 140722670785144 140473355141756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26804224 140722670793554 140722670793813 140722670793813 140722670796742 0
/proc/12793/statm: 28282 363 304 221 0 87 0
[pid=12795] ppid=12793 vsize=28768336 memory=1763652 CPUtime=20014.3 cores=0-7
/proc/12795/stat : 12795 (java) S 12793 12793 11861 0 -1 1077944320 955784 0 1 0 2000428 1002 0 0 20 0 28 0 476435627 29458776064 440913 33554432000 4194304 4196468 140735179445408 140735179427952 140552406290167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
/proc/12795/statm: 7192084 440913 3550 1 0 7153184 0
[pid=12795/tid=12796] ppid=12793 vsize=28768336 memory=1398722017469774279 CPUtime=1 cores=0-7
/proc/12795/task/12796/stat : 12796 (java) S 12793 12793 11861 0 -1 1077944384 9707 0 1 0 95 5 0 0 20 0 28 0 476435628 29458776064 440913 33554432000 4194304 4196468 140735179445408 140552410530944 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12797] ppid=12793 vsize=28768336 memory=1759068 CPUtime=11.47 cores=0-7
/proc/12795/task/12797/stat : 12797 (java) S 12793 12793 11861 0 -1 1077944384 25340 0 0 0 1110 37 0 0 20 0 28 0 476435629 29458776064 440913 33554432000 4194304 4196468 140735179445408 140552358910736 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12798] ppid=12793 vsize=28768336 memory=924 CPUtime=11.37 cores=0-7
/proc/12795/task/12798/stat : 12798 (java) S 12793 12793 11861 0 -1 1077944384 25377 0 0 0 1100 37 0 0 20 0 28 0 476435629 29458776064 440913 33554432000 4194304 4196468 140735179445408 140552357858192 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12799] ppid=12793 vsize=28768336 memory=4132 CPUtime=11.45 cores=0-7
/proc/12795/task/12799/stat : 12799 (java) S 12793 12793 11861 0 -1 1077944384 25927 0 0 0 1103 42 0 0 20 0 28 0 476435629 29458776064 440913 33554432000 4194304 4196468 140735179445408 140552356805648 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12800] ppid=12793 vsize=28768336 memory=-7003737579269690708 CPUtime=11.38 cores=0-7
/proc/12795/task/12800/stat : 12800 (java) S 12793 12793 11861 0 -1 1077944384 28466 0 0 0 1101 37 0 0 20 0 28 0 476435629 29458776064 440913 33554432000 4194304 4196468 140735179445408 140552355753104 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12801] ppid=12793 vsize=28768336 memory=1576 CPUtime=11.42 cores=0-7
/proc/12795/task/12801/stat : 12801 (java) S 12793 12793 11861 0 -1 1077944384 31734 0 0 0 1103 39 0 0 20 0 28 0 476435629 29458776064 440913 33554432000 4194304 4196468 140735179445408 140552354699536 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12802] ppid=12793 vsize=28768336 memory=1028 CPUtime=11.37 cores=0-7
/proc/12795/task/12802/stat : 12802 (java) S 12793 12793 11861 0 -1 1077944384 32326 0 0 0 1100 37 0 0 20 0 28 0 476435629 29458776064 440913 33554432000 4194304 4196468 140735179445408 140552353646992 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12803] ppid=12793 vsize=28768336 memory=1060 CPUtime=11.41 cores=0-7
/proc/12795/task/12803/stat : 12803 (java) S 12793 12793 11861 0 -1 1077944384 26682 0 0 0 1101 40 0 0 20 0 28 0 476435629 29458776064 440913 33554432000 4194304 4196468 140735179445408 140552352594448 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12804] ppid=12793 vsize=28768336 memory=2828 CPUtime=11.51 cores=0-7
/proc/12795/task/12804/stat : 12804 (java) S 12793 12793 11861 0 -1 1077944384 27145 0 0 0 1114 37 0 0 20 0 28 0 476435629 29458776064 440913 33554432000 4194304 4196468 140735179445408 140552351541904 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12805] ppid=12793 vsize=28768336 memory=756 CPUtime=7.98 cores=0-7
/proc/12795/task/12805/stat : 12805 (java) S 12793 12793 11861 0 -1 1077944384 129723 0 0 0 402 396 0 0 20 0 28 0 476435630 29458776064 440913 33554432000 4194304 4196468 140735179445408 140551071726064 140552406301314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12806] ppid=12793 vsize=28768336 memory=1548 CPUtime=0 cores=0-7
/proc/12795/task/12806/stat : 12806 (java) S 12793 12793 11861 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 476435630 29458776064 440913 33554432000 4194304 4196468 140735179445408 140551070672352 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12807] ppid=12793 vsize=28768336 memory=7976 CPUtime=0 cores=0-7
/proc/12795/task/12807/stat : 12807 (java) S 12793 12793 11861 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 476435631 29458776064 440913 33554432000 4194304 4196468 140735179445408 140551069619712 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12808] ppid=12793 vsize=28768336 memory=1164 CPUtime=0 cores=0-7
/proc/12795/task/12808/stat : 12808 (java) S 12793 12793 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476435633 29458776064 440913 33554432000 4194304 4196468 140735179445408 140551068568272 140552406308763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12809] ppid=12793 vsize=28768336 memory=9520 CPUtime=1.99 cores=0-7
/proc/12795/task/12809/stat : 12809 (java) S 12793 12793 11861 0 -1 1077944384 9598 0 0 0 197 2 0 0 20 0 28 0 476435633 29458776064 440913 33554432000 4194304 4196468 140735179445408 140551067514864 140552406301314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12810] ppid=12793 vsize=28768336 memory=14004 CPUtime=2.18 cores=0-7
/proc/12795/task/12810/stat : 12810 (java) S 12793 12793 11861 0 -1 1077944384 13192 0 0 0 215 3 0 0 20 0 28 0 476435633 29458776064 440913 33554432000 4194304 4196468 140735179445408 140551066462320 140552406301314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12811] ppid=12793 vsize=28768336 memory=2120 CPUtime=2.05 cores=0-7
/proc/12795/task/12811/stat : 12811 (java) S 12793 12793 11861 0 -1 1077944384 7152 0 0 0 204 1 0 0 20 0 28 0 476435633 29458776064 440913 33554432000 4194304 4196468 140735179445408 140551065409776 140552406301314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12812] ppid=12793 vsize=28768336 memory=12028 CPUtime=0.85 cores=0-7
/proc/12795/task/12812/stat : 12812 (java) S 12793 12793 11861 0 -1 1077944384 8768 0 0 0 84 1 0 0 20 0 28 0 476435633 29458776064 440913 33554432000 4194304 4196468 140735179445408 140551064357232 140552406301314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12813] ppid=12793 vsize=28768336 memory=15876 CPUtime=0 cores=0-7
/proc/12795/task/12813/stat : 12813 (java) S 12793 12793 11861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476435633 29458776064 440913 33554432000 4194304 4196468 140735179445408 140551063304928 140552406300373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12814] ppid=12793 vsize=28768336 memory=512 CPUtime=0.63 cores=0-7
/proc/12795/task/12814/stat : 12814 (java) S 12793 12793 11861 0 -1 1077944384 4126 0 0 0 60 3 0 0 20 0 28 0 476435634 29458776064 440913 33554432000 4194304 4196468 140735179445408 140551062252464 140552406301314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12815] ppid=12793 vsize=28768336 memory=1564 CPUtime=2487.38 cores=0-7
/proc/12795/task/12815/stat : 12815 (java) R 12793 12793 11861 0 -1 4202560 15440 0 0 0 248726 12 0 0 20 0 28 0 476435730 29458776064 440913 33554432000 4194304 4196468 140735179445408 140550984887576 140552024276539 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12816] ppid=12793 vsize=28768336 memory=928 CPUtime=2485.67 cores=0-7
/proc/12795/task/12816/stat : 12816 (java) R 12793 12793 11861 0 -1 4202560 11840 0 0 0 248554 13 0 0 20 0 28 0 476435731 29458776064 440913 33554432000 4194304 4196468 140735179445408 140550983836680 140552023057719 0 4 0 16800975 0 0 0 -1 6 0 0 12 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12817] ppid=12793 vsize=28768336 memory=3784 CPUtime=2487.22 cores=0-7
/proc/12795/task/12817/stat : 12817 (java) R 12793 12793 11861 0 -1 4202560 28920 0 0 0 248701 21 0 0 20 0 28 0 476435731 29458776064 440913 33554432000 4194304 4196468 140735179445408 140550982782600 140552024276614 0 4 0 16800975 0 0 0 -1 7 0 0 19 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12818] ppid=12793 vsize=28768336 memory=1440 CPUtime=2488.02 cores=0-7
/proc/12795/task/12818/stat : 12818 (java) R 12793 12793 11861 0 -1 4202560 115129 0 0 0 248738 64 0 0 20 0 28 0 476435731 29458776064 440913 33554432000 4194304 4196468 140735179445408 140550981730016 140552024126329 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12819] ppid=12793 vsize=28768336 memory=904 CPUtime=2492.12 cores=0-7
/proc/12795/task/12819/stat : 12819 (java) R 12793 12793 11861 0 -1 4202560 106920 0 0 0 249164 48 0 0 20 0 28 0 476435731 29458776064 440913 33554432000 4194304 4196468 140735179445408 140550980680496 140552020215497 0 4 0 16800975 0 0 0 -1 4 0 0 14 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12820] ppid=12793 vsize=28768336 memory=1984 CPUtime=2486.36 cores=0-7
/proc/12795/task/12820/stat : 12820 (java) R 12793 12793 11861 0 -1 4202560 14485 0 0 0 248622 14 0 0 20 0 28 0 476435731 29458776064 440913 33554432000 4194304 4196468 140735179445408 140550979624984 140552023057719 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12821] ppid=12793 vsize=28768336 memory=2528 CPUtime=2487.07 cores=0-7
/proc/12795/task/12821/stat : 12821 (java) R 12793 12793 11861 0 -1 4202560 83143 0 0 0 248657 50 0 0 20 0 28 0 476435731 29458776064 440913 33554432000 4194304 4196468 140735179445408 140550978572632 140552023188667 0 4 0 16800975 0 0 0 -1 5 0 0 17 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
[pid=12795/tid=12822] ppid=12793 vsize=28768336 memory=1764 CPUtime=2492.22 cores=0-7
/proc/12795/task/12822/stat : 12822 (java) R 12793 12793 11861 0 -1 4202560 173274 0 0 0 249130 92 0 0 20 0 28 0 476435731 29458776064 440913 33554432000 4194304 4196468 140735179445408 140550977519608 140552026253585 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 37883904 140735179449302 140735179449478 140735179449478 140735179452367 0
Current children cumulated CPU time: 20014.3 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1765104 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 12793 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000845 s, system=0.001691 s
[startup+2520.13 s]
# the end of solver process 12795 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20005 s, system=10.0526 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.13
CPU time (s): 20015.1
CPU user time (s): 20005
CPU system time (s): 10.0526
CPU usage (%): 794.208
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 1784068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20005
system time used= 10.0526
maximum resident set size= 1782616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 956479
page faults= 1
swaps= 0
block input operations= 176
block output operations= 3600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 213019
involuntary context switches= 247560
# summary of solver processes directly reported to runsolver:
# pid: 12793,12795
# total CPU time (s): 20015.1
# total CPU user time (s): 20005
# total CPU system time (s): 10.0526
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.8308 second user time and 24.9172 second system time
The end
Begin job on node121 at 2019-09-20 19:48:08 IDJOB=4404272 IDBENCH=128090 IDSOLVER=2865 FILE ID=node121/4404272-1569001730 RUNJOBID= node121-1568994120-11888 PBS_JOBID= 21704715 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-16-81.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-4404272-1569001730/watcher-4404272-1569001730 -o /var/tmp/evaluation-result-4404272-1569001730/solver-4404272-1569001730 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1568994120-11888 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 510749994 HOME/instance-4404272-1569001730.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e1683218a1e3c524b21c5eaa634d1705 RANDOM SEED=510749994 node121.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: 25416732 kB MemAvailable: 31856912 kB Buffers: 90472 kB Cached: 6445048 kB SwapCached: 5516 kB Active: 3220088 kB Inactive: 3322800 kB Active(anon): 2752 kB Inactive(anon): 42704 kB Active(file): 3217336 kB Inactive(file): 3280096 kB Unevictable: 111172 kB Mlocked: 111172 kB SwapTotal: 67108860 kB SwapFree: 66988960 kB Dirty: 26208 kB Writeback: 0 kB AnonPages: 112652 kB Mapped: 46484 kB Shmem: 29528 kB Slab: 400436 kB SReclaimable: 371208 kB SUnreclaim: 29228 kB KernelStack: 3424 kB PageTables: 5800 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506312 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /var/tmp at the end= 13484 MiB End job on node121 at 2019-09-20 20:30:08