Trace number 4390064

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? (TO) 2400.04 2400.01

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.78/0.89	c root propagations     : 362         
0.78/0.89	c restarts enabled, print stats at every restarts
0.78/0.89	c
0.78/0.89	c
0.78/0.89	c
0.78/0.89	c This is cosoco 2.00 --  
0.78/0.89	c
0.78/0.89	c command line: cosoco -lc -model -restarts -stick HOME/instance-4390064-1568350070.xml 
0.78/0.89	c ========================================[ Problem Statistics ]===========================================
0.78/0.89	c |                                                                                                       
0.78/0.89	c |  Parse time        :         0.69 s 
0.78/0.89	c |
0.78/0.89	c |               Variables: 7072
0.78/0.89	c |            Domain Sizes: 2..2
0.78/0.89	c |
0.78/0.89	c |             Constraints: 7282
0.78/0.89	c |                   Arity: 1..104  -- Unary: 2  -- Binary: 1339  -- Ternary: 2781
0.78/0.89	c | 
0.78/0.89	c |                   Types: 
0.78/0.89	c |                          Sum: 7282
0.78/0.89	c |                          
0.78/0.89	c =========================================================================================================
0.78/0.89	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
5.09/5.17	c 101            3542           1643792        486511         362            0              1456   1608   1535
5.88/5.94	c 211            11007          1909554        580555         362            0              166   6546   5887
6.78/6.84	c 332            19845          2185710        702780         362            0              336   2179   1836
7.88/7.90	c 465            30604          2495770        825759         362            0              1149   1858   1399
9.28/9.37	c 611            46382          2947148        989394         362            0              1226   2819   1801
10.59/10.66	c 771            64220          3202905        1098501        362            0              1682   2547   1912
11.89/11.96	c 947            71866          3754431        1291515        362            0              1632   2087   1737
13.28/13.36	c 1140           84804          4280056        1521542        362            0              1468   2664   2276
14.38/14.44	c 1352           95689          4650000        1666573        362            0              1492   2624   1690
15.88/15.97	c 1585           114406         5094586        1831217        362            0              388   2753   1997
17.89/17.93	c 1841           135089         5728255        2082805        362            0              1468   2304   1947
20.58/20.63	c 2122           147387         6859263        2481211        362            0              1233   1678   1341
22.18/22.26	c 2431           159973         7444054        2727609        362            0              1009   1363   1112
24.28/24.34	c 2770           172469         8299315        3062609        362            0              775   947   850
26.48/26.53	c 3142           185985         9167981        3393846        362            0              596   1029   794
28.18/28.28	c 3551           199198         9807630        3657502        362            0              725   893   820
30.88/30.97	c 4000           224108         10615457       3982472        362            0              594   1200   904
33.68/33.71	c 4493           242586         11614362       4344107        362            0              690   893   790
37.37/37.47	c 5035           285913         12776087       4804087        362            0              620   2080   1774
40.08/40.13	c 5631           314746         13587501       5122738        362            0              945   1880   1189
44.99/45.01	c 6286           363917         15167232       5812921        362            0              998   2250   1468
50.48/50.58	c 7006           399571         17552623       6667086        362            0              920   1363   1184
56.37/56.40	c 7798           437414         19781540       7521161        362            0              747   1340   986
60.27/60.32	c 8669           461894         21476067       8184436        362            0              665   1361   993
65.17/65.21	c 9627           507470         23190561       8909328        362            0              402   2090   1359
69.57/69.66	c 10680          547199         24873834       9623858        362            0              990   1229   1096
78.37/78.45	c 11838          585594         28947918       11171997       362            0              736   1007   828
84.17/84.27	c 13111          620397         31389330       12196224       362            0              670   955   751
88.87/88.91	c 14511          648557         33296352       12949637       362            0              562   703   630
100.66/100.76	c 16051          730519         38085963       14921016       362            0              575   1223   843
111.16/111.23	c 17745          769720         43072768       16817490       362            0              632   765   687
127.45/127.56	c 19608          937103         48467933       18938348       362            0              664   3082   1052
140.46/140.58	c 21657          1035393        54006269       21198844       362            0              777   1053   970
153.25/153.38	c 23910          1179172        58014840       22976462       362            0              853   2440   1303
164.44/164.52	c 26388          1305131        61675864       24672072       362            0              1027   2538   1426
170.74/170.89	c 29113          1370684        64070885       25664403       362            0              1287   1635   1533
182.94/183.01	c 32110          1461865        69376758       27681338       362            0              1117   1580   1336
209.63/209.78	c 35406          1659908        80201399       31630612       362            0              854   1503   1299
250.03/250.18	c 39031          1962416        95587681       37381638       362            0              697   1814   1239
280.12/280.21	c 43018          2286110        105124933      40869574       362            0              741   2453   1479
327.32/327.48	c 47403          2496023        127074942      48896359       362            0              1014   1634   1230
381.92/382.10	c 52226          2683038        149778530      56181282       362            0              717   1101   877
419.02/419.13	c 57531          2972852        164750655      61785179       362            0              636   1448   1182
464.21/464.37	c 63366          3396659        180611179      67905504       362            0              813   2114   1180
529.80/529.93	c 69784          3960840        204757885      76713016       362            0              792   1684   1270
578.91/579.05	c 76843          4417241        222996251      83970803       362            0              953   1912   1494
610.20/610.39	c 84607          4722574        234855472      89223987       362            0              1233   1537   1405
671.59/671.71	c 93147          5164298        261550667      99347556       362            0              1125   1548   1312
719.39/719.57	c 102541         5512177        281806710      106616088      362            0              1261   1556   1437
780.39/780.54	c 112874         5891750        308679618      116635023      362            0              1150   1479   1351
880.48/880.70	c 124240         6589203        348578197      130439472      362            0              927   1312   1205
1003.79/1003.98	c 136742         7663194        393347884      146916233      362            0              1032   2822   1461
1110.60/1110.75	c 150494         8784444        429684482      161880687      362            0              1258   2333   1614
1215.41/1215.59	c 165621         10091520       462762599      175954765      362            0              1426   2667   1900
1337.12/1337.24	c 182260         11047894       515306032      195855543      362            0              1525   2312   1941
1425.43/1425.59	c 200562         11771355       552694327      210663154      362            0              1656   2004   1864
1532.54/1532.68	c 220694         12763128       594907607      226724920      362            0              1499   2148   1792
1634.96/1635.09	c 242839         13736511       636744797      244219956      362            0              1639   2252   1884
1741.87/1741.95	c 267198         14716474       679006908      261725900      362            0              1403   1700   1589
1830.47/1830.56	c 293992         15792577       706378278      274100687      362            0              1350   1969   1578
1967.99/1968.05	c 323465         16831552       766593186      299137167      362            0              1277   1818   1507
2259.81/2259.85	c 355885         17845358       912377234      352278585      362            0              1155   1520   1321
2400.03/2400.01	
2400.03/2400.01	c *** INTERRUPTED ***
2400.03/2400.01	c restarts              : 62          
2400.03/2400.01	c conflicts             : 372748       (155 /sec)
2400.03/2400.01	c decisions             : 18535585     (7724 /sec)
2400.03/2400.01	c propagations          : 375094296   (156301 /sec)
2400.03/2400.01	c root propagations     : 362         
2400.03/2400.01	c filter calls          : 975385387      (406442 /sec)
2400.03/2400.01	c useless filter calls  : 865869287      (88 %)
2400.03/2400.01	c Memory used           : 366.83 MB
2400.03/2400.01	c CPU time              : 2399.82 s
2400.03/2400.01	c real time             : 2400.01 s
2400.03/2400.01	
2400.03/2400.01	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 (15313 MiB free)
  memory of node 1: 16384 MiB (15562 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390064-1568350070/watcher-4390064-1568350070 -o /tmp/evaluation-result-4390064-1568350070/solver-4390064-1568350070 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568334353-31997 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390064-1568350070.xml 

running on 4 cores: 0,2,4,6

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=2492, runsolver pid=2489
Current StackSize limit: 8192 KiB


[startup+0.100893 s]*
/proc/loadavg: 2.00 2.01 2.05 3/204 2493
/proc/meminfo: memFree=31606908/32770624 swapFree=67003452/67108860
[pid=2492] ppid=2489 vsize=37588 memory=13924 CPUtime=0.09 cores=0,2,4,6
/proc/2492/stat : 2492 (cosoco) R 2489 2492 31966 0 -1 4202496 3687 0 0 0 9 0 0 0 20 0 1 0 411246660 38490112 3481 33554432000 4194304 6210612 140724489637776 140724489635048 5446088 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 32358400 140724489643019 140724489643121 140724489643121 140724489646030 0
/proc/2492/statm: 9397 3481 834 493 0 2702 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37588 KiB
Current children cumulated memory: 13924 KiB

[startup+0.209926 s]*
/proc/loadavg: 2.00 2.01 2.05 3/204 2493
/proc/meminfo: memFree=31576112/32770624 swapFree=67003452/67108860
[pid=2492] ppid=2489 vsize=71616 memory=47980 CPUtime=0.2 cores=0,2,4,6
/proc/2492/stat : 2492 (cosoco) R 2489 2492 31966 0 -1 4202496 12164 0 0 0 19 1 0 0 20 0 1 0 411246660 73334784 11995 33554432000 4194304 6210612 140724489637776 140724489631928 139753217210272 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 32358400 140724489643019 140724489643121 140724489643121 140724489646030 0
/proc/2492/statm: 17904 11995 834 493 0 11209 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 71616 KiB
Current children cumulated memory: 47980 KiB

[startup+0.31004 s]*
/proc/loadavg: 2.00 2.01 2.05 3/204 2493
/proc/meminfo: memFree=31543748/32770624 swapFree=67003452/67108860
[pid=2492] ppid=2489 vsize=103836 memory=80188 CPUtime=0.3 cores=0,2,4,6
/proc/2492/stat : 2492 (cosoco) R 2489 2492 31966 0 -1 4202496 20231 0 0 0 28 2 0 0 20 0 1 0 411246660 106328064 20047 33554432000 4194304 6210612 140724489637776 140724489631928 139753217162213 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 32358400 140724489643019 140724489643121 140724489643121 140724489646030 0
/proc/2492/statm: 25959 20047 834 493 0 19264 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 103836 KiB
Current children cumulated memory: 80188 KiB

[startup+0.700311 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 2493
/proc/meminfo: memFree=31485964/32770624 swapFree=67003452/67108860
[pid=2492] ppid=2489 vsize=226556 memory=202948 CPUtime=0.69 cores=0,2,4,6
/proc/2492/stat : 2492 (cosoco) R 2489 2492 31966 0 -1 4202496 50929 0 0 0 62 7 0 0 20 0 1 0 411246660 231993344 50737 33554432000 4194304 6210612 140724489637776 140724489631928 139753217162213 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 32358400 140724489643019 140724489643121 140724489643121 140724489646030 0
/proc/2492/statm: 56674 50737 834 493 0 49979 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 226556 KiB
Current children cumulated memory: 202948 KiB

[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 2493
/proc/meminfo: memFree=31400032/32770624 swapFree=67003452/67108860
[pid=2492] ppid=2489 vsize=275736 memory=252048 CPUtime=1.48 cores=0,2,4,6
/proc/2492/stat : 2492 (cosoco) R 2489 2492 31966 0 -1 4202496 63237 0 0 0 140 8 0 0 20 0 1 0 411246660 282353664 63012 33554432000 4194304 6210612 140724489637776 140724489635208 5156540 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 32358400 140724489643019 140724489643121 140724489643121 140724489646030 0
/proc/2492/statm: 68934 63012 870 493 0 62239 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 275736 KiB
Current children cumulated memory: 252048 KiB

[startup+3.10982 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 2493
/proc/meminfo: memFree=31357780/32770624 swapFree=67003452/67108860
[pid=2492] ppid=2489 vsize=285880 memory=262516 CPUtime=3.09 cores=0,2,4,6
/proc/2492/stat : 2492 (cosoco) R 2489 2492 31966 0 -1 4202496 75166 0 0 0 300 9 0 0 20 0 1 0 411246660 292741120 65629 33554432000 4194304 6210612 140724489637776 140724489635208 5249712 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 32358400 140724489643019 140724489643121 140724489643121 140724489646030 0
/proc/2492/statm: 71470 65629 870 493 0 64775 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 285880 KiB
Current children cumulated memory: 262516 KiB

[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 2493
/proc/meminfo: memFree=31276144/32770624 swapFree=67003452/67108860
[pid=2492] ppid=2489 vsize=371280 memory=343644 CPUtime=6.28 cores=0,2,4,6
/proc/2492/stat : 2492 (cosoco) R 2489 2492 31966 0 -1 4202496 122846 0 0 0 615 13 0 0 20 0 1 0 411246660 380190720 85911 33554432000 4194304 6210612 140724489637776 140724489635736 5154969 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 32358400 140724489643019 140724489643121 140724489643121 140724489646030 0
/proc/2492/statm: 92820 85911 872 493 0 86125 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 371280 KiB
Current children cumulated memory: 343644 KiB

[startup+12.7003 s]
/proc/loadavg: 2.08 2.03 2.05 3/204 2493
/proc/meminfo: memFree=31275808/32770624 swapFree=67003452/67108860
[pid=2492] ppid=2489 vsize=371412 memory=343804 CPUtime=12.68 cores=0,2,4,6
/proc/2492/stat : 2492 (cosoco) R 2489 2492 31966 0 -1 4202496 151321 0 0 0 1253 15 0 0 20 0 1 0 411246660 380325888 85951 33554432000 4194304 6210612 140724489637776 140724489635736 5154952 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 32358400 140724489643019 140724489643121 140724489643121 140724489646030 0
/proc/2492/statm: 92853 85951 872 493 0 86158 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 371412 KiB
Current children cumulated memory: 343804 KiB

[startup+25.5003 s]
/proc/loadavg: 2.07 2.03 2.05 3/204 2495
/proc/meminfo: memFree=31273876/32770624 swapFree=67003452/67108860
[pid=2492] ppid=2489 vsize=373020 memory=345372 CPUtime=25.48 cores=0,2,4,6
/proc/2492/stat : 2492 (cosoco) R 2489 2492 31966 0 -1 4202496 177128 0 0 0 2531 17 0 0 20 0 1 0 411246660 381972480 86343 33554432000 4194304 6210612 140724489637776 140724489635736 5249890 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 32358400 140724489643019 140724489643121 140724489643121 140724489646030 0
/proc/2492/statm: 93255 86343 872 493 0 86560 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 373020 KiB
Current children cumulated memory: 345372 KiB

[startup+51.1098 s]
/proc/loadavg: 2.04 2.03 2.05 3/204 2496
/proc/meminfo: memFree=31273824/32770624 swapFree=67003452/67108860
[pid=2492] ppid=2489 vsize=373020 memory=345476 CPUtime=51.08 cores=0,2,4,6
/proc/2492/stat : 2492 (cosoco) R 2489 2492 31966 0 -1 4202496 203238 0 0 0 5090 18 0 0 20 0 1 0 411246660 381972480 86369 33554432000 4194304 6210612 140724489637776 140724489635736 5249712 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 32358400 140724489643019 140724489643121 140724489643121 140724489646030 0
/proc/2492/statm: 93255 86369 872 493 0 86560 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 373020 KiB
Current children cumulated memory: 345476 KiB

[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/204 2499
/proc/meminfo: memFree=31273664/32770624 swapFree=67003452/67108860
[pid=2492] ppid=2489 vsize=373020 memory=345476 CPUtime=102.26 cores=0,2,4,6
/proc/2492/stat : 2492 (cosoco) R 2489 2492 31966 0 -1 4202496 223460 0 0 0 10206 20 0 0 20 0 1 0 411246660 381972480 86369 33554432000 4194304 6210612 140724489637776 140724489635736 5249719 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 32358400 140724489643019 140724489643121 140724489643121 140724489646030 0
/proc/2492/statm: 93255 86369 872 493 0 86560 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 373020 KiB
Current children cumulated memory: 345476 KiB

[startup+162.3 s]
/proc/loadavg: 2.14 2.06 2.06 3/203 2505
/proc/meminfo: memFree=31271804/32770624 swapFree=67003452/67108860
[pid=2492] ppid=2489 vsize=374404 memory=346768 CPUtime=162.24 cores=0,2,4,6
/proc/2492/stat : 2492 (cosoco) R 2489 2492 31966 0 -1 4202496 243109 0 0 0 16203 21 0 0 20 0 1 0 411246660 383389696 86692 33554432000 4194304 6210612 140724489637776 140724489635368 5409264 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 32358400 140724489643019 140724489643121 140724489643121 140724489646030 0
/proc/2492/statm: 93601 86692 872 493 0 86906 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 374404 KiB
Current children cumulated memory: 346768 KiB

[startup+222.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/204 2518
/proc/meminfo: memFree=31267068/32770624 swapFree=67003452/67108860
[pid=2492] ppid=2489 vsize=374404 memory=350988 CPUtime=222.22 cores=0,2,4,6
/proc/2492/stat : 2492 (cosoco) R 2489 2492 31966 0 -1 4202496 247084 0 0 0 22201 21 0 0 20 0 1 0 411246660 383389696 87747 33554432000 4194304 6210612 140724489637776 140724489635736 5249712 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 32358400 140724489643019 140724489643121 140724489643121 140724489646030 0
/proc/2492/statm: 93601 87747 872 493 0 86906 0
Current children cumulated CPU time: 222.22 s
Current children cumulated vsize: 374404 KiB
Current children cumulated memory: 350988 KiB

[startup+282.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/204 2522
/proc/meminfo: memFree=31266460/32770624 swapFree=67003452/67108860
[pid=2492] ppid=2489 vsize=374800 memory=351260 CPUtime=282.22 cores=0,2,4,6
/proc/2492/stat : 2492 (cosoco) R 2489 2492 31966 0 -1 4202496 247444 0 0 0 28201 21 0 0 20 0 1 0 411246660 383795200 87815 33554432000 4194304 6210612 140724489637776 140724489635736 5155086 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 32358400 140724489643019 140724489643121 140724489643121 140724489646030 0
/proc/2492/statm: 93700 87815 872 493 0 87005 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 374800 KiB
Current children cumulated memory: 351260 KiB

[startup+342.3 s]
/proc/loadavg: 2.17 2.07 2.06 3/205 2529
/proc/meminfo: memFree=31266468/32770624 swapFree=67003452/67108860
[pid=2492] ppid=2489 vsize=374800 memory=351352 CPUtime=342.21 cores=0,2,4,6
/proc/2492/stat : 2492 (cosoco) R 2489 2492 31966 0 -1 4202496 247752 0 0 0 34200 21 0 0 20 0 1 0 411246660 383795200 87838 33554432000 4194304 6210612 140724489637776 140724489635736 5155444 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 32358400 140724489643019 140724489643121 140724489643121 140724489646030 0
/proc/2492/statm: 93700 87838 872 493 0 87005 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 374800 KiB
Current children cumulated memory: 351352 KiB

[startup+402.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/205 2533
/proc/meminfo: memFree=31267152/32770624 swapFree=67003452/67108860
[pid=2492] ppid=2489 vsize=374800 memory=351352 CPUtime=402.21 cores=0,2,4,6
/proc/2492/stat : 2492 (cosoco) R 2489 2492 31966 0 -1 4202496 248063 0 0 0 40200 21 0 0 20 0 1 0 411246660 383795200 87838 33554432000 4194304 6210612 140724489637776 140724489635736 5155888 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 32358400 140724489643019 140724489643121 140724489643121 140724489646030 0
/proc/2492/statm: 93700 87838 872 493 0 87005 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 374800 KiB
Current children cumulated memory: 351352 KiB

[startup+462.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/205 2537
/proc/meminfo: memFree=31266352/32770624 swapFree=67003452/67108860
[pid=2492] ppid=2489 vsize=374800 memory=351352 CPUtime=462.21 cores=0,2,4,6
/proc/2492/stat : 2492 (cosoco) R 2489 2492 31966 0 -1 4202496 248368 0 0 0 46200 21 0 0 20 0 1 0 411246660 383795200 87838 33554432000 4194304 6210612 140724489637776 140724489635736 5409293 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 32358400 140724489643019 140724489643121 140724489643121 140724489646030 0
/proc/2492/statm: 93700 87838 872 493 0 87005 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 374800 KiB
Current children cumulated memory: 351352 KiB


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

/proc/2492/statm: 93907 88073 872 493 0 87212 0
Current children cumulated CPU time: 1602.24 s
Current children cumulated vsize: 375628 KiB
Current children cumulated memory: 352292 KiB

[startup+1662.3 s]
/proc/loadavg: 2.02 2.06 2.06 3/204 2737
/proc/meminfo: memFree=31326788/32770624 swapFree=67003460/67108860
[pid=2492] ppid=2489 vsize=375628 memory=352292 CPUtime=1662.26 cores=0,2,4,6
/proc/2492/stat : 2492 (cosoco) R 2489 2492 31966 0 -1 4202496 253681 0 0 0 166204 22 0 0 20 0 1 0 411246660 384643072 88073 33554432000 4194304 6210612 140724489637776 140724489635736 5249738 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 32358400 140724489643019 140724489643121 140724489643121 140724489646030 0
/proc/2492/statm: 93907 88073 872 493 0 87212 0
Current children cumulated CPU time: 1662.26 s
Current children cumulated vsize: 375628 KiB
Current children cumulated memory: 352292 KiB

[startup+1722.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/203 2741
/proc/meminfo: memFree=31327232/32770624 swapFree=67003460/67108860
[pid=2492] ppid=2489 vsize=375628 memory=352292 CPUtime=1722.26 cores=0,2,4,6
/proc/2492/stat : 2492 (cosoco) R 2489 2492 31966 0 -1 4202496 253762 0 0 0 172204 22 0 0 20 0 1 0 411246660 384643072 88073 33554432000 4194304 6210612 140724489637776 140724489635736 5249712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 32358400 140724489643019 140724489643121 140724489643121 140724489646030 0
/proc/2492/statm: 93907 88073 872 493 0 87212 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 375628 KiB
Current children cumulated memory: 352292 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/203 2747
/proc/meminfo: memFree=31326548/32770624 swapFree=67003460/67108860
[pid=2492] ppid=2489 vsize=375628 memory=352292 CPUtime=1782.27 cores=0,2,4,6
/proc/2492/stat : 2492 (cosoco) R 2489 2492 31966 0 -1 4202496 254083 0 0 0 178205 22 0 0 20 0 1 0 411246660 384643072 88073 33554432000 4194304 6210612 140724489637776 140724489635736 5409293 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 32358400 140724489643019 140724489643121 140724489643121 140724489646030 0
/proc/2492/statm: 93907 88073 872 493 0 87212 0
Current children cumulated CPU time: 1782.27 s
Current children cumulated vsize: 375628 KiB
Current children cumulated memory: 352292 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/204 2752
/proc/meminfo: memFree=31326824/32770624 swapFree=67003460/67108860
[pid=2492] ppid=2489 vsize=375628 memory=352292 CPUtime=1842.27 cores=0,2,4,6
/proc/2492/stat : 2492 (cosoco) R 2489 2492 31966 0 -1 4202496 254278 0 0 0 184205 22 0 0 20 0 1 0 411246660 384643072 88073 33554432000 4194304 6210612 140724489637776 140724489635736 5155888 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 32358400 140724489643019 140724489643121 140724489643121 140724489646030 0
/proc/2492/statm: 93907 88073 872 493 0 87212 0
Current children cumulated CPU time: 1842.27 s
Current children cumulated vsize: 375628 KiB
Current children cumulated memory: 352292 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/204 2756
/proc/meminfo: memFree=31327072/32770624 swapFree=67003460/67108860
[pid=2492] ppid=2489 vsize=375628 memory=352292 CPUtime=1902.28 cores=0,2,4,6
/proc/2492/stat : 2492 (cosoco) R 2489 2492 31966 0 -1 4202496 254485 0 0 0 190206 22 0 0 20 0 1 0 411246660 384643072 88073 33554432000 4194304 6210612 140724489637776 140724489635736 5154973 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 32358400 140724489643019 140724489643121 140724489643121 140724489646030 0
/proc/2492/statm: 93907 88073 872 493 0 87212 0
Current children cumulated CPU time: 1902.28 s
Current children cumulated vsize: 375628 KiB
Current children cumulated memory: 352292 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/204 2762
/proc/meminfo: memFree=31326476/32770624 swapFree=67003460/67108860
[pid=2492] ppid=2489 vsize=375628 memory=352292 CPUtime=1962.28 cores=0,2,4,6
/proc/2492/stat : 2492 (cosoco) R 2489 2492 31966 0 -1 4202496 254571 0 0 0 196206 22 0 0 20 0 1 0 411246660 384643072 88073 33554432000 4194304 6210612 140724489637776 140724489635736 5249691 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 32358400 140724489643019 140724489643121 140724489643121 140724489646030 0
/proc/2492/statm: 93907 88073 872 493 0 87212 0
Current children cumulated CPU time: 1962.28 s
Current children cumulated vsize: 375628 KiB
Current children cumulated memory: 352292 KiB

[startup+2022.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/204 2773
/proc/meminfo: memFree=31326668/32770624 swapFree=67003464/67108860
[pid=2492] ppid=2489 vsize=375628 memory=352292 CPUtime=2022.29 cores=0,2,4,6
/proc/2492/stat : 2492 (cosoco) R 2489 2492 31966 0 -1 4202496 254956 0 0 0 202207 22 0 0 20 0 1 0 411246660 384643072 88073 33554432000 4194304 6210612 140724489637776 140724489635736 5249664 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 32358400 140724489643019 140724489643121 140724489643121 140724489646030 0
/proc/2492/statm: 93907 88073 872 493 0 87212 0
Current children cumulated CPU time: 2022.29 s
Current children cumulated vsize: 375628 KiB
Current children cumulated memory: 352292 KiB

[startup+2082.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/204 2777
/proc/meminfo: memFree=31325956/32770624 swapFree=67003464/67108860
[pid=2492] ppid=2489 vsize=375628 memory=352292 CPUtime=2082.3 cores=0,2,4,6
/proc/2492/stat : 2492 (cosoco) R 2489 2492 31966 0 -1 4202496 255164 0 0 0 208208 22 0 0 20 0 1 0 411246660 384643072 88073 33554432000 4194304 6210612 140724489637776 140724489635736 5249712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 32358400 140724489643019 140724489643121 140724489643121 140724489646030 0
/proc/2492/statm: 93907 88073 872 493 0 87212 0
Current children cumulated CPU time: 2082.3 s
Current children cumulated vsize: 375628 KiB
Current children cumulated memory: 352292 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/204 2784
/proc/meminfo: memFree=31325816/32770624 swapFree=67003464/67108860
[pid=2492] ppid=2489 vsize=375628 memory=352292 CPUtime=2142.3 cores=0,2,4,6
/proc/2492/stat : 2492 (cosoco) R 2489 2492 31966 0 -1 4202496 255241 0 0 0 214208 22 0 0 20 0 1 0 411246660 384643072 88073 33554432000 4194304 6210612 140724489637776 140724489635736 5409293 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 32358400 140724489643019 140724489643121 140724489643121 140724489646030 0
/proc/2492/statm: 93907 88073 872 493 0 87212 0
Current children cumulated CPU time: 2142.3 s
Current children cumulated vsize: 375628 KiB
Current children cumulated memory: 352292 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/204 2789
/proc/meminfo: memFree=31326148/32770624 swapFree=67003464/67108860
[pid=2492] ppid=2489 vsize=375628 memory=352292 CPUtime=2202.31 cores=0,2,4,6
/proc/2492/stat : 2492 (cosoco) R 2489 2492 31966 0 -1 4202496 255456 0 0 0 220209 22 0 0 20 0 1 0 411246660 384643072 88073 33554432000 4194304 6210612 140724489637776 140724489635736 5154848 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 32358400 140724489643019 140724489643121 140724489643121 140724489646030 0
/proc/2492/statm: 93907 88073 872 493 0 87212 0
Current children cumulated CPU time: 2202.31 s
Current children cumulated vsize: 375628 KiB
Current children cumulated memory: 352292 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 2793
/proc/meminfo: memFree=31326480/32770624 swapFree=67003464/67108860
[pid=2492] ppid=2489 vsize=375628 memory=352292 CPUtime=2262.31 cores=0,2,4,6
/proc/2492/stat : 2492 (cosoco) R 2489 2492 31966 0 -1 4202496 255631 0 0 0 226209 22 0 0 20 0 1 0 411246660 384643072 88073 33554432000 4194304 6210612 140724489637776 140724489635736 5409293 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 32358400 140724489643019 140724489643121 140724489643121 140724489646030 0
/proc/2492/statm: 93907 88073 872 493 0 87212 0
Current children cumulated CPU time: 2262.31 s
Current children cumulated vsize: 375628 KiB
Current children cumulated memory: 352292 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 2800
/proc/meminfo: memFree=31325616/32770624 swapFree=67003464/67108860
[pid=2492] ppid=2489 vsize=375628 memory=352292 CPUtime=2322.31 cores=0,2,4,6
/proc/2492/stat : 2492 (cosoco) R 2489 2492 31966 0 -1 4202496 255837 0 0 0 232209 22 0 0 20 0 1 0 411246660 384643072 88073 33554432000 4194304 6210612 140724489637776 140724489635736 5249712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 32358400 140724489643019 140724489643121 140724489643121 140724489646030 0
/proc/2492/statm: 93907 88073 872 493 0 87212 0
Current children cumulated CPU time: 2322.31 s
Current children cumulated vsize: 375628 KiB
Current children cumulated memory: 352292 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 2804
/proc/meminfo: memFree=31325928/32770624 swapFree=67003464/67108860
[pid=2492] ppid=2489 vsize=375628 memory=352292 CPUtime=2382.32 cores=0,2,4,6
/proc/2492/stat : 2492 (cosoco) R 2489 2492 31966 0 -1 4202496 255916 0 0 0 238210 22 0 0 20 0 1 0 411246660 384643072 88073 33554432000 4194304 6210612 140724489637776 140724489635736 5249691 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 32358400 140724489643019 140724489643121 140724489643121 140724489646030 0
/proc/2492/statm: 93907 88073 872 493 0 87212 0
Current children cumulated CPU time: 2382.32 s
Current children cumulated vsize: 375628 KiB
Current children cumulated memory: 352292 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400 s]*
/proc/loadavg: 2.00 2.01 2.05 3/204 2805
/proc/meminfo: memFree=31325896/32770624 swapFree=67003464/67108860
[pid=2492] ppid=2489 vsize=375628 memory=352292 CPUtime=2400.03 cores=0,2,4,6
/proc/2492/stat : 2492 (cosoco) R 2489 2492 31966 0 -1 4202496 256114 0 0 0 239981 22 0 0 20 0 1 0 411246660 384643072 88073 33554432000 4194304 6210612 140724489637776 140724489635736 5155300 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 32358400 140724489643019 140724489643121 140724489643121 140724489646030 0
/proc/2492/statm: 93907 88073 872 493 0 87212 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 375628 KiB
Current children cumulated memory: 352292 KiB

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

[startup+2400.01 s]
# the end of solver process 2492 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.82 s, system=0.222006 s

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

Child status: 1
Real time (s): 2400.01
CPU time (s): 2400.04
CPU user time (s): 2399.82
CPU system time (s): 0.222006
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 375628
Max. memory (cumulated for all children) (KiB): 352292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.82
system time used= 0.222006
maximum resident set size= 352360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 256167
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= 105
involuntary context switches= 1146


# summary of solver processes directly reported to runsolver:
#   pid: 2492
#   total CPU time (s): 2400.04
#   total CPU user time (s): 2399.82
#   total CPU system time (s): 0.222006

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.30841 second user time and 16.9164 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-13 06:47:11
IDJOB=4390064
IDBENCH=135041
IDSOLVER=2830
FILE ID=node133/4390064-1568350070
RUNJOBID= node133-1568334353-31997
PBS_JOBID= 21701160
Free space on /tmp= 55112 MiB

SOLVER NAME= cosoco 2
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-4390064-1568350070/watcher-4390064-1568350070 -o /tmp/evaluation-result-4390064-1568350070/solver-4390064-1568350070 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568334353-31997 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4390064-1568350070.xml

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

MD5SUM BENCH= 6ed29f3170f2d24d94b936f24e5b4a9d
RANDOM SEED=355822783

node133.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.18
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.18
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.18
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.18
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:        31617064 kB
MemAvailable:   31841688 kB
Buffers:          142144 kB
Cached:           366944 kB
SwapCached:         3496 kB
Active:           328076 kB
Inactive:         247544 kB
Active(anon):      91132 kB
Inactive(anon):    15724 kB
Active(file):     236944 kB
Inactive(file):   231820 kB
Unevictable:      111240 kB
Mlocked:          111240 kB
SwapTotal:      67108860 kB
SwapFree:       67003452 kB
Dirty:              3120 kB
Writeback:             0 kB
AnonPages:        274012 kB
Mapped:            44904 kB
Shmem:             31312 kB
Slab:             171540 kB
SReclaimable:     143392 kB
SUnreclaim:        28148 kB
KernelStack:        3632 kB
PageTables:         5972 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     590244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    229376 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 55108 MiB
End job on node133 at 2019-09-13 07:27:11