Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-20 parallel | SAT | 12.463 | 2.45605 |
Name | Random/Random-D-t050/ rand-2-40-25-180-050-34.xml |
MD5SUM | 2b23d7f384de8bee09908163d3005f80 |
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 | 1.27106 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 40 |
Number of constraints | 180 |
Number of domains | 1 |
Minimum domain size | 25 |
Maximum domain size | 25 |
Distribution of domain sizes | [{"size":25,"count":40}] |
Minimum variable degree | 4 |
Maximum variable degree | 14 |
Distribution of variable degrees | [{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":3},{"degree":7,"count":1},{"degree":8,"count":9},{"degree":9,"count":10},{"degree":10,"count":6},{"degree":11,"count":3},{"degree":13,"count":4},{"degree":14,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":180}] |
Number of extensional constraints | 180 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":180}] |
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-4404239-1568996091.xml" -tl '20160s' -p 8 0.10/0.19 c Choco 3fb4b153 0.10/0.19 c [HOME/instance-4404239-1568996091.xml, -tl, 20160s, -p, 8] 0.33/0.23 c 8 solvers in parallel 0.33/0.29 c parse instance... 3.31/1.27 c solve instance... 12.16/2.43 s SATISFIABLE 12.16/2.43 v <instantiation> 12.16/2.43 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] </list> 12.16/2.43 v <values>9 2 1 23 16 21 12 22 1 9 6 12 19 4 21 17 20 1 20 13 16 0 24 10 14 8 3 0 15 19 23 20 4 12 13 20 10 6 10 14 </values> 12.16/2.43 v </instantiation>
OK
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 (6372 MiB free) memory of node 1: 16384 MiB (5065 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404239-1568996091/watcher-4404239-1568996091 -o /var/tmp/evaluation-result-4404239-1568996091/solver-4404239-1568996091 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1568992392-28906 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 33091981 HOME/instance-4404239-1568996091.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=28923, runsolver pid=28920 Current StackSize limit: 8192 KiB [startup+0.100148 s]* /proc/loadavg: 0.95 1.11 1.97 2/211 28944 /proc/meminfo: memFree=11696340/32770624 swapFree=66955320/67108860 [pid=28923] ppid=28920 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28923/stat : 28923 (xcsp3-exec) S 28920 28923 28879 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475867101 115843072 363 33554432000 4194304 5098028 140722780236048 140722780234152 140129032561276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28098560 140722780238675 140722780238933 140722780238933 140722780241862 0 /proc/28923/statm: 28282 363 304 221 0 87 0 [pid=28925] ppid=28923 vsize=28227396 memory=28852 CPUtime=0.1 cores=0-7 /proc/28925/stat : 28925 (java) S 28923 28923 28879 0 -1 1077944320 5731 0 0 0 9 1 0 0 20 0 20 0 475867102 28904853504 7213 33554432000 4194304 4196468 140726415785568 140726415768112 140581696282359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 /proc/28925/statm: 7056849 7213 3119 1 0 7019032 0 [pid=28925/tid=28926] ppid=28923 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7 /proc/28925/task/28926/stat : 28926 (java) R 28923 28923 28879 0 -1 4202560 3632 0 0 0 7 1 0 0 20 0 20 0 475867102 28904853504 7213 33554432000 4194304 4196468 140726415785568 140581700509584 140581334111671 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28927] ppid=28923 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/28925/task/28927/stat : 28927 (java) S 28923 28923 28879 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475867103 28904853504 7213 33554432000 4194304 4196468 140726415785568 140581248113168 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28928] ppid=28923 vsize=28227396 memory=140622540207744 CPUtime=0 cores=0-7 /proc/28925/task/28928/stat : 28928 (java) S 28923 28923 28879 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475867103 28904853504 7213 33554432000 4194304 4196468 140726415785568 140581247060624 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28929] ppid=28923 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28929/stat : 28929 (java) S 28923 28923 28879 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475867103 28904853504 7213 33554432000 4194304 4196468 140726415785568 140581246007568 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28930] ppid=28923 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28930/stat : 28930 (java) S 28923 28923 28879 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475867103 28904853504 7213 33554432000 4194304 4196468 140726415785568 140581244955024 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28931] ppid=28923 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28931/stat : 28931 (java) S 28923 28923 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475867103 28904853504 7213 33554432000 4194304 4196468 140726415785568 140581243902992 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28932] ppid=28923 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28925/task/28932/stat : 28932 (java) S 28923 28923 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475867103 28904853504 7213 33554432000 4194304 4196468 140726415785568 140581242850448 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28933] ppid=28923 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28933/stat : 28933 (java) S 28923 28923 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475867103 28904853504 7213 33554432000 4194304 4196468 140726415785568 140581241797392 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28934] ppid=28923 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28934/stat : 28934 (java) S 28923 28923 28879 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475867103 28904853504 7213 33554432000 4194304 4196468 140726415785568 140581240744848 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28935] ppid=28923 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28935/stat : 28935 (java) S 28923 28923 28879 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475867104 28904853504 7213 33554432000 4194304 4196468 140726415785568 140581197322480 140581696293506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28936] ppid=28923 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28936/stat : 28936 (java) S 28923 28923 28879 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475867105 28904853504 7213 33554432000 4194304 4196468 140726415785568 140581196268704 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28937] ppid=28923 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28937/stat : 28937 (java) S 28923 28923 28879 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475867105 28904853504 7213 33554432000 4194304 4196468 140726415785568 140581195215600 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28938] ppid=28923 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28938/stat : 28938 (java) S 28923 28923 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475867107 28904853504 7213 33554432000 4194304 4196468 140726415785568 140581194164176 140581696300955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28939] ppid=28923 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28939/stat : 28939 (java) S 28923 28923 28879 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 475867108 28904853504 7213 33554432000 4194304 4196468 140726415785568 140581193112304 140581696293506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28940] ppid=28923 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28940/stat : 28940 (java) S 28923 28923 28879 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475867108 28904853504 7213 33554432000 4194304 4196468 140726415785568 140580807109488 140581696293506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28941] ppid=28923 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28941/stat : 28941 (java) S 28923 28923 28879 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 475867108 28904853504 7213 33554432000 4194304 4196468 140726415785568 140580806056432 140581696293506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28942] ppid=28923 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/28925/task/28942/stat : 28942 (java) R 28923 28923 28879 0 -1 4202560 350 0 0 0 1 0 0 0 20 0 20 0 475867108 28904853504 7213 33554432000 4194304 4196468 140726415785568 140580805003888 140581696303706 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28943] ppid=28923 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28943/stat : 28943 (java) S 28923 28923 28879 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475867108 28904853504 7213 33554432000 4194304 4196468 140726415785568 140580803951072 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28944] ppid=28923 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28925/task/28944/stat : 28944 (java) S 28923 28923 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475867109 28904853504 7213 33554432000 4194304 4196468 140726415785568 140580802898608 140581696293506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30304 KiB [startup+0.213787 s]* /proc/loadavg: 0.95 1.11 1.97 2/211 28944 /proc/meminfo: memFree=11682716/32770624 swapFree=66955320/67108860 [pid=28923] ppid=28920 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28923/stat : 28923 (xcsp3-exec) S 28920 28923 28879 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475867101 115843072 363 33554432000 4194304 5098028 140722780236048 140722780234152 140129032561276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28098560 140722780238675 140722780238933 140722780238933 140722780241862 0 /proc/28923/statm: 28282 363 304 221 0 87 0 [pid=28925] ppid=28923 vsize=28227396 memory=41548 CPUtime=0.33 cores=0-7 /proc/28925/stat : 28925 (java) S 28923 28923 28879 0 -1 1077944320 9571 0 0 0 29 4 0 0 20 0 20 0 475867102 28904853504 10387 33554432000 4194304 4196468 140726415785568 140726415768112 140581696282359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 /proc/28925/statm: 7056849 10387 3320 1 0 7019032 0 [pid=28925/tid=28926] ppid=28923 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/28925/task/28926/stat : 28926 (java) R 28923 28923 28879 0 -1 4202560 6679 0 0 0 17 2 0 0 20 0 20 0 475867102 28904853504 10387 33554432000 4194304 4196468 140726415785568 140581700515088 140581680362846 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28927] ppid=28923 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/28925/task/28927/stat : 28927 (java) S 28923 28923 28879 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475867103 28904853504 10387 33554432000 4194304 4196468 140726415785568 140581248113168 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28928] ppid=28923 vsize=28227396 memory=140622543568908 CPUtime=0 cores=0-7 /proc/28925/task/28928/stat : 28928 (java) S 28923 28923 28879 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475867103 28904853504 10387 33554432000 4194304 4196468 140726415785568 140581247060624 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28929] ppid=28923 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28925/task/28929/stat : 28929 (java) S 28923 28923 28879 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475867103 28904853504 10387 33554432000 4194304 4196468 140726415785568 140581246007568 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28930] ppid=28923 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28930/stat : 28930 (java) S 28923 28923 28879 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475867103 28904853504 10387 33554432000 4194304 4196468 140726415785568 140581244955024 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28931] ppid=28923 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28931/stat : 28931 (java) S 28923 28923 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475867103 28904853504 10387 33554432000 4194304 4196468 140726415785568 140581243902992 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28932] ppid=28923 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28925/task/28932/stat : 28932 (java) S 28923 28923 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475867103 28904853504 10387 33554432000 4194304 4196468 140726415785568 140581242850448 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28933] ppid=28923 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28933/stat : 28933 (java) S 28923 28923 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475867103 28904853504 10387 33554432000 4194304 4196468 140726415785568 140581241797392 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28934] ppid=28923 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28934/stat : 28934 (java) S 28923 28923 28879 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475867103 28904853504 10387 33554432000 4194304 4196468 140726415785568 140581240744848 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28935] ppid=28923 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28935/stat : 28935 (java) S 28923 28923 28879 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475867104 28904853504 10387 33554432000 4194304 4196468 140726415785568 140581197322480 140581696293506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28936] ppid=28923 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28936/stat : 28936 (java) S 28923 28923 28879 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475867105 28904853504 10387 33554432000 4194304 4196468 140726415785568 140581196268704 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28937] ppid=28923 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28937/stat : 28937 (java) S 28923 28923 28879 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475867105 28904853504 10387 33554432000 4194304 4196468 140726415785568 140581195215600 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28938] ppid=28923 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28938/stat : 28938 (java) S 28923 28923 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475867107 28904853504 10387 33554432000 4194304 4196468 140726415785568 140581194164176 140581696300955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28939] ppid=28923 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/28925/task/28939/stat : 28939 (java) S 28923 28923 28879 0 -1 1077944384 411 0 0 0 1 0 0 0 20 0 20 0 475867108 28904853504 10387 33554432000 4194304 4196468 140726415785568 140581193112304 140581696293506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28940] ppid=28923 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/28925/task/28940/stat : 28940 (java) S 28923 28923 28879 0 -1 1077944384 205 0 0 0 1 0 0 0 20 0 20 0 475867108 28904853504 10387 33554432000 4194304 4196468 140726415785568 140580807109488 140581696293506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28941] ppid=28923 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/28925/task/28941/stat : 28941 (java) S 28923 28923 28879 0 -1 1077944384 198 0 0 0 1 0 0 0 20 0 20 0 475867108 28904853504 10387 33554432000 4194304 4196468 140726415785568 140580806056432 140581696293506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28942] ppid=28923 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/28925/task/28942/stat : 28942 (java) S 28923 28923 28879 0 -1 1077944384 764 0 0 0 7 0 0 0 20 0 20 0 475867108 28904853504 10387 33554432000 4194304 4196468 140726415785568 140580805003888 140581696293506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28943] ppid=28923 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28943/stat : 28943 (java) S 28923 28923 28879 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475867108 28904853504 10387 33554432000 4194304 4196468 140726415785568 140580803951072 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28944] ppid=28923 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28925/task/28944/stat : 28944 (java) S 28923 28923 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475867109 28904853504 10387 33554432000 4194304 4196468 140726415785568 140580802898608 140581696293506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 43000 KiB [startup+0.313049 s]* /proc/loadavg: 0.95 1.11 1.97 3/211 28944 /proc/meminfo: memFree=11677744/32770624 swapFree=66955320/67108860 [pid=28923] ppid=28920 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28923/stat : 28923 (xcsp3-exec) S 28920 28923 28879 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475867101 115843072 363 33554432000 4194304 5098028 140722780236048 140722780234152 140129032561276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28098560 140722780238675 140722780238933 140722780238933 140722780241862 0 /proc/28923/statm: 28282 363 304 221 0 87 0 [pid=28925] ppid=28923 vsize=28231652 memory=49996 CPUtime=0.51 cores=0-7 /proc/28925/stat : 28925 (java) S 28923 28923 28879 0 -1 1077944320 10808 0 0 0 47 4 0 0 20 0 20 0 475867102 28909211648 12499 33554432000 4194304 4196468 140726415785568 140726415768112 140581696282359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 /proc/28925/statm: 7057913 12499 3360 1 0 7019032 0 [pid=28925/tid=28926] ppid=28923 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/28925/task/28926/stat : 28926 (java) R 28923 28923 28879 0 -1 4202560 7754 0 0 0 26 3 0 0 20 0 20 0 475867102 28909211648 12499 33554432000 4194304 4196468 140726415785568 140581700513720 140581680362846 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28927] ppid=28923 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28927/stat : 28927 (java) S 28923 28923 28879 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475867103 28909211648 12499 33554432000 4194304 4196468 140726415785568 140581248113168 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28928] ppid=28923 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28928/stat : 28928 (java) S 28923 28923 28879 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475867103 28909211648 12499 33554432000 4194304 4196468 140726415785568 140581247060624 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28929] ppid=28923 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28929/stat : 28929 (java) S 28923 28923 28879 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475867103 28909211648 12499 33554432000 4194304 4196468 140726415785568 140581246007568 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28930] ppid=28923 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28930/stat : 28930 (java) S 28923 28923 28879 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475867103 28909211648 12499 33554432000 4194304 4196468 140726415785568 140581244955024 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28931] ppid=28923 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28931/stat : 28931 (java) S 28923 28923 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475867103 28909211648 12499 33554432000 4194304 4196468 140726415785568 140581243902992 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28932] ppid=28923 vsize=28231652 memory=140622396746415 CPUtime=0 cores=0-7 /proc/28925/task/28932/stat : 28932 (java) S 28923 28923 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475867103 28909211648 12499 33554432000 4194304 4196468 140726415785568 140581242850448 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28933] ppid=28923 vsize=28231652 memory=140622396748720 CPUtime=0 cores=0-7 /proc/28925/task/28933/stat : 28933 (java) S 28923 28923 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475867103 28909211648 12499 33554432000 4194304 4196468 140726415785568 140581241797392 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28934] ppid=28923 vsize=28231652 memory=140622396751024 CPUtime=0 cores=0-7 /proc/28925/task/28934/stat : 28934 (java) S 28923 28923 28879 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475867103 28909211648 12499 33554432000 4194304 4196468 140726415785568 140581240744848 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28935] ppid=28923 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28935/stat : 28935 (java) S 28923 28923 28879 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475867104 28909211648 12499 33554432000 4194304 4196468 140726415785568 140581197322480 140581696293506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28936] ppid=28923 vsize=28231652 memory=281244793515920 CPUtime=0 cores=0-7 /proc/28925/task/28936/stat : 28936 (java) S 28923 28923 28879 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475867105 28909211648 12499 33554432000 4194304 4196468 140726415785568 140581196268704 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28937] ppid=28923 vsize=28231652 memory=281244793513616 CPUtime=0 cores=0-7 /proc/28925/task/28937/stat : 28937 (java) S 28923 28923 28879 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475867105 28909211648 12499 33554432000 4194304 4196468 140726415785568 140581195215600 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28938] ppid=28923 vsize=28231652 memory=281244793520528 CPUtime=0 cores=0-7 /proc/28925/task/28938/stat : 28938 (java) S 28923 28923 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475867107 28909211648 12499 33554432000 4194304 4196468 140726415785568 140581194164176 140581696300955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28939] ppid=28923 vsize=28231652 memory=281244793461808 CPUtime=0.03 cores=0-7 /proc/28925/task/28939/stat : 28939 (java) S 28923 28923 28879 0 -1 1077944384 424 0 0 0 3 0 0 0 20 0 20 0 475867108 28909211648 12499 33554432000 4194304 4196468 140726415785568 140581193112304 140581696293506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28940] ppid=28923 vsize=28231652 memory=281244793534352 CPUtime=0.02 cores=0-7 /proc/28925/task/28940/stat : 28940 (java) R 28923 28923 28879 0 -1 4202560 286 0 0 0 2 0 0 0 20 0 20 0 475867108 28909211648 12499 33554432000 4194304 4196468 140726415785568 140580807090600 140581676982656 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28941] ppid=28923 vsize=28231652 memory=281244793541264 CPUtime=0.02 cores=0-7 /proc/28925/task/28941/stat : 28941 (java) S 28923 28923 28879 0 -1 1077944384 203 0 0 0 2 0 0 0 20 0 20 0 475867108 28909211648 12499 33554432000 4194304 4196468 140726415785568 140580806056432 140581696293506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28942] ppid=28923 vsize=28231652 memory=281244793538960 CPUtime=0.12 cores=0-7 /proc/28925/task/28942/stat : 28942 (java) S 28923 28923 28879 0 -1 1077944384 848 0 0 0 12 0 0 0 20 0 20 0 475867108 28909211648 12499 33554432000 4194304 4196468 140726415785568 140580805003888 140581696293506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28943] ppid=28923 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28943/stat : 28943 (java) S 28923 28923 28879 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475867108 28909211648 12499 33554432000 4194304 4196468 140726415785568 140580803951072 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28944] ppid=28923 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/28925/task/28944/stat : 28944 (java) S 28923 28923 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475867109 28909211648 12499 33554432000 4194304 4196468 140726415785568 140580802898608 140581696293506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51448 KiB [startup+0.701564 s] /proc/loadavg: 0.95 1.11 1.97 5/211 28944 /proc/meminfo: memFree=11649088/32770624 swapFree=66955320/67108860 [pid=28923] ppid=28920 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28923/stat : 28923 (xcsp3-exec) S 28920 28923 28879 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475867101 115843072 363 33554432000 4194304 5098028 140722780236048 140722780234152 140129032561276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28098560 140722780238675 140722780238933 140722780238933 140722780241862 0 /proc/28923/statm: 28282 363 304 221 0 87 0 [pid=28925] ppid=28923 vsize=28233776 memory=142924 CPUtime=1.85 cores=0-7 /proc/28925/stat : 28925 (java) S 28923 28923 28879 0 -1 1077944320 15135 0 0 0 178 7 0 0 20 0 20 0 475867102 28911386624 35731 33554432000 4194304 4196468 140726415785568 140726415768112 140581696282359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 /proc/28925/statm: 7058444 35731 3445 1 0 7019544 0 [pid=28925/tid=28926] ppid=28923 vsize=28233776 memory=0 CPUtime=0.66 cores=0-7 /proc/28925/task/28926/stat : 28926 (java) R 28923 28923 28879 0 -1 4202560 9077 0 0 0 62 4 0 0 20 0 20 0 475867102 28911386624 35731 33554432000 4194304 4196468 140726415785568 140581700520608 140581688960452 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28927] ppid=28923 vsize=28233776 memory=140622396957552 CPUtime=0 cores=0-7 /proc/28925/task/28927/stat : 28927 (java) S 28923 28923 28879 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475867103 28911386624 35731 33554432000 4194304 4196468 140726415785568 140581248113168 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28928] ppid=28923 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28928/stat : 28928 (java) S 28923 28923 28879 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475867103 28911386624 35731 33554432000 4194304 4196468 140726415785568 140581247060624 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28929] ppid=28923 vsize=28233776 memory=784 CPUtime=0 cores=0-7 /proc/28925/task/28929/stat : 28929 (java) S 28923 28923 28879 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475867103 28911386624 35731 33554432000 4194304 4196468 140726415785568 140581246007568 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 ################ # More data... # ################ [pid=28925/tid=28934] ppid=28923 vsize=28766288 memory=140622396976064 CPUtime=0.02 cores=0-7 /proc/28925/task/28934/stat : 28934 (java) S 28923 28923 28879 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 28 0 475867103 29456678912 89904 33554432000 4194304 4196468 140726415785568 140581240744848 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28935] ppid=28923 vsize=28766288 memory=140622396976160 CPUtime=0 cores=0-7 /proc/28925/task/28935/stat : 28935 (java) S 28923 28923 28879 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 28 0 475867104 29456678912 89904 33554432000 4194304 4196468 140726415785568 140581197322480 140581696293506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28936] ppid=28923 vsize=28766288 memory=281244793898816 CPUtime=0 cores=0-7 /proc/28925/task/28936/stat : 28936 (java) S 28923 28923 28879 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 475867105 29456678912 89904 33554432000 4194304 4196468 140726415785568 140581196268768 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28937] ppid=28923 vsize=28766288 memory=288230621803970871 CPUtime=0 cores=0-7 /proc/28925/task/28937/stat : 28937 (java) S 28923 28923 28879 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 475867105 29456678912 89904 33554432000 4194304 4196468 140726415785568 140581195215616 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28938] ppid=28923 vsize=28766288 memory=14691894252800627 CPUtime=0 cores=0-7 /proc/28925/task/28938/stat : 28938 (java) S 28923 28923 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475867107 29456678912 89904 33554432000 4194304 4196468 140726415785568 140581194164176 140581696300955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28939] ppid=28923 vsize=28766288 memory=0 CPUtime=0.74 cores=0-7 /proc/28925/task/28939/stat : 28939 (java) R 28923 28923 28879 0 -1 4202560 1895 0 0 0 73 1 0 0 20 0 28 0 475867108 29456678912 89904 33554432000 4194304 4196468 140726415785568 140581193093320 140581679693231 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28940] ppid=28923 vsize=28766288 memory=0 CPUtime=0.62 cores=0-7 /proc/28925/task/28940/stat : 28940 (java) R 28923 28923 28879 0 -1 4202560 1260 0 0 0 62 0 0 0 20 0 28 0 475867108 29456678912 89904 33554432000 4194304 4196468 140726415785568 140580807096056 140581675999495 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28941] ppid=28923 vsize=28766288 memory=0 CPUtime=0.72 cores=0-7 /proc/28925/task/28941/stat : 28941 (java) R 28923 28923 28879 0 -1 4202560 1804 0 0 0 72 0 0 0 20 0 28 0 475867108 29456678912 89904 33554432000 4194304 4196468 140726415785568 140580806048480 140581675499587 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28942] ppid=28923 vsize=28766288 memory=0 CPUtime=0.59 cores=0-7 /proc/28925/task/28942/stat : 28942 (java) R 28923 28923 28879 0 -1 4202560 2494 0 0 0 59 0 0 0 20 0 28 0 475867108 29456678912 89904 33554432000 4194304 4196468 140726415785568 140580805003888 140581680362846 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28943] ppid=28923 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28943/stat : 28943 (java) S 28923 28923 28879 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475867108 29456678912 89904 33554432000 4194304 4196468 140726415785568 140580803951072 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28944] ppid=28923 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28944/stat : 28944 (java) S 28923 28923 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475867109 29456678912 89904 33554432000 4194304 4196468 140726415785568 140580802898608 140581696293506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 Current children cumulated CPU time: 5.87 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 361068 KiB [startup+2.00138 s]* /proc/loadavg: 1.11 1.14 1.98 13/219 28952 /proc/meminfo: memFree=11361336/32770624 swapFree=66955320/67108860 [pid=28923] ppid=28920 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28923/stat : 28923 (xcsp3-exec) S 28920 28923 28879 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475867101 115843072 363 33554432000 4194304 5098028 140722780236048 140722780234152 140129032561276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28098560 140722780238675 140722780238933 140722780238933 140722780241862 0 /proc/28923/statm: 28282 363 304 221 0 87 0 [pid=28925] ppid=28923 vsize=28766288 memory=367168 CPUtime=9.05 cores=0-7 /proc/28925/stat : 28925 (java) S 28923 28923 28879 0 -1 1077944320 20600 0 0 0 886 19 0 0 20 0 28 0 475867102 29456678912 91792 33554432000 4194304 4196468 140726415785568 140726415768112 140581696282359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 /proc/28925/statm: 7191572 91792 3488 1 0 7152672 0 [pid=28925/tid=28926] ppid=28923 vsize=28766288 memory=6944656592455097440 CPUtime=1.21 cores=0-7 /proc/28925/task/28926/stat : 28926 (java) S 28923 28923 28879 0 -1 1077944384 9274 0 0 0 114 7 0 0 20 0 28 0 475867102 29456678912 91792 33554432000 4194304 4196468 140726415785568 140581700523136 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28927] ppid=28923 vsize=28766288 memory=4872558044660077418 CPUtime=0.02 cores=0-7 /proc/28925/task/28927/stat : 28927 (java) S 28923 28923 28879 0 -1 1077944384 25 0 0 0 2 0 0 0 20 0 28 0 475867103 29456678912 91792 33554432000 4194304 4196468 140726415785568 140581248113168 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28928] ppid=28923 vsize=28766288 memory=7230638415855315543 CPUtime=0.01 cores=0-7 /proc/28925/task/28928/stat : 28928 (java) S 28923 28923 28879 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 28 0 475867103 29456678912 91792 33554432000 4194304 4196468 140726415785568 140581247060624 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28929] ppid=28923 vsize=28766288 memory=22129 CPUtime=0.01 cores=0-7 /proc/28925/task/28929/stat : 28929 (java) S 28923 28923 28879 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 28 0 475867103 29456678912 91792 33554432000 4194304 4196468 140726415785568 140581246007568 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28930] ppid=28923 vsize=28766288 memory=4420 CPUtime=0.03 cores=0-7 /proc/28925/task/28930/stat : 28930 (java) S 28923 28923 28879 0 -1 1077944384 29 0 0 0 2 1 0 0 20 0 28 0 475867103 29456678912 91792 33554432000 4194304 4196468 140726415785568 140581244955024 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28931] ppid=28923 vsize=28766288 memory=6628 CPUtime=0.02 cores=0-7 /proc/28925/task/28931/stat : 28931 (java) S 28923 28923 28879 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 28 0 475867103 29456678912 91792 33554432000 4194304 4196468 140726415785568 140581243902992 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28932] ppid=28923 vsize=28766288 memory=8836 CPUtime=0.02 cores=0-7 /proc/28925/task/28932/stat : 28932 (java) S 28923 28923 28879 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 28 0 475867103 29456678912 91792 33554432000 4194304 4196468 140726415785568 140581242850448 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28933] ppid=28923 vsize=28766288 memory=11044 CPUtime=0.01 cores=0-7 /proc/28925/task/28933/stat : 28933 (java) S 28923 28923 28879 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 28 0 475867103 29456678912 91792 33554432000 4194304 4196468 140726415785568 140581241797392 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28934] ppid=28923 vsize=28766288 memory=13252 CPUtime=0.02 cores=0-7 /proc/28925/task/28934/stat : 28934 (java) S 28923 28923 28879 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 28 0 475867103 29456678912 91792 33554432000 4194304 4196468 140726415785568 140581240744848 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28935] ppid=28923 vsize=28766288 memory=-3252517613199061085 CPUtime=0 cores=0-7 /proc/28925/task/28935/stat : 28935 (java) S 28923 28923 28879 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 28 0 475867104 29456678912 91792 33554432000 4194304 4196468 140726415785568 140581197322480 140581696293506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28936] ppid=28923 vsize=28766288 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/28925/task/28936/stat : 28936 (java) S 28923 28923 28879 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 475867105 29456678912 91792 33554432000 4194304 4196468 140726415785568 140581196268768 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28937] ppid=28923 vsize=28766288 memory=19876 CPUtime=0 cores=0-7 /proc/28925/task/28937/stat : 28937 (java) S 28923 28923 28879 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 475867105 29456678912 91792 33554432000 4194304 4196468 140726415785568 140581195215616 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28938] ppid=28923 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28938/stat : 28938 (java) S 28923 28923 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475867107 29456678912 91792 33554432000 4194304 4196468 140726415785568 140581194164176 140581696300955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28939] ppid=28923 vsize=28766288 memory=0 CPUtime=1.03 cores=0-7 /proc/28925/task/28939/stat : 28939 (java) R 28923 28923 28879 0 -1 4202560 2470 0 0 0 102 1 0 0 20 0 28 0 475867108 29456678912 91792 33554432000 4194304 4196468 140726415785568 140581193103280 140581674518745 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28940] ppid=28923 vsize=28766288 memory=0 CPUtime=0.95 cores=0-7 /proc/28925/task/28940/stat : 28940 (java) R 28923 28923 28879 0 -1 4202560 1544 0 0 0 95 0 0 0 20 0 28 0 475867108 29456678912 91792 33554432000 4194304 4196468 140726415785568 140580807091056 140581677805232 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28941] ppid=28923 vsize=28766288 memory=0 CPUtime=1.08 cores=0-7 /proc/28925/task/28941/stat : 28941 (java) R 28923 28923 28879 0 -1 4202560 2638 0 0 0 108 0 0 0 20 0 28 0 475867108 29456678912 91792 33554432000 4194304 4196468 140726415785568 140580806037840 140581677460299 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28942] ppid=28923 vsize=28766288 memory=0 CPUtime=0.67 cores=0-7 /proc/28925/task/28942/stat : 28942 (java) R 28923 28923 28879 0 -1 1077944384 2634 0 0 0 66 1 0 0 20 0 28 0 475867108 29456678912 91792 33554432000 4194304 4196468 140726415785568 140580805003888 140581696293506 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28943] ppid=28923 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28943/stat : 28943 (java) S 28923 28923 28879 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475867108 29456678912 91792 33554432000 4194304 4196468 140726415785568 140580803951072 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28944] ppid=28923 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28944/stat : 28944 (java) S 28923 28923 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475867109 29456678912 91792 33554432000 4194304 4196468 140726415785568 140580802898608 140581696293506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28945] ppid=28923 vsize=28766288 memory=0 CPUtime=0.45 cores=0-7 /proc/28925/task/28945/stat : 28945 (java) R 28923 28923 28879 0 -1 4202560 54 0 0 0 45 0 0 0 20 0 28 0 475867230 29456678912 91792 33554432000 4194304 4196468 140726415785568 140580793915632 140581340455798 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28946] ppid=28923 vsize=28766288 memory=33 CPUtime=0.42 cores=0-7 /proc/28925/task/28946/stat : 28946 (java) R 28923 28923 28879 0 -1 4202560 42 0 0 0 42 0 0 0 20 0 28 0 475867230 29456678912 91792 33554432000 4194304 4196468 140726415785568 140580792864040 140581341030507 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28947] ppid=28923 vsize=28766288 memory=8243114992657236055 CPUtime=0.52 cores=0-7 /proc/28925/task/28947/stat : 28947 (java) R 28923 28923 28879 0 -1 4202560 48 0 0 0 52 0 0 0 20 0 28 0 475867230 29456678912 91792 33554432000 4194304 4196468 140726415785568 140580791813824 140581341606856 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28948] ppid=28923 vsize=28766288 memory=288283359826737917 CPUtime=0.44 cores=0-7 /proc/28925/task/28948/stat : 28948 (java) R 28923 28923 28879 0 -1 4202560 34 0 0 0 44 0 0 0 20 0 28 0 475867230 29456678912 91792 33554432000 4194304 4196468 140726415785568 140580790759672 140581341001833 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28949] ppid=28923 vsize=28766288 memory=0 CPUtime=0.52 cores=0-7 /proc/28925/task/28949/stat : 28949 (java) R 28923 28923 28879 0 -1 4202560 29 0 0 0 52 0 0 0 20 0 28 0 475867230 29456678912 91792 33554432000 4194304 4196468 140726415785568 140579868496136 140581341369852 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28950] ppid=28923 vsize=28766288 memory=0 CPUtime=0.46 cores=0-7 /proc/28925/task/28950/stat : 28950 (java) R 28923 28923 28879 0 -1 4202560 40 0 0 0 46 0 0 0 20 0 28 0 475867230 29456678912 91792 33554432000 4194304 4196468 140726415785568 140579867443336 140581334099940 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28951] ppid=28923 vsize=28766288 memory=0 CPUtime=0.52 cores=0-7 /proc/28925/task/28951/stat : 28951 (java) R 28923 28923 28879 0 -1 4202560 59 0 0 0 52 0 0 0 20 0 28 0 475867230 29456678912 91792 33554432000 4194304 4196468 140726415785568 140579866391648 140581341146317 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28952] ppid=28923 vsize=28766288 memory=126324450527978 CPUtime=0.47 cores=0-7 /proc/28925/task/28952/stat : 28952 (java) R 28923 28923 28879 0 -1 4202560 31 0 0 0 47 0 0 0 20 0 28 0 475867230 29456678912 91792 33554432000 4194304 4196468 140726415785568 140579865339104 140581341606725 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 Current children cumulated CPU time: 9.05 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 368620 KiB [startup+2.40138 s] /proc/loadavg: 1.11 1.14 1.98 13/219 28952 /proc/meminfo: memFree=11361336/32770624 swapFree=66955320/67108860 [pid=28923] ppid=28920 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28923/stat : 28923 (xcsp3-exec) S 28920 28923 28879 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475867101 115843072 363 33554432000 4194304 5098028 140722780236048 140722780234152 140129032561276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28098560 140722780238675 140722780238933 140722780238933 140722780241862 0 /proc/28923/statm: 28282 363 304 221 0 87 0 [pid=28925] ppid=28923 vsize=28766288 memory=366720 CPUtime=12.16 cores=0-7 /proc/28925/stat : 28925 (java) S 28923 28923 28879 0 -1 1077944320 21562 0 0 0 1196 20 0 0 20 0 28 0 475867102 29456678912 91680 33554432000 4194304 4196468 140726415785568 140726415768112 140581696282359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 /proc/28925/statm: 7191572 91680 3490 1 0 7152672 0 [pid=28925/tid=28926] ppid=28923 vsize=28766288 memory=1 CPUtime=1.21 cores=0-7 /proc/28925/task/28926/stat : 28926 (java) S 28923 28923 28879 0 -1 1077944384 9274 0 0 0 114 7 0 0 20 0 28 0 475867102 29456678912 91680 33554432000 4194304 4196468 140726415785568 140581700523136 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28927] ppid=28923 vsize=28766288 memory=6791534058613427641 CPUtime=0.02 cores=0-7 /proc/28925/task/28927/stat : 28927 (java) S 28923 28923 28879 0 -1 1077944384 25 0 0 0 2 0 0 0 20 0 28 0 475867103 29456678912 91680 33554432000 4194304 4196468 140726415785568 140581248113168 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28928] ppid=28923 vsize=28766288 memory=288230621803970871 CPUtime=0.01 cores=0-7 /proc/28925/task/28928/stat : 28928 (java) S 28923 28923 28879 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 28 0 475867103 29456678912 91680 33554432000 4194304 4196468 140726415785568 140581247060624 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28929] ppid=28923 vsize=28766288 memory=14691894252800627 CPUtime=0.01 cores=0-7 /proc/28925/task/28929/stat : 28929 (java) S 28923 28923 28879 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 28 0 475867103 29456678912 91680 33554432000 4194304 4196468 140726415785568 140581246007568 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28930] ppid=28923 vsize=28766288 memory=0 CPUtime=0.03 cores=0-7 /proc/28925/task/28930/stat : 28930 (java) S 28923 28923 28879 0 -1 1077944384 29 0 0 0 2 1 0 0 20 0 28 0 475867103 29456678912 91680 33554432000 4194304 4196468 140726415785568 140581244955024 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28931] ppid=28923 vsize=28766288 memory=6656426216303648864 CPUtime=0.02 cores=0-7 /proc/28925/task/28931/stat : 28931 (java) S 28923 28923 28879 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 28 0 475867103 29456678912 91680 33554432000 4194304 4196468 140726415785568 140581243902992 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28932] ppid=28923 vsize=28766288 memory=6656426216303648864 CPUtime=0.02 cores=0-7 /proc/28925/task/28932/stat : 28932 (java) S 28923 28923 28879 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 28 0 475867103 29456678912 91680 33554432000 4194304 4196468 140726415785568 140581242850448 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28933] ppid=28923 vsize=28766288 memory=0 CPUtime=0.01 cores=0-7 /proc/28925/task/28933/stat : 28933 (java) S 28923 28923 28879 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 28 0 475867103 29456678912 91680 33554432000 4194304 4196468 140726415785568 140581241797392 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28934] ppid=28923 vsize=28766288 memory=0 CPUtime=0.02 cores=0-7 /proc/28925/task/28934/stat : 28934 (java) S 28923 28923 28879 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 28 0 475867103 29456678912 91680 33554432000 4194304 4196468 140726415785568 140581240744848 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28935] ppid=28923 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28935/stat : 28935 (java) S 28923 28923 28879 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 28 0 475867104 29456678912 91680 33554432000 4194304 4196468 140726415785568 140581197322480 140581696293506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28936] ppid=28923 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28936/stat : 28936 (java) S 28923 28923 28879 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 475867105 29456678912 91680 33554432000 4194304 4196468 140726415785568 140581196268768 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28937] ppid=28923 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28937/stat : 28937 (java) S 28923 28923 28879 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 475867105 29456678912 91680 33554432000 4194304 4196468 140726415785568 140581195215616 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28938] ppid=28923 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/28925/task/28938/stat : 28938 (java) S 28923 28923 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475867107 29456678912 91680 33554432000 4194304 4196468 140726415785568 140581194164176 140581696300955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28939] ppid=28923 vsize=28766288 memory=0 CPUtime=1.33 cores=0-7 /proc/28925/task/28939/stat : 28939 (java) R 28923 28923 28879 0 -1 4202560 3279 0 0 0 132 1 0 0 20 0 28 0 475867108 29456678912 91680 33554432000 4194304 4196468 140726415785568 140581193112600 140581676134497 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28940] ppid=28923 vsize=28766288 memory=0 CPUtime=1.17 cores=0-7 /proc/28925/task/28940/stat : 28940 (java) S 28923 28923 28879 0 -1 1077944384 1585 0 0 0 117 0 0 0 20 0 28 0 475867108 29456678912 91680 33554432000 4194304 4196468 140726415785568 140580807109488 140581696293506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28941] ppid=28923 vsize=28766288 memory=0 CPUtime=1.27 cores=0-7 /proc/28925/task/28941/stat : 28941 (java) S 28923 28923 28879 0 -1 1077944384 2679 0 0 0 127 0 0 0 20 0 28 0 475867108 29456678912 91680 33554432000 4194304 4196468 140726415785568 140580806056432 140581696293506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28942] ppid=28923 vsize=28766288 memory=7163927742266830179 CPUtime=0.7 cores=0-7 /proc/28925/task/28942/stat : 28942 (java) S 28923 28923 28879 0 -1 1077944384 2672 0 0 0 69 1 0 0 20 0 28 0 475867108 29456678912 91680 33554432000 4194304 4196468 140726415785568 140580805003888 140581696293506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28943] ppid=28923 vsize=28766288 memory=7234030490512353113 CPUtime=0 cores=0-7 /proc/28925/task/28943/stat : 28943 (java) S 28923 28923 28879 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475867108 29456678912 91680 33554432000 4194304 4196468 140726415785568 140580803951072 140581696292565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28944] ppid=28923 vsize=28766288 memory=7380671248541445222 CPUtime=0 cores=0-7 /proc/28925/task/28944/stat : 28944 (java) S 28923 28923 28879 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475867109 29456678912 91680 33554432000 4194304 4196468 140726415785568 140580802898608 140581696293506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28945] ppid=28923 vsize=28766288 memory=126405182489578 CPUtime=0.8 cores=0-7 /proc/28925/task/28945/stat : 28945 (java) R 28923 28923 28879 0 -1 4202560 58 0 0 0 80 0 0 0 20 0 28 0 475867230 29456678912 91680 33554432000 4194304 4196468 140726415785568 140580793915248 140581340778175 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28946] ppid=28923 vsize=28766288 memory=1452 CPUtime=0.72 cores=0-7 /proc/28925/task/28946/stat : 28946 (java) R 28923 28923 28879 0 -1 4202560 42 0 0 0 72 0 0 0 20 0 28 0 475867230 29456678912 91680 33554432000 4194304 4196468 140726415785568 140580792864736 140581341606626 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28947] ppid=28923 vsize=28766288 memory=363992 CPUtime=0.77 cores=0-7 /proc/28925/task/28947/stat : 28947 (java) R 28923 28923 28879 0 -1 4202560 58 0 0 0 77 0 0 0 20 0 28 0 475867230 29456678912 91680 33554432000 4194304 4196468 140726415785568 140580791812712 140581340704678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28948] ppid=28923 vsize=28766288 memory=-3756611412707075625 CPUtime=0.75 cores=0-7 /proc/28925/task/28948/stat : 28948 (java) R 28923 28923 28879 0 -1 4202560 35 0 0 0 75 0 0 0 20 0 28 0 475867230 29456678912 91680 33554432000 4194304 4196468 140726415785568 140580790759728 140581340455728 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28949] ppid=28923 vsize=28766288 memory=-7022074515825631275 CPUtime=0.83 cores=0-7 /proc/28925/task/28949/stat : 28949 (java) R 28923 28923 28879 0 -1 4202560 31 0 0 0 83 0 0 0 20 0 28 0 475867230 29456678912 91680 33554432000 4194304 4196468 140726415785568 140579868496360 140581341146194 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28950] ppid=28923 vsize=28766288 memory=-2605811476043407915 CPUtime=0.68 cores=0-7 /proc/28925/task/28950/stat : 28950 (java) R 28923 28923 28879 0 -1 4202560 50 0 0 0 68 0 0 0 20 0 28 0 475867230 29456678912 91680 33554432000 4194304 4196468 140726415785568 140579867443400 140581341606827 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28951] ppid=28923 vsize=28766288 memory=-4695043397844020537 CPUtime=0.88 cores=0-7 /proc/28925/task/28951/stat : 28951 (java) R 28923 28923 28879 0 -1 4202560 63 0 0 0 88 0 0 0 20 0 28 0 475867230 29456678912 91680 33554432000 4194304 4196468 140726415785568 140579866390328 140581341029613 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 [pid=28925/tid=28952] ppid=28923 vsize=28766288 memory=8562125494162282060 CPUtime=0.74 cores=0-7 /proc/28925/task/28952/stat : 28952 (java) R 28923 28923 28879 0 -1 4202560 32 0 0 0 74 0 0 0 20 0 28 0 475867230 29456678912 91680 33554432000 4194304 4196468 140726415785568 140579865337880 140581341029619 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31731712 140726415791062 140726415791238 140726415791238 140726415794127 0 Current children cumulated CPU time: 12.16 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 368172 KiB Child status: 0 Real time (s): 2.45605 CPU time (s): 12.463 CPU user time (s): 12.2472 CPU system time (s): 0.215788 CPU usage (%): 507.442 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 369392 getrusage(RUSAGE_CHILDREN,...) data: user time used= 12.2472 system time used= 0.215788 maximum resident set size= 369576 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22177 page faults= 0 swaps= 0 block input operations= 8 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3410 involuntary context switches= 311 # summary of solver processes directly reported to runsolver: # pid: 28923 # total CPU time (s): 12.463 # total CPU user time (s): 12.2472 # total CPU system time (s): 0.215788 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.040062 second user time and 0.069853 second system time The end
Begin job on node105 at 2019-09-20 17:13:12 IDJOB=4404239 IDBENCH=122262 IDSOLVER=2865 FILE ID=node105/4404239-1568996091 RUNJOBID= node105-1568992392-28906 PBS_JOBID= 21704735 Free space on /var/tmp= 13180 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/Random/Random-D-t050/rand-2-40-25-180-050-34.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-4404239-1568996091/watcher-4404239-1568996091 -o /var/tmp/evaluation-result-4404239-1568996091/solver-4404239-1568996091 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1568992392-28906 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 33091981 HOME/instance-4404239-1568996091.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2b23d7f384de8bee09908163d3005f80 RANDOM SEED=33091981 node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 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.00 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.00 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.00 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: 11713456 kB MemAvailable: 31809180 kB Buffers: 146480 kB Cached: 19850216 kB SwapCached: 49488 kB Active: 9920652 kB Inactive: 10125812 kB Active(anon): 3668 kB Inactive(anon): 91556 kB Active(file): 9916984 kB Inactive(file): 10034256 kB Unevictable: 111216 kB Mlocked: 111216 kB SwapTotal: 67108860 kB SwapFree: 66955320 kB Dirty: 26464 kB Writeback: 0 kB AnonPages: 112120 kB Mapped: 47880 kB Shmem: 36672 kB Slab: 601012 kB SReclaimable: 572944 kB SUnreclaim: 28068 kB KernelStack: 3280 kB PageTables: 6032 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497464 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: 120192 kB DirectMap2M: 33425408 kB Free space on /var/tmp at the end= 13152 MiB End job on node105 at 2019-09-20 17:13:15