0.78/0.90 c root propagations : 0
0.78/0.90 c restarts enabled, print stats at every restarts
0.78/0.90 c
0.78/0.90 c
0.78/0.90 c
0.78/0.90 c This is cosoco 2.00 --
0.78/0.90 c
0.78/0.90 c command line: cosoco -model -nbcores=8 HOME/instance-4409224-1569819651.xml
0.78/0.90 c ========================================[ Problem Statistics ]===========================================
0.78/0.90 c |
0.78/0.90 c | Parse time : 0.89 s
0.78/0.90 c |
0.78/0.90 c | Variables: 40
0.78/0.90 c | Domain Sizes: 180..180
0.78/0.90 c |
0.78/0.90 c | Constraints: 84
0.78/0.90 c | Arity: 2..2 -- Binary: 84
0.78/0.90 c |
0.78/0.90 c | Types:
0.78/0.90 c | Extension: 84 (nb tuples: 3067..3347) -- (shared: 0)
0.78/0.90 c |
0.78/0.90 c =========================================================================================================
0.78/0.90 c Parallel mode: Portfolio
0.78/0.90 c [pFactory][Group N°0] created (threads:8).
0.78/0.90 c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
0.78/0.90 c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
0.78/0.90 c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
0.78/0.90 c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
0.78/0.90 c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
0.78/0.90 c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
0.78/0.90 c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
0.78/0.90 c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
0.78/0.90 c [pFactory][Group N°0] concurrent mode: enabled.
0.78/0.90 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
0.78/0.90 c [pFactory][Group N°0] task 7 launched on thread 1.
0.78/0.90 c [pFactory][Group N°0] task 6 launched on thread 2.
0.78/0.90 c [pFactory][Group N°0] task 5 launched on thread 0.
0.78/0.90 c [pFactory][Group N°0] task 4 launched on thread 6.
0.78/0.90 c [pFactory][Group N°0] task 3 launched on thread 7.
0.78/0.90 c [pFactory][Group N°0] task 2 launched on thread 4.
0.78/0.90 c [pFactory][Group N°0] task 1 launched on thread 3.
0.78/0.90 c [pFactory][Group N°0] task 0 launched on thread 5.
0.78/0.90 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.78/0.90 c root propagations : 0
0.78/0.90 c restarts enabled, print stats at every restarts
0.78/0.90 c
0.78/0.90 c
0.78/0.90 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.78/0.90 c root propagations : 0
0.78/0.90 c restarts enabled, print stats at every restarts
0.78/0.90 c
0.78/0.90 c
0.78/0.90 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.78/0.90 c root propagations : 0
0.78/0.90 c restarts enabled, print stats at every restarts
0.78/0.90 c
0.78/0.90 c
0.78/0.90 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.90/0.90 c root propagations : 0
0.90/0.90 c restarts enabled, print stats at every restarts
0.90/0.90 c
0.90/0.90 c
0.90/0.90 c root propagations : 0
0.90/0.90 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.90/0.90 c root propagations : 0
0.90/0.90 c restarts enabled, print stats at every restarts
0.90/0.90 c
0.90/0.90 c
0.90/0.90 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.90/0.90 c root propagations : 0
0.90/0.90 c restarts enabled, print stats at every restarts
0.90/0.90 c
0.90/0.90 c
0.90/0.90 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.90/0.91 c restarts enabled, print stats at every restarts
0.90/0.91 c
0.90/0.91 c
0.90/0.91 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.90/0.91 c 32 36 2962 46462 0 0 4 4 3
0.90/0.91 c 32 47 3683 30267 0 0 4 7 6
0.90/0.91 c 33 39 3224 51241 0 0 3 3 1
0.90/0.91 c 33 49 3860 34285 0 0 2 2 1
0.90/0.91 c 32 59 4468 38922 0 0 3 7 5
0.90/0.91 c 32 39 3352 55381 0 0 4 5 3
0.90/0.91 c 33 64 4933 44886 0 0 5 5 2
0.90/0.91 c 33 41 3603 60087 1 0 2 2 1
0.90/0.91 c 64 86 7446 84345 3 0 2 2 1
0.90/0.92 c 65 88 7650 87110 3 0 2 2 1
0.90/0.92 c 64 79 7449 106379 3 0 2 4 2
0.90/0.92 c 66 90 7919 93206 3 0 2 2 1
0.90/0.92 c 65 81 7630 110615 3 0 2 2 1
0.90/0.92 c 67 92 8144 98694 4 0 2 2 1
0.90/0.92 c 101 117 7073 172445 0 0 2 4 2
0.90/0.92 c 66 83 7841 113378 4 0 2 2 1
0.90/0.92 c 67 85 8063 118340 4 0 2 2 1
0.90/0.92 c 64 78 7583 115952 4 0 2 2 1
0.90/0.92 c 65 80 7740 118653 5 0 2 2 1
0.90/0.92 c 64 106 9787 122929 5 0 2 3 2
0.90/0.92 c 66 82 7892 121827 5 0 2 2 1
0.90/0.92 c 65 108 10046 128512 5 0 2 2 1
0.90/0.92 c 67 84 8072 124684 6 0 2 2 1
0.90/0.92 c 101 132 13404 132929 0 0 2 8 4
0.90/0.92 c 66 110 10231 131312 6 0 2 2 1
0.90/0.92 c 101 124 11583 143660 2 0 2 4 3
0.90/0.92 c 67 112 10554 138050 7 0 2 2 1
0.90/0.92 c 101 136 12892 158519 6 0 2 6 3
0.90/0.93 c 128 163 15005 194599 7 0 1 3 1
0.90/0.93 c 129 165 15249 198568 7 0 2 2 1
0.90/0.93 c 130 167 15488 201655 7 0 2 2 1
0.90/0.93 c 131 169 15727 205616 7 0 2 2 1
0.90/0.93 c 128 162 15852 226144 7 0 2 5 2
0.90/0.93 c 132 171 15952 208696 7 0 2 2 1
0.90/0.93 c 129 164 16058 230436 7 0 2 2 1
0.90/0.93 c 133 173 16186 212654 7 0 2 2 1
0.90/0.93 c 134 175 16417 215734 7 0 2 2 1
0.90/0.93 c 130 166 16260 233293 7 0 2 2 1
0.90/0.93 c 135 177 16660 219730 7 0 2 2 1
0.90/0.93 c 131 168 16518 238869 7 0 2 2 1
0.90/0.93 c 132 170 16711 241721 7 0 2 2 1
0.90/0.93 c 133 172 16964 247291 7 0 2 2 1
0.90/0.93 c 134 174 17162 250139 7 0 2 2 1
0.90/0.93 c 135 176 17425 255705 7 0 2 2 1
0.90/0.93 c 211 240 17300 349322 7 0 2 3 2
0.90/0.93 c 128 162 16187 257722 7 0 1 5 2
0.90/0.95 c 129 164 16496 261597 7 0 2 2 1
0.90/0.95 c 130 165 16577 264783 7 0 1 1 0
0.90/0.95 c 131 167 16756 267486 7 0 2 2 1
0.90/0.95 c 132 169 17035 270989 8 0 2 2 1
0.90/0.95 c 133 170 17123 274166 8 0 1 1 0
0.90/0.95 c 134 172 17372 277757 8 0 2 2 1
0.90/0.95 c 128 192 19899 287013 8 0 1 3 1
0.90/0.95 c 135 174 17683 281615 8 0 2 2 1
0.90/0.95 c 129 194 20183 290513 8 0 2 2 1
0.90/0.95 c 130 196 20414 294601 8 0 2 2 1
0.90/0.95 c 131 198 20709 299122 8 0 2 2 1
0.90/0.95 c 132 200 20918 302397 8 0 2 2 1
0.90/0.95 c 133 202 21209 307121 8 0 2 2 1
0.90/0.95 c 134 204 21418 310386 8 0 2 2 1
0.90/0.95 c 135 206 21719 315106 8 0 2 2 1
0.90/0.95 c 211 263 25762 347612 8 0 1 4 2
0.90/0.95 c 211 275 29503 375507 8 0 1 3 1
0.90/0.95 c 211 277 27671 402731 8 0 1 5 1
0.90/0.96 c 256 327 31634 535533 11 0 1 3 1
0.90/0.96 c 257 328 31723 538109 12 0 1 1 0
0.90/0.96 c 258 330 32019 543858 12 0 2 2 1
0.90/0.96 c 259 331 32080 544871 13 0 1 1 0
0.90/0.96 c 260 332 32146 545881 13 0 1 1 0
0.90/0.96 c 256 330 32339 586974 13 0 1 5 1
0.90/0.96 c 261 333 32222 547196 13 0 1 1 0
0.90/0.96 c 257 332 32551 590563 13 0 2 2 1
0.90/0.96 c 262 335 32434 550785 13 0 2 2 1
0.90/0.96 c 332 391 32055 659933 14 0 1 4 1
0.90/0.96 c 263 336 32512 552089 14 0 1 1 0
0.90/0.96 c 258 333 32629 591868 14 0 1 1 0
0.90/0.96 c 264 337 32650 556174 14 0 1 1 0
0.90/0.96 c 259 334 32767 595954 14 0 1 1 0
0.90/0.96 c 265 338 32745 557451 16 0 1 1 0
0.90/0.96 c 260 335 32862 597231 16 0 1 1 0
0.90/0.96 c 266 339 32870 558112 17 0 1 1 0
0.90/0.96 c 261 336 32987 597892 17 0 1 1 0
0.90/0.96 c 267 340 32990 558728 18 0 1 1 0
0.90/0.96 c 262 337 33104 598417 18 0 1 1 0
0.90/0.96 c 268 341 33157 559726 20 0 1 1 0
0.90/0.96 c 263 338 33271 599414 20 0 1 1 0
0.90/0.97 c [pFactory][Group N°0] concurent mode: thread 0 has won with the task 5.
0.90/0.97 c [pFactory][Group N°0] Thread N°0 is joined.
0.90/0.97 c [pFactory][Group N°0] Thread N°1 is joined.
0.90/0.97 c [pFactory][Group N°0] Thread N°2 is joined.
0.90/0.97 c [pFactory][Group N°0] Thread N°3 is joined.
0.90/0.97 c [pFactory][Group N°0] Thread N°4 is joined.
0.90/0.97 c [pFactory][Group N°0] Thread N°5 is joined.
0.90/0.97 c [pFactory][Group N°0] Thread N°6 is joined.
0.90/0.97 c [pFactory][Group N°0] Thread N°7 is joined.
0.90/0.97 c [pFactory][Group N°0] Return Code of the winner:2 (Thread N°0)
0.90/0.97 s UNSATISFIABLE
0.90/0.97 c restarts : 27
0.90/0.97 c conflicts : 269 (186 /sec)
0.90/0.97 c decisions : 341 (236 /sec)
0.90/0.97 c propagations : 561599 (388449 /sec)
0.90/0.97 c root propagations : 0
0.90/0.97 c filter calls : 33198 (22963 /sec)
0.90/0.97 c useless filter calls : 15879 (47 %)
0.90/0.97 c Memory used : 595.64 MB
0.90/0.97 c CPU time : 1.44567 s
0.90/0.97 c real time : 0.96457 s
0.90/0.97
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 (14468 MiB free)
memory of node 1: 16384 MiB (14641 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409224-1569819651/watcher-4409224-1569819651 -o /tmp/evaluation-result-4409224-1569819651/solver-4409224-1569819651 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node145-1569818041-29544 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409224-1569819651.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=30060, runsolver pid=30057
Current StackSize limit: 8192 KiB
[startup+0.100152 s]*
/proc/loadavg: 8.05 7.83 6.68 2/192 30061
/proc/meminfo: memFree=29804808/32770624 swapFree=66966920/67108860
[pid=30060] ppid=30057 vsize=30704 memory=6856 CPUtime=0.1 cores=0-7
/proc/30060/stat : 30060 (cosoco) R 30057 30060 29517 0 -1 4202496 1931 0 0 0 10 0 0 0 20 0 1 0 557901524 31440896 1714 33554432000 4194304 6211132 140737451797216 140737451793752 5816170 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38117376 140737451803665 140737451803757 140737451803757 140737451806670 0
/proc/30060/statm: 7676 1714 809 493 0 981 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30704 KiB
Current children cumulated memory: 6856 KiB
[startup+0.209215 s]*
/proc/loadavg: 8.05 7.83 6.68 2/192 30061
/proc/meminfo: memFree=29801536/32770624 swapFree=66966920/67108860
[pid=30060] ppid=30057 vsize=33884 memory=10168 CPUtime=0.21 cores=0-7
/proc/30060/stat : 30060 (cosoco) R 30057 30060 29517 0 -1 4202496 2707 0 0 0 21 0 0 0 20 0 1 0 557901524 34697216 2542 33554432000 4194304 6211132 140737451797216 140737451793752 139634781920229 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38117376 140737451803665 140737451803757 140737451803757 140737451806670 0
/proc/30060/statm: 8471 2542 810 493 0 1776 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33884 KiB
Current children cumulated memory: 10168 KiB
[startup+0.308631 s]*
/proc/loadavg: 8.05 7.83 6.68 2/192 30061
/proc/meminfo: memFree=29799864/32770624 swapFree=66966920/67108860
[pid=30060] ppid=30057 vsize=36444 memory=12544 CPUtime=0.3 cores=0-7
/proc/30060/stat : 30060 (cosoco) R 30057 30060 29517 0 -1 4202496 3360 0 0 0 30 0 0 0 20 0 1 0 557901524 37318656 3136 33554432000 4194304 6211132 140737451797216 140737451793752 139634797982848 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38117376 140737451803665 140737451803757 140737451803757 140737451806670 0
/proc/30060/statm: 9111 3136 811 493 0 2416 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 36444 KiB
Current children cumulated memory: 12544 KiB
[startup+0.700347 s]
/proc/loadavg: 7.48 7.71 6.65 2/192 30061
/proc/meminfo: memFree=29794692/32770624 swapFree=66966920/67108860
[pid=30060] ppid=30057 vsize=46916 memory=23104 CPUtime=0.69 cores=0-7
/proc/30060/stat : 30060 (cosoco) R 30057 30060 29517 0 -1 4202496 5953 0 0 0 69 0 0 0 20 0 1 0 557901524 48041984 5776 33554432000 4194304 6211132 140737451797216 140737451794488 5812204 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38117376 140737451803665 140737451803757 140737451803757 140737451806670 0
/proc/30060/statm: 11729 5776 811 493 0 5034 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 46916 KiB
Current children cumulated memory: 23104 KiB
[startup+0.972936 s]
# the end of solver process 30060 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.44575 s, system=0.012976 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.80037 s]
/proc/loadavg: 7.48 7.71 6.65 2/192 30061
/proc/meminfo: memFree=29794692/32770624 swapFree=66966920/67108860
[pid=30060] ppid=30057 vsize=49492 memory=25744 CPUtime=0.78 cores=0-7
/proc/30060/stat : 30060 (cosoco) R 30057 30060 29517 0 -1 4202496 6636 0 0 0 78 0 0 0 20 0 1 0 557901524 50679808 6436 33554432000 4194304 6211132 140737451797216 140737451794488 139634781918188 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38117376 140737451803665 140737451803757 140737451803757 140737451806670 0
/proc/30060/statm: 12406 6436 811 493 0 5711 0
Current children cumulated CPU time: 0.78 s
Current children cumulated vsize: 49492 KiB
Current children cumulated memory: 25744 KiB
[startup+0.901606 s]
/proc/loadavg: 7.48 7.71 6.65 2/192 30061
/proc/meminfo: memFree=29794692/32770624 swapFree=66966920/67108860
[pid=30060] ppid=30057 vsize=446108 memory=29440 CPUtime=0.9 cores=0-7
/proc/30060/stat : 30060 (cosoco) S 30057 30060 29517 0 -1 1077944320 7546 0 0 0 90 0 0 0 20 0 9 0 557901524 456814592 7360 33554432000 4194304 6211132 140737451797216 140737451795472 139634797960951 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 38117376 140737451803665 140737451803757 140737451803757 140737451806670 0
/proc/30060/statm: 111527 7360 849 493 0 104832 0
Current children cumulated CPU time: 0.9 s
Current children cumulated vsize: 446108 KiB
Current children cumulated memory: 29440 KiB
Child status: 0
Real time (s): 0.972997
CPU time (s): 1.45872
CPU user time (s): 1.44575
CPU system time (s): 0.012976
CPU usage (%): 149.921
Max. virtual memory (cumulated for all children) (KiB): 446108
Max. memory (cumulated for all children) (KiB): 29440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.44575
system time used= 0.012976
maximum resident set size= 31076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7972
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 252
involuntary context switches= 14
# summary of solver processes directly reported to runsolver:
# pid: 30060
# total CPU time (s): 1.45872
# total CPU user time (s): 1.44575
# total CPU system time (s): 0.012976
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030955 second user time and 0.035948 second system time
The end
Begin job on node145 at 2019-09-30 07:00:09
IDJOB=4409224
IDBENCH=122716
IDSOLVER=2877
FILE ID=node145/4409224-1569819651
RUNJOBID= node145-1569818041-29544
PBS_JOBID= 21705923
Free space on /tmp= 62028 MiB
SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/Random/Random-D-t090/rand-2-40-180-84-090-90.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409224-1569819651/watcher-4409224-1569819651 -o /tmp/evaluation-result-4409224-1569819651/solver-4409224-1569819651 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node145-1569818041-29544 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409224-1569819651.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= b787e2fb655876ad1ad352aa15cc79d3
RANDOM SEED=2030836869
node145.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.59
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.59
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.59
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.59
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: 29808308 kB
MemAvailable: 31824556 kB
Buffers: 223868 kB
Cached: 2116184 kB
SwapCached: 32684 kB
Active: 1215028 kB
Inactive: 1162880 kB
Active(anon): 4296 kB
Inactive(anon): 115348 kB
Active(file): 1210732 kB
Inactive(file): 1047532 kB
Unevictable: 108516 kB
Mlocked: 108516 kB
SwapTotal: 67108860 kB
SwapFree: 66966920 kB
Dirty: 4836 kB
Writeback: 0 kB
AnonPages: 173984 kB
Mapped: 26996 kB
Shmem: 73436 kB
Slab: 176788 kB
SReclaimable: 147636 kB
SUnreclaim: 29152 kB
KernelStack: 3744 kB
PageTables: 5268 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 538728 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 126976 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 120192 kB
DirectMap2M: 33425408 kB
Free space on /tmp at the end= 62028 MiB
End job on node145 at 2019-09-30 07:00:10