Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | SAT | 4.67497 | 1.17735 |
Name | MisteryShopper/ MisteryShopper-06a_c18.xml |
MD5SUM | d439f32f21550c494657491318660cd8 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 4.67497 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 384 |
Number of constraints | 257 |
Number of domains | 3 |
Minimum domain size | 4 |
Maximum domain size | 24 |
Distribution of domain sizes | [{"size":4,"count":96},{"size":5,"count":96},{"size":24,"count":192}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":192},{"degree":3,"count":96},{"degree":4,"count":80},{"degree":5,"count":16}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 96 |
Distribution of constraint arities | [{"arity":2,"count":192},{"arity":4,"count":52},{"arity":24,"count":8},{"arity":48,"count":4},{"arity":96,"count":1}] |
Number of extensional constraints | 192 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":192},{"type":"allDifferent","count":56},{"type":"ordered","count":4},{"type":"lex","count":1},{"type":"channel","count":4}] |
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-4297833-1532718432.xml" -tl '20160s' -p 8 0.11/0.18 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297833-1532718432.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 2.78/0.91 c solve instance... 4.27/1.15 s SATISFIABLE 4.27/1.15 v <instantiation> 4.27/1.15 v <list>vr[0][0] vr[0][1] vr[0][2] vr[0][3] vr[1][0] vr[1][1] vr[1][2] vr[1][3] vr[2][0] vr[2][1] vr[2][2] vr[2][3] vr[3][0] vr[3][1] vr[3][2] vr[3][3] vr[4][0] vr[4][1] vr[4][2] vr[4][3] vr[5][0] vr[5][1] vr[5][2] vr[5][3] vr[6][0] vr[6][1] vr[6][2] vr[6][3] vr[7][0] vr[7][1] vr[7][2] vr[7][3] vr[8][0] vr[8][1] vr[8][2] vr[8][3] vr[9][0] vr[9][1] vr[9][2] vr[9][3] vr[10][0] vr[10][1] vr[10][2] vr[10][3] vr[11][0] vr[11][1] vr[11][2] vr[11][3] vr[12][0] vr[12][1] vr[12][2] vr[12][3] vr[13][0] vr[13][1] vr[13][2] vr[13][3] vr[14][0] vr[14][1] vr[14][2] vr[14][3] vr[15][0] vr[15][1] vr[15][2] vr[15][3] vr[16][0] vr[16][1] vr[16][2] vr[16][3] vr[17][0] vr[17][1] vr[17][2] vr[17][3] vr[18][0] vr[18][1] vr[18][2] vr[18][3] vr[19][0] vr[19][1] vr[19][2] vr[19][3] vr[20][0] vr[20][1] vr[20][2] vr[20][3] vr[21][0] vr[21][1] vr[21][2] vr[21][3] vr[22][0] vr[22][1] vr[22][2] vr[22][3] vr[23][0] vr[23][1] vr[23][2] vr[23][3] ve[0][0] ve[0][1] ve[0][2] ve[0][3] ve[1][0] ve[1][1] ve[1][2] ve[1][3] ve[2][0] ve[2][1] ve[2][2] ve[2][3] ve[3][0] ve[3][1] ve[3][2] ve[3][3] ve[4][0] ve[4][1] ve[4][2] ve[4][3] ve[5][0] ve[5][1] ve[5][2] ve[5][3] ve[6][0] ve[6][1] ve[6][2] ve[6][3] ve[7][0] ve[7][1] ve[7][2] ve[7][3] ve[8][0] ve[8][1] ve[8][2] ve[8][3] ve[9][0] ve[9][1] ve[9][2] ve[9][3] ve[10][0] ve[10][1] ve[10][2] ve[10][3] ve[11][0] ve[11][1] ve[11][2] ve[11][3] ve[12][0] ve[12][1] ve[12][2] ve[12][3] ve[13][0] ve[13][1] ve[13][2] ve[13][3] ve[14][0] ve[14][1] ve[14][2] ve[14][3] ve[15][0] ve[15][1] ve[15][2] ve[15][3] ve[16][0] ve[16][1] ve[16][2] ve[16][3] ve[17][0] ve[17][1] ve[17][2] ve[17][3] ve[18][0] ve[18][1] ve[18][2] ve[18][3] ve[19][0] ve[19][1] ve[19][2] ve[19][3] ve[20][0] ve[20][1] ve[20][2] ve[20][3] ve[21][0] ve[21][1] ve[21][2] ve[21][3] ve[22][0] ve[22][1] ve[22][2] ve[22][3] ve[23][0] ve[23][1] ve[23][2] ve[23][3] gvr[0][0] gvr[0][1] gvr[0][2] gvr[0][3] gvr[1][0] gvr[1][1] gvr[1][2] gvr[1][3] gvr[2][0] gvr[2][1] gvr[2][2] gvr[2][3] gvr[3][0] gvr[3][1] gvr[3][2] gvr[3][3] gvr[4][0] gvr[4][1] gvr[4][2] gvr[4][3] gvr[5][0] gvr[5][1] gvr[5][2] gvr[5][3] gvr[6][0] gvr[6][1] gvr[6][2] gvr[6][3] gvr[7][0] gvr[7][1] gvr[7][2] gvr[7][3] gvr[8][0] gvr[8][1] gvr[8][2] gvr[8][3] gvr[9][0] gvr[9][1] gvr[9][2] gvr[9][3] gvr[10][0] gvr[10][1] gvr[10][2] gvr[10][3] gvr[11][0] gvr[11][1] gvr[11][2] gvr[11][3] gvr[12][0] gvr[12][1] gvr[12][2] gvr[12][3] gvr[13][0] gvr[13][1] gvr[13][2] gvr[13][3] gvr[14][0] gvr[14][1] gvr[14][2] gvr[14][3] gvr[15][0] gvr[15][1] gvr[15][2] gvr[15][3] gvr[16][0] gvr[16][1] gvr[16][2] gvr[16][3] gvr[17][0] gvr[17][1] gvr[17][2] gvr[17][3] gvr[18][0] gvr[18][1] gvr[18][2] gvr[18][3] gvr[19][0] gvr[19][1] gvr[19][2] gvr[19][3] gvr[20][0] gvr[20][1] gvr[20][2] gvr[20][3] gvr[21][0] gvr[21][1] gvr[21][2] gvr[21][3] gvr[22][0] gvr[22][1] gvr[22][2] gvr[22][3] gvr[23][0] gvr[23][1] gvr[23][2] gvr[23][3] gve[0][0] gve[0][1] gve[0][2] gve[0][3] gve[1][0] gve[1][1] gve[1][2] gve[1][3] gve[2][0] gve[2][1] gve[2][2] gve[2][3] gve[3][0] gve[3][1] gve[3][2] gve[3][3] gve[4][0] gve[4][1] gve[4][2] gve[4][3] gve[5][0] gve[5][1] gve[5][2] gve[5][3] gve[6][0] gve[6][1] gve[6][2] gve[6][3] gve[7][0] gve[7][1] gve[7][2] gve[7][3] gve[8][0] gve[8][1] gve[8][2] gve[8][3] gve[9][0] gve[9][1] gve[9][2] gve[9][3] gve[10][0] gve[10][1] gve[10][2] gve[10][3] gve[11][0] gve[11][1] gve[11][2] gve[11][3] gve[12][0] gve[12][1] gve[12][2] gve[12][3] gve[13][0] gve[13][1] gve[13][2] gve[13][3] gve[14][0] gve[14][1] gve[14][2] gve[14][3] gve[15][0] gve[15][1] gve[15][2] gve[15][3] gve[16][0] gve[16][1] gve[16][2] gve[16][3] gve[17][0] gve[17][1] gve[17][2] gve[17][3] gve[18][0] gve[18][1] gve[18][2] gve[18][3] gve[19][0] gve[19][1] gve[19][2] gve[19][3] gve[20][0] gve[20][1] gve[20][2] gve[20][3] gve[21][0] gve[21][1] gve[21][2] gve[21][3] gve[22][0] gve[22][1] gve[22][2] gve[22][3] gve[23][0] gve[23][1] gve[23][2] gve[23][3] </list> 4.27/1.16 v <values>0 6 12 18 1 7 13 19 2 8 14 20 3 9 15 21 4 10 16 22 5 11 17 23 6 0 18 12 7 1 19 13 8 2 20 14 9 3 21 15 10 4 22 16 11 5 23 17 12 18 0 6 13 19 1 7 14 20 2 8 15 21 3 9 16 22 4 10 17 23 5 11 18 12 6 0 19 13 7 1 20 14 8 2 21 15 9 3 22 16 10 4 23 17 11 5 0 6 12 18 1 7 13 19 2 8 14 20 3 9 15 21 4 10 16 22 5 11 17 23 6 0 18 12 7 1 19 13 8 2 20 14 9 3 21 15 10 4 22 16 11 5 23 17 12 18 0 6 13 19 1 7 14 20 2 8 15 21 3 9 16 22 4 10 17 23 5 11 18 12 6 0 19 13 7 1 20 14 8 2 21 15 9 3 22 16 10 4 23 17 11 5 0 1 2 3 0 1 2 3 0 1 2 3 0 1 2 3 0 1 2 3 0 1 2 3 1 0 3 2 1 0 3 2 1 0 3 2 1 0 3 2 1 0 3 2 1 0 3 2 2 3 0 1 2 3 0 1 2 3 0 1 2 3 0 1 2 3 0 1 2 3 0 1 3 2 1 0 3 2 1 0 3 2 1 0 3 2 1 0 3 2 1 0 3 2 1 0 0 1 2 3 0 1 2 3 0 1 2 4 0 2 3 4 0 2 3 4 1 2 3 4 1 0 3 2 1 0 3 2 1 0 4 2 2 0 4 3 2 0 4 3 2 1 4 3 2 3 0 1 2 3 0 1 2 4 0 1 3 4 0 2 3 4 0 2 3 4 1 2 3 2 1 0 3 2 1 0 4 2 1 0 4 3 2 0 4 3 2 0 4 3 2 1 </values> 4.27/1.16 v </instantiation>
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (11676 MiB free) memory of node 1: 16384 MiB (15864 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297833-1532718432/watcher-4297833-1532718432 -o /tmp/evaluation-result-4297833-1532718432/solver-4297833-1532718432 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1532710827-19234 --watchdog 2580 HOME/xcsp3-exec -seed 1470444047 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297833-1532718432.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=22603, runsolver pid=22600 Current StackSize limit: 8192 KiB [startup+0.100151 s]* /proc/loadavg: 6.84 7.89 7.64 2/199 22624 /proc/meminfo: memFree=28186820/32770624 swapFree=67108860/67108860 [pid=22603] ppid=22600 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22603/stat : 22603 (xcsp3-exec) S 22600 22603 19207 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89406341 115843072 363 33554432000 4194304 5098028 140734741523440 140734741521544 140686990201468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7843840 140734741529653 140734741529856 140734741529856 140734741532618 0 /proc/22603/statm: 28282 363 306 221 0 87 0 [pid=22605] ppid=22603 vsize=26104152 memory=27452 CPUtime=0.11 cores=0-7 /proc/22605/stat : 22605 (java) S 22603 22603 19207 0 -1 1077944320 5791 0 0 0 10 1 0 0 20 0 20 0 89406341 26730651648 6863 33554432000 4194304 4196468 140729440984800 140729440967344 139920205995767 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 /proc/22605/statm: 6526038 6863 2999 1 0 6488315 0 [pid=22605/tid=22606] ppid=22603 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/22605/task/22606/stat : 22606 (java) R 22603 22603 19207 0 -1 4202560 3801 0 0 0 8 1 0 0 20 0 20 0 89406342 26730651648 6863 33554432000 4194304 4196468 140729440984800 139920210214744 139920206017693 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22607] ppid=22603 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/22605/task/22607/stat : 22607 (java) S 22603 22603 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89406343 26730651648 6863 33554432000 4194304 4196468 140729440984800 139920171276816 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22608] ppid=22603 vsize=26104152 memory=139871421138560 CPUtime=0 cores=0-7 /proc/22605/task/22608/stat : 22608 (java) S 22603 22603 19207 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89406343 26730651648 6863 33554432000 4194304 4196468 140729440984800 139919762967184 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22609] ppid=22603 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22609/stat : 22609 (java) S 22603 22603 19207 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89406343 26730651648 6863 33554432000 4194304 4196468 140729440984800 139919761914128 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22610] ppid=22603 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22610/stat : 22610 (java) S 22603 22603 19207 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89406343 26730651648 6863 33554432000 4194304 4196468 140729440984800 139919760861584 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22611] ppid=22603 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22611/stat : 22611 (java) S 22603 22603 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89406343 26730651648 6863 33554432000 4194304 4196468 140729440984800 139919759809552 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22612] ppid=22603 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/22605/task/22612/stat : 22612 (java) S 22603 22603 19207 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89406343 26730651648 6863 33554432000 4194304 4196468 140729440984800 139919758757008 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22613] ppid=22603 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22613/stat : 22613 (java) S 22603 22603 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89406343 26730651648 6863 33554432000 4194304 4196468 140729440984800 139919757703952 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22614] ppid=22603 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22614/stat : 22614 (java) S 22603 22603 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89406343 26730651648 6863 33554432000 4194304 4196468 140729440984800 139919756651408 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22615] ppid=22603 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22615/stat : 22615 (java) S 22603 22603 19207 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89406344 26730651648 6863 33554432000 4194304 4196468 140729440984800 139919601723632 139920206006914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22616] ppid=22603 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22616/stat : 22616 (java) S 22603 22603 19207 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89406345 26730651648 6863 33554432000 4194304 4196468 140729440984800 139919600669856 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22617] ppid=22603 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22617/stat : 22617 (java) S 22603 22603 19207 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89406345 26730651648 6863 33554432000 4194304 4196468 140729440984800 139919599616752 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22618] ppid=22603 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22618/stat : 22618 (java) S 22603 22603 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89406347 26730651648 6863 33554432000 4194304 4196468 140729440984800 139919598565328 139920206014363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22619] ppid=22603 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22619/stat : 22619 (java) S 22603 22603 19207 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 89406347 26730651648 6863 33554432000 4194304 4196468 140729440984800 139919597513456 139920206006914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22620] ppid=22603 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22620/stat : 22620 (java) S 22603 22603 19207 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89406347 26730651648 6863 33554432000 4194304 4196468 140729440984800 139919596460912 139920206006914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22621] ppid=22603 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22621/stat : 22621 (java) S 22603 22603 19207 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 89406347 26730651648 6863 33554432000 4194304 4196468 140729440984800 139919595407856 139920206006914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22622] ppid=22603 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/22605/task/22622/stat : 22622 (java) R 22603 22603 19207 0 -1 4202560 252 0 0 0 1 0 0 0 20 0 20 0 89406347 26730651648 6863 33554432000 4194304 4196468 140729440984800 139919594355312 139920185116291 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22623] ppid=22603 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22623/stat : 22623 (java) S 22603 22603 19207 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89406348 26730651648 6863 33554432000 4194304 4196468 140729440984800 139919593302496 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22624] ppid=22603 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/22605/task/22624/stat : 22624 (java) S 22603 22603 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89406348 26730651648 6863 33554432000 4194304 4196468 140729440984800 139919592250032 139920206006914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 28904 KiB [startup+0.210248 s]* /proc/loadavg: 6.84 7.89 7.64 2/199 22624 /proc/meminfo: memFree=28175268/32770624 swapFree=67108860/67108860 [pid=22603] ppid=22600 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22603/stat : 22603 (xcsp3-exec) S 22600 22603 19207 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89406341 115843072 363 33554432000 4194304 5098028 140734741523440 140734741521544 140686990201468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7843840 140734741529653 140734741529856 140734741529856 140734741532618 0 /proc/22603/statm: 28282 363 306 221 0 87 0 [pid=22605] ppid=22603 vsize=26104152 memory=39772 CPUtime=0.33 cores=0-7 /proc/22605/stat : 22605 (java) S 22603 22603 19207 0 -1 1077944320 8532 0 0 0 31 2 0 0 20 0 20 0 89406341 26730651648 9943 33554432000 4194304 4196468 140729440984800 140729440967344 139920205995767 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 /proc/22605/statm: 6526038 9943 3200 1 0 6488315 0 [pid=22605/tid=22606] ppid=22603 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/22605/task/22606/stat : 22606 (java) R 22603 22603 19207 0 -1 4202560 5623 0 0 0 18 1 0 0 20 0 20 0 89406342 26730651648 9943 33554432000 4194304 4196468 140729440984800 139920210229888 139920190076254 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22607] ppid=22603 vsize=26104152 memory=327 CPUtime=0 cores=0-7 /proc/22605/task/22607/stat : 22607 (java) S 22603 22603 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89406343 26730651648 9943 33554432000 4194304 4196468 140729440984800 139920171276816 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22608] ppid=22603 vsize=26104152 memory=139871421631018 CPUtime=0 cores=0-7 /proc/22605/task/22608/stat : 22608 (java) S 22603 22603 19207 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89406343 26730651648 9943 33554432000 4194304 4196468 140729440984800 139919762967184 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22609] ppid=22603 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/22605/task/22609/stat : 22609 (java) S 22603 22603 19207 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89406343 26730651648 9943 33554432000 4194304 4196468 140729440984800 139919761914128 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22610] ppid=22603 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22610/stat : 22610 (java) S 22603 22603 19207 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89406343 26730651648 9943 33554432000 4194304 4196468 140729440984800 139919760861584 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22611] ppid=22603 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22611/stat : 22611 (java) S 22603 22603 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89406343 26730651648 9943 33554432000 4194304 4196468 140729440984800 139919759809552 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22612] ppid=22603 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/22605/task/22612/stat : 22612 (java) S 22603 22603 19207 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89406343 26730651648 9943 33554432000 4194304 4196468 140729440984800 139919758757008 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22613] ppid=22603 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22613/stat : 22613 (java) S 22603 22603 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89406343 26730651648 9943 33554432000 4194304 4196468 140729440984800 139919757703952 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22614] ppid=22603 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22614/stat : 22614 (java) S 22603 22603 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89406343 26730651648 9943 33554432000 4194304 4196468 140729440984800 139919756651408 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22615] ppid=22603 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22615/stat : 22615 (java) S 22603 22603 19207 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89406344 26730651648 9943 33554432000 4194304 4196468 140729440984800 139919601723632 139920206006914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22616] ppid=22603 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22616/stat : 22616 (java) S 22603 22603 19207 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89406345 26730651648 9943 33554432000 4194304 4196468 140729440984800 139919600669856 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22617] ppid=22603 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22617/stat : 22617 (java) S 22603 22603 19207 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89406345 26730651648 9943 33554432000 4194304 4196468 140729440984800 139919599616752 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22618] ppid=22603 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22618/stat : 22618 (java) S 22603 22603 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89406347 26730651648 9943 33554432000 4194304 4196468 140729440984800 139919598565328 139920206014363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22619] ppid=22603 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/22605/task/22619/stat : 22619 (java) S 22603 22603 19207 0 -1 1077944384 623 0 0 0 1 0 0 0 20 0 20 0 89406347 26730651648 9943 33554432000 4194304 4196468 140729440984800 139919597513456 139920206006914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22620] ppid=22603 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/22605/task/22620/stat : 22620 (java) S 22603 22603 19207 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 20 0 89406347 26730651648 9943 33554432000 4194304 4196468 140729440984800 139919596460912 139920206006914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22621] ppid=22603 vsize=26104152 memory=-1 CPUtime=0.02 cores=0-7 /proc/22605/task/22621/stat : 22621 (java) S 22603 22603 19207 0 -1 1077944384 221 0 0 0 2 0 0 0 20 0 20 0 89406347 26730651648 9943 33554432000 4194304 4196468 140729440984800 139919595407856 139920206006914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22622] ppid=22603 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7 /proc/22605/task/22622/stat : 22622 (java) S 22603 22603 19207 0 -1 1077944384 707 0 0 0 7 0 0 0 20 0 20 0 89406347 26730651648 9943 33554432000 4194304 4196468 140729440984800 139919594355312 139920206006914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22623] ppid=22603 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22623/stat : 22623 (java) S 22603 22603 19207 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89406348 26730651648 9943 33554432000 4194304 4196468 140729440984800 139919593302496 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22624] ppid=22603 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/22605/task/22624/stat : 22624 (java) S 22603 22603 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89406348 26730651648 9943 33554432000 4194304 4196468 140729440984800 139919592250032 139920206006914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 41224 KiB [startup+0.310213 s]* /proc/loadavg: 6.84 7.89 7.64 5/199 22624 /proc/meminfo: memFree=28169252/32770624 swapFree=67108860/67108860 [pid=22603] ppid=22600 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22603/stat : 22603 (xcsp3-exec) S 22600 22603 19207 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89406341 115843072 363 33554432000 4194304 5098028 140734741523440 140734741521544 140686990201468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7843840 140734741529653 140734741529856 140734741529856 140734741532618 0 /proc/22603/statm: 28282 363 306 221 0 87 0 [pid=22605] ppid=22603 vsize=26108408 memory=46552 CPUtime=0.52 cores=0-7 /proc/22605/stat : 22605 (java) S 22603 22603 19207 0 -1 1077944320 9377 0 0 0 48 4 0 0 20 0 20 0 89406341 26735009792 11638 33554432000 4194304 4196468 140729440984800 140729440967344 139920205995767 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 /proc/22605/statm: 6527102 11638 3251 1 0 6488315 0 [pid=22605/tid=22606] ppid=22603 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/22605/task/22606/stat : 22606 (java) R 22603 22603 19207 0 -1 4202560 6300 0 0 0 27 2 0 0 20 0 20 0 89406342 26735009792 11638 33554432000 4194304 4196468 140729440984800 139920210226880 139920190076254 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22607] ppid=22603 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22607/stat : 22607 (java) S 22603 22603 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89406343 26735009792 11638 33554432000 4194304 4196468 140729440984800 139920171276816 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22608] ppid=22603 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22608/stat : 22608 (java) S 22603 22603 19207 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89406343 26735009792 11638 33554432000 4194304 4196468 140729440984800 139919762967184 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22609] ppid=22603 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22609/stat : 22609 (java) S 22603 22603 19207 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89406343 26735009792 11638 33554432000 4194304 4196468 140729440984800 139919761914128 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22610] ppid=22603 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22610/stat : 22610 (java) S 22603 22603 19207 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89406343 26735009792 11638 33554432000 4194304 4196468 140729440984800 139919760861584 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22611] ppid=22603 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/22605/task/22611/stat : 22611 (java) S 22603 22603 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89406343 26735009792 11638 33554432000 4194304 4196468 140729440984800 139919759809552 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22612] ppid=22603 vsize=26108408 memory=139871314342831 CPUtime=0 cores=0-7 /proc/22605/task/22612/stat : 22612 (java) S 22603 22603 19207 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89406343 26735009792 11638 33554432000 4194304 4196468 140729440984800 139919758757008 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22613] ppid=22603 vsize=26108408 memory=139871314345136 CPUtime=0 cores=0-7 /proc/22605/task/22613/stat : 22613 (java) S 22603 22603 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89406343 26735009792 11638 33554432000 4194304 4196468 140729440984800 139919757703952 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22614] ppid=22603 vsize=26108408 memory=139871314347440 CPUtime=0 cores=0-7 /proc/22605/task/22614/stat : 22614 (java) S 22603 22603 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89406343 26735009792 11638 33554432000 4194304 4196468 140729440984800 139919756651408 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22615] ppid=22603 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22615/stat : 22615 (java) S 22603 22603 19207 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89406344 26735009792 11638 33554432000 4194304 4196468 140729440984800 139919601723632 139920206006914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22616] ppid=22603 vsize=26108408 memory=279742628701840 CPUtime=0 cores=0-7 /proc/22605/task/22616/stat : 22616 (java) S 22603 22603 19207 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89406345 26735009792 11693 33554432000 4194304 4196468 140729440984800 139919600669856 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22617] ppid=22603 vsize=26108408 memory=279742628708752 CPUtime=0 cores=0-7 /proc/22605/task/22617/stat : 22617 (java) S 22603 22603 19207 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89406345 26735009792 11693 33554432000 4194304 4196468 140729440984800 139919599616752 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22618] ppid=22603 vsize=26108408 memory=279742628650000 CPUtime=0 cores=0-7 /proc/22605/task/22618/stat : 22618 (java) S 22603 22603 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89406347 26735009792 11693 33554432000 4194304 4196468 140729440984800 139919598565328 139920206014363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22619] ppid=22603 vsize=26108408 memory=279742628722576 CPUtime=0.01 cores=0-7 /proc/22605/task/22619/stat : 22619 (java) S 22603 22603 19207 0 -1 1077944384 634 0 0 0 1 0 0 0 20 0 20 0 89406347 26735009792 11693 33554432000 4194304 4196468 140729440984800 139919597513456 139920206006914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22620] ppid=22603 vsize=26108408 memory=279742628729488 CPUtime=0.03 cores=0-7 /proc/22605/task/22620/stat : 22620 (java) R 22603 22603 19207 0 -1 4202560 145 0 0 0 3 0 0 0 20 0 20 0 89406347 26735009792 11693 33554432000 4194304 4196468 140729440984800 139919596443280 139920192010076 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22621] ppid=22603 vsize=26108408 memory=279742628727184 CPUtime=0.03 cores=0-7 /proc/22605/task/22621/stat : 22621 (java) S 22603 22603 19207 0 -1 1077944384 221 0 0 0 3 0 0 0 20 0 20 0 89406347 26735009792 11693 33554432000 4194304 4196468 140729440984800 139919595407856 139920206006914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22622] ppid=22603 vsize=26108408 memory=279742628743344 CPUtime=0.12 cores=0-7 /proc/22605/task/22622/stat : 22622 (java) S 22603 22603 19207 0 -1 1077944384 769 0 0 0 12 0 0 0 20 0 20 0 89406347 26735009792 11693 33554432000 4194304 4196468 140729440984800 139919594355312 139920206006914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22623] ppid=22603 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22623/stat : 22623 (java) S 22603 22603 19207 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89406348 26735009792 11693 33554432000 4194304 4196468 140729440984800 139919593302496 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22624] ppid=22603 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/22605/task/22624/stat : 22624 (java) S 22603 22603 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89406348 26735009792 11693 33554432000 4194304 4196468 140729440984800 139919592250032 139920206006914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 48004 KiB [startup+0.700944 s] /proc/loadavg: 6.37 7.77 7.60 6/199 22624 /proc/meminfo: memFree=28145316/32770624 swapFree=67108860/67108860 [pid=22603] ppid=22600 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22603/stat : 22603 (xcsp3-exec) S 22600 22603 19207 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89406341 115843072 363 33554432000 4194304 5098028 140734741523440 140734741521544 140686990201468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7843840 140734741529653 140734741529856 140734741529856 140734741532618 0 /proc/22603/statm: 28282 363 306 221 0 87 0 [pid=22605] ppid=22603 vsize=26110532 memory=95168 CPUtime=1.91 cores=0-7 /proc/22605/stat : 22605 (java) S 22603 22603 19207 0 -1 1077944320 14886 0 0 0 185 6 0 0 20 0 20 0 89406341 26737184768 23726 33554432000 4194304 4196468 140729440984800 140729440967344 139920205995767 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 /proc/22605/statm: 6527633 23792 3366 1 0 6488827 0 [pid=22605/tid=22606] ppid=22603 vsize=26110532 memory=279742629101232 CPUtime=0.67 cores=0-7 /proc/22605/task/22606/stat : 22606 (java) R 22603 22603 19207 0 -1 4202560 7187 0 0 0 64 3 0 0 20 0 20 0 89406342 26737184768 23792 33554432000 4194304 4196468 140729440984800 139920210234032 139919845585913 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22607] ppid=22603 vsize=26110532 memory=139871314551664 CPUtime=0 cores=0-7 /proc/22605/task/22607/stat : 22607 (java) S 22603 22603 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89406343 26737184768 23792 33554432000 4194304 4196468 140729440984800 139920171276816 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22608] ppid=22603 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22608/stat : 22608 (java) S 22603 22603 19207 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89406343 26737184768 23792 33554432000 4194304 4196468 140729440984800 139919762967184 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22609] ppid=22603 vsize=26110532 memory=1020 CPUtime=0 cores=0-7 /proc/22605/task/22609/stat : 22609 (java) S 22603 22603 19207 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89406343 26737184768 23792 33554432000 4194304 4196468 140729440984800 139919761914128 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 ################ # More data... # ################ [pid=22605/tid=22614] ppid=22603 vsize=26110532 memory=-9178176117318312558 CPUtime=0 cores=0-7 /proc/22605/task/22614/stat : 22614 (java) S 22603 22603 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89406343 26737184768 31816 33554432000 4194304 4196468 140729440984800 139919756651408 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22615] ppid=22603 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22615/stat : 22615 (java) S 22603 22603 19207 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89406344 26737184768 31816 33554432000 4194304 4196468 140729440984800 139919601723632 139920206006914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22616] ppid=22603 vsize=26110532 memory=1520 CPUtime=0 cores=0-7 /proc/22605/task/22616/stat : 22616 (java) S 22603 22603 19207 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89406345 26737184768 31816 33554432000 4194304 4196468 140729440984800 139919600669856 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22617] ppid=22603 vsize=26110532 memory=844 CPUtime=0 cores=0-7 /proc/22605/task/22617/stat : 22617 (java) S 22603 22603 19207 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89406345 26737184768 31816 33554432000 4194304 4196468 140729440984800 139919599616752 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22618] ppid=22603 vsize=26110532 memory=3360 CPUtime=0 cores=0-7 /proc/22605/task/22618/stat : 22618 (java) S 22603 22603 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89406347 26737184768 31816 33554432000 4194304 4196468 140729440984800 139919598565328 139920206014363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22619] ppid=22603 vsize=26110532 memory=2724 CPUtime=0.34 cores=0-7 /proc/22605/task/22619/stat : 22619 (java) R 22603 22603 19207 0 -1 4202560 1744 0 0 0 34 0 0 0 20 0 20 0 89406347 26737184768 31816 33554432000 4194304 4196468 140729440984800 139919597503840 139920187516832 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22620] ppid=22603 vsize=26110532 memory=1256 CPUtime=0.36 cores=0-7 /proc/22605/task/22620/stat : 22620 (java) R 22603 22603 19207 0 -1 4202560 1223 0 0 0 36 0 0 0 20 0 20 0 89406347 26737184768 31816 33554432000 4194304 4196468 140729440984800 139919596448192 139920206009671 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22621] ppid=22603 vsize=26110532 memory=10368 CPUtime=0.37 cores=0-7 /proc/22605/task/22621/stat : 22621 (java) R 22603 22603 19207 0 -1 4202560 1485 0 0 0 37 0 0 0 20 0 20 0 89406347 26737184768 31816 33554432000 4194304 4196468 140729440984800 139919595388872 139920183734240 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22622] ppid=22603 vsize=26110532 memory=1696 CPUtime=0.47 cores=0-7 /proc/22605/task/22622/stat : 22622 (java) S 22603 22603 19207 0 -1 1077944384 2355 0 0 0 47 0 0 0 20 0 20 0 89406347 26737184768 31816 33554432000 4194304 4196468 140729440984800 139919594355312 139920206006914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22623] ppid=22603 vsize=26110532 memory=1172 CPUtime=0 cores=0-7 /proc/22605/task/22623/stat : 22623 (java) S 22603 22603 19207 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89406348 26737184768 31816 33554432000 4194304 4196468 140729440984800 139919593302496 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22624] ppid=22603 vsize=26110532 memory=1812 CPUtime=0 cores=0-7 /proc/22605/task/22624/stat : 22624 (java) S 22603 22603 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89406348 26737184768 31816 33554432000 4194304 4196468 140729440984800 139919592250032 139920206006914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 Current children cumulated CPU time: 2.36 s Current children cumulated vsize: 26223660 KiB Current children cumulated memory: 128716 KiB [startup+1.00084 s]* /proc/loadavg: 6.37 7.77 7.60 10/207 22632 /proc/meminfo: memFree=28013668/32770624 swapFree=67108860/67108860 [pid=22603] ppid=22600 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22603/stat : 22603 (xcsp3-exec) S 22600 22603 19207 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89406341 115843072 363 33554432000 4194304 5098028 140734741523440 140734741521544 140686990201468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7843840 140734741529653 140734741529856 140734741529856 140734741532618 0 /proc/22603/statm: 28282 363 306 221 0 87 0 [pid=22605] ppid=22603 vsize=26643044 memory=201592 CPUtime=3.46 cores=0-7 /proc/22605/stat : 22605 (java) S 22603 22603 19207 0 -1 1077944320 16424 0 0 0 335 11 0 0 20 0 28 0 89406341 27282477056 50398 33554432000 4194304 4196468 140729440984800 140729440967344 139920205995767 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 /proc/22605/statm: 6660761 50398 3388 1 0 6621955 0 [pid=22605/tid=22606] ppid=22603 vsize=26643044 memory=0 CPUtime=0.89 cores=0-7 /proc/22605/task/22606/stat : 22606 (java) S 22603 22603 19207 0 -1 1077944384 7291 0 0 0 85 4 0 0 20 0 28 0 89406342 27282477056 50398 33554432000 4194304 4196468 140729440984800 139920210236544 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22607] ppid=22603 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22607/stat : 22607 (java) S 22603 22603 19207 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 89406343 27282477056 50398 33554432000 4194304 4196468 140729440984800 139920171276816 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22608] ppid=22603 vsize=26643044 memory=279742735420784 CPUtime=0 cores=0-7 /proc/22605/task/22608/stat : 22608 (java) S 22603 22603 19207 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 89406343 27282477056 50398 33554432000 4194304 4196468 140729440984800 139919762967184 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22609] ppid=22603 vsize=26643044 memory=-1 CPUtime=0 cores=0-7 /proc/22605/task/22609/stat : 22609 (java) S 22603 22603 19207 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 89406343 27282477056 50398 33554432000 4194304 4196468 140729440984800 139919761914128 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22610] ppid=22603 vsize=26643044 memory=7595711482659102107 CPUtime=0 cores=0-7 /proc/22605/task/22610/stat : 22610 (java) S 22603 22603 19207 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 28 0 89406343 27282477056 50398 33554432000 4194304 4196468 140729440984800 139919760861584 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22611] ppid=22603 vsize=26643044 memory=6945507666079274341 CPUtime=0 cores=0-7 /proc/22605/task/22611/stat : 22611 (java) S 22603 22603 19207 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 89406343 27282477056 50398 33554432000 4194304 4196468 140729440984800 139919759809552 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22612] ppid=22603 vsize=26643044 memory=3689913976284520503 CPUtime=0 cores=0-7 /proc/22605/task/22612/stat : 22612 (java) S 22603 22603 19207 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 89406343 27282477056 50398 33554432000 4194304 4196468 140729440984800 139919758757008 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22613] ppid=22603 vsize=26643044 memory=8318255677412212789 CPUtime=0 cores=0-7 /proc/22605/task/22613/stat : 22613 (java) S 22603 22603 19207 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 89406343 27282477056 50398 33554432000 4194304 4196468 140729440984800 139919757703952 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22614] ppid=22603 vsize=26643044 memory=288230604674433361 CPUtime=0 cores=0-7 /proc/22605/task/22614/stat : 22614 (java) S 22603 22603 19207 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 89406343 27282477056 50398 33554432000 4194304 4196468 140729440984800 139919756651408 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22615] ppid=22603 vsize=26643044 memory=343778 CPUtime=0 cores=0-7 /proc/22605/task/22615/stat : 22615 (java) S 22603 22603 19207 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 89406344 27282477056 50398 33554432000 4194304 4196468 140729440984800 139919601723632 139920206006914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22616] ppid=22603 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22616/stat : 22616 (java) S 22603 22603 19207 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 89406345 27282477056 50398 33554432000 4194304 4196468 140729440984800 139919600669856 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22617] ppid=22603 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22617/stat : 22617 (java) S 22603 22603 19207 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 89406345 27282477056 50398 33554432000 4194304 4196468 140729440984800 139919599616752 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22618] ppid=22603 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22618/stat : 22618 (java) S 22603 22603 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89406347 27282477056 50398 33554432000 4194304 4196468 140729440984800 139919598565328 139920206014363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22619] ppid=22603 vsize=26643044 memory=0 CPUtime=0.51 cores=0-7 /proc/22605/task/22619/stat : 22619 (java) R 22603 22603 19207 0 -1 4202560 1792 0 0 0 51 0 0 0 20 0 28 0 89406347 27282477056 50398 33554432000 4194304 4196468 140729440984800 139919597513456 139920199092187 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22620] ppid=22603 vsize=26643044 memory=0 CPUtime=0.53 cores=0-7 /proc/22605/task/22620/stat : 22620 (java) R 22603 22603 19207 0 -1 4202560 1294 0 0 0 53 0 0 0 20 0 28 0 89406347 27282477056 50398 33554432000 4194304 4196468 140729440984800 139919596447480 139920185255408 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22621] ppid=22603 vsize=26643044 memory=0 CPUtime=0.58 cores=0-7 /proc/22605/task/22621/stat : 22621 (java) R 22603 22603 19207 0 -1 4202560 1829 0 0 0 58 0 0 0 20 0 28 0 89406347 27282477056 50398 33554432000 4194304 4196468 140729440984800 139919595393736 139920184374267 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22622] ppid=22603 vsize=26643044 memory=0 CPUtime=0.53 cores=0-7 /proc/22605/task/22622/stat : 22622 (java) R 22603 22603 19207 0 -1 4202560 2443 0 0 0 53 0 0 0 20 0 28 0 89406347 27282477056 50398 33554432000 4194304 4196468 140729440984800 139919594353728 139920184798888 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22623] ppid=22603 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22623/stat : 22623 (java) S 22603 22603 19207 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89406348 27282477056 50398 33554432000 4194304 4196468 140729440984800 139919593302496 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22624] ppid=22603 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22624/stat : 22624 (java) S 22603 22603 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89406348 27282477056 50398 33554432000 4194304 4196468 140729440984800 139919592250032 139920206006914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22625] ppid=22603 vsize=26643044 memory=170985786 CPUtime=0.03 cores=0-7 /proc/22605/task/22625/stat : 22625 (java) S 22603 22603 19207 0 -1 1077944384 49 0 0 0 3 0 0 0 20 0 28 0 89406434 27282477056 50398 33554432000 4194304 4196468 140729440984800 139919583465520 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22626] ppid=22603 vsize=26643044 memory=6944656592455360604 CPUtime=0.02 cores=0-7 /proc/22605/task/22626/stat : 22626 (java) S 22603 22603 19207 0 -1 1077944384 37 0 0 0 2 0 0 0 20 0 28 0 89406434 27282477056 50398 33554432000 4194304 4196468 140729440984800 139919582411856 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22627] ppid=22603 vsize=26643044 memory=139875716105855 CPUtime=0.03 cores=0-7 /proc/22605/task/22627/stat : 22627 (java) R 22603 22603 19207 0 -1 1077944384 31 0 0 0 3 0 0 0 20 0 28 0 89406434 27282477056 50398 33554432000 4194304 4196468 140729440984800 139919581359520 139920206005973 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22628] ppid=22603 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22628/stat : 22628 (java) R 22603 22603 19207 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 28 0 89406434 27282477056 50398 33554432000 4194304 4196468 140729440984800 139919580309680 139919842113959 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22629] ppid=22603 vsize=26643044 memory=0 CPUtime=0.04 cores=0-7 /proc/22605/task/22629/stat : 22629 (java) R 22603 22603 19207 0 -1 4202560 35 0 0 0 4 0 0 0 20 0 28 0 89406434 27282477056 50398 33554432000 4194304 4196468 140729440984800 139919579253232 139919842038040 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22630] ppid=22603 vsize=26643044 memory=0 CPUtime=0.04 cores=0-7 /proc/22605/task/22630/stat : 22630 (java) R 22603 22603 19207 0 -1 1077944384 31 0 0 0 4 0 0 0 20 0 28 0 89406434 27282477056 50398 33554432000 4194304 4196468 140729440984800 139919578201568 139920206005973 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22631] ppid=22603 vsize=26643044 memory=0 CPUtime=0.04 cores=0-7 /proc/22605/task/22631/stat : 22631 (java) R 22603 22603 19207 0 -1 4202560 28 0 0 0 4 0 0 0 20 0 28 0 89406434 27282477056 50398 33554432000 4194304 4196468 140729440984800 139919577147752 139919842037061 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22632] ppid=22603 vsize=26643044 memory=0 CPUtime=0.04 cores=0-7 /proc/22605/task/22632/stat : 22632 (java) R 22603 22603 19207 0 -1 4202560 28 0 0 0 4 0 0 0 20 0 28 0 89406436 27282477056 50398 33554432000 4194304 4196468 140729440984800 139919576098464 139919842129616 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 Current children cumulated CPU time: 3.46 s Current children cumulated vsize: 26756172 KiB Current children cumulated memory: 203044 KiB [startup+1.11063 s] /proc/loadavg: 6.37 7.77 7.60 10/207 22632 /proc/meminfo: memFree=28013668/32770624 swapFree=67108860/67108860 [pid=22603] ppid=22600 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22603/stat : 22603 (xcsp3-exec) S 22600 22603 19207 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89406341 115843072 363 33554432000 4194304 5098028 140734741523440 140734741521544 140686990201468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7843840 140734741529653 140734741529856 140734741529856 140734741532618 0 /proc/22603/statm: 28282 363 306 221 0 87 0 [pid=22605] ppid=22603 vsize=26643044 memory=202312 CPUtime=4.27 cores=0-7 /proc/22605/stat : 22605 (java) S 22603 22603 19207 0 -1 1077944320 16620 0 0 0 416 11 0 0 20 0 28 0 89406341 27282477056 50578 33554432000 4194304 4196468 140729440984800 140729440967344 139920205995767 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 /proc/22605/statm: 6660761 50578 3389 1 0 6621955 0 [pid=22605/tid=22606] ppid=22603 vsize=26643044 memory=0 CPUtime=0.89 cores=0-7 /proc/22605/task/22606/stat : 22606 (java) S 22603 22603 19207 0 -1 1077944384 7291 0 0 0 85 4 0 0 20 0 28 0 89406342 27282477056 50578 33554432000 4194304 4196468 140729440984800 139920210236544 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22607] ppid=22603 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22607/stat : 22607 (java) S 22603 22603 19207 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 89406343 27282477056 50578 33554432000 4194304 4196468 140729440984800 139920171276816 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22608] ppid=22603 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22608/stat : 22608 (java) S 22603 22603 19207 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 89406343 27282477056 50578 33554432000 4194304 4196468 140729440984800 139919762967184 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22609] ppid=22603 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22609/stat : 22609 (java) S 22603 22603 19207 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 89406343 27282477056 50578 33554432000 4194304 4196468 140729440984800 139919761914128 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22610] ppid=22603 vsize=26643044 memory=1452 CPUtime=0 cores=0-7 /proc/22605/task/22610/stat : 22610 (java) S 22603 22603 19207 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 28 0 89406343 27282477056 50578 33554432000 4194304 4196468 140729440984800 139919760861584 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22611] ppid=22603 vsize=26643044 memory=95168 CPUtime=0 cores=0-7 /proc/22605/task/22611/stat : 22611 (java) S 22603 22603 19207 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 89406343 27282477056 50578 33554432000 4194304 4196468 140729440984800 139919759809552 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22612] ppid=22603 vsize=26643044 memory=279742629101232 CPUtime=0 cores=0-7 /proc/22605/task/22612/stat : 22612 (java) S 22603 22603 19207 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 89406343 27282477056 50578 33554432000 4194304 4196468 140729440984800 139919758757008 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22613] ppid=22603 vsize=26643044 memory=139871314551664 CPUtime=0 cores=0-7 /proc/22605/task/22613/stat : 22613 (java) S 22603 22603 19207 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 89406343 27282477056 50578 33554432000 4194304 4196468 140729440984800 139919757703952 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22614] ppid=22603 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22614/stat : 22614 (java) S 22603 22603 19207 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 89406343 27282477056 50578 33554432000 4194304 4196468 140729440984800 139919756651408 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22615] ppid=22603 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/22605/task/22615/stat : 22615 (java) S 22603 22603 19207 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 89406344 27282477056 50578 33554432000 4194304 4196468 140729440984800 139919601723632 139920206006914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22616] ppid=22603 vsize=26643044 memory=97079145836710 CPUtime=0 cores=0-7 /proc/22605/task/22616/stat : 22616 (java) S 22603 22603 19207 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 89406345 27282477056 50578 33554432000 4194304 4196468 140729440984800 139919600669856 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22617] ppid=22603 vsize=26643044 memory=97079145836711 CPUtime=0 cores=0-7 /proc/22605/task/22617/stat : 22617 (java) S 22603 22603 19207 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 89406345 27282477056 50578 33554432000 4194304 4196468 140729440984800 139919599616752 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22618] ppid=22603 vsize=26643044 memory=97079145836712 CPUtime=0 cores=0-7 /proc/22605/task/22618/stat : 22618 (java) S 22603 22603 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89406347 27282477056 50578 33554432000 4194304 4196468 140729440984800 139919598565328 139920206014363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22619] ppid=22603 vsize=26643044 memory=97079145836713 CPUtime=0.62 cores=0-7 /proc/22605/task/22619/stat : 22619 (java) R 22603 22603 19207 0 -1 4202560 1810 0 0 0 62 0 0 0 20 0 28 0 89406347 27282477056 50578 33554432000 4194304 4196468 140729440984800 139919597500304 139920189406568 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22620] ppid=22603 vsize=26643044 memory=97079145836714 CPUtime=0.58 cores=0-7 /proc/22605/task/22620/stat : 22620 (java) R 22603 22603 19207 0 -1 4202560 1312 0 0 0 58 0 0 0 20 0 28 0 89406347 27282477056 50578 33554432000 4194304 4196468 140729440984800 139919596450512 139920185331113 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22621] ppid=22603 vsize=26643044 memory=97079145836715 CPUtime=0.68 cores=0-7 /proc/22605/task/22621/stat : 22621 (java) R 22603 22603 19207 0 -1 4202560 1855 0 0 0 68 0 0 0 20 0 28 0 89406347 27282477056 50578 33554432000 4194304 4196468 140729440984800 139919595393736 139920187513655 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22622] ppid=22603 vsize=26643044 memory=0 CPUtime=0.57 cores=0-7 /proc/22605/task/22622/stat : 22622 (java) R 22603 22603 19207 0 -1 1077944384 2517 0 0 0 57 0 0 0 20 0 28 0 89406347 27282477056 50578 33554432000 4194304 4196468 140729440984800 139919594355408 139920206005973 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22623] ppid=22603 vsize=26643044 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/22605/task/22623/stat : 22623 (java) S 22603 22603 19207 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89406348 27282477056 50578 33554432000 4194304 4196468 140729440984800 139919593302496 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22624] ppid=22603 vsize=26643044 memory=6944652177228980320 CPUtime=0 cores=0-7 /proc/22605/task/22624/stat : 22624 (java) S 22603 22603 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89406348 27282477056 50578 33554432000 4194304 4196468 140729440984800 139919592250032 139920206006914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22625] ppid=22603 vsize=26643044 memory=6944656592455097440 CPUtime=0.09 cores=0-7 /proc/22605/task/22625/stat : 22625 (java) R 22603 22603 19207 0 -1 4202560 51 0 0 0 9 0 0 0 20 0 28 0 89406434 27282477056 50578 33554432000 4194304 4196468 140729440984800 139919583459344 139919842143953 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22626] ppid=22603 vsize=26643044 memory=6944656592455359580 CPUtime=0.08 cores=0-7 /proc/22605/task/22626/stat : 22626 (java) R 22603 22603 19207 0 -1 4202560 41 0 0 0 8 0 0 0 20 0 28 0 89406434 27282477056 50578 33554432000 4194304 4196468 140729440984800 139919582414624 139919848490886 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22627] ppid=22603 vsize=26643044 memory=6656426216303648864 CPUtime=0.09 cores=0-7 /proc/22605/task/22627/stat : 22627 (java) R 22603 22603 19207 0 -1 4202560 33 0 0 0 9 0 0 0 20 0 28 0 89406434 27282477056 50578 33554432000 4194304 4196468 140729440984800 139919581362672 139919848490886 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22628] ppid=22603 vsize=26643044 memory=6944652177228980320 CPUtime=0.04 cores=0-7 /proc/22605/task/22628/stat : 22628 (java) S 22603 22603 19207 0 -1 1077944384 62 0 0 0 4 0 0 0 20 0 28 0 89406434 27282477056 50578 33554432000 4194304 4196468 140729440984800 139919580309696 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22629] ppid=22603 vsize=26643044 memory=6944656592455360604 CPUtime=0.1 cores=0-7 /proc/22605/task/22629/stat : 22629 (java) R 22603 22603 19207 0 -1 4202560 39 0 0 0 10 0 0 0 20 0 28 0 89406434 27282477056 50578 33554432000 4194304 4196468 140729440984800 139919579253864 139919848517400 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22630] ppid=22603 vsize=26643044 memory=5787515123716350040 CPUtime=0.12 cores=0-7 /proc/22605/task/22630/stat : 22630 (java) R 22603 22603 19207 0 -1 4202560 33 0 0 0 12 0 0 0 20 0 28 0 89406434 27282477056 50578 33554432000 4194304 4196468 140729440984800 139919578201072 139919848764083 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22631] ppid=22603 vsize=26643044 memory=26820057996 CPUtime=0.08 cores=0-7 /proc/22605/task/22631/stat : 22631 (java) S 22603 22603 19207 0 -1 1077944384 30 0 0 0 8 0 0 0 20 0 28 0 89406434 27282477056 50578 33554432000 4194304 4196468 140729440984800 139919577149376 139920206005973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 [pid=22605/tid=22632] ppid=22603 vsize=26643044 memory=56 CPUtime=0.13 cores=0-7 /proc/22605/task/22632/stat : 22632 (java) R 22603 22603 19207 0 -1 4202560 39 0 0 0 13 0 0 0 20 0 28 0 89406436 27282477056 50578 33554432000 4194304 4196468 140729440984800 139919576095504 139919848491364 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37380096 140729440990337 140729440990509 140729440990509 140729440993231 0 Current children cumulated CPU time: 4.27 s Current children cumulated vsize: 26756172 KiB Current children cumulated memory: 203764 KiB Child status: 0 Real time (s): 1.17735 CPU time (s): 4.67497 CPU user time (s): 4.55296 CPU system time (s): 0.122008 CPU usage (%): 397.076 Max. virtual memory (cumulated for all children) (KiB): 26756172 Max. memory (cumulated for all children) (KiB): 203764 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.55296 system time used= 0.122008 maximum resident set size= 204152 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17244 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2714 involuntary context switches= 70 # summary of solver processes directly reported to runsolver: # pid: 22603 # total CPU time (s): 4.67497 # total CPU user time (s): 4.55296 # total CPU system time (s): 0.122008 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.027202 second user time and 0.059441 second system time The end
Begin job on node136 at 2018-07-27 21:07:12 IDJOB=4297833 IDBENCH=141397 IDSOLVER=2760 FILE ID=node136/4297833-1532718432 RUNJOBID= node136-1532710827-19234 PBS_JOBID= 21022316 Free space on /tmp= 55796 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/MisteryShopper/MisteryShopper-06a_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297833-1532718432/watcher-4297833-1532718432 -o /tmp/evaluation-result-4297833-1532718432/solver-4297833-1532718432 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1532710827-19234 --watchdog 2580 HOME/xcsp3-exec -seed 1470444047 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297833-1532718432.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d439f32f21550c494657491318660cd8 RANDOM SEED=1470444047 node136.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.50 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.50 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.50 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.50 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: 28202712 kB MemAvailable: 31957940 kB Buffers: 167336 kB Cached: 3849268 kB SwapCached: 0 kB Active: 1722444 kB Inactive: 2348368 kB Active(anon): 5496 kB Inactive(anon): 76476 kB Active(file): 1716948 kB Inactive(file): 2271892 kB Unevictable: 7336 kB Mlocked: 7336 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 21980 kB Writeback: 0 kB AnonPages: 59904 kB Mapped: 32320 kB Shmem: 25228 kB Slab: 191852 kB SReclaimable: 164448 kB SUnreclaim: 27404 kB KernelStack: 3248 kB PageTables: 5040 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324632 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: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 55776 MiB End job on node136 at 2018-07-27 21:07:13