| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| choco-solver 2019-06-14 parallel | ? (TO) | 20055.7 | 2520.16 |
| 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-4393512-1568430816.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4393512-1568430816.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 3.11/1.01 c solve instance... 20054.84/2520.08 s UNKNOWN 20054.84/2520.08 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 (14526 MiB free)
memory of node 1: 16384 MiB (15621 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393512-1568430816/watcher-4393512-1568430816 -o /tmp/evaluation-result-4393512-1568430816/solver-4393512-1568430816 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1568426266-31650 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1328098948 HOME/instance-4393512-1568430816.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=404, runsolver pid=401
Current StackSize limit: 8192 KiB
[startup+0.100136 s]*
/proc/loadavg: 7.90 8.15 8.00 3/213 426
/proc/meminfo: memFree=30856044/32770624 swapFree=66967044/67108860
[pid=404] ppid=401 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/404/stat : 404 (xcsp3-exec) S 401 404 31623 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419348412 115843072 363 33554432000 4194304 5098028 140722851023760 140722851021864 140583213552252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32051200 140722851029877 140722851030121 140722851030121 140722851033034 0
/proc/404/statm: 28282 363 305 221 0 87 0
[pid=406] ppid=404 vsize=28227388 memory=28936 CPUtime=0.12 cores=0-7
/proc/406/stat : 406 (java) S 404 404 31623 0 -1 1077944320 5700 0 0 0 11 1 0 0 20 0 20 0 419348412 28904845312 7234 33554432000 4194304 4196468 140734634794304 140734634776848 140391535681271 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
/proc/406/statm: 7056847 7234 3121 1 0 7019032 0
[pid=406/tid=407] ppid=404 vsize=28227388 memory=8390339637985935414 CPUtime=0.08 cores=0-7
/proc/406/task/407/stat : 407 (java) R 404 404 31623 0 -1 4202560 3618 0 0 0 8 0 0 0 20 0 20 0 419348412 28904845312 7234 33554432000 4194304 4196468 140734634794304 140391539916288 140391535693206 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=408] ppid=404 vsize=28227388 memory=288230596134830103 CPUtime=0 cores=0-7
/proc/406/task/408/stat : 408 (java) S 404 404 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419348413 28904845312 7234 33554432000 4194304 4196468 140734634794304 140391488301456 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=409] ppid=404 vsize=28227388 memory=4048930087944767136 CPUtime=0 cores=0-7
/proc/406/task/409/stat : 409 (java) S 404 404 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419348413 28904845312 7234 33554432000 4194304 4196468 140734634794304 140391487248656 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=410] ppid=404 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/406/task/410/stat : 410 (java) S 404 404 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419348413 28904845312 7234 33554432000 4194304 4196468 140734634794304 140391486196368 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=411] ppid=404 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/406/task/411/stat : 411 (java) S 404 404 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419348413 28904845312 7234 33554432000 4194304 4196468 140734634794304 140391485143568 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=412] ppid=404 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/406/task/412/stat : 412 (java) S 404 404 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419348413 28904845312 7234 33554432000 4194304 4196468 140734634794304 140391484091280 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=414] ppid=404 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/406/task/414/stat : 414 (java) S 404 404 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419348413 28904845312 7234 33554432000 4194304 4196468 140734634794304 140391483038480 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=415] ppid=404 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/406/task/415/stat : 415 (java) S 404 404 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419348413 28904845312 7234 33554432000 4194304 4196468 140734634794304 140391481986192 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=416] ppid=404 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/406/task/416/stat : 416 (java) S 404 404 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419348413 28904845312 7234 33554432000 4194304 4196468 140734634794304 140391480933392 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=417] ppid=404 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/406/task/417/stat : 417 (java) S 404 404 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419348414 28904845312 7234 33554432000 4194304 4196468 140734634794304 140390718953584 140391535692418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=418] ppid=404 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/406/task/418/stat : 418 (java) S 404 404 31623 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419348415 28904845312 7234 33554432000 4194304 4196468 140734634794304 140390717899552 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=419] ppid=404 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/406/task/419/stat : 419 (java) S 404 404 31623 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419348415 28904845312 7234 33554432000 4194304 4196468 140734634794304 140390716847216 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=420] ppid=404 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/406/task/420/stat : 420 (java) S 404 404 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419348417 28904845312 7234 33554432000 4194304 4196468 140734634794304 140390715795536 140391535699867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=421] ppid=404 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/406/task/421/stat : 421 (java) S 404 404 31623 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 419348418 28904845312 7234 33554432000 4194304 4196468 140734634794304 140390714743408 140391535692418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=422] ppid=404 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/406/task/422/stat : 422 (java) S 404 404 31623 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 20 0 419348418 28904845312 7234 33554432000 4194304 4196468 140734634794304 140390713690608 140391535692418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=423] ppid=404 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/406/task/423/stat : 423 (java) S 404 404 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419348418 28904845312 7234 33554432000 4194304 4196468 140734634794304 140390712638320 140391535692418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=424] ppid=404 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/406/task/424/stat : 424 (java) S 404 404 31623 0 -1 1077944384 340 0 0 0 2 0 0 0 20 0 20 0 419348418 28904845312 7234 33554432000 4194304 4196468 140734634794304 140390711585520 140391535692418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=425] ppid=404 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/406/task/425/stat : 425 (java) S 404 404 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419348418 28904845312 7234 33554432000 4194304 4196468 140734634794304 140390710532448 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=426] ppid=404 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/406/task/426/stat : 426 (java) S 404 404 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419348418 28904845312 7234 33554432000 4194304 4196468 140734634794304 140390709479728 140391535692418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30388 KiB
[startup+0.210557 s]*
/proc/loadavg: 7.90 8.15 8.00 3/213 426
/proc/meminfo: memFree=30843020/32770624 swapFree=66967044/67108860
[pid=404] ppid=401 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/404/stat : 404 (xcsp3-exec) S 401 404 31623 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419348412 115843072 363 33554432000 4194304 5098028 140722851023760 140722851021864 140583213552252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32051200 140722851029877 140722851030121 140722851030121 140722851033034 0
/proc/404/statm: 28282 363 305 221 0 87 0
[pid=406] ppid=404 vsize=28227388 memory=41096 CPUtime=0.33 cores=0-7
/proc/406/stat : 406 (java) S 404 404 31623 0 -1 1077944320 9508 0 0 0 30 3 0 0 20 0 20 0 419348412 28904845312 10274 33554432000 4194304 4196468 140734634794304 140734634776848 140391535681271 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
/proc/406/statm: 7056847 10274 3305 1 0 7019032 0
[pid=406/tid=407] ppid=404 vsize=28227388 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/406/task/407/stat : 407 (java) R 404 404 31623 0 -1 4202560 6647 0 0 0 17 2 0 0 20 0 20 0 419348412 28904845312 10274 33554432000 4194304 4196468 140734634794304 140391539914976 140391156393479 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=408] ppid=404 vsize=28227388 memory=288230596134830103 CPUtime=0 cores=0-7
/proc/406/task/408/stat : 408 (java) S 404 404 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419348413 28904845312 10274 33554432000 4194304 4196468 140734634794304 140391488301456 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=409] ppid=404 vsize=28227388 memory=4048930087944767136 CPUtime=0 cores=0-7
/proc/406/task/409/stat : 409 (java) S 404 404 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419348413 28904845312 10274 33554432000 4194304 4196468 140734634794304 140391487248656 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=410] ppid=404 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/406/task/410/stat : 410 (java) S 404 404 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419348413 28904845312 10274 33554432000 4194304 4196468 140734634794304 140391486196368 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=411] ppid=404 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/406/task/411/stat : 411 (java) S 404 404 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419348413 28904845312 10274 33554432000 4194304 4196468 140734634794304 140391485143568 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=412] ppid=404 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/406/task/412/stat : 412 (java) S 404 404 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419348413 28904845312 10274 33554432000 4194304 4196468 140734634794304 140391484091280 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=414] ppid=404 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/406/task/414/stat : 414 (java) S 404 404 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419348413 28904845312 10274 33554432000 4194304 4196468 140734634794304 140391483038480 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=415] ppid=404 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/406/task/415/stat : 415 (java) S 404 404 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419348413 28904845312 10274 33554432000 4194304 4196468 140734634794304 140391481986192 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=416] ppid=404 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/406/task/416/stat : 416 (java) S 404 404 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419348413 28904845312 10274 33554432000 4194304 4196468 140734634794304 140391480933392 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=417] ppid=404 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/406/task/417/stat : 417 (java) S 404 404 31623 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419348414 28904845312 10274 33554432000 4194304 4196468 140734634794304 140390718953584 140391535692418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=418] ppid=404 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/406/task/418/stat : 418 (java) S 404 404 31623 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419348415 28904845312 10274 33554432000 4194304 4196468 140734634794304 140390717899552 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=419] ppid=404 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/406/task/419/stat : 419 (java) S 404 404 31623 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419348415 28904845312 10274 33554432000 4194304 4196468 140734634794304 140390716847216 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=420] ppid=404 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/406/task/420/stat : 420 (java) S 404 404 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419348417 28904845312 10274 33554432000 4194304 4196468 140734634794304 140390715795536 140391535699867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=421] ppid=404 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/406/task/421/stat : 421 (java) S 404 404 31623 0 -1 1077944384 411 0 0 0 1 0 0 0 20 0 20 0 419348418 28904845312 10274 33554432000 4194304 4196468 140734634794304 140390714743408 140391535692418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=422] ppid=404 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/406/task/422/stat : 422 (java) S 404 404 31623 0 -1 1077944384 162 0 0 0 1 0 0 0 20 0 20 0 419348418 28904845312 10274 33554432000 4194304 4196468 140734634794304 140390713690608 140391535692418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=423] ppid=404 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/406/task/423/stat : 423 (java) S 404 404 31623 0 -1 1077944384 227 0 0 0 1 0 0 0 20 0 20 0 419348418 28904845312 10274 33554432000 4194304 4196468 140734634794304 140390712638320 140391535692418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=424] ppid=404 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7
/proc/406/task/424/stat : 424 (java) R 404 404 31623 0 -1 4202560 759 0 0 0 8 0 0 0 20 0 20 0 419348418 28904845312 10274 33554432000 4194304 4196468 140734634794304 140390711585520 140391535693206 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=425] ppid=404 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/406/task/425/stat : 425 (java) S 404 404 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419348418 28904845312 10274 33554432000 4194304 4196468 140734634794304 140390710532448 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=426] ppid=404 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/406/task/426/stat : 426 (java) S 404 404 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419348418 28904845312 10274 33554432000 4194304 4196468 140734634794304 140390709479728 140391535692418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42548 KiB
[startup+0.310463 s]*
/proc/loadavg: 7.90 8.15 8.00 5/213 426
/proc/meminfo: memFree=30835252/32770624 swapFree=66967044/67108860
[pid=404] ppid=401 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/404/stat : 404 (xcsp3-exec) S 401 404 31623 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419348412 115843072 363 33554432000 4194304 5098028 140722851023760 140722851021864 140583213552252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32051200 140722851029877 140722851030121 140722851030121 140722851033034 0
/proc/404/statm: 28282 363 305 221 0 87 0
[pid=406] ppid=404 vsize=28231644 memory=49832 CPUtime=0.51 cores=0-7
/proc/406/stat : 406 (java) S 404 404 31623 0 -1 1077944320 10841 0 0 0 47 4 0 0 20 0 20 0 419348412 28909203456 12458 33554432000 4194304 4196468 140734634794304 140734634776848 140391535681271 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
/proc/406/statm: 7057911 12458 3346 1 0 7019032 0
[pid=406/tid=407] ppid=404 vsize=28231644 memory=1398720917958146503 CPUtime=0.3 cores=0-7
/proc/406/task/407/stat : 407 (java) R 404 404 31623 0 -1 4202560 7821 0 0 0 27 3 0 0 20 0 20 0 419348412 28909203456 12490 33554432000 4194304 4196468 140734634794304 140391539913600 140391519761758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=408] ppid=404 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/406/task/408/stat : 408 (java) S 404 404 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419348413 28909203456 12490 33554432000 4194304 4196468 140734634794304 140391488301456 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=409] ppid=404 vsize=28231644 memory=139909806606008 CPUtime=0 cores=0-7
/proc/406/task/409/stat : 409 (java) S 404 404 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419348413 28909203456 12490 33554432000 4194304 4196468 140734634794304 140391487248656 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=410] ppid=404 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/406/task/410/stat : 410 (java) S 404 404 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419348413 28909203456 12490 33554432000 4194304 4196468 140734634794304 140391486196368 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=411] ppid=404 vsize=28231644 memory=2240 CPUtime=0 cores=0-7
/proc/406/task/411/stat : 411 (java) S 404 404 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419348413 28909203456 12490 33554432000 4194304 4196468 140734634794304 140391485143568 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=412] ppid=404 vsize=28231644 memory=2241 CPUtime=0 cores=0-7
/proc/406/task/412/stat : 412 (java) S 404 404 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419348413 28909203456 12490 33554432000 4194304 4196468 140734634794304 140391484091280 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=414] ppid=404 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/406/task/414/stat : 414 (java) S 404 404 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419348413 28909203456 12490 33554432000 4194304 4196468 140734634794304 140391483038480 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=415] ppid=404 vsize=28231644 memory=279819401240096 CPUtime=0 cores=0-7
/proc/406/task/415/stat : 415 (java) S 404 404 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419348413 28909203456 12490 33554432000 4194304 4196468 140734634794304 140391481986192 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=416] ppid=404 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/406/task/416/stat : 416 (java) S 404 404 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419348413 28909203456 12490 33554432000 4194304 4196468 140734634794304 140391480933392 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=417] ppid=404 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/406/task/417/stat : 417 (java) S 404 404 31623 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419348414 28909203456 12490 33554432000 4194304 4196468 140734634794304 140390718953584 140391535692418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=418] ppid=404 vsize=28231644 memory=674 CPUtime=0 cores=0-7
/proc/406/task/418/stat : 418 (java) S 404 404 31623 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419348415 28909203456 12490 33554432000 4194304 4196468 140734634794304 140390717899552 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=419] ppid=404 vsize=28231644 memory=276 CPUtime=0 cores=0-7
/proc/406/task/419/stat : 419 (java) S 404 404 31623 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419348415 28909203456 12490 33554432000 4194304 4196468 140734634794304 140390716847216 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=420] ppid=404 vsize=28231644 memory=240530 CPUtime=0 cores=0-7
/proc/406/task/420/stat : 420 (java) S 404 404 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419348417 28909203456 12490 33554432000 4194304 4196468 140734634794304 140390715795536 140391535699867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=421] ppid=404 vsize=28231644 memory=1 CPUtime=0.03 cores=0-7
/proc/406/task/421/stat : 421 (java) R 404 404 31623 0 -1 4202560 502 0 0 0 3 0 0 0 20 0 20 0 419348418 28909203456 12490 33554432000 4194304 4196468 140734634794304 140390714743504 140391514924904 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=422] ppid=404 vsize=28231644 memory=30052 CPUtime=0.02 cores=0-7
/proc/406/task/422/stat : 422 (java) S 404 404 31623 0 -1 1077944384 192 0 0 0 2 0 0 0 20 0 20 0 419348418 28909203456 12490 33554432000 4194304 4196468 140734634794304 140390713690608 140391535692418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=423] ppid=404 vsize=28231644 memory=0 CPUtime=0.02 cores=0-7
/proc/406/task/423/stat : 423 (java) S 404 404 31623 0 -1 1077944384 237 0 0 0 2 0 0 0 20 0 20 0 419348418 28909203456 12490 33554432000 4194304 4196468 140734634794304 140390712638320 140391535692418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=424] ppid=404 vsize=28231644 memory=0 CPUtime=0.12 cores=0-7
/proc/406/task/424/stat : 424 (java) S 404 404 31623 0 -1 1077944384 854 0 0 0 12 0 0 0 20 0 20 0 419348418 28909203456 12490 33554432000 4194304 4196468 140734634794304 140390711585520 140391535692418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=425] ppid=404 vsize=28231644 memory=3544649807465296433 CPUtime=0 cores=0-7
/proc/406/task/425/stat : 425 (java) S 404 404 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419348418 28909203456 12490 33554432000 4194304 4196468 140734634794304 140390710532448 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=426] ppid=404 vsize=28231644 memory=3472895575524712495 CPUtime=0 cores=0-7
/proc/406/task/426/stat : 426 (java) S 404 404 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419348418 28909203456 12490 33554432000 4194304 4196468 140734634794304 140390709479728 140391535692418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51284 KiB
[startup+0.700988 s]
/proc/loadavg: 7.90 8.15 8.00 3/213 426
/proc/meminfo: memFree=30824896/32770624 swapFree=66967044/67108860
[pid=404] ppid=401 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/404/stat : 404 (xcsp3-exec) S 401 404 31623 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419348412 115843072 363 33554432000 4194304 5098028 140722851023760 140722851021864 140583213552252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32051200 140722851029877 140722851030121 140722851030121 140722851033034 0
/proc/404/statm: 28282 363 305 221 0 87 0
[pid=406] ppid=404 vsize=28233768 memory=88672 CPUtime=1.79 cores=0-7
/proc/406/stat : 406 (java) S 404 404 31623 0 -1 1077944320 15445 0 0 0 173 6 0 0 20 0 20 0 419348412 28911378432 22168 33554432000 4194304 4196468 140734634794304 140734634776848 140391535681271 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
/proc/406/statm: 7058442 22168 3459 1 0 7019544 0
[pid=406/tid=407] ppid=404 vsize=28233768 memory=1412 CPUtime=0.67 cores=0-7
/proc/406/task/407/stat : 407 (java) R 404 404 31623 0 -1 4202560 9206 0 0 0 64 3 0 0 20 0 20 0 419348412 28911378432 22168 33554432000 4194304 4196468 140734634794304 140391539916096 140391156575712 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=408] ppid=404 vsize=28233768 memory=2388 CPUtime=0 cores=0-7
/proc/406/task/408/stat : 408 (java) S 404 404 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419348413 28911378432 22168 33554432000 4194304 4196468 140734634794304 140391488301456 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=409] ppid=404 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/406/task/409/stat : 409 (java) S 404 404 31623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419348413 28911378432 22168 33554432000 4194304 4196468 140734634794304 140391487248656 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=410] ppid=404 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/406/task/410/stat : 410 (java) S 404 404 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419348413 28911378432 22168 33554432000 4194304 4196468 140734634794304 140391486196368 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
################
# More data... #
################
/proc/406/stat : 406 (java) S 404 404 31623 0 -1 1077944320 1137197 0 0 0 1988871 2493 0 0 20 0 28 0 419348412 29458767872 1530332 33554432000 4194304 4196468 140734634794304 140734634776848 140391535681271 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
/proc/406/statm: 7192082 1530332 3550 1 0 7153184 0
[pid=406/tid=407] ppid=404 vsize=28768328 memory=6121328 CPUtime=1.01 cores=0-7
/proc/406/task/407/stat : 407 (java) S 404 404 31623 0 -1 1077944384 10189 0 0 0 96 5 0 0 20 0 28 0 419348412 29458767872 1530332 33554432000 4194304 4196468 140734634794304 140391539922048 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=408] ppid=404 vsize=28768328 memory=6121328 CPUtime=14.81 cores=0-7
/proc/406/task/408/stat : 408 (java) S 404 404 31623 0 -1 1077944384 37285 0 0 0 1312 169 0 0 20 0 28 0 419348413 29458767872 1530332 33554432000 4194304 4196468 140734634794304 140391488301456 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=409] ppid=404 vsize=28768328 memory=5853280 CPUtime=14.92 cores=0-7
/proc/406/task/409/stat : 409 (java) S 404 404 31623 0 -1 1077944384 44068 0 0 0 1326 166 0 0 20 0 28 0 419348413 29458767872 1530332 33554432000 4194304 4196468 140734634794304 140391487248656 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=410] ppid=404 vsize=28768328 memory=6121328 CPUtime=14.85 cores=0-7
/proc/406/task/410/stat : 410 (java) S 404 404 31623 0 -1 1077944384 36024 0 0 0 1320 165 0 0 20 0 28 0 419348413 29458767872 1530332 33554432000 4194304 4196468 140734634794304 140391486196368 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=411] ppid=404 vsize=28768328 memory=6121328 CPUtime=14.83 cores=0-7
/proc/406/task/411/stat : 411 (java) S 404 404 31623 0 -1 1077944384 35657 0 0 0 1315 168 0 0 20 0 28 0 419348413 29458767872 1530332 33554432000 4194304 4196468 140734634794304 140391485143568 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=412] ppid=404 vsize=28768328 memory=279819402758496 CPUtime=14.89 cores=0-7
/proc/406/task/412/stat : 412 (java) S 404 404 31623 0 -1 1077944384 39260 0 0 0 1324 165 0 0 20 0 28 0 419348413 29458767872 1530332 33554432000 4194304 4196468 140734634794304 140391484091280 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=414] ppid=404 vsize=28768328 memory=1452 CPUtime=14.91 cores=0-7
/proc/406/task/414/stat : 414 (java) S 404 404 31623 0 -1 1077944384 36684 0 0 0 1329 162 0 0 20 0 28 0 419348413 29458767872 1530332 33554432000 4194304 4196468 140734634794304 140391483038480 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=415] ppid=404 vsize=28768328 memory=6121328 CPUtime=14.84 cores=0-7
/proc/406/task/415/stat : 415 (java) S 404 404 31623 0 -1 1077944384 34272 0 0 0 1323 161 0 0 20 0 28 0 419348413 29458767872 1530332 33554432000 4194304 4196468 140734634794304 140391481986192 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=416] ppid=404 vsize=28768328 memory=5769344 CPUtime=14.8 cores=0-7
/proc/406/task/416/stat : 416 (java) S 404 404 31623 0 -1 1077944384 33140 0 0 0 1320 160 0 0 20 0 28 0 419348413 29458767872 1530332 33554432000 4194304 4196468 140734634794304 140391480933392 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=417] ppid=404 vsize=28768328 memory=1412 CPUtime=4.97 cores=0-7
/proc/406/task/417/stat : 417 (java) S 404 404 31623 0 -1 1077944384 119633 0 0 0 255 242 0 0 20 0 28 0 419348414 29458767872 1530332 33554432000 4194304 4196468 140734634794304 140390718953584 140391535692418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=418] ppid=404 vsize=28768328 memory=1452 CPUtime=0 cores=0-7
/proc/406/task/418/stat : 418 (java) S 404 404 31623 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 419348415 29458767872 1530332 33554432000 4194304 4196468 140734634794304 140390717899616 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=419] ppid=404 vsize=28768328 memory=1452 CPUtime=0 cores=0-7
/proc/406/task/419/stat : 419 (java) S 404 404 31623 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 419348415 29458767872 1530332 33554432000 4194304 4196468 140734634794304 140390716847232 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=420] ppid=404 vsize=28768328 memory=1452 CPUtime=0 cores=0-7
/proc/406/task/420/stat : 420 (java) S 404 404 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419348417 29458767872 1530332 33554432000 4194304 4196468 140734634794304 140390715795536 140391535699867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=421] ppid=404 vsize=28768328 memory=5665236 CPUtime=4.55 cores=0-7
/proc/406/task/421/stat : 421 (java) S 404 404 31623 0 -1 1077944384 33228 0 0 0 451 4 0 0 20 0 28 0 419348418 29458767872 1530332 33554432000 4194304 4196468 140734634794304 140390714743408 140391535692418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=422] ppid=404 vsize=28768328 memory=7668336493016470886 CPUtime=4.78 cores=0-7
/proc/406/task/422/stat : 422 (java) S 404 404 31623 0 -1 1077944384 30266 0 0 0 474 4 0 0 20 0 28 0 419348418 29458767872 1530332 33554432000 4194304 4196468 140734634794304 140390713690608 140391535692418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=423] ppid=404 vsize=28768328 memory=7668336493016470886 CPUtime=5.13 cores=0-7
/proc/406/task/423/stat : 423 (java) S 404 404 31623 0 -1 1077944384 28502 0 0 0 506 7 0 0 20 0 28 0 419348418 29458767872 1530332 33554432000 4194304 4196468 140734634794304 140390712638320 140391535692418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=424] ppid=404 vsize=28768328 memory=0 CPUtime=1.27 cores=0-7
/proc/406/task/424/stat : 424 (java) S 404 404 31623 0 -1 1077944384 20241 0 0 0 122 5 0 0 20 0 28 0 419348418 29458767872 1530332 33554432000 4194304 4196468 140734634794304 140390711585520 140391535692418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=425] ppid=404 vsize=28768328 memory=6221003148942661223 CPUtime=0 cores=0-7
/proc/406/task/425/stat : 425 (java) S 404 404 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419348418 29458767872 1530332 33554432000 4194304 4196468 140734634794304 140390710532448 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=426] ppid=404 vsize=28768328 memory=3620 CPUtime=0.8 cores=0-7
/proc/406/task/426/stat : 426 (java) S 404 404 31623 0 -1 1077944384 6432 0 0 0 0 80 0 0 20 0 28 0 419348418 29458767872 1530332 33554432000 4194304 4196468 140734634794304 140390709479728 140391535692418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=428] ppid=404 vsize=28768328 memory=1412 CPUtime=2471.96 cores=0-7
/proc/406/task/428/stat : 428 (java) R 404 404 31623 0 -1 4202560 21605 0 0 0 247175 21 0 0 20 0 28 0 419348516 29458767872 1530332 33554432000 4194304 4196468 140734634794304 140390700268456 140391164778207 0 4 0 16800975 0 0 0 -1 3 0 0 15 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=429] ppid=404 vsize=28768328 memory=6947385649911455296 CPUtime=2472.71 cores=0-7
/proc/406/task/429/stat : 429 (java) R 404 404 31623 0 -1 4202560 20117 0 0 0 247244 27 0 0 20 0 28 0 419348516 29458767872 1530332 33554432000 4194304 4196468 140734634794304 140390697119640 140391164043818 0 4 0 16800975 0 0 0 -1 5 0 0 18 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=430] ppid=404 vsize=28768328 memory=3840 CPUtime=2467.82 cores=0-7
/proc/406/task/430/stat : 430 (java) R 404 404 31623 0 -1 4202560 156211 0 0 0 246532 250 0 0 20 0 28 0 419348516 29458767872 1530332 33554432000 4194304 4196468 140734634794304 140390696067112 140391159501819 0 4 0 16800975 0 0 0 -1 6 0 0 13 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=431] ppid=404 vsize=28768328 memory=1452 CPUtime=2474.19 cores=0-7
/proc/406/task/431/stat : 431 (java) R 404 404 31623 0 -1 4202560 119146 0 0 0 247225 194 0 0 20 0 28 0 419348516 29458767872 1530332 33554432000 4194304 4196468 140734634794304 140390695014792 140391163293447 0 4 0 16800975 0 0 0 -1 4 0 0 19 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=432] ppid=404 vsize=28768328 memory=5853280 CPUtime=2470.52 cores=0-7
/proc/406/task/432/stat : 432 (java) R 404 404 31623 0 -1 4202560 53839 0 0 0 246972 80 0 0 20 0 28 0 419348516 29458767872 1530332 33554432000 4194304 4196468 140734634794304 140390693962296 140391162946007 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=433] ppid=404 vsize=28768328 memory=3620 CPUtime=2470.35 cores=0-7
/proc/406/task/433/stat : 433 (java) R 404 404 31623 0 -1 4202560 68261 0 0 0 246936 99 0 0 20 0 28 0 419348516 29458767872 1530332 33554432000 4194304 4196468 140734634794304 140390692909248 140391163314433 0 4 0 16800975 0 0 0 -1 7 0 0 18 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=434] ppid=404 vsize=28768328 memory=1412 CPUtime=2473.08 cores=0-7
/proc/406/task/434/stat : 434 (java) R 404 404 31623 0 -1 4202560 21851 0 0 0 247278 30 0 0 20 0 28 0 419348516 29458767872 1530332 33554432000 4194304 4196468 140734634794304 140390691856728 140391163794735 0 4 0 16800975 0 0 0 -1 1 0 0 17 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=435] ppid=404 vsize=28768328 memory=3840 CPUtime=2471.4 cores=0-7
/proc/406/task/435/stat : 435 (java) R 404 404 31623 0 -1 4202560 129915 0 0 0 246923 217 0 0 20 0 28 0 419348516 29458767872 1530332 33554432000 4194304 4196468 140734634794304 140390690806112 140391169674214 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
Current children cumulated CPU time: 19913.6 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 6122780 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.53 8.22 8.22 10/221 655
/proc/meminfo: memFree=24620324/32770624 swapFree=66967048/67108860
[pid=404] ppid=401 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/404/stat : 404 (xcsp3-exec) S 401 404 31623 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419348412 115843072 363 33554432000 4194304 5098028 140722851023760 140722851021864 140583213552252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32051200 140722851029877 140722851030121 140722851030121 140722851033034 0
/proc/404/statm: 28282 363 305 221 0 87 0
[pid=406] ppid=404 vsize=28768328 memory=6252416 CPUtime=20054.8 cores=0-7
/proc/406/stat : 406 (java) S 404 404 31623 0 -1 1077944320 1148739 0 0 0 2002939 2545 0 0 20 0 28 0 419348412 29458767872 1563104 33554432000 4194304 4196468 140734634794304 140734634776848 140391535681271 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
/proc/406/statm: 7192082 1563104 3550 1 0 7153184 0
[pid=406/tid=407] ppid=404 vsize=28768328 memory=1398720917958146503 CPUtime=1.01 cores=0-7
/proc/406/task/407/stat : 407 (java) S 404 404 31623 0 -1 1077944384 10189 0 0 0 96 5 0 0 20 0 28 0 419348412 29458767872 1563104 33554432000 4194304 4196468 140734634794304 140391539922048 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=408] ppid=404 vsize=28768328 memory=6947385649911455296 CPUtime=14.9 cores=0-7
/proc/406/task/408/stat : 408 (java) S 404 404 31623 0 -1 1077944384 37490 0 0 0 1317 173 0 0 20 0 28 0 419348413 29458767872 1563104 33554432000 4194304 4196468 140734634794304 140391488301456 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=409] ppid=404 vsize=28768328 memory=1412 CPUtime=15.02 cores=0-7
/proc/406/task/409/stat : 409 (java) S 404 404 31623 0 -1 1077944384 44169 0 0 0 1331 171 0 0 20 0 28 0 419348413 29458767872 1563104 33554432000 4194304 4196468 140734634794304 140391487248656 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=410] ppid=404 vsize=28768328 memory=3840 CPUtime=14.94 cores=0-7
/proc/406/task/410/stat : 410 (java) S 404 404 31623 0 -1 1077944384 36119 0 0 0 1325 169 0 0 20 0 28 0 419348413 29458767872 1563104 33554432000 4194304 4196468 140734634794304 140391486196368 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=411] ppid=404 vsize=28768328 memory=1452 CPUtime=14.92 cores=0-7
/proc/406/task/411/stat : 411 (java) S 404 404 31623 0 -1 1077944384 35959 0 0 0 1319 173 0 0 20 0 28 0 419348413 29458767872 1563104 33554432000 4194304 4196468 140734634794304 140391485143568 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=412] ppid=404 vsize=28768328 memory=6121328 CPUtime=14.97 cores=0-7
/proc/406/task/412/stat : 412 (java) S 404 404 31623 0 -1 1077944384 39377 0 0 0 1330 167 0 0 20 0 28 0 419348413 29458767872 1563104 33554432000 4194304 4196468 140734634794304 140391484091280 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=414] ppid=404 vsize=28768328 memory=1452 CPUtime=15 cores=0-7
/proc/406/task/414/stat : 414 (java) S 404 404 31623 0 -1 1077944384 36779 0 0 0 1334 166 0 0 20 0 28 0 419348413 29458767872 1563104 33554432000 4194304 4196468 140734634794304 140391483038480 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=415] ppid=404 vsize=28768328 memory=1376 CPUtime=14.93 cores=0-7
/proc/406/task/415/stat : 415 (java) S 404 404 31623 0 -1 1077944384 34433 0 0 0 1328 165 0 0 20 0 28 0 419348413 29458767872 1563104 33554432000 4194304 4196468 140734634794304 140391481986192 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=416] ppid=404 vsize=28768328 memory=1060 CPUtime=14.88 cores=0-7
/proc/406/task/416/stat : 416 (java) S 404 404 31623 0 -1 1077944384 34064 0 0 0 1324 164 0 0 20 0 28 0 419348413 29458767872 1563104 33554432000 4194304 4196468 140734634794304 140391480933392 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=417] ppid=404 vsize=28768328 memory=4068 CPUtime=4.97 cores=0-7
/proc/406/task/417/stat : 417 (java) S 404 404 31623 0 -1 1077944384 119851 0 0 0 255 242 0 0 20 0 28 0 419348414 29458767872 1563104 33554432000 4194304 4196468 140734634794304 140390718953584 140391535692418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=418] ppid=404 vsize=28768328 memory=1720 CPUtime=0 cores=0-7
/proc/406/task/418/stat : 418 (java) S 404 404 31623 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 419348415 29458767872 1563104 33554432000 4194304 4196468 140734634794304 140390717899616 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=419] ppid=404 vsize=28768328 memory=5928 CPUtime=0 cores=0-7
/proc/406/task/419/stat : 419 (java) S 404 404 31623 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 419348415 29458767872 1563104 33554432000 4194304 4196468 140734634794304 140390716847232 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=420] ppid=404 vsize=28768328 memory=10484 CPUtime=0 cores=0-7
/proc/406/task/420/stat : 420 (java) S 404 404 31623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419348417 29458767872 1563104 33554432000 4194304 4196468 140734634794304 140390715795536 140391535699867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=421] ppid=404 vsize=28768328 memory=716 CPUtime=4.55 cores=0-7
/proc/406/task/421/stat : 421 (java) S 404 404 31623 0 -1 1077944384 33239 0 0 0 451 4 0 0 20 0 28 0 419348418 29458767872 1563104 33554432000 4194304 4196468 140734634794304 140390714743408 140391535692418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=422] ppid=404 vsize=28768328 memory=780 CPUtime=4.78 cores=0-7
/proc/406/task/422/stat : 422 (java) S 404 404 31623 0 -1 1077944384 30272 0 0 0 474 4 0 0 20 0 28 0 419348418 29458767872 1563104 33554432000 4194304 4196468 140734634794304 140390713690608 140391535692418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=423] ppid=404 vsize=28768328 memory=1552 CPUtime=5.13 cores=0-7
/proc/406/task/423/stat : 423 (java) S 404 404 31623 0 -1 1077944384 28508 0 0 0 506 7 0 0 20 0 28 0 419348418 29458767872 1563104 33554432000 4194304 4196468 140734634794304 140390712638320 140391535692418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=424] ppid=404 vsize=28768328 memory=2832 CPUtime=1.27 cores=0-7
/proc/406/task/424/stat : 424 (java) S 404 404 31623 0 -1 1077944384 20247 0 0 0 122 5 0 0 20 0 28 0 419348418 29458767872 1563104 33554432000 4194304 4196468 140734634794304 140390711585520 140391535692418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=425] ppid=404 vsize=28768328 memory=1452 CPUtime=0 cores=0-7
/proc/406/task/425/stat : 425 (java) S 404 404 31623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419348418 29458767872 1563104 33554432000 4194304 4196468 140734634794304 140390710532448 140391535691477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=426] ppid=404 vsize=28768328 memory=6252416 CPUtime=0.8 cores=0-7
/proc/406/task/426/stat : 426 (java) S 404 404 31623 0 -1 1077944384 6487 0 0 0 0 80 0 0 20 0 28 0 419348418 29458767872 1563104 33554432000 4194304 4196468 140734634794304 140390709479728 140391535692418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=428] ppid=404 vsize=28768328 memory=716 CPUtime=2489.57 cores=0-7
/proc/406/task/428/stat : 428 (java) R 404 404 31623 0 -1 4202560 21836 0 0 0 248936 21 0 0 20 0 28 0 419348516 29458767872 1563104 33554432000 4194304 4196468 140734634794304 140390700268504 140391163032122 0 4 0 16800975 0 0 0 -1 3 0 0 16 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=429] ppid=404 vsize=28768328 memory=780 CPUtime=2490.31 cores=0-7
/proc/406/task/429/stat : 429 (java) R 404 404 31623 0 -1 4202560 20326 0 0 0 249004 27 0 0 20 0 28 0 419348516 29458767872 1563104 33554432000 4194304 4196468 140734634794304 140390697119768 140391163031135 0 4 0 16800975 0 0 0 -1 5 0 0 18 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=430] ppid=404 vsize=28768328 memory=1552 CPUtime=2485.43 cores=0-7
/proc/406/task/430/stat : 430 (java) R 404 404 31623 0 -1 4202560 157514 0 0 0 248293 250 0 0 20 0 28 0 419348516 29458767872 1563104 33554432000 4194304 4196468 140734634794304 140390696067328 140391156623246 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=431] ppid=404 vsize=28768328 memory=2832 CPUtime=2491.81 cores=0-7
/proc/406/task/431/stat : 431 (java) R 404 404 31623 0 -1 4202560 120050 0 0 0 248984 197 0 0 20 0 28 0 419348516 29458767872 1563104 33554432000 4194304 4196468 140734634794304 140390695014280 140391160322036 0 4 0 16800975 0 0 0 -1 6 0 0 20 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=432] ppid=404 vsize=28768328 memory=1192 CPUtime=2488.12 cores=0-7
/proc/406/task/432/stat : 432 (java) R 404 404 31623 0 -1 4202560 57231 0 0 0 248728 84 0 0 20 0 28 0 419348516 29458767872 1563104 33554432000 4194304 4196468 140734634794304 140390693965232 140391162946404 0 4 0 16800975 0 0 0 -1 0 0 0 18 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=433] ppid=404 vsize=28768328 memory=940 CPUtime=2487.63 cores=0-7
/proc/406/task/433/stat : 433 (java) R 404 404 31623 0 -1 4202560 68773 0 0 0 248663 100 0 0 20 0 28 0 419348516 29458767872 1563104 33554432000 4194304 4196468 140734634794304 140390692909496 140391164370764 0 4 0 16800975 0 0 0 -1 7 0 0 19 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=434] ppid=404 vsize=28768328 memory=14008 CPUtime=2490.69 cores=0-7
/proc/406/task/434/stat : 434 (java) R 404 404 31623 0 -1 4202560 22070 0 0 0 249039 30 0 0 20 0 28 0 419348516 29458767872 1563104 33554432000 4194304 4196468 140734634794304 140390691856184 140391163031042 0 4 0 16800975 0 0 0 -1 1 0 0 18 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
[pid=406/tid=435] ppid=404 vsize=28768328 memory=11824 CPUtime=2489.02 cores=0-7
/proc/406/task/435/stat : 435 (java) R 404 404 31623 0 -1 4202560 132385 0 0 0 248673 229 0 0 20 0 28 0 419348516 29458767872 1563104 33554432000 4194304 4196468 140734634794304 140390690803384 140391162865963 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
Current children cumulated CPU time: 20054.8 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 6253868 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 404 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001186 s, system=0.001186 s
[startup+2520.16 s]
# the end of solver process 406 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20030.2 s, system=25.5129 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
[startup+2520.13 s]*
/proc/loadavg: 8.53 8.22 8.22 3/219 657
/proc/meminfo: memFree=24620188/32770624 swapFree=66967048/67108860
[pid=406] ppid=401 vsize=28901456 memory=6252564 CPUtime=20055.7 cores=0-7
/proc/406/stat : 406 (java) S 401 404 31623 0 -1 1077944320 1149018 0 0 0 2003021 2548 0 0 20 0 27 0 419348412 29595090944 1563141 33554432000 4194304 4196468 140734634794304 140734634776848 140391535681271 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18518016 140734634800106 140734634800278 140734634800278 140734634803151 0
/proc/406/statm: 7225364 1563141 3552 1 0 7186466 0
[pid=406/tid=430] ppid=401 vsize=0 memory=984 CPUtime=2485.54 cores=0-7
/proc/406/task/430/stat : 430 (java) R 401 404 31623 0 -1 4203588 157514 0 0 0 248303 251 0 0 20 0 2 0 419348516 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 13 0 0 0 0 0 0 0 0 0 0
Current cumulated CPU time of completed processes: 0.002372 s
Current children cumulated CPU time: 20055.7 s
Current children cumulated vsize: 28901456 KiB
Current children cumulated memory: 6252564 KiB
Child status: 143
Real time (s): 2520.16
CPU time (s): 20055.7
CPU user time (s): 20030.2
CPU system time (s): 25.5129
CPU usage (%): 795.811
Max. virtual memory (cumulated for all children) (KiB): 28901456
Max. memory (cumulated for all children) (KiB): 6625484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20030.2
system time used= 25.5129
maximum resident set size= 6625400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1149591
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119684
involuntary context switches= 227485
# summary of solver processes directly reported to runsolver:
# pid: 404,406
# total CPU time (s): 20055.7
# total CPU user time (s): 20030.2
# total CPU system time (s): 25.5129
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.4241 second user time and 23.8427 second system time
The end
Begin job on node125 at 2019-09-14 05:12:53 IDJOB=4393512 IDBENCH=128090 IDSOLVER=2841 FILE ID=node125/4393512-1568430816 RUNJOBID= node125-1568426266-31650 PBS_JOBID= 21702287 Free space on /tmp= 59780 MiB SOLVER NAME= choco-solver parallel 2019-06-14 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 /tmp/evaluation-result-4393512-1568430816/watcher-4393512-1568430816 -o /tmp/evaluation-result-4393512-1568430816/solver-4393512-1568430816 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1568426266-31650 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1328098948 HOME/instance-4393512-1568430816.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e1683218a1e3c524b21c5eaa634d1705 RANDOM SEED=1328098948 node125.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.29 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.29 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.29 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.29 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: 30871188 kB MemAvailable: 31872788 kB Buffers: 148512 kB Cached: 1144884 kB SwapCached: 38320 kB Active: 679428 kB Inactive: 656952 kB Active(anon): 21452 kB Inactive(anon): 60812 kB Active(file): 657976 kB Inactive(file): 596140 kB Unevictable: 108024 kB Mlocked: 108024 kB SwapTotal: 67108860 kB SwapFree: 66967044 kB Dirty: 26212 kB Writeback: 0 kB AnonPages: 125788 kB Mapped: 44600 kB Shmem: 31272 kB Slab: 155372 kB SReclaimable: 126636 kB SUnreclaim: 28736 kB KernelStack: 3744 kB PageTables: 6264 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497604 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 79872 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 59752 MiB End job on node125 at 2019-09-14 05:54:54