Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | UNSAT | 9.1672802 | 2.24088 |
Name | Rlfap/Rlfap-m1-scensMod/ Rlfap-scen-09-w1-f03.xml |
MD5SUM | 592eacf3e4c9123e6b0292f19fa9a16a |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.75089097 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 680 |
Number of constraints | 1138 |
Number of domains | 5 |
Minimum domain size | 6 |
Maximum domain size | 41 |
Distribution of domain sizes | [{"size":6,"count":2},{"size":22,"count":14},{"size":34,"count":336},{"size":41,"count":328}] |
Minimum variable degree | 1 |
Maximum variable degree | 12 |
Distribution of variable degrees | [{"degree":1,"count":92},{"degree":2,"count":143},{"degree":3,"count":160},{"degree":4,"count":139},{"degree":5,"count":75},{"degree":6,"count":38},{"degree":7,"count":15},{"degree":8,"count":12},{"degree":9,"count":4},{"degree":10,"count":1},{"degree":12,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":1138}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 1138 |
Distribution of constraint types | [{"type":"intension","count":1138}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271218-1502685617.xml" -tl '20160s' -p 8 -x 0 0.11/0.15 c [HOME/instance-4271218-1502685617.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.32/0.27 c parse instance... 6.38/1.89 c solve instance... 9.04/2.22 s UNSATISFIABLE
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 (14281 MiB free) memory of node 1: 16384 MiB (14163 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271218-1502685617/watcher-4271218-1502685617 -o /tmp/evaluation-result-4271218-1502685617/solver-4271218-1502685617 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502678505-22813 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 955478149 HOME/instance-4271218-1502685617.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=23763, runsolver pid=23760 [startup+0.100143 s]* /proc/loadavg: 8.27 7.80 7.50 2/199 23784 /proc/meminfo: memFree=29112552/32770624 swapFree=67108860/67108860 [pid=23763] ppid=23760 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/23763/stat : 23763 (xcsp3-exec) S 23760 23763 22786 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 101649748 9740288 346 33554432000 4194304 5098028 140728384480976 140728384479080 140000272589436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40366080 140728384484453 140728384484663 140728384484663 140728384487403 0 /proc/23763/statm: 2378 346 289 221 0 87 0 [pid=23765] ppid=23763 vsize=25999808 memory=26432 CPUtime=0.11 cores=0-7 /proc/23765/stat : 23765 (java) S 23763 23763 22786 0 -1 1077944320 5447 0 0 0 9 2 0 0 20 0 20 0 101649749 26623803392 6608 33554432000 4194304 4196468 140730908845984 140730908828528 140482601303799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 /proc/23765/statm: 6499952 6608 2893 1 0 6488269 0 [pid=23765/tid=23766] ppid=23763 vsize=25999808 memory=8185181755396759197 CPUtime=0.09 cores=0-7 /proc/23765/task/23766/stat : 23766 (java) R 23763 23763 22786 0 -1 4202560 3451 0 0 0 8 1 0 0 20 0 20 0 101649749 26623803392 6608 33554432000 4194304 4196468 140730908845984 140482605535792 140482224124183 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23767] ppid=23763 vsize=25999808 memory=732370250336504805 CPUtime=0 cores=0-7 /proc/23765/task/23767/stat : 23767 (java) S 23763 23763 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101649750 26623803392 6608 33554432000 4194304 4196468 140730908845984 140482553924112 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23768] ppid=23763 vsize=25999808 memory=140111999051392 CPUtime=0 cores=0-7 /proc/23765/task/23768/stat : 23768 (java) S 23763 23763 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101649750 26623803392 6608 33554432000 4194304 4196468 140730908845984 140482552871568 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23769] ppid=23763 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23769/stat : 23769 (java) S 23763 23763 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101649750 26623803392 6608 33554432000 4194304 4196468 140730908845984 140482551818512 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23770] ppid=23763 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23770/stat : 23770 (java) S 23763 23763 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101649750 26623803392 6608 33554432000 4194304 4196468 140730908845984 140482550765968 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23771] ppid=23763 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23771/stat : 23771 (java) S 23763 23763 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101649750 26623803392 6608 33554432000 4194304 4196468 140730908845984 140482549713936 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23772] ppid=23763 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/23765/task/23772/stat : 23772 (java) S 23763 23763 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101649750 26623803392 6608 33554432000 4194304 4196468 140730908845984 140482548661392 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23773] ppid=23763 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23773/stat : 23773 (java) S 23763 23763 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101649750 26623803392 6608 33554432000 4194304 4196468 140730908845984 140482547608336 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23774] ppid=23763 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23774/stat : 23774 (java) S 23763 23763 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101649750 26623803392 6608 33554432000 4194304 4196468 140730908845984 140482546555792 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23775] ppid=23763 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23775/stat : 23775 (java) S 23763 23763 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101649751 26623803392 6608 33554432000 4194304 4196468 140730908845984 140481343449328 140482601314946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23776] ppid=23763 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23776/stat : 23776 (java) S 23763 23763 22786 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101649752 26623803392 6608 33554432000 4194304 4196468 140730908845984 140481342395552 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23777] ppid=23763 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23777/stat : 23777 (java) S 23763 23763 22786 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101649752 26623803392 6608 33554432000 4194304 4196468 140730908845984 140481341342448 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23778] ppid=23763 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23778/stat : 23778 (java) S 23763 23763 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101649754 26623803392 6608 33554432000 4194304 4196468 140730908845984 140481340291024 140482601322395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23779] ppid=23763 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23779/stat : 23779 (java) S 23763 23763 22786 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 101649754 26623803392 6608 33554432000 4194304 4196468 140730908845984 140481339239152 140482601314946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23780] ppid=23763 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23780/stat : 23780 (java) S 23763 23763 22786 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 20 0 101649754 26623803392 6608 33554432000 4194304 4196468 140730908845984 140481338186608 140482601314946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23781] ppid=23763 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23781/stat : 23781 (java) S 23763 23763 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101649754 26623803392 6608 33554432000 4194304 4196468 140730908845984 140481337133552 140482601314946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23782] ppid=23763 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/23765/task/23782/stat : 23782 (java) R 23763 23763 22786 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 20 0 101649754 26623803392 6608 33554432000 4194304 4196468 140730908845984 140481336081008 140482585384286 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23783] ppid=23763 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23783/stat : 23783 (java) S 23763 23763 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101649755 26623803392 6608 33554432000 4194304 4196468 140730908845984 140481335028192 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23784] ppid=23763 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/23765/task/23784/stat : 23784 (java) S 23763 23763 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101649755 26623803392 6608 33554432000 4194304 4196468 140730908845984 140481266707120 140482601314946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27816 KiB [startup+0.209943 s]* /proc/loadavg: 8.27 7.80 7.50 4/199 23784 /proc/meminfo: memFree=29104160/32770624 swapFree=67108860/67108860 [pid=23763] ppid=23760 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/23763/stat : 23763 (xcsp3-exec) S 23760 23763 22786 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 101649748 9740288 346 33554432000 4194304 5098028 140728384480976 140728384479080 140000272589436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40366080 140728384484453 140728384484663 140728384484663 140728384487403 0 /proc/23763/statm: 2378 346 289 221 0 87 0 [pid=23765] ppid=23763 vsize=26004064 memory=38812 CPUtime=0.32 cores=0-7 /proc/23765/stat : 23765 (java) S 23763 23763 22786 0 -1 1077944320 8294 0 0 0 30 2 0 0 20 0 20 0 101649749 26628161536 9703 33554432000 4194304 4196468 140730908845984 140730908828528 140482601303799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 /proc/23765/statm: 6501016 9703 3069 1 0 6488269 0 [pid=23765/tid=23766] ppid=23763 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7 /proc/23765/task/23766/stat : 23766 (java) R 23763 23763 22786 0 -1 4202560 5374 0 0 0 17 2 0 0 20 0 20 0 101649749 26628161536 9703 33554432000 4194304 4196468 140730908845984 140482605524792 140482601325725 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23767] ppid=23763 vsize=26004064 memory=732370250336504805 CPUtime=0 cores=0-7 /proc/23765/task/23767/stat : 23767 (java) S 23763 23763 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101649750 26628161536 9703 33554432000 4194304 4196468 140730908845984 140482553924112 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23768] ppid=23763 vsize=26004064 memory=140111999051392 CPUtime=0 cores=0-7 /proc/23765/task/23768/stat : 23768 (java) S 23763 23763 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101649750 26628161536 9703 33554432000 4194304 4196468 140730908845984 140482552871568 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23769] ppid=23763 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23769/stat : 23769 (java) S 23763 23763 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101649750 26628161536 9703 33554432000 4194304 4196468 140730908845984 140482551818512 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23770] ppid=23763 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23770/stat : 23770 (java) S 23763 23763 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101649750 26628161536 9703 33554432000 4194304 4196468 140730908845984 140482550765968 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23771] ppid=23763 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23771/stat : 23771 (java) S 23763 23763 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101649750 26628161536 9703 33554432000 4194304 4196468 140730908845984 140482549713936 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23772] ppid=23763 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/23765/task/23772/stat : 23772 (java) S 23763 23763 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101649750 26628161536 9703 33554432000 4194304 4196468 140730908845984 140482548661392 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23773] ppid=23763 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23773/stat : 23773 (java) S 23763 23763 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101649750 26628161536 9703 33554432000 4194304 4196468 140730908845984 140482547608336 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23774] ppid=23763 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23774/stat : 23774 (java) S 23763 23763 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101649750 26628161536 9703 33554432000 4194304 4196468 140730908845984 140482546555792 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23775] ppid=23763 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23775/stat : 23775 (java) S 23763 23763 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101649751 26628161536 9703 33554432000 4194304 4196468 140730908845984 140481343449328 140482601314946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23776] ppid=23763 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23776/stat : 23776 (java) S 23763 23763 22786 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101649752 26628161536 9703 33554432000 4194304 4196468 140730908845984 140481342395552 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23777] ppid=23763 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23777/stat : 23777 (java) S 23763 23763 22786 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101649752 26628161536 9703 33554432000 4194304 4196468 140730908845984 140481341342448 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23778] ppid=23763 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23778/stat : 23778 (java) S 23763 23763 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101649754 26628161536 9703 33554432000 4194304 4196468 140730908845984 140481340291024 140482601322395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23779] ppid=23763 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/23765/task/23779/stat : 23779 (java) S 23763 23763 22786 0 -1 1077944384 519 0 0 0 1 0 0 0 20 0 20 0 101649754 26628161536 9703 33554432000 4194304 4196468 140730908845984 140481339239152 140482601314946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23780] ppid=23763 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/23765/task/23780/stat : 23780 (java) S 23763 23763 22786 0 -1 1077944384 278 0 0 0 2 0 0 0 20 0 20 0 101649754 26628161536 9703 33554432000 4194304 4196468 140730908845984 140481338186608 140482601314946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23781] ppid=23763 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/23765/task/23781/stat : 23781 (java) R 23763 23763 22786 0 -1 1077944384 88 0 0 0 1 0 0 0 20 0 20 0 101649754 26628161536 9703 33554432000 4194304 4196468 140730908845984 140481337133552 140482601314946 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23782] ppid=23763 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7 /proc/23765/task/23782/stat : 23782 (java) S 23763 23763 22786 0 -1 1077944384 723 0 0 0 7 0 0 0 20 0 20 0 101649754 26628161536 9703 33554432000 4194304 4196468 140730908845984 140481336081008 140482601314946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23783] ppid=23763 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23783/stat : 23783 (java) S 23763 23763 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101649755 26628161536 9703 33554432000 4194304 4196468 140730908845984 140481335028192 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23784] ppid=23763 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/23765/task/23784/stat : 23784 (java) S 23763 23763 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101649755 26628161536 9703 33554432000 4194304 4196468 140730908845984 140481266707120 140482601314946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40196 KiB [startup+0.309497 s]* /proc/loadavg: 8.27 7.80 7.50 5/199 23784 /proc/meminfo: memFree=29097716/32770624 swapFree=67108860/67108860 [pid=23763] ppid=23760 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/23763/stat : 23763 (xcsp3-exec) S 23760 23763 22786 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 101649748 9740288 346 33554432000 4194304 5098028 140728384480976 140728384479080 140000272589436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40366080 140728384484453 140728384484663 140728384484663 140728384487403 0 /proc/23763/statm: 2378 346 289 221 0 87 0 [pid=23765] ppid=23763 vsize=26004064 memory=43988 CPUtime=0.48 cores=0-7 /proc/23765/stat : 23765 (java) S 23763 23763 22786 0 -1 1077944320 9157 0 0 0 45 3 0 0 20 0 20 0 101649749 26628161536 10997 33554432000 4194304 4196468 140730908845984 140730908828528 140482601303799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 /proc/23765/statm: 6501016 10997 3100 1 0 6488269 0 [pid=23765/tid=23766] ppid=23763 vsize=26004064 memory=6791534058613427641 CPUtime=0.28 cores=0-7 /proc/23765/task/23766/stat : 23766 (java) R 23763 23763 22786 0 -1 4202560 6058 0 0 0 26 2 0 0 20 0 20 0 101649749 26628161536 10997 33554432000 4194304 4196468 140730908845984 140482605542352 140482223125473 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23767] ppid=23763 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23767/stat : 23767 (java) S 23763 23763 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101649750 26628161536 10997 33554432000 4194304 4196468 140730908845984 140482553924112 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23768] ppid=23763 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23768/stat : 23768 (java) S 23763 23763 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101649750 26628161536 10997 33554432000 4194304 4196468 140730908845984 140482552871568 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23769] ppid=23763 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23769/stat : 23769 (java) S 23763 23763 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101649750 26628161536 10997 33554432000 4194304 4196468 140730908845984 140482551818512 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23770] ppid=23763 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23770/stat : 23770 (java) S 23763 23763 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101649750 26628161536 10997 33554432000 4194304 4196468 140730908845984 140482550765968 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23771] ppid=23763 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/23765/task/23771/stat : 23771 (java) S 23763 23763 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101649750 26628161536 10997 33554432000 4194304 4196468 140730908845984 140482549713936 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23772] ppid=23763 vsize=26004064 memory=140111899620271 CPUtime=0 cores=0-7 /proc/23765/task/23772/stat : 23772 (java) S 23763 23763 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101649750 26628161536 10997 33554432000 4194304 4196468 140730908845984 140482548661392 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23773] ppid=23763 vsize=26004064 memory=140111899622576 CPUtime=0 cores=0-7 /proc/23765/task/23773/stat : 23773 (java) S 23763 23763 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101649750 26628161536 10997 33554432000 4194304 4196468 140730908845984 140482547608336 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23774] ppid=23763 vsize=26004064 memory=140111899624880 CPUtime=0 cores=0-7 /proc/23765/task/23774/stat : 23774 (java) S 23763 23763 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101649750 26628161536 10997 33554432000 4194304 4196468 140730908845984 140482546555792 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23775] ppid=23763 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23775/stat : 23775 (java) S 23763 23763 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101649751 26628161536 10997 33554432000 4194304 4196468 140730908845984 140481343449328 140482601314946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23776] ppid=23763 vsize=26004064 memory=280223799256720 CPUtime=0 cores=0-7 /proc/23765/task/23776/stat : 23776 (java) S 23763 23763 22786 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101649752 26628161536 10997 33554432000 4194304 4196468 140730908845984 140481342395552 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23777] ppid=23763 vsize=26004064 memory=280223799263632 CPUtime=0 cores=0-7 /proc/23765/task/23777/stat : 23777 (java) S 23763 23763 22786 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101649752 26628161536 10997 33554432000 4194304 4196468 140730908845984 140481341342448 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23778] ppid=23763 vsize=26004064 memory=280223799204912 CPUtime=0 cores=0-7 /proc/23765/task/23778/stat : 23778 (java) S 23763 23763 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101649754 26628161536 10997 33554432000 4194304 4196468 140730908845984 140481340291024 140482601322395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23779] ppid=23763 vsize=26004064 memory=280223799277456 CPUtime=0.02 cores=0-7 /proc/23765/task/23779/stat : 23779 (java) S 23763 23763 22786 0 -1 1077944384 598 0 0 0 2 0 0 0 20 0 20 0 101649754 26628161536 10997 33554432000 4194304 4196468 140730908845984 140481339239152 140482601314946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23780] ppid=23763 vsize=26004064 memory=280223799284368 CPUtime=0.03 cores=0-7 /proc/23765/task/23780/stat : 23780 (java) S 23763 23763 22786 0 -1 1077944384 287 0 0 0 3 0 0 0 20 0 20 0 101649754 26628161536 10997 33554432000 4194304 4196468 140730908845984 140481338186608 140482601314946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23781] ppid=23763 vsize=26004064 memory=280223799282064 CPUtime=0.01 cores=0-7 /proc/23765/task/23781/stat : 23781 (java) S 23763 23763 22786 0 -1 1077944384 88 0 0 0 1 0 0 0 20 0 20 0 101649754 26628161536 10997 33554432000 4194304 4196468 140730908845984 140481337133552 140482601314946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23782] ppid=23763 vsize=26004064 memory=280223799298224 CPUtime=0.12 cores=0-7 /proc/23765/task/23782/stat : 23782 (java) R 23763 23763 22786 0 -1 4202560 813 0 0 0 12 0 0 0 20 0 20 0 101649754 26628161536 10997 33554432000 4194304 4196468 140730908845984 140481336077376 140482579669524 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23783] ppid=23763 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23783/stat : 23783 (java) S 23763 23763 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101649755 26628161536 10997 33554432000 4194304 4196468 140730908845984 140481335028192 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23784] ppid=23763 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/23765/task/23784/stat : 23784 (java) S 23763 23763 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101649755 26628161536 10997 33554432000 4194304 4196468 140730908845984 140481266707120 140482601314946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 45372 KiB [startup+0.700963 s] /proc/loadavg: 8.27 7.80 7.50 6/199 23784 /proc/meminfo: memFree=29017008/32770624 swapFree=67108860/67108860 [pid=23763] ppid=23760 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/23763/stat : 23763 (xcsp3-exec) S 23760 23763 22786 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 101649748 9740288 346 33554432000 4194304 5098028 140728384480976 140728384479080 140000272589436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40366080 140728384484453 140728384484663 140728384484663 140728384487403 0 /proc/23763/statm: 2378 346 289 221 0 87 0 [pid=23765] ppid=23763 vsize=26006188 memory=197424 CPUtime=1.89 cores=0-7 /proc/23765/stat : 23765 (java) S 23763 23763 22786 0 -1 1077944320 15902 0 0 0 182 7 0 0 20 0 20 0 101649749 26630336512 49356 33554432000 4194304 4196468 140730908845984 140730908828528 140482601303799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 /proc/23765/statm: 6501547 49356 3220 1 0 6488781 0 [pid=23765/tid=23766] ppid=23763 vsize=26006188 memory=280223799593152 CPUtime=0.64 cores=0-7 /proc/23765/task/23766/stat : 23766 (java) R 23763 23763 22786 0 -1 4202560 6652 0 0 0 60 4 0 0 20 0 20 0 101649749 26630336512 49356 33554432000 4194304 4196468 140730908845984 140482605542240 140482227731647 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23767] ppid=23763 vsize=26006188 memory=1420 CPUtime=0 cores=0-7 /proc/23765/task/23767/stat : 23767 (java) S 23763 23763 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101649750 26630336512 49356 33554432000 4194304 4196468 140730908845984 140482553924112 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23768] ppid=23763 vsize=26006188 memory=11032 CPUtime=0 cores=0-7 /proc/23765/task/23768/stat : 23768 (java) S 23763 23763 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101649750 26630336512 49356 33554432000 4194304 4196468 140730908845984 140482552871568 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23769] ppid=23763 vsize=26006188 memory=1712 CPUtime=0 cores=0-7 /proc/23765/task/23769/stat : 23769 (java) S 23763 23763 22786 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 101649750 26630336512 49356 33554432000 4194304 4196468 140730908845984 140482551818512 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 ################ # More data... # ################ [pid=23765/tid=23774] ppid=23763 vsize=26006188 memory=1952 CPUtime=0.03 cores=0-7 /proc/23765/task/23774/stat : 23774 (java) S 23763 23763 22786 0 -1 1077944384 34 0 0 0 2 1 0 0 20 0 20 0 101649750 26630336512 132727 33554432000 4194304 4196468 140730908845984 140482546555792 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23775] ppid=23763 vsize=26006188 memory=8552 CPUtime=0 cores=0-7 /proc/23765/task/23775/stat : 23775 (java) S 23763 23763 22786 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 101649751 26630336512 132727 33554432000 4194304 4196468 140730908845984 140481343449328 140482601314946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23776] ppid=23763 vsize=26006188 memory=1224 CPUtime=0 cores=0-7 /proc/23765/task/23776/stat : 23776 (java) S 23763 23763 22786 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 101649752 26630336512 132727 33554432000 4194304 4196468 140730908845984 140481342395616 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23777] ppid=23763 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23777/stat : 23777 (java) S 23763 23763 22786 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 101649752 26630336512 132727 33554432000 4194304 4196468 140730908845984 140481341342464 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23778] ppid=23763 vsize=26006188 memory=2241 CPUtime=0 cores=0-7 /proc/23765/task/23778/stat : 23778 (java) S 23763 23763 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101649754 26630336512 132727 33554432000 4194304 4196468 140730908845984 140481340291024 140482601322395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23779] ppid=23763 vsize=26006188 memory=2244 CPUtime=0.99 cores=0-7 /proc/23765/task/23779/stat : 23779 (java) R 23763 23763 22786 0 -1 4202560 2642 0 0 0 98 1 0 0 20 0 20 0 101649754 26630336512 132727 33554432000 4194304 4196468 140730908845984 140481339226000 140482582004103 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23780] ppid=23763 vsize=26006188 memory=140111899954464 CPUtime=1.07 cores=0-7 /proc/23765/task/23780/stat : 23780 (java) R 23763 23763 22786 0 -1 4202560 1958 0 0 0 107 0 0 0 20 0 20 0 101649754 26630336512 132727 33554432000 4194304 4196468 140730908845984 140481338174960 140482584800528 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23781] ppid=23763 vsize=26006188 memory=0 CPUtime=0.97 cores=0-7 /proc/23765/task/23781/stat : 23781 (java) R 23763 23763 22786 0 -1 4202560 1525 0 0 0 97 0 0 0 20 0 20 0 101649754 26630336512 132727 33554432000 4194304 4196468 140730908845984 140481337133552 140482586183366 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23782] ppid=23763 vsize=26006188 memory=0 CPUtime=0.66 cores=0-7 /proc/23765/task/23782/stat : 23782 (java) S 23763 23763 22786 0 -1 1077944384 3301 0 0 0 65 1 0 0 20 0 20 0 101649754 26630336512 132727 33554432000 4194304 4196468 140730908845984 140481336081008 140482601314946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23783] ppid=23763 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23783/stat : 23783 (java) S 23763 23763 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101649755 26630336512 132727 33554432000 4194304 4196468 140730908845984 140481335028192 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23784] ppid=23763 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23784/stat : 23784 (java) S 23763 23763 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101649755 26630336512 132727 33554432000 4194304 4196468 140730908845984 140481266707120 140482601314946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 Current children cumulated CPU time: 5.43 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 532292 KiB [startup+2.00096 s]* /proc/loadavg: 8.01 7.75 7.49 11/207 23792 /proc/meminfo: memFree=28497284/32770624 swapFree=67108860/67108860 [pid=23763] ppid=23760 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/23763/stat : 23763 (xcsp3-exec) S 23760 23763 22786 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 101649748 9740288 346 33554432000 4194304 5098028 140728384480976 140728384479080 140000272589436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40366080 140728384484453 140728384484663 140728384484663 140728384487403 0 /proc/23763/statm: 2378 346 289 221 0 87 0 [pid=23765] ppid=23763 vsize=26540748 memory=642644 CPUtime=7.54 cores=0-7 /proc/23765/stat : 23765 (java) S 23763 23763 22786 0 -1 1077944320 20002 0 0 0 726 28 0 0 20 0 28 0 101649749 27177725952 160661 33554432000 4194304 4196468 140730908845984 140730908828528 140482601303799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 /proc/23765/statm: 6635187 160661 3250 1 0 6622421 0 [pid=23765/tid=23766] ppid=23763 vsize=26540748 memory=280223799150952 CPUtime=1.76 cores=0-7 /proc/23765/task/23766/stat : 23766 (java) S 23763 23763 22786 0 -1 1077944384 7296 0 0 0 166 10 0 0 20 0 28 0 101649749 27177725952 160661 33554432000 4194304 4196468 140730908845984 140482605544576 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23767] ppid=23763 vsize=26540748 memory=732370250336504805 CPUtime=0.05 cores=0-7 /proc/23765/task/23767/stat : 23767 (java) S 23763 23763 22786 0 -1 1077944384 34 0 0 0 4 1 0 0 20 0 28 0 101649750 27177725952 160661 33554432000 4194304 4196468 140730908845984 140482553924112 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23768] ppid=23763 vsize=26540748 memory=3472468408159622832 CPUtime=0.04 cores=0-7 /proc/23765/task/23768/stat : 23768 (java) S 23763 23763 22786 0 -1 1077944384 26 0 0 0 3 1 0 0 20 0 28 0 101649750 27177725952 160661 33554432000 4194304 4196468 140730908845984 140482552871568 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23769] ppid=23763 vsize=26540748 memory=6944656592387989600 CPUtime=0.06 cores=0-7 /proc/23765/task/23769/stat : 23769 (java) S 23763 23763 22786 0 -1 1077944384 41 0 0 0 4 2 0 0 20 0 28 0 101649750 27177725952 160661 33554432000 4194304 4196468 140730908845984 140482551818512 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23770] ppid=23763 vsize=26540748 memory=0 CPUtime=0.04 cores=0-7 /proc/23765/task/23770/stat : 23770 (java) S 23763 23763 22786 0 -1 1077944384 32 0 0 0 3 1 0 0 20 0 28 0 101649750 27177725952 160661 33554432000 4194304 4196468 140730908845984 140482550765968 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23771] ppid=23763 vsize=26540748 memory=0 CPUtime=0.05 cores=0-7 /proc/23765/task/23771/stat : 23771 (java) S 23763 23763 22786 0 -1 1077944384 45 0 0 0 4 1 0 0 20 0 28 0 101649750 27177725952 160661 33554432000 4194304 4196468 140730908845984 140482549713936 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23772] ppid=23763 vsize=26540748 memory=140111899745103 CPUtime=0.03 cores=0-7 /proc/23765/task/23772/stat : 23772 (java) S 23763 23763 22786 0 -1 1077944384 24 0 0 0 2 1 0 0 20 0 28 0 101649750 27177725952 160661 33554432000 4194304 4196468 140730908845984 140482548661392 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23773] ppid=23763 vsize=26540748 memory=0 CPUtime=0.05 cores=0-7 /proc/23765/task/23773/stat : 23773 (java) S 23763 23763 22786 0 -1 1077944384 43 0 0 0 4 1 0 0 20 0 28 0 101649750 27177725952 160661 33554432000 4194304 4196468 140730908845984 140482547608336 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23774] ppid=23763 vsize=26540748 memory=0 CPUtime=0.05 cores=0-7 /proc/23765/task/23774/stat : 23774 (java) S 23763 23763 22786 0 -1 1077944384 48 0 0 0 3 2 0 0 20 0 28 0 101649750 27177725952 160661 33554432000 4194304 4196468 140730908845984 140482546555792 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23775] ppid=23763 vsize=26540748 memory=0 CPUtime=0.01 cores=0-7 /proc/23765/task/23775/stat : 23775 (java) S 23763 23763 22786 0 -1 1077944384 474 0 0 0 1 0 0 0 20 0 28 0 101649751 27177725952 160661 33554432000 4194304 4196468 140730908845984 140481343449328 140482601314946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23776] ppid=23763 vsize=26540748 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23776/stat : 23776 (java) S 23763 23763 22786 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 101649752 27177725952 160661 33554432000 4194304 4196468 140730908845984 140481342395616 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23777] ppid=23763 vsize=26540748 memory=280223799132192 CPUtime=0 cores=0-7 /proc/23765/task/23777/stat : 23777 (java) S 23763 23763 22786 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 101649752 27177725952 160661 33554432000 4194304 4196468 140730908845984 140481341342464 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23778] ppid=23763 vsize=26540748 memory=34484012 CPUtime=0 cores=0-7 /proc/23765/task/23778/stat : 23778 (java) S 23763 23763 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101649754 27177725952 160661 33554432000 4194304 4196468 140730908845984 140481340291024 140482601322395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23779] ppid=23763 vsize=26540748 memory=7810485667932890731 CPUtime=1.34 cores=0-7 /proc/23765/task/23779/stat : 23779 (java) S 23763 23763 22786 0 -1 1077944384 2697 0 0 0 133 1 0 0 20 0 28 0 101649754 27177725952 160661 33554432000 4194304 4196468 140730908845984 140481339239152 140482601314946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23780] ppid=23763 vsize=26540748 memory=5795117241467496816 CPUtime=1.48 cores=0-7 /proc/23765/task/23780/stat : 23780 (java) R 23763 23763 22786 0 -1 4202560 2314 0 0 0 148 0 0 0 20 0 28 0 101649754 27177725952 160661 33554432000 4194304 4196468 140730908845984 140481338178560 140482581147417 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23781] ppid=23763 vsize=26540748 memory=7521689142396076132 CPUtime=1.36 cores=0-7 /proc/23765/task/23781/stat : 23781 (java) R 23763 23763 22786 0 -1 1077944384 1977 0 0 0 136 0 0 0 20 0 28 0 101649754 27177725952 160661 33554432000 4194304 4196468 140730908845984 140481337133552 140482601314946 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23782] ppid=23763 vsize=26540748 memory=-8675733323038954102 CPUtime=0.71 cores=0-7 /proc/23765/task/23782/stat : 23782 (java) R 23763 23763 22786 0 -1 4202560 3375 0 0 0 70 1 0 0 20 0 28 0 101649754 27177725952 160661 33554432000 4194304 4196468 140730908845984 140481336081008 140482601315734 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23783] ppid=23763 vsize=26540748 memory=662363603739423024 CPUtime=0 cores=0-7 /proc/23765/task/23783/stat : 23783 (java) S 23763 23763 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101649755 27177725952 160661 33554432000 4194304 4196468 140730908845984 140481335028192 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23784] ppid=23763 vsize=26540748 memory=2314885432474958440 CPUtime=0 cores=0-7 /proc/23765/task/23784/stat : 23784 (java) S 23763 23763 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101649755 27177725952 160661 33554432000 4194304 4196468 140730908845984 140481266707120 140482601314946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23785] ppid=23763 vsize=26540748 memory=2314885432473768785 CPUtime=0.04 cores=0-7 /proc/23765/task/23785/stat : 23785 (java) R 23763 23763 22786 0 -1 4202560 67 0 0 0 4 0 0 0 20 0 28 0 101649940 27177725952 160661 33554432000 4194304 4196468 140730908845984 140481258694400 140482231823225 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23786] ppid=23763 vsize=26540748 memory=4713742226031938934 CPUtime=0.04 cores=0-7 /proc/23765/task/23786/stat : 23786 (java) R 23763 23763 22786 0 -1 4202560 28 0 0 0 4 0 0 0 20 0 28 0 101649940 27177725952 160661 33554432000 4194304 4196468 140730908845984 140481255548728 140482231823555 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23787] ppid=23763 vsize=26540748 memory=8508281403248183693 CPUtime=0.03 cores=0-7 /proc/23765/task/23787/stat : 23787 (java) R 23763 23763 22786 0 -1 4202560 34 0 0 0 3 0 0 0 20 0 28 0 101649940 27177725952 160661 33554432000 4194304 4196468 140730908845984 140481254494136 140482231823485 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23788] ppid=23763 vsize=26540748 memory=7681905605394137914 CPUtime=0.04 cores=0-7 /proc/23765/task/23788/stat : 23788 (java) R 23763 23763 22786 0 -1 4202560 31 0 0 0 4 0 0 0 20 0 28 0 101649940 27177725952 160661 33554432000 4194304 4196468 140730908845984 140481253443816 140482231823744 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23789] ppid=23763 vsize=26540748 memory=-7025452035940392864 CPUtime=0.05 cores=0-7 /proc/23765/task/23789/stat : 23789 (java) R 23763 23763 22786 0 -1 4202560 29 0 0 0 5 0 0 0 20 0 28 0 101649940 27177725952 160661 33554432000 4194304 4196468 140730908845984 140481252388360 140482231823485 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23790] ppid=23763 vsize=26540748 memory=-7161732098442470212 CPUtime=0.04 cores=0-7 /proc/23765/task/23790/stat : 23790 (java) R 23763 23763 22786 0 -1 4202560 28 0 0 0 4 0 0 0 20 0 28 0 101649940 27177725952 160661 33554432000 4194304 4196468 140730908845984 140481251336664 140482231823100 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23791] ppid=23763 vsize=26540748 memory=6944656592455360604 CPUtime=0.06 cores=0-7 /proc/23765/task/23791/stat : 23791 (java) R 23763 23763 22786 0 -1 4202560 29 0 0 0 6 0 0 0 20 0 28 0 101649940 27177725952 160661 33554432000 4194304 4196468 140730908845984 140481250282656 140482231823744 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23792] ppid=23763 vsize=26540748 memory=6655300316396806240 CPUtime=0.07 cores=0-7 /proc/23765/task/23792/stat : 23792 (java) R 23763 23763 22786 0 -1 4202560 31 0 0 0 7 0 0 0 20 0 28 0 101649940 27177725952 160661 33554432000 4194304 4196468 140730908845984 140481249233616 140482231823100 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 Current children cumulated CPU time: 7.54 s Current children cumulated vsize: 26550260 KiB Current children cumulated memory: 644028 KiB [startup+2.20687 s] /proc/loadavg: 8.01 7.75 7.49 11/207 23792 /proc/meminfo: memFree=28497284/32770624 swapFree=67108860/67108860 [pid=23763] ppid=23760 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/23763/stat : 23763 (xcsp3-exec) S 23760 23763 22786 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 101649748 9740288 346 33554432000 4194304 5098028 140728384480976 140728384479080 140000272589436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40366080 140728384484453 140728384484663 140728384484663 140728384487403 0 /proc/23763/statm: 2378 346 289 221 0 87 0 [pid=23765] ppid=23763 vsize=26540748 memory=643664 CPUtime=9.04 cores=0-7 /proc/23765/stat : 23765 (java) S 23763 23763 22786 0 -1 1077944320 20192 0 0 0 876 28 0 0 20 0 28 0 101649749 27177725952 160916 33554432000 4194304 4196468 140730908845984 140730908828528 140482601303799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 /proc/23765/statm: 6635187 160916 3253 1 0 6622421 0 [pid=23765/tid=23766] ppid=23763 vsize=26540748 memory=7595725831727968097 CPUtime=1.76 cores=0-7 /proc/23765/task/23766/stat : 23766 (java) S 23763 23763 22786 0 -1 1077944384 7296 0 0 0 166 10 0 0 20 0 28 0 101649749 27177725952 160916 33554432000 4194304 4196468 140730908845984 140482605544576 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23767] ppid=23763 vsize=26540748 memory=4640204490969339242 CPUtime=0.05 cores=0-7 /proc/23765/task/23767/stat : 23767 (java) S 23763 23763 22786 0 -1 1077944384 34 0 0 0 4 1 0 0 20 0 28 0 101649750 27177725952 160916 33554432000 4194304 4196468 140730908845984 140482553924112 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23768] ppid=23763 vsize=26540748 memory=5795117241467496816 CPUtime=0.04 cores=0-7 /proc/23765/task/23768/stat : 23768 (java) S 23763 23763 22786 0 -1 1077944384 26 0 0 0 3 1 0 0 20 0 28 0 101649750 27177725952 160916 33554432000 4194304 4196468 140730908845984 140482552871568 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23769] ppid=23763 vsize=26540748 memory=7301021556848288619 CPUtime=0.06 cores=0-7 /proc/23765/task/23769/stat : 23769 (java) S 23763 23763 22786 0 -1 1077944384 41 0 0 0 4 2 0 0 20 0 28 0 101649750 27177725952 160916 33554432000 4194304 4196468 140730908845984 140482551818512 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23770] ppid=23763 vsize=26540748 memory=6296406565455291498 CPUtime=0.04 cores=0-7 /proc/23765/task/23770/stat : 23770 (java) S 23763 23763 22786 0 -1 1077944384 32 0 0 0 3 1 0 0 20 0 28 0 101649750 27177725952 160916 33554432000 4194304 4196468 140730908845984 140482550765968 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23771] ppid=23763 vsize=26540748 memory=7307196379687899244 CPUtime=0.05 cores=0-7 /proc/23765/task/23771/stat : 23771 (java) S 23763 23763 22786 0 -1 1077944384 45 0 0 0 4 1 0 0 20 0 28 0 101649750 27177725952 160916 33554432000 4194304 4196468 140730908845984 140482549713936 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23772] ppid=23763 vsize=26540748 memory=-5345911753256963030 CPUtime=0.03 cores=0-7 /proc/23765/task/23772/stat : 23772 (java) S 23763 23763 22786 0 -1 1077944384 24 0 0 0 2 1 0 0 20 0 28 0 101649750 27177725952 160916 33554432000 4194304 4196468 140730908845984 140482548661392 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23773] ppid=23763 vsize=26540748 memory=0 CPUtime=0.05 cores=0-7 /proc/23765/task/23773/stat : 23773 (java) S 23763 23763 22786 0 -1 1077944384 43 0 0 0 4 1 0 0 20 0 28 0 101649750 27177725952 160916 33554432000 4194304 4196468 140730908845984 140482547608336 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23774] ppid=23763 vsize=26540748 memory=8191324994196845656 CPUtime=0.05 cores=0-7 /proc/23765/task/23774/stat : 23774 (java) S 23763 23763 22786 0 -1 1077944384 48 0 0 0 3 2 0 0 20 0 28 0 101649750 27177725952 160916 33554432000 4194304 4196468 140730908845984 140482546555792 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23775] ppid=23763 vsize=26540748 memory=280223799941632 CPUtime=0.01 cores=0-7 /proc/23765/task/23775/stat : 23775 (java) S 23763 23763 22786 0 -1 1077944384 474 0 0 0 1 0 0 0 20 0 28 0 101649751 27177725952 160916 33554432000 4194304 4196468 140730908845984 140481343449328 140482601314946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23776] ppid=23763 vsize=26540748 memory=102061307902390 CPUtime=0 cores=0-7 /proc/23765/task/23776/stat : 23776 (java) S 23763 23763 22786 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 101649752 27177725952 160916 33554432000 4194304 4196468 140730908845984 140481342395616 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23777] ppid=23763 vsize=26540748 memory=102061307902391 CPUtime=0 cores=0-7 /proc/23765/task/23777/stat : 23777 (java) S 23763 23763 22786 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 101649752 27177725952 160916 33554432000 4194304 4196468 140730908845984 140481341342464 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23778] ppid=23763 vsize=26540748 memory=7379525548734702422 CPUtime=0 cores=0-7 /proc/23765/task/23778/stat : 23778 (java) S 23763 23763 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101649754 27177725952 160916 33554432000 4194304 4196468 140730908845984 140481340291024 140482601322395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23779] ppid=23763 vsize=26540748 memory=5866896650540766056 CPUtime=1.45 cores=0-7 /proc/23765/task/23779/stat : 23779 (java) R 23763 23763 22786 0 -1 4202560 2724 0 0 0 144 1 0 0 20 0 28 0 101649754 27177725952 160916 33554432000 4194304 4196468 140730908845984 140481339226912 140482580550450 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23780] ppid=23763 vsize=26540748 memory=7522534641032783715 CPUtime=1.63 cores=0-7 /proc/23765/task/23780/stat : 23780 (java) R 23763 23763 22786 0 -1 4202560 2336 0 0 0 163 0 0 0 20 0 28 0 101649754 27177725952 160916 33554432000 4194304 4196468 140730908845984 140481338172816 140482582847888 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23781] ppid=23763 vsize=26540748 memory=4639948313719891052 CPUtime=1.46 cores=0-7 /proc/23765/task/23781/stat : 23781 (java) R 23763 23763 22786 0 -1 1077944384 1989 0 0 0 146 0 0 0 20 0 28 0 101649754 27177725952 160916 33554432000 4194304 4196468 140730908845984 140481337126576 140482601314005 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23782] ppid=23763 vsize=26540748 memory=5794557568724855913 CPUtime=0.74 cores=0-7 /proc/23765/task/23782/stat : 23782 (java) R 23763 23763 22786 0 -1 4202560 3434 0 0 0 73 1 0 0 20 0 28 0 101649754 27177725952 160916 33554432000 4194304 4196468 140730908845984 140481336078416 140482601325146 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23783] ppid=23763 vsize=26540748 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23783/stat : 23783 (java) S 23763 23763 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101649755 27177725952 160916 33554432000 4194304 4196468 140730908845984 140481335028192 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23784] ppid=23763 vsize=26540748 memory=0 CPUtime=0 cores=0-7 /proc/23765/task/23784/stat : 23784 (java) S 23763 23763 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101649755 27177725952 160916 33554432000 4194304 4196468 140730908845984 140481266707120 140482601314946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23785] ppid=23763 vsize=26540748 memory=0 CPUtime=0.16 cores=0-7 /proc/23765/task/23785/stat : 23785 (java) S 23763 23763 22786 0 -1 1077944384 68 0 0 0 16 0 0 0 20 0 28 0 101649940 27177725952 160916 33554432000 4194304 4196468 140730908845984 140481258694960 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23786] ppid=23763 vsize=26540748 memory=0 CPUtime=0.18 cores=0-7 /proc/23765/task/23786/stat : 23786 (java) R 23763 23763 22786 0 -1 4202560 34 0 0 0 18 0 0 0 20 0 28 0 101649940 27177725952 160916 33554432000 4194304 4196468 140730908845984 140481255546272 140482223091143 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23787] ppid=23763 vsize=26540748 memory=-7812736537705029536 CPUtime=0.15 cores=0-7 /proc/23765/task/23787/stat : 23787 (java) S 23763 23763 22786 0 -1 1077944384 36 0 0 0 15 0 0 0 20 0 28 0 101649940 27177725952 160916 33554432000 4194304 4196468 140730908845984 140481254495888 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23788] ppid=23763 vsize=26540748 memory=0 CPUtime=0.16 cores=0-7 /proc/23765/task/23788/stat : 23788 (java) R 23763 23763 22786 0 -1 4202560 70 0 0 0 16 0 0 0 20 0 28 0 101649940 27177725952 160916 33554432000 4194304 4196468 140730908845984 140481253445128 140482223164400 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23789] ppid=23763 vsize=26540748 memory=0 CPUtime=0.18 cores=0-7 /proc/23765/task/23789/stat : 23789 (java) R 23763 23763 22786 0 -1 4202560 33 0 0 0 18 0 0 0 20 0 28 0 101649940 27177725952 160916 33554432000 4194304 4196468 140730908845984 140481252392304 140482223156054 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23790] ppid=23763 vsize=26540748 memory=0 CPUtime=0.19 cores=0-7 /proc/23765/task/23790/stat : 23790 (java) R 23763 23763 22786 0 -1 1077944384 39 0 0 0 19 0 0 0 20 0 28 0 101649940 27177725952 160916 33554432000 4194304 4196468 140730908845984 140481251337312 140482601314005 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23791] ppid=23763 vsize=26540748 memory=0 CPUtime=0.22 cores=0-7 /proc/23765/task/23791/stat : 23791 (java) S 23763 23763 22786 0 -1 1077944384 35 0 0 0 22 0 0 0 20 0 28 0 101649940 27177725952 160916 33554432000 4194304 4196468 140730908845984 140481250285664 140482601314005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 [pid=23765/tid=23792] ppid=23763 vsize=26540748 memory=0 CPUtime=0.22 cores=0-7 /proc/23765/task/23792/stat : 23792 (java) R 23763 23763 22786 0 -1 4202560 34 0 0 0 22 0 0 0 20 0 28 0 101649940 27177725952 160916 33554432000 4194304 4196468 140730908845984 140481249231832 140482223350912 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6316032 140730908853394 140730908853571 140730908853571 140730908856271 0 Current children cumulated CPU time: 9.04 s Current children cumulated vsize: 26550260 KiB Current children cumulated memory: 645048 KiB Child status: 0 Real time (s): 2.24088 CPU time (s): 9.16728 CPU user time (s): 8.86865 CPU system time (s): 0.298623 CPU usage (%): 409.093 Max. virtual memory (cumulated for all children) (KiB): 26550260 Max. memory (cumulated for all children) (KiB): 645048 getrusage(RUSAGE_CHILDREN,...) data: user time used= 8.86865 system time used= 0.298623 maximum resident set size= 644972 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20797 page faults= 0 swaps= 0 block input operations= 2496 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3568 involuntary context switches= 398 # summary of solver processes directly reported to runsolver: # pid: 23763 # total CPU time (s): 9.16728 # total CPU user time (s): 8.86865 # total CPU system time (s): 0.298623 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.036921 second user time and 0.065637 second system time The end
Begin job on node107 at 2017-08-14 06:25:58 IDJOB=4271218 IDBENCH=120808 IDSOLVER=2662 FILE ID=node107/4271218-1502685617 RUNJOBID= node107-1502678505-22813 PBS_JOBID= 20628982 Free space on /tmp= 61660 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Rlfap/Rlfap-m1-scensMod/Rlfap-scen-09-w1-f03.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271218-1502685617/watcher-4271218-1502685617 -o /tmp/evaluation-result-4271218-1502685617/solver-4271218-1502685617 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502678505-22813 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 955478149 HOME/instance-4271218-1502685617.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 592eacf3e4c9123e6b0292f19fa9a16a RANDOM SEED=955478149 node107.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.84 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.84 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.84 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.84 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: 29127856 kB MemAvailable: 31987464 kB Buffers: 184996 kB Cached: 2962516 kB SwapCached: 0 kB Active: 542256 kB Inactive: 2659444 kB Active(anon): 57104 kB Inactive(anon): 24972 kB Active(file): 485152 kB Inactive(file): 2634472 kB Unevictable: 6328 kB Mlocked: 6328 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7944 kB Writeback: 28 kB AnonPages: 60084 kB Mapped: 44156 kB Shmem: 25228 kB Slab: 136972 kB SReclaimable: 111640 kB SUnreclaim: 25332 kB KernelStack: 3168 kB PageTables: 4672 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324972 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 61652 MiB End job on node107 at 2017-08-14 06:26:01