Trace number 4408624

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 2.0? (TO) 2400.07 2400.11

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-sptate/
Pb-Tate-K109.xml
MD5SUMd51c756c633143c4b9edb9b6f06ce71e
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark80.1396
Satisfiable
(Un)Satisfiability was proved
Number of variables7412
Number of constraints7632
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":7412}]
Minimum variable degree3
Maximum variable degree10
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":186},{"degree":5,"count":1312},{"degree":6,"count":2906},{"degree":7,"count":1825},{"degree":8,"count":752},{"degree":9,"count":216},{"degree":10,"count":214}]
Minimum constraint arity1
Maximum constraint arity109
Distribution of constraint arities[{"arity":1,"count":2},{"arity":2,"count":1404},{"arity":3,"count":2916},{"arity":4,"count":1944},{"arity":5,"count":648},{"arity":6,"count":216},{"arity":7,"count":216},{"arity":68,"count":218},{"arity":109,"count":68}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":7632}]
Optimization problemNO
Type of objective

Solver Data 

0.89/0.93	c root propagations     : 362         
0.89/0.93	c restarts enabled, print stats at every restarts
0.89/0.93	c
0.89/0.93	c
0.89/0.93	c
0.89/0.93	c This is cosoco 2.00 --  
0.89/0.93	c
0.89/0.93	c command line: cosoco -lc -model -restarts -stick HOME/instance-4408624-1569803465.xml 
0.89/0.93	c ========================================[ Problem Statistics ]===========================================
0.89/0.93	c |                                                                                                       
0.89/0.93	c |  Parse time        :         0.72 s 
0.89/0.93	c |
0.89/0.93	c |               Variables: 7412
0.89/0.93	c |            Domain Sizes: 2..2
0.89/0.93	c |
0.89/0.93	c |             Constraints: 7632
0.89/0.93	c |                   Arity: 1..109  -- Unary: 2  -- Binary: 1404  -- Ternary: 2916
0.89/0.93	c | 
0.89/0.93	c |                   Types: 
0.89/0.93	c |                          Sum: 7632
0.89/0.93	c |                          
0.89/0.93	c =========================================================================================================
0.89/0.93	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
2.78/2.80	c 101            5764           602963         202284         362            0              1638   2179   1787
3.79/3.90	c 211            11435          1001195        323837         362            0              5127   5377   5227
4.49/4.59	c 332            19542          1200598        396274         362            0              117   5289   4000
5.39/5.44	c 465            28123          1405343        479200         362            0              789   1535   1019
6.39/6.45	c 611            36351          1710258        596179         362            0              887   1165   1019
7.49/7.55	c 771            44693          2085893        754291         362            0              992   1527   1104
8.48/8.53	c 947            53893          2360936        850528         362            0              1269   1574   1441
11.00/11.03	c 1140           63774          3415892        1229301        362            0              1146   1443   1254
14.00/14.02	c 1352           69730          4744519        1676045        362            0              805   927   867
15.49/15.59	c 1585           87270          5093719        1828109        362            0              537   1782   1283
18.49/18.55	c 1841           102761         6160624        2188306        362            0              886   1150   1036
20.89/21.00	c 2122           120387         6988465        2527266        362            0              886   1218   1063
22.29/22.38	c 2431           127249         7532689        2750868        362            0              776   939   848
25.69/25.77	c 2770           138434         8991724        3272710        362            0              800   945   881
27.39/27.46	c 3142           150032         9591921        3532489        362            0              779   964   861
30.39/30.43	c 3551           170901         10623408       3931915        362            0              744   1332   1129
33.29/33.31	c 4000           188844         11685148       4324764        362            0              1005   1411   1142
36.39/36.45	c 4493           206070         12910774       4794456        362            0              1036   1278   1139
40.00/40.10	c 5035           230699         14226674       5303610        362            0              1157   1396   1289
44.10/44.11	c 5631           253651         15817534       5966974        362            0              1042   1322   1178
46.49/46.50	c 6286           271063         16613768       6262493        362            0              837   1524   1146
49.79/49.83	c 7006           291896         17799690       6743448        362            0              975   1439   1103
55.78/55.88	c 7798           312108         20539739       7909878        362            0              849   1034   956
61.29/61.39	c 8669           335602         22641154       8724583        362            0              713   818   771
66.29/66.35	c 9627           362240         24393304       9449902        362            0              572   685   639
80.49/80.53	c 10680          403101         30402674       11555892       362            0              592   1271   1051
94.39/94.47	c 11838          436894         36839493       14033986       362            0              715   985   805
112.79/112.85	c 13111          499666         44370293       16445072       362            0              608   1296   975
139.19/139.20	c 14511          564808         55472150       20008129       362            0              790   1145   974
159.69/159.80	c 16051          603238         64695781       23052926       362            0              759   972   858
178.59/178.65	c 17745          643167         73816347       26353873       362            0              333   1067   951
187.00/187.05	c 19608          671388         77794075       27862979       362            0              583   675   640
199.69/199.76	c 21657          799214         81103259       29201388       362            0              604   1815   1277
208.89/208.92	c 23910          862065         84459285       30510843       362            0              968   1173   1099
221.59/221.61	c 26388          956063         89422729       32564841       362            0              845   1557   1123
234.28/234.37	c 29113          1049710        94425092       34695918       362            0              1158   1491   1321
249.28/249.32	c 32110          1186450        99745816       36769035       362            0              1099   2017   1619
274.46/274.54	c 35406          1346944        109948756      40805813       362            0              1316   1709   1507
333.35/333.48	c 39031          1472244        139717510      50809981       362            0              1027   1308   1237
363.23/363.38	c 43018          1652636        152266299      55609134       362            0              934   1464   1125
385.22/385.30	c 47403          1839678        160610932      59061685       362            0              1018   1699   1375
412.11/412.24	c 52226          2120583        169419816      62998877       362            0              1092   2168   1494
449.51/449.67	c 57531          2439553        184203658      68522208       362            0              1328   2419   1612
466.51/466.65	c 63366          2577743        191452028      71249295       362            0              1353   1642   1558
490.31/490.48	c 69784          2848107        199198113      74430088       362            0              1460   2241   1638
543.71/543.82	c 76843          3359928        218309422      81972793       362            0              1394   2164   1672
587.41/587.55	c 84607          3734480        235634549      88607563       362            0              1538   2314   1726
631.31/631.45	c 93147          4076502        253652985      95597792       362            0              1593   2176   1887
687.21/687.34	c 102541         4578817        271985374      102597443      362            0              1413   1810   1659
769.42/769.56	c 112874         5265833        299740350      113421420      362            0              955   2202   1484
848.33/848.43	c 124240         6043961        327776155      124468246      362            0              1561   2197   1932
956.23/956.40	c 136742         6576587        373308808      140519407      362            0              1031   1822   1278
1059.83/1059.93	c 150494         7818236        398420135      150321424      362            0              670   2030   1399
1132.43/1132.58	c 165621         8524483        421735542      158814622      362            0              878   1234   1115
1329.13/1329.24	c 182260         10168014       490086918      182999700      362            0              939   1674   1313
1562.63/1562.71	c 200562         12455970       565178395      209693566      362            0              912   2268   1540
1719.44/1719.58	c 220694         13293807       632286713      232171514      362            0              911   1429   1205
1874.54/1874.65	c 242839         14210207       697518652      258318788      362            0              856   1205   1119
2099.05/2099.17	c 267198         15042951       795174408      290937693      362            0              687   1037   904
2335.16/2335.25	c 293992         16280097       890921912      324744292      362            0              625   1859   982
2400.07/2400.10	
2400.07/2400.10	c *** INTERRUPTED ***
2400.07/2400.10	c restarts              : 60          
2400.07/2400.10	c conflicts             : 303821       (127 /sec)
2400.07/2400.10	c decisions             : 17132375     (7139 /sec)
2400.07/2400.10	c propagations          : 330019938   (137521 /sec)
2400.07/2400.10	c root propagations     : 362         
2400.07/2400.10	c filter calls          : 906026999      (377547 /sec)
2400.07/2400.10	c useless filter calls  : 796820098      (87 %)
2400.07/2400.10	c Memory used           : 396.63 MB
2400.07/2400.10	c CPU time              : 2399.77 s
2400.07/2400.10	c real time             : 2400.11 s
2400.07/2400.10	
2400.07/2400.10	s UNKNOWN

Verifier Data


Watcher Data 

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 (12793 MiB free)
  memory of node 1: 16384 MiB (15642 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408624-1569803465/watcher-4408624-1569803465 -o /tmp/evaluation-result-4408624-1569803465/solver-4408624-1569803465 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1569787354-25326 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408624-1569803465.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=28489, runsolver pid=28486
Current StackSize limit: 8192 KiB


[startup+0.100174 s]*
/proc/loadavg: 2.29 2.14 2.09 3/200 28490
/proc/meminfo: memFree=29106580/32770624 swapFree=66997716/67108860
[pid=28489] ppid=28486 vsize=38248 memory=14752 CPUtime=0.1 cores=1,3,5,7
/proc/28489/stat : 28489 (cosoco) R 28486 28489 25294 0 -1 4202496 3851 0 0 0 10 0 0 0 20 0 1 0 556614174 39165952 3688 33554432000 4194304 6211132 140735244653440 140735244649976 5717999 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37072896 140735244661771 140735244661873 140735244661873 140735244664782 0
/proc/28489/statm: 9562 3688 837 493 0 2867 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38248 KiB
Current children cumulated memory: 14752 KiB

[startup+0.209791 s]*
/proc/loadavg: 2.29 2.14 2.09 3/200 28490
/proc/meminfo: memFree=29074960/32770624 swapFree=66997716/67108860
[pid=28489] ppid=28486 vsize=73676 memory=50088 CPUtime=0.2 cores=1,3,5,7
/proc/28489/stat : 28489 (cosoco) R 28486 28489 25294 0 -1 4202496 12685 0 0 0 19 1 0 0 20 0 1 0 556614174 75444224 12522 33554432000 4194304 6211132 140735244653440 140735244649976 140640566470560 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37072896 140735244661771 140735244661873 140735244661873 140735244664782 0
/proc/28489/statm: 18419 12522 837 493 0 11724 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 73676 KiB
Current children cumulated memory: 50088 KiB

[startup+0.309779 s]*
/proc/loadavg: 2.29 2.14 2.09 3/200 28490
/proc/meminfo: memFree=29041852/32770624 swapFree=66997716/67108860
[pid=28489] ppid=28486 vsize=106804 memory=83088 CPUtime=0.3 cores=1,3,5,7
/proc/28489/stat : 28489 (cosoco) R 28486 28489 25294 0 -1 4202496 20976 0 0 0 27 3 0 0 20 0 1 0 556614174 109367296 20772 33554432000 4194304 6211132 140735244653440 140735244649976 140640566470560 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37072896 140735244661771 140735244661873 140735244661873 140735244664782 0
/proc/28489/statm: 26701 20772 837 493 0 20006 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 106804 KiB
Current children cumulated memory: 83088 KiB

[startup+0.700374 s]
/proc/loadavg: 2.29 2.14 2.09 3/200 28490
/proc/meminfo: memFree=28982332/32770624 swapFree=66997716/67108860
[pid=28489] ppid=28486 vsize=233632 memory=210072 CPUtime=0.69 cores=1,3,5,7
/proc/28489/stat : 28489 (cosoco) R 28486 28489 25294 0 -1 4202496 52682 0 0 0 62 7 0 0 20 0 1 0 556614174 239239168 52518 33554432000 4194304 6211132 140735244653440 140735244649976 140640566422501 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37072896 140735244661771 140735244661873 140735244661873 140735244664782 0
/proc/28489/statm: 58408 52518 837 493 0 51713 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 233632 KiB
Current children cumulated memory: 210072 KiB

[startup+1.50033 s]
/proc/loadavg: 2.29 2.14 2.09 3/200 28490
/proc/meminfo: memFree=28885116/32770624 swapFree=66997716/67108860
[pid=28489] ppid=28486 vsize=314388 memory=290784 CPUtime=1.49 cores=1,3,5,7
/proc/28489/stat : 28489 (cosoco) R 28486 28489 25294 0 -1 4202496 72898 0 0 0 139 10 0 0 20 0 1 0 556614174 321933312 72696 33554432000 4194304 6211132 140735244653440 140735244651704 5156288 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37072896 140735244661771 140735244661873 140735244661873 140735244664782 0
/proc/28489/statm: 78597 72696 874 493 0 71902 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 314388 KiB
Current children cumulated memory: 290784 KiB

[startup+3.10982 s]
/proc/loadavg: 2.27 2.13 2.09 3/200 28490
/proc/meminfo: memFree=28825672/32770624 swapFree=66997716/67108860
[pid=28489] ppid=28486 vsize=340960 memory=316224 CPUtime=3.1 cores=1,3,5,7
/proc/28489/stat : 28489 (cosoco) R 28486 28489 25294 0 -1 4202496 99431 0 0 0 298 12 0 0 20 0 1 0 556614174 349143040 79056 33554432000 4194304 6211132 140735244653440 140735244650872 5008940 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37072896 140735244661771 140735244661873 140735244661873 140735244664782 0
/proc/28489/statm: 85240 79056 875 493 0 78545 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 340960 KiB
Current children cumulated memory: 316224 KiB

[startup+6.30031 s]
/proc/loadavg: 2.27 2.13 2.09 3/200 28490
/proc/meminfo: memFree=28743852/32770624 swapFree=66997716/67108860
[pid=28489] ppid=28486 vsize=406148 memory=377632 CPUtime=6.29 cores=1,3,5,7
/proc/28489/stat : 28489 (cosoco) R 28486 28489 25294 0 -1 4202496 140354 0 0 0 613 16 0 0 20 0 1 0 556614174 415895552 94408 33554432000 4194304 6211132 140735244653440 140735244650872 5186256 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37072896 140735244661771 140735244661873 140735244661873 140735244664782 0
/proc/28489/statm: 101537 94408 875 493 0 94842 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 377632 KiB

[startup+12.7003 s]
/proc/loadavg: 2.23 2.13 2.08 3/200 28490
/proc/meminfo: memFree=28744072/32770624 swapFree=66997716/67108860
[pid=28489] ppid=28486 vsize=406148 memory=377632 CPUtime=12.69 cores=1,3,5,7
/proc/28489/stat : 28489 (cosoco) R 28486 28489 25294 0 -1 4202496 167131 0 0 0 1251 18 0 0 20 0 1 0 556614174 415895552 94408 33554432000 4194304 6211132 140735244653440 140735244651400 5193786 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37072896 140735244661771 140735244661873 140735244661873 140735244664782 0
/proc/28489/statm: 101537 94408 875 493 0 94842 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 377632 KiB

[startup+25.5003 s]
/proc/loadavg: 2.19 2.12 2.08 3/201 28492
/proc/meminfo: memFree=28743560/32770624 swapFree=66997716/67108860
[pid=28489] ppid=28486 vsize=406148 memory=377632 CPUtime=25.49 cores=1,3,5,7
/proc/28489/stat : 28489 (cosoco) R 28486 28489 25294 0 -1 4202496 194912 0 0 0 2530 19 0 0 20 0 1 0 556614174 415895552 94408 33554432000 4194304 6211132 140735244653440 140735244651400 5250304 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37072896 140735244661771 140735244661873 140735244661873 140735244664782 0
/proc/28489/statm: 101537 94408 875 493 0 94842 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 377632 KiB

[startup+51.1098 s]
/proc/loadavg: 2.13 2.11 2.08 3/201 28494
/proc/meminfo: memFree=28743072/32770624 swapFree=66997716/67108860
[pid=28489] ppid=28486 vsize=406148 memory=377632 CPUtime=51.1 cores=1,3,5,7
/proc/28489/stat : 28489 (cosoco) R 28486 28489 25294 0 -1 4202496 223666 0 0 0 5089 21 0 0 20 0 1 0 556614174 415895552 94408 33554432000 4194304 6211132 140735244653440 140735244651400 5155519 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37072896 140735244661771 140735244661873 140735244661873 140735244664782 0
/proc/28489/statm: 101537 94408 875 493 0 94842 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 377632 KiB

[startup+102.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/201 28498
/proc/meminfo: memFree=28743288/32770624 swapFree=66997716/67108860
[pid=28489] ppid=28486 vsize=406148 memory=377632 CPUtime=102.29 cores=1,3,5,7
/proc/28489/stat : 28489 (cosoco) R 28486 28489 25294 0 -1 4202496 258542 0 0 0 10205 24 0 0 20 0 1 0 556614174 415895552 94408 33554432000 4194304 6211132 140735244653440 140735244651400 5155752 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37072896 140735244661771 140735244661873 140735244661873 140735244664782 0
/proc/28489/statm: 101537 94408 875 493 0 94842 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 377632 KiB

[startup+162.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/201 28502
/proc/meminfo: memFree=28742960/32770624 swapFree=66997716/67108860
[pid=28489] ppid=28486 vsize=406148 memory=377632 CPUtime=162.29 cores=1,3,5,7
/proc/28489/stat : 28489 (cosoco) R 28486 28489 25294 0 -1 4202496 279522 0 0 0 16204 25 0 0 20 0 1 0 556614174 415895552 94408 33554432000 4194304 6211132 140735244653440 140735244651400 5155377 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37072896 140735244661771 140735244661873 140735244661873 140735244664782 0
/proc/28489/statm: 101537 94408 875 493 0 94842 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 377632 KiB

[startup+222.3 s]
/proc/loadavg: 1.87 2.03 2.05 3/201 28569
/proc/meminfo: memFree=30848772/32770624 swapFree=66997716/67108860
[pid=28489] ppid=28486 vsize=406148 memory=377652 CPUtime=222.29 cores=1,3,5,7
/proc/28489/stat : 28489 (cosoco) R 28486 28489 25294 0 -1 4202496 304642 0 0 0 22202 27 0 0 20 0 1 0 556614174 415895552 94413 33554432000 4194304 6211132 140735244653440 140735244651400 5157576 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37072896 140735244661771 140735244661873 140735244661873 140735244664782 0
/proc/28489/statm: 101537 94413 875 493 0 94842 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 377652 KiB

[startup+282.3 s]
/proc/loadavg: 1.95 2.03 2.05 3/199 28573
/proc/meminfo: memFree=30840452/32770624 swapFree=66997716/67108860
[pid=28489] ppid=28486 vsize=406148 memory=377652 CPUtime=282.26 cores=1,3,5,7
/proc/28489/stat : 28489 (cosoco) R 28486 28489 25294 0 -1 4202496 323646 0 0 0 28199 27 0 0 20 0 1 0 556614174 415895552 94413 33554432000 4194304 6211132 140735244653440 140735244651400 5250304 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37072896 140735244661771 140735244661873 140735244661873 140735244664782 0
/proc/28489/statm: 101537 94413 875 493 0 94842 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 377652 KiB

[startup+342.3 s]
/proc/loadavg: 1.98 2.02 2.05 3/199 28578
/proc/meminfo: memFree=30839396/32770624 swapFree=66997716/67108860
[pid=28489] ppid=28486 vsize=406148 memory=377672 CPUtime=342.24 cores=1,3,5,7
/proc/28489/stat : 28489 (cosoco) R 28486 28489 25294 0 -1 4202496 335084 0 0 0 34196 28 0 0 20 0 1 0 556614174 415895552 94418 33554432000 4194304 6211132 140735244653440 140735244651400 5409493 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37072896 140735244661771 140735244661873 140735244661873 140735244664782 0
/proc/28489/statm: 101537 94418 875 493 0 94842 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 377672 KiB

[startup+402.3 s]
/proc/loadavg: 1.99 2.01 2.05 3/199 28584
/proc/meminfo: memFree=30836676/32770624 swapFree=66997716/67108860
[pid=28489] ppid=28486 vsize=406148 memory=379668 CPUtime=402.21 cores=1,3,5,7
/proc/28489/stat : 28489 (cosoco) R 28486 28489 25294 0 -1 4202496 343558 0 0 0 40193 28 0 0 20 0 1 0 556614174 415895552 94917 33554432000 4194304 6211132 140735244653440 140735244651400 5193786 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37072896 140735244661771 140735244661873 140735244661873 140735244664782 0
/proc/28489/statm: 101537 94917 875 493 0 94842 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 379668 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28588
/proc/meminfo: memFree=30834792/32770624 swapFree=66997716/67108860
[pid=28489] ppid=28486 vsize=406148 memory=382532 CPUtime=462.21 cores=1,3,5,7
/proc/28489/stat : 28489 (cosoco) R 28486 28489 25294 0 -1 4202496 344785 0 0 0 46193 28 0 0 20 0 1 0 556614174 415895552 95633 33554432000 4194304 6211132 140735244653440 140735244651400 5409481 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37072896 140735244661771 140735244661873 140735244661873 140735244664782 0
/proc/28489/statm: 101537 95633 875 493 0 94842 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382532 KiB


################
# More data... #
################

/proc/28489/statm: 101537 95633 875 493 0 94842 0
Current children cumulated CPU time: 1662.24 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382532 KiB

[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/199 28704
/proc/meminfo: memFree=30832200/32770624 swapFree=66997716/67108860
[pid=28489] ppid=28486 vsize=406148 memory=382532 CPUtime=1722.24 cores=1,3,5,7
/proc/28489/stat : 28489 (cosoco) R 28486 28489 25294 0 -1 4202496 352930 0 0 0 172195 29 0 0 20 0 1 0 556614174 415895552 95633 33554432000 4194304 6211132 140735244653440 140735244651400 5156288 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37072896 140735244661771 140735244661873 140735244661873 140735244664782 0
/proc/28489/statm: 101537 95633 875 493 0 94842 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382532 KiB

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 28716
/proc/meminfo: memFree=30831524/32770624 swapFree=66997716/67108860
[pid=28489] ppid=28486 vsize=406148 memory=382532 CPUtime=1782.24 cores=1,3,5,7
/proc/28489/stat : 28489 (cosoco) R 28486 28489 25294 0 -1 4202496 353179 0 0 0 178195 29 0 0 20 0 1 0 556614174 415895552 95633 33554432000 4194304 6211132 140735244653440 140735244651400 5186344 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37072896 140735244661771 140735244661873 140735244661873 140735244664782 0
/proc/28489/statm: 101537 95633 875 493 0 94842 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382532 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 28744
/proc/meminfo: memFree=30830308/32770624 swapFree=66997716/67108860
[pid=28489] ppid=28486 vsize=406148 memory=382532 CPUtime=1842.24 cores=1,3,5,7
/proc/28489/stat : 28489 (cosoco) R 28486 28489 25294 0 -1 4202496 353431 0 0 0 184195 29 0 0 20 0 1 0 556614174 415895552 95633 33554432000 4194304 6211132 140735244653440 140735244651400 5397295 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37072896 140735244661771 140735244661873 140735244661873 140735244664782 0
/proc/28489/statm: 101537 95633 875 493 0 94842 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382532 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 28749
/proc/meminfo: memFree=30831192/32770624 swapFree=66997716/67108860
[pid=28489] ppid=28486 vsize=406148 memory=382532 CPUtime=1902.24 cores=1,3,5,7
/proc/28489/stat : 28489 (cosoco) R 28486 28489 25294 0 -1 4202496 353876 0 0 0 190195 29 0 0 20 0 1 0 556614174 415895552 95633 33554432000 4194304 6211132 140735244653440 140735244651400 5158073 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37072896 140735244661771 140735244661873 140735244661873 140735244664782 0
/proc/28489/statm: 101537 95633 875 493 0 94842 0
Current children cumulated CPU time: 1902.24 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382532 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 28753
/proc/meminfo: memFree=30831036/32770624 swapFree=66997716/67108860
[pid=28489] ppid=28486 vsize=406148 memory=382532 CPUtime=1962.24 cores=1,3,5,7
/proc/28489/stat : 28489 (cosoco) R 28486 28489 25294 0 -1 4202496 354146 0 0 0 196195 29 0 0 20 0 1 0 556614174 415895552 95633 33554432000 4194304 6211132 140735244653440 140735244651400 5409485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37072896 140735244661771 140735244661873 140735244661873 140735244664782 0
/proc/28489/statm: 101537 95633 875 493 0 94842 0
Current children cumulated CPU time: 1962.24 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382532 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 28759
/proc/meminfo: memFree=30830776/32770624 swapFree=66997716/67108860
[pid=28489] ppid=28486 vsize=406148 memory=382532 CPUtime=2022.24 cores=1,3,5,7
/proc/28489/stat : 28489 (cosoco) R 28486 28489 25294 0 -1 4202496 354404 0 0 0 202195 29 0 0 20 0 1 0 556614174 415895552 95633 33554432000 4194304 6211132 140735244653440 140735244651400 5156497 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37072896 140735244661771 140735244661873 140735244661873 140735244664782 0
/proc/28489/statm: 101537 95633 875 493 0 94842 0
Current children cumulated CPU time: 2022.24 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382532 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 28763
/proc/meminfo: memFree=30830752/32770624 swapFree=66997716/67108860
[pid=28489] ppid=28486 vsize=406148 memory=382532 CPUtime=2082.24 cores=1,3,5,7
/proc/28489/stat : 28489 (cosoco) R 28486 28489 25294 0 -1 4202496 354667 0 0 0 208195 29 0 0 20 0 1 0 556614174 415895552 95633 33554432000 4194304 6211132 140735244653440 140735244651400 5250330 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37072896 140735244661771 140735244661873 140735244661873 140735244664782 0
/proc/28489/statm: 101537 95633 875 493 0 94842 0
Current children cumulated CPU time: 2082.24 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382532 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 28767
/proc/meminfo: memFree=30831792/32770624 swapFree=66997716/67108860
[pid=28489] ppid=28486 vsize=406148 memory=382532 CPUtime=2142.25 cores=1,3,5,7
/proc/28489/stat : 28489 (cosoco) R 28486 28489 25294 0 -1 4202496 355076 0 0 0 214195 30 0 0 20 0 1 0 556614174 415895552 95633 33554432000 4194304 6211132 140735244653440 140735244651400 5250304 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37072896 140735244661771 140735244661873 140735244661873 140735244664782 0
/proc/28489/statm: 101537 95633 875 493 0 94842 0
Current children cumulated CPU time: 2142.25 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382532 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28773
/proc/meminfo: memFree=30831536/32770624 swapFree=66997716/67108860
[pid=28489] ppid=28486 vsize=406148 memory=382532 CPUtime=2202.25 cores=1,3,5,7
/proc/28489/stat : 28489 (cosoco) R 28486 28489 25294 0 -1 4202496 355347 0 0 0 220195 30 0 0 20 0 1 0 556614174 415895552 95633 33554432000 4194304 6211132 140735244653440 140735244651400 5156912 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37072896 140735244661771 140735244661873 140735244661873 140735244664782 0
/proc/28489/statm: 101537 95633 875 493 0 94842 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382532 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28777
/proc/meminfo: memFree=30831848/32770624 swapFree=66997716/67108860
[pid=28489] ppid=28486 vsize=406148 memory=382532 CPUtime=2262.25 cores=1,3,5,7
/proc/28489/stat : 28489 (cosoco) R 28486 28489 25294 0 -1 4202496 355630 0 0 0 226195 30 0 0 20 0 1 0 556614174 415895552 95633 33554432000 4194304 6211132 140735244653440 140735244651400 5156529 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37072896 140735244661771 140735244661873 140735244661873 140735244664782 0
/proc/28489/statm: 101537 95633 875 493 0 94842 0
Current children cumulated CPU time: 2262.25 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382532 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28781
/proc/meminfo: memFree=30831632/32770624 swapFree=66997716/67108860
[pid=28489] ppid=28486 vsize=406148 memory=382532 CPUtime=2322.25 cores=1,3,5,7
/proc/28489/stat : 28489 (cosoco) R 28486 28489 25294 0 -1 4202496 355972 0 0 0 232195 30 0 0 20 0 1 0 556614174 415895552 95633 33554432000 4194304 6211132 140735244653440 140735244651400 5409485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37072896 140735244661771 140735244661873 140735244661873 140735244664782 0
/proc/28489/statm: 101537 95633 875 493 0 94842 0
Current children cumulated CPU time: 2322.25 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382532 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28792
/proc/meminfo: memFree=30830140/32770624 swapFree=66997716/67108860
[pid=28489] ppid=28486 vsize=406148 memory=382532 CPUtime=2382.26 cores=1,3,5,7
/proc/28489/stat : 28489 (cosoco) R 28486 28489 25294 0 -1 4202496 356383 0 0 0 238196 30 0 0 20 0 1 0 556614174 415895552 95633 33554432000 4194304 6211132 140735244653440 140735244651400 5409485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37072896 140735244661771 140735244661873 140735244661873 140735244664782 0
/proc/28489/statm: 101537 95633 875 493 0 94842 0
Current children cumulated CPU time: 2382.26 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382532 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28792
/proc/meminfo: memFree=30830532/32770624 swapFree=66997716/67108860
[pid=28489] ppid=28486 vsize=406148 memory=382532 CPUtime=2400.07 cores=1,3,5,7
/proc/28489/stat : 28489 (cosoco) R 28486 28489 25294 0 -1 4202496 356489 0 0 0 239977 30 0 0 20 0 1 0 556614174 415895552 95633 33554432000 4194304 6211132 140735244653440 140735244651400 5250304 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37072896 140735244661771 140735244661873 140735244661873 140735244664782 0
/proc/28489/statm: 101537 95633 875 493 0 94842 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382532 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2400.11 s]
# the end of solver process 28489 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.77 s, system=0.303005 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28792
/proc/meminfo: memFree=30830532/32770624 swapFree=66997716/67108860
[pid=28489] ppid=28486 vsize=406148 memory=382532 CPUtime=2400.07 cores=1,3,5,7
/proc/28489/stat : 28489 (cosoco) R 28486 28489 25294 0 -1 4202496 356489 0 0 0 239977 30 0 0 20 0 1 0 556614174 415895552 95633 33554432000 4194304 6211132 140735244653440 140735244651400 5250304 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37072896 140735244661771 140735244661873 140735244661873 140735244664782 0
/proc/28489/statm: 101537 95633 875 493 0 94842 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382532 KiB

Child status: 1
Real time (s): 2400.11
CPU time (s): 2400.07
CPU user time (s): 2399.77
CPU system time (s): 0.303005
CPU usage (%): 99.9985
Max. virtual memory (cumulated for all children) (KiB): 406148
Max. memory (cumulated for all children) (KiB): 382532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.77
system time used= 0.303005
maximum resident set size= 382596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356540
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= 131
involuntary context switches= 606


# summary of solver processes directly reported to runsolver:
#   pid: 28489
#   total CPU time (s): 2400.07
#   total CPU user time (s): 2399.77
#   total CPU system time (s): 0.303005

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.00337 second user time and 16.7162 second system time

The end

Launcher Data 

Begin job on node126 at 2019-09-30 02:30:26
IDJOB=4408624
IDBENCH=135031
IDSOLVER=2875
FILE ID=node126/4408624-1569803465
RUNJOBID= node126-1569787354-25326
PBS_JOBID= 21705827
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-sptate/Pb-Tate-K109.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408624-1569803465/watcher-4408624-1569803465 -o /tmp/evaluation-result-4408624-1569803465/solver-4408624-1569803465 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1569787354-25326 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4408624-1569803465.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= d51c756c633143c4b9edb9b6f06ce71e
RANDOM SEED=1262183509

node126.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.45
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.56
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.45
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.56
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.45
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.56
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.45
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29117924 kB
MemAvailable:   29472044 kB
Buffers:          205804 kB
Cached:           466528 kB
SwapCached:         7392 kB
Active:          2725260 kB
Inactive:         337748 kB
Active(anon):    2395980 kB
Inactive(anon):    70400 kB
Active(file):     329280 kB
Inactive(file):   267348 kB
Unevictable:      109388 kB
Mlocked:          109388 kB
SwapTotal:      67108860 kB
SwapFree:       66997716 kB
Dirty:              3168 kB
Writeback:             0 kB
AnonPages:       2478060 kB
Mapped:            28688 kB
Shmem:             66840 kB
Slab:             176872 kB
SReclaimable:     146656 kB
SUnreclaim:        30216 kB
KernelStack:        3488 kB
PageTables:        10392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3031880 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1277952 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 62024 MiB
End job on node126 at 2019-09-30 03:10:26