Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: choco-solver 5a (2017-07-05) | OPT | 54 | 37.916 | 5.31829 |
| Name | PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii08a1.xml |
| MD5SUM | aab50c75b1dbb6e151cbb105b2b246fa |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 54 |
| Best CPU time to get the best result obtained on this benchmark | 2.2186799 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 132 |
| Number of constraints | 252 |
| Number of domains | 1 |
| Minimum domain size | 2 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":2,"count":132}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 10 |
| Distribution of variable degrees | [{"degree":3,"count":27},{"degree":4,"count":36},{"degree":5,"count":18},{"degree":6,"count":18},{"degree":7,"count":9},{"degree":8,"count":6},{"degree":10,"count":18}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 8 |
| Distribution of constraint arities | [{"arity":2,"count":234},{"arity":3,"count":6},{"arity":8,"count":12}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"sum","count":252}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4249006-1500693754.xml" -tl '2400s' -p 8 -x 3 0.00/0.19 c [HOME/instance-4249006-1500693754.xml, -tl, 2400s, -p, 8, -x, 3] 0.00/0.24 c 8 solvers in parallel 0.00/0.31 c parse instance... 0.00/0.71 c solve instance... 0.00/0.75 o 60 0.00/0.77 o 54 37.81/5.31 s OPTIMUM FOUND 37.81/5.31 v <instantiation> 37.81/5.31 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] </list> 37.81/5.31 v <values>0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 </values> 37.81/5.31 v </instantiation>
OK 54
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4249006-1500693754/watcher-4249006-1500693754 -o /tmp/evaluation-result-4249006-1500693754/solver-4249006-1500693754 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8559 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1081257318 HOME/instance-4249006-1500693754.xml pid=13993 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 16.04 14.72 14.17 10/271 13996 /proc/meminfo: memFree=30939688/32770624 swapFree=5656/332528 [pid=13996] ppid=13993 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13996/stat : 13996 (xcsp3-exec) S 13993 13996 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4642877 9740288 346 33554432000 4194304 5098028 140724333341344 140724333339448 140432357536380 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 10424320 140724333347982 140724333348192 140724333348192 140724333350891 0 /proc/13996/statm: 2378 346 289 221 0 87 0 [startup+0.100126 s] /proc/loadavg: 16.04 14.72 14.17 10/271 13996 /proc/meminfo: memFree=30939688/32770624 swapFree=5656/332528 [pid=13996] ppid=13993 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13996/stat : 13996 (xcsp3-exec) S 13993 13996 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4642877 9740288 346 33554432000 4194304 5098028 140724333341344 140724333339448 140432357536380 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 10424320 140724333347982 140724333348192 140724333348192 140724333350891 0 /proc/13996/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200377 s] /proc/loadavg: 16.04 14.72 14.17 10/271 13996 /proc/meminfo: memFree=30939688/32770624 swapFree=5656/332528 [pid=13996] ppid=13993 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13996/stat : 13996 (xcsp3-exec) S 13993 13996 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4642877 9740288 346 33554432000 4194304 5098028 140724333341344 140724333339448 140432357536380 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 10424320 140724333347982 140724333348192 140724333348192 140724333350891 0 /proc/13996/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.30035 s] /proc/loadavg: 16.04 14.72 14.17 10/271 13996 /proc/meminfo: memFree=30939688/32770624 swapFree=5656/332528 [pid=13996] ppid=13993 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13996/stat : 13996 (xcsp3-exec) S 13993 13996 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4642877 9740288 346 33554432000 4194304 5098028 140724333341344 140724333339448 140432357536380 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 10424320 140724333347982 140724333348192 140724333348192 140724333350891 0 /proc/13996/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700209 s] /proc/loadavg: 16.04 14.72 14.17 10/271 13996 /proc/meminfo: memFree=30939688/32770624 swapFree=5656/332528 [pid=13996] ppid=13993 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13996/stat : 13996 (xcsp3-exec) S 13993 13996 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4642877 9740288 346 33554432000 4194304 5098028 140724333341344 140724333339448 140432357536380 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 10424320 140724333347982 140724333348192 140724333348192 140724333350891 0 /proc/13996/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50154 s] /proc/loadavg: 15.48 14.63 14.14 21/300 14041 /proc/meminfo: memFree=30799168/32770624 swapFree=5656/332236 [pid=13996] ppid=13993 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13996/stat : 13996 (xcsp3-exec) S 13993 13996 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4642877 9740288 346 33554432000 4194304 5098028 140724333341344 140724333339448 140432357536380 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 10424320 140724333347982 140724333348192 140724333348192 140724333350891 0 /proc/13996/statm: 2378 346 289 221 0 87 0 [pid=13997] ppid=13996 vsize=13801768 CPUtime=7.8 cores=0,2,4,6,8,10,12,14 /proc/13997/stat : 13997 (java) S 13996 13996 7102 0 -1 1077944320 15167 0 0 0 772 8 0 0 20 0 28 0 4642878 14133010432 42467 33554432000 4194304 4196468 140726030985984 140726030968528 140149716135671 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 /proc/13997/statm: 3450442 42467 3244 1 0 3437675 0 [pid=13997/tid=13998] ppid=13996 vsize=13801768 CPUtime=0.7 cores=0,2,4,6,8,10,12,14 /proc/13997/task/13998/stat : 13998 (java) S 13996 13996 7102 0 -1 1077944384 6445 0 0 0 68 2 0 0 20 0 28 0 4642878 14133010432 42467 33554432000 4194304 4196468 140726030985984 140149720376448 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14000] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14000/stat : 14000 (java) S 13996 13996 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4642879 14133010432 42467 33554432000 4194304 4196468 140726030985984 140149683694096 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14001] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14001/stat : 14001 (java) S 13996 13996 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4642879 14133010432 42467 33554432000 4194304 4196468 140726030985984 140149313964688 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14002] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14002/stat : 14002 (java) S 13996 13996 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4642879 14133010432 42467 33554432000 4194304 4196468 140726030985984 140149312911632 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14003] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14003/stat : 14003 (java) S 13996 13996 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4642879 14133010432 42467 33554432000 4194304 4196468 140726030985984 140149311859088 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14004] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14004/stat : 14004 (java) S 13996 13996 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4642879 14133010432 42467 33554432000 4194304 4196468 140726030985984 140149310807056 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14005] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14005/stat : 14005 (java) S 13996 13996 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4642879 14133010432 42467 33554432000 4194304 4196468 140726030985984 140149309754512 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14006] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14006/stat : 14006 (java) S 13996 13996 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4642879 14133010432 42467 33554432000 4194304 4196468 140726030985984 140149308701456 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14007] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14007/stat : 14007 (java) S 13996 13996 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4642879 14133010432 42467 33554432000 4194304 4196468 140726030985984 140149307648912 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14008] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14008/stat : 14008 (java) S 13996 13996 7102 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4642881 14133010432 42467 33554432000 4194304 4196468 140726030985984 140149178501360 140149716146818 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14009] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14009/stat : 14009 (java) S 13996 13996 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4642882 14133010432 42467 33554432000 4194304 4196468 140726030985984 140149177447584 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14010] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14010/stat : 14010 (java) S 13996 13996 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4642882 14133010432 42467 33554432000 4194304 4196468 140726030985984 140149176394480 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14011] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14011/stat : 14011 (java) S 13996 13996 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4642886 14133010432 42467 33554432000 4194304 4196468 140726030985984 140149175343056 140149716154267 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14012] ppid=13996 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14012/stat : 14012 (java) R 13996 13996 7102 0 -1 4202560 1142 0 0 0 77 1 0 0 20 0 28 0 4642886 14133010432 42467 33554432000 4194304 4196468 140726030985984 140149174284376 140149702199806 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14013] ppid=13996 vsize=13801768 CPUtime=0.94 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14013/stat : 14013 (java) R 13996 13996 7102 0 -1 4202560 1587 0 0 0 94 0 0 0 20 0 28 0 4642886 14133010432 42467 33554432000 4194304 4196468 140726030985984 140149173220048 140149697681125 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14014] ppid=13996 vsize=13801768 CPUtime=0.69 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14014/stat : 14014 (java) R 13996 13996 7102 0 -1 4202560 1295 0 0 0 69 0 0 0 20 0 28 0 4642886 14133010432 42467 33554432000 4194304 4196468 140726030985984 140149172172816 140149699550705 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14015] ppid=13996 vsize=13801768 CPUtime=0.72 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14015/stat : 14015 (java) S 13996 13996 7102 0 -1 1077944384 2675 0 0 0 72 0 0 0 20 0 28 0 4642886 14133010432 42467 33554432000 4194304 4196468 140726030985984 140149171127808 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14016] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14016/stat : 14016 (java) S 13996 13996 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4642886 14133010432 42467 33554432000 4194304 4196468 140726030985984 140149170080224 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14017] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14017/stat : 14017 (java) S 13996 13996 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4642887 14133010432 42467 33554432000 4194304 4196468 140726030985984 140149169027760 140149716146818 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14034] ppid=13996 vsize=13801768 CPUtime=0.51 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14034/stat : 14034 (java) R 13996 13996 7102 0 -1 4202560 20 0 0 0 51 0 0 0 20 0 28 0 4642955 14133010432 42467 33554432000 4194304 4196468 140726030985984 140149157854320 140149357264317 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14035] ppid=13996 vsize=13801768 CPUtime=0.51 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14035/stat : 14035 (java) R 13996 13996 7102 0 -1 4202560 23 0 0 0 51 0 0 0 20 0 28 0 4642955 14133010432 42467 33554432000 4194304 4196468 140726030985984 140149154691064 140149357852433 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14036] ppid=13996 vsize=13801768 CPUtime=0.52 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14036/stat : 14036 (java) R 13996 13996 7102 0 -1 1077944384 31 0 0 0 52 0 0 0 20 0 28 0 4642955 14133010432 42467 33554432000 4194304 4196468 140726030985984 140149159963248 140149716145877 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14037] ppid=13996 vsize=13801768 CPUtime=0.49 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14037/stat : 14037 (java) R 13996 13996 7102 0 -1 4202560 31 0 0 0 49 0 0 0 20 0 28 0 4642955 14133010432 42467 33554432000 4194304 4196468 140726030985984 140149158906992 140149358446899 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14038] ppid=13996 vsize=13801768 CPUtime=0.39 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14038/stat : 14038 (java) R 13996 13996 7102 0 -1 4202560 24 0 0 0 39 0 0 0 20 0 28 0 4642955 14133010432 42467 33554432000 4194304 4196468 140726030985984 140149155749696 140149357398115 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14039] ppid=13996 vsize=13801768 CPUtime=0.51 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14039/stat : 14039 (java) R 13996 13996 7102 0 -1 4202560 21 0 0 0 51 0 0 0 20 0 28 0 4642955 14133010432 42467 33554432000 4194304 4196468 140726030985984 140149153644816 140149353174752 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14040] ppid=13996 vsize=13801768 CPUtime=0.42 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14040/stat : 14040 (java) R 13996 13996 7102 0 -1 1077944384 25 0 0 0 42 0 0 0 20 0 28 0 4642955 14133010432 42467 33554432000 4194304 4196468 140726030985984 140149161013008 140149716145877 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14041] ppid=13996 vsize=13801768 CPUtime=0.38 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14041/stat : 14041 (java) S 13996 13996 7102 0 -1 1077944384 18 0 0 0 38 0 0 0 20 0 28 0 4642955 14133010432 42467 33554432000 4194304 4196468 140726030985984 140149156802448 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 Current children cumulated CPU time (s) 7.8 Current children cumulated vsize (KiB) 13811280 [startup+3.10165 s] /proc/loadavg: 15.48 14.63 14.14 13/290 14077 /proc/meminfo: memFree=31601884/32770624 swapFree=5656/332236 [pid=13996] ppid=13993 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13996/stat : 13996 (xcsp3-exec) S 13993 13996 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4642877 9740288 346 33554432000 4194304 5098028 140724333341344 140724333339448 140432357536380 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 10424320 140724333347982 140724333348192 140724333348192 140724333350891 0 /proc/13996/statm: 2378 346 289 221 0 87 0 [pid=13997] ppid=13996 vsize=13801768 CPUtime=20.46 cores=0,2,4,6,8,10,12,14 /proc/13997/stat : 13997 (java) S 13996 13996 7102 0 -1 1077944320 22480 0 0 0 2031 15 0 0 20 0 28 0 4642878 14133010432 51448 33554432000 4194304 4196468 140726030985984 140726030968528 140149716135671 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 /proc/13997/statm: 3450442 51448 3270 1 0 3437675 0 [pid=13997/tid=13998] ppid=13996 vsize=13801768 CPUtime=0.7 cores=0,2,4,6,8,10,12,14 /proc/13997/task/13998/stat : 13998 (java) S 13996 13996 7102 0 -1 1077944384 6445 0 0 0 68 2 0 0 20 0 28 0 4642878 14133010432 51448 33554432000 4194304 4196468 140726030985984 140149720376448 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14000] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14000/stat : 14000 (java) S 13996 13996 7102 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4642879 14133010432 51448 33554432000 4194304 4196468 140726030985984 140149683694096 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14001] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14001/stat : 14001 (java) S 13996 13996 7102 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 28 0 4642879 14133010432 51448 33554432000 4194304 4196468 140726030985984 140149313964688 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14002] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14002/stat : 14002 (java) S 13996 13996 7102 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 28 0 4642879 14133010432 51448 33554432000 4194304 4196468 140726030985984 140149312911632 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14003] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14003/stat : 14003 (java) S 13996 13996 7102 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4642879 14133010432 51448 33554432000 4194304 4196468 140726030985984 140149311859088 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14004] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14004/stat : 14004 (java) S 13996 13996 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4642879 14133010432 51448 33554432000 4194304 4196468 140726030985984 140149310807056 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14005] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14005/stat : 14005 (java) S 13996 13996 7102 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4642879 14133010432 51448 33554432000 4194304 4196468 140726030985984 140149309754512 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14006] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14006/stat : 14006 (java) S 13996 13996 7102 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4642879 14133010432 51448 33554432000 4194304 4196468 140726030985984 140149308701456 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14007] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14007/stat : 14007 (java) S 13996 13996 7102 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 28 0 4642879 14133010432 51448 33554432000 4194304 4196468 140726030985984 140149307648912 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14008] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14008/stat : 14008 (java) S 13996 13996 7102 0 -1 1077944384 175 0 0 0 0 0 0 0 20 0 28 0 4642881 14133010432 51448 33554432000 4194304 4196468 140726030985984 140149178501360 140149716146818 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14009] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14009/stat : 14009 (java) S 13996 13996 7102 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4642882 14133010432 51448 33554432000 4194304 4196468 140726030985984 140149177447584 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14010] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14010/stat : 14010 (java) S 13996 13996 7102 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4642882 14133010432 51448 33554432000 4194304 4196468 140726030985984 140149176394480 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14011] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14011/stat : 14011 (java) S 13996 13996 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4642886 14133010432 51448 33554432000 4194304 4196468 140726030985984 140149175343056 140149716154267 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14012] ppid=13996 vsize=13801768 CPUtime=1.25 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14012/stat : 14012 (java) S 13996 13996 7102 0 -1 1077944384 2508 0 0 0 124 1 0 0 20 0 28 0 4642886 14133010432 51448 33554432000 4194304 4196468 140726030985984 140149174291184 140149716146818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14013] ppid=13996 vsize=13801768 CPUtime=1.55 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14013/stat : 14013 (java) R 13996 13996 7102 0 -1 4202560 3156 0 0 0 155 0 0 0 20 0 28 0 4642886 14133010432 51448 33554432000 4194304 4196468 140726030985984 140149173238936 140149700036272 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14014] ppid=13996 vsize=13801768 CPUtime=1.32 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14014/stat : 14014 (java) S 13996 13996 7102 0 -1 1077944384 2949 0 0 0 132 0 0 0 20 0 28 0 4642886 14133010432 51448 33554432000 4194304 4196468 140726030985984 140149172185584 140149716146818 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14015] ppid=13996 vsize=13801768 CPUtime=0.8 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14015/stat : 14015 (java) S 13996 13996 7102 0 -1 1077944384 3541 0 0 0 79 1 0 0 20 0 28 0 4642886 14133010432 51448 33554432000 4194304 4196468 140726030985984 140149171133040 140149716146818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14016] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14016/stat : 14016 (java) S 13996 13996 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4642886 14133010432 51448 33554432000 4194304 4196468 140726030985984 140149170080224 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14017] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14017/stat : 14017 (java) S 13996 13996 7102 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4642887 14133010432 51448 33554432000 4194304 4196468 140726030985984 140149169027760 140149716146818 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14034] ppid=13996 vsize=13801768 CPUtime=1.71 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14034/stat : 14034 (java) R 13996 13996 7102 0 -1 4202560 147 0 0 0 171 0 0 0 20 0 28 0 4642955 14133010432 51448 33554432000 4194304 4196468 140726030985984 140149157855128 140726031075771 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14035] ppid=13996 vsize=13801768 CPUtime=1.93 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14035/stat : 14035 (java) R 13996 13996 7102 0 -1 4202560 134 0 0 0 193 0 0 0 20 0 28 0 4642955 14133010432 51448 33554432000 4194304 4196468 140726030985984 140149154697736 140149357690697 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14036] ppid=13996 vsize=13801768 CPUtime=1.84 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14036/stat : 14036 (java) R 13996 13996 7102 0 -1 4202560 466 0 0 0 184 0 0 0 20 0 28 0 4642955 14133010432 51448 33554432000 4194304 4196468 140726030985984 140149159961016 140149357395847 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14037] ppid=13996 vsize=13801768 CPUtime=1.83 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14037/stat : 14037 (java) R 13996 13996 7102 0 -1 4202560 174 0 0 0 183 0 0 0 20 0 28 0 4642955 14133010432 51448 33554432000 4194304 4196468 140726030985984 140149158908936 140149359091972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14038] ppid=13996 vsize=13801768 CPUtime=1.82 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14038/stat : 14038 (java) R 13996 13996 7102 0 -1 4202560 76 0 0 0 182 0 0 0 20 0 28 0 4642955 14133010432 51448 33554432000 4194304 4196468 140726030985984 140149155750792 140149357264841 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14039] ppid=13996 vsize=13801768 CPUtime=2.04 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14039/stat : 14039 (java) R 13996 13996 7102 0 -1 4202560 82 0 0 0 204 0 0 0 20 0 28 0 4642955 14133010432 51448 33554432000 4194304 4196468 140726030985984 140149153645544 140149357265598 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14040] ppid=13996 vsize=13801768 CPUtime=1.67 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14040/stat : 14040 (java) R 13996 13996 7102 0 -1 4202560 94 0 0 0 167 0 0 0 20 0 28 0 4642955 14133010432 51448 33554432000 4194304 4196468 140726030985984 140149161015760 140149357749342 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14041] ppid=13996 vsize=13801768 CPUtime=1.67 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14041/stat : 14041 (java) R 13996 13996 7102 0 -1 4202560 130 0 0 0 167 0 0 0 20 0 28 0 4642955 14133010432 51448 33554432000 4194304 4196468 140726030985984 140149156802392 140149357689991 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 Current children cumulated CPU time (s) 20.46 Current children cumulated vsize (KiB) 13811280 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ################ # More data... # ################ /proc/13997/task/14009/stat : 14009 (java) S 13996 13996 7102 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4642882 14133010432 51522 33554432000 4194304 4196468 140726030985984 140149177447584 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14010] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14010/stat : 14010 (java) S 13996 13996 7102 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4642882 14133010432 51522 33554432000 4194304 4196468 140726030985984 140149176394480 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14011] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14011/stat : 14011 (java) S 13996 13996 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4642886 14133010432 51522 33554432000 4194304 4196468 140726030985984 140149175343056 140149716154267 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14012] ppid=13996 vsize=13801768 CPUtime=1.37 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14012/stat : 14012 (java) S 13996 13996 7102 0 -1 1077944384 2602 0 0 0 136 1 0 0 20 0 28 0 4642886 14133010432 51522 33554432000 4194304 4196468 140726030985984 140149174291184 140149716146818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14013] ppid=13996 vsize=13801768 CPUtime=1.6 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14013/stat : 14013 (java) S 13996 13996 7102 0 -1 1077944384 3223 0 0 0 160 0 0 0 20 0 28 0 4642886 14133010432 51522 33554432000 4194304 4196468 140726030985984 140149173238640 140149716146818 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14014] ppid=13996 vsize=13801768 CPUtime=1.36 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14014/stat : 14014 (java) S 13996 13996 7102 0 -1 1077944384 3096 0 0 0 136 0 0 0 20 0 28 0 4642886 14133010432 51522 33554432000 4194304 4196468 140726030985984 140149172185584 140149716146818 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14015] ppid=13996 vsize=13801768 CPUtime=0.81 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14015/stat : 14015 (java) S 13996 13996 7102 0 -1 1077944384 3589 0 0 0 80 1 0 0 20 0 28 0 4642886 14133010432 51522 33554432000 4194304 4196468 140726030985984 140149171133040 140149716146818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14016] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14016/stat : 14016 (java) S 13996 13996 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4642886 14133010432 51522 33554432000 4194304 4196468 140726030985984 140149170080224 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14017] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14017/stat : 14017 (java) S 13996 13996 7102 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4642887 14133010432 51522 33554432000 4194304 4196468 140726030985984 140149169027760 140149716146818 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14034] ppid=13996 vsize=13801768 CPUtime=3.35 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14034/stat : 14034 (java) S 13996 13996 7102 0 -1 1077944384 152 0 0 0 335 0 0 0 20 0 28 0 4642955 14133010432 51522 33554432000 4194304 4196468 140726030985984 140149157854240 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14035] ppid=13996 vsize=13801768 CPUtime=3.57 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14035/stat : 14035 (java) S 13996 13996 7102 0 -1 1077944384 137 0 0 0 357 0 0 0 20 0 28 0 4642955 14133010432 51522 33554432000 4194304 4196468 140726030985984 140149154697728 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14036] ppid=13996 vsize=13801768 CPUtime=3.47 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14036/stat : 14036 (java) S 13996 13996 7102 0 -1 1077944384 492 0 0 0 347 0 0 0 20 0 28 0 4642955 14133010432 51522 33554432000 4194304 4196468 140726030985984 140149159960912 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14037] ppid=13996 vsize=13801768 CPUtime=3.5 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14037/stat : 14037 (java) S 13996 13996 7102 0 -1 1077944384 193 0 0 0 350 0 0 0 20 0 28 0 4642955 14133010432 51522 33554432000 4194304 4196468 140726030985984 140149158911184 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14038] ppid=13996 vsize=13801768 CPUtime=3.5 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14038/stat : 14038 (java) S 13996 13996 7102 0 -1 1077944384 78 0 0 0 350 0 0 0 20 0 28 0 4642955 14133010432 51522 33554432000 4194304 4196468 140726030985984 140149155750656 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14039] ppid=13996 vsize=13801768 CPUtime=3.69 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14039/stat : 14039 (java) S 13996 13996 7102 0 -1 1077944384 85 0 0 0 369 0 0 0 20 0 28 0 4642955 14133010432 51522 33554432000 4194304 4196468 140726030985984 140149153645408 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14040] ppid=13996 vsize=13801768 CPUtime=3.3 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14040/stat : 14040 (java) R 13996 13996 7102 0 -1 4202560 112 0 0 0 330 0 0 0 20 0 28 0 4642955 14133010432 51522 33554432000 4194304 4196468 140726030985984 140149161013864 140149357396799 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14041] ppid=13996 vsize=13801768 CPUtime=3.28 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14041/stat : 14041 (java) S 13996 13996 7102 0 -1 1077944384 152 0 0 0 328 0 0 0 20 0 28 0 4642955 14133010432 51522 33554432000 4194304 4196468 140726030985984 140149156802864 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 Current children cumulated CPU time (s) 33.88 Current children cumulated vsize (KiB) 13811280 [startup+5.20156 s] /proc/loadavg: 15.48 14.63 14.14 12/292 14129 /proc/meminfo: memFree=31209596/32770624 swapFree=5656/332276 [pid=13996] ppid=13993 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13996/stat : 13996 (xcsp3-exec) S 13993 13996 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4642877 9740288 346 33554432000 4194304 5098028 140724333341344 140724333339448 140432357536380 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 10424320 140724333347982 140724333348192 140724333348192 140724333350891 0 /proc/13996/statm: 2378 346 289 221 0 87 0 [pid=13997] ppid=13996 vsize=13801768 CPUtime=37.05 cores=0,2,4,6,8,10,12,14 /proc/13997/stat : 13997 (java) S 13996 13996 7102 0 -1 1077944320 23988 0 0 0 3690 15 0 0 20 0 28 0 4642878 14133010432 49981 33554432000 4194304 4196468 140726030985984 140726030968528 140149716135671 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 /proc/13997/statm: 3450442 49981 3277 1 0 3437675 0 [pid=13997/tid=13998] ppid=13996 vsize=13801768 CPUtime=0.7 cores=0,2,4,6,8,10,12,14 /proc/13997/task/13998/stat : 13998 (java) S 13996 13996 7102 0 -1 1077944384 6445 0 0 0 68 2 0 0 20 0 28 0 4642878 14133010432 49981 33554432000 4194304 4196468 140726030985984 140149720376448 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14000] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14000/stat : 14000 (java) S 13996 13996 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4642879 14133010432 49981 33554432000 4194304 4196468 140726030985984 140149683694096 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14001] ppid=13996 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14001/stat : 14001 (java) S 13996 13996 7102 0 -1 1077944384 220 0 0 0 1 0 0 0 20 0 28 0 4642879 14133010432 49981 33554432000 4194304 4196468 140726030985984 140149313964688 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14002] ppid=13996 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14002/stat : 14002 (java) S 13996 13996 7102 0 -1 1077944384 868 0 0 0 1 0 0 0 20 0 28 0 4642879 14133010432 49981 33554432000 4194304 4196468 140726030985984 140149312911632 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14003] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14003/stat : 14003 (java) S 13996 13996 7102 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 4642879 14133010432 49981 33554432000 4194304 4196468 140726030985984 140149311859088 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14004] ppid=13996 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14004/stat : 14004 (java) S 13996 13996 7102 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 28 0 4642879 14133010432 49981 33554432000 4194304 4196468 140726030985984 140149310807056 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14005] ppid=13996 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14005/stat : 14005 (java) S 13996 13996 7102 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 28 0 4642879 14133010432 49981 33554432000 4194304 4196468 140726030985984 140149309754512 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14006] ppid=13996 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14006/stat : 14006 (java) S 13996 13996 7102 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 28 0 4642879 14133010432 49981 33554432000 4194304 4196468 140726030985984 140149308701456 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14007] ppid=13996 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14007/stat : 14007 (java) S 13996 13996 7102 0 -1 1077944384 92 0 0 0 1 0 0 0 20 0 28 0 4642879 14133010432 49981 33554432000 4194304 4196468 140726030985984 140149307648912 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14008] ppid=13996 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14008/stat : 14008 (java) S 13996 13996 7102 0 -1 1077944384 244 0 0 0 1 0 0 0 20 0 28 0 4642881 14133010432 49981 33554432000 4194304 4196468 140726030985984 140149178501360 140149716146818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14009] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14009/stat : 14009 (java) S 13996 13996 7102 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4642882 14133010432 49981 33554432000 4194304 4196468 140726030985984 140149177447584 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14010] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14010/stat : 14010 (java) S 13996 13996 7102 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4642882 14133010432 49981 33554432000 4194304 4196468 140726030985984 140149176394480 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14011] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14011/stat : 14011 (java) S 13996 13996 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4642886 14133010432 49981 33554432000 4194304 4196468 140726030985984 140149175343056 140149716154267 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14012] ppid=13996 vsize=13801768 CPUtime=1.38 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14012/stat : 14012 (java) S 13996 13996 7102 0 -1 1077944384 2609 0 0 0 137 1 0 0 20 0 28 0 4642886 14133010432 49981 33554432000 4194304 4196468 140726030985984 140149174291184 140149716146818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14013] ppid=13996 vsize=13801768 CPUtime=1.6 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14013/stat : 14013 (java) S 13996 13996 7102 0 -1 1077944384 3227 0 0 0 160 0 0 0 20 0 28 0 4642886 14133010432 49981 33554432000 4194304 4196468 140726030985984 140149173238640 140149716146818 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14014] ppid=13996 vsize=13801768 CPUtime=1.47 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14014/stat : 14014 (java) S 13996 13996 7102 0 -1 1077944384 3153 0 0 0 147 0 0 0 20 0 28 0 4642886 14133010432 49981 33554432000 4194304 4196468 140726030985984 140149172185584 140149716146818 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14015] ppid=13996 vsize=13801768 CPUtime=0.81 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14015/stat : 14015 (java) S 13996 13996 7102 0 -1 1077944384 3589 0 0 0 80 1 0 0 20 0 28 0 4642886 14133010432 49981 33554432000 4194304 4196468 140726030985984 140149171133040 140149716146818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14016] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14016/stat : 14016 (java) S 13996 13996 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4642886 14133010432 49981 33554432000 4194304 4196468 140726030985984 140149170080224 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14017] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14017/stat : 14017 (java) S 13996 13996 7102 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 28 0 4642887 14133010432 49981 33554432000 4194304 4196468 140726030985984 140149169027760 140149716146818 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14034] ppid=13996 vsize=13801768 CPUtime=3.74 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14034/stat : 14034 (java) R 13996 13996 7102 0 -1 4202560 152 0 0 0 374 0 0 0 20 0 28 0 4642955 14133010432 49981 33554432000 4194304 4196468 140726030985984 140149157854376 140149357690711 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14035] ppid=13996 vsize=13801768 CPUtime=3.86 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14035/stat : 14035 (java) R 13996 13996 7102 0 -1 4202560 137 0 0 0 386 0 0 0 20 0 28 0 4642955 14133010432 49981 33554432000 4194304 4196468 140726030985984 140149154697864 140149355544623 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14036] ppid=13996 vsize=13801768 CPUtime=3.87 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14036/stat : 14036 (java) R 13996 13996 7102 0 -1 4202560 495 0 0 0 387 0 0 0 20 0 28 0 4642955 14133010432 49981 33554432000 4194304 4196468 140726030985984 140149159963480 140149358587069 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14037] ppid=13996 vsize=13801768 CPUtime=3.89 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14037/stat : 14037 (java) R 13996 13996 7102 0 -1 4202560 195 0 0 0 389 0 0 0 20 0 28 0 4642955 14133010432 49981 33554432000 4194304 4196468 140726030985984 140149158911408 140149695860730 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14038] ppid=13996 vsize=13801768 CPUtime=3.9 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14038/stat : 14038 (java) R 13996 13996 7102 0 -1 4202560 78 0 0 0 390 0 0 0 20 0 28 0 4642955 14133010432 49981 33554432000 4194304 4196468 140726030985984 140149155750792 140149701346125 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14039] ppid=13996 vsize=13801768 CPUtime=4.08 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14039/stat : 14039 (java) R 13996 13996 7102 0 -1 4202560 85 0 0 0 408 0 0 0 20 0 28 0 4642955 14133010432 49981 33554432000 4194304 4196468 140726030985984 140149153645544 140149357690018 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14040] ppid=13996 vsize=13801768 CPUtime=3.67 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14040/stat : 14040 (java) R 13996 13996 7102 0 -1 4202560 114 0 0 0 367 0 0 0 20 0 28 0 4642955 14133010432 49981 33554432000 4194304 4196468 140726030985984 140149161015880 140149357749591 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14041] ppid=13996 vsize=13801768 CPUtime=3.67 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14041/stat : 14041 (java) R 13996 13996 7102 0 -1 4202560 152 0 0 0 367 0 0 0 20 0 28 0 4642955 14133010432 49981 33554432000 4194304 4196468 140726030985984 140149156803000 140149357690018 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 Current children cumulated CPU time (s) 37.05 Current children cumulated vsize (KiB) 13811280 [startup+5.30154 s] /proc/loadavg: 15.48 14.63 14.14 12/292 14129 /proc/meminfo: memFree=31209596/32770624 swapFree=5656/332276 [pid=13996] ppid=13993 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13996/stat : 13996 (xcsp3-exec) S 13993 13996 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4642877 9740288 346 33554432000 4194304 5098028 140724333341344 140724333339448 140432357536380 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 10424320 140724333347982 140724333348192 140724333348192 140724333350891 0 /proc/13996/statm: 2378 346 289 221 0 87 0 [pid=13997] ppid=13996 vsize=13801768 CPUtime=37.81 cores=0,2,4,6,8,10,12,14 /proc/13997/stat : 13997 (java) S 13996 13996 7102 0 -1 1077944320 24032 0 0 0 3763 18 0 0 20 0 28 0 4642878 14133010432 51261 33554432000 4194304 4196468 140726030985984 140726030968528 140149716135671 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 /proc/13997/statm: 3450442 51261 3277 1 0 3437675 0 [pid=13997/tid=13998] ppid=13996 vsize=13801768 CPUtime=0.7 cores=0,2,4,6,8,10,12,14 /proc/13997/task/13998/stat : 13998 (java) S 13996 13996 7102 0 -1 1077944384 6445 0 0 0 68 2 0 0 20 0 28 0 4642878 14133010432 51261 33554432000 4194304 4196468 140726030985984 140149720376448 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14000] ppid=13996 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14000/stat : 14000 (java) S 13996 13996 7102 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 28 0 4642879 14133010432 51261 33554432000 4194304 4196468 140726030985984 140149683694096 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14001] ppid=13996 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14001/stat : 14001 (java) S 13996 13996 7102 0 -1 1077944384 223 0 0 0 2 0 0 0 20 0 28 0 4642879 14133010432 51261 33554432000 4194304 4196468 140726030985984 140149313964688 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14002] ppid=13996 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14002/stat : 14002 (java) S 13996 13996 7102 0 -1 1077944384 871 0 0 0 1 1 0 0 20 0 28 0 4642879 14133010432 51261 33554432000 4194304 4196468 140726030985984 140149312911632 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14003] ppid=13996 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14003/stat : 14003 (java) S 13996 13996 7102 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 28 0 4642879 14133010432 51261 33554432000 4194304 4196468 140726030985984 140149311859088 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14004] ppid=13996 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14004/stat : 14004 (java) S 13996 13996 7102 0 -1 1077944384 51 0 0 0 1 1 0 0 20 0 28 0 4642879 14133010432 51261 33554432000 4194304 4196468 140726030985984 140149310807056 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14005] ppid=13996 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14005/stat : 14005 (java) S 13996 13996 7102 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 28 0 4642879 14133010432 51261 33554432000 4194304 4196468 140726030985984 140149309754512 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14006] ppid=13996 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14006/stat : 14006 (java) S 13996 13996 7102 0 -1 1077944384 101 0 0 0 1 1 0 0 20 0 28 0 4642879 14133010432 51261 33554432000 4194304 4196468 140726030985984 140149308701456 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14007] ppid=13996 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14007/stat : 14007 (java) S 13996 13996 7102 0 -1 1077944384 93 0 0 0 1 1 0 0 20 0 28 0 4642879 14133010432 51261 33554432000 4194304 4196468 140726030985984 140149307648912 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14008] ppid=13996 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14008/stat : 14008 (java) S 13996 13996 7102 0 -1 1077944384 245 0 0 0 1 0 0 0 20 0 28 0 4642881 14133010432 51261 33554432000 4194304 4196468 140726030985984 140149178501360 140149716146818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14009] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14009/stat : 14009 (java) S 13996 13996 7102 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4642882 14133010432 51261 33554432000 4194304 4196468 140726030985984 140149177447584 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14010] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14010/stat : 14010 (java) S 13996 13996 7102 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4642882 14133010432 51261 33554432000 4194304 4196468 140726030985984 140149176394480 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14011] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14011/stat : 14011 (java) S 13996 13996 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4642886 14133010432 51261 33554432000 4194304 4196468 140726030985984 140149175343056 140149716154267 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14012] ppid=13996 vsize=13801768 CPUtime=1.38 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14012/stat : 14012 (java) S 13996 13996 7102 0 -1 1077944384 2609 0 0 0 137 1 0 0 20 0 28 0 4642886 14133010432 51261 33554432000 4194304 4196468 140726030985984 140149174291184 140149716146818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14013] ppid=13996 vsize=13801768 CPUtime=1.61 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14013/stat : 14013 (java) S 13996 13996 7102 0 -1 1077944384 3244 0 0 0 161 0 0 0 20 0 28 0 4642886 14133010432 51261 33554432000 4194304 4196468 140726030985984 140149173238640 140149716146818 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14014] ppid=13996 vsize=13801768 CPUtime=1.47 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14014/stat : 14014 (java) S 13996 13996 7102 0 -1 1077944384 3153 0 0 0 147 0 0 0 20 0 28 0 4642886 14133010432 51261 33554432000 4194304 4196468 140726030985984 140149172185584 140149716146818 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14015] ppid=13996 vsize=13801768 CPUtime=0.81 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14015/stat : 14015 (java) S 13996 13996 7102 0 -1 1077944384 3589 0 0 0 80 1 0 0 20 0 28 0 4642886 14133010432 51261 33554432000 4194304 4196468 140726030985984 140149171133040 140149716146818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14016] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14016/stat : 14016 (java) S 13996 13996 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4642886 14133010432 51261 33554432000 4194304 4196468 140726030985984 140149170080224 140149716145877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14017] ppid=13996 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14017/stat : 14017 (java) S 13996 13996 7102 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 28 0 4642887 14133010432 51261 33554432000 4194304 4196468 140726030985984 140149169027760 140149716146818 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14034] ppid=13996 vsize=13801768 CPUtime=3.83 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14034/stat : 14034 (java) R 13996 13996 7102 0 -1 4202560 152 0 0 0 383 0 0 0 20 0 28 0 4642955 14133010432 51261 33554432000 4194304 4196468 140726030985984 140149157853992 140149358234788 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14035] ppid=13996 vsize=13801768 CPUtime=3.95 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14035/stat : 14035 (java) R 13996 13996 7102 0 -1 4202560 138 0 0 0 395 0 0 0 20 0 28 0 4642955 14133010432 51261 33554432000 4194304 4196468 140726030985984 140149154697736 140149358184707 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14036] ppid=13996 vsize=13801768 CPUtime=3.96 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14036/stat : 14036 (java) R 13996 13996 7102 0 -1 4202560 495 0 0 0 396 0 0 0 20 0 28 0 4642955 14133010432 51261 33554432000 4194304 4196468 140726030985984 140149159961112 140149358588161 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14037] ppid=13996 vsize=13801768 CPUtime=3.98 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14037/stat : 14037 (java) R 13996 13996 7102 0 -1 4202560 195 0 0 0 398 0 0 0 20 0 28 0 4642955 14133010432 51261 33554432000 4194304 4196468 140726030985984 140149158908536 140149359685212 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14038] ppid=13996 vsize=13801768 CPUtime=3.99 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14038/stat : 14038 (java) R 13996 13996 7102 0 -1 4202560 78 0 0 0 399 0 0 0 20 0 28 0 4642955 14133010432 51261 33554432000 4194304 4196468 140726030985984 140149155750760 140149357689991 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14039] ppid=13996 vsize=13801768 CPUtime=4.16 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14039/stat : 14039 (java) R 13996 13996 7102 0 -1 4202560 85 0 0 0 416 0 0 0 20 0 28 0 4642955 14133010432 51261 33554432000 4194304 4196468 140726030985984 140149153645544 140149357690126 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14040] ppid=13996 vsize=13801768 CPUtime=3.76 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14040/stat : 14040 (java) R 13996 13996 7102 0 -1 4202560 114 0 0 0 376 0 0 0 20 0 28 0 4642955 14133010432 51261 33554432000 4194304 4196468 140726030985984 140149161013344 140149358587831 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 [pid=13997/tid=14041] ppid=13996 vsize=13801768 CPUtime=3.76 cores=0,2,4,6,8,10,12,14 /proc/13997/task/14041/stat : 14041 (java) R 13996 13996 7102 0 -1 4202560 152 0 0 0 376 0 0 0 20 0 28 0 4642955 14133010432 51261 33554432000 4194304 4196468 140726030985984 140149156804416 140149357877578 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140726030988476 140726030988652 140726030988652 140726030991311 0 Current children cumulated CPU time (s) 37.81 Current children cumulated vsize (KiB) 13811280 Child status: 0 Real time (s): 5.31829 CPU time (s): 37.916 CPU user time (s): 37.7215 CPU system time (s): 0.194511 CPU usage (%): 712.937 Max. virtual memory (cumulated for all children) (KiB): 13811280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 37.7215 system time used= 0.194511 maximum resident set size= 206088 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24859 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4168 involuntary context switches= 3077 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.070032 second user time and 0.075788 second system time The end
Begin job on node130 at 2017-07-22 05:22:34 IDJOB=4249006 IDBENCH=134887 IDSOLVER=2626 FILE ID=node130/4249006-1500693754 RUNJOBID= node130-1500684118-8559 PBS_JOBID= 20623029 Free space on /tmp= 61952 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-dimacs/Pb-ii08a1.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4249006-1500693754/watcher-4249006-1500693754 -o /tmp/evaluation-result-4249006-1500693754/solver-4249006-1500693754 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8559 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1081257318 HOME/instance-4249006-1500693754.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= aab50c75b1dbb6e151cbb105b2b246fa RANDOM SEED=1081257318 node130.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 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.34 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 : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.34 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 : 8 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 : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 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.34 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 : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.34 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 : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.34 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 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 : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.34 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 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 : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.34 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 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 : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.34 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 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 : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 30940124 kB MemAvailable: 31151904 kB Buffers: 120272 kB Cached: 373452 kB SwapCached: 0 kB Active: 1054676 kB Inactive: 341416 kB Active(anon): 905260 kB Inactive(anon): 8888 kB Active(file): 149416 kB Inactive(file): 332528 kB Unevictable: 5656 kB Mlocked: 5656 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8160 kB Writeback: 0 kB AnonPages: 908348 kB Mapped: 42680 kB Shmem: 8844 kB Slab: 125452 kB SReclaimable: 91344 kB SUnreclaim: 34108 kB KernelStack: 4688 kB PageTables: 7204 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1507204 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 784384 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 61944 MiB End job on node130 at 2017-07-22 05:22:39