Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-06-14 parallel | SAT | 1341.94 | 171.964 |
Name | Random/Random-RB-3-24-24/ rand-3-24-24-76-632-16.xml |
MD5SUM | 15519537de8ee4184d6d10278c400490 |
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 | 68.0219 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 24 |
Number of constraints | 74 |
Number of domains | 1 |
Minimum domain size | 24 |
Maximum domain size | 24 |
Distribution of domain sizes | [{"size":24,"count":24}] |
Minimum variable degree | 4 |
Maximum variable degree | 17 |
Distribution of variable degrees | [{"degree":4,"count":3},{"degree":5,"count":1},{"degree":6,"count":2},{"degree":7,"count":2},{"degree":9,"count":4},{"degree":10,"count":3},{"degree":11,"count":4},{"degree":12,"count":1},{"degree":13,"count":2},{"degree":14,"count":1},{"degree":17,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":3,"count":74}] |
Number of extensional constraints | 74 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":74}] |
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-4393498-1568420201.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4393498-1568420201.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 9.48/4.70 c solve instance... 1341.71/171.93 s SATISFIABLE 1341.71/171.93 v <instantiation> 1341.71/171.93 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] </list> 1341.71/171.93 v <values>5 7 6 21 12 3 3 8 0 8 1 12 13 5 9 20 4 7 2 0 21 6 1 18 </values> 1341.71/171.93 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 (13849 MiB free) memory of node 1: 16384 MiB (14244 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393498-1568420201/watcher-4393498-1568420201 -o /tmp/evaluation-result-4393498-1568420201/solver-4393498-1568420201 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1568416728-16435 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1426430 HOME/instance-4393498-1568420201.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=18083, runsolver pid=18080 [startup+0.100157 s]* /proc/loadavg: 7.38 8.07 7.78 2/211 18104 /proc/meminfo: memFree=28753204/32770624 swapFree=66959224/67108860 [pid=18083] ppid=18080 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18083/stat : 18083 (xcsp3-exec) S 18080 18083 16408 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417960250 115843072 364 33554432000 4194304 5098028 140722429265600 140722429263704 140245442249340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10285056 140722429272952 140722429273193 140722429273193 140722429276106 0 /proc/18083/statm: 28282 364 305 221 0 87 0 [pid=18085] ppid=18083 vsize=28227388 memory=28932 CPUtime=0.12 cores=0-7 /proc/18085/stat : 18085 (java) S 18083 18083 16408 0 -1 1077944320 5734 0 0 0 11 1 0 0 20 0 20 0 417960250 28904845312 7233 33554432000 4194304 4196468 140726032315760 140726032298304 139872759996151 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 /proc/18085/statm: 7056847 7233 3121 1 0 7019032 0 [pid=18085/tid=18086] ppid=18083 vsize=28227388 memory=7682184872503189151 CPUtime=0.09 cores=0-7 /proc/18085/task/18086/stat : 18086 (java) R 18083 18083 16408 0 -1 4202560 3642 0 0 0 8 1 0 0 20 0 20 0 417960251 28904845312 7233 33554432000 4194304 4196468 140726032315760 139872764229424 139872396186406 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18087] ppid=18083 vsize=28227388 memory=732370141113433061 CPUtime=0 cores=0-7 /proc/18085/task/18087/stat : 18087 (java) S 18083 18083 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417960251 28904845312 7233 33554432000 4194304 4196468 140726032315760 139872725277200 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18088] ppid=18083 vsize=28227388 memory=140002775979648 CPUtime=0 cores=0-7 /proc/18085/task/18088/stat : 18088 (java) S 18083 18083 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417960251 28904845312 7233 33554432000 4194304 4196468 140726032315760 139872310176400 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18089] ppid=18083 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18085/task/18089/stat : 18089 (java) S 18083 18083 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417960251 28904845312 7233 33554432000 4194304 4196468 140726032315760 139872309123344 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18090] ppid=18083 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18085/task/18090/stat : 18090 (java) S 18083 18083 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417960251 28904845312 7233 33554432000 4194304 4196468 140726032315760 139872308070800 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18091] ppid=18083 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18085/task/18091/stat : 18091 (java) S 18083 18083 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417960251 28904845312 7233 33554432000 4194304 4196468 140726032315760 139872307018768 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18092] ppid=18083 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/18085/task/18092/stat : 18092 (java) S 18083 18083 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417960251 28904845312 7233 33554432000 4194304 4196468 140726032315760 139872305966224 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18093] ppid=18083 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18085/task/18093/stat : 18093 (java) S 18083 18083 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417960251 28904845312 7233 33554432000 4194304 4196468 140726032315760 139872304913168 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18094] ppid=18083 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18085/task/18094/stat : 18094 (java) S 18083 18083 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417960251 28904845312 7233 33554432000 4194304 4196468 140726032315760 139872303860624 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18095] ppid=18083 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18085/task/18095/stat : 18095 (java) S 18083 18083 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417960253 28904845312 7233 33554432000 4194304 4196468 140726032315760 139871156865264 139872760007298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18096] ppid=18083 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18085/task/18096/stat : 18096 (java) S 18083 18083 16408 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417960254 28904845312 7233 33554432000 4194304 4196468 140726032315760 139871155811488 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18097] ppid=18083 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18085/task/18097/stat : 18097 (java) S 18083 18083 16408 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417960254 28904845312 7233 33554432000 4194304 4196468 140726032315760 139871154758384 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18098] ppid=18083 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18085/task/18098/stat : 18098 (java) S 18083 18083 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417960256 28904845312 7233 33554432000 4194304 4196468 140726032315760 139871153706960 139872760014747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18099] ppid=18083 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18085/task/18099/stat : 18099 (java) R 18083 18083 16408 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 417960256 28904845312 7233 33554432000 4194304 4196468 140726032315760 139871152655088 139872760007298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18100] ppid=18083 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18085/task/18100/stat : 18100 (java) S 18083 18083 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417960256 28904845312 7233 33554432000 4194304 4196468 140726032315760 139871151602544 139872760007298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18101] ppid=18083 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18085/task/18101/stat : 18101 (java) R 18083 18083 16408 0 -1 4202560 121 0 0 0 0 0 0 0 20 0 20 0 417960256 28904845312 7233 33554432000 4194304 4196468 140726032315760 139871150549488 139872760007298 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18102] ppid=18083 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/18085/task/18102/stat : 18102 (java) R 18083 18083 16408 0 -1 4202560 361 0 0 0 1 0 0 0 20 0 20 0 417960256 28904845312 7233 33554432000 4194304 4196468 140726032315760 139871149496944 139872760008086 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18103] ppid=18083 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18085/task/18103/stat : 18103 (java) S 18083 18083 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417960256 28904845312 7233 33554432000 4194304 4196468 140726032315760 139871148444128 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18104] ppid=18083 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/18085/task/18104/stat : 18104 (java) S 18083 18083 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417960257 28904845312 7233 33554432000 4194304 4196468 140726032315760 139871147391664 139872760007298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30388 KiB [startup+0.210136 s]* /proc/loadavg: 7.38 8.07 7.78 2/211 18104 /proc/meminfo: memFree=28741080/32770624 swapFree=66959224/67108860 [pid=18083] ppid=18080 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18083/stat : 18083 (xcsp3-exec) S 18080 18083 16408 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417960250 115843072 364 33554432000 4194304 5098028 140722429265600 140722429263704 140245442249340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10285056 140722429272952 140722429273193 140722429273193 140722429276106 0 /proc/18083/statm: 28282 364 305 221 0 87 0 [pid=18085] ppid=18083 vsize=28227388 memory=40964 CPUtime=0.33 cores=0-7 /proc/18085/stat : 18085 (java) S 18083 18083 16408 0 -1 1077944320 9542 0 0 0 30 3 0 0 20 0 20 0 417960250 28904845312 10241 33554432000 4194304 4196468 140726032315760 140726032298304 139872759996151 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 /proc/18085/statm: 7056847 10241 3292 1 0 7019032 0 [pid=18085/tid=18086] ppid=18083 vsize=28227388 memory=0 CPUtime=0.19 cores=0-7 /proc/18085/task/18086/stat : 18086 (java) R 18083 18083 16408 0 -1 4202560 6665 0 0 0 17 2 0 0 20 0 20 0 417960251 28904845312 10241 33554432000 4194304 4196468 140726032315760 139872764228880 139872752674165 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18087] ppid=18083 vsize=28227388 memory=280005422274296 CPUtime=0 cores=0-7 /proc/18085/task/18087/stat : 18087 (java) S 18083 18083 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417960251 28904845312 10241 33554432000 4194304 4196468 140726032315760 139872725277200 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18088] ppid=18083 vsize=28227388 memory=140002775979648 CPUtime=0 cores=0-7 /proc/18085/task/18088/stat : 18088 (java) S 18083 18083 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417960251 28904845312 10241 33554432000 4194304 4196468 140726032315760 139872310176400 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18089] ppid=18083 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18085/task/18089/stat : 18089 (java) S 18083 18083 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417960251 28904845312 10241 33554432000 4194304 4196468 140726032315760 139872309123344 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18090] ppid=18083 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18085/task/18090/stat : 18090 (java) S 18083 18083 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417960251 28904845312 10241 33554432000 4194304 4196468 140726032315760 139872308070800 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18091] ppid=18083 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18085/task/18091/stat : 18091 (java) S 18083 18083 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417960251 28904845312 10241 33554432000 4194304 4196468 140726032315760 139872307018768 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18092] ppid=18083 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/18085/task/18092/stat : 18092 (java) S 18083 18083 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417960251 28904845312 10241 33554432000 4194304 4196468 140726032315760 139872305966224 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18093] ppid=18083 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18085/task/18093/stat : 18093 (java) S 18083 18083 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417960251 28904845312 10241 33554432000 4194304 4196468 140726032315760 139872304913168 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18094] ppid=18083 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18085/task/18094/stat : 18094 (java) S 18083 18083 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417960251 28904845312 10241 33554432000 4194304 4196468 140726032315760 139872303860624 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18095] ppid=18083 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18085/task/18095/stat : 18095 (java) S 18083 18083 16408 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417960253 28904845312 10241 33554432000 4194304 4196468 140726032315760 139871156865264 139872760007298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18096] ppid=18083 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18085/task/18096/stat : 18096 (java) S 18083 18083 16408 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417960254 28904845312 10241 33554432000 4194304 4196468 140726032315760 139871155811488 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18097] ppid=18083 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18085/task/18097/stat : 18097 (java) S 18083 18083 16408 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417960254 28904845312 10241 33554432000 4194304 4196468 140726032315760 139871154758384 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18098] ppid=18083 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18085/task/18098/stat : 18098 (java) S 18083 18083 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417960256 28904845312 10241 33554432000 4194304 4196468 140726032315760 139871153706960 139872760014747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18099] ppid=18083 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18085/task/18099/stat : 18099 (java) S 18083 18083 16408 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 417960256 28904845312 10241 33554432000 4194304 4196468 140726032315760 139871152655088 139872760007298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18100] ppid=18083 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/18085/task/18100/stat : 18100 (java) S 18083 18083 16408 0 -1 1077944384 258 0 0 0 2 0 0 0 20 0 20 0 417960256 28904845312 10241 33554432000 4194304 4196468 140726032315760 139871151602544 139872760007298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18101] ppid=18083 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/18085/task/18101/stat : 18101 (java) S 18083 18083 16408 0 -1 1077944384 212 0 0 0 2 0 0 0 20 0 20 0 417960256 28904845312 10241 33554432000 4194304 4196468 140726032315760 139871150549488 139872760007298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18102] ppid=18083 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7 /proc/18085/task/18102/stat : 18102 (java) S 18083 18083 16408 0 -1 1077944384 788 0 0 0 7 0 0 0 20 0 20 0 417960256 28904845312 10241 33554432000 4194304 4196468 140726032315760 139871149496944 139872760007298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18103] ppid=18083 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18085/task/18103/stat : 18103 (java) S 18083 18083 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417960256 28904845312 10241 33554432000 4194304 4196468 140726032315760 139871148444128 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18104] ppid=18083 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/18085/task/18104/stat : 18104 (java) S 18083 18083 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417960257 28904845312 10241 33554432000 4194304 4196468 140726032315760 139871147391664 139872760007298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42420 KiB [startup+0.309438 s]* /proc/loadavg: 7.38 8.07 7.78 3/211 18104 /proc/meminfo: memFree=28736116/32770624 swapFree=66959224/67108860 [pid=18083] ppid=18080 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18083/stat : 18083 (xcsp3-exec) S 18080 18083 16408 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417960250 115843072 364 33554432000 4194304 5098028 140722429265600 140722429263704 140245442249340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10285056 140722429272952 140722429273193 140722429273193 140722429276106 0 /proc/18083/statm: 28282 364 305 221 0 87 0 [pid=18085] ppid=18083 vsize=28231644 memory=50116 CPUtime=0.53 cores=0-7 /proc/18085/stat : 18085 (java) S 18083 18083 16408 0 -1 1077944320 10806 0 0 0 48 5 0 0 20 0 20 0 417960250 28909203456 12529 33554432000 4194304 4196468 140726032315760 140726032298304 139872759996151 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 /proc/18085/statm: 7057911 12529 3367 1 0 7019032 0 [pid=18085/tid=18086] ppid=18083 vsize=28231644 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/18085/task/18086/stat : 18086 (java) R 18083 18083 16408 0 -1 4202560 7747 0 0 0 26 3 0 0 20 0 20 0 417960251 28909203456 12529 33554432000 4194304 4196468 140726032315760 139872764226800 139872744076638 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18087] ppid=18083 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18085/task/18087/stat : 18087 (java) S 18083 18083 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417960251 28909203456 12529 33554432000 4194304 4196468 140726032315760 139872725277200 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18088] ppid=18083 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18085/task/18088/stat : 18088 (java) S 18083 18083 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417960251 28909203456 12529 33554432000 4194304 4196468 140726032315760 139872310176400 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18089] ppid=18083 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18085/task/18089/stat : 18089 (java) S 18083 18083 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417960251 28909203456 12529 33554432000 4194304 4196468 140726032315760 139872309123344 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18090] ppid=18083 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18085/task/18090/stat : 18090 (java) S 18083 18083 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417960251 28909203456 12529 33554432000 4194304 4196468 140726032315760 139872308070800 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18091] ppid=18083 vsize=28231644 memory=2244 CPUtime=0 cores=0-7 /proc/18085/task/18091/stat : 18091 (java) S 18083 18083 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417960251 28909203456 12529 33554432000 4194304 4196468 140726032315760 139872307018768 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18092] ppid=18083 vsize=28231644 memory=140002646389679 CPUtime=0 cores=0-7 /proc/18085/task/18092/stat : 18092 (java) S 18083 18083 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417960251 28909203456 12529 33554432000 4194304 4196468 140726032315760 139872305966224 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18093] ppid=18083 vsize=28231644 memory=140002646391984 CPUtime=0 cores=0-7 /proc/18085/task/18093/stat : 18093 (java) S 18083 18083 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417960251 28909203456 12529 33554432000 4194304 4196468 140726032315760 139872304913168 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18094] ppid=18083 vsize=28231644 memory=140002646394288 CPUtime=0 cores=0-7 /proc/18085/task/18094/stat : 18094 (java) S 18083 18083 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417960251 28909203456 12529 33554432000 4194304 4196468 140726032315760 139872303860624 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18095] ppid=18083 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18085/task/18095/stat : 18095 (java) S 18083 18083 16408 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417960253 28909203456 12529 33554432000 4194304 4196468 140726032315760 139871156865264 139872760007298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18096] ppid=18083 vsize=28231644 memory=280005292795536 CPUtime=0 cores=0-7 /proc/18085/task/18096/stat : 18096 (java) S 18083 18083 16408 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417960254 28909203456 12529 33554432000 4194304 4196468 140726032315760 139871155811488 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18097] ppid=18083 vsize=28231644 memory=280005292802448 CPUtime=0 cores=0-7 /proc/18085/task/18097/stat : 18097 (java) S 18083 18083 16408 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417960254 28909203456 12529 33554432000 4194304 4196468 140726032315760 139871154758384 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18098] ppid=18083 vsize=28231644 memory=280005292743728 CPUtime=0 cores=0-7 /proc/18085/task/18098/stat : 18098 (java) S 18083 18083 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417960256 28909203456 12529 33554432000 4194304 4196468 140726032315760 139871153706960 139872760014747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18099] ppid=18083 vsize=28231644 memory=280005292816272 CPUtime=0.02 cores=0-7 /proc/18085/task/18099/stat : 18099 (java) R 18083 18083 16408 0 -1 4202560 429 0 0 0 2 0 0 0 20 0 20 0 417960256 28909203456 12529 33554432000 4194304 4196468 140726032315760 139871152646544 139872740696448 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18100] ppid=18083 vsize=28231644 memory=280005292823184 CPUtime=0.03 cores=0-7 /proc/18085/task/18100/stat : 18100 (java) S 18083 18083 16408 0 -1 1077944384 269 0 0 0 3 0 0 0 20 0 20 0 417960256 28909203456 12529 33554432000 4194304 4196468 140726032315760 139871151602544 139872760007298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18101] ppid=18083 vsize=28231644 memory=280005292820880 CPUtime=0.02 cores=0-7 /proc/18085/task/18101/stat : 18101 (java) S 18083 18083 16408 0 -1 1077944384 212 0 0 0 2 0 0 0 20 0 20 0 417960256 28909203456 12529 33554432000 4194304 4196468 140726032315760 139871150549488 139872760007298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18102] ppid=18083 vsize=28231644 memory=280005292837040 CPUtime=0.12 cores=0-7 /proc/18085/task/18102/stat : 18102 (java) S 18083 18083 16408 0 -1 1077944384 856 0 0 0 12 0 0 0 20 0 20 0 417960256 28909203456 12529 33554432000 4194304 4196468 140726032315760 139871149496944 139872760007298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18103] ppid=18083 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18085/task/18103/stat : 18103 (java) S 18083 18083 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417960256 28909203456 12529 33554432000 4194304 4196468 140726032315760 139871148444128 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18104] ppid=18083 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/18085/task/18104/stat : 18104 (java) S 18083 18083 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417960257 28909203456 12529 33554432000 4194304 4196468 140726032315760 139871147391664 139872760007298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51572 KiB [startup+0.700938 s] /proc/loadavg: 7.38 8.07 7.78 5/211 18104 /proc/meminfo: memFree=28702240/32770624 swapFree=66959224/67108860 [pid=18083] ppid=18080 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18083/stat : 18083 (xcsp3-exec) S 18080 18083 16408 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417960250 115843072 364 33554432000 4194304 5098028 140722429265600 140722429263704 140245442249340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10285056 140722429272952 140722429273193 140722429273193 140722429276106 0 /proc/18083/statm: 28282 364 305 221 0 87 0 [pid=18085] ppid=18083 vsize=28231720 memory=195460 CPUtime=1.82 cores=0-7 /proc/18085/stat : 18085 (java) S 18083 18083 16408 0 -1 1077944320 14592 0 0 0 174 8 0 0 20 0 20 0 417960250 28909281280 48865 33554432000 4194304 4196468 140726032315760 140726032298304 139872759996151 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 /proc/18085/statm: 7057930 48865 3454 1 0 7019032 0 [pid=18085/tid=18086] ppid=18083 vsize=28231720 memory=280005293131904 CPUtime=0.66 cores=0-7 /proc/18085/task/18086/stat : 18086 (java) R 18083 18083 16408 0 -1 4202560 8381 0 0 0 61 5 0 0 20 0 20 0 417960251 28909281280 48865 33554432000 4194304 4196468 140726032315760 139872764234144 139872399528152 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18087] ppid=18083 vsize=28231720 memory=1436 CPUtime=0 cores=0-7 /proc/18085/task/18087/stat : 18087 (java) S 18083 18083 16408 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 417960251 28909281280 48865 33554432000 4194304 4196468 140726032315760 139872725277200 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18088] ppid=18083 vsize=28231720 memory=580 CPUtime=0 cores=0-7 /proc/18085/task/18088/stat : 18088 (java) S 18083 18083 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417960251 28909281280 48865 33554432000 4194304 4196468 140726032315760 139872310176400 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18089] ppid=18083 vsize=28231720 memory=1720 CPUtime=0 cores=0-7 /proc/18085/task/18089/stat : 18089 (java) S 18083 18083 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417960251 28909281280 48865 33554432000 4194304 4196468 140726032315760 139872309123344 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 ################ # More data... # ################ [pid=18085/tid=18102] ppid=18083 vsize=28768328 memory=1993208 CPUtime=1.03 cores=0-7 /proc/18085/task/18102/stat : 18102 (java) S 18083 18083 16408 0 -1 1077944384 10374 0 0 0 100 3 0 0 20 0 28 0 417960256 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871149496944 139872760007298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18103] ppid=18083 vsize=28768328 memory=-7019007802211091872 CPUtime=0 cores=0-7 /proc/18085/task/18103/stat : 18103 (java) S 18083 18083 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417960256 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871148444128 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18104] ppid=18083 vsize=28768328 memory=-7022074515825631275 CPUtime=0.07 cores=0-7 /proc/18085/task/18104/stat : 18104 (java) S 18083 18083 16408 0 -1 1077944384 830 0 0 0 0 7 0 0 20 0 28 0 417960257 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871147391664 139872760007298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18105] ppid=18083 vsize=28768328 memory=-7751062316387021378 CPUtime=165.19 cores=0-7 /proc/18085/task/18105/stat : 18105 (java) R 18083 18083 16408 0 -1 4202560 1276 0 0 0 16518 1 0 0 20 0 28 0 417960724 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871138179768 139872402408844 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18106] ppid=18083 vsize=28768328 memory=6944656592455360569 CPUtime=165.39 cores=0-7 /proc/18085/task/18106/stat : 18106 (java) R 18083 18083 16408 0 -1 4202560 1265 0 0 0 16537 2 0 0 20 0 28 0 417960724 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871137128144 139872402139344 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18107] ppid=18083 vsize=28768328 memory=79851629316842 CPUtime=164.26 cores=0-7 /proc/18085/task/18107/stat : 18107 (java) R 18083 18083 16408 0 -1 4202560 25257 0 0 0 16329 97 0 0 20 0 28 0 417960724 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871136076296 139872402408980 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18108] ppid=18083 vsize=28768328 memory=280005293843488 CPUtime=165.32 cores=0-7 /proc/18085/task/18108/stat : 18108 (java) R 18083 18083 16408 0 -1 4202560 2810 0 0 0 16527 5 0 0 20 0 28 0 417960724 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871135023800 139872402139427 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18109] ppid=18083 vsize=28768328 memory=7595991917701325929 CPUtime=164.56 cores=0-7 /proc/18085/task/18109/stat : 18109 (java) R 18083 18083 16408 0 -1 4202560 2464 0 0 0 16448 8 0 0 20 0 28 0 417960724 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871133970760 139872402397552 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18110] ppid=18083 vsize=28768328 memory=0 CPUtime=164.97 cores=0-7 /proc/18085/task/18110/stat : 18110 (java) R 18083 18083 16408 0 -1 4202560 1198 0 0 0 16495 2 0 0 20 0 28 0 417960724 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871132918216 139872402527262 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18111] ppid=18083 vsize=28768328 memory=0 CPUtime=164.68 cores=0-7 /proc/18085/task/18111/stat : 18111 (java) R 18083 18083 16408 0 -1 4202560 4185 0 0 0 16456 12 0 0 20 0 28 0 417960724 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871131867352 139872402408912 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18112] ppid=18083 vsize=28768328 memory=0 CPUtime=164.6 cores=0-7 /proc/18085/task/18112/stat : 18112 (java) R 18083 18083 16408 0 -1 4202560 3204 0 0 0 16450 10 0 0 20 0 28 0 417960724 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871130812600 139872402408980 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 Current children cumulated CPU time: 1339.31 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 3834904 KiB [startup+171.802 s] /proc/loadavg: 7.97 8.04 7.81 9/219 18123 /proc/meminfo: memFree=24946076/32770624 swapFree=66959224/67108860 [pid=18083] ppid=18080 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18083/stat : 18083 (xcsp3-exec) S 18080 18083 16408 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417960250 115843072 364 33554432000 4194304 5098028 140722429265600 140722429263704 140245442249340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10285056 140722429272952 140722429273193 140722429273193 140722429276106 0 /proc/18083/statm: 28282 364 305 221 0 87 0 [pid=18085] ppid=18083 vsize=28768328 memory=3833448 CPUtime=1340.91 cores=0-7 /proc/18085/stat : 18085 (java) S 18083 18083 16408 0 -1 1077944320 130713 0 0 0 133668 423 0 0 20 0 28 0 417960250 29458767872 958362 33554432000 4194304 4196468 140726032315760 140726032298304 139872759996151 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 /proc/18085/statm: 7192082 958362 3526 1 0 7153184 0 [pid=18085/tid=18086] ppid=18083 vsize=28768328 memory=14004 CPUtime=4.23 cores=0-7 /proc/18085/task/18086/stat : 18086 (java) S 18083 18083 16408 0 -1 1077944384 10557 0 0 0 402 21 0 0 20 0 28 0 417960251 29458767872 958362 33554432000 4194304 4196468 140726032315760 139872764236928 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18087] ppid=18083 vsize=28768328 memory=0 CPUtime=1 cores=0-7 /proc/18085/task/18087/stat : 18087 (java) S 18083 18083 16408 0 -1 1077944384 1461 0 0 0 71 29 0 0 20 0 28 0 417960251 29458767872 958362 33554432000 4194304 4196468 140726032315760 139872725277200 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18088] ppid=18083 vsize=28768328 memory=0 CPUtime=0.98 cores=0-7 /proc/18085/task/18088/stat : 18088 (java) S 18083 18083 16408 0 -1 1077944384 2656 0 0 0 68 30 0 0 20 0 28 0 417960251 29458767872 958362 33554432000 4194304 4196468 140726032315760 139872310176400 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18089] ppid=18083 vsize=28768328 memory=0 CPUtime=0.99 cores=0-7 /proc/18085/task/18089/stat : 18089 (java) S 18083 18083 16408 0 -1 1077944384 793 0 0 0 68 31 0 0 20 0 28 0 417960251 29458767872 958362 33554432000 4194304 4196468 140726032315760 139872309123344 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18090] ppid=18083 vsize=28768328 memory=0 CPUtime=0.98 cores=0-7 /proc/18085/task/18090/stat : 18090 (java) S 18083 18083 16408 0 -1 1077944384 930 0 0 0 69 29 0 0 20 0 28 0 417960251 29458767872 958362 33554432000 4194304 4196468 140726032315760 139872308070800 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18091] ppid=18083 vsize=28768328 memory=2241 CPUtime=1 cores=0-7 /proc/18085/task/18091/stat : 18091 (java) S 18083 18083 16408 0 -1 1077944384 1138 0 0 0 71 29 0 0 20 0 28 0 417960251 29458767872 958362 33554432000 4194304 4196468 140726032315760 139872307018768 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18092] ppid=18083 vsize=28768328 memory=2244 CPUtime=1 cores=0-7 /proc/18085/task/18092/stat : 18092 (java) S 18083 18083 16408 0 -1 1077944384 725 0 0 0 70 30 0 0 20 0 28 0 417960251 29458767872 958362 33554432000 4194304 4196468 140726032315760 139872305966224 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18093] ppid=18083 vsize=28768328 memory=0 CPUtime=1 cores=0-7 /proc/18085/task/18093/stat : 18093 (java) S 18083 18083 16408 0 -1 1077944384 2057 0 0 0 69 31 0 0 20 0 28 0 417960251 29458767872 958362 33554432000 4194304 4196468 140726032315760 139872304913168 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18094] ppid=18083 vsize=28768328 memory=0 CPUtime=0.99 cores=0-7 /proc/18085/task/18094/stat : 18094 (java) S 18083 18083 16408 0 -1 1077944384 997 0 0 0 71 28 0 0 20 0 28 0 417960251 29458767872 958362 33554432000 4194304 4196468 140726032315760 139872303860624 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18095] ppid=18083 vsize=28768328 memory=140002646322104 CPUtime=0.12 cores=0-7 /proc/18085/task/18095/stat : 18095 (java) S 18083 18083 16408 0 -1 1077944384 6980 0 0 0 11 1 0 0 20 0 28 0 417960253 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871156865264 139872760007298 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18096] ppid=18083 vsize=28768328 memory=1984 CPUtime=0 cores=0-7 /proc/18085/task/18096/stat : 18096 (java) S 18083 18083 16408 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 417960254 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871155811552 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18097] ppid=18083 vsize=28768328 memory=2580 CPUtime=0 cores=0-7 /proc/18085/task/18097/stat : 18097 (java) S 18083 18083 16408 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 417960254 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871154758400 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18098] ppid=18083 vsize=28768328 memory=1456 CPUtime=0 cores=0-7 /proc/18085/task/18098/stat : 18098 (java) S 18083 18083 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 417960256 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871153706960 139872760014747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18099] ppid=18083 vsize=28768328 memory=1660 CPUtime=2.21 cores=0-7 /proc/18085/task/18099/stat : 18099 (java) S 18083 18083 16408 0 -1 1077944384 15515 0 0 0 217 4 0 0 20 0 28 0 417960256 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871152655088 139872760007298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18100] ppid=18083 vsize=28768328 memory=40732 CPUtime=2.46 cores=0-7 /proc/18085/task/18100/stat : 18100 (java) S 18083 18083 16408 0 -1 1077944384 15528 0 0 0 242 4 0 0 20 0 28 0 417960256 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871151602544 139872760007298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18101] ppid=18083 vsize=28768328 memory=1456 CPUtime=2.03 cores=0-7 /proc/18085/task/18101/stat : 18101 (java) S 18083 18083 16408 0 -1 1077944384 17140 0 0 0 198 5 0 0 20 0 28 0 417960256 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871150549488 139872760007298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18102] ppid=18083 vsize=28768328 memory=3833448 CPUtime=1.03 cores=0-7 /proc/18085/task/18102/stat : 18102 (java) S 18083 18083 16408 0 -1 1077944384 10374 0 0 0 100 3 0 0 20 0 28 0 417960256 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871149496944 139872760007298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18103] ppid=18083 vsize=28768328 memory=40732 CPUtime=0 cores=0-7 /proc/18085/task/18103/stat : 18103 (java) S 18083 18083 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417960256 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871148444128 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18104] ppid=18083 vsize=28768328 memory=988 CPUtime=0.07 cores=0-7 /proc/18085/task/18104/stat : 18104 (java) S 18083 18083 16408 0 -1 1077944384 830 0 0 0 0 7 0 0 20 0 28 0 417960257 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871147391664 139872760007298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18105] ppid=18083 vsize=28768328 memory=2008 CPUtime=165.39 cores=0-7 /proc/18085/task/18105/stat : 18105 (java) R 18083 18083 16408 0 -1 4202560 1276 0 0 0 16538 1 0 0 20 0 28 0 417960724 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871138179768 139872402508956 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18106] ppid=18083 vsize=28768328 memory=1436 CPUtime=165.59 cores=0-7 /proc/18085/task/18106/stat : 18106 (java) R 18083 18083 16408 0 -1 4202560 1265 0 0 0 16557 2 0 0 20 0 28 0 417960724 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871137128144 139872402526958 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18107] ppid=18083 vsize=28768328 memory=0 CPUtime=164.46 cores=0-7 /proc/18085/task/18107/stat : 18107 (java) R 18083 18083 16408 0 -1 4202560 25261 0 0 0 16349 97 0 0 20 0 28 0 417960724 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871136076296 139872405511186 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18108] ppid=18083 vsize=28768328 memory=7812726576340533336 CPUtime=165.52 cores=0-7 /proc/18085/task/18108/stat : 18108 (java) R 18083 18083 16408 0 -1 4202560 2810 0 0 0 16547 5 0 0 20 0 28 0 417960724 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871135023800 139872402380210 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18109] ppid=18083 vsize=28768328 memory=1966850 CPUtime=164.76 cores=0-7 /proc/18085/task/18109/stat : 18109 (java) R 18083 18083 16408 0 -1 4202560 2465 0 0 0 16468 8 0 0 20 0 28 0 417960724 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871133970760 139872402408785 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18110] ppid=18083 vsize=28768328 memory=288230621803970871 CPUtime=165.17 cores=0-7 /proc/18085/task/18110/stat : 18110 (java) R 18083 18083 16408 0 -1 4202560 1198 0 0 0 16515 2 0 0 20 0 28 0 417960724 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871132918216 139872402139295 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18111] ppid=18083 vsize=28768328 memory=16104758104557987 CPUtime=164.88 cores=0-7 /proc/18085/task/18111/stat : 18111 (java) R 18083 18083 16408 0 -1 4202560 4186 0 0 0 16476 12 0 0 20 0 28 0 417960724 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871131867352 139872402409246 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18112] ppid=18083 vsize=28768328 memory=988 CPUtime=164.8 cores=0-7 /proc/18085/task/18112/stat : 18112 (java) R 18083 18083 16408 0 -1 4202560 3204 0 0 0 16470 10 0 0 20 0 28 0 417960724 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871130812600 139872402397520 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 Current children cumulated CPU time: 1340.91 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 3834904 KiB [startup+171.902 s] /proc/loadavg: 7.97 8.04 7.81 9/219 18123 /proc/meminfo: memFree=24946076/32770624 swapFree=66959224/67108860 [pid=18083] ppid=18080 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18083/stat : 18083 (xcsp3-exec) S 18080 18083 16408 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417960250 115843072 364 33554432000 4194304 5098028 140722429265600 140722429263704 140245442249340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10285056 140722429272952 140722429273193 140722429273193 140722429276106 0 /proc/18083/statm: 28282 364 305 221 0 87 0 [pid=18085] ppid=18083 vsize=28768328 memory=3833448 CPUtime=1341.71 cores=0-7 /proc/18085/stat : 18085 (java) S 18083 18083 16408 0 -1 1077944320 130716 0 0 0 133748 423 0 0 20 0 28 0 417960250 29458767872 958362 33554432000 4194304 4196468 140726032315760 140726032298304 139872759996151 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 /proc/18085/statm: 7192082 958362 3526 1 0 7153184 0 [pid=18085/tid=18086] ppid=18083 vsize=28768328 memory=3833448 CPUtime=4.23 cores=0-7 /proc/18085/task/18086/stat : 18086 (java) S 18083 18083 16408 0 -1 1077944384 10557 0 0 0 402 21 0 0 20 0 28 0 417960251 29458767872 958362 33554432000 4194304 4196468 140726032315760 139872764236928 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18087] ppid=18083 vsize=28768328 memory=3833448 CPUtime=1 cores=0-7 /proc/18085/task/18087/stat : 18087 (java) S 18083 18083 16408 0 -1 1077944384 1461 0 0 0 71 29 0 0 20 0 28 0 417960251 29458767872 958362 33554432000 4194304 4196468 140726032315760 139872725277200 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18088] ppid=18083 vsize=28768328 memory=3833448 CPUtime=0.98 cores=0-7 /proc/18085/task/18088/stat : 18088 (java) S 18083 18083 16408 0 -1 1077944384 2656 0 0 0 68 30 0 0 20 0 28 0 417960251 29458767872 958362 33554432000 4194304 4196468 140726032315760 139872310176400 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18089] ppid=18083 vsize=28768328 memory=3833448 CPUtime=0.99 cores=0-7 /proc/18085/task/18089/stat : 18089 (java) S 18083 18083 16408 0 -1 1077944384 793 0 0 0 68 31 0 0 20 0 28 0 417960251 29458767872 958362 33554432000 4194304 4196468 140726032315760 139872309123344 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18090] ppid=18083 vsize=28768328 memory=3833448 CPUtime=0.98 cores=0-7 /proc/18085/task/18090/stat : 18090 (java) S 18083 18083 16408 0 -1 1077944384 930 0 0 0 69 29 0 0 20 0 28 0 417960251 29458767872 958362 33554432000 4194304 4196468 140726032315760 139872308070800 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18091] ppid=18083 vsize=28768328 memory=1456 CPUtime=1 cores=0-7 /proc/18085/task/18091/stat : 18091 (java) S 18083 18083 16408 0 -1 1077944384 1138 0 0 0 71 29 0 0 20 0 28 0 417960251 29458767872 958362 33554432000 4194304 4196468 140726032315760 139872307018768 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18092] ppid=18083 vsize=28768328 memory=3833448 CPUtime=1 cores=0-7 /proc/18085/task/18092/stat : 18092 (java) S 18083 18083 16408 0 -1 1077944384 725 0 0 0 70 30 0 0 20 0 28 0 417960251 29458767872 958362 33554432000 4194304 4196468 140726032315760 139872305966224 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18093] ppid=18083 vsize=28768328 memory=280005292589296 CPUtime=1 cores=0-7 /proc/18085/task/18093/stat : 18093 (java) S 18083 18083 16408 0 -1 1077944384 2057 0 0 0 69 31 0 0 20 0 28 0 417960251 29458767872 958362 33554432000 4194304 4196468 140726032315760 139872304913168 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18094] ppid=18083 vsize=28768328 memory=3833448 CPUtime=0.99 cores=0-7 /proc/18085/task/18094/stat : 18094 (java) S 18083 18083 16408 0 -1 1077944384 997 0 0 0 71 28 0 0 20 0 28 0 417960251 29458767872 958362 33554432000 4194304 4196468 140726032315760 139872303860624 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18095] ppid=18083 vsize=28768328 memory=928 CPUtime=0.12 cores=0-7 /proc/18085/task/18095/stat : 18095 (java) S 18083 18083 16408 0 -1 1077944384 6980 0 0 0 11 1 0 0 20 0 28 0 417960253 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871156865264 139872760007298 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18096] ppid=18083 vsize=28768328 memory=3833448 CPUtime=0 cores=0-7 /proc/18085/task/18096/stat : 18096 (java) S 18083 18083 16408 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 417960254 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871155811552 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18097] ppid=18083 vsize=28768328 memory=1660 CPUtime=0 cores=0-7 /proc/18085/task/18097/stat : 18097 (java) S 18083 18083 16408 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 417960254 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871154758400 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18098] ppid=18083 vsize=28768328 memory=3833448 CPUtime=0 cores=0-7 /proc/18085/task/18098/stat : 18098 (java) S 18083 18083 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 417960256 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871153706960 139872760014747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18099] ppid=18083 vsize=28768328 memory=2867176 CPUtime=2.21 cores=0-7 /proc/18085/task/18099/stat : 18099 (java) S 18083 18083 16408 0 -1 1077944384 15515 0 0 0 217 4 0 0 20 0 28 0 417960256 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871152655088 139872760007298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18100] ppid=18083 vsize=28768328 memory=3833448 CPUtime=2.46 cores=0-7 /proc/18085/task/18100/stat : 18100 (java) S 18083 18083 16408 0 -1 1077944384 15528 0 0 0 242 4 0 0 20 0 28 0 417960256 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871151602544 139872760007298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18101] ppid=18083 vsize=28768328 memory=1984 CPUtime=2.03 cores=0-7 /proc/18085/task/18101/stat : 18101 (java) S 18083 18083 16408 0 -1 1077944384 17140 0 0 0 198 5 0 0 20 0 28 0 417960256 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871150549488 139872760007298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18102] ppid=18083 vsize=28768328 memory=280005294084064 CPUtime=1.03 cores=0-7 /proc/18085/task/18102/stat : 18102 (java) S 18083 18083 16408 0 -1 1077944384 10374 0 0 0 100 3 0 0 20 0 28 0 417960256 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871149496944 139872760007298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18103] ppid=18083 vsize=28768328 memory=7883944108235712103 CPUtime=0 cores=0-7 /proc/18085/task/18103/stat : 18103 (java) S 18083 18083 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417960256 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871148444128 139872760006357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18104] ppid=18083 vsize=28768328 memory=1456 CPUtime=0.07 cores=0-7 /proc/18085/task/18104/stat : 18104 (java) S 18083 18083 16408 0 -1 1077944384 830 0 0 0 0 7 0 0 20 0 28 0 417960257 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871147391664 139872760007298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18105] ppid=18083 vsize=28768328 memory=1456 CPUtime=165.49 cores=0-7 /proc/18085/task/18105/stat : 18105 (java) R 18083 18083 16408 0 -1 4202560 1276 0 0 0 16548 1 0 0 20 0 28 0 417960724 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871138179768 139872402139295 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18106] ppid=18083 vsize=28768328 memory=3833448 CPUtime=165.69 cores=0-7 /proc/18085/task/18106/stat : 18106 (java) R 18083 18083 16408 0 -1 4202560 1265 0 0 0 16567 2 0 0 20 0 28 0 417960724 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871137128144 139872406324736 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18107] ppid=18083 vsize=28768328 memory=3620 CPUtime=164.56 cores=0-7 /proc/18085/task/18107/stat : 18107 (java) R 18083 18083 16408 0 -1 4202560 25264 0 0 0 16359 97 0 0 20 0 28 0 417960724 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871136076296 139872404613987 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18108] ppid=18083 vsize=28768328 memory=1660 CPUtime=165.62 cores=0-7 /proc/18085/task/18108/stat : 18108 (java) R 18083 18083 16408 0 -1 4202560 2810 0 0 0 16557 5 0 0 20 0 28 0 417960724 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871135023800 139872402526937 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18109] ppid=18083 vsize=28768328 memory=1456 CPUtime=164.86 cores=0-7 /proc/18085/task/18109/stat : 18109 (java) R 18083 18083 16408 0 -1 4202560 2465 0 0 0 16478 8 0 0 20 0 28 0 417960724 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871133970760 139872402528449 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18110] ppid=18083 vsize=28768328 memory=1456 CPUtime=165.27 cores=0-7 /proc/18085/task/18110/stat : 18110 (java) R 18083 18083 16408 0 -1 4202560 1198 0 0 0 16525 2 0 0 20 0 28 0 417960724 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871132918216 139872402408980 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18111] ppid=18083 vsize=28768328 memory=3833448 CPUtime=164.98 cores=0-7 /proc/18085/task/18111/stat : 18111 (java) R 18083 18083 16408 0 -1 4202560 4186 0 0 0 16486 12 0 0 20 0 28 0 417960724 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871131867352 139872402408844 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 [pid=18085/tid=18112] ppid=18083 vsize=28768328 memory=1456 CPUtime=164.9 cores=0-7 /proc/18085/task/18112/stat : 18112 (java) R 18083 18083 16408 0 -1 4202560 3204 0 0 0 16480 10 0 0 20 0 28 0 417960724 29458767872 958362 33554432000 4194304 4196468 140726032315760 139871130812600 139872402528557 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 17481728 140726032323562 140726032323734 140726032323734 140726032326607 0 Current children cumulated CPU time: 1341.71 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 3834904 KiB Child status: 0 Real time (s): 171.964 CPU time (s): 1341.94 CPU user time (s): 1337.68 CPU system time (s): 4.2639 CPU usage (%): 780.361 Max. virtual memory (cumulated for all children) (KiB): 28881456 Max. memory (cumulated for all children) (KiB): 3834904 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1337.68 system time used= 4.2639 maximum resident set size= 3833644 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 132445 page faults= 0 swaps= 0 block input operations= 0 block output operations= 344 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9825 involuntary context switches= 16526 # summary of solver processes directly reported to runsolver: # pid: 18083 # total CPU time (s): 1341.94 # total CPU user time (s): 1337.68 # total CPU system time (s): 4.2639 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.59503 second user time and 1.97465 second system time The end
Begin job on node124 at 2019-09-14 02:16:01 IDJOB=4393498 IDBENCH=121491 IDSOLVER=2841 FILE ID=node124/4393498-1568420201 RUNJOBID= node124-1568416728-16435 PBS_JOBID= 21702259 Free space on /tmp= 61808 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/Random/Random-RB-3-24-24/rand-3-24-24-76-632-16.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 /tmp/evaluation-result-4393498-1568420201/watcher-4393498-1568420201 -o /tmp/evaluation-result-4393498-1568420201/solver-4393498-1568420201 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1568416728-16435 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1426430 HOME/instance-4393498-1568420201.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 15519537de8ee4184d6d10278c400490 RANDOM SEED=1426430 node124.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.47 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.47 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.47 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.47 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: 28768400 kB MemAvailable: 31846028 kB Buffers: 188704 kB Cached: 3169328 kB SwapCached: 45888 kB Active: 990496 kB Inactive: 2421660 kB Active(anon): 4884 kB Inactive(anon): 90104 kB Active(file): 985612 kB Inactive(file): 2331556 kB Unevictable: 106540 kB Mlocked: 106540 kB SwapTotal: 67108860 kB SwapFree: 66959224 kB Dirty: 28944 kB Writeback: 0 kB AnonPages: 207088 kB Mapped: 42896 kB Shmem: 32744 kB Slab: 182076 kB SReclaimable: 152592 kB SUnreclaim: 29484 kB KernelStack: 3872 kB PageTables: 5628 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498504 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 161792 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 61784 MiB End job on node124 at 2019-09-14 02:18:53