| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| choco-solver 4.0.5 par (2017-08-09) | ? (TO) | 20089 | 2520.1101 |
| Name | CarSequencing/CarSequencing-m1-jcr/ CarSequencing-85-05.xml |
| MD5SUM | 5a3f618f89c6aa3a803c36caec9b03ca |
| 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 | 25.191601 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1200 |
| Number of constraints | 1453 |
| Number of domains | 2 |
| Minimum domain size | 2 |
| Maximum domain size | 26 |
| Distribution of domain sizes | [{"size":2,"count":1000},{"size":26,"count":200}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 89 |
| Distribution of variable degrees | [{"degree":2,"count":200},{"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":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":74,"count":2}, {"degree":75,"count":2}, {"degree":76,"count":2}, {"degree":77,"count":2}, {"degree":78,"count":2}, {"degree":79,"count":2}, {"degree":80,"count":2}, {"degree":81,"count":2}, {"degree":82,"count":2}, {"degree":83,"count":2}, {"degree":84,"count":2}, {"degree":85,"count":2}, {"degree":86,"count":2}, {"degree":87,"count":2}, {"degree":88,"count":3}, {"degree":89,"count":29}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 200 |
| Distribution of constraint arities | [{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":32,"count":2},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1},{"arity":38,"count":3},{"arity":40,"count":3},{"arity":41,"count":2},{"arity":42,"count":1},{"arity":44,"count":3},{"arity":45,"count":2},{"arity":46,"count":1},{"arity":47,"count":2},{"arity":48,"count":1},{"arity":50,"count":5},{"arity":52,"count":1},{"arity":53,"count":2},{"arity":54,"count":1},{"arity":55,"count":2},{"arity":56,"count":3},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}] |
| Number of extensional constraints | 200 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":200},{"type":"sum","count":1252},{"type":"cardinality","count":1}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270880-1502743359.xml" -tl '20160s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4270880-1502743359.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 4.20/1.30 c solve instance... 20088.21/2520.09 s UNKNOWN 20088.21/2520.09 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 (12260 MiB free)
memory of node 1: 16384 MiB (13566 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270880-1502743359/watcher-4270880-1502743359 -o /tmp/evaluation-result-4270880-1502743359/solver-4270880-1502743359 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502734927-9235 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 836335652 HOME/instance-4270880-1502743359.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=9843, runsolver pid=9840
Current StackSize limit: 8192 KiB
[startup+0.100155 s]*
/proc/loadavg: 7.92 8.69 8.75 2/199 9865
/proc/meminfo: memFree=26430672/32770624 swapFree=67108860/67108860
[pid=9843] ppid=9840 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9843/stat : 9843 (xcsp3-exec) S 9840 9843 9208 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 107407504 9740288 346 33554432000 4194304 5098028 140733762062816 140733762060920 140351554392700 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29011968 140733762069605 140733762069815 140733762069815 140733762072555 0
/proc/9843/statm: 2378 346 289 221 0 87 0
[pid=9845] ppid=9843 vsize=25999808 memory=27028 CPUtime=0.11 cores=0-7
/proc/9845/stat : 9845 (java) S 9843 9843 9208 0 -1 1077944320 5638 0 0 0 10 1 0 0 20 0 20 0 107407504 26623803392 6757 33554432000 4194304 4196468 140737348354368 140737348336912 139676756389623 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
/proc/9845/statm: 6499952 6757 2870 1 0 6488269 0
[pid=9845/tid=9846] ppid=9843 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/9845/task/9846/stat : 9846 (java) R 9843 9843 9208 0 -1 4202560 3632 0 0 0 8 0 0 0 20 0 20 0 107407504 26623803392 6757 33554432000 4194304 4196468 140737348354368 139676760619040 139676756401558 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9847] ppid=9843 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/9845/task/9847/stat : 9847 (java) S 9843 9843 9208 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107407505 26623803392 6757 33554432000 4194304 4196468 140737348354368 139676709009936 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9848] ppid=9843 vsize=25999808 memory=139845470713472 CPUtime=0 cores=0-7
/proc/9845/task/9848/stat : 9848 (java) S 9843 9843 9208 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107407505 26623803392 6757 33554432000 4194304 4196468 140737348354368 139676707957392 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9849] ppid=9843 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9845/task/9849/stat : 9849 (java) S 9843 9843 9208 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107407505 26623803392 6757 33554432000 4194304 4196468 140737348354368 139676706904336 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9850] ppid=9843 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9845/task/9850/stat : 9850 (java) S 9843 9843 9208 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107407505 26623803392 6757 33554432000 4194304 4196468 140737348354368 139676705851792 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9851] ppid=9843 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9845/task/9851/stat : 9851 (java) S 9843 9843 9208 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107407505 26623803392 6757 33554432000 4194304 4196468 140737348354368 139676704799760 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9852] ppid=9843 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/9845/task/9852/stat : 9852 (java) S 9843 9843 9208 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107407505 26623803392 6757 33554432000 4194304 4196468 140737348354368 139676703747216 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9853] ppid=9843 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9845/task/9853/stat : 9853 (java) S 9843 9843 9208 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107407505 26623803392 6757 33554432000 4194304 4196468 140737348354368 139676702694160 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9854] ppid=9843 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9845/task/9854/stat : 9854 (java) S 9843 9843 9208 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107407505 26623803392 6757 33554432000 4194304 4196468 140737348354368 139676701641616 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9855] ppid=9843 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9845/task/9855/stat : 9855 (java) S 9843 9843 9208 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107407506 26623803392 6757 33554432000 4194304 4196468 140737348354368 139675364186352 139676756400770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9857] ppid=9843 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9845/task/9857/stat : 9857 (java) S 9843 9843 9208 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 107407507 26623803392 6757 33554432000 4194304 4196468 140737348354368 139675363132576 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9858] ppid=9843 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9845/task/9858/stat : 9858 (java) S 9843 9843 9208 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 107407507 26623803392 6757 33554432000 4194304 4196468 140737348354368 139675362079472 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9859] ppid=9843 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9845/task/9859/stat : 9859 (java) S 9843 9843 9208 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107407509 26623803392 6757 33554432000 4194304 4196468 140737348354368 139675361028048 139676756408219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9860] ppid=9843 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9845/task/9860/stat : 9860 (java) S 9843 9843 9208 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 107407510 26623803392 6757 33554432000 4194304 4196468 140737348354368 139675359976176 139676756400770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9861] ppid=9843 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9845/task/9861/stat : 9861 (java) S 9843 9843 9208 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 107407510 26623803392 6757 33554432000 4194304 4196468 140737348354368 139675358923632 139676756400770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9862] ppid=9843 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9845/task/9862/stat : 9862 (java) S 9843 9843 9208 0 -1 1077944384 400 0 0 0 0 0 0 0 20 0 20 0 107407510 26623803392 6757 33554432000 4194304 4196468 140737348354368 139675357870576 139676756400770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9863] ppid=9843 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/9845/task/9863/stat : 9863 (java) S 9843 9843 9208 0 -1 1077944384 262 0 0 0 1 0 0 0 20 0 20 0 107407510 26623803392 6757 33554432000 4194304 4196468 140737348354368 139675289250416 139676756400770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9864] ppid=9843 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9845/task/9864/stat : 9864 (java) S 9843 9843 9208 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107407510 26623803392 6757 33554432000 4194304 4196468 140737348354368 139675288197600 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9865] ppid=9843 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/9845/task/9865/stat : 9865 (java) S 9843 9843 9208 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107407510 26623803392 6757 33554432000 4194304 4196468 140737348354368 139675287145136 139676756400770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28412 KiB
[startup+0.210533 s]*
/proc/loadavg: 7.92 8.69 8.75 3/199 9865
/proc/meminfo: memFree=26419336/32770624 swapFree=67108860/67108860
[pid=9843] ppid=9840 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9843/stat : 9843 (xcsp3-exec) S 9840 9843 9208 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 107407504 9740288 346 33554432000 4194304 5098028 140733762062816 140733762060920 140351554392700 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29011968 140733762069605 140733762069815 140733762069815 140733762072555 0
/proc/9843/statm: 2378 346 289 221 0 87 0
[pid=9845] ppid=9843 vsize=26004064 memory=38928 CPUtime=0.33 cores=0-7
/proc/9845/stat : 9845 (java) S 9843 9843 9208 0 -1 1077944320 8349 0 0 0 31 2 0 0 20 0 20 0 107407504 26628161536 9732 33554432000 4194304 4196468 140737348354368 140737348336912 139676756389623 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
/proc/9845/statm: 6501016 9732 3039 1 0 6488269 0
[pid=9845/tid=9846] ppid=9843 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/9845/task/9846/stat : 9846 (java) R 9843 9843 9208 0 -1 4202560 5417 0 0 0 18 1 0 0 20 0 20 0 107407504 26628161536 9732 33554432000 4194304 4196468 140737348354368 139676760626464 139676756411549 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9847] ppid=9843 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/9845/task/9847/stat : 9847 (java) S 9843 9843 9208 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107407505 26628161536 9732 33554432000 4194304 4196468 140737348354368 139676709009936 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9848] ppid=9843 vsize=26004064 memory=139845470723574 CPUtime=0 cores=0-7
/proc/9845/task/9848/stat : 9848 (java) S 9843 9843 9208 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107407505 26628161536 9732 33554432000 4194304 4196468 140737348354368 139676707957392 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9849] ppid=9843 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9845/task/9849/stat : 9849 (java) S 9843 9843 9208 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107407505 26628161536 9732 33554432000 4194304 4196468 140737348354368 139676706904336 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9850] ppid=9843 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9845/task/9850/stat : 9850 (java) S 9843 9843 9208 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107407505 26628161536 9732 33554432000 4194304 4196468 140737348354368 139676705851792 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9851] ppid=9843 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9845/task/9851/stat : 9851 (java) S 9843 9843 9208 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107407505 26628161536 9732 33554432000 4194304 4196468 140737348354368 139676704799760 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9852] ppid=9843 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9845/task/9852/stat : 9852 (java) S 9843 9843 9208 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107407505 26628161536 9732 33554432000 4194304 4196468 140737348354368 139676703747216 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9853] ppid=9843 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9845/task/9853/stat : 9853 (java) S 9843 9843 9208 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107407505 26628161536 9732 33554432000 4194304 4196468 140737348354368 139676702694160 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9854] ppid=9843 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9845/task/9854/stat : 9854 (java) S 9843 9843 9208 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107407505 26628161536 9732 33554432000 4194304 4196468 140737348354368 139676701641616 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9855] ppid=9843 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9845/task/9855/stat : 9855 (java) S 9843 9843 9208 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107407506 26628161536 9732 33554432000 4194304 4196468 140737348354368 139675364186352 139676756400770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9857] ppid=9843 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9845/task/9857/stat : 9857 (java) S 9843 9843 9208 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 107407507 26628161536 9732 33554432000 4194304 4196468 140737348354368 139675363132576 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9858] ppid=9843 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9845/task/9858/stat : 9858 (java) S 9843 9843 9208 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 107407507 26628161536 9732 33554432000 4194304 4196468 140737348354368 139675362079472 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9859] ppid=9843 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9845/task/9859/stat : 9859 (java) S 9843 9843 9208 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107407509 26628161536 9732 33554432000 4194304 4196468 140737348354368 139675361028048 139676756408219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9860] ppid=9843 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/9845/task/9860/stat : 9860 (java) S 9843 9843 9208 0 -1 1077944384 192 0 0 0 1 0 0 0 20 0 20 0 107407510 26628161536 9732 33554432000 4194304 4196468 140737348354368 139675359976176 139676756400770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9861] ppid=9843 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/9845/task/9861/stat : 9861 (java) S 9843 9843 9208 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 20 0 107407510 26628161536 9732 33554432000 4194304 4196468 140737348354368 139675358923632 139676756400770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9862] ppid=9843 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/9845/task/9862/stat : 9862 (java) S 9843 9843 9208 0 -1 1077944384 690 0 0 0 1 0 0 0 20 0 20 0 107407510 26628161536 9732 33554432000 4194304 4196468 140737348354368 139675357870576 139676756400770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9863] ppid=9843 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/9845/task/9863/stat : 9863 (java) R 9843 9843 9208 0 -1 4202560 693 0 0 0 7 0 0 0 20 0 20 0 107407510 26628161536 9732 33554432000 4194304 4196468 140737348354368 139675289250416 139676748626750 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9864] ppid=9843 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9845/task/9864/stat : 9864 (java) S 9843 9843 9208 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107407510 26628161536 9732 33554432000 4194304 4196468 140737348354368 139675288197600 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9865] ppid=9843 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9845/task/9865/stat : 9865 (java) S 9843 9843 9208 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107407510 26628161536 9732 33554432000 4194304 4196468 140737348354368 139675287145136 139676756400770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40312 KiB
[startup+0.310371 s]*
/proc/loadavg: 7.92 8.69 8.75 3/199 9865
/proc/meminfo: memFree=26414684/32770624 swapFree=67108860/67108860
[pid=9843] ppid=9840 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9843/stat : 9843 (xcsp3-exec) S 9840 9843 9208 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 107407504 9740288 346 33554432000 4194304 5098028 140733762062816 140733762060920 140351554392700 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29011968 140733762069605 140733762069815 140733762069815 140733762072555 0
/proc/9843/statm: 2378 346 289 221 0 87 0
[pid=9845] ppid=9843 vsize=26004064 memory=43824 CPUtime=0.51 cores=0-7
/proc/9845/stat : 9845 (java) S 9843 9843 9208 0 -1 1077944320 9210 0 0 0 48 3 0 0 20 0 20 0 107407504 26628161536 10956 33554432000 4194304 4196468 140737348354368 140737348336912 139676756389623 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
/proc/9845/statm: 6501016 10956 3068 1 0 6488269 0
[pid=9845/tid=9846] ppid=9843 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/9845/task/9846/stat : 9846 (java) R 9843 9843 9208 0 -1 4202560 6088 0 0 0 28 1 0 0 20 0 20 0 107407504 26628161536 10956 33554432000 4194304 4196468 140737348354368 139676760628416 139676381902299 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9847] ppid=9843 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9845/task/9847/stat : 9847 (java) S 9843 9843 9208 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107407505 26628161536 10956 33554432000 4194304 4196468 140737348354368 139676709009936 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9848] ppid=9843 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9845/task/9848/stat : 9848 (java) S 9843 9843 9208 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107407505 26628161536 10956 33554432000 4194304 4196468 140737348354368 139676707957392 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9849] ppid=9843 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9845/task/9849/stat : 9849 (java) S 9843 9843 9208 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107407505 26628161536 11468 33554432000 4194304 4196468 140737348354368 139676706904336 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9850] ppid=9843 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9845/task/9850/stat : 9850 (java) S 9843 9843 9208 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107407505 26628161536 11468 33554432000 4194304 4196468 140737348354368 139676705851792 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9851] ppid=9843 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/9845/task/9851/stat : 9851 (java) S 9843 9843 9208 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107407505 26628161536 11468 33554432000 4194304 4196468 140737348354368 139676704799760 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9852] ppid=9843 vsize=26004064 memory=139845343212463 CPUtime=0 cores=0-7
/proc/9845/task/9852/stat : 9852 (java) S 9843 9843 9208 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107407505 26628161536 11468 33554432000 4194304 4196468 140737348354368 139676703747216 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9853] ppid=9843 vsize=26004064 memory=139845343214768 CPUtime=0 cores=0-7
/proc/9845/task/9853/stat : 9853 (java) S 9843 9843 9208 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107407505 26628161536 11468 33554432000 4194304 4196468 140737348354368 139676702694160 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9854] ppid=9843 vsize=26004064 memory=139845343217072 CPUtime=0 cores=0-7
/proc/9845/task/9854/stat : 9854 (java) S 9843 9843 9208 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107407505 26628161536 11468 33554432000 4194304 4196468 140737348354368 139676701641616 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9855] ppid=9843 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9845/task/9855/stat : 9855 (java) S 9843 9843 9208 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107407506 26628161536 11468 33554432000 4194304 4196468 140737348354368 139675364186352 139676756400770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9857] ppid=9843 vsize=26004064 memory=279690686441104 CPUtime=0 cores=0-7
/proc/9845/task/9857/stat : 9857 (java) S 9843 9843 9208 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 107407507 26628161536 11468 33554432000 4194304 4196468 140737348354368 139675363132576 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9858] ppid=9843 vsize=26004064 memory=279690686448016 CPUtime=0 cores=0-7
/proc/9845/task/9858/stat : 9858 (java) S 9843 9843 9208 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 107407507 26628161536 11468 33554432000 4194304 4196468 140737348354368 139675362079472 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9859] ppid=9843 vsize=26004064 memory=279690686389296 CPUtime=0 cores=0-7
/proc/9845/task/9859/stat : 9859 (java) S 9843 9843 9208 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107407509 26628161536 11468 33554432000 4194304 4196468 140737348354368 139675361028048 139676756408219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9860] ppid=9843 vsize=26004064 memory=279690686461840 CPUtime=0.01 cores=0-7
/proc/9845/task/9860/stat : 9860 (java) S 9843 9843 9208 0 -1 1077944384 196 0 0 0 1 0 0 0 20 0 20 0 107407510 26628161536 11468 33554432000 4194304 4196468 140737348354368 139675359976176 139676756400770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9861] ppid=9843 vsize=26004064 memory=279690686468752 CPUtime=0.02 cores=0-7
/proc/9845/task/9861/stat : 9861 (java) S 9843 9843 9208 0 -1 1077944384 103 0 0 0 2 0 0 0 20 0 20 0 107407510 26628161536 11468 33554432000 4194304 4196468 140737348354368 139675358923632 139676756400770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9862] ppid=9843 vsize=26004064 memory=279690686466448 CPUtime=0.02 cores=0-7
/proc/9845/task/9862/stat : 9862 (java) R 9843 9843 9208 0 -1 4202560 696 0 0 0 2 0 0 0 20 0 20 0 107407510 26628161536 11468 33554432000 4194304 4196468 140737348354368 139675357862528 139676756410970 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9863] ppid=9843 vsize=26004064 memory=279690686482608 CPUtime=0.12 cores=0-7
/proc/9845/task/9863/stat : 9863 (java) R 9843 9843 9208 0 -1 4202560 819 0 0 0 12 0 0 0 20 0 20 0 107407510 26628161536 11468 33554432000 4194304 4196468 140737348354368 139675289247352 139676756401558 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9864] ppid=9843 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9845/task/9864/stat : 9864 (java) S 9843 9843 9208 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107407510 26628161536 11468 33554432000 4194304 4196468 140737348354368 139675288197600 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9865] ppid=9843 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9845/task/9865/stat : 9865 (java) S 9843 9843 9208 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107407510 26628161536 11468 33554432000 4194304 4196468 140737348354368 139675287145136 139676756400770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45208 KiB
[startup+0.70103 s]
/proc/loadavg: 7.92 8.69 8.75 6/199 9865
/proc/meminfo: memFree=26391360/32770624 swapFree=67108860/67108860
[pid=9843] ppid=9840 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9843/stat : 9843 (xcsp3-exec) S 9840 9843 9208 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 107407504 9740288 346 33554432000 4194304 5098028 140733762062816 140733762060920 140351554392700 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29011968 140733762069605 140733762069815 140733762069815 140733762072555 0
/proc/9843/statm: 2378 346 289 221 0 87 0
[pid=9845] ppid=9843 vsize=26006188 memory=92864 CPUtime=1.97 cores=0-7
/proc/9845/stat : 9845 (java) S 9843 9843 9208 0 -1 1077944320 13900 0 0 0 192 5 0 0 20 0 20 0 107407504 26630336512 23216 33554432000 4194304 4196468 140737348354368 140737348336912 139676756389623 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
/proc/9845/statm: 6501547 23216 3213 1 0 6488781 0
[pid=9845/tid=9846] ppid=9843 vsize=26006188 memory=279690686840496 CPUtime=0.67 cores=0-7
/proc/9845/task/9846/stat : 9846 (java) R 9843 9843 9208 0 -1 4202560 6774 0 0 0 65 2 0 0 20 0 20 0 107407504 26630336512 23216 33554432000 4194304 4196468 140737348354368 139676760624896 139676379912807 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9847] ppid=9843 vsize=26006188 memory=139845343421296 CPUtime=0 cores=0-7
/proc/9845/task/9847/stat : 9847 (java) S 9843 9843 9208 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107407505 26630336512 23216 33554432000 4194304 4196468 140737348354368 139676709009936 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9848] ppid=9843 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/9845/task/9848/stat : 9848 (java) S 9843 9843 9208 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107407505 26630336512 23216 33554432000 4194304 4196468 140737348354368 139676707957392 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9849] ppid=9843 vsize=26006188 memory=1428 CPUtime=0 cores=0-7
/proc/9845/task/9849/stat : 9849 (java) S 9843 9843 9208 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107407505 26630336512 23216 33554432000 4194304 4196468 140737348354368 139676706904336 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
################
# More data... #
################
[pid=9845/tid=9873] ppid=9843 vsize=26538700 memory=1384 CPUtime=2432.92 cores=0-7
/proc/9845/task/9873/stat : 9873 (java) R 9843 9843 9208 0 -1 4202560 4037 0 0 0 243288 4 0 0 20 0 28 0 107407636 27175628800 181796 33554432000 4194304 4196468 140737348354368 139675271766088 139676387321445 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
Current children cumulated CPU time: 19469.5 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 728568 KiB
[startup+2502.3 s]
/proc/loadavg: 8.53 8.30 8.31 9/208 9938
/proc/meminfo: memFree=25735312/32770624 swapFree=67108860/67108860
[pid=9843] ppid=9840 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9843/stat : 9843 (xcsp3-exec) S 9840 9843 9208 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 107407504 9740288 346 33554432000 4194304 5098028 140733762062816 140733762060920 140351554392700 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29011968 140733762069605 140733762069815 140733762069815 140733762072555 0
/proc/9843/statm: 2378 346 289 221 0 87 0
[pid=9845] ppid=9843 vsize=26538700 memory=722056 CPUtime=19947.3 cores=0-7
/proc/9845/stat : 9845 (java) S 9843 9843 9208 0 -1 1077944320 219489 0 0 0 1994432 296 0 0 20 0 28 0 107407504 27175628800 180514 33554432000 4194304 4196468 140737348354368 140737348336912 139676756389623 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
/proc/9845/statm: 6634675 180514 3300 1 0 6621909 0
[pid=9845/tid=9846] ppid=9843 vsize=26538700 memory=722056 CPUtime=1.26 cores=0-7
/proc/9845/task/9846/stat : 9846 (java) S 9843 9843 9208 0 -1 1077944384 7302 0 0 0 122 4 0 0 20 0 28 0 107407504 27175628800 180514 33554432000 4194304 4196468 140737348354368 139676760630400 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9847] ppid=9843 vsize=26538700 memory=723596 CPUtime=1.35 cores=0-7
/proc/9845/task/9847/stat : 9847 (java) S 9843 9843 9208 0 -1 1077944384 5228 0 0 0 122 13 0 0 20 0 28 0 107407505 27175628800 180514 33554432000 4194304 4196468 140737348354368 139676709009936 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9848] ppid=9843 vsize=26538700 memory=722572 CPUtime=1.31 cores=0-7
/proc/9845/task/9848/stat : 9848 (java) S 9843 9843 9208 0 -1 1077944384 5490 0 0 0 119 12 0 0 20 0 28 0 107407505 27175628800 180514 33554432000 4194304 4196468 140737348354368 139676707957392 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9849] ppid=9843 vsize=26538700 memory=722056 CPUtime=1.34 cores=0-7
/proc/9845/task/9849/stat : 9849 (java) S 9843 9843 9208 0 -1 1077944384 7705 0 0 0 121 13 0 0 20 0 28 0 107407505 27175628800 180514 33554432000 4194304 4196468 140737348354368 139676706904336 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9850] ppid=9843 vsize=26538700 memory=1384 CPUtime=1.36 cores=0-7
/proc/9845/task/9850/stat : 9850 (java) S 9843 9843 9208 0 -1 1077944384 4596 0 0 0 123 13 0 0 20 0 28 0 107407505 27175628800 180514 33554432000 4194304 4196468 140737348354368 139676705851792 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9851] ppid=9843 vsize=26538700 memory=725132 CPUtime=1.34 cores=0-7
/proc/9845/task/9851/stat : 9851 (java) S 9843 9843 9208 0 -1 1077944384 6619 0 0 0 121 13 0 0 20 0 28 0 107407505 27175628800 180514 33554432000 4194304 4196468 140737348354368 139676704799760 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9852] ppid=9843 vsize=26538700 memory=727184 CPUtime=1.36 cores=0-7
/proc/9845/task/9852/stat : 9852 (java) S 9843 9843 9208 0 -1 1077944384 5366 0 0 0 124 12 0 0 20 0 28 0 107407505 27175628800 180514 33554432000 4194304 4196468 140737348354368 139676703747216 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9853] ppid=9843 vsize=26538700 memory=723084 CPUtime=1.33 cores=0-7
/proc/9845/task/9853/stat : 9853 (java) S 9843 9843 9208 0 -1 1077944384 4845 0 0 0 121 12 0 0 20 0 28 0 107407505 27175628800 180514 33554432000 4194304 4196468 140737348354368 139676702694160 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9854] ppid=9843 vsize=26538700 memory=1384 CPUtime=1.33 cores=0-7
/proc/9845/task/9854/stat : 9854 (java) S 9843 9843 9208 0 -1 1077944384 5382 0 0 0 121 12 0 0 20 0 28 0 107407505 27175628800 180514 33554432000 4194304 4196468 140737348354368 139676701641616 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9855] ppid=9843 vsize=26538700 memory=722056 CPUtime=1.3 cores=0-7
/proc/9845/task/9855/stat : 9855 (java) S 9843 9843 9208 0 -1 1077944384 17108 0 0 0 69 61 0 0 20 0 28 0 107407506 27175628800 180514 33554432000 4194304 4196468 140737348354368 139675364186352 139676756400770 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9857] ppid=9843 vsize=26538700 memory=84774064508184 CPUtime=0 cores=0-7
/proc/9845/task/9857/stat : 9857 (java) S 9843 9843 9208 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 107407507 27175628800 180514 33554432000 4194304 4196468 140737348354368 139675363132640 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9858] ppid=9843 vsize=26538700 memory=724104 CPUtime=0 cores=0-7
/proc/9845/task/9858/stat : 9858 (java) S 9843 9843 9208 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 107407507 27175628800 180514 33554432000 4194304 4196468 140737348354368 139675362079488 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9859] ppid=9843 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/9845/task/9859/stat : 9859 (java) S 9843 9843 9208 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 107407509 27175628800 180514 33554432000 4194304 4196468 140737348354368 139675361028048 139676756408219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9860] ppid=9843 vsize=26538700 memory=724104 CPUtime=2.44 cores=0-7
/proc/9845/task/9860/stat : 9860 (java) S 9843 9843 9208 0 -1 1077944384 15261 0 0 0 242 2 0 0 20 0 28 0 107407510 27175628800 180514 33554432000 4194304 4196468 140737348354368 139675359976176 139676756400770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9861] ppid=9843 vsize=26538700 memory=1384 CPUtime=2.78 cores=0-7
/proc/9845/task/9861/stat : 9861 (java) S 9843 9843 9208 0 -1 1077944384 15847 0 0 0 275 3 0 0 20 0 28 0 107407510 27175628800 180514 33554432000 4194304 4196468 140737348354368 139675358923632 139676756400770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9862] ppid=9843 vsize=26538700 memory=1384 CPUtime=2.54 cores=0-7
/proc/9845/task/9862/stat : 9862 (java) S 9843 9843 9208 0 -1 1077944384 16980 0 0 0 252 2 0 0 20 0 28 0 107407510 27175628800 180514 33554432000 4194304 4196468 140737348354368 139675357870576 139676756400770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9863] ppid=9843 vsize=26538700 memory=4012 CPUtime=0.92 cores=0-7
/proc/9845/task/9863/stat : 9863 (java) S 9843 9843 9208 0 -1 1077944384 14247 0 0 0 88 4 0 0 20 0 28 0 107407510 27175628800 180514 33554432000 4194304 4196468 140737348354368 139675289250416 139676756400770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9864] ppid=9843 vsize=26538700 memory=4012 CPUtime=0 cores=0-7
/proc/9845/task/9864/stat : 9864 (java) S 9843 9843 9208 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 107407510 27175628800 180514 33554432000 4194304 4196468 140737348354368 139675288197600 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9865] ppid=9843 vsize=26538700 memory=30504 CPUtime=1.26 cores=0-7
/proc/9845/task/9865/stat : 9865 (java) S 9843 9843 9208 0 -1 1077944384 2870 0 0 0 63 63 0 0 20 0 28 0 107407510 27175628800 180514 33554432000 4194304 4196468 140737348354368 139675287145136 139676756400770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9866] ppid=9843 vsize=26538700 memory=723084 CPUtime=2491.34 cores=0-7
/proc/9845/task/9866/stat : 9866 (java) R 9843 9843 9208 0 -1 4202560 4044 0 0 0 249126 8 0 0 20 0 28 0 107407635 27175628800 180514 33554432000 4194304 4196468 140737348354368 139675279133384 139676387392545 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9867] ppid=9843 vsize=26538700 memory=2400 CPUtime=2494.92 cores=0-7
/proc/9845/task/9867/stat : 9867 (java) R 9843 9843 9208 0 -1 4202560 5893 0 0 0 249489 3 0 0 20 0 28 0 107407636 27175628800 180514 33554432000 4194304 4196468 140737348354368 139675278081928 139676389206492 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9868] ppid=9843 vsize=26538700 memory=1384 CPUtime=2492.85 cores=0-7
/proc/9845/task/9868/stat : 9868 (java) R 9843 9843 9208 0 -1 4202560 24045 0 0 0 249245 40 0 0 20 0 28 0 107407636 27175628800 180514 33554432000 4194304 4196468 140737348354368 139675277029544 139676387748591 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9869] ppid=9843 vsize=26538700 memory=1296 CPUtime=2485.03 cores=0-7
/proc/9845/task/9869/stat : 9869 (java) R 9843 9843 9208 0 -1 4202560 8487 0 0 0 248481 22 0 0 20 0 28 0 107407636 27175628800 180514 33554432000 4194304 4196468 140737348354368 139675275977488 139676385241493 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9870] ppid=9843 vsize=26538700 memory=2400 CPUtime=2489.45 cores=0-7
/proc/9845/task/9870/stat : 9870 (java) R 9843 9843 9208 0 -1 4202560 24869 0 0 0 248924 21 0 0 20 0 28 0 107407636 27175628800 180514 33554432000 4194304 4196468 140737348354368 139675274927056 139676390304081 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9871] ppid=9843 vsize=26538700 memory=1728 CPUtime=2483.5 cores=0-7
/proc/9845/task/9871/stat : 9871 (java) R 9843 9843 9208 0 -1 4202560 8201 0 0 0 248333 17 0 0 20 0 28 0 107407636 27175628800 180514 33554432000 4194304 4196468 140737348354368 139675273871552 139676388364034 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9872] ppid=9843 vsize=26538700 memory=12032 CPUtime=2494.72 cores=0-7
/proc/9845/task/9872/stat : 9872 (java) R 9843 9843 9208 0 -1 4202560 3697 0 0 0 249469 3 0 0 20 0 28 0 107407636 27175628800 180514 33554432000 4194304 4196468 140737348354368 139675272818696 139676386907023 0 4 0 16800975 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9873] ppid=9843 vsize=26538700 memory=722572 CPUtime=2492.47 cores=0-7
/proc/9845/task/9873/stat : 9873 (java) R 9843 9843 9208 0 -1 4202560 4069 0 0 0 249242 5 0 0 20 0 28 0 107407636 27175628800 180514 33554432000 4194304 4196468 140737348354368 139675271766152 139676387617093 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
Current children cumulated CPU time: 19947.3 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 723440 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.41 8.29 8.31 9/208 9938
/proc/meminfo: memFree=25737048/32770624 swapFree=67108860/67108860
[pid=9843] ppid=9840 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9843/stat : 9843 (xcsp3-exec) S 9840 9843 9208 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 107407504 9740288 346 33554432000 4194304 5098028 140733762062816 140733762060920 140351554392700 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29011968 140733762069605 140733762069815 140733762069815 140733762072555 0
/proc/9843/statm: 2378 346 289 221 0 87 0
[pid=9845] ppid=9843 vsize=26538700 memory=720004 CPUtime=20088.2 cores=0-7
/proc/9845/stat : 9845 (java) S 9843 9843 9208 0 -1 1077944320 219542 0 0 0 2008523 298 0 0 20 0 28 0 107407504 27175628800 180001 33554432000 4194304 4196468 140737348354368 140737348336912 139676756389623 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
/proc/9845/statm: 6634675 180001 3300 1 0 6621909 0
[pid=9845/tid=9846] ppid=9843 vsize=26538700 memory=-6733704525061579059 CPUtime=1.26 cores=0-7
/proc/9845/task/9846/stat : 9846 (java) S 9843 9843 9208 0 -1 1077944384 7302 0 0 0 122 4 0 0 20 0 28 0 107407504 27175628800 180001 33554432000 4194304 4196468 140737348354368 139676760630400 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9847] ppid=9843 vsize=26538700 memory=4872558044660077418 CPUtime=1.37 cores=0-7
/proc/9845/task/9847/stat : 9847 (java) S 9843 9843 9208 0 -1 1077944384 5230 0 0 0 124 13 0 0 20 0 28 0 107407505 27175628800 180001 33554432000 4194304 4196468 140737348354368 139676709009936 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9848] ppid=9843 vsize=26538700 memory=4128 CPUtime=1.32 cores=0-7
/proc/9845/task/9848/stat : 9848 (java) S 9843 9843 9208 0 -1 1077944384 5492 0 0 0 120 12 0 0 20 0 28 0 107407505 27175628800 180001 33554432000 4194304 4196468 140737348354368 139676707957392 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9849] ppid=9843 vsize=26538700 memory=2200 CPUtime=1.36 cores=0-7
/proc/9845/task/9849/stat : 9849 (java) S 9843 9843 9208 0 -1 1077944384 7709 0 0 0 123 13 0 0 20 0 28 0 107407505 27175628800 180001 33554432000 4194304 4196468 140737348354368 139676706904336 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9850] ppid=9843 vsize=26538700 memory=6508 CPUtime=1.37 cores=0-7
/proc/9845/task/9850/stat : 9850 (java) S 9843 9843 9208 0 -1 1077944384 4598 0 0 0 124 13 0 0 20 0 28 0 107407505 27175628800 180001 33554432000 4194304 4196468 140737348354368 139676705851792 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9851] ppid=9843 vsize=26538700 memory=840 CPUtime=1.36 cores=0-7
/proc/9845/task/9851/stat : 9851 (java) S 9843 9843 9208 0 -1 1077944384 6621 0 0 0 123 13 0 0 20 0 28 0 107407505 27175628800 180001 33554432000 4194304 4196468 140737348354368 139676704799760 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9852] ppid=9843 vsize=26538700 memory=1692 CPUtime=1.37 cores=0-7
/proc/9845/task/9852/stat : 9852 (java) S 9843 9843 9208 0 -1 1077944384 5369 0 0 0 125 12 0 0 20 0 28 0 107407505 27175628800 180001 33554432000 4194304 4196468 140737348354368 139676703747216 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9853] ppid=9843 vsize=26538700 memory=8112282956445269571 CPUtime=1.36 cores=0-7
/proc/9845/task/9853/stat : 9853 (java) S 9843 9843 9208 0 -1 1077944384 4852 0 0 0 123 13 0 0 20 0 28 0 107407505 27175628800 180001 33554432000 4194304 4196468 140737348354368 139676702694160 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9854] ppid=9843 vsize=26538700 memory=1384 CPUtime=1.35 cores=0-7
/proc/9845/task/9854/stat : 9854 (java) S 9843 9843 9208 0 -1 1077944384 5384 0 0 0 123 12 0 0 20 0 28 0 107407505 27175628800 180001 33554432000 4194304 4196468 140737348354368 139676701641616 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9855] ppid=9843 vsize=26538700 memory=722572 CPUtime=1.33 cores=0-7
/proc/9845/task/9855/stat : 9855 (java) S 9843 9843 9208 0 -1 1077944384 17110 0 0 0 71 62 0 0 20 0 28 0 107407506 27175628800 180001 33554432000 4194304 4196468 140737348354368 139675364186352 139676756400770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9857] ppid=9843 vsize=26538700 memory=722572 CPUtime=0 cores=0-7
/proc/9845/task/9857/stat : 9857 (java) S 9843 9843 9208 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 107407507 27175628800 180001 33554432000 4194304 4196468 140737348354368 139675363132640 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9858] ppid=9843 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/9845/task/9858/stat : 9858 (java) S 9843 9843 9208 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 107407507 27175628800 180001 33554432000 4194304 4196468 140737348354368 139675362079488 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9859] ppid=9843 vsize=26538700 memory=720520 CPUtime=0 cores=0-7
/proc/9845/task/9859/stat : 9859 (java) S 9843 9843 9208 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 107407509 27175628800 180001 33554432000 4194304 4196468 140737348354368 139675361028048 139676756408219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9860] ppid=9843 vsize=26538700 memory=15876 CPUtime=2.44 cores=0-7
/proc/9845/task/9860/stat : 9860 (java) S 9843 9843 9208 0 -1 1077944384 15261 0 0 0 242 2 0 0 20 0 28 0 107407510 27175628800 180001 33554432000 4194304 4196468 140737348354368 139675359976176 139676756400770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9861] ppid=9843 vsize=26538700 memory=17032 CPUtime=2.78 cores=0-7
/proc/9845/task/9861/stat : 9861 (java) S 9843 9843 9208 0 -1 1077944384 15847 0 0 0 275 3 0 0 20 0 28 0 107407510 27175628800 180001 33554432000 4194304 4196468 140737348354368 139675358923632 139676756400770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9862] ppid=9843 vsize=26538700 memory=16432 CPUtime=2.54 cores=0-7
/proc/9845/task/9862/stat : 9862 (java) S 9843 9843 9208 0 -1 1077944384 16980 0 0 0 252 2 0 0 20 0 28 0 107407510 27175628800 180001 33554432000 4194304 4196468 140737348354368 139675357870576 139676756400770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9863] ppid=9843 vsize=26538700 memory=4040 CPUtime=0.92 cores=0-7
/proc/9845/task/9863/stat : 9863 (java) S 9843 9843 9208 0 -1 1077944384 14247 0 0 0 88 4 0 0 20 0 28 0 107407510 27175628800 180001 33554432000 4194304 4196468 140737348354368 139675289250416 139676756400770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9864] ppid=9843 vsize=26538700 memory=1792 CPUtime=0 cores=0-7
/proc/9845/task/9864/stat : 9864 (java) S 9843 9843 9208 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 107407510 27175628800 180001 33554432000 4194304 4196468 140737348354368 139675288197600 139676756399829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9865] ppid=9843 vsize=26538700 memory=1384 CPUtime=1.26 cores=0-7
/proc/9845/task/9865/stat : 9865 (java) S 9843 9843 9208 0 -1 1077944384 2872 0 0 0 63 63 0 0 20 0 28 0 107407510 27175628800 180001 33554432000 4194304 4196468 140737348354368 139675287145136 139676756400770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9866] ppid=9843 vsize=26538700 memory=720004 CPUtime=2508.95 cores=0-7
/proc/9845/task/9866/stat : 9866 (java) R 9843 9843 9208 0 -1 4202560 4044 0 0 0 250887 8 0 0 20 0 28 0 107407635 27175628800 180001 33554432000 4194304 4196468 140737348354368 139675279133592 139676386906923 0 4 0 16800975 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9867] ppid=9843 vsize=26538700 memory=1296 CPUtime=2512.57 cores=0-7
/proc/9845/task/9867/stat : 9867 (java) R 9843 9843 9208 0 -1 4202560 5893 0 0 0 251254 3 0 0 20 0 28 0 107407636 27175628800 180001 33554432000 4194304 4196468 140737348354368 139675278081976 139676387617751 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9868] ppid=9843 vsize=26538700 memory=2400 CPUtime=2510.39 cores=0-7
/proc/9845/task/9868/stat : 9868 (java) R 9843 9843 9208 0 -1 4202560 24051 0 0 0 250999 40 0 0 20 0 28 0 107407636 27175628800 180001 33554432000 4194304 4196468 140737348354368 139675277029896 139676390473318 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9869] ppid=9843 vsize=26538700 memory=1728 CPUtime=2502.62 cores=0-7
/proc/9845/task/9869/stat : 9869 (java) R 9843 9843 9208 0 -1 4202560 8494 0 0 0 250240 22 0 0 20 0 28 0 107407636 27175628800 180001 33554432000 4194304 4196468 140737348354368 139675275980208 139676388095971 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9870] ppid=9843 vsize=26538700 memory=12032 CPUtime=2507.12 cores=0-7
/proc/9845/task/9870/stat : 9870 (java) R 9843 9843 9208 0 -1 4202560 24877 0 0 0 250691 21 0 0 20 0 28 0 107407636 27175628800 180001 33554432000 4194304 4196468 140737348354368 139675274924328 139676390473318 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9871] ppid=9843 vsize=26538700 memory=1708 CPUtime=2500.96 cores=0-7
/proc/9845/task/9871/stat : 9871 (java) R 9843 9843 9208 0 -1 4202560 8204 0 0 0 250079 17 0 0 20 0 28 0 107407636 27175628800 180001 33554432000 4194304 4196468 140737348354368 139675273871184 139676386906583 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9872] ppid=9843 vsize=26538700 memory=1012 CPUtime=2512.34 cores=0-7
/proc/9845/task/9872/stat : 9872 (java) R 9843 9843 9208 0 -1 4202560 3697 0 0 0 251231 3 0 0 20 0 28 0 107407636 27175628800 180001 33554432000 4194304 4196468 140737348354368 139675272818696 139676387189333 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
[pid=9845/tid=9873] ppid=9843 vsize=26538700 memory=796 CPUtime=2510.12 cores=0-7
/proc/9845/task/9873/stat : 9873 (java) R 9843 9843 9208 0 -1 4202560 4070 0 0 0 251007 5 0 0 20 0 28 0 107407636 27175628800 180001 33554432000 4194304 4196468 140737348354368 139675271765960 139676386954432 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 22118400 140737348363410 140737348363587 140737348363587 140737348366287 0
Current children cumulated CPU time: 20088.2 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 721388 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 9843 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002077 s, system=0 s
[startup+2520.11 s]
# the end of solver process 9845 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20086 s, system=2.98934 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.11
CPU time (s): 20089
CPU user time (s): 20086
CPU system time (s): 2.98934
CPU usage (%): 797.146
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 1192828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20086
system time used= 2.98934
maximum resident set size= 1200648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 220206
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82928
involuntary context switches= 204037
# summary of solver processes directly reported to runsolver:
# pid: 9843,9845
# total CPU time (s): 20089
# total CPU user time (s): 20086
# total CPU system time (s): 2.98934
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.2784 second user time and 26.7746 second system time
The end
Begin job on node105 at 2017-08-14 22:28:20 IDJOB=4270880 IDBENCH=128124 IDSOLVER=2662 FILE ID=node105/4270880-1502743359 RUNJOBID= node105-1502734927-9235 PBS_JOBID= 20629053 Free space on /tmp= 60664 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-85-05.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270880-1502743359/watcher-4270880-1502743359 -o /tmp/evaluation-result-4270880-1502743359/solver-4270880-1502743359 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502734927-9235 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 836335652 HOME/instance-4270880-1502743359.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5a3f618f89c6aa3a803c36caec9b03ca RANDOM SEED=836335652 node105.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.17 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.17 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.17 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.17 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: 26446596 kB MemAvailable: 31970484 kB Buffers: 216324 kB Cached: 5581000 kB SwapCached: 0 kB Active: 743876 kB Inactive: 5108736 kB Active(anon): 58004 kB Inactive(anon): 25060 kB Active(file): 685872 kB Inactive(file): 5083676 kB Unevictable: 6248 kB Mlocked: 6248 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7540 kB Writeback: 0 kB AnonPages: 61608 kB Mapped: 45004 kB Shmem: 25228 kB Slab: 165956 kB SReclaimable: 140348 kB SUnreclaim: 25608 kB KernelStack: 3312 kB PageTables: 4828 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324852 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60656 MiB End job on node105 at 2017-08-14 23:10:21