| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| choco-solver 2019-09-24 parallel | ? (TO) | 20036.3 | 2520.09 |
| Name | CarSequencing/CarSequencing-m1-jcr/ CarSequencing-36-92.xml |
| MD5SUM | e7221c19415bed5c98fc37c567f19ceb |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 67.5998 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 600 |
| Number of constraints | 731 |
| Number of domains | 2 |
| Minimum domain size | 2 |
| Maximum domain size | 22 |
| Distribution of domain sizes | [{"size":2,"count":500},{"size":22,"count":100}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 48 |
| Distribution of variable degrees | [{"degree":2,"count":100},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":19},{"degree":18,"count":19},{"degree":19,"count":19},{"degree":20,"count":19},{"degree":21,"count":39},{"degree":22,"count":14},{"degree":23,"count":14},{"degree":24,"count":14},{"degree":25,"count":14},{"degree":26,"count":9},{"degree":27,"count":8},{"degree":28,"count":8},{"degree":29,"count":8},{"degree":30,"count":8},{"degree":31,"count":9},{"degree":32,"count":9},{"degree":33,"count":19},{"degree":34,"count":5},{"degree":35,"count":5},{"degree":36,"count":7},{"degree":37,"count":4},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":41,"count":2},{"degree":42,"count":2},{"degree":43,"count":2},{"degree":44,"count":2},{"degree":45,"count":2},{"degree":46,"count":2},{"degree":47,"count":3},{"degree":48,"count":11}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 100 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":99},{"arity":3,"count":196},{"arity":4,"count":1},{"arity":5,"count":193},{"arity":6,"count":100},{"arity":7,"count":1},{"arity":10,"count":2},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":3},{"arity":18,"count":1},{"arity":19,"count":2},{"arity":20,"count":2},{"arity":22,"count":3},{"arity":24,"count":1},{"arity":25,"count":3},{"arity":26,"count":1},{"arity":28,"count":3},{"arity":30,"count":3},{"arity":31,"count":2},{"arity":32,"count":1},{"arity":34,"count":3},"...",{"arity":67,"count":2}, {"arity":68,"count":1}, {"arity":70,"count":5}, {"arity":72,"count":1}, {"arity":73,"count":2}, {"arity":74,"count":1}, {"arity":75,"count":2}, {"arity":76,"count":3}, {"arity":78,"count":1}, {"arity":79,"count":2}, {"arity":80,"count":3}, {"arity":82,"count":3}, {"arity":84,"count":1}, {"arity":85,"count":4}, {"arity":86,"count":1}, {"arity":88,"count":3}, {"arity":90,"count":3}, {"arity":91,"count":2}, {"arity":92,"count":1}, {"arity":94,"count":3}, {"arity":95,"count":2}, {"arity":96,"count":1}, {"arity":97,"count":2}, {"arity":98,"count":1}, {"arity":100,"count":6}] |
| Number of extensional constraints | 100 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":100},{"type":"sum","count":630},{"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-4406812-1569351742.xml" -tl '20160s' -p 8 0.11/0.18 c Choco e747e1e 0.11/0.18 c [HOME/instance-4406812-1569351742.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 3.14/1.01 c solve instance... 20035.73/2520.06 s UNKNOWN 20035.73/2520.06 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 (12391 MiB free)
memory of node 1: 16384 MiB (12414 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406812-1569351742/watcher-4406812-1569351742 -o /var/tmp/evaluation-result-4406812-1569351742/solver-4406812-1569351742 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1569348526-31504 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1509686131 HOME/instance-4406812-1569351742.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=908, runsolver pid=905
Current StackSize limit: 8192 KiB
[startup+0.100075 s]*
/proc/loadavg: 7.85 8.16 8.23 2/215 930
/proc/meminfo: memFree=25385584/32770624 swapFree=66974432/67108860
[pid=908] ppid=905 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/908/stat : 908 (xcsp3-exec) S 905 908 31477 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511116063 115843072 362 33554432000 4194304 5098028 140724654101088 140724654099192 140501760012924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11726848 140724654109521 140724654109781 140724654109781 140724654112710 0
/proc/908/statm: 28282 362 304 221 0 87 0
[pid=910] ppid=908 vsize=28227396 memory=28896 CPUtime=0.11 cores=0-7
/proc/910/stat : 910 (java) S 908 908 31477 0 -1 1077944320 5690 0 0 0 10 1 0 0 20 0 20 0 511116063 28904853504 7224 33554432000 4194304 4196468 140722068050256 140722068032800 139892529290999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
/proc/910/statm: 7056849 7224 3123 1 0 7019032 0
[pid=910/tid=911] ppid=908 vsize=28227396 memory=8390339637985935414 CPUtime=0.09 cores=0-7
/proc/910/task/911/stat : 911 (java) R 908 908 31477 0 -1 4202560 3620 0 0 0 8 1 0 0 20 0 20 0 511116064 28904853504 7224 33554432000 4194304 4196468 140722068050256 139892533524272 139892529302934 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=912] ppid=908 vsize=28227396 memory=288230596118052887 CPUtime=0 cores=0-7
/proc/910/task/912/stat : 912 (java) S 908 908 31477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511116065 28904853504 7224 33554432000 4194304 4196468 140722068050256 139892481911184 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=913] ppid=908 vsize=28227396 memory=140241205844978 CPUtime=0 cores=0-7
/proc/910/task/913/stat : 913 (java) S 908 908 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511116065 28904853504 7224 33554432000 4194304 4196468 140722068050256 139892480858384 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=914] ppid=908 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/910/task/914/stat : 914 (java) S 908 908 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511116065 28904853504 7224 33554432000 4194304 4196468 140722068050256 139892479806096 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=915] ppid=908 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/910/task/915/stat : 915 (java) S 908 908 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511116065 28904853504 7224 33554432000 4194304 4196468 140722068050256 139892478753296 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=916] ppid=908 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/910/task/916/stat : 916 (java) S 908 908 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511116065 28904853504 7224 33554432000 4194304 4196468 140722068050256 139892477701008 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=917] ppid=908 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/910/task/917/stat : 917 (java) S 908 908 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511116065 28904853504 7224 33554432000 4194304 4196468 140722068050256 139892476648208 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=918] ppid=908 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/910/task/918/stat : 918 (java) S 908 908 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511116065 28904853504 7224 33554432000 4194304 4196468 140722068050256 139892475595920 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=919] ppid=908 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/910/task/919/stat : 919 (java) S 908 908 31477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511116065 28904853504 7224 33554432000 4194304 4196468 140722068050256 139892474543120 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=920] ppid=908 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/910/task/920/stat : 920 (java) S 908 908 31477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511116066 28904853504 7224 33554432000 4194304 4196468 140722068050256 139891577960560 139892529302146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=921] ppid=908 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/910/task/921/stat : 921 (java) S 908 908 31477 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511116067 28904853504 7224 33554432000 4194304 4196468 140722068050256 139891576906528 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=922] ppid=908 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/910/task/922/stat : 922 (java) S 908 908 31477 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511116067 28904853504 7224 33554432000 4194304 4196468 140722068050256 139891575854192 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=923] ppid=908 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/910/task/923/stat : 923 (java) S 908 908 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511116069 28904853504 7224 33554432000 4194304 4196468 140722068050256 139891574802512 139892529309595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=924] ppid=908 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/910/task/924/stat : 924 (java) S 908 908 31477 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 511116069 28904853504 7224 33554432000 4194304 4196468 140722068050256 139891573750384 139892529302146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=925] ppid=908 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/910/task/925/stat : 925 (java) S 908 908 31477 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 511116069 28904853504 7224 33554432000 4194304 4196468 140722068050256 139891572697584 139892529302146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=926] ppid=908 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/910/task/926/stat : 926 (java) R 908 908 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511116069 28904853504 7224 33554432000 4194304 4196468 140722068050256 139891571645296 139892529302146 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=928] ppid=908 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/910/task/928/stat : 928 (java) R 908 908 31477 0 -1 4202560 347 0 0 0 2 0 0 0 20 0 20 0 511116069 28904853504 7224 33554432000 4194304 4196468 140722068050256 139891570592496 139892529302934 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=929] ppid=908 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/910/task/929/stat : 929 (java) S 908 908 31477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511116069 28904853504 7224 33554432000 4194304 4196468 140722068050256 139891569539424 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=930] ppid=908 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/910/task/930/stat : 930 (java) S 908 908 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511116070 28904853504 7224 33554432000 4194304 4196468 140722068050256 139891568486704 139892529302146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30344 KiB
[startup+0.21082 s]*
/proc/loadavg: 7.85 8.16 8.23 3/215 930
/proc/meminfo: memFree=25372076/32770624 swapFree=66974432/67108860
[pid=908] ppid=905 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/908/stat : 908 (xcsp3-exec) S 905 908 31477 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511116063 115843072 362 33554432000 4194304 5098028 140724654101088 140724654099192 140501760012924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11726848 140724654109521 140724654109781 140724654109781 140724654112710 0
/proc/908/statm: 28282 362 304 221 0 87 0
[pid=910] ppid=908 vsize=28227396 memory=40904 CPUtime=0.33 cores=0-7
/proc/910/stat : 910 (java) S 908 908 31477 0 -1 1077944320 9492 0 0 0 30 3 0 0 20 0 20 0 511116063 28904853504 10226 33554432000 4194304 4196468 140722068050256 140722068032800 139892529290999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
/proc/910/statm: 7056849 10226 3278 1 0 7019032 0
[pid=910/tid=911] ppid=908 vsize=28227396 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/910/task/911/stat : 911 (java) R 908 908 31477 0 -1 4202560 6656 0 0 0 17 2 0 0 20 0 20 0 511116064 28904853504 10226 33554432000 4194304 4196468 140722068050256 139892533525120 139892134923281 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=912] ppid=908 vsize=28227396 memory=288230596118052887 CPUtime=0 cores=0-7
/proc/910/task/912/stat : 912 (java) S 908 908 31477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511116065 28904853504 10226 33554432000 4194304 4196468 140722068050256 139892481911184 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=913] ppid=908 vsize=28227396 memory=140241205844978 CPUtime=0 cores=0-7
/proc/910/task/913/stat : 913 (java) S 908 908 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511116065 28904853504 10226 33554432000 4194304 4196468 140722068050256 139892480858384 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=914] ppid=908 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/910/task/914/stat : 914 (java) S 908 908 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511116065 28904853504 10226 33554432000 4194304 4196468 140722068050256 139892479806096 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=915] ppid=908 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/910/task/915/stat : 915 (java) S 908 908 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511116065 28904853504 10226 33554432000 4194304 4196468 140722068050256 139892478753296 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=916] ppid=908 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/910/task/916/stat : 916 (java) S 908 908 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511116065 28904853504 10226 33554432000 4194304 4196468 140722068050256 139892477701008 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=917] ppid=908 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/910/task/917/stat : 917 (java) S 908 908 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511116065 28904853504 10226 33554432000 4194304 4196468 140722068050256 139892476648208 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=918] ppid=908 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/910/task/918/stat : 918 (java) S 908 908 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511116065 28904853504 10226 33554432000 4194304 4196468 140722068050256 139892475595920 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=919] ppid=908 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/910/task/919/stat : 919 (java) S 908 908 31477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511116065 28904853504 10226 33554432000 4194304 4196468 140722068050256 139892474543120 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=920] ppid=908 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/910/task/920/stat : 920 (java) S 908 908 31477 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511116066 28904853504 10226 33554432000 4194304 4196468 140722068050256 139891577960560 139892529302146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=921] ppid=908 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/910/task/921/stat : 921 (java) S 908 908 31477 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511116067 28904853504 10226 33554432000 4194304 4196468 140722068050256 139891576906528 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=922] ppid=908 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/910/task/922/stat : 922 (java) S 908 908 31477 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511116067 28904853504 10226 33554432000 4194304 4196468 140722068050256 139891575854192 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=923] ppid=908 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/910/task/923/stat : 923 (java) S 908 908 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511116069 28904853504 10226 33554432000 4194304 4196468 140722068050256 139891574802512 139892529309595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=924] ppid=908 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/910/task/924/stat : 924 (java) S 908 908 31477 0 -1 1077944384 549 0 0 0 2 0 0 0 20 0 20 0 511116069 28904853504 10226 33554432000 4194304 4196468 140722068050256 139891573750384 139892529302146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=925] ppid=908 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/910/task/925/stat : 925 (java) S 908 908 31477 0 -1 1077944384 197 0 0 0 1 0 0 0 20 0 20 0 511116069 28904853504 10226 33554432000 4194304 4196468 140722068050256 139891572697584 139892529302146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=926] ppid=908 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/910/task/926/stat : 926 (java) S 908 908 31477 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 511116069 28904853504 10226 33554432000 4194304 4196468 140722068050256 139891571645296 139892529302146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=928] ppid=908 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/910/task/928/stat : 928 (java) R 908 908 31477 0 -1 4202560 767 0 0 0 8 0 0 0 20 0 20 0 511116069 28904853504 10226 33554432000 4194304 4196468 140722068050256 139891570592304 139892508251201 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=929] ppid=908 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/910/task/929/stat : 929 (java) S 908 908 31477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511116069 28904853504 10226 33554432000 4194304 4196468 140722068050256 139891569539424 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=930] ppid=908 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/910/task/930/stat : 930 (java) S 908 908 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511116070 28904853504 10226 33554432000 4194304 4196468 140722068050256 139891568486704 139892529302146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42352 KiB
[startup+0.310689 s]*
/proc/loadavg: 7.85 8.16 8.23 3/215 930
/proc/meminfo: memFree=25364692/32770624 swapFree=66974432/67108860
[pid=908] ppid=905 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/908/stat : 908 (xcsp3-exec) S 905 908 31477 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511116063 115843072 362 33554432000 4194304 5098028 140724654101088 140724654099192 140501760012924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11726848 140724654109521 140724654109781 140724654109781 140724654112710 0
/proc/908/statm: 28282 362 304 221 0 87 0
[pid=910] ppid=908 vsize=28231652 memory=49816 CPUtime=0.52 cores=0-7
/proc/910/stat : 910 (java) S 908 908 31477 0 -1 1077944320 10821 0 0 0 48 4 0 0 20 0 20 0 511116063 28909211648 12454 33554432000 4194304 4196468 140722068050256 140722068032800 139892529290999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
/proc/910/statm: 7057913 12454 3350 1 0 7019032 0
[pid=910/tid=911] ppid=908 vsize=28231652 memory=0 CPUtime=0.3 cores=0-7
/proc/910/task/911/stat : 911 (java) R 908 908 31477 0 -1 4202560 7821 0 0 0 27 3 0 0 20 0 20 0 511116064 28909211648 12482 33554432000 4194304 4196468 140722068050256 139892533522112 139892513371486 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=912] ppid=908 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/910/task/912/stat : 912 (java) S 908 908 31477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511116065 28909211648 12482 33554432000 4194304 4196468 140722068050256 139892481911184 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=913] ppid=908 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/910/task/913/stat : 913 (java) S 908 908 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511116065 28909211648 12482 33554432000 4194304 4196468 140722068050256 139892480858384 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=914] ppid=908 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/910/task/914/stat : 914 (java) S 908 908 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511116065 28909211648 12482 33554432000 4194304 4196468 140722068050256 139892479806096 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=915] ppid=908 vsize=28231652 memory=3886945403788 CPUtime=0 cores=0-7
/proc/910/task/915/stat : 915 (java) S 908 908 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511116065 28909211648 12482 33554432000 4194304 4196468 140722068050256 139892478753296 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=916] ppid=908 vsize=28231652 memory=4026532018 CPUtime=0 cores=0-7
/proc/910/task/916/stat : 916 (java) S 908 908 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511116065 28909211648 12482 33554432000 4194304 4196468 140722068050256 139892477701008 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=917] ppid=908 vsize=28231652 memory=302304336363651095 CPUtime=0 cores=0-7
/proc/910/task/917/stat : 917 (java) S 908 908 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511116065 28909211648 12482 33554432000 4194304 4196468 140722068050256 139892476648208 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=918] ppid=908 vsize=28231652 memory=3782583 CPUtime=0 cores=0-7
/proc/910/task/918/stat : 918 (java) S 908 908 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511116065 28909211648 12482 33554432000 4194304 4196468 140722068050256 139892475595920 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=919] ppid=908 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/910/task/919/stat : 919 (java) S 908 908 31477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511116065 28909211648 12482 33554432000 4194304 4196468 140722068050256 139892474543120 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=920] ppid=908 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/910/task/920/stat : 920 (java) S 908 908 31477 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511116066 28909211648 12482 33554432000 4194304 4196468 140722068050256 139891577960560 139892529302146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=921] ppid=908 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/910/task/921/stat : 921 (java) S 908 908 31477 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511116067 28909211648 12482 33554432000 4194304 4196468 140722068050256 139891576906528 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=922] ppid=908 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/910/task/922/stat : 922 (java) S 908 908 31477 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511116067 28909211648 12482 33554432000 4194304 4196468 140722068050256 139891575854192 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=923] ppid=908 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/910/task/923/stat : 923 (java) S 908 908 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511116069 28909211648 12482 33554432000 4194304 4196468 140722068050256 139891574802512 139892529309595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=924] ppid=908 vsize=28231652 memory=0 CPUtime=0.04 cores=0-7
/proc/910/task/924/stat : 924 (java) R 908 908 31477 0 -1 4202560 633 0 0 0 4 0 0 0 20 0 20 0 511116069 28909211648 12482 33554432000 4194304 4196468 140722068050256 139891573740496 139892510835599 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=925] ppid=908 vsize=28231652 memory=0 CPUtime=0.02 cores=0-7
/proc/910/task/925/stat : 925 (java) S 908 908 31477 0 -1 1077944384 210 0 0 0 2 0 0 0 20 0 20 0 511116069 28909211648 12482 33554432000 4194304 4196468 140722068050256 139891572697584 139892529302146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=926] ppid=908 vsize=28231652 memory=0 CPUtime=0.01 cores=0-7
/proc/910/task/926/stat : 926 (java) S 908 908 31477 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 20 0 511116069 28909211648 12482 33554432000 4194304 4196468 140722068050256 139891571645296 139892529302146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=928] ppid=908 vsize=28231652 memory=0 CPUtime=0.12 cores=0-7
/proc/910/task/928/stat : 928 (java) S 908 908 31477 0 -1 1077944384 847 0 0 0 12 0 0 0 20 0 20 0 511116069 28909211648 12482 33554432000 4194304 4196468 140722068050256 139891570592496 139892529302146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=929] ppid=908 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/910/task/929/stat : 929 (java) S 908 908 31477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511116069 28909211648 12482 33554432000 4194304 4196468 140722068050256 139891569539424 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=930] ppid=908 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/910/task/930/stat : 930 (java) S 908 908 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511116070 28909211648 12482 33554432000 4194304 4196468 140722068050256 139891568486704 139892529302146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51264 KiB
[startup+0.700963 s]
/proc/loadavg: 7.85 8.16 8.23 3/215 930
/proc/meminfo: memFree=25351956/32770624 swapFree=66974432/67108860
[pid=908] ppid=905 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/908/stat : 908 (xcsp3-exec) S 905 908 31477 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511116063 115843072 362 33554432000 4194304 5098028 140724654101088 140724654099192 140501760012924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11726848 140724654109521 140724654109781 140724654109781 140724654112710 0
/proc/908/statm: 28282 362 304 221 0 87 0
[pid=910] ppid=908 vsize=28233776 memory=86472 CPUtime=1.8 cores=0-7
/proc/910/stat : 910 (java) S 908 908 31477 0 -1 1077944320 15229 0 0 0 173 7 0 0 20 0 20 0 511116063 28911386624 21618 33554432000 4194304 4196468 140722068050256 140722068032800 139892529290999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
/proc/910/statm: 7058444 21618 3461 1 0 7019544 0
[pid=910/tid=911] ppid=908 vsize=28233776 memory=4580 CPUtime=0.68 cores=0-7
/proc/910/task/911/stat : 911 (java) R 908 908 31477 0 -1 4202560 9069 0 0 0 64 4 0 0 20 0 20 0 511116064 28911386624 21618 33554432000 4194304 4196468 140722068050256 139892533526096 139892137818176 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=912] ppid=908 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/910/task/912/stat : 912 (java) S 908 908 31477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511116065 28911386624 21618 33554432000 4194304 4196468 140722068050256 139892481911184 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=913] ppid=908 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/910/task/913/stat : 913 (java) S 908 908 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511116065 28911386624 21618 33554432000 4194304 4196468 140722068050256 139892480858384 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=914] ppid=908 vsize=28233776 memory=1200 CPUtime=0 cores=0-7
/proc/910/task/914/stat : 914 (java) S 908 908 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511116065 28911386624 21618 33554432000 4194304 4196468 140722068050256 139892479806096 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
################
# More data... #
################
[pid=910/tid=938] ppid=908 vsize=28768336 memory=780 CPUtime=2414.79 cores=0-7
/proc/910/task/938/stat : 938 (java) R 908 908 31477 0 -1 4202560 50411 0 0 0 241433 46 0 0 20 0 28 0 511116167 29458776064 357475 33554432000 4194304 4196468 140722068050256 139891552139712 139892142938248 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
Current children cumulated CPU time: 19417 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1431348 KiB
[startup+2502.31 s]
/proc/loadavg: 8.09 8.16 8.22 9/220 1127
/proc/meminfo: memFree=24001168/32770624 swapFree=66974444/67108860
[pid=908] ppid=905 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/908/stat : 908 (xcsp3-exec) S 905 908 31477 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511116063 115843072 362 33554432000 4194304 5098028 140724654101088 140724654099192 140501760012924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11726848 140724654109521 140724654109781 140724654109781 140724654112710 0
/proc/908/statm: 28282 362 304 221 0 87 0
[pid=910] ppid=908 vsize=28768336 memory=1411380 CPUtime=19894.9 cores=0-7
/proc/910/stat : 910 (java) S 908 908 31477 0 -1 1077944320 442719 0 0 0 1988878 616 0 0 20 0 28 0 511116063 29458776064 352845 33554432000 4194304 4196468 140722068050256 140722068032800 139892529290999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
/proc/910/statm: 7192084 352845 3549 1 0 7153184 0
[pid=910/tid=911] ppid=908 vsize=28768336 memory=1411380 CPUtime=1 cores=0-7
/proc/910/task/911/stat : 911 (java) S 908 908 31477 0 -1 1077944384 9483 0 0 0 95 5 0 0 20 0 28 0 511116064 29458776064 352845 33554432000 4194304 4196468 140722068050256 139892533531776 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=912] ppid=908 vsize=28768336 memory=1412920 CPUtime=10.3 cores=0-7
/proc/910/task/912/stat : 912 (java) S 908 908 31477 0 -1 1077944384 17345 0 0 0 993 37 0 0 20 0 28 0 511116065 29458776064 352845 33554432000 4194304 4196468 140722068050256 139892481911184 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=913] ppid=908 vsize=28768336 memory=1417536 CPUtime=10.3 cores=0-7
/proc/910/task/913/stat : 913 (java) S 908 908 31477 0 -1 1077944384 15153 0 0 0 993 37 0 0 20 0 28 0 511116065 29458776064 352845 33554432000 4194304 4196468 140722068050256 139892480858384 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=914] ppid=908 vsize=28768336 memory=1411380 CPUtime=10.33 cores=0-7
/proc/910/task/914/stat : 914 (java) S 908 908 31477 0 -1 1077944384 12874 0 0 0 998 35 0 0 20 0 28 0 511116065 29458776064 352845 33554432000 4194304 4196468 140722068050256 139892479806096 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=915] ppid=908 vsize=28768336 memory=1411380 CPUtime=10.3 cores=0-7
/proc/910/task/915/stat : 915 (java) S 908 908 31477 0 -1 1077944384 16939 0 0 0 993 37 0 0 20 0 28 0 511116065 29458776064 352845 33554432000 4194304 4196468 140722068050256 139892478753296 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=916] ppid=908 vsize=28768336 memory=1448 CPUtime=10.28 cores=0-7
/proc/910/task/916/stat : 916 (java) S 908 908 31477 0 -1 1077944384 19429 0 0 0 995 33 0 0 20 0 28 0 511116065 29458776064 352845 33554432000 4194304 4196468 140722068050256 139892477701008 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=917] ppid=908 vsize=28768336 memory=1017 CPUtime=10.29 cores=0-7
/proc/910/task/917/stat : 917 (java) S 908 908 31477 0 -1 1077944384 19996 0 0 0 994 35 0 0 20 0 28 0 511116065 29458776064 352845 33554432000 4194304 4196468 140722068050256 139892476648208 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=918] ppid=908 vsize=28768336 memory=1448 CPUtime=10.28 cores=0-7
/proc/910/task/918/stat : 918 (java) S 908 908 31477 0 -1 1077944384 18477 0 0 0 992 36 0 0 20 0 28 0 511116065 29458776064 352845 33554432000 4194304 4196468 140722068050256 139892475595920 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=919] ppid=908 vsize=28768336 memory=1448 CPUtime=10.29 cores=0-7
/proc/910/task/919/stat : 919 (java) S 908 908 31477 0 -1 1077944384 16301 0 0 0 995 34 0 0 20 0 28 0 511116065 29458776064 352845 33554432000 4194304 4196468 140722068050256 139892474543120 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=920] ppid=908 vsize=28768336 memory=1372672 CPUtime=4.82 cores=0-7
/proc/910/task/920/stat : 920 (java) S 908 908 31477 0 -1 1077944384 68278 0 0 0 311 171 0 0 20 0 28 0 511116066 29458776064 352845 33554432000 4194304 4196468 140722068050256 139891577960560 139892529302146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=921] ppid=908 vsize=28768336 memory=6140 CPUtime=0 cores=0-7
/proc/910/task/921/stat : 921 (java) S 908 908 31477 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 511116067 29458776064 352845 33554432000 4194304 4196468 140722068050256 139891576906592 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=922] ppid=908 vsize=28768336 memory=14012 CPUtime=0 cores=0-7
/proc/910/task/922/stat : 922 (java) S 908 908 31477 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 28 0 511116067 29458776064 352845 33554432000 4194304 4196468 140722068050256 139891575854208 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=923] ppid=908 vsize=28768336 memory=6947385649911455296 CPUtime=0 cores=0-7
/proc/910/task/923/stat : 923 (java) S 908 908 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511116069 29458776064 352845 33554432000 4194304 4196468 140722068050256 139891574802512 139892529309595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=924] ppid=908 vsize=28768336 memory=1732 CPUtime=2.94 cores=0-7
/proc/910/task/924/stat : 924 (java) S 908 908 31477 0 -1 1077944384 15532 0 0 0 290 4 0 0 20 0 28 0 511116069 29458776064 352845 33554432000 4194304 4196468 140722068050256 139891573750384 139892529302146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=925] ppid=908 vsize=28768336 memory=1427288 CPUtime=2.6 cores=0-7
/proc/910/task/925/stat : 925 (java) S 908 908 31477 0 -1 1077944384 14221 0 0 0 259 1 0 0 20 0 28 0 511116069 29458776064 352845 33554432000 4194304 4196468 140722068050256 139891572697584 139892529302146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=926] ppid=908 vsize=28768336 memory=1429340 CPUtime=2.54 cores=0-7
/proc/910/task/926/stat : 926 (java) S 908 908 31477 0 -1 1077944384 13055 0 0 0 251 3 0 0 20 0 28 0 511116069 29458776064 352845 33554432000 4194304 4196468 140722068050256 139891571645296 139892529302146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=928] ppid=908 vsize=28768336 memory=1448 CPUtime=0.81 cores=0-7
/proc/910/task/928/stat : 928 (java) S 908 908 31477 0 -1 1077944384 8205 0 0 0 79 2 0 0 20 0 28 0 511116069 29458776064 352845 33554432000 4194304 4196468 140722068050256 139891570592496 139892529302146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=929] ppid=908 vsize=28768336 memory=1425232 CPUtime=0 cores=0-7
/proc/910/task/929/stat : 929 (java) S 908 908 31477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511116069 29458776064 352845 33554432000 4194304 4196468 140722068050256 139891569539424 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=930] ppid=908 vsize=28768336 memory=4440 CPUtime=0.55 cores=0-7
/proc/910/task/930/stat : 930 (java) S 908 908 31477 0 -1 1077944384 3093 0 0 0 18 37 0 0 20 0 28 0 511116070 29458776064 352845 33554432000 4194304 4196468 140722068050256 139891568486704 139892529302146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=931] ppid=908 vsize=28768336 memory=6947385649911455296 CPUtime=2478.81 cores=0-7
/proc/910/task/931/stat : 931 (java) R 908 908 31477 0 -1 4202560 6621 0 0 0 247876 5 0 0 20 0 28 0 511116166 29458776064 352845 33554432000 4194304 4196468 140722068050256 139891559504760 139892142933761 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=932] ppid=908 vsize=28768336 memory=992 CPUtime=2474.37 cores=0-7
/proc/910/task/932/stat : 932 (java) R 908 908 31477 0 -1 4202560 17058 0 0 0 247419 18 0 0 20 0 28 0 511116166 29458776064 352845 33554432000 4194304 4196468 140722068050256 139891558452944 139892144573886 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=933] ppid=908 vsize=28768336 memory=2044 CPUtime=2477.96 cores=0-7
/proc/910/task/933/stat : 933 (java) R 908 908 31477 0 -1 4202560 5692 0 0 0 247790 6 0 0 20 0 28 0 511116166 29458776064 352845 33554432000 4194304 4196468 140722068050256 139891557400792 139892142935007 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=934] ppid=908 vsize=28768336 memory=1428328 CPUtime=2471.12 cores=0-7
/proc/910/task/934/stat : 934 (java) R 908 908 31477 0 -1 4202560 26839 0 0 0 247084 28 0 0 20 0 28 0 511116166 29458776064 352845 33554432000 4194304 4196468 140722068050256 139891556347856 139892144571125 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=935] ppid=908 vsize=28768336 memory=1448 CPUtime=2472.99 cores=0-7
/proc/910/task/935/stat : 935 (java) R 908 908 31477 0 -1 4202560 27624 0 0 0 247272 27 0 0 20 0 28 0 511116166 29458776064 352845 33554432000 4194304 4196468 140722068050256 139891555295704 139892143701336 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=936] ppid=908 vsize=28768336 memory=6947385649911455296 CPUtime=2477.3 cores=0-7
/proc/910/task/936/stat : 936 (java) R 908 908 31477 0 -1 4202560 5202 0 0 0 247724 6 0 0 20 0 28 0 511116166 29458776064 352845 33554432000 4194304 4196468 140722068050256 139891554242904 139892142934740 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=937] ppid=908 vsize=28768336 memory=1448 CPUtime=2469.97 cores=0-7
/proc/910/task/937/stat : 937 (java) R 908 908 31477 0 -1 4202560 33279 0 0 0 246972 25 0 0 20 0 28 0 511116166 29458776064 352845 33554432000 4194304 4196468 140722068050256 139891553189592 139892142934329 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=938] ppid=908 vsize=28768336 memory=1448 CPUtime=2474.56 cores=0-7
/proc/910/task/938/stat : 938 (java) R 908 908 31477 0 -1 4202560 50612 0 0 0 247410 46 0 0 20 0 28 0 511116167 29458776064 352845 33554432000 4194304 4196468 140722068050256 139891552139600 139892144652985 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
Current children cumulated CPU time: 19894.9 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1412828 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520.01 s]
/proc/loadavg: 8.13 8.17 8.22 9/221 1129
/proc/meminfo: memFree=24009508/32770624 swapFree=66974444/67108860
[pid=908] ppid=905 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/908/stat : 908 (xcsp3-exec) S 905 908 31477 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511116063 115843072 362 33554432000 4194304 5098028 140724654101088 140724654099192 140501760012924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11726848 140724654109521 140724654109781 140724654109781 140724654112710 0
/proc/908/statm: 28282 362 304 221 0 87 0
[pid=910] ppid=908 vsize=28768336 memory=1402144 CPUtime=20035.7 cores=0-7
/proc/910/stat : 910 (java) S 908 908 31477 0 -1 1077944320 448696 0 0 0 2002951 622 0 0 20 0 28 0 511116063 29458776064 350536 33554432000 4194304 4196468 140722068050256 140722068032800 139892529290999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
/proc/910/statm: 7192084 350536 3549 1 0 7153184 0
[pid=910/tid=911] ppid=908 vsize=28768336 memory=111636 CPUtime=1 cores=0-7
/proc/910/task/911/stat : 911 (java) S 908 908 31477 0 -1 1077944384 9483 0 0 0 95 5 0 0 20 0 28 0 511116064 29458776064 350536 33554432000 4194304 4196468 140722068050256 139892533531776 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=912] ppid=908 vsize=28768336 memory=804 CPUtime=10.38 cores=0-7
/proc/910/task/912/stat : 912 (java) S 908 908 31477 0 -1 1077944384 17818 0 0 0 1001 37 0 0 20 0 28 0 511116065 29458776064 350536 33554432000 4194304 4196468 140722068050256 139892481911184 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=913] ppid=908 vsize=28768336 memory=1732 CPUtime=10.39 cores=0-7
/proc/910/task/913/stat : 913 (java) S 908 908 31477 0 -1 1077944384 15370 0 0 0 1001 38 0 0 20 0 28 0 511116065 29458776064 350536 33554432000 4194304 4196468 140722068050256 139892480858384 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=914] ppid=908 vsize=28768336 memory=1804 CPUtime=10.41 cores=0-7
/proc/910/task/914/stat : 914 (java) S 908 908 31477 0 -1 1077944384 13150 0 0 0 1006 35 0 0 20 0 28 0 511116065 29458776064 350536 33554432000 4194304 4196468 140722068050256 139892479806096 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=915] ppid=908 vsize=28768336 memory=1448 CPUtime=10.39 cores=0-7
/proc/910/task/915/stat : 915 (java) S 908 908 31477 0 -1 1077944384 17111 0 0 0 1001 38 0 0 20 0 28 0 511116065 29458776064 350536 33554432000 4194304 4196468 140722068050256 139892478753296 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=916] ppid=908 vsize=28768336 memory=1404196 CPUtime=10.37 cores=0-7
/proc/910/task/916/stat : 916 (java) S 908 908 31477 0 -1 1077944384 20350 0 0 0 1003 34 0 0 20 0 28 0 511116065 29458776064 350536 33554432000 4194304 4196468 140722068050256 139892477701008 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=917] ppid=908 vsize=28768336 memory=4104 CPUtime=10.37 cores=0-7
/proc/910/task/917/stat : 917 (java) S 908 908 31477 0 -1 1077944384 20326 0 0 0 1002 35 0 0 20 0 28 0 511116065 29458776064 350536 33554432000 4194304 4196468 140722068050256 139892476648208 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=918] ppid=908 vsize=28768336 memory=1398720917958146503 CPUtime=10.36 cores=0-7
/proc/910/task/918/stat : 918 (java) S 908 908 31477 0 -1 1077944384 19321 0 0 0 1000 36 0 0 20 0 28 0 511116065 29458776064 350536 33554432000 4194304 4196468 140722068050256 139892475595920 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=919] ppid=908 vsize=28768336 memory=4104 CPUtime=10.37 cores=0-7
/proc/910/task/919/stat : 919 (java) S 908 908 31477 0 -1 1077944384 16744 0 0 0 1003 34 0 0 20 0 28 0 511116065 29458776064 350536 33554432000 4194304 4196468 140722068050256 139892474543120 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=920] ppid=908 vsize=28768336 memory=1552 CPUtime=4.85 cores=0-7
/proc/910/task/920/stat : 920 (java) S 908 908 31477 0 -1 1077944384 68860 0 0 0 312 173 0 0 20 0 28 0 511116066 29458776064 350536 33554432000 4194304 4196468 140722068050256 139891577960560 139892529302146 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=921] ppid=908 vsize=28768336 memory=4440 CPUtime=0 cores=0-7
/proc/910/task/921/stat : 921 (java) S 908 908 31477 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 511116067 29458776064 350536 33554432000 4194304 4196468 140722068050256 139891576906592 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=922] ppid=908 vsize=28768336 memory=4104 CPUtime=0 cores=0-7
/proc/910/task/922/stat : 922 (java) S 908 908 31477 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 28 0 511116067 29458776064 350536 33554432000 4194304 4196468 140722068050256 139891575854208 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=923] ppid=908 vsize=28768336 memory=1398720917958146503 CPUtime=0 cores=0-7
/proc/910/task/923/stat : 923 (java) S 908 908 31477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511116069 29458776064 350536 33554432000 4194304 4196468 140722068050256 139891574802512 139892529309595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=924] ppid=908 vsize=28768336 memory=4126316290023845779 CPUtime=2.94 cores=0-7
/proc/910/task/924/stat : 924 (java) S 908 908 31477 0 -1 1077944384 15536 0 0 0 290 4 0 0 20 0 28 0 511116069 29458776064 350536 33554432000 4194304 4196468 140722068050256 139891573750384 139892529302146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=925] ppid=908 vsize=28768336 memory=11624 CPUtime=2.6 cores=0-7
/proc/910/task/925/stat : 925 (java) S 908 908 31477 0 -1 1077944384 14225 0 0 0 259 1 0 0 20 0 28 0 511116069 29458776064 350536 33554432000 4194304 4196468 140722068050256 139891572697584 139892529302146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=926] ppid=908 vsize=28768336 memory=740 CPUtime=2.54 cores=0-7
/proc/910/task/926/stat : 926 (java) S 908 908 31477 0 -1 1077944384 13059 0 0 0 251 3 0 0 20 0 28 0 511116069 29458776064 350536 33554432000 4194304 4196468 140722068050256 139891571645296 139892529302146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=928] ppid=908 vsize=28768336 memory=1056 CPUtime=0.81 cores=0-7
/proc/910/task/928/stat : 928 (java) S 908 908 31477 0 -1 1077944384 8209 0 0 0 79 2 0 0 20 0 28 0 511116069 29458776064 350536 33554432000 4194304 4196468 140722068050256 139891570592496 139892529302146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=929] ppid=908 vsize=28768336 memory=1552 CPUtime=0 cores=0-7
/proc/910/task/929/stat : 929 (java) S 908 908 31477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511116069 29458776064 350536 33554432000 4194304 4196468 140722068050256 139891569539424 139892529301205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=930] ppid=908 vsize=28768336 memory=1040 CPUtime=0.58 cores=0-7
/proc/910/task/930/stat : 930 (java) S 908 908 31477 0 -1 1077944384 3128 0 0 0 18 40 0 0 20 0 28 0 511116070 29458776064 350536 33554432000 4194304 4196468 140722068050256 139891568486704 139892529302146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=931] ppid=908 vsize=28768336 memory=3644 CPUtime=2496.37 cores=0-7
/proc/910/task/931/stat : 931 (java) R 908 908 31477 0 -1 4202560 6730 0 0 0 249631 6 0 0 20 0 28 0 511116166 29458776064 350536 33554432000 4194304 4196468 140722068050256 139891559505136 139892142500429 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=932] ppid=908 vsize=28768336 memory=780 CPUtime=2491.93 cores=0-7
/proc/910/task/932/stat : 932 (java) R 908 908 31477 0 -1 4202560 17308 0 0 0 249175 18 0 0 20 0 28 0 511116166 29458776064 350536 33554432000 4194304 4196468 140722068050256 139891558453608 139892144890576 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=933] ppid=908 vsize=28768336 memory=1404196 CPUtime=2495.51 cores=0-7
/proc/910/task/933/stat : 933 (java) R 908 908 31477 0 -1 4202560 5819 0 0 0 249545 6 0 0 20 0 28 0 511116166 29458776064 350536 33554432000 4194304 4196468 140722068050256 139891557400576 139892142934986 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=934] ppid=908 vsize=28768336 memory=1716 CPUtime=2488.48 cores=0-7
/proc/910/task/934/stat : 934 (java) R 908 908 31477 0 -1 4202560 27056 0 0 0 248820 28 0 0 20 0 28 0 511116166 29458776064 350536 33554432000 4194304 4196468 140722068050256 139891556348504 139892142934251 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=935] ppid=908 vsize=28768336 memory=1200 CPUtime=2490.51 cores=0-7
/proc/910/task/935/stat : 935 (java) R 908 908 31477 0 -1 4202560 27719 0 0 0 249024 27 0 0 20 0 28 0 511116166 29458776064 350536 33554432000 4194304 4196468 140722068050256 139891555296096 139892143940490 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=936] ppid=908 vsize=28768336 memory=500 CPUtime=2494.81 cores=0-7
/proc/910/task/936/stat : 936 (java) R 908 908 31477 0 -1 4202560 5296 0 0 0 249475 6 0 0 20 0 28 0 511116166 29458776064 350536 33554432000 4194304 4196468 140722068050256 139891554243432 139892142934329 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=937] ppid=908 vsize=28768336 memory=1556 CPUtime=2487.44 cores=0-7
/proc/910/task/937/stat : 937 (java) R 908 908 31477 0 -1 4202560 33628 0 0 0 248718 26 0 0 20 0 28 0 511116166 29458776064 350536 33554432000 4194304 4196468 140722068050256 139891553190120 139892141743327 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
[pid=910/tid=938] ppid=908 vsize=28768336 memory=924 CPUtime=2492.12 cores=0-7
/proc/910/task/938/stat : 938 (java) R 908 908 31477 0 -1 4202560 51039 0 0 0 249165 47 0 0 20 0 28 0 511116167 29458776064 350536 33554432000 4194304 4196468 140722068050256 139891552139712 139892144057907 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 15687680 140722068054998 140722068055174 140722068055174 140722068058063 0
Current children cumulated CPU time: 20035.7 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1403592 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 908 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00116 s, system=0.00116 s
[startup+2520.09 s]
# the end of solver process 910 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20030.1 s, system=6.24006 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.09
CPU time (s): 20036.3
CPU user time (s): 20030.1
CPU system time (s): 6.24006
CPU usage (%): 795.064
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 1433360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20030.1
system time used= 6.24006
maximum resident set size= 1432480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 449598
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 214698
involuntary context switches= 235214
# summary of solver processes directly reported to runsolver:
# pid: 908,910
# total CPU time (s): 20036.3
# total CPU user time (s): 20030.1
# total CPU system time (s): 6.24006
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.2354 second user time and 27.4473 second system time
The end
Begin job on node117 at 2019-09-24 21:01:39 IDJOB=4406812 IDBENCH=128093 IDSOLVER=2871 FILE ID=node117/4406812-1569351742 RUNJOBID= node117-1569348526-31504 PBS_JOBID= 21705082 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-36-92.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-4406812-1569351742/watcher-4406812-1569351742 -o /var/tmp/evaluation-result-4406812-1569351742/solver-4406812-1569351742 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1569348526-31504 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1509686131 HOME/instance-4406812-1569351742.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e7221c19415bed5c98fc37c567f19ceb RANDOM SEED=1509686131 node117.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25401216 kB MemAvailable: 31820112 kB Buffers: 122240 kB Cached: 6350592 kB SwapCached: 27828 kB Active: 3213120 kB Inactive: 3292416 kB Active(anon): 3368 kB Inactive(anon): 81144 kB Active(file): 3209752 kB Inactive(file): 3211272 kB Unevictable: 107788 kB Mlocked: 107788 kB SwapTotal: 67108860 kB SwapFree: 66974432 kB Dirty: 26492 kB Writeback: 0 kB AnonPages: 113404 kB Mapped: 54312 kB Shmem: 42768 kB Slab: 454968 kB SReclaimable: 426332 kB SUnreclaim: 28636 kB KernelStack: 3440 kB PageTables: 6220 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514568 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /var/tmp at the end= 13488 MiB End job on node117 at 2019-09-24 21:43:39