Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-07-26) | UNSAT | 8.3654299 | 1.62181 |
Name | QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-04.xml |
MD5SUM | 2ada0409f2c6e70f95908de4e7f6edb2 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.28914499 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 23 |
Number of constraints | 22 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 16 |
Distribution of domain sizes | [{"size":2,"count":6},{"size":16,"count":17}] |
Minimum variable degree | 2 |
Maximum variable degree | 6 |
Distribution of variable degrees | [{"degree":2,"count":8},{"degree":3,"count":8},{"degree":4,"count":6},{"degree":6,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 16 |
Distribution of constraint arities | [{"arity":2,"count":15},{"arity":3,"count":6},{"arity":16,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 21 |
Distribution of constraint types | [{"type":"intension","count":21},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.05 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254695-1501689036.xml" -tl '1920s' -p 8 -x 0 0.00/0.24 c [HOME/instance-4254695-1501689036.xml, -tl, 1920s, -p, 8, -x, 0] 0.00/0.30 c 8 solvers in parallel 0.00/0.37 c parse instance... 0.00/0.73 c solve instance... 7.53/1.60 s UNSATISFIABLE
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-4254695-1501689036/watcher-4254695-1501689036 -o /tmp/evaluation-result-4254695-1501689036/solver-4254695-1501689036 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node128-1501676495-31585 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 166041978 HOME/instance-4254695-1501689036.xml pid=21705 running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.12 4.38 6.80 2/172 21708 /proc/meminfo: memFree=31046436/32770624 swapFree=0/890828 [pid=21708] ppid=21705 vsize=23672 CPUtime=0 cores=0-7 /proc/21708/stat : 21708 (runsolver) D 21705 21708 31529 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 17528283 24240128 107 18446744073709551615 4194304 4338465 140730381157152 140730381154792 140534481691351 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 35508224 140730381160531 140730381161027 140730381161027 140730381164490 0 /proc/21708/statm: 5918 107 54 36 0 2156 0 [startup+0.100153 s] /proc/loadavg: 1.12 4.38 6.80 2/172 21708 /proc/meminfo: memFree=31046436/32770624 swapFree=0/890828 [pid=21708] ppid=21705 vsize=9512 CPUtime=0 cores=0-7 /proc/21708/stat : 21708 (xcsp3-exec) S 21705 21708 31529 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17528283 9740288 345 18446744073709551615 4194304 5098028 140734207630880 140734207628984 140294606402172 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 16171008 140734207635859 140734207636068 140734207636068 140734207639531 0 /proc/21708/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200303 s] /proc/loadavg: 1.12 4.38 6.80 2/172 21708 /proc/meminfo: memFree=31046436/32770624 swapFree=0/890828 [pid=21708] ppid=21705 vsize=9512 CPUtime=0 cores=0-7 /proc/21708/stat : 21708 (xcsp3-exec) S 21705 21708 31529 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17528283 9740288 345 18446744073709551615 4194304 5098028 140734207630880 140734207628984 140294606402172 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 16171008 140734207635859 140734207636068 140734207636068 140734207639531 0 /proc/21708/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300323 s] /proc/loadavg: 1.12 4.38 6.80 2/172 21708 /proc/meminfo: memFree=31046436/32770624 swapFree=0/890828 [pid=21708] ppid=21705 vsize=9512 CPUtime=0 cores=0-7 /proc/21708/stat : 21708 (xcsp3-exec) S 21705 21708 31529 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17528283 9740288 345 18446744073709551615 4194304 5098028 140734207630880 140734207628984 140294606402172 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 16171008 140734207635859 140734207636068 140734207636068 140734207639531 0 /proc/21708/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700139 s] /proc/loadavg: 1.12 4.38 6.80 2/172 21708 /proc/meminfo: memFree=31046436/32770624 swapFree=0/890828 [pid=21708] ppid=21705 vsize=9512 CPUtime=0 cores=0-7 /proc/21708/stat : 21708 (xcsp3-exec) S 21705 21708 31529 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17528283 9740288 345 18446744073709551615 4194304 5098028 140734207630880 140734207628984 140294606402172 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 16171008 140734207635859 140734207636068 140734207636068 140734207639531 0 /proc/21708/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50109 s] /proc/loadavg: 1.12 4.38 6.80 15/201 21737 /proc/meminfo: memFree=30930420/32770624 swapFree=0/890572 [pid=21708] ppid=21705 vsize=9512 CPUtime=0 cores=0-7 /proc/21708/stat : 21708 (xcsp3-exec) S 21705 21708 31529 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17528283 9740288 345 18446744073709551615 4194304 5098028 140734207630880 140734207628984 140294606402172 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 16171008 140734207635859 140734207636068 140734207636068 140734207639531 0 /proc/21708/statm: 2378 345 289 221 0 87 0 [pid=21710] ppid=21708 vsize=26534456 CPUtime=7.53 cores=0-7 /proc/21710/stat : 21710 (java) S 21708 21708 31529 0 -1 1077944320 24528 0 0 0 743 10 0 0 20 0 28 0 17528289 27171282944 33511 18446744073709551615 4194304 4196468 140723028358688 140723028341232 140625364094711 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 /proc/21710/statm: 6633614 33511 3185 1 0 6621915 0 [pid=21710/tid=21711] ppid=21708 vsize=26534456 CPUtime=0.62 cores=0-7 /proc/21710/task/21711/stat : 21711 (java) S 21708 21708 31529 0 -1 1077944384 8778 0 0 0 59 3 0 0 20 0 28 0 17528289 27171282944 33511 18446744073709551615 4194304 4196468 140723028358688 140625368335488 140625364104917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21712] ppid=21708 vsize=26534456 CPUtime=0 cores=0-7 /proc/21710/task/21712/stat : 21712 (java) S 21708 21708 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17528290 27171282944 33511 18446744073709551615 4194304 4196468 140723028358688 140625291020688 140625364104917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21713] ppid=21708 vsize=26534456 CPUtime=0 cores=0-7 /proc/21710/task/21713/stat : 21713 (java) S 21708 21708 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17528290 27171282944 33511 18446744073709551615 4194304 4196468 140723028358688 140625289967888 140625364104917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21714] ppid=21708 vsize=26534456 CPUtime=0 cores=0-7 /proc/21710/task/21714/stat : 21714 (java) S 21708 21708 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17528290 27171282944 33511 18446744073709551615 4194304 4196468 140723028358688 140625288915600 140625364104917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21715] ppid=21708 vsize=26534456 CPUtime=0 cores=0-7 /proc/21710/task/21715/stat : 21715 (java) S 21708 21708 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17528290 27171282944 33511 18446744073709551615 4194304 4196468 140723028358688 140625287862800 140625364104917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21716] ppid=21708 vsize=26534456 CPUtime=0 cores=0-7 /proc/21710/task/21716/stat : 21716 (java) S 21708 21708 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17528290 27171282944 33511 18446744073709551615 4194304 4196468 140723028358688 140625286810512 140625364104917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21717] ppid=21708 vsize=26534456 CPUtime=0 cores=0-7 /proc/21710/task/21717/stat : 21717 (java) S 21708 21708 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17528290 27171282944 33511 18446744073709551615 4194304 4196468 140723028358688 140625285757712 140625364104917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21718] ppid=21708 vsize=26534456 CPUtime=0 cores=0-7 /proc/21710/task/21718/stat : 21718 (java) S 21708 21708 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 17528290 27171282944 33511 18446744073709551615 4194304 4196468 140723028358688 140625284705424 140625364104917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21719] ppid=21708 vsize=26534456 CPUtime=0 cores=0-7 /proc/21710/task/21719/stat : 21719 (java) S 21708 21708 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17528290 27171282944 33511 18446744073709551615 4194304 4196468 140723028358688 140625283652624 140625364104917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21720] ppid=21708 vsize=26534456 CPUtime=0 cores=0-7 /proc/21710/task/21720/stat : 21720 (java) S 21708 21708 31529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 17528292 27171282944 33511 18446744073709551615 4194304 4196468 140723028358688 140624043468912 140625364105858 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21721] ppid=21708 vsize=26534456 CPUtime=0 cores=0-7 /proc/21710/task/21721/stat : 21721 (java) S 21708 21708 31529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 17528292 27171282944 33511 18446744073709551615 4194304 4196468 140723028358688 140624042414880 140625364104917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21722] ppid=21708 vsize=26534456 CPUtime=0 cores=0-7 /proc/21710/task/21722/stat : 21722 (java) S 21708 21708 31529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 17528292 27171282944 33511 18446744073709551615 4194304 4196468 140723028358688 140624041362544 140625364104917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21723] ppid=21708 vsize=26534456 CPUtime=0 cores=0-7 /proc/21710/task/21723/stat : 21723 (java) S 21708 21708 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17528295 27171282944 33511 18446744073709551615 4194304 4196468 140723028358688 140624040310864 140625364113307 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21724] ppid=21708 vsize=26534456 CPUtime=0.71 cores=0-7 /proc/21710/task/21724/stat : 21724 (java) R 21708 21708 31529 0 -1 4202560 5322 0 0 0 70 1 0 0 20 0 28 0 17528295 27171282944 33511 18446744073709551615 4194304 4196468 140723028358688 140624039248016 140625364116058 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21725] ppid=21708 vsize=26534456 CPUtime=0.52 cores=0-7 /proc/21710/task/21725/stat : 21725 (java) R 21708 21708 31529 0 -1 4202560 2009 0 0 0 52 0 0 0 20 0 28 0 17528295 27171282944 33511 18446744073709551615 4194304 4196468 140723028358688 140624038192464 140625349202393 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21726] ppid=21708 vsize=26534456 CPUtime=0.68 cores=0-7 /proc/21710/task/21726/stat : 21726 (java) R 21708 21708 31529 0 -1 4202560 2926 0 0 0 67 1 0 0 20 0 28 0 17528295 27171282944 33511 18446744073709551615 4194304 4196468 140723028358688 140624037139744 140625364116058 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21727] ppid=21708 vsize=26534456 CPUtime=0.51 cores=0-7 /proc/21710/task/21727/stat : 21727 (java) S 21708 21708 31529 0 -1 1077944384 3540 0 0 0 50 1 0 0 20 0 28 0 17528295 27171282944 33511 18446744073709551615 4194304 4196468 140723028358688 140624036100848 140625364105858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21728] ppid=21708 vsize=26534456 CPUtime=0 cores=0-7 /proc/21710/task/21728/stat : 21728 (java) S 21708 21708 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17528295 27171282944 33511 18446744073709551615 4194304 4196468 140723028358688 140624035047776 140625364104917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21729] ppid=21708 vsize=26534456 CPUtime=0 cores=0-7 /proc/21710/task/21729/stat : 21729 (java) S 21708 21708 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17528299 27171282944 33511 18446744073709551615 4194304 4196468 140723028358688 140624033995056 140625364105858 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21730] ppid=21708 vsize=26534456 CPUtime=0.52 cores=0-7 /proc/21710/task/21730/stat : 21730 (java) R 21708 21708 31529 0 -1 4202560 185 0 0 0 52 0 0 0 20 0 28 0 17528357 27171282944 33511 18446744073709551615 4194304 4196468 140723028358688 140624024066432 140624964705545 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21731] ppid=21708 vsize=26534456 CPUtime=0.59 cores=0-7 /proc/21710/task/21731/stat : 21731 (java) R 21708 21708 31529 0 -1 4202560 198 0 0 0 59 0 0 0 20 0 28 0 17528357 27171282944 33511 18446744073709551615 4194304 4196468 140723028358688 140624023015536 140624967064512 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21732] ppid=21708 vsize=26534456 CPUtime=0.57 cores=0-7 /proc/21710/task/21732/stat : 21732 (java) R 21708 21708 31529 0 -1 4202560 53 0 0 0 57 0 0 0 20 0 28 0 17528357 27171282944 33511 18446744073709551615 4194304 4196468 140723028358688 140624021963112 140624966268647 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21733] ppid=21708 vsize=26534456 CPUtime=0.53 cores=0-7 /proc/21710/task/21733/stat : 21733 (java) R 21708 21708 31529 0 -1 4202560 70 0 0 0 53 0 0 0 20 0 28 0 17528357 27171282944 33511 18446744073709551615 4194304 4196468 140723028358688 140624020906496 140624969484772 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21734] ppid=21708 vsize=26534456 CPUtime=0.52 cores=0-7 /proc/21710/task/21734/stat : 21734 (java) R 21708 21708 31529 0 -1 1077944384 17 0 0 0 52 0 0 0 20 0 28 0 17528357 27171282944 33511 18446744073709551615 4194304 4196468 140723028358688 140624019859952 140625364104917 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21735] ppid=21708 vsize=26534456 CPUtime=0.54 cores=0-7 /proc/21710/task/21735/stat : 21735 (java) R 21708 21708 31529 0 -1 4202560 16 0 0 0 54 0 0 0 20 0 28 0 17528357 27171282944 33511 18446744073709551615 4194304 4196468 140723028358688 140624018805720 140624968027610 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21736] ppid=21708 vsize=26534456 CPUtime=0.61 cores=0-7 /proc/21710/task/21736/stat : 21736 (java) R 21708 21708 31529 0 -1 4202560 48 0 0 0 61 0 0 0 20 0 28 0 17528358 27171282944 33511 18446744073709551615 4194304 4196468 140723028358688 140624016704616 140624969436603 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21737] ppid=21708 vsize=26534456 CPUtime=0.51 cores=0-7 /proc/21710/task/21737/stat : 21737 (java) R 21708 21708 31529 0 -1 4202560 56 0 0 0 51 0 0 0 20 0 28 0 17528358 27171282944 33511 18446744073709551615 4194304 4196468 140723028358688 140624015649368 140624969436603 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 Current children cumulated CPU time (s) 7.53 Current children cumulated vsize (KiB) 26543968 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 21710 sig 9 ??? kill 21708 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1.60265 s] /proc/loadavg: 1.12 4.38 6.80 15/201 21737 /proc/meminfo: memFree=30930420/32770624 swapFree=0/890572 [pid=21708] ppid=21705 vsize=9512 CPUtime=0 cores=0-7 /proc/21708/stat : 21708 (xcsp3-exec) S 21705 21708 31529 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17528283 9740288 345 18446744073709551615 4194304 5098028 140734207630880 140734207628984 140294606402172 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 16171008 140734207635859 140734207636068 140734207636068 140734207639531 0 /proc/21708/statm: 2378 345 289 221 0 87 0 [pid=21710] ppid=21708 vsize=26534456 CPUtime=8.33 cores=0-7 /proc/21710/stat : 21710 (java) S 21708 21708 31529 0 -1 1077944320 24585 0 0 0 823 10 0 0 20 0 28 0 17528289 27171282944 34069 18446744073709551615 4194304 4196468 140723028358688 140723028341232 140625364094711 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 /proc/21710/statm: 6633614 34069 3201 1 0 6621915 0 [pid=21710/tid=21711] ppid=21708 vsize=26534456 CPUtime=0.62 cores=0-7 /proc/21710/task/21711/stat : 21711 (java) S 21708 21708 31529 0 -1 1077944384 8778 0 0 0 59 3 0 0 20 0 28 0 17528289 27171282944 34069 18446744073709551615 4194304 4196468 140723028358688 140625368335488 140625364104917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21712] ppid=21708 vsize=26534456 CPUtime=0 cores=0-7 /proc/21710/task/21712/stat : 21712 (java) S 21708 21708 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17528290 27171282944 34069 18446744073709551615 4194304 4196468 140723028358688 140625291020688 140625364104917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21713] ppid=21708 vsize=26534456 CPUtime=0 cores=0-7 /proc/21710/task/21713/stat : 21713 (java) S 21708 21708 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17528290 27171282944 34069 18446744073709551615 4194304 4196468 140723028358688 140625289967888 140625364104917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21714] ppid=21708 vsize=26534456 CPUtime=0 cores=0-7 /proc/21710/task/21714/stat : 21714 (java) S 21708 21708 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17528290 27171282944 34069 18446744073709551615 4194304 4196468 140723028358688 140625288915600 140625364104917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21715] ppid=21708 vsize=26534456 CPUtime=0 cores=0-7 /proc/21710/task/21715/stat : 21715 (java) S 21708 21708 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17528290 27171282944 34069 18446744073709551615 4194304 4196468 140723028358688 140625287862800 140625364104917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21716] ppid=21708 vsize=26534456 CPUtime=0 cores=0-7 /proc/21710/task/21716/stat : 21716 (java) S 21708 21708 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17528290 27171282944 34069 18446744073709551615 4194304 4196468 140723028358688 140625286810512 140625364104917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21717] ppid=21708 vsize=26534456 CPUtime=0 cores=0-7 /proc/21710/task/21717/stat : 21717 (java) S 21708 21708 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17528290 27171282944 34069 18446744073709551615 4194304 4196468 140723028358688 140625285757712 140625364104917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21718] ppid=21708 vsize=26534456 CPUtime=0 cores=0-7 /proc/21710/task/21718/stat : 21718 (java) S 21708 21708 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 17528290 27171282944 34069 18446744073709551615 4194304 4196468 140723028358688 140625284705424 140625364104917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21719] ppid=21708 vsize=26534456 CPUtime=0 cores=0-7 /proc/21710/task/21719/stat : 21719 (java) S 21708 21708 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17528290 27171282944 34069 18446744073709551615 4194304 4196468 140723028358688 140625283652624 140625364104917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21720] ppid=21708 vsize=26534456 CPUtime=0 cores=0-7 /proc/21710/task/21720/stat : 21720 (java) S 21708 21708 31529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 17528292 27171282944 34069 18446744073709551615 4194304 4196468 140723028358688 140624043468912 140625364105858 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21721] ppid=21708 vsize=26534456 CPUtime=0 cores=0-7 /proc/21710/task/21721/stat : 21721 (java) S 21708 21708 31529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 17528292 27171282944 34069 18446744073709551615 4194304 4196468 140723028358688 140624042414880 140625364104917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21722] ppid=21708 vsize=26534456 CPUtime=0 cores=0-7 /proc/21710/task/21722/stat : 21722 (java) S 21708 21708 31529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 17528292 27171282944 34069 18446744073709551615 4194304 4196468 140723028358688 140624041362544 140625364104917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21723] ppid=21708 vsize=26534456 CPUtime=0 cores=0-7 /proc/21710/task/21723/stat : 21723 (java) S 21708 21708 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17528295 27171282944 34069 18446744073709551615 4194304 4196468 140723028358688 140624040310864 140625364113307 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21724] ppid=21708 vsize=26534456 CPUtime=0.76 cores=0-7 /proc/21710/task/21724/stat : 21724 (java) R 21708 21708 31529 0 -1 4202560 5330 0 0 0 75 1 0 0 20 0 28 0 17528295 27171282944 34069 18446744073709551615 4194304 4196468 140723028358688 140624039248864 140625343938319 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21725] ppid=21708 vsize=26534456 CPUtime=0.58 cores=0-7 /proc/21710/task/21725/stat : 21725 (java) R 21708 21708 31529 0 -1 4202560 2032 0 0 0 58 0 0 0 20 0 28 0 17528295 27171282944 34069 18446744073709551615 4194304 4196468 140723028358688 140624038187136 140625343351537 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21726] ppid=21708 vsize=26534456 CPUtime=0.78 cores=0-7 /proc/21710/task/21726/stat : 21726 (java) R 21708 21708 31529 0 -1 4202560 2933 0 0 0 77 1 0 0 20 0 28 0 17528295 27171282944 34069 18446744073709551615 4194304 4196468 140723028358688 140624037140080 140625345638967 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21727] ppid=21708 vsize=26534456 CPUtime=0.52 cores=0-7 /proc/21710/task/21727/stat : 21727 (java) R 21708 21708 31529 0 -1 4202560 3556 0 0 0 51 1 0 0 20 0 28 0 17528295 27171282944 34088 18446744073709551615 4194304 4196468 140723028358688 140624036100848 140625343218005 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21728] ppid=21708 vsize=26534456 CPUtime=0 cores=0-7 /proc/21710/task/21728/stat : 21728 (java) S 21708 21708 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17528295 27171282944 34088 18446744073709551615 4194304 4196468 140723028358688 140624035047776 140625364104917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21729] ppid=21708 vsize=26534456 CPUtime=0 cores=0-7 /proc/21710/task/21729/stat : 21729 (java) S 21708 21708 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17528299 27171282944 34088 18446744073709551615 4194304 4196468 140723028358688 140624033995056 140625364105858 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21730] ppid=21708 vsize=26534456 CPUtime=0.59 cores=0-7 /proc/21710/task/21730/stat : 21730 (java) R 21708 21708 31529 0 -1 4202560 185 0 0 0 59 0 0 0 20 0 28 0 17528357 27171282944 34088 18446744073709551615 4194304 4196468 140723028358688 140624024074632 140625356811674 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21731] ppid=21708 vsize=26534444 CPUtime=0.66 cores=0-7 /proc/21710/task/21731/stat : 21731 (java) D 21708 21708 31529 0 -1 4202560 198 0 0 0 66 0 0 0 20 0 28 0 17528357 27171270656 34091 18446744073709551615 4194304 4196468 140723028358688 140624023020496 140625356811674 0 4 1 16800974 18446744071582151463 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21732] ppid=21708 vsize=26534456 CPUtime=0.67 cores=0-7 /proc/21710/task/21732/stat : 21732 (java) R 21708 21708 31529 0 -1 1077944384 54 0 0 0 67 0 0 0 20 0 28 0 17528357 27171282944 34106 18446744073709551615 4194304 4196468 140723028358688 140624021968208 140625364104917 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21733] ppid=21708 vsize=26534456 CPUtime=0.61 cores=0-7 /proc/21710/task/21733/stat : 21733 (java) R 21708 21708 31529 0 -1 4202560 71 0 0 0 61 0 0 0 20 0 28 0 17528357 27171282944 34130 18446744073709551615 4194304 4196468 140723028358688 140624020917064 140625357286288 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21734] ppid=21708 vsize=26534456 CPUtime=0.59 cores=0-7 /proc/21710/task/21734/stat : 21734 (java) R 21708 21708 31529 0 -1 1077944384 18 0 0 0 59 0 0 0 20 0 28 0 17528357 27171282944 34109 18446744073709551615 4194304 4196468 140723028358688 140624019863120 140625364104917 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21735] ppid=21708 vsize=26534456 CPUtime=0.6 cores=0-7 /proc/21710/task/21735/stat : 21735 (java) R 21708 21708 31529 0 -1 1077944384 16 0 0 0 60 0 0 0 20 0 27 0 17528357 27171282944 34088 18446744073709551615 4194304 4196468 140723028358688 140624018810320 140625364104917 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 [pid=21710/tid=21736] ppid=21708 vsize=26534456 CPUtime=0.7 cores=0-7 /proc/21710/task/21736/stat : 21736 (java) R 21708 21708 31529 0 -1 1077944384 48 0 0 0 70 0 0 0 20 0 25 0 17528358 27171282944 34070 18446744073709551615 4194304 4196468 140723028358688 140624016708432 140625364104917 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140723028365776 140723028365952 140723028365952 140723028369359 0 Current children cumulated CPU time (s) 8.33 Current children cumulated vsize (KiB) 26543968 Child status: 0 Real time (s): 1.62181 CPU time (s): 8.36543 CPU user time (s): 8.25275 CPU system time (s): 0.112684 CPU usage (%): 515.808 Max. virtual memory (cumulated for all children) (KiB): 26546336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 8.25275 system time used= 0.112684 maximum resident set size= 137612 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25119 page faults= 0 swaps= 0 block input operations= 0 block output operations= 8 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3055 involuntary context switches= 194 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.010557 second user time and 0.011877 second system time The end
Begin job on node128 at 2017-08-02 17:36:37 IDJOB=4254695 IDBENCH=130612 IDSOLVER=2636 FILE ID=node128/4254695-1501689036 RUNJOBID= node128-1501676495-31585 PBS_JOBID= Free space on /tmp= 61948 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-04.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4254695-1501689036/watcher-4254695-1501689036 -o /tmp/evaluation-result-4254695-1501689036/solver-4254695-1501689036 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node128-1501676495-31585 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 166041978 HOME/instance-4254695-1501689036.xml TIME LIMIT= 1920 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2ada0409f2c6e70f95908de4e7f6edb2 RANDOM SEED=166041978 node128.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.05 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.05 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.05 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.05 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: 31046792 kB MemAvailable: 32011188 kB Buffers: 149632 kB Cached: 1100996 kB SwapCached: 0 kB Active: 399684 kB Inactive: 907552 kB Active(anon): 56900 kB Inactive(anon): 16724 kB Active(file): 342784 kB Inactive(file): 890828 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7764 kB Writeback: 4 kB AnonPages: 56496 kB Mapped: 31008 kB Shmem: 17064 kB Slab: 119528 kB SReclaimable: 93236 kB SUnreclaim: 26292 kB KernelStack: 3056 kB PageTables: 4252 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 290032 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: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61940 MiB End job on node128 at 2017-08-02 17:36:39