| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| choco-solver 4.0.5 par (2017-08-09) | ? (TO) | 20097.1 | 2520.1201 |
| Name | CarSequencing/CarSequencing-m1-jcr/ CarSequencing-80-02.xml |
| MD5SUM | 201da62bda966dccc44cd0c6ff0d4af7 |
| 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 | 20.808901 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1200 |
| Number of constraints | 1431 |
| Number of domains | 2 |
| Minimum domain size | 2 |
| Maximum domain size | 25 |
| Distribution of domain sizes | [{"size":2,"count":1000},{"size":25,"count":200}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 75 |
| 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":51,"count":8}, {"degree":52,"count":9}, {"degree":53,"count":9}, {"degree":54,"count":56}, {"degree":55,"count":5}, {"degree":56,"count":5}, {"degree":57,"count":6}, {"degree":58,"count":6}, {"degree":59,"count":38}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"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":3}, {"degree":75,"count":57}] |
| 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":35,"count":1},{"arity":38,"count":1},{"arity":40,"count":1},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":45,"count":2},{"arity":47,"count":1},{"arity":50,"count":3},{"arity":53,"count":2},{"arity":55,"count":2},{"arity":56,"count":2},{"arity":58,"count":1},{"arity":59,"count":2},{"arity":60,"count":3},{"arity":62,"count":3},{"arity":64,"count":1},{"arity":65,"count":4},{"arity":66,"count":1},{"arity":68,"count":3},{"arity":70,"count":3},{"arity":71,"count":2},"...",{"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":1230},{"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-4270879-1502742520.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4270879-1502742520.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.32/0.26 c parse instance... 4.16/1.25 c solve instance... 20096.23/2520.10 s UNKNOWN 20096.23/2520.10 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 (13926 MiB free)
memory of node 1: 16384 MiB (14176 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270879-1502742520/watcher-4270879-1502742520 -o /tmp/evaluation-result-4270879-1502742520/solver-4270879-1502742520 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1502738783-4357 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2087342637 HOME/instance-4270879-1502742520.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
Current StackSize limit: 8192 KiB
solver pid=4701, runsolver pid=4698
[startup+0.100159 s]*
/proc/loadavg: 7.59 7.99 8.14 2/200 4722
/proc/meminfo: memFree=28763004/32770624 swapFree=67108860/67108860
[pid=4701] ppid=4698 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4701/stat : 4701 (xcsp3-exec) S 4698 4701 4330 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 107332987 9740288 346 33554432000 4194304 5098028 140737062098720 140737062096824 139627969258108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10883072 140737062102116 140737062102327 140737062102327 140737062105067 0
/proc/4701/statm: 2378 346 289 221 0 87 0
[pid=4703] ppid=4701 vsize=25999808 memory=26200 CPUtime=0.12 cores=0-7
/proc/4703/stat : 4703 (java) S 4701 4701 4330 0 -1 1077944320 5492 0 0 0 11 1 0 0 20 0 20 0 107332987 26623803392 6550 33554432000 4194304 4196468 140721388888448 140721388870992 140696135286519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
/proc/4703/statm: 6499952 6550 2851 1 0 6488269 0
[pid=4703/tid=4704] ppid=4701 vsize=25999808 memory=4139257150636716954 CPUtime=0.09 cores=0-7
/proc/4703/task/4704/stat : 4704 (java) R 4701 4701 4330 0 -1 4202560 3489 0 0 0 8 1 0 0 20 0 20 0 107332987 26623803392 6550 33554432000 4194304 4196468 140721388888448 140696139518448 140696135298454 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4705] ppid=4701 vsize=25999808 memory=732370707931102181 CPUtime=0 cores=0-7
/proc/4703/task/4705/stat : 4705 (java) S 4701 4701 4330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107332988 26623803392 6550 33554432000 4194304 4196468 140721388888448 140696087906576 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4706] ppid=4701 vsize=25999808 memory=140569593648768 CPUtime=0 cores=0-7
/proc/4703/task/4706/stat : 4706 (java) S 4701 4701 4330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107332988 26623803392 6550 33554432000 4194304 4196468 140721388888448 140696086854032 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4707] ppid=4701 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4703/task/4707/stat : 4707 (java) S 4701 4701 4330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107332988 26623803392 6550 33554432000 4194304 4196468 140721388888448 140696085801488 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4708] ppid=4701 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4703/task/4708/stat : 4708 (java) S 4701 4701 4330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107332988 26623803392 6550 33554432000 4194304 4196468 140721388888448 140696084748944 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4709] ppid=4701 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4703/task/4709/stat : 4709 (java) S 4701 4701 4330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107332988 26623803392 6550 33554432000 4194304 4196468 140721388888448 140696083696400 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4710] ppid=4701 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/4703/task/4710/stat : 4710 (java) S 4701 4701 4330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107332988 26623803392 6550 33554432000 4194304 4196468 140721388888448 140695688313744 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4711] ppid=4701 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4703/task/4711/stat : 4711 (java) S 4701 4701 4330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107332988 26623803392 6550 33554432000 4194304 4196468 140721388888448 140695687261200 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4712] ppid=4701 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4703/task/4712/stat : 4712 (java) S 4701 4701 4330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107332988 26623803392 6550 33554432000 4194304 4196468 140721388888448 140695686208656 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4713] ppid=4701 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4703/task/4713/stat : 4713 (java) S 4701 4701 4330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107332989 26623803392 6550 33554432000 4194304 4196468 140721388888448 140694877399024 140696135297666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4714] ppid=4701 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4703/task/4714/stat : 4714 (java) S 4701 4701 4330 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 107332990 26623803392 6550 33554432000 4194304 4196468 140721388888448 140694876345248 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4715] ppid=4701 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4703/task/4715/stat : 4715 (java) S 4701 4701 4330 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 107332990 26623803392 6550 33554432000 4194304 4196468 140721388888448 140694875292656 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4716] ppid=4701 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4703/task/4716/stat : 4716 (java) S 4701 4701 4330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107332992 26623803392 6550 33554432000 4194304 4196468 140721388888448 140694807111888 140696135305115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4717] ppid=4701 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4703/task/4717/stat : 4717 (java) R 4701 4701 4330 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 107332992 26623803392 6550 33554432000 4194304 4196468 140721388888448 140694806059504 140696135297666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4718] ppid=4701 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4703/task/4718/stat : 4718 (java) S 4701 4701 4330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107332992 26623803392 6550 33554432000 4194304 4196468 140721388888448 140694805006960 140696135297666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4719] ppid=4701 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4703/task/4719/stat : 4719 (java) S 4701 4701 4330 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 107332992 26623803392 6550 33554432000 4194304 4196468 140721388888448 140694803954416 140696135297666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4720] ppid=4701 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/4703/task/4720/stat : 4720 (java) R 4701 4701 4330 0 -1 4202560 264 0 0 0 1 0 0 0 20 0 20 0 107332992 26623803392 6550 33554432000 4194304 4196468 140721388888448 140694802901872 140696135307866 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4721] ppid=4701 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4703/task/4721/stat : 4721 (java) S 4701 4701 4330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107332993 26623803392 6550 33554432000 4194304 4196468 140721388888448 140694801848544 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4722] ppid=4701 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/4703/task/4722/stat : 4722 (java) S 4701 4701 4330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107332993 26623803392 6550 33554432000 4194304 4196468 140721388888448 140694800796080 140696135297666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27584 KiB
[startup+0.210166 s]*
/proc/loadavg: 7.59 7.99 8.14 2/200 4722
/proc/meminfo: memFree=28751220/32770624 swapFree=67108860/67108860
[pid=4701] ppid=4698 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4701/stat : 4701 (xcsp3-exec) S 4698 4701 4330 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 107332987 9740288 346 33554432000 4194304 5098028 140737062098720 140737062096824 139627969258108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10883072 140737062102116 140737062102327 140737062102327 140737062105067 0
/proc/4701/statm: 2378 346 289 221 0 87 0
[pid=4703] ppid=4701 vsize=26004064 memory=39100 CPUtime=0.32 cores=0-7
/proc/4703/stat : 4703 (java) S 4701 4701 4330 0 -1 1077944320 8348 0 0 0 30 2 0 0 20 0 20 0 107332987 26628161536 9775 33554432000 4194304 4196468 140721388888448 140721388870992 140696135286519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
/proc/4703/statm: 6501016 9775 3059 1 0 6488269 0
[pid=4703/tid=4704] ppid=4701 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/4703/task/4704/stat : 4704 (java) R 4701 4701 4330 0 -1 4202560 5397 0 0 0 18 1 0 0 20 0 20 0 107332987 26628161536 9775 33554432000 4194304 4196468 140721388888448 140696139508528 140696135308445 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4705] ppid=4701 vsize=26004064 memory=732370707931102181 CPUtime=0 cores=0-7
/proc/4703/task/4705/stat : 4705 (java) S 4701 4701 4330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107332988 26628161536 9775 33554432000 4194304 4196468 140721388888448 140696087906576 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4706] ppid=4701 vsize=26004064 memory=140569593648768 CPUtime=0 cores=0-7
/proc/4703/task/4706/stat : 4706 (java) S 4701 4701 4330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107332988 26628161536 9775 33554432000 4194304 4196468 140721388888448 140696086854032 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4707] ppid=4701 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4703/task/4707/stat : 4707 (java) S 4701 4701 4330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107332988 26628161536 9775 33554432000 4194304 4196468 140721388888448 140696085801488 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4708] ppid=4701 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4703/task/4708/stat : 4708 (java) S 4701 4701 4330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107332988 26628161536 9775 33554432000 4194304 4196468 140721388888448 140696084748944 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4709] ppid=4701 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4703/task/4709/stat : 4709 (java) S 4701 4701 4330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107332988 26628161536 9775 33554432000 4194304 4196468 140721388888448 140696083696400 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4710] ppid=4701 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4703/task/4710/stat : 4710 (java) S 4701 4701 4330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107332988 26628161536 9775 33554432000 4194304 4196468 140721388888448 140695688313744 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4711] ppid=4701 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4703/task/4711/stat : 4711 (java) S 4701 4701 4330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107332988 26628161536 9775 33554432000 4194304 4196468 140721388888448 140695687261200 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4712] ppid=4701 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4703/task/4712/stat : 4712 (java) S 4701 4701 4330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107332988 26628161536 9775 33554432000 4194304 4196468 140721388888448 140695686208656 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4713] ppid=4701 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4703/task/4713/stat : 4713 (java) S 4701 4701 4330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107332989 26628161536 9775 33554432000 4194304 4196468 140721388888448 140694877399024 140696135297666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4714] ppid=4701 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4703/task/4714/stat : 4714 (java) S 4701 4701 4330 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 107332990 26628161536 9775 33554432000 4194304 4196468 140721388888448 140694876345248 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4715] ppid=4701 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4703/task/4715/stat : 4715 (java) S 4701 4701 4330 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 107332990 26628161536 9775 33554432000 4194304 4196468 140721388888448 140694875292656 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4716] ppid=4701 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4703/task/4716/stat : 4716 (java) S 4701 4701 4330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107332992 26628161536 9775 33554432000 4194304 4196468 140721388888448 140694807111888 140696135305115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4717] ppid=4701 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/4703/task/4717/stat : 4717 (java) S 4701 4701 4330 0 -1 1077944384 376 0 0 0 1 0 0 0 20 0 20 0 107332992 26628161536 9775 33554432000 4194304 4196468 140721388888448 140694806059504 140696135297666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4718] ppid=4701 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/4703/task/4718/stat : 4718 (java) S 4701 4701 4330 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 20 0 107332992 26628161536 9775 33554432000 4194304 4196468 140721388888448 140694805006960 140696135297666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4719] ppid=4701 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/4703/task/4719/stat : 4719 (java) S 4701 4701 4330 0 -1 1077944384 412 0 0 0 1 0 0 0 20 0 20 0 107332992 26628161536 9775 33554432000 4194304 4196468 140721388888448 140694803954416 140696135297666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4720] ppid=4701 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/4703/task/4720/stat : 4720 (java) R 4701 4701 4330 0 -1 4202560 756 0 0 0 7 0 0 0 20 0 20 0 107332992 26628161536 9775 33554432000 4194304 4196468 140721388888448 140694802901872 140696135307866 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4721] ppid=4701 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4703/task/4721/stat : 4721 (java) S 4701 4701 4330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107332993 26628161536 9775 33554432000 4194304 4196468 140721388888448 140694801848544 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4722] ppid=4701 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4703/task/4722/stat : 4722 (java) S 4701 4701 4330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107332993 26628161536 9775 33554432000 4194304 4196468 140721388888448 140694800796080 140696135297666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40484 KiB
[startup+0.309512 s]*
/proc/loadavg: 7.59 7.99 8.14 3/200 4722
/proc/meminfo: memFree=28746908/32770624 swapFree=67108860/67108860
[pid=4701] ppid=4698 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4701/stat : 4701 (xcsp3-exec) S 4698 4701 4330 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 107332987 9740288 346 33554432000 4194304 5098028 140737062098720 140737062096824 139627969258108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10883072 140737062102116 140737062102327 140737062102327 140737062105067 0
/proc/4701/statm: 2378 346 289 221 0 87 0
[pid=4703] ppid=4701 vsize=26004064 memory=44004 CPUtime=0.5 cores=0-7
/proc/4703/stat : 4703 (java) S 4701 4701 4330 0 -1 1077944320 9210 0 0 0 47 3 0 0 20 0 20 0 107332987 26628161536 11001 33554432000 4194304 4196468 140721388888448 140721388870992 140696135286519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
/proc/4703/statm: 6501016 11001 3095 1 0 6488269 0
[pid=4703/tid=4704] ppid=4701 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/4703/task/4704/stat : 4704 (java) R 4701 4701 4330 0 -1 4202560 6074 0 0 0 27 2 0 0 20 0 20 0 107332987 26628161536 11001 33554432000 4194304 4196468 140721388888448 140696139524816 140696119367006 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4705] ppid=4701 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4703/task/4705/stat : 4705 (java) S 4701 4701 4330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107332988 26628161536 11001 33554432000 4194304 4196468 140721388888448 140696087906576 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4706] ppid=4701 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4703/task/4706/stat : 4706 (java) S 4701 4701 4330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107332988 26628161536 11001 33554432000 4194304 4196468 140721388888448 140696086854032 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4707] ppid=4701 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4703/task/4707/stat : 4707 (java) S 4701 4701 4330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107332988 26628161536 11001 33554432000 4194304 4196468 140721388888448 140696085801488 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4708] ppid=4701 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4703/task/4708/stat : 4708 (java) S 4701 4701 4330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107332988 26628161536 11001 33554432000 4194304 4196468 140721388888448 140696084748944 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4709] ppid=4701 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/4703/task/4709/stat : 4709 (java) S 4701 4701 4330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107332988 26628161536 11001 33554432000 4194304 4196468 140721388888448 140696083696400 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4710] ppid=4701 vsize=26004064 memory=140569447855023 CPUtime=0 cores=0-7
/proc/4703/task/4710/stat : 4710 (java) S 4701 4701 4330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107332988 26628161536 11001 33554432000 4194304 4196468 140721388888448 140695688313744 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4711] ppid=4701 vsize=26004064 memory=140569447857328 CPUtime=0 cores=0-7
/proc/4703/task/4711/stat : 4711 (java) S 4701 4701 4330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107332988 26628161536 11001 33554432000 4194304 4196468 140721388888448 140695687261200 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4712] ppid=4701 vsize=26004064 memory=140569447859632 CPUtime=0 cores=0-7
/proc/4703/task/4712/stat : 4712 (java) S 4701 4701 4330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107332988 26628161536 11001 33554432000 4194304 4196468 140721388888448 140695686208656 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4713] ppid=4701 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4703/task/4713/stat : 4713 (java) S 4701 4701 4330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107332989 26628161536 11001 33554432000 4194304 4196468 140721388888448 140694877399024 140696135297666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4714] ppid=4701 vsize=26004064 memory=281138895726224 CPUtime=0 cores=0-7
/proc/4703/task/4714/stat : 4714 (java) S 4701 4701 4330 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 107332990 26628161536 11001 33554432000 4194304 4196468 140721388888448 140694876345248 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4715] ppid=4701 vsize=26004064 memory=281138895733136 CPUtime=0 cores=0-7
/proc/4703/task/4715/stat : 4715 (java) S 4701 4701 4330 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 107332990 26628161536 11001 33554432000 4194304 4196468 140721388888448 140694875292656 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4716] ppid=4701 vsize=26004064 memory=281138895674416 CPUtime=0 cores=0-7
/proc/4703/task/4716/stat : 4716 (java) S 4701 4701 4330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107332992 26628161536 11001 33554432000 4194304 4196468 140721388888448 140694807111888 140696135305115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4717] ppid=4701 vsize=26004064 memory=281138895746960 CPUtime=0.01 cores=0-7
/proc/4703/task/4717/stat : 4717 (java) S 4701 4701 4330 0 -1 1077944384 388 0 0 0 1 0 0 0 20 0 20 0 107332992 26628161536 11001 33554432000 4194304 4196468 140721388888448 140694806059504 140696135297666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4718] ppid=4701 vsize=26004064 memory=281138895753872 CPUtime=0.02 cores=0-7
/proc/4703/task/4718/stat : 4718 (java) R 4701 4701 4330 0 -1 4202560 136 0 0 0 2 0 0 0 20 0 20 0 107332992 26628161536 11001 33554432000 4194304 4196468 140721388888448 140694805006960 140696120452072 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4719] ppid=4701 vsize=26004064 memory=281138895751568 CPUtime=0.02 cores=0-7
/proc/4703/task/4719/stat : 4719 (java) S 4701 4701 4330 0 -1 1077944384 421 0 0 0 2 0 0 0 20 0 20 0 107332992 26628161536 11001 33554432000 4194304 4196468 140721388888448 140694803954416 140696135297666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4720] ppid=4701 vsize=26004064 memory=281138895767728 CPUtime=0.12 cores=0-7
/proc/4703/task/4720/stat : 4720 (java) R 4701 4701 4330 0 -1 4202560 881 0 0 0 12 0 0 0 20 0 20 0 107332992 26628161536 11001 33554432000 4194304 4196468 140721388888448 140694802897632 140696115608871 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4721] ppid=4701 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4703/task/4721/stat : 4721 (java) S 4701 4701 4330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107332993 26628161536 11001 33554432000 4194304 4196468 140721388888448 140694801848544 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4722] ppid=4701 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4703/task/4722/stat : 4722 (java) S 4701 4701 4330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107332993 26628161536 11001 33554432000 4194304 4196468 140721388888448 140694800796080 140696135297666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45388 KiB
[startup+0.700978 s]
/proc/loadavg: 7.59 7.99 8.14 6/200 4722
/proc/meminfo: memFree=28724328/32770624 swapFree=67108860/67108860
[pid=4701] ppid=4698 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4701/stat : 4701 (xcsp3-exec) S 4698 4701 4330 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 107332987 9740288 346 33554432000 4194304 5098028 140737062098720 140737062096824 139627969258108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10883072 140737062102116 140737062102327 140737062102327 140737062105067 0
/proc/4701/statm: 2378 346 289 221 0 87 0
[pid=4703] ppid=4701 vsize=26006188 memory=92464 CPUtime=1.94 cores=0-7
/proc/4703/stat : 4703 (java) S 4701 4701 4330 0 -1 1077944320 13732 0 0 0 189 5 0 0 20 0 20 0 107332987 26630336512 23116 33554432000 4194304 4196468 140721388888448 140721388870992 140696135286519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
/proc/4703/statm: 6501547 23116 3220 1 0 6488781 0
[pid=4703/tid=4704] ppid=4701 vsize=26006188 memory=281138896062656 CPUtime=0.67 cores=0-7
/proc/4703/task/4704/stat : 4704 (java) R 4701 4701 4330 0 -1 4202560 6779 0 0 0 64 3 0 0 20 0 20 0 107332987 26630336512 23116 33554432000 4194304 4196468 140721388888448 140696139509456 140721389226184 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4705] ppid=4701 vsize=26006188 memory=4964982195330 CPUtime=0 cores=0-7
/proc/4703/task/4705/stat : 4705 (java) S 4701 4701 4330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107332988 26630336512 23116 33554432000 4194304 4196468 140721388888448 140696087906576 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4706] ppid=4701 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/4703/task/4706/stat : 4706 (java) S 4701 4701 4330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107332988 26630336512 23116 33554432000 4194304 4196468 140721388888448 140696086854032 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4707] ppid=4701 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/4703/task/4707/stat : 4707 (java) S 4701 4701 4330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107332988 26630336512 23116 33554432000 4194304 4196468 140721388888448 140696085801488 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
################
# More data... #
################
[pid=4703/tid=4730] ppid=4701 vsize=26538700 memory=6508 CPUtime=2429.06 cores=0-7
/proc/4703/task/4730/stat : 4730 (java) R 4701 4701 4330 0 -1 4202560 21198 0 0 0 242879 27 0 0 20 0 28 0 107333114 27175628800 207332 33554432000 4194304 4196468 140721388888448 140694785419856 140695770861531 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
Current children cumulated CPU time: 19476.7 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 830712 KiB
[startup+2502.3 s]
/proc/loadavg: 8.18 8.30 8.31 9/207 4765
/proc/meminfo: memFree=27962472/32770624 swapFree=67108860/67108860
[pid=4701] ppid=4698 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4701/stat : 4701 (xcsp3-exec) S 4698 4701 4330 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 107332987 9740288 346 33554432000 4194304 5098028 140737062098720 140737062096824 139627969258108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10883072 140737062102116 140737062102327 140737062102327 140737062105067 0
/proc/4701/statm: 2378 346 289 221 0 87 0
[pid=4703] ppid=4701 vsize=26538700 memory=829328 CPUtime=19955.1 cores=0-7
/proc/4703/stat : 4703 (java) S 4701 4701 4330 0 -1 1077944320 220509 0 0 0 1995237 269 0 0 20 0 28 0 107332987 27175628800 207332 33554432000 4194304 4196468 140721388888448 140721388870992 140696135286519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
/proc/4703/statm: 6634675 207332 3301 1 0 6621909 0
[pid=4703/tid=4704] ppid=4701 vsize=26538700 memory=1384 CPUtime=1.21 cores=0-7
/proc/4703/task/4704/stat : 4704 (java) S 4701 4701 4330 0 -1 1077944384 7678 0 0 0 116 5 0 0 20 0 28 0 107332987 27175628800 207332 33554432000 4194304 4196468 140721388888448 140696139527296 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4705] ppid=4701 vsize=26538700 memory=829328 CPUtime=0.79 cores=0-7
/proc/4703/task/4705/stat : 4705 (java) S 4701 4701 4330 0 -1 1077944384 4614 0 0 0 69 10 0 0 20 0 28 0 107332988 27175628800 207332 33554432000 4194304 4196468 140721388888448 140696087906576 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4706] ppid=4701 vsize=26538700 memory=829328 CPUtime=0.79 cores=0-7
/proc/4703/task/4706/stat : 4706 (java) S 4701 4701 4330 0 -1 1077944384 6819 0 0 0 68 11 0 0 20 0 28 0 107332988 27175628800 207332 33554432000 4194304 4196468 140721388888448 140696086854032 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4707] ppid=4701 vsize=26538700 memory=1004 CPUtime=0.78 cores=0-7
/proc/4703/task/4707/stat : 4707 (java) S 4701 4701 4330 0 -1 1077944384 5385 0 0 0 67 11 0 0 20 0 28 0 107332988 27175628800 207332 33554432000 4194304 4196468 140721388888448 140696085801488 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4708] ppid=4701 vsize=26538700 memory=1228 CPUtime=0.8 cores=0-7
/proc/4703/task/4708/stat : 4708 (java) S 4701 4701 4330 0 -1 1077944384 5266 0 0 0 70 10 0 0 20 0 28 0 107332988 27175628800 207332 33554432000 4194304 4196468 140721388888448 140696084748944 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4709] ppid=4701 vsize=26538700 memory=829328 CPUtime=0.81 cores=0-7
/proc/4703/task/4709/stat : 4709 (java) S 4701 4701 4330 0 -1 1077944384 4282 0 0 0 70 11 0 0 20 0 28 0 107332988 27175628800 207332 33554432000 4194304 4196468 140721388888448 140696083696400 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4710] ppid=4701 vsize=26538700 memory=829328 CPUtime=0.8 cores=0-7
/proc/4703/task/4710/stat : 4710 (java) S 4701 4701 4330 0 -1 1077944384 4660 0 0 0 68 12 0 0 20 0 28 0 107332988 27175628800 207332 33554432000 4194304 4196468 140721388888448 140695688313744 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4711] ppid=4701 vsize=26538700 memory=1384 CPUtime=0.81 cores=0-7
/proc/4703/task/4711/stat : 4711 (java) S 4701 4701 4330 0 -1 1077944384 4316 0 0 0 71 10 0 0 20 0 28 0 107332988 27175628800 207332 33554432000 4194304 4196468 140721388888448 140695687261200 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4712] ppid=4701 vsize=26538700 memory=829328 CPUtime=0.81 cores=0-7
/proc/4703/task/4712/stat : 4712 (java) S 4701 4701 4330 0 -1 1077944384 6882 0 0 0 71 10 0 0 20 0 28 0 107332988 27175628800 207332 33554432000 4194304 4196468 140721388888448 140695686208656 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4713] ppid=4701 vsize=26538700 memory=829328 CPUtime=0.53 cores=0-7
/proc/4703/task/4713/stat : 4713 (java) S 4701 4701 4330 0 -1 1077944384 15650 0 0 0 34 19 0 0 20 0 28 0 107332989 27175628800 207332 33554432000 4194304 4196468 140721388888448 140694877399024 140696135297666 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4714] ppid=4701 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/4703/task/4714/stat : 4714 (java) S 4701 4701 4330 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 107332990 27175628800 207332 33554432000 4194304 4196468 140721388888448 140694876345312 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4715] ppid=4701 vsize=26538700 memory=4096 CPUtime=0 cores=0-7
/proc/4703/task/4715/stat : 4715 (java) S 4701 4701 4330 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 107332990 27175628800 207332 33554432000 4194304 4196468 140721388888448 140694875292672 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4716] ppid=4701 vsize=26538700 memory=31140 CPUtime=0 cores=0-7
/proc/4703/task/4716/stat : 4716 (java) S 4701 4701 4330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 107332992 27175628800 207332 33554432000 4194304 4196468 140721388888448 140694807111888 140696135305115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4717] ppid=4701 vsize=26538700 memory=1384 CPUtime=2.9 cores=0-7
/proc/4703/task/4717/stat : 4717 (java) S 4701 4701 4330 0 -1 1077944384 16204 0 0 0 286 4 0 0 20 0 28 0 107332992 27175628800 207332 33554432000 4194304 4196468 140721388888448 140694806059504 140696135297666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4718] ppid=4701 vsize=26538700 memory=829328 CPUtime=3.42 cores=0-7
/proc/4703/task/4718/stat : 4718 (java) S 4701 4701 4330 0 -1 1077944384 24846 0 0 0 337 5 0 0 20 0 28 0 107332992 27175628800 207332 33554432000 4194304 4196468 140721388888448 140694805006960 140696135297666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4719] ppid=4701 vsize=26538700 memory=829328 CPUtime=2.86 cores=0-7
/proc/4703/task/4719/stat : 4719 (java) S 4701 4701 4330 0 -1 1077944384 18026 0 0 0 284 2 0 0 20 0 28 0 107332992 27175628800 207332 33554432000 4194304 4196468 140721388888448 140694803954416 140696135297666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4720] ppid=4701 vsize=26538700 memory=1384 CPUtime=0.91 cores=0-7
/proc/4703/task/4720/stat : 4720 (java) S 4701 4701 4330 0 -1 1077944384 13615 0 0 0 89 2 0 0 20 0 28 0 107332992 27175628800 207332 33554432000 4194304 4196468 140721388888448 140694802901872 140696135297666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4721] ppid=4701 vsize=26538700 memory=829328 CPUtime=0 cores=0-7
/proc/4703/task/4721/stat : 4721 (java) S 4701 4701 4330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 107332993 27175628800 207332 33554432000 4194304 4196468 140721388888448 140694801848544 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4722] ppid=4701 vsize=26538700 memory=1384 CPUtime=0.71 cores=0-7
/proc/4703/task/4722/stat : 4722 (java) S 4701 4701 4330 0 -1 1077944384 2515 0 0 0 0 71 0 0 20 0 28 0 107332993 27175628800 207332 33554432000 4194304 4196468 140721388888448 140694800796080 140696135297666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4723] ppid=4701 vsize=26538700 memory=829328 CPUtime=2496.41 cores=0-7
/proc/4703/task/4723/stat : 4723 (java) R 4701 4701 4330 0 -1 4202560 4505 0 0 0 249634 7 0 0 20 0 28 0 107333114 27175628800 207332 33554432000 4194304 4196468 140721388888448 140694792784624 140695770518403 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4724] ppid=4701 vsize=26538700 memory=2428 CPUtime=2497.85 cores=0-7
/proc/4703/task/4724/stat : 4724 (java) R 4701 4701 4330 0 -1 4202560 4043 0 0 0 249782 3 0 0 20 0 28 0 107333114 27175628800 207332 33554432000 4194304 4196468 140721388888448 140694791733384 140695770518353 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4725] ppid=4701 vsize=26538700 memory=1292 CPUtime=2494.13 cores=0-7
/proc/4703/task/4725/stat : 4725 (java) R 4701 4701 4330 0 -1 4202560 24124 0 0 0 249364 49 0 0 20 0 28 0 107333114 27175628800 207332 33554432000 4194304 4196468 140721388888448 140694790681352 140695772603738 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4726] ppid=4701 vsize=26538700 memory=1728 CPUtime=2486.15 cores=0-7
/proc/4703/task/4726/stat : 4726 (java) R 4701 4701 4330 0 -1 4202560 8619 0 0 0 248590 25 0 0 20 0 28 0 107333114 27175628800 207332 33554432000 4194304 4196468 140721388888448 140694789631104 140695770821932 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4727] ppid=4701 vsize=26538700 memory=97 CPUtime=2489.94 cores=0-7
/proc/4703/task/4727/stat : 4727 (java) R 4701 4701 4330 0 -1 4202560 8310 0 0 0 248979 15 0 0 20 0 28 0 107333114 27175628800 207332 33554432000 4194304 4196468 140721388888448 140694788575704 140695770826839 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4728] ppid=4701 vsize=26538700 memory=7681905605394137875 CPUtime=2497.67 cores=0-7
/proc/4703/task/4728/stat : 4728 (java) R 4701 4701 4330 0 -1 4202560 3042 0 0 0 249765 2 0 0 20 0 28 0 107333114 27175628800 207332 33554432000 4194304 4196468 140721388888448 140694787523160 140695770517974 0 4 0 16800975 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4729] ppid=4701 vsize=26538700 memory=1384 CPUtime=2484.8 cores=0-7
/proc/4703/task/4729/stat : 4729 (java) R 4701 4701 4330 0 -1 4202560 4381 0 0 0 248467 13 0 0 20 0 28 0 107333114 27175628800 207332 33554432000 4194304 4196468 140721388888448 140694786469640 140695771555553 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4730] ppid=4701 vsize=26538700 memory=829328 CPUtime=2488.95 cores=0-7
/proc/4703/task/4730/stat : 4730 (java) R 4701 4701 4330 0 -1 4202560 21381 0 0 0 248868 27 0 0 20 0 28 0 107333114 27175628800 207332 33554432000 4194304 4196468 140721388888448 140694785417096 140695770861656 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
Current children cumulated CPU time: 19955.1 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 830712 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.14 8.29 8.31 9/207 4765
/proc/meminfo: memFree=27964172/32770624 swapFree=67108860/67108860
[pid=4701] ppid=4698 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4701/stat : 4701 (xcsp3-exec) S 4698 4701 4330 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 107332987 9740288 346 33554432000 4194304 5098028 140737062098720 140737062096824 139627969258108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10883072 140737062102116 140737062102327 140737062102327 140737062105067 0
/proc/4701/statm: 2378 346 289 221 0 87 0
[pid=4703] ppid=4701 vsize=26538700 memory=826248 CPUtime=20096.2 cores=0-7
/proc/4703/stat : 4703 (java) S 4701 4701 4330 0 -1 1077944320 220890 0 0 0 2009354 269 0 0 20 0 28 0 107332987 27175628800 206562 33554432000 4194304 4196468 140721388888448 140721388870992 140696135286519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
/proc/4703/statm: 6634675 206562 3301 1 0 6621909 0
[pid=4703/tid=4704] ppid=4701 vsize=26538700 memory=2428 CPUtime=1.21 cores=0-7
/proc/4703/task/4704/stat : 4704 (java) S 4701 4701 4330 0 -1 1077944384 7678 0 0 0 116 5 0 0 20 0 28 0 107332987 27175628800 206562 33554432000 4194304 4196468 140721388888448 140696139527296 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4705] ppid=4701 vsize=26538700 memory=1292 CPUtime=0.82 cores=0-7
/proc/4703/task/4705/stat : 4705 (java) S 4701 4701 4330 0 -1 1077944384 4622 0 0 0 72 10 0 0 20 0 28 0 107332988 27175628800 206562 33554432000 4194304 4196468 140721388888448 140696087906576 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4706] ppid=4701 vsize=26538700 memory=-7003737579269690708 CPUtime=0.81 cores=0-7
/proc/4703/task/4706/stat : 4706 (java) S 4701 4701 4330 0 -1 1077944384 6828 0 0 0 70 11 0 0 20 0 28 0 107332988 27175628800 206562 33554432000 4194304 4196468 140721388888448 140696086854032 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4707] ppid=4701 vsize=26538700 memory=826248 CPUtime=0.8 cores=0-7
/proc/4703/task/4707/stat : 4707 (java) S 4701 4701 4330 0 -1 1077944384 5448 0 0 0 69 11 0 0 20 0 28 0 107332988 27175628800 206562 33554432000 4194304 4196468 140721388888448 140696085801488 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4708] ppid=4701 vsize=26538700 memory=5796 CPUtime=0.82 cores=0-7
/proc/4703/task/4708/stat : 4708 (java) S 4701 4701 4330 0 -1 1077944384 5268 0 0 0 72 10 0 0 20 0 28 0 107332988 27175628800 206562 33554432000 4194304 4196468 140721388888448 140696084748944 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4709] ppid=4701 vsize=26538700 memory=4616 CPUtime=0.84 cores=0-7
/proc/4703/task/4709/stat : 4709 (java) S 4701 4701 4330 0 -1 1077944384 4291 0 0 0 73 11 0 0 20 0 28 0 107332988 27175628800 206562 33554432000 4194304 4196468 140721388888448 140696083696400 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4710] ppid=4701 vsize=26538700 memory=8584 CPUtime=0.82 cores=0-7
/proc/4703/task/4710/stat : 4710 (java) S 4701 4701 4330 0 -1 1077944384 4667 0 0 0 70 12 0 0 20 0 28 0 107332988 27175628800 206562 33554432000 4194304 4196468 140721388888448 140695688313744 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4711] ppid=4701 vsize=26538700 memory=792 CPUtime=0.83 cores=0-7
/proc/4703/task/4711/stat : 4711 (java) S 4701 4701 4330 0 -1 1077944384 4320 0 0 0 73 10 0 0 20 0 28 0 107332988 27175628800 206562 33554432000 4194304 4196468 140721388888448 140695687261200 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4712] ppid=4701 vsize=26538700 memory=1204 CPUtime=0.83 cores=0-7
/proc/4703/task/4712/stat : 4712 (java) S 4701 4701 4330 0 -1 1077944384 6910 0 0 0 73 10 0 0 20 0 28 0 107332988 27175628800 206562 33554432000 4194304 4196468 140721388888448 140695686208656 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4713] ppid=4701 vsize=26538700 memory=1716 CPUtime=0.54 cores=0-7
/proc/4703/task/4713/stat : 4713 (java) S 4701 4701 4330 0 -1 1077944384 15689 0 0 0 35 19 0 0 20 0 28 0 107332989 27175628800 206562 33554432000 4194304 4196468 140721388888448 140694877399024 140696135297666 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4714] ppid=4701 vsize=26538700 memory=1440 CPUtime=0 cores=0-7
/proc/4703/task/4714/stat : 4714 (java) S 4701 4701 4330 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 107332990 27175628800 206562 33554432000 4194304 4196468 140721388888448 140694876345312 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4715] ppid=4701 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/4703/task/4715/stat : 4715 (java) S 4701 4701 4330 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 107332990 27175628800 206562 33554432000 4194304 4196468 140721388888448 140694875292672 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4716] ppid=4701 vsize=26538700 memory=826248 CPUtime=0 cores=0-7
/proc/4703/task/4716/stat : 4716 (java) S 4701 4701 4330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 107332992 27175628800 206562 33554432000 4194304 4196468 140721388888448 140694807111888 140696135305115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4717] ppid=4701 vsize=26538700 memory=636 CPUtime=2.9 cores=0-7
/proc/4703/task/4717/stat : 4717 (java) S 4701 4701 4330 0 -1 1077944384 16205 0 0 0 286 4 0 0 20 0 28 0 107332992 27175628800 206562 33554432000 4194304 4196468 140721388888448 140694806059504 140696135297666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4718] ppid=4701 vsize=26538700 memory=1236 CPUtime=3.42 cores=0-7
/proc/4703/task/4718/stat : 4718 (java) S 4701 4701 4330 0 -1 1077944384 24846 0 0 0 337 5 0 0 20 0 28 0 107332992 27175628800 206562 33554432000 4194304 4196468 140721388888448 140694805006960 140696135297666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4719] ppid=4701 vsize=26538700 memory=960 CPUtime=2.86 cores=0-7
/proc/4703/task/4719/stat : 4719 (java) S 4701 4701 4330 0 -1 1077944384 18026 0 0 0 284 2 0 0 20 0 28 0 107332992 27175628800 206562 33554432000 4194304 4196468 140721388888448 140694803954416 140696135297666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4720] ppid=4701 vsize=26538700 memory=2240 CPUtime=0.91 cores=0-7
/proc/4703/task/4720/stat : 4720 (java) S 4701 4701 4330 0 -1 1077944384 13615 0 0 0 89 2 0 0 20 0 28 0 107332992 27175628800 206562 33554432000 4194304 4196468 140721388888448 140694802901872 140696135297666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4721] ppid=4701 vsize=26538700 memory=2424 CPUtime=0 cores=0-7
/proc/4703/task/4721/stat : 4721 (java) S 4701 4701 4330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 107332993 27175628800 206562 33554432000 4194304 4196468 140721388888448 140694801848544 140696135296725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4722] ppid=4701 vsize=26538700 memory=4080 CPUtime=0.72 cores=0-7
/proc/4703/task/4722/stat : 4722 (java) S 4701 4701 4330 0 -1 1077944384 2526 0 0 0 0 72 0 0 20 0 28 0 107332993 27175628800 206562 33554432000 4194304 4196468 140721388888448 140694800796080 140696135297666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4723] ppid=4701 vsize=26538700 memory=932 CPUtime=2514.07 cores=0-7
/proc/4703/task/4723/stat : 4723 (java) R 4701 4701 4330 0 -1 4202560 4520 0 0 0 251400 7 0 0 20 0 28 0 107333114 27175628800 206562 33554432000 4194304 4196468 140721388888448 140694792784760 140695771712870 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4724] ppid=4701 vsize=26538700 memory=1584 CPUtime=2515.52 cores=0-7
/proc/4703/task/4724/stat : 4724 (java) R 4701 4701 4330 0 -1 4202560 4056 0 0 0 251549 3 0 0 20 0 28 0 107333114 27175628800 206562 33554432000 4194304 4196468 140721388888448 140694791733384 140695771241819 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4725] ppid=4701 vsize=26538700 memory=31140 CPUtime=2511.79 cores=0-7
/proc/4703/task/4725/stat : 4725 (java) R 4701 4701 4330 0 -1 4202560 24204 0 0 0 251130 49 0 0 20 0 28 0 107333114 27175628800 206562 33554432000 4194304 4196468 140721388888448 140694790680888 140695771317066 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4726] ppid=4701 vsize=26538700 memory=2428 CPUtime=2503.81 cores=0-7
/proc/4703/task/4726/stat : 4726 (java) R 4701 4701 4330 0 -1 4202560 8634 0 0 0 250356 25 0 0 20 0 28 0 107333114 27175628800 206562 33554432000 4194304 4196468 140721388888448 140694789628520 140695771384034 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4727] ppid=4701 vsize=26538700 memory=1292 CPUtime=2507.25 cores=0-7
/proc/4703/task/4727/stat : 4727 (java) R 4701 4701 4330 0 -1 4202560 8322 0 0 0 250710 15 0 0 20 0 28 0 107333114 27175628800 206562 33554432000 4194304 4196468 140721388888448 140694788575752 140695772951310 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4728] ppid=4701 vsize=26538700 memory=1728 CPUtime=2515.33 cores=0-7
/proc/4703/task/4728/stat : 4728 (java) R 4701 4701 4330 0 -1 4202560 3051 0 0 0 251531 2 0 0 20 0 28 0 107333114 27175628800 206562 33554432000 4194304 4196468 140721388888448 140694787522512 140695772951310 0 4 0 16800975 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4729] ppid=4701 vsize=26538700 memory=8996 CPUtime=2502.46 cores=0-7
/proc/4703/task/4729/stat : 4729 (java) R 4701 4701 4330 0 -1 4202560 4389 0 0 0 250233 13 0 0 20 0 28 0 107333114 27175628800 206562 33554432000 4194304 4196468 140721388888448 140694786469224 140695770601352 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
[pid=4703/tid=4730] ppid=4701 vsize=26538700 memory=15876 CPUtime=2506.62 cores=0-7
/proc/4703/task/4730/stat : 4730 (java) R 4701 4701 4330 0 -1 4202560 21429 0 0 0 250635 27 0 0 20 0 28 0 107333114 27175628800 206562 33554432000 4194304 4196468 140721388888448 140694785419968 140695771555900 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 7049216 140721388897426 140721388897603 140721388897603 140721388900303 0
Current children cumulated CPU time: 20096.2 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 827632 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.05 s]
# the end of solver process 4701 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00193 s, system=0 s
[startup+2520.12 s]
# the end of solver process 4703 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20094.4 s, system=2.70147 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.12
CPU time (s): 20097.1
CPU user time (s): 20094.4
CPU system time (s): 2.70147
CPU usage (%): 797.465
Max. virtual memory (cumulated for all children) (KiB): 26550188
Max. memory (cumulated for all children) (KiB): 1188432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20094.4
system time used= 2.70147
maximum resident set size= 1198768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 221678
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79885
involuntary context switches= 202178
# summary of solver processes directly reported to runsolver:
# pid: 4701,4703
# total CPU time (s): 20097.1
# total CPU user time (s): 20094.4
# total CPU system time (s): 2.70147
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.6806 second user time and 23.4021 second system time
The end
Begin job on node148 at 2017-08-14 22:14:21 IDJOB=4270879 IDBENCH=128081 IDSOLVER=2662 FILE ID=node148/4270879-1502742520 RUNJOBID= node148-1502738783-4357 PBS_JOBID= 20629057 Free space on /tmp= 61616 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-80-02.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-4270879-1502742520/watcher-4270879-1502742520 -o /tmp/evaluation-result-4270879-1502742520/solver-4270879-1502742520 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1502738783-4357 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2087342637 HOME/instance-4270879-1502742520.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 201da62bda966dccc44cd0c6ff0d4af7 RANDOM SEED=2087342637 node148.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.19 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.19 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.19 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.19 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: 28777832 kB MemAvailable: 31986932 kB Buffers: 242540 kB Cached: 3254284 kB SwapCached: 0 kB Active: 819808 kB Inactive: 2729824 kB Active(anon): 4024 kB Inactive(anon): 76664 kB Active(file): 815784 kB Inactive(file): 2653160 kB Unevictable: 6208 kB Mlocked: 6208 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7784 kB Writeback: 4 kB AnonPages: 59236 kB Mapped: 45280 kB Shmem: 25224 kB Slab: 138496 kB SReclaimable: 111980 kB SUnreclaim: 26516 kB KernelStack: 3168 kB PageTables: 4672 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324224 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61608 MiB End job on node148 at 2017-08-14 22:56:21