Trace number 4397344

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.05 2400.11

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-sptate/
Pb-Tate-K104.xml
MD5SUM6ed29f3170f2d24d94b936f24e5b4a9d
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 benchmark110.658
Satisfiable
(Un)Satisfiability was proved
Number of variables7072
Number of constraints7282
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":7072}]
Minimum variable degree3
Maximum variable degree10
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":181},{"degree":5,"count":1252},{"degree":6,"count":2771},{"degree":7,"count":1740},{"degree":8,"count":717},{"degree":9,"count":206},{"degree":10,"count":204}]
Minimum constraint arity1
Maximum constraint arity104
Distribution of constraint arities[{"arity":1,"count":2},{"arity":2,"count":1339},{"arity":3,"count":2781},{"arity":4,"count":1854},{"arity":5,"count":618},{"arity":6,"count":206},{"arity":7,"count":206},{"arity":68,"count":208},{"arity":104,"count":68}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":7282}]
Optimization problemNO
Type of objective

Solver Data 

0.79/0.88	c root propagations     : 362         
0.79/0.88	c restarts enabled, print stats at every restarts
0.79/0.88	c
0.79/0.88	c
0.79/0.88	c
0.79/0.88	c This is cosoco 2.00 --  
0.79/0.88	c
0.79/0.88	c command line: cosoco -lc -model -restarts -stick HOME/instance-4397344-1568585602.xml 
0.79/0.88	c ========================================[ Problem Statistics ]===========================================
0.79/0.88	c |                                                                                                       
0.79/0.88	c |  Parse time        :         0.69 s 
0.79/0.88	c |
0.79/0.88	c |               Variables: 7072
0.79/0.88	c |            Domain Sizes: 2..2
0.79/0.88	c |
0.79/0.88	c |             Constraints: 7282
0.79/0.88	c |                   Arity: 1..104  -- Unary: 2  -- Binary: 1339  -- Ternary: 2781
0.79/0.88	c | 
0.79/0.88	c |                   Types: 
0.79/0.88	c |                          Sum: 7282
0.79/0.88	c |                          
0.79/0.88	c =========================================================================================================
0.79/0.88	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
5.10/5.13	c 101            3542           1643792        486511         362            0              1456   1608   1535
5.79/5.89	c 211            11007          1909554        580555         362            0              166   6546   5887
6.69/6.78	c 332            19845          2185710        702780         362            0              336   2179   1836
7.78/7.84	c 465            30604          2495770        825759         362            0              1149   1858   1399
9.29/9.30	c 611            46382          2947148        989394         362            0              1226   2819   1801
10.49/10.59	c 771            64220          3202905        1098501        362            0              1682   2547   1912
11.89/11.93	c 947            71866          3754431        1291515        362            0              1632   2087   1737
13.39/13.40	c 1140           84804          4280056        1521542        362            0              1468   2664   2276
14.49/14.54	c 1352           95689          4650000        1666573        362            0              1492   2624   1690
16.10/16.16	c 1585           114406         5094586        1831217        362            0              388   2753   1997
18.18/18.21	c 1841           135089         5728255        2082805        362            0              1468   2304   1947
21.00/21.01	c 2122           147387         6859263        2481211        362            0              1233   1678   1341
22.69/22.77	c 2431           159973         7444054        2727609        362            0              1009   1363   1112
24.99/25.01	c 2770           172469         8299315        3062609        362            0              775   947   850
27.29/27.37	c 3142           185985         9167981        3393846        362            0              596   1029   794
29.18/29.27	c 3551           199198         9807630        3657502        362            0              725   893   820
32.18/32.22	c 4000           224108         10615457       3982472        362            0              594   1200   904
35.10/35.18	c 4493           242586         11614362       4344107        362            0              690   893   790
39.28/39.32	c 5035           285913         12776087       4804087        362            0              620   2080   1774
42.18/42.25	c 5631           314746         13587501       5122738        362            0              945   1880   1189
47.59/47.60	c 6286           363917         15167232       5812921        362            0              998   2250   1468
53.59/53.63	c 7006           399571         17552623       6667086        362            0              920   1363   1184
59.88/59.92	c 7798           437414         19781540       7521161        362            0              747   1340   986
64.10/64.16	c 8669           461894         21476067       8184436        362            0              665   1361   993
69.49/69.51	c 9627           507470         23190561       8909328        362            0              402   2090   1359
74.29/74.38	c 10680          547199         24873834       9623858        362            0              990   1229   1096
83.78/83.82	c 11838          585594         28947918       11171997       362            0              736   1007   828
90.10/90.12	c 13111          620397         31389330       12196224       362            0              670   955   751
95.10/95.14	c 14511          648557         33296352       12949637       362            0              562   703   630
108.00/108.05	c 16051          730519         38085963       14921016       362            0              575   1223   843
118.99/119.01	c 17745          769720         43072768       16817490       362            0              632   765   687
135.18/135.29	c 19608          937103         48467933       18938348       362            0              664   3082   1052
148.17/148.26	c 21657          1035393        54006269       21198844       362            0              777   1053   970
160.98/161.01	c 23910          1179172        58014840       22976462       362            0              853   2440   1303
172.08/172.11	c 26388          1305131        61675864       24672072       362            0              1027   2538   1426
178.37/178.44	c 29113          1370684        64070885       25664403       362            0              1287   1635   1533
190.47/190.50	c 32110          1461865        69376758       27681338       362            0              1117   1580   1336
217.07/217.16	c 35406          1659908        80201399       31630612       362            0              854   1503   1299
257.16/257.28	c 39031          1962416        95587681       37381638       362            0              697   1814   1239
286.95/287.08	c 43018          2286110        105124933      40869574       362            0              741   2453   1479
333.85/333.98	c 47403          2496023        127074942      48896359       362            0              1014   1634   1230
388.06/388.15	c 52226          2683038        149778530      56181282       362            0              717   1101   877
424.75/424.87	c 57531          2972852        164750655      61785179       362            0              636   1448   1182
469.65/469.73	c 63366          3396659        180611179      67905504       362            0              813   2114   1180
534.65/534.75	c 69784          3960840        204757885      76713016       362            0              792   1684   1270
583.35/583.48	c 76843          4417241        222996251      83970803       362            0              953   1912   1494
614.45/614.55	c 84607          4722574        234855472      89223987       362            0              1233   1537   1405
675.25/675.35	c 93147          5164298        261550667      99347556       362            0              1125   1548   1312
722.74/722.80	c 102541         5512177        281806710      106616088      362            0              1261   1556   1437
783.14/783.27	c 112874         5891750        308679618      116635023      362            0              1150   1479   1351
882.64/882.78	c 124240         6589203        348578197      130439472      362            0              927   1312   1205
1005.54/1005.67	c 136742         7663194        393347884      146916233      362            0              1032   2822   1461
1111.95/1112.02	c 150494         8784444        429684482      161880687      362            0              1258   2333   1614
1216.34/1216.46	c 165621         10091520       462762599      175954765      362            0              1426   2667   1900
1337.54/1337.64	c 182260         11047894       515306032      195855543      362            0              1525   2312   1941
1425.54/1425.64	c 200562         11771355       552694327      210663154      362            0              1656   2004   1864
1532.13/1532.27	c 220694         12763128       594907607      226724920      362            0              1499   2148   1792
1634.13/1634.25	c 242839         13736511       636744797      244219956      362            0              1639   2252   1884
1740.63/1740.72	c 267198         14716474       679006908      261725900      362            0              1403   1700   1589
1828.94/1829.04	c 293992         15792577       706378278      274100687      362            0              1350   1969   1578
1965.83/1966.00	c 323465         16831552       766593186      299137167      362            0              1277   1818   1507
2256.63/2256.78	c 355885         17845358       912377234      352278585      362            0              1155   1520   1321
2400.03/2400.10	
2400.03/2400.10	c *** INTERRUPTED ***
2400.03/2400.10	c restarts              : 62          
2400.03/2400.10	c conflicts             : 373116       (155 /sec)
2400.03/2400.10	c decisions             : 18544548     (7728 /sec)
2400.03/2400.10	c propagations          : 375710714   (156559 /sec)
2400.03/2400.10	c root propagations     : 362         
2400.03/2400.10	c filter calls          : 977209612      (407203 /sec)
2400.03/2400.10	c useless filter calls  : 867420038      (88 %)
2400.03/2400.10	c Memory used           : 366.83 MB
2400.03/2400.10	c CPU time              : 2399.81 s
2400.03/2400.10	c real time             : 2400.1 s
2400.03/2400.10	
2400.03/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 (10717 MiB free)
  memory of node 1: 16384 MiB (13225 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397344-1568585602/watcher-4397344-1568585602 -o /tmp/evaluation-result-4397344-1568585602/solver-4397344-1568585602 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568572743-24739 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397344-1568585602.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=27721, runsolver pid=27718
Current StackSize limit: 8192 KiB


[startup+0.100181 s]*
/proc/loadavg: 2.00 2.02 2.05 3/200 27722
/proc/meminfo: memFree=24506432/32770624 swapFree=67108848/67108860
[pid=27721] ppid=27718 vsize=37588 memory=13932 CPUtime=0.1 cores=1,3,5,7
/proc/27721/stat : 27721 (cosoco) R 27718 27721 24707 0 -1 4202496 3688 0 0 0 10 0 0 0 20 0 1 0 434497558 38490112 3483 33554432000 4194304 6211092 140723529000256 140723528997528 140214825956480 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11403264 140723529008139 140723529008241 140723529008241 140723529011150 0
/proc/27721/statm: 9397 3483 837 493 0 2702 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37588 KiB
Current children cumulated memory: 13932 KiB

[startup+0.209779 s]*
/proc/loadavg: 2.00 2.02 2.05 3/200 27722
/proc/meminfo: memFree=24474924/32770624 swapFree=67108848/67108860
[pid=27721] ppid=27718 vsize=72864 memory=49308 CPUtime=0.21 cores=1,3,5,7
/proc/27721/stat : 27721 (cosoco) R 27718 27721 24707 0 -1 4202496 12505 0 0 0 20 1 0 0 20 0 1 0 434497558 74612736 12327 33554432000 4194304 6211092 140723529000256 140723528996328 140214809941920 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11403264 140723529008139 140723529008241 140723529008241 140723529011150 0
/proc/27721/statm: 18251 12327 837 493 0 11556 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 72864 KiB
Current children cumulated memory: 49308 KiB

[startup+0.309709 s]*
/proc/loadavg: 2.00 2.02 2.05 3/200 27722
/proc/meminfo: memFree=24442560/32770624 swapFree=67108848/67108860
[pid=27721] ppid=27718 vsize=105380 memory=81516 CPUtime=0.31 cores=1,3,5,7
/proc/27721/stat : 27721 (cosoco) R 27718 27721 24707 0 -1 4202496 20606 0 0 0 29 2 0 0 20 0 1 0 434497558 107909120 20379 33554432000 4194304 6211092 140723529000256 140723528996328 140214809893861 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11403264 140723529008139 140723529008241 140723529008241 140723529011150 0
/proc/27721/statm: 26345 20379 837 493 0 19650 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 105380 KiB
Current children cumulated memory: 81516 KiB

[startup+0.700373 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 27722
/proc/meminfo: memFree=24384528/32770624 swapFree=67108848/67108860
[pid=27721] ppid=27718 vsize=227960 memory=204276 CPUtime=0.69 cores=1,3,5,7
/proc/27721/stat : 27721 (cosoco) R 27718 27721 24707 0 -1 4202496 51281 0 0 0 62 7 0 0 20 0 1 0 434497558 233431040 51069 33554432000 4194304 6211092 140723529000256 140723528994392 140214809893861 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11403264 140723529008139 140723529008241 140723529008241 140723529011150 0
/proc/27721/statm: 57025 51069 837 493 0 50330 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 227960 KiB
Current children cumulated memory: 204276 KiB

[startup+1.50037 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 27722
/proc/meminfo: memFree=24298596/32770624 swapFree=67108848/67108860
[pid=27721] ppid=27718 vsize=276004 memory=252588 CPUtime=1.49 cores=1,3,5,7
/proc/27721/stat : 27721 (cosoco) R 27718 27721 24707 0 -1 4202496 63316 0 0 0 140 9 0 0 20 0 1 0 434497558 282628096 63147 33554432000 4194304 6211092 140723529000256 140723528997688 140214809893861 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11403264 140723529008139 140723529008241 140723529008241 140723529011150 0
/proc/27721/statm: 69001 63147 874 493 0 62306 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 276004 KiB
Current children cumulated memory: 252588 KiB

[startup+3.10955 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 27722
/proc/meminfo: memFree=24258360/32770624 swapFree=67108848/67108860
[pid=27721] ppid=27718 vsize=285880 memory=262528 CPUtime=3.1 cores=1,3,5,7
/proc/27721/stat : 27721 (cosoco) R 27718 27721 24707 0 -1 4202496 75171 0 0 0 300 10 0 0 20 0 1 0 434497558 292741120 65632 33554432000 4194304 6211092 140723529000256 140723528997688 5397375 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11403264 140723529008139 140723529008241 140723529008241 140723529011150 0
/proc/27721/statm: 71470 65632 874 493 0 64775 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 285880 KiB
Current children cumulated memory: 262528 KiB

[startup+6.30031 s]
/proc/loadavg: 1.92 2.00 2.04 3/200 27722
/proc/meminfo: memFree=24176852/32770624 swapFree=67108848/67108860
[pid=27721] ppid=27718 vsize=371280 memory=343652 CPUtime=6.29 cores=1,3,5,7
/proc/27721/stat : 27721 (cosoco) R 27718 27721 24707 0 -1 4202496 122849 0 0 0 616 13 0 0 20 0 1 0 434497558 380190720 85913 33554432000 4194304 6211092 140723529000256 140723528998216 5156931 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11403264 140723529008139 140723529008241 140723529008241 140723529011150 0
/proc/27721/statm: 92820 85913 875 493 0 86125 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 371280 KiB
Current children cumulated memory: 343652 KiB

[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/200 27722
/proc/meminfo: memFree=24176584/32770624 swapFree=67108848/67108860
[pid=27721] ppid=27718 vsize=371280 memory=343744 CPUtime=12.69 cores=1,3,5,7
/proc/27721/stat : 27721 (cosoco) R 27718 27721 24707 0 -1 4202496 151287 0 0 0 1255 14 0 0 20 0 1 0 434497558 380190720 85936 33554432000 4194304 6211092 140723529000256 140723528998216 5409461 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11403264 140723529008139 140723529008241 140723529008241 140723529011150 0
/proc/27721/statm: 92820 85936 875 493 0 86125 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 371280 KiB
Current children cumulated memory: 343744 KiB

[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/200 27722
/proc/meminfo: memFree=24175220/32770624 swapFree=67108848/67108860
[pid=27721] ppid=27718 vsize=373020 memory=345380 CPUtime=25.49 cores=1,3,5,7
/proc/27721/stat : 27721 (cosoco) R 27718 27721 24707 0 -1 4202496 177696 0 0 0 2534 15 0 0 20 0 1 0 434497558 381972480 86345 33554432000 4194304 6211092 140723529000256 140723528998216 5409461 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11403264 140723529008139 140723529008241 140723529008241 140723529011150 0
/proc/27721/statm: 93255 86345 875 493 0 86560 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 373020 KiB
Current children cumulated memory: 345380 KiB

[startup+51.1095 s]
/proc/loadavg: 1.96 2.00 2.04 3/200 27725
/proc/meminfo: memFree=24175092/32770624 swapFree=67108848/67108860
[pid=27721] ppid=27718 vsize=373020 memory=345484 CPUtime=51.1 cores=1,3,5,7
/proc/27721/stat : 27721 (cosoco) R 27718 27721 24707 0 -1 4202496 206950 0 0 0 5093 17 0 0 20 0 1 0 434497558 381972480 86371 33554432000 4194304 6211092 140723529000256 140723528998216 5409453 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11403264 140723529008139 140723529008241 140723529008241 140723529011150 0
/proc/27721/statm: 93255 86371 875 493 0 86560 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 373020 KiB
Current children cumulated memory: 345484 KiB

[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/200 27729
/proc/meminfo: memFree=24174984/32770624 swapFree=67108848/67108860
[pid=27721] ppid=27718 vsize=373020 memory=345484 CPUtime=102.29 cores=1,3,5,7
/proc/27721/stat : 27721 (cosoco) R 27718 27721 24707 0 -1 4202496 231712 0 0 0 10210 19 0 0 20 0 1 0 434497558 381972480 86371 33554432000 4194304 6211092 140723529000256 140723528998216 5250450 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11403264 140723529008139 140723529008241 140723529008241 140723529011150 0
/proc/27721/statm: 93255 86371 875 493 0 86560 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 373020 KiB
Current children cumulated memory: 345484 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/199 27733
/proc/meminfo: memFree=24173388/32770624 swapFree=67108848/67108860
[pid=27721] ppid=27718 vsize=374272 memory=346620 CPUtime=162.27 cores=1,3,5,7
/proc/27721/stat : 27721 (cosoco) R 27718 27721 24707 0 -1 4202496 259687 0 0 0 16207 20 0 0 20 0 1 0 434497558 383254528 86655 33554432000 4194304 6211092 140723529000256 140723528997688 5409465 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11403264 140723529008139 140723529008241 140723529008241 140723529011150 0
/proc/27721/statm: 93568 86655 875 493 0 86873 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 374272 KiB
Current children cumulated memory: 346620 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 27739
/proc/meminfo: memFree=24173428/32770624 swapFree=67108848/67108860
[pid=27721] ppid=27718 vsize=374404 memory=346756 CPUtime=222.27 cores=1,3,5,7
/proc/27721/stat : 27721 (cosoco) R 27718 27721 24707 0 -1 4202496 278657 0 0 0 22205 22 0 0 20 0 1 0 434497558 383389696 86689 33554432000 4194304 6211092 140723529000256 140723528998216 5156853 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11403264 140723529008139 140723529008241 140723529008241 140723529011150 0
/proc/27721/statm: 93601 86689 875 493 0 86906 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 374404 KiB
Current children cumulated memory: 346756 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 27743
/proc/meminfo: memFree=24172948/32770624 swapFree=67108848/67108860
[pid=27721] ppid=27718 vsize=374800 memory=347164 CPUtime=282.25 cores=1,3,5,7
/proc/27721/stat : 27721 (cosoco) R 27718 27721 24707 0 -1 4202496 290629 0 0 0 28203 22 0 0 20 0 1 0 434497558 383795200 86791 33554432000 4194304 6211092 140723529000256 140723528997848 5409439 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11403264 140723529008139 140723529008241 140723529008241 140723529011150 0
/proc/27721/statm: 93700 86791 875 493 0 87005 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 374800 KiB
Current children cumulated memory: 347164 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 27747
/proc/meminfo: memFree=24167984/32770624 swapFree=67108848/67108860
[pid=27721] ppid=27718 vsize=374800 memory=351360 CPUtime=342.25 cores=1,3,5,7
/proc/27721/stat : 27721 (cosoco) R 27718 27721 24707 0 -1 4202496 291288 0 0 0 34202 23 0 0 20 0 1 0 434497558 383795200 87840 33554432000 4194304 6211092 140723529000256 140723528998216 5250234 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11403264 140723529008139 140723529008241 140723529008241 140723529011150 0
/proc/27721/statm: 93700 87840 875 493 0 87005 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 374800 KiB
Current children cumulated memory: 351360 KiB

[startup+402.3 s]
/proc/loadavg: 1.95 1.99 2.03 3/199 27753
/proc/meminfo: memFree=24167564/32770624 swapFree=67108848/67108860
[pid=27721] ppid=27718 vsize=374800 memory=351360 CPUtime=402.25 cores=1,3,5,7
/proc/27721/stat : 27721 (cosoco) R 27718 27721 24707 0 -1 4202496 291602 0 0 0 40202 23 0 0 20 0 1 0 434497558 383795200 87840 33554432000 4194304 6211092 140723529000256 140723528998216 5155353 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11403264 140723529008139 140723529008241 140723529008241 140723529011150 0
/proc/27721/statm: 93700 87840 875 493 0 87005 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 374800 KiB
Current children cumulated memory: 351360 KiB

[startup+462.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/200 27765
/proc/meminfo: memFree=24167684/32770624 swapFree=67108848/67108860
[pid=27721] ppid=27718 vsize=374800 memory=351360 CPUtime=462.25 cores=1,3,5,7
/proc/27721/stat : 27721 (cosoco) R 27718 27721 24707 0 -1 4202496 291905 0 0 0 46202 23 0 0 20 0 1 0 434497558 383795200 87840 33554432000 4194304 6211092 140723529000256 140723528998216 5156256 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11403264 140723529008139 140723529008241 140723529008241 140723529011150 0
/proc/27721/statm: 93700 87840 875 493 0 87005 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 374800 KiB
Current children cumulated memory: 351360 KiB


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

/proc/27721/statm: 93907 88075 875 493 0 87212 0
Current children cumulated CPU time: 1662.23 s
Current children cumulated vsize: 375628 KiB
Current children cumulated memory: 352300 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/201 28007
/proc/meminfo: memFree=24229016/32770624 swapFree=67108848/67108860
[pid=27721] ppid=27718 vsize=375628 memory=352300 CPUtime=1722.23 cores=1,3,5,7
/proc/27721/stat : 27721 (cosoco) R 27718 27721 24707 0 -1 4202496 299020 0 0 0 172200 23 0 0 20 0 1 0 434497558 384643072 88075 33554432000 4194304 6211092 140723529000256 140723528998216 5409465 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11403264 140723529008139 140723529008241 140723529008241 140723529011150 0
/proc/27721/statm: 93907 88075 875 493 0 87212 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 375628 KiB
Current children cumulated memory: 352300 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/201 28011
/proc/meminfo: memFree=24228608/32770624 swapFree=67108848/67108860
[pid=27721] ppid=27718 vsize=375628 memory=352300 CPUtime=1782.23 cores=1,3,5,7
/proc/27721/stat : 27721 (cosoco) R 27718 27721 24707 0 -1 4202496 299417 0 0 0 178200 23 0 0 20 0 1 0 434497558 384643072 88075 33554432000 4194304 6211092 140723529000256 140723528998216 5409453 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11403264 140723529008139 140723529008241 140723529008241 140723529011150 0
/proc/27721/statm: 93907 88075 875 493 0 87212 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 375628 KiB
Current children cumulated memory: 352300 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/201 28017
/proc/meminfo: memFree=24228524/32770624 swapFree=67108848/67108860
[pid=27721] ppid=27718 vsize=375628 memory=352300 CPUtime=1842.23 cores=1,3,5,7
/proc/27721/stat : 27721 (cosoco) R 27718 27721 24707 0 -1 4202496 299815 0 0 0 184200 23 0 0 20 0 1 0 434497558 384643072 88075 33554432000 4194304 6211092 140723529000256 140723528998216 5409453 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11403264 140723529008139 140723529008241 140723529008241 140723529011150 0
/proc/27721/statm: 93907 88075 875 493 0 87212 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 375628 KiB
Current children cumulated memory: 352300 KiB

[startup+1902.3 s]
/proc/loadavg: 2.04 2.00 2.04 3/201 28021
/proc/meminfo: memFree=24229332/32770624 swapFree=67108848/67108860
[pid=27721] ppid=27718 vsize=375628 memory=352300 CPUtime=1902.23 cores=1,3,5,7
/proc/27721/stat : 27721 (cosoco) R 27718 27721 24707 0 -1 4202496 300078 0 0 0 190200 23 0 0 20 0 1 0 434497558 384643072 88075 33554432000 4194304 6211092 140723529000256 140723528998216 5250284 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11403264 140723529008139 140723529008241 140723529008241 140723529011150 0
/proc/27721/statm: 93907 88075 875 493 0 87212 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 375628 KiB
Current children cumulated memory: 352300 KiB

[startup+1962.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/200 28025
/proc/meminfo: memFree=24229908/32770624 swapFree=67108848/67108860
[pid=27721] ppid=27718 vsize=375628 memory=352300 CPUtime=1962.23 cores=1,3,5,7
/proc/27721/stat : 27721 (cosoco) R 27718 27721 24707 0 -1 4202496 300397 0 0 0 196200 23 0 0 20 0 1 0 434497558 384643072 88075 33554432000 4194304 6211092 140723529000256 140723528998216 5409461 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11403264 140723529008139 140723529008241 140723529008241 140723529011150 0
/proc/27721/statm: 93907 88075 875 493 0 87212 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 375628 KiB
Current children cumulated memory: 352300 KiB

[startup+2022.3 s]
/proc/loadavg: 2.08 2.02 2.05 3/199 28031
/proc/meminfo: memFree=24229168/32770624 swapFree=67108848/67108860
[pid=27721] ppid=27718 vsize=375628 memory=352300 CPUtime=2022.23 cores=1,3,5,7
/proc/27721/stat : 27721 (cosoco) R 27718 27721 24707 0 -1 4202496 300785 0 0 0 202200 23 0 0 20 0 1 0 434497558 384643072 88075 33554432000 4194304 6211092 140723529000256 140723528998216 5409453 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11403264 140723529008139 140723529008241 140723529008241 140723529011150 0
/proc/27721/statm: 93907 88075 875 493 0 87212 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 375628 KiB
Current children cumulated memory: 352300 KiB

[startup+2082.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/199 28035
/proc/meminfo: memFree=24229488/32770624 swapFree=67108848/67108860
[pid=27721] ppid=27718 vsize=375628 memory=352300 CPUtime=2082.23 cores=1,3,5,7
/proc/27721/stat : 27721 (cosoco) R 27718 27721 24707 0 -1 4202496 301078 0 0 0 208200 23 0 0 20 0 1 0 434497558 384643072 88075 33554432000 4194304 6211092 140723529000256 140723528998216 5158000 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11403264 140723529008139 140723529008241 140723529008241 140723529011150 0
/proc/27721/statm: 93907 88075 875 493 0 87212 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 375628 KiB
Current children cumulated memory: 352300 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/199 28039
/proc/meminfo: memFree=24228844/32770624 swapFree=67108848/67108860
[pid=27721] ppid=27718 vsize=375628 memory=352300 CPUtime=2142.23 cores=1,3,5,7
/proc/27721/stat : 27721 (cosoco) R 27718 27721 24707 0 -1 4202496 301356 0 0 0 214200 23 0 0 20 0 1 0 434497558 384643072 88075 33554432000 4194304 6211092 140723529000256 140723528998216 5250450 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11403264 140723529008139 140723529008241 140723529008241 140723529011150 0
/proc/27721/statm: 93907 88075 875 493 0 87212 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 375628 KiB
Current children cumulated memory: 352300 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28045
/proc/meminfo: memFree=24228444/32770624 swapFree=67108848/67108860
[pid=27721] ppid=27718 vsize=375628 memory=352300 CPUtime=2202.23 cores=1,3,5,7
/proc/27721/stat : 27721 (cosoco) R 27718 27721 24707 0 -1 4202496 301655 0 0 0 220200 23 0 0 20 0 1 0 434497558 384643072 88075 33554432000 4194304 6211092 140723529000256 140723528998216 5409453 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11403264 140723529008139 140723529008241 140723529008241 140723529011150 0
/proc/27721/statm: 93907 88075 875 493 0 87212 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 375628 KiB
Current children cumulated memory: 352300 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28057
/proc/meminfo: memFree=24228828/32770624 swapFree=67108848/67108860
[pid=27721] ppid=27718 vsize=375628 memory=352300 CPUtime=2262.23 cores=1,3,5,7
/proc/27721/stat : 27721 (cosoco) R 27718 27721 24707 0 -1 4202496 302036 0 0 0 226200 23 0 0 20 0 1 0 434497558 384643072 88075 33554432000 4194304 6211092 140723529000256 140723528998216 5155944 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11403264 140723529008139 140723529008241 140723529008241 140723529011150 0
/proc/27721/statm: 93907 88075 875 493 0 87212 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 375628 KiB
Current children cumulated memory: 352300 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28061
/proc/meminfo: memFree=24228612/32770624 swapFree=67108848/67108860
[pid=27721] ppid=27718 vsize=375628 memory=352300 CPUtime=2322.23 cores=1,3,5,7
/proc/27721/stat : 27721 (cosoco) R 27718 27721 24707 0 -1 4202496 302306 0 0 0 232200 23 0 0 20 0 1 0 434497558 384643072 88075 33554432000 4194304 6211092 140723529000256 140723528998216 5155345 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11403264 140723529008139 140723529008241 140723529008241 140723529011150 0
/proc/27721/statm: 93907 88075 875 493 0 87212 0
Current children cumulated CPU time: 2322.23 s
Current children cumulated vsize: 375628 KiB
Current children cumulated memory: 352300 KiB

[startup+2382.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/200 28067
/proc/meminfo: memFree=24228300/32770624 swapFree=67108848/67108860
[pid=27721] ppid=27718 vsize=375628 memory=352300 CPUtime=2382.23 cores=1,3,5,7
/proc/27721/stat : 27721 (cosoco) R 27718 27721 24707 0 -1 4202496 302591 0 0 0 238200 23 0 0 20 0 1 0 434497558 384643072 88075 33554432000 4194304 6211092 140723529000256 140723528998216 5156256 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11403264 140723529008139 140723529008241 140723529008241 140723529011150 0
/proc/27721/statm: 93907 88075 875 493 0 87212 0
Current children cumulated CPU time: 2382.23 s
Current children cumulated vsize: 375628 KiB
Current children cumulated memory: 352300 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.11 s]
/proc/loadavg: 2.04 2.03 2.05 3/200 28067
/proc/meminfo: memFree=24228584/32770624 swapFree=67108848/67108860
[pid=27721] ppid=27718 vsize=375628 memory=352300 CPUtime=2400.03 cores=1,3,5,7
/proc/27721/stat : 27721 (cosoco) R 27718 27721 24707 0 -1 4202496 302790 0 0 0 239980 23 0 0 20 0 1 0 434497558 384643072 88075 33554432000 4194304 6211092 140723529000256 140723528998216 5250450 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11403264 140723529008139 140723529008241 140723529008241 140723529011150 0
/proc/27721/statm: 93907 88075 875 493 0 87212 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 375628 KiB
Current children cumulated memory: 352300 KiB

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

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

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

[startup+2400.11 s]
/proc/loadavg: 2.04 2.03 2.05 3/200 28067
/proc/meminfo: memFree=24228584/32770624 swapFree=67108848/67108860
[pid=27721] ppid=27718 vsize=375628 memory=352300 CPUtime=2400.03 cores=1,3,5,7
/proc/27721/stat : 27721 (cosoco) R 27718 27721 24707 0 -1 4202496 302790 0 0 0 239980 23 0 0 20 0 1 0 434497558 384643072 88075 33554432000 4194304 6211092 140723529000256 140723528998216 5250450 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11403264 140723529008139 140723529008241 140723529008241 140723529011150 0
/proc/27721/statm: 93907 88075 875 493 0 87212 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 375628 KiB
Current children cumulated memory: 352300 KiB

Child status: 1
Real time (s): 2400.11
CPU time (s): 2400.05
CPU user time (s): 2399.81
CPU system time (s): 0.236997
CPU usage (%): 99.9973
Max. virtual memory (cumulated for all children) (KiB): 375628
Max. memory (cumulated for all children) (KiB): 352300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.81
system time used= 0.236997
maximum resident set size= 352364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 302842
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= 101
involuntary context switches= 683


# summary of solver processes directly reported to runsolver:
#   pid: 27721
#   total CPU time (s): 2400.05
#   total CPU user time (s): 2399.81
#   total CPU system time (s): 0.236997

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.00681 second user time and 16.232 second system time

The end

Launcher Data 

Begin job on node143 at 2019-09-16 00:12:41
IDJOB=4397344
IDBENCH=135041
IDSOLVER=2849
FILE ID=node143/4397344-1568585602
RUNJOBID= node143-1568572743-24739
PBS_JOBID= 21703313
Free space on /tmp= 59272 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-sptate/Pb-Tate-K104.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397344-1568585602/watcher-4397344-1568585602 -o /tmp/evaluation-result-4397344-1568585602/solver-4397344-1568585602 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568572743-24739 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4397344-1568585602.xml

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

MD5SUM BENCH= 6ed29f3170f2d24d94b936f24e5b4a9d
RANDOM SEED=648609474

node143.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.73
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.73
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.73
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.73
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:        24517356 kB
MemAvailable:   31686024 kB
Buffers:          214600 kB
Cached:          7251116 kB
SwapCached:            8 kB
Active:          2245404 kB
Inactive:        5334936 kB
Active(anon):      68168 kB
Inactive(anon):   154152 kB
Active(file):    2177236 kB
Inactive(file):  5180784 kB
Unevictable:      106640 kB
Mlocked:          106640 kB
SwapTotal:      67108860 kB
SwapFree:       67108848 kB
Dirty:              3104 kB
Writeback:             0 kB
AnonPages:        221568 kB
Mapped:            53420 kB
Shmem:             98948 kB
Slab:             268476 kB
SReclaimable:     239108 kB
SUnreclaim:        29368 kB
KernelStack:        3568 kB
PageTables:         5876 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     599848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    133120 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 59268 MiB
End job on node143 at 2019-09-16 00:52:41