| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| choco-solver 2019-09-20 parallel | ? (TO) | 20025.4 | 2520.13 |
| Name | CarSequencing/CarSequencing-m1-jcr/ CarSequencing-90-07.xml |
| MD5SUM | 62ab34719a1ca197804bba3dde19efaf |
| 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 | 78.8072 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1200 |
| Number of constraints | 1463 |
| Number of domains | 2 |
| Minimum domain size | 2 |
| Maximum domain size | 27 |
| Distribution of domain sizes | [{"size":2,"count":1000},{"size":27,"count":200}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 93 |
| 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":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":2}, {"degree":89,"count":2}, {"degree":90,"count":2}, {"degree":91,"count":2}, {"degree":92,"count":3}, {"degree":93,"count":21}] |
| 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":14,"count":1},{"arity":17,"count":1},{"arity":20,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":26,"count":2},{"arity":28,"count":1},{"arity":29,"count":2},{"arity":30,"count":1},{"arity":32,"count":3},{"arity":34,"count":1},{"arity":35,"count":2},{"arity":36,"count":1},{"arity":38,"count":3},{"arity":40,"count":2},{"arity":41,"count":2},{"arity":42,"count":1},{"arity":44,"count":3},{"arity":45,"count":1},{"arity":46,"count":1},"...",{"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":1262},{"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-4404429-1569001743.xml" -tl '20160s' -p 8 0.13/0.18 c Choco 3fb4b153 0.13/0.18 c [HOME/instance-4404429-1569001743.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 4.10/1.25 c solve instance... 20024.80/2520.09 s UNKNOWN 20024.80/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 (13529 MiB free)
memory of node 1: 16384 MiB (10533 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404429-1569001743/watcher-4404429-1569001743 -o /var/tmp/evaluation-result-4404429-1569001743/solver-4404429-1569001743 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1568994030-7876 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 612316309 HOME/instance-4404429-1569001743.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=9420, runsolver pid=9417
Current StackSize limit: 8192 KiB
[startup+0.100115 s]*
/proc/loadavg: 6.99 7.12 7.26 2/212 9441
/proc/meminfo: memFree=24622092/32770624 swapFree=66997216/67108860
[pid=9420] ppid=9417 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9420/stat : 9420 (xcsp3-exec) S 9417 9420 7849 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476112625 115843072 363 33554432000 4194304 5098028 140735554759216 140735554757320 140654151668348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35803136 140735554761554 140735554761813 140735554761813 140735554764742 0
/proc/9420/statm: 28282 363 304 221 0 87 0
[pid=9422] ppid=9420 vsize=28227396 memory=30048 CPUtime=0.13 cores=0-7
/proc/9422/stat : 9422 (java) S 9420 9420 7849 0 -1 1077944320 5495 0 0 0 11 2 0 0 20 0 20 0 476112625 28904853504 7512 33554432000 4194304 4196468 140736107263776 140736107246320 140593296113399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
/proc/9422/statm: 7056849 7512 3121 1 0 7019032 0
[pid=9422/tid=9423] ppid=9420 vsize=28227396 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/9422/task/9423/stat : 9423 (java) R 9420 9420 7849 0 -1 4202560 3391 0 0 0 8 1 0 0 20 0 20 0 476112625 28904853504 7512 33554432000 4194304 4196468 140736107263776 140593300346880 140593296125334 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9424] ppid=9420 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/9422/task/9424/stat : 9424 (java) S 9420 9420 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476112626 28904853504 7512 33554432000 4194304 4196468 140736107263776 140593215965584 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9425] ppid=9420 vsize=28227396 memory=140156469417600 CPUtime=0 cores=0-7
/proc/9422/task/9425/stat : 9425 (java) S 9420 9420 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476112626 28904853504 7512 33554432000 4194304 4196468 140736107263776 140593214912784 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9426] ppid=9420 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9422/task/9426/stat : 9426 (java) S 9420 9420 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476112626 28904853504 7512 33554432000 4194304 4196468 140736107263776 140593213860496 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9427] ppid=9420 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9422/task/9427/stat : 9427 (java) S 9420 9420 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476112626 28904853504 7512 33554432000 4194304 4196468 140736107263776 140593212807696 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9428] ppid=9420 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9422/task/9428/stat : 9428 (java) S 9420 9420 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476112626 28904853504 7512 33554432000 4194304 4196468 140736107263776 140593211755408 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9429] ppid=9420 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9422/task/9429/stat : 9429 (java) S 9420 9420 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476112626 28904853504 7512 33554432000 4194304 4196468 140736107263776 140593210702608 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9430] ppid=9420 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9422/task/9430/stat : 9430 (java) S 9420 9420 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476112626 28904853504 7512 33554432000 4194304 4196468 140736107263776 140593209650320 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9431] ppid=9420 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9422/task/9431/stat : 9431 (java) S 9420 9420 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476112626 28904853504 7512 33554432000 4194304 4196468 140736107263776 140593208597520 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9432] ppid=9420 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9422/task/9432/stat : 9432 (java) S 9420 9420 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476112628 28904853504 7512 33554432000 4194304 4196468 140736107263776 140591894517872 140593296124546 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9433] ppid=9420 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9422/task/9433/stat : 9433 (java) S 9420 9420 7849 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476112628 28904853504 7512 33554432000 4194304 4196468 140736107263776 140591893463840 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9434] ppid=9420 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9422/task/9434/stat : 9434 (java) S 9420 9420 7849 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476112628 28904853504 7512 33554432000 4194304 4196468 140736107263776 140591892411504 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9435] ppid=9420 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9422/task/9435/stat : 9435 (java) S 9420 9420 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476112631 28904853504 7512 33554432000 4194304 4196468 140736107263776 140591891359824 140593296131995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9436] ppid=9420 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9422/task/9436/stat : 9436 (java) S 9420 9420 7849 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 476112631 28904853504 7512 33554432000 4194304 4196468 140736107263776 140591890307696 140593296124546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9437] ppid=9420 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9422/task/9437/stat : 9437 (java) R 9420 9420 7849 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 476112631 28904853504 7512 33554432000 4194304 4196468 140736107263776 140591889254896 140593296124546 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9438] ppid=9420 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9422/task/9438/stat : 9438 (java) R 9420 9420 7849 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 476112631 28904853504 7512 33554432000 4194304 4196468 140736107263776 140591888202608 140593280990784 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9439] ppid=9420 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/9422/task/9439/stat : 9439 (java) R 9420 9420 7849 0 -1 4202560 365 0 0 0 2 0 0 0 20 0 20 0 476112631 28904853504 7512 33554432000 4194304 4196468 140736107263776 140591887149808 140593296125334 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9440] ppid=9420 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9422/task/9440/stat : 9440 (java) S 9420 9420 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476112631 28904853504 7512 33554432000 4194304 4196468 140736107263776 140591886096736 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9441] ppid=9420 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9422/task/9441/stat : 9441 (java) S 9420 9420 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476112631 28904853504 7512 33554432000 4194304 4196468 140736107263776 140591885044016 140593296124546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31500 KiB
[startup+0.210747 s]*
/proc/loadavg: 6.99 7.12 7.26 4/212 9441
/proc/meminfo: memFree=24609652/32770624 swapFree=66997216/67108860
[pid=9420] ppid=9417 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9420/stat : 9420 (xcsp3-exec) S 9417 9420 7849 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476112625 115843072 363 33554432000 4194304 5098028 140735554759216 140735554757320 140654151668348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35803136 140735554761554 140735554761813 140735554761813 140735554764742 0
/proc/9420/statm: 28282 363 304 221 0 87 0
[pid=9422] ppid=9420 vsize=28227396 memory=41364 CPUtime=0.33 cores=0-7
/proc/9422/stat : 9422 (java) S 9420 9420 7849 0 -1 1077944320 9072 0 0 0 30 3 0 0 20 0 20 0 476112625 28904853504 10341 33554432000 4194304 4196468 140736107263776 140736107246320 140593296113399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
/proc/9422/statm: 7056849 10341 3304 1 0 7019032 0
[pid=9422/tid=9423] ppid=9420 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/9422/task/9423/stat : 9423 (java) R 9420 9420 7849 0 -1 4202560 6205 0 0 0 17 2 0 0 20 0 20 0 476112625 28904853504 10341 33554432000 4194304 4196468 140736107263776 140593300348096 140593296135325 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9424] ppid=9420 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/9422/task/9424/stat : 9424 (java) S 9420 9420 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476112626 28904853504 10341 33554432000 4194304 4196468 140736107263776 140593215965584 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9425] ppid=9420 vsize=28227396 memory=140156469426764 CPUtime=0 cores=0-7
/proc/9422/task/9425/stat : 9425 (java) S 9420 9420 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476112626 28904853504 10341 33554432000 4194304 4196468 140736107263776 140593214912784 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9426] ppid=9420 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9422/task/9426/stat : 9426 (java) S 9420 9420 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476112626 28904853504 10341 33554432000 4194304 4196468 140736107263776 140593213860496 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9427] ppid=9420 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9422/task/9427/stat : 9427 (java) S 9420 9420 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476112626 28904853504 10341 33554432000 4194304 4196468 140736107263776 140593212807696 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9428] ppid=9420 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9422/task/9428/stat : 9428 (java) S 9420 9420 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476112626 28904853504 10341 33554432000 4194304 4196468 140736107263776 140593211755408 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9429] ppid=9420 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9422/task/9429/stat : 9429 (java) S 9420 9420 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476112626 28904853504 10341 33554432000 4194304 4196468 140736107263776 140593210702608 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9430] ppid=9420 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9422/task/9430/stat : 9430 (java) S 9420 9420 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476112626 28904853504 10341 33554432000 4194304 4196468 140736107263776 140593209650320 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9431] ppid=9420 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9422/task/9431/stat : 9431 (java) S 9420 9420 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476112626 28904853504 10341 33554432000 4194304 4196468 140736107263776 140593208597520 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9432] ppid=9420 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9422/task/9432/stat : 9432 (java) S 9420 9420 7849 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476112628 28904853504 10341 33554432000 4194304 4196468 140736107263776 140591894517872 140593296124546 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9433] ppid=9420 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9422/task/9433/stat : 9433 (java) S 9420 9420 7849 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476112628 28904853504 10341 33554432000 4194304 4196468 140736107263776 140591893463840 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9434] ppid=9420 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9422/task/9434/stat : 9434 (java) S 9420 9420 7849 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476112628 28904853504 10341 33554432000 4194304 4196468 140736107263776 140591892411504 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9435] ppid=9420 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9422/task/9435/stat : 9435 (java) S 9420 9420 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476112631 28904853504 10341 33554432000 4194304 4196468 140736107263776 140591891359824 140593296131995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9436] ppid=9420 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/9422/task/9436/stat : 9436 (java) S 9420 9420 7849 0 -1 1077944384 344 0 0 0 1 0 0 0 20 0 20 0 476112631 28904853504 10341 33554432000 4194304 4196468 140736107263776 140591890307696 140593296124546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9437] ppid=9420 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/9422/task/9437/stat : 9437 (java) S 9420 9420 7849 0 -1 1077944384 307 0 0 0 1 0 0 0 20 0 20 0 476112631 28904853504 10341 33554432000 4194304 4196468 140736107263776 140591889254896 140593296124546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9438] ppid=9420 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/9422/task/9438/stat : 9438 (java) S 9420 9420 7849 0 -1 1077944384 129 0 0 0 1 0 0 0 20 0 20 0 476112631 28904853504 10341 33554432000 4194304 4196468 140736107263776 140591888202608 140593296124546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9439] ppid=9420 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/9422/task/9439/stat : 9439 (java) R 9420 9420 7849 0 -1 4202560 769 0 0 0 8 0 0 0 20 0 20 0 476112631 28904853504 10341 33554432000 4194304 4196468 140736107263776 140591887149808 140593296134746 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9440] ppid=9420 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9422/task/9440/stat : 9440 (java) S 9420 9420 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476112631 28904853504 10341 33554432000 4194304 4196468 140736107263776 140591886096736 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9441] ppid=9420 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9422/task/9441/stat : 9441 (java) S 9420 9420 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476112631 28904853504 10341 33554432000 4194304 4196468 140736107263776 140591885044016 140593296124546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42816 KiB
[startup+0.310513 s]*
/proc/loadavg: 6.99 7.12 7.26 3/212 9441
/proc/meminfo: memFree=24602876/32770624 swapFree=66997216/67108860
[pid=9420] ppid=9417 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9420/stat : 9420 (xcsp3-exec) S 9417 9420 7849 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476112625 115843072 363 33554432000 4194304 5098028 140735554759216 140735554757320 140654151668348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35803136 140735554761554 140735554761813 140735554761813 140735554764742 0
/proc/9420/statm: 28282 363 304 221 0 87 0
[pid=9422] ppid=9420 vsize=28231652 memory=50108 CPUtime=0.52 cores=0-7
/proc/9422/stat : 9422 (java) S 9420 9420 7849 0 -1 1077944320 10415 0 0 0 48 4 0 0 20 0 20 0 476112625 28909211648 12527 33554432000 4194304 4196468 140736107263776 140736107246320 140593296113399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
/proc/9422/statm: 7057913 12527 3353 1 0 7019032 0
[pid=9422/tid=9423] ppid=9420 vsize=28231652 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/9422/task/9423/stat : 9423 (java) R 9420 9420 7849 0 -1 4202560 7355 0 0 0 26 3 0 0 20 0 20 0 476112625 28909211648 12597 33554432000 4194304 4196468 140736107263776 140593300344512 140593280193916 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9424] ppid=9420 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9422/task/9424/stat : 9424 (java) S 9420 9420 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476112626 28909211648 12597 33554432000 4194304 4196468 140736107263776 140593215965584 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9425] ppid=9420 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9422/task/9425/stat : 9425 (java) S 9420 9420 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476112626 28909211648 12597 33554432000 4194304 4196468 140736107263776 140593214912784 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9426] ppid=9420 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9422/task/9426/stat : 9426 (java) S 9420 9420 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476112626 28909211648 12597 33554432000 4194304 4196468 140736107263776 140593213860496 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9427] ppid=9420 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9422/task/9427/stat : 9427 (java) S 9420 9420 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476112626 28909211648 12597 33554432000 4194304 4196468 140736107263776 140593212807696 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9428] ppid=9420 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/9422/task/9428/stat : 9428 (java) S 9420 9420 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476112626 28909211648 12597 33554432000 4194304 4196468 140736107263776 140593211755408 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9429] ppid=9420 vsize=28231652 memory=140156325688239 CPUtime=0 cores=0-7
/proc/9422/task/9429/stat : 9429 (java) S 9420 9420 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476112626 28909211648 12597 33554432000 4194304 4196468 140736107263776 140593210702608 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9430] ppid=9420 vsize=28231652 memory=140156325690544 CPUtime=0 cores=0-7
/proc/9422/task/9430/stat : 9430 (java) S 9420 9420 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476112626 28909211648 12597 33554432000 4194304 4196468 140736107263776 140593209650320 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9431] ppid=9420 vsize=28231652 memory=140156325692848 CPUtime=0 cores=0-7
/proc/9422/task/9431/stat : 9431 (java) S 9420 9420 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476112626 28909211648 12597 33554432000 4194304 4196468 140736107263776 140593208597520 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9432] ppid=9420 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9422/task/9432/stat : 9432 (java) S 9420 9420 7849 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476112628 28909211648 12597 33554432000 4194304 4196468 140736107263776 140591894517872 140593296124546 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9433] ppid=9420 vsize=28231652 memory=280312651392656 CPUtime=0 cores=0-7
/proc/9422/task/9433/stat : 9433 (java) S 9420 9420 7849 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476112628 28909211648 12597 33554432000 4194304 4196468 140736107263776 140591893463840 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9434] ppid=9420 vsize=28231652 memory=280312651399568 CPUtime=0 cores=0-7
/proc/9422/task/9434/stat : 9434 (java) S 9420 9420 7849 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476112628 28909211648 12597 33554432000 4194304 4196468 140736107263776 140591892411504 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9435] ppid=9420 vsize=28231652 memory=280312651340720 CPUtime=0 cores=0-7
/proc/9422/task/9435/stat : 9435 (java) S 9420 9420 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476112631 28909211648 12597 33554432000 4194304 4196468 140736107263776 140591891359824 140593296131995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9436] ppid=9420 vsize=28231652 memory=280312651413392 CPUtime=0.02 cores=0-7
/proc/9422/task/9436/stat : 9436 (java) S 9420 9420 7849 0 -1 1077944384 355 0 0 0 2 0 0 0 20 0 20 0 476112631 28909211648 12597 33554432000 4194304 4196468 140736107263776 140591890307696 140593296124546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9437] ppid=9420 vsize=28231652 memory=280312651420304 CPUtime=0.03 cores=0-7
/proc/9422/task/9437/stat : 9437 (java) R 9420 9420 7849 0 -1 4202560 411 0 0 0 3 0 0 0 20 0 20 0 476112631 28909211648 12597 33554432000 4194304 4196468 140736107263776 140591889254896 140593273374656 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9438] ppid=9420 vsize=28231652 memory=280312651418000 CPUtime=0.02 cores=0-7
/proc/9422/task/9438/stat : 9438 (java) S 9420 9420 7849 0 -1 1077944384 139 0 0 0 2 0 0 0 20 0 20 0 476112631 28909211648 12597 33554432000 4194304 4196468 140736107263776 140591888202608 140593296124546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9439] ppid=9420 vsize=28231652 memory=280312651434160 CPUtime=0.12 cores=0-7
/proc/9422/task/9439/stat : 9439 (java) S 9420 9420 7849 0 -1 1077944384 850 0 0 0 12 0 0 0 20 0 20 0 476112631 28909211648 12597 33554432000 4194304 4196468 140736107263776 140591887149808 140593296124546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9440] ppid=9420 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9422/task/9440/stat : 9440 (java) S 9420 9420 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476112631 28909211648 12597 33554432000 4194304 4196468 140736107263776 140591886096736 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9441] ppid=9420 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/9422/task/9441/stat : 9441 (java) S 9420 9420 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476112631 28909211648 12597 33554432000 4194304 4196468 140736107263776 140591885044016 140593296124546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51560 KiB
[startup+0.700998 s]
/proc/loadavg: 6.99 7.12 7.26 4/212 9441
/proc/meminfo: memFree=24582964/32770624 swapFree=66997216/67108860
[pid=9420] ppid=9417 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9420/stat : 9420 (xcsp3-exec) S 9417 9420 7849 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476112625 115843072 363 33554432000 4194304 5098028 140735554759216 140735554757320 140654151668348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35803136 140735554761554 140735554761813 140735554761813 140735554764742 0
/proc/9420/statm: 28282 363 304 221 0 87 0
[pid=9422] ppid=9420 vsize=28233776 memory=95040 CPUtime=1.97 cores=0-7
/proc/9422/stat : 9422 (java) S 9420 9420 7849 0 -1 1077944320 16486 0 0 0 191 6 0 0 20 0 20 0 476112625 28911386624 23760 33554432000 4194304 4196468 140736107263776 140736107246320 140593296113399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
/proc/9422/statm: 7058444 23760 3458 1 0 7019544 0
[pid=9422/tid=9423] ppid=9420 vsize=28233776 memory=280312651792048 CPUtime=0.67 cores=0-7
/proc/9422/task/9423/stat : 9423 (java) R 9420 9420 7849 0 -1 4202560 8729 0 0 0 63 4 0 0 20 0 20 0 476112625 28911386624 23760 33554432000 4194304 4196468 140736107263776 140593300350912 140593296125334 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9424] ppid=9420 vsize=28233776 memory=140156325897072 CPUtime=0 cores=0-7
/proc/9422/task/9424/stat : 9424 (java) S 9420 9420 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476112626 28911386624 23760 33554432000 4194304 4196468 140736107263776 140593215965584 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9425] ppid=9420 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/9422/task/9425/stat : 9425 (java) S 9420 9420 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476112626 28911386624 23760 33554432000 4194304 4196468 140736107263776 140593214912784 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9426] ppid=9420 vsize=28233776 memory=5800 CPUtime=0 cores=0-7
/proc/9422/task/9426/stat : 9426 (java) S 9420 9420 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476112626 28911386624 23760 33554432000 4194304 4196468 140736107263776 140593213860496 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
################
# More data... #
################
[pid=9422/tid=9449] ppid=9420 vsize=28768336 memory=1452 CPUtime=2415.66 cores=0-7
/proc/9422/task/9449/stat : 9449 (java) R 9420 9420 7849 0 -1 4202560 67068 0 0 0 241532 34 0 0 20 0 28 0 476112753 29458776064 196770 33554432000 4194304 4196468 140736107263776 140591868459488 140592894539376 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
Current children cumulated CPU time: 19407.9 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 788532 KiB
[startup+2502.3 s]
/proc/loadavg: 8.22 8.25 8.19 9/220 9672
/proc/meminfo: memFree=23877400/32770624 swapFree=66997224/67108860
[pid=9420] ppid=9417 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9420/stat : 9420 (xcsp3-exec) S 9417 9420 7849 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476112625 115843072 363 33554432000 4194304 5098028 140735554759216 140735554757320 140654151668348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35803136 140735554761554 140735554761813 140735554761813 140735554764742 0
/proc/9420/statm: 28282 363 304 221 0 87 0
[pid=9422] ppid=9420 vsize=28768336 memory=767060 CPUtime=19883.9 cores=0-7
/proc/9422/stat : 9422 (java) S 9420 9420 7849 0 -1 1077944320 671112 0 0 0 1987517 873 0 0 20 0 28 0 476112625 29458776064 191765 33554432000 4194304 4196468 140736107263776 140736107246320 140593296113399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
/proc/9422/statm: 7192084 191765 3553 1 0 7153184 0
[pid=9422/tid=9423] ppid=9420 vsize=28768336 memory=767060 CPUtime=1.21 cores=0-7
/proc/9422/task/9423/stat : 9423 (java) S 9420 9420 7849 0 -1 1077944384 10287 0 0 0 116 5 0 0 20 0 28 0 476112625 29458776064 191765 33554432000 4194304 4196468 140736107263776 140593300354176 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9424] ppid=9420 vsize=28768336 memory=767576 CPUtime=9.18 cores=0-7
/proc/9422/task/9424/stat : 9424 (java) S 9420 9420 7849 0 -1 1077944384 18888 0 0 0 888 30 0 0 20 0 28 0 476112626 29458776064 191765 33554432000 4194304 4196468 140736107263776 140593215965584 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9425] ppid=9420 vsize=28768336 memory=767576 CPUtime=9.23 cores=0-7
/proc/9422/task/9425/stat : 9425 (java) S 9420 9420 7849 0 -1 1077944384 17998 0 0 0 892 31 0 0 20 0 28 0 476112626 29458776064 191765 33554432000 4194304 4196468 140736107263776 140593214912784 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9426] ppid=9420 vsize=28768336 memory=767060 CPUtime=9.25 cores=0-7
/proc/9422/task/9426/stat : 9426 (java) S 9420 9420 7849 0 -1 1077944384 21420 0 0 0 895 30 0 0 20 0 28 0 476112626 29458776064 191765 33554432000 4194304 4196468 140736107263776 140593213860496 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9427] ppid=9420 vsize=28768336 memory=1452 CPUtime=9.25 cores=0-7
/proc/9422/task/9427/stat : 9427 (java) S 9420 9420 7849 0 -1 1077944384 24987 0 0 0 897 28 0 0 20 0 28 0 476112626 29458776064 191765 33554432000 4194304 4196468 140736107263776 140593212807696 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9428] ppid=9420 vsize=28768336 memory=737 CPUtime=9.27 cores=0-7
/proc/9422/task/9428/stat : 9428 (java) S 9420 9420 7849 0 -1 1077944384 17736 0 0 0 897 30 0 0 20 0 28 0 476112626 29458776064 191765 33554432000 4194304 4196468 140736107263776 140593211755408 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9429] ppid=9420 vsize=28768336 memory=-7025994870846939764 CPUtime=9.26 cores=0-7
/proc/9422/task/9429/stat : 9429 (java) S 9420 9420 7849 0 -1 1077944384 19002 0 0 0 893 33 0 0 20 0 28 0 476112626 29458776064 191765 33554432000 4194304 4196468 140736107263776 140593210702608 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9430] ppid=9420 vsize=28768336 memory=0 CPUtime=9.22 cores=0-7
/proc/9422/task/9430/stat : 9430 (java) S 9420 9420 7849 0 -1 1077944384 21135 0 0 0 888 34 0 0 20 0 28 0 476112626 29458776064 191765 33554432000 4194304 4196468 140736107263776 140593209650320 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9431] ppid=9420 vsize=28768336 memory=288288896023045155 CPUtime=9.19 cores=0-7
/proc/9422/task/9431/stat : 9431 (java) S 9420 9420 7849 0 -1 1077944384 21543 0 0 0 887 32 0 0 20 0 28 0 476112626 29458776064 191765 33554432000 4194304 4196468 140736107263776 140593208597520 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9432] ppid=9420 vsize=28768336 memory=3624 CPUtime=8.25 cores=0-7
/proc/9422/task/9432/stat : 9432 (java) S 9420 9420 7849 0 -1 1077944384 96995 0 0 0 405 420 0 0 20 0 28 0 476112628 29458776064 191765 33554432000 4194304 4196468 140736107263776 140591894517872 140593296124546 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9433] ppid=9420 vsize=28768336 memory=54828 CPUtime=0 cores=0-7
/proc/9422/task/9433/stat : 9433 (java) S 9420 9420 7849 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 476112628 29458776064 191765 33554432000 4194304 4196468 140736107263776 140591893463904 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9434] ppid=9420 vsize=28768336 memory=4096 CPUtime=0 cores=0-7
/proc/9422/task/9434/stat : 9434 (java) S 9420 9420 7849 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 476112628 29458776064 191765 33554432000 4194304 4196468 140736107263776 140591892411520 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9435] ppid=9420 vsize=28768336 memory=832 CPUtime=0 cores=0-7
/proc/9422/task/9435/stat : 9435 (java) S 9420 9420 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476112631 29458776064 191765 33554432000 4194304 4196468 140736107263776 140591891359824 140593296131995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9436] ppid=9420 vsize=28768336 memory=1408 CPUtime=2.66 cores=0-7
/proc/9422/task/9436/stat : 9436 (java) S 9420 9420 7849 0 -1 1077944384 13862 0 0 0 263 3 0 0 20 0 28 0 476112631 29458776064 191765 33554432000 4194304 4196468 140736107263776 140591890307696 140593296124546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9437] ppid=9420 vsize=28768336 memory=33 CPUtime=2.52 cores=0-7
/proc/9422/task/9437/stat : 9437 (java) S 9420 9420 7849 0 -1 1077944384 10117 0 0 0 251 1 0 0 20 0 28 0 476112631 29458776064 191765 33554432000 4194304 4196468 140736107263776 140591889254896 140593296124546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9438] ppid=9420 vsize=28768336 memory=2016 CPUtime=2.27 cores=0-7
/proc/9422/task/9438/stat : 9438 (java) S 9420 9420 7849 0 -1 1077944384 10522 0 0 0 226 1 0 0 20 0 28 0 476112631 29458776064 191765 33554432000 4194304 4196468 140736107263776 140591888202608 140593296124546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9439] ppid=9420 vsize=28768336 memory=1424 CPUtime=0.87 cores=0-7
/proc/9422/task/9439/stat : 9439 (java) S 9420 9420 7849 0 -1 1077944384 10254 0 0 0 86 1 0 0 20 0 28 0 476112631 29458776064 191765 33554432000 4194304 4196468 140736107263776 140591887149808 140593296124546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9440] ppid=9420 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/9422/task/9440/stat : 9440 (java) S 9420 9420 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476112631 29458776064 191765 33554432000 4194304 4196468 140736107263776 140591886096736 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9441] ppid=9420 vsize=28768336 memory=1452 CPUtime=0.62 cores=0-7
/proc/9422/task/9441/stat : 9441 (java) S 9420 9420 7849 0 -1 1077944384 3663 0 0 0 44 18 0 0 20 0 28 0 476112631 29458776064 191765 33554432000 4194304 4196468 140736107263776 140591885044016 140593296124546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9442] ppid=9420 vsize=28768336 memory=1452 CPUtime=2470.32 cores=0-7
/proc/9422/task/9442/stat : 9442 (java) R 9420 9420 7849 0 -1 4202560 11963 0 0 0 247018 14 0 0 20 0 28 0 476112752 29458776064 191765 33554432000 4194304 4196468 140736107263776 140591875824440 140592886683424 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9443] ppid=9420 vsize=28768336 memory=1452 CPUtime=2469.65 cores=0-7
/proc/9422/task/9443/stat : 9443 (java) R 9420 9420 7849 0 -1 4202560 15097 0 0 0 246950 15 0 0 20 0 28 0 476112752 29458776064 191765 33554432000 4194304 4196468 140736107263776 140591874773368 140592894357205 0 4 0 16800975 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9444] ppid=9420 vsize=28768336 memory=1452 CPUtime=2477.95 cores=0-7
/proc/9422/task/9444/stat : 9444 (java) R 9420 9420 7849 0 -1 4202560 24174 0 0 0 247769 26 0 0 20 0 28 0 476112752 29458776064 191765 33554432000 4194304 4196468 140736107263776 140591873720520 140592894539376 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9445] ppid=9420 vsize=28768336 memory=767576 CPUtime=2477.04 cores=0-7
/proc/9422/task/9445/stat : 9445 (java) R 9420 9420 7849 0 -1 4202560 46110 0 0 0 247683 21 0 0 20 0 28 0 476112752 29458776064 191765 33554432000 4194304 4196468 140736107263776 140591872667784 140592893600475 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9446] ppid=9420 vsize=28768336 memory=3624 CPUtime=2473.36 cores=0-7
/proc/9422/task/9446/stat : 9446 (java) R 9420 9420 7849 0 -1 4202560 122552 0 0 0 247281 55 0 0 20 0 28 0 476112752 29458776064 191765 33554432000 4194304 4196468 140736107263776 140591871615232 140592893064384 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9447] ppid=9420 vsize=28768336 memory=1980 CPUtime=2469.24 cores=0-7
/proc/9422/task/9447/stat : 9447 (java) R 9420 9420 7849 0 -1 4202560 52401 0 0 0 246895 29 0 0 20 0 28 0 476112752 29458776064 191765 33554432000 4194304 4196468 140736107263776 140591870562632 140592894539348 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9448] ppid=9420 vsize=28768336 memory=2540 CPUtime=2478.65 cores=0-7
/proc/9422/task/9448/stat : 9448 (java) R 9420 9420 7849 0 -1 4202560 11320 0 0 0 247853 12 0 0 20 0 28 0 476112753 29458776064 191765 33554432000 4194304 4196468 140736107263776 140591869509368 140592894539389 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9449] ppid=9420 vsize=28768336 memory=1760 CPUtime=2475.22 cores=0-7
/proc/9422/task/9449/stat : 9449 (java) R 9420 9420 7849 0 -1 4202560 67727 0 0 0 247487 35 0 0 20 0 28 0 476112753 29458776064 191765 33554432000 4194304 4196468 140736107263776 140591868459488 140592896257886 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
Current children cumulated CPU time: 19883.9 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 768512 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.18 8.23 8.19 9/220 9672
/proc/meminfo: memFree=23886904/32770624 swapFree=66997224/67108860
[pid=9420] ppid=9417 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9420/stat : 9420 (xcsp3-exec) S 9417 9420 7849 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476112625 115843072 363 33554432000 4194304 5098028 140735554759216 140735554757320 140654151668348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35803136 140735554761554 140735554761813 140735554761813 140735554764742 0
/proc/9420/statm: 28282 363 304 221 0 87 0
[pid=9422] ppid=9420 vsize=28768336 memory=757828 CPUtime=20024.8 cores=0-7
/proc/9422/stat : 9422 (java) S 9420 9420 7849 0 -1 1077944320 672358 0 0 0 2001604 876 0 0 20 0 28 0 476112625 29458776064 189457 33554432000 4194304 4196468 140736107263776 140736107246320 140593296113399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
/proc/9422/statm: 7192084 189457 3553 1 0 7153184 0
[pid=9422/tid=9423] ppid=9420 vsize=28768336 memory=-6733704525061579059 CPUtime=1.21 cores=0-7
/proc/9422/task/9423/stat : 9423 (java) S 9420 9420 7849 0 -1 1077944384 10287 0 0 0 116 5 0 0 20 0 28 0 476112625 29458776064 189457 33554432000 4194304 4196468 140736107263776 140593300354176 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9424] ppid=9420 vsize=28768336 memory=4872558044660077418 CPUtime=9.21 cores=0-7
/proc/9422/task/9424/stat : 9424 (java) S 9420 9420 7849 0 -1 1077944384 18963 0 0 0 891 30 0 0 20 0 28 0 476112626 29458776064 189457 33554432000 4194304 4196468 140736107263776 140593215965584 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9425] ppid=9420 vsize=28768336 memory=1720 CPUtime=9.26 cores=0-7
/proc/9422/task/9425/stat : 9425 (java) S 9420 9420 7849 0 -1 1077944384 18046 0 0 0 895 31 0 0 20 0 28 0 476112626 29458776064 189457 33554432000 4194304 4196468 140736107263776 140593214912784 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9426] ppid=9420 vsize=28768336 memory=0 CPUtime=9.27 cores=0-7
/proc/9422/task/9426/stat : 9426 (java) S 9420 9420 7849 0 -1 1077944384 21531 0 0 0 897 30 0 0 20 0 28 0 476112626 29458776064 189457 33554432000 4194304 4196468 140736107263776 140593213860496 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9427] ppid=9420 vsize=28768336 memory=5577 CPUtime=9.28 cores=0-7
/proc/9422/task/9427/stat : 9427 (java) S 9420 9420 7849 0 -1 1077944384 25023 0 0 0 900 28 0 0 20 0 28 0 476112626 29458776064 189457 33554432000 4194304 4196468 140736107263776 140593212807696 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9428] ppid=9420 vsize=28768336 memory=2222 CPUtime=9.3 cores=0-7
/proc/9422/task/9428/stat : 9428 (java) S 9420 9420 7849 0 -1 1077944384 18068 0 0 0 900 30 0 0 20 0 28 0 476112626 29458776064 189457 33554432000 4194304 4196468 140736107263776 140593211755408 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9429] ppid=9420 vsize=28768336 memory=1556 CPUtime=9.29 cores=0-7
/proc/9422/task/9429/stat : 9429 (java) S 9420 9420 7849 0 -1 1077944384 19094 0 0 0 896 33 0 0 20 0 28 0 476112626 29458776064 189457 33554432000 4194304 4196468 140736107263776 140593210702608 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9430] ppid=9420 vsize=28768336 memory=932 CPUtime=9.25 cores=0-7
/proc/9422/task/9430/stat : 9430 (java) S 9420 9420 7849 0 -1 1077944384 21243 0 0 0 891 34 0 0 20 0 28 0 476112626 29458776064 189457 33554432000 4194304 4196468 140736107263776 140593209650320 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9431] ppid=9420 vsize=28768336 memory=3680 CPUtime=9.22 cores=0-7
/proc/9422/task/9431/stat : 9431 (java) S 9420 9420 7849 0 -1 1077944384 21555 0 0 0 890 32 0 0 20 0 28 0 476112626 29458776064 189457 33554432000 4194304 4196468 140736107263776 140593208597520 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9432] ppid=9420 vsize=28768336 memory=832 CPUtime=8.29 cores=0-7
/proc/9422/task/9432/stat : 9432 (java) S 9420 9420 7849 0 -1 1077944384 97189 0 0 0 407 422 0 0 20 0 28 0 476112628 29458776064 189457 33554432000 4194304 4196468 140736107263776 140591894517872 140593296124546 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9433] ppid=9420 vsize=28768336 memory=1436 CPUtime=0 cores=0-7
/proc/9422/task/9433/stat : 9433 (java) S 9420 9420 7849 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 476112628 29458776064 189457 33554432000 4194304 4196468 140736107263776 140591893463904 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9434] ppid=9420 vsize=28768336 memory=1720 CPUtime=0 cores=0-7
/proc/9422/task/9434/stat : 9434 (java) S 9420 9420 7849 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 476112628 29458776064 189457 33554432000 4194304 4196468 140736107263776 140591892411520 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9435] ppid=9420 vsize=28768336 memory=1980 CPUtime=0 cores=0-7
/proc/9422/task/9435/stat : 9435 (java) S 9420 9420 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476112631 29458776064 189457 33554432000 4194304 4196468 140736107263776 140591891359824 140593296131995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9436] ppid=9420 vsize=28768336 memory=2540 CPUtime=2.66 cores=0-7
/proc/9422/task/9436/stat : 9436 (java) S 9420 9420 7849 0 -1 1077944384 13864 0 0 0 263 3 0 0 20 0 28 0 476112631 29458776064 189457 33554432000 4194304 4196468 140736107263776 140591890307696 140593296124546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9437] ppid=9420 vsize=28768336 memory=1760 CPUtime=2.52 cores=0-7
/proc/9422/task/9437/stat : 9437 (java) S 9420 9420 7849 0 -1 1077944384 10119 0 0 0 251 1 0 0 20 0 28 0 476112631 29458776064 189457 33554432000 4194304 4196468 140736107263776 140591889254896 140593296124546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9438] ppid=9420 vsize=28768336 memory=111636 CPUtime=2.27 cores=0-7
/proc/9422/task/9438/stat : 9438 (java) S 9420 9420 7849 0 -1 1077944384 10524 0 0 0 226 1 0 0 20 0 28 0 476112631 29458776064 189457 33554432000 4194304 4196468 140736107263776 140591888202608 140593296124546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9439] ppid=9420 vsize=28768336 memory=804 CPUtime=0.87 cores=0-7
/proc/9422/task/9439/stat : 9439 (java) S 9420 9420 7849 0 -1 1077944384 10256 0 0 0 86 1 0 0 20 0 28 0 476112631 29458776064 189457 33554432000 4194304 4196468 140736107263776 140591887149808 140593296124546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9440] ppid=9420 vsize=28768336 memory=1780 CPUtime=0 cores=0-7
/proc/9422/task/9440/stat : 9440 (java) S 9420 9420 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476112631 29458776064 189457 33554432000 4194304 4196468 140736107263776 140591886096736 140593296123605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9441] ppid=9420 vsize=28768336 memory=916 CPUtime=0.62 cores=0-7
/proc/9422/task/9441/stat : 9441 (java) S 9420 9420 7849 0 -1 1077944384 3672 0 0 0 44 18 0 0 20 0 28 0 476112631 29458776064 189457 33554432000 4194304 4196468 140736107263776 140591885044016 140593296124546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9442] ppid=9420 vsize=28768336 memory=4408 CPUtime=2487.95 cores=0-7
/proc/9422/task/9442/stat : 9442 (java) R 9420 9420 7849 0 -1 4202560 11986 0 0 0 248781 14 0 0 20 0 28 0 476112752 29458776064 189457 33554432000 4194304 4196468 140736107263776 140591875824776 140592894699752 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9443] ppid=9420 vsize=28768336 memory=1408 CPUtime=2487.24 cores=0-7
/proc/9422/task/9443/stat : 9443 (java) R 9420 9420 7849 0 -1 4202560 15143 0 0 0 248709 15 0 0 20 0 28 0 476112752 29458776064 189457 33554432000 4194304 4196468 140736107263776 140591874773432 140592894539845 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9444] ppid=9420 vsize=28768336 memory=3784 CPUtime=2495.44 cores=0-7
/proc/9422/task/9444/stat : 9444 (java) R 9420 9420 7849 0 -1 4202560 24195 0 0 0 249517 27 0 0 20 0 28 0 476112752 29458776064 189457 33554432000 4194304 4196468 140736107263776 140591873720552 140592894699013 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9445] ppid=9420 vsize=28768336 memory=1452 CPUtime=2494.68 cores=0-7
/proc/9422/task/9445/stat : 9445 (java) R 9420 9420 7849 0 -1 4202560 46136 0 0 0 249447 21 0 0 20 0 28 0 476112752 29458776064 189457 33554432000 4194304 4196468 140736107263776 140591872667784 140592893600080 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9446] ppid=9420 vsize=28768336 memory=757828 CPUtime=2490.99 cores=0-7
/proc/9422/task/9446/stat : 9446 (java) R 9420 9420 7849 0 -1 4202560 122581 0 0 0 249044 55 0 0 20 0 28 0 476112752 29458776064 189457 33554432000 4194304 4196468 140736107263776 140591871615472 140592894539376 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9447] ppid=9420 vsize=28768336 memory=4096 CPUtime=2486.69 cores=0-7
/proc/9422/task/9447/stat : 9447 (java) R 9420 9420 7849 0 -1 4202560 52435 0 0 0 248640 29 0 0 20 0 28 0 476112752 29458776064 189457 33554432000 4194304 4196468 140736107263776 140591870562632 140592893064215 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9448] ppid=9420 vsize=28768336 memory=-6733704525061579059 CPUtime=2496.24 cores=0-7
/proc/9422/task/9448/stat : 9448 (java) R 9420 9420 7849 0 -1 4202560 11341 0 0 0 249612 12 0 0 20 0 28 0 476112753 29458776064 189457 33554432000 4194304 4196468 140736107263776 140591869509368 140592893064283 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
[pid=9422/tid=9449] ppid=9420 vsize=28768336 memory=4872558044660077418 CPUtime=2492.84 cores=0-7
/proc/9422/task/9449/stat : 9449 (java) R 9420 9420 7849 0 -1 4202560 67748 0 0 0 249249 35 0 0 20 0 28 0 476112753 29458776064 189457 33554432000 4194304 4196468 140736107263776 140591868459488 140592896257457 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 28094464 140736107271126 140736107271302 140736107271302 140736107274191 0
Current children cumulated CPU time: 20024.8 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 759280 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 9420 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001176 s, system=0.001176 s
[startup+2520.13 s]
# the end of solver process 9422 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20016.6 s, system=8.80886 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2520.13
CPU time (s): 20025.4
CPU user time (s): 20016.6
CPU system time (s): 8.80886
CPU usage (%): 794.617
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 972504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20016.6
system time used= 8.80886
maximum resident set size= 973556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 673208
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 158172
involuntary context switches= 241901
# summary of solver processes directly reported to runsolver:
# pid: 9420,9422
# total CPU time (s): 20025.4
# total CPU user time (s): 20016.6
# total CPU system time (s): 8.80886
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.9891 second user time and 25.9109 second system time
The end
Begin job on node140 at 2019-09-20 19:48:21 IDJOB=4404429 IDBENCH=128106 IDSOLVER=2865 FILE ID=node140/4404429-1569001743 RUNJOBID= node140-1568994030-7876 PBS_JOBID= 21704714 Free space on /var/tmp= 13508 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-90-07.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404429-1569001743/watcher-4404429-1569001743 -o /var/tmp/evaluation-result-4404429-1569001743/solver-4404429-1569001743 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1568994030-7876 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 612316309 HOME/instance-4404429-1569001743.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 62ab34719a1ca197804bba3dde19efaf RANDOM SEED=612316309 node140.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.43 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.43 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.43 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.43 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: 24640260 kB MemAvailable: 31850160 kB Buffers: 76560 kB Cached: 7219452 kB SwapCached: 2524 kB Active: 3628316 kB Inactive: 3677036 kB Active(anon): 2740 kB Inactive(anon): 53788 kB Active(file): 3625576 kB Inactive(file): 3623248 kB Unevictable: 106600 kB Mlocked: 106600 kB SwapTotal: 67108860 kB SwapFree: 66997216 kB Dirty: 26476 kB Writeback: 0 kB AnonPages: 133012 kB Mapped: 52128 kB Shmem: 38320 kB Slab: 417820 kB SReclaimable: 389536 kB SUnreclaim: 28284 kB KernelStack: 3728 kB PageTables: 5596 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506944 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 88064 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /var/tmp at the end= 13484 MiB End job on node140 at 2019-09-20 20:30:22