Trace number 4390020

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.03 2400.2

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-spba/
Pb-BeauxArts-K80.xml
MD5SUM330870ed9e83d00984bc877f52c977b4
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 benchmark15.8012
Satisfiable
(Un)Satisfiability was proved
Number of variables4400
Number of constraints4562
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":4400}]
Minimum variable degree3
Maximum variable degree9
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":140},{"degree":5,"count":654},{"degree":6,"count":2350},{"degree":7,"count":707},{"degree":8,"count":392},{"degree":9,"count":156}]
Minimum constraint arity1
Maximum constraint arity80
Distribution of constraint arities[{"arity":1,"count":2},{"arity":2,"count":790},{"arity":3,"count":2291},{"arity":4,"count":711},{"arity":5,"count":395},{"arity":6,"count":158},{"arity":55,"count":160},{"arity":80,"count":55}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":4562}]
Optimization problemNO
Type of objective

Solver Data 

0.41/0.50	c root propagations     : 455         
0.41/0.50	c restarts enabled, print stats at every restarts
0.41/0.50	c
0.41/0.50	c
0.41/0.50	c
0.41/0.50	c This is cosoco 2.00 --  
0.41/0.50	c
0.41/0.50	c command line: cosoco -lc -model -restarts -stick HOME/instance-4390020-1568347670.xml 
0.41/0.50	c ========================================[ Problem Statistics ]===========================================
0.41/0.50	c |                                                                                                       
0.41/0.50	c |  Parse time        :         0.42 s 
0.41/0.50	c |
0.41/0.50	c |               Variables: 4400
0.41/0.50	c |            Domain Sizes: 2..2
0.41/0.50	c |
0.41/0.50	c |             Constraints: 4562
0.41/0.50	c |                   Arity: 1..80  -- Unary: 2  -- Binary: 790  -- Ternary: 2291
0.41/0.50	c | 
0.41/0.50	c |                   Types: 
0.41/0.50	c |                          Sum: 4562
0.41/0.50	c |                          
0.41/0.50	c =========================================================================================================
0.41/0.50	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
1.00/1.06	c 101            5324           290431         93256          455            0              1842   3326   3114
1.39/1.48	c 211            13227          426247         143565         455            0              360   1008   916
1.89/1.90	c 332            20651          582817         199256         455            0              465   1576   1094
2.29/2.32	c 465            29015          717758         247871         455            0              752   1551   1249
2.89/3.00	c 611            36532          1049898        385788         455            0              862   1077   963
3.69/3.75	c 771            45768          1401494        527873         455            0              1095   1442   1178
4.29/4.37	c 947            53923          1677768        638059         455            0              871   1234   1089
4.89/5.00	c 1140           64746          1904715        726345         455            0              867   1318   1028
6.00/6.02	c 1352           78673          2318590        892814         455            0              684   980   796
7.10/7.12	c 1585           88435          2897259        1140760        455            0              653   837   713
8.00/8.01	c 1841           98467          3322260        1314558        455            0              477   637   552
8.89/9.00	c 2122           110747         3742491        1482924        455            0              459   987   733
10.09/10.15	c 2431           122809         4284537        1688066        455            0              595   758   681
11.48/11.56	c 2770           137284         4921177        1932439        455            0              419   708   528
12.89/12.93	c 3142           154506         5514339        2163973        455            0              305   809   625
14.29/14.30	c 3551           168912         6224796        2440830        455            0              460   703   601
15.79/15.89	c 4000           181004         7056763        2760884        455            0              391   550   482
17.10/17.11	c 4493           191621         7718242        2996788        455            0              416   478   454
20.29/20.32	c 5035           254621         8639056        3321664        455            0              417   1717   662
22.19/22.26	c 5631           288570         9285233        3568059        455            0              563   1154   690
23.79/23.83	c 6286           305959         10059725       3901414        455            0              513   666   593
26.28/26.37	c 7006           353596         10790055       4172817        455            0              431   784   641
27.68/27.71	c 7798           371048         11414992       4409947        455            0              505   584   545
29.99/30.01	c 8669           394375         12531516       4799911        455            0              463   639   557
34.78/34.88	c 9627           437980         15008690       5784772        455            0              457   821   655
38.78/38.88	c 10680          471142         17187076       6605919        455            0              446   624   524
42.49/42.59	c 11838          518484         18786467       7218156        455            0              495   985   671
47.49/47.52	c 13111          574170         21007771       8209987        455            0              539   911   761
53.18/53.24	c 14511          626470         23851656       9359606        455            0              628   1006   803
60.28/60.36	c 16051          701274         27158930       10705874       455            0              753   1309   969
69.19/69.23	c 17745          806529         31084577       12496430       455            0              906   1546   1232
77.58/77.64	c 19608          893192         35102162       14094062       455            0              923   1521   1195
84.38/84.45	c 21657          990745         38119924       15331936       455            0              995   1434   1280
93.47/93.54	c 23910          1108249        42477132       17112008       455            0              810   1193   982
101.08/101.13	c 26388          1258868        45436620       18319397       455            0              977   1563   1316
108.98/109.08	c 29113          1359515        49490363       19976518       455            0              987   1266   1106
120.67/120.73	c 32110          1474319        55928453       22502448       455            0              861   1095   1009
140.56/140.69	c 35406          1660964        66033134       26382434       455            0              708   1024   843
149.26/149.38	c 39031          1739043        70751492       28159743       455            0              558   846   763
168.36/168.41	c 43018          1904574        80125435       31227107       455            0              544   744   666
184.55/184.69	c 47403          2095983        87468917       34229961       455            0              488   743   674
198.45/198.59	c 52226          2299594        92932370       36512079       455            0              399   760   623
218.65/218.71	c 57531          2420708        104181291      40512854       455            0              442   577   540
234.55/234.68	c 63366          2590419        111715349      43549490       455            0              362   573   490
252.15/252.28	c 69784          2782041        119917395      46320824       455            0              314   492   404
289.45/289.55	c 76843          3309489        136866983      52710921       455            0              194   1193   842
328.45/328.54	c 84607          3935006        152604336      58685360       455            0              288   1428   647
359.24/359.39	c 93147          4204542        169847827      65057039       455            0              325   885   529
410.64/410.75	c 102541         5308332        186940590      71669779       455            0              364   2043   867
450.64/450.76	c 112874         6072019        202034612      78232514       455            0              614   1462   1046
503.33/503.48	c 124240         6569865        231002644      88701534       455            0              588   1048   824
548.73/548.84	c 136742         7102388        255141172      97435663       455            0              640   1133   912
611.94/612.07	c 150494         7968310        286324354      110042148      455            0              755   1210   985
696.82/696.96	c 165621         8993529        329407250      127556247      455            0              676   1468   1060
782.82/782.94	c 182260         10021510       373454058      146852898      455            0              801   1513   1211
851.02/851.15	c 200562         10781073       408049104      161642678      455            0              826   1420   1108
920.71/920.84	c 220694         12007383       436214578      174278090      455            0              706   1321   1145
994.60/994.71	c 242839         13156518       468610490      188404909      455            0              674   1534   1046
1068.60/1068.71	c 267198         14272337       502739966      203392258      455            0              866   1476   1171
1192.19/1192.39	c 293992         15640268       567121926      228813485      455            0              685   1161   936
1413.67/1413.83	c 323465         19242327       667659806      266181366      455            0              814   2477   1339
1583.97/1584.16	c 355885         21423156       750526410      297475392      455            0              753   1477   1093
1803.55/1803.76	c 391547         24247561       860366054      341105084      455            0              777   1695   1128
1983.95/1984.19	c 430775         26020632       963127977      383252723      455            0              817   1247   1120
2123.94/2124.11	c 473925         27472247       1040007533     414252544      455            0              868   1482   1113
2351.32/2351.58	c 521390         30096861       1154801819     459337441      455            0              695   1450   1098
2400.02/2400.20	
2400.02/2400.20	c *** INTERRUPTED ***
2400.02/2400.20	c restarts              : 66          
2400.02/2400.20	c conflicts             : 533275       (222 /sec)
2400.02/2400.20	c decisions             : 30701674     (12793 /sec)
2400.02/2400.20	c propagations          : 468027951   (195018 /sec)
2400.02/2400.20	c root propagations     : 455         
2400.02/2400.20	c filter calls          : 1178390760     (491012 /sec)
2400.02/2400.20	c useless filter calls  : 1047934629     (88 %)
2400.02/2400.20	c Memory used           : 159.50 MB
2400.02/2400.20	c CPU time              : 2399.92 s
2400.02/2400.20	c real time             : 2400.2 s
2400.02/2400.20	
2400.02/2400.20	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 (9196 MiB free)
  memory of node 1: 16384 MiB (15368 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390020-1568347670/watcher-4390020-1568347670 -o /tmp/evaluation-result-4390020-1568347670/solver-4390020-1568347670 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568318532-25085 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390020-1568347670.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=30583, runsolver pid=30580
Current StackSize limit: 8192 KiB


[startup+0.100162 s]*
/proc/loadavg: 2.00 2.01 2.05 3/198 30584
/proc/meminfo: memFree=25139956/32770624 swapFree=66977612/67108860
[pid=30583] ppid=30580 vsize=44428 memory=20832 CPUtime=0.09 cores=1,3,5,7
/proc/30583/stat : 30583 (cosoco) R 30580 30583 25053 0 -1 4202496 5394 0 0 0 9 0 0 0 20 0 1 0 411024336 45494272 5208 33554432000 4194304 6210612 140728571674704 140728571671240 140456964429728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10006528 140728571683851 140728571683953 140728571683953 140728571686862 0
/proc/30583/statm: 11107 5208 834 493 0 4412 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44428 KiB
Current children cumulated memory: 20832 KiB

[startup+0.209754 s]*
/proc/loadavg: 2.00 2.01 2.05 3/198 30584
/proc/meminfo: memFree=25118008/32770624 swapFree=66977612/67108860
[pid=30583] ppid=30580 vsize=66380 memory=42784 CPUtime=0.2 cores=1,3,5,7
/proc/30583/stat : 30583 (cosoco) R 30580 30583 25053 0 -1 4202496 10883 0 0 0 19 1 0 0 20 0 1 0 411024336 67973120 10696 33554432000 4194304 6210612 140728571674704 140728571671240 140456964429728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10006528 140728571683851 140728571683953 140728571683953 140728571686862 0
/proc/30583/statm: 16595 10696 834 493 0 9900 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 66380 KiB
Current children cumulated memory: 42784 KiB

[startup+0.309692 s]*
/proc/loadavg: 2.00 2.01 2.05 3/198 30584
/proc/meminfo: memFree=25101640/32770624 swapFree=66977612/67108860
[pid=30583] ppid=30580 vsize=82876 memory=59236 CPUtime=0.31 cores=1,3,5,7
/proc/30583/stat : 30583 (cosoco) R 30580 30583 25053 0 -1 4202496 14989 0 0 0 29 2 0 0 20 0 1 0 411024336 84865024 14809 33554432000 4194304 6210612 140728571674704 140728571671240 140456964381669 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10006528 140728571683851 140728571683953 140728571683953 140728571686862 0
/proc/30583/statm: 20719 14809 834 493 0 14024 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 82876 KiB
Current children cumulated memory: 59236 KiB

[startup+0.700394 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 30584
/proc/meminfo: memFree=25070304/32770624 swapFree=66977612/67108860
[pid=30583] ppid=30580 vsize=138716 memory=115144 CPUtime=0.69 cores=1,3,5,7
/proc/30583/stat : 30583 (cosoco) R 30580 30583 25053 0 -1 4202496 28999 0 0 0 65 4 0 0 20 0 1 0 411024336 142045184 28786 33554432000 4194304 6210612 140728571674704 140728571669064 140456964450859 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10006528 140728571683851 140728571683953 140728571683953 140728571686862 0
/proc/30583/statm: 34712 28786 870 493 0 28017 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 138716 KiB
Current children cumulated memory: 115144 KiB

[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 30584
/proc/meminfo: memFree=25026832/32770624 swapFree=66977612/67108860
[pid=30583] ppid=30580 vsize=155908 memory=132040 CPUtime=1.49 cores=1,3,5,7
/proc/30583/stat : 30583 (cosoco) R 30580 30583 25053 0 -1 4202496 33179 0 0 0 145 4 0 0 20 0 1 0 411024336 159649792 33010 33554432000 4194304 6210612 140728571674704 140728571672296 5409293 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10006528 140728571683851 140728571683953 140728571683953 140728571686862 0
/proc/30583/statm: 38977 33010 870 493 0 32282 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 155908 KiB
Current children cumulated memory: 132040 KiB

[startup+3.10957 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 30584
/proc/meminfo: memFree=25026360/32770624 swapFree=66977612/67108860
[pid=30583] ppid=30580 vsize=156172 memory=132244 CPUtime=3.1 cores=1,3,5,7
/proc/30583/stat : 30583 (cosoco) R 30580 30583 25053 0 -1 4202496 47153 0 0 0 305 5 0 0 20 0 1 0 411024336 159920128 33061 33554432000 4194304 6210612 140728571674704 140728571672296 5396249 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10006528 140728571683851 140728571683953 140728571683953 140728571686862 0
/proc/30583/statm: 39043 33061 872 493 0 32348 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 156172 KiB
Current children cumulated memory: 132244 KiB

[startup+6.30032 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 30584
/proc/meminfo: memFree=25025712/32770624 swapFree=66977612/67108860
[pid=30583] ppid=30580 vsize=156836 memory=132952 CPUtime=6.29 cores=1,3,5,7
/proc/30583/stat : 30583 (cosoco) R 30580 30583 25053 0 -1 4202496 60967 0 0 0 623 6 0 0 20 0 1 0 411024336 160600064 33238 33554432000 4194304 6210612 140728571674704 140728571672664 5249681 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10006528 140728571683851 140728571683953 140728571683953 140728571686862 0
/proc/30583/statm: 39209 33238 872 493 0 32514 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 156836 KiB
Current children cumulated memory: 132952 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 30647
/proc/meminfo: memFree=24768528/32770624 swapFree=66977612/67108860
[pid=30583] ppid=30580 vsize=156836 memory=132952 CPUtime=12.69 cores=1,3,5,7
/proc/30583/stat : 30583 (cosoco) R 30580 30583 25053 0 -1 4202496 73544 0 0 0 1262 7 0 0 20 0 1 0 411024336 160600064 33238 33554432000 4194304 6210612 140728571674704 140728571672664 5409293 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10006528 140728571683851 140728571683953 140728571683953 140728571686862 0
/proc/30583/statm: 39209 33238 872 493 0 32514 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 156836 KiB
Current children cumulated memory: 132952 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 30647
/proc/meminfo: memFree=24746384/32770624 swapFree=66977612/67108860
[pid=30583] ppid=30580 vsize=157636 memory=133748 CPUtime=25.48 cores=1,3,5,7
/proc/30583/stat : 30583 (cosoco) R 30580 30583 25053 0 -1 4202496 98385 0 0 0 2541 7 0 0 20 0 1 0 411024336 161419264 33437 33554432000 4194304 6210612 140728571674704 140728571672664 5249899 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10006528 140728571683851 140728571683953 140728571683953 140728571686862 0
/proc/30583/statm: 39409 33437 872 493 0 32714 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 157636 KiB
Current children cumulated memory: 133748 KiB

[startup+51.1093 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 30649
/proc/meminfo: memFree=24746540/32770624 swapFree=66977612/67108860
[pid=30583] ppid=30580 vsize=157636 memory=133748 CPUtime=51.09 cores=1,3,5,7
/proc/30583/stat : 30583 (cosoco) R 30580 30583 25053 0 -1 4202496 111763 0 0 0 5101 8 0 0 20 0 1 0 411024336 161419264 33437 33554432000 4194304 6210612 140728571674704 140728571672664 5409293 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10006528 140728571683851 140728571683953 140728571683953 140728571686862 0
/proc/30583/statm: 39409 33437 872 493 0 32714 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 157636 KiB
Current children cumulated memory: 133748 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 30656
/proc/meminfo: memFree=24744496/32770624 swapFree=66977612/67108860
[pid=30583] ppid=30580 vsize=158576 memory=134760 CPUtime=102.27 cores=1,3,5,7
/proc/30583/stat : 30583 (cosoco) R 30580 30583 25053 0 -1 4202496 127909 0 0 0 10218 9 0 0 20 0 1 0 411024336 162381824 33690 33554432000 4194304 6210612 140728571674704 140728571672296 5155149 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10006528 140728571683851 140728571683953 140728571683953 140728571686862 0
/proc/30583/statm: 39644 33690 872 493 0 32949 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 158576 KiB
Current children cumulated memory: 134760 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 30668
/proc/meminfo: memFree=24744200/32770624 swapFree=66977612/67108860
[pid=30583] ppid=30580 vsize=158576 memory=134892 CPUtime=162.26 cores=1,3,5,7
/proc/30583/stat : 30583 (cosoco) R 30580 30583 25053 0 -1 4202496 136367 0 0 0 16216 10 0 0 20 0 1 0 411024336 162381824 33723 33554432000 4194304 6210612 140728571674704 140728571672664 5155392 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10006528 140728571683851 140728571683953 140728571683953 140728571686862 0
/proc/30583/statm: 39644 33723 872 493 0 32949 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 158576 KiB
Current children cumulated memory: 134892 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 30696
/proc/meminfo: memFree=24741208/32770624 swapFree=66977612/67108860
[pid=30583] ppid=30580 vsize=158576 memory=135208 CPUtime=222.25 cores=1,3,5,7
/proc/30583/stat : 30583 (cosoco) R 30580 30583 25053 0 -1 4202496 136715 0 0 0 22215 10 0 0 20 0 1 0 411024336 162381824 33802 33554432000 4194304 6210612 140728571674704 140728571672664 5155287 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10006528 140728571683851 140728571683953 140728571683953 140728571686862 0
/proc/30583/statm: 39644 33802 872 493 0 32949 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 158576 KiB
Current children cumulated memory: 135208 KiB

[startup+282.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/202 30702
/proc/meminfo: memFree=24739132/32770624 swapFree=66977612/67108860
[pid=30583] ppid=30580 vsize=158576 memory=135208 CPUtime=282.25 cores=1,3,5,7
/proc/30583/stat : 30583 (cosoco) R 30580 30583 25053 0 -1 4202496 137080 0 0 0 28215 10 0 0 20 0 1 0 411024336 162381824 33802 33554432000 4194304 6210612 140728571674704 140728571672664 5409293 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10006528 140728571683851 140728571683953 140728571683953 140728571686862 0
/proc/30583/statm: 39644 33802 872 493 0 32949 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 158576 KiB
Current children cumulated memory: 135208 KiB

[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/202 30706
/proc/meminfo: memFree=24739052/32770624 swapFree=66977612/67108860
[pid=30583] ppid=30580 vsize=158708 memory=135260 CPUtime=342.25 cores=1,3,5,7
/proc/30583/stat : 30583 (cosoco) R 30580 30583 25053 0 -1 4202496 137484 0 0 0 34215 10 0 0 20 0 1 0 411024336 162516992 33815 33554432000 4194304 6210612 140728571674704 140728571672664 5155888 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10006528 140728571683851 140728571683953 140728571683953 140728571686862 0
/proc/30583/statm: 39677 33815 872 493 0 32982 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 158708 KiB
Current children cumulated memory: 135260 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 30710
/proc/meminfo: memFree=24738440/32770624 swapFree=66977612/67108860
[pid=30583] ppid=30580 vsize=159792 memory=136360 CPUtime=402.24 cores=1,3,5,7
/proc/30583/stat : 30583 (cosoco) R 30580 30583 25053 0 -1 4202496 138196 0 0 0 40214 10 0 0 20 0 1 0 411024336 163627008 34090 33554432000 4194304 6210612 140728571674704 140728571672296 5409301 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10006528 140728571683851 140728571683953 140728571683953 140728571686862 0
/proc/30583/statm: 39948 34090 872 493 0 33253 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 159792 KiB
Current children cumulated memory: 136360 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 30716
/proc/meminfo: memFree=24738676/32770624 swapFree=66977612/67108860
[pid=30583] ppid=30580 vsize=159792 memory=136424 CPUtime=462.24 cores=1,3,5,7
/proc/30583/stat : 30583 (cosoco) R 30580 30583 25053 0 -1 4202496 138815 0 0 0 46214 10 0 0 20 0 1 0 411024336 163627008 34106 33554432000 4194304 6210612 140728571674704 140728571672664 5186192 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10006528 140728571683851 140728571683953 140728571683953 140728571686862 0
/proc/30583/statm: 39948 34106 872 493 0 33253 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 159792 KiB
Current children cumulated memory: 136424 KiB


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

/proc/30583/statm: 40832 34998 872 493 0 34137 0
Current children cumulated CPU time: 1602.16 s
Current children cumulated vsize: 163328 KiB
Current children cumulated memory: 139992 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 30825
/proc/meminfo: memFree=24732596/32770624 swapFree=66977612/67108860
[pid=30583] ppid=30580 vsize=163328 memory=139992 CPUtime=1662.16 cores=1,3,5,7
/proc/30583/stat : 30583 (cosoco) R 30580 30583 25053 0 -1 4202496 145801 0 0 0 166206 10 0 0 20 0 1 0 411024336 167247872 34998 33554432000 4194304 6210612 140728571674704 140728571672664 5409293 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10006528 140728571683851 140728571683953 140728571683953 140728571686862 0
/proc/30583/statm: 40832 34998 872 493 0 34137 0
Current children cumulated CPU time: 1662.16 s
Current children cumulated vsize: 163328 KiB
Current children cumulated memory: 139992 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 30831
/proc/meminfo: memFree=24732204/32770624 swapFree=66977612/67108860
[pid=30583] ppid=30580 vsize=163328 memory=139992 CPUtime=1722.15 cores=1,3,5,7
/proc/30583/stat : 30583 (cosoco) R 30580 30583 25053 0 -1 4202496 145928 0 0 0 172205 10 0 0 20 0 1 0 411024336 167247872 34998 33554432000 4194304 6210612 140728571674704 140728571672664 5154973 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10006528 140728571683851 140728571683953 140728571683953 140728571686862 0
/proc/30583/statm: 40832 34998 872 493 0 34137 0
Current children cumulated CPU time: 1722.15 s
Current children cumulated vsize: 163328 KiB
Current children cumulated memory: 139992 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 30835
/proc/meminfo: memFree=24732240/32770624 swapFree=66977612/67108860
[pid=30583] ppid=30580 vsize=163328 memory=139992 CPUtime=1782.15 cores=1,3,5,7
/proc/30583/stat : 30583 (cosoco) R 30580 30583 25053 0 -1 4202496 146050 0 0 0 178205 10 0 0 20 0 1 0 411024336 167247872 34998 33554432000 4194304 6210612 140728571674704 140728571672664 5155157 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10006528 140728571683851 140728571683953 140728571683953 140728571686862 0
/proc/30583/statm: 40832 34998 872 493 0 34137 0
Current children cumulated CPU time: 1782.15 s
Current children cumulated vsize: 163328 KiB
Current children cumulated memory: 139992 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 30840
/proc/meminfo: memFree=24732604/32770624 swapFree=66977612/67108860
[pid=30583] ppid=30580 vsize=163328 memory=139992 CPUtime=1842.15 cores=1,3,5,7
/proc/30583/stat : 30583 (cosoco) R 30580 30583 25053 0 -1 4202496 146201 0 0 0 184205 10 0 0 20 0 1 0 411024336 167247872 34998 33554432000 4194304 6210612 140728571674704 140728571672664 5154952 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10006528 140728571683851 140728571683953 140728571683953 140728571686862 0
/proc/30583/statm: 40832 34998 872 493 0 34137 0
Current children cumulated CPU time: 1842.15 s
Current children cumulated vsize: 163328 KiB
Current children cumulated memory: 139992 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 30845
/proc/meminfo: memFree=24732560/32770624 swapFree=66977612/67108860
[pid=30583] ppid=30580 vsize=163328 memory=139992 CPUtime=1902.14 cores=1,3,5,7
/proc/30583/stat : 30583 (cosoco) R 30580 30583 25053 0 -1 4202496 146310 0 0 0 190204 10 0 0 20 0 1 0 411024336 167247872 34998 33554432000 4194304 6210612 140728571674704 140728571672664 5155888 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10006528 140728571683851 140728571683953 140728571683953 140728571686862 0
/proc/30583/statm: 40832 34998 872 493 0 34137 0
Current children cumulated CPU time: 1902.14 s
Current children cumulated vsize: 163328 KiB
Current children cumulated memory: 139992 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 30856
/proc/meminfo: memFree=24731968/32770624 swapFree=66977612/67108860
[pid=30583] ppid=30580 vsize=163328 memory=139992 CPUtime=1962.14 cores=1,3,5,7
/proc/30583/stat : 30583 (cosoco) R 30580 30583 25053 0 -1 4202496 146419 0 0 0 196204 10 0 0 20 0 1 0 411024336 167247872 34998 33554432000 4194304 6210612 140728571674704 140728571672664 5409264 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10006528 140728571683851 140728571683953 140728571683953 140728571686862 0
/proc/30583/statm: 40832 34998 872 493 0 34137 0
Current children cumulated CPU time: 1962.14 s
Current children cumulated vsize: 163328 KiB
Current children cumulated memory: 139992 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 30860
/proc/meminfo: memFree=24732168/32770624 swapFree=66977612/67108860
[pid=30583] ppid=30580 vsize=163328 memory=139992 CPUtime=2022.14 cores=1,3,5,7
/proc/30583/stat : 30583 (cosoco) R 30580 30583 25053 0 -1 4202496 146568 0 0 0 202204 10 0 0 20 0 1 0 411024336 167247872 34998 33554432000 4194304 6210612 140728571674704 140728571672664 5154985 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10006528 140728571683851 140728571683953 140728571683953 140728571686862 0
/proc/30583/statm: 40832 34998 872 493 0 34137 0
Current children cumulated CPU time: 2022.14 s
Current children cumulated vsize: 163328 KiB
Current children cumulated memory: 139992 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 30866
/proc/meminfo: memFree=24732840/32770624 swapFree=66977612/67108860
[pid=30583] ppid=30580 vsize=163328 memory=139992 CPUtime=2082.13 cores=1,3,5,7
/proc/30583/stat : 30583 (cosoco) R 30580 30583 25053 0 -1 4202496 146670 0 0 0 208203 10 0 0 20 0 1 0 411024336 167247872 34998 33554432000 4194304 6210612 140728571674704 140728571672664 5249738 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10006528 140728571683851 140728571683953 140728571683953 140728571686862 0
/proc/30583/statm: 40832 34998 872 493 0 34137 0
Current children cumulated CPU time: 2082.13 s
Current children cumulated vsize: 163328 KiB
Current children cumulated memory: 139992 KiB

[startup+2142.3 s]
/proc/loadavg: 2.65 2.18 2.10 3/198 30870
/proc/meminfo: memFree=24732772/32770624 swapFree=66977612/67108860
[pid=30583] ppid=30580 vsize=163328 memory=139992 CPUtime=2142.13 cores=1,3,5,7
/proc/30583/stat : 30583 (cosoco) R 30580 30583 25053 0 -1 4202496 146831 0 0 0 214203 10 0 0 20 0 1 0 411024336 167247872 34998 33554432000 4194304 6210612 140728571674704 140728571672664 5249738 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10006528 140728571683851 140728571683953 140728571683953 140728571686862 0
/proc/30583/statm: 40832 34998 872 493 0 34137 0
Current children cumulated CPU time: 2142.13 s
Current children cumulated vsize: 163328 KiB
Current children cumulated memory: 139992 KiB

[startup+2202.3 s]
/proc/loadavg: 2.24 2.15 2.09 3/198 30874
/proc/meminfo: memFree=24732580/32770624 swapFree=66977612/67108860
[pid=30583] ppid=30580 vsize=163328 memory=139992 CPUtime=2202.13 cores=1,3,5,7
/proc/30583/stat : 30583 (cosoco) R 30580 30583 25053 0 -1 4202496 146928 0 0 0 220203 10 0 0 20 0 1 0 411024336 167247872 34998 33554432000 4194304 6210612 140728571674704 140728571672664 5409293 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10006528 140728571683851 140728571683953 140728571683953 140728571686862 0
/proc/30583/statm: 40832 34998 872 493 0 34137 0
Current children cumulated CPU time: 2202.13 s
Current children cumulated vsize: 163328 KiB
Current children cumulated memory: 139992 KiB

[startup+2262.3 s]
/proc/loadavg: 2.09 2.12 2.09 3/198 30880
/proc/meminfo: memFree=24733040/32770624 swapFree=66977612/67108860
[pid=30583] ppid=30580 vsize=163328 memory=139992 CPUtime=2262.12 cores=1,3,5,7
/proc/30583/stat : 30583 (cosoco) R 30580 30583 25053 0 -1 4202496 147030 0 0 0 226202 10 0 0 20 0 1 0 411024336 167247872 34998 33554432000 4194304 6210612 140728571674704 140728571672664 5249664 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10006528 140728571683851 140728571683953 140728571683953 140728571686862 0
/proc/30583/statm: 40832 34998 872 493 0 34137 0
Current children cumulated CPU time: 2262.12 s
Current children cumulated vsize: 163328 KiB
Current children cumulated memory: 139992 KiB

[startup+2322.3 s]
/proc/loadavg: 2.03 2.10 2.08 3/198 30884
/proc/meminfo: memFree=24731736/32770624 swapFree=66977612/67108860
[pid=30583] ppid=30580 vsize=163328 memory=139992 CPUtime=2322.12 cores=1,3,5,7
/proc/30583/stat : 30583 (cosoco) R 30580 30583 25053 0 -1 4202496 147129 0 0 0 232202 10 0 0 20 0 1 0 411024336 167247872 34998 33554432000 4194304 6210612 140728571674704 140728571672664 5409293 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10006528 140728571683851 140728571683953 140728571683953 140728571686862 0
/proc/30583/statm: 40832 34998 872 493 0 34137 0
Current children cumulated CPU time: 2322.12 s
Current children cumulated vsize: 163328 KiB
Current children cumulated memory: 139992 KiB

[startup+2382.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/198 30888
/proc/meminfo: memFree=24732720/32770624 swapFree=66977612/67108860
[pid=30583] ppid=30580 vsize=163328 memory=139992 CPUtime=2382.12 cores=1,3,5,7
/proc/30583/stat : 30583 (cosoco) R 30580 30583 25053 0 -1 4202496 147278 0 0 0 238202 10 0 0 20 0 1 0 411024336 167247872 34998 33554432000 4194304 6210612 140728571674704 140728571672664 5380096 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10006528 140728571683851 140728571683953 140728571683953 140728571686862 0
/proc/30583/statm: 40832 34998 872 493 0 34137 0
Current children cumulated CPU time: 2382.12 s
Current children cumulated vsize: 163328 KiB
Current children cumulated memory: 139992 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.2 s]
/proc/loadavg: 2.01 2.08 2.07 3/198 30891
/proc/meminfo: memFree=24732228/32770624 swapFree=66977612/67108860
[pid=30583] ppid=30580 vsize=163328 memory=139992 CPUtime=2400.02 cores=1,3,5,7
/proc/30583/stat : 30583 (cosoco) R 30580 30583 25053 0 -1 4202496 147373 0 0 0 239992 10 0 0 20 0 1 0 411024336 167247872 34998 33554432000 4194304 6210612 140728571674704 140728571672664 5249738 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 10006528 140728571683851 140728571683953 140728571683953 140728571686862 0
/proc/30583/statm: 40832 34998 872 493 0 34137 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 163328 KiB
Current children cumulated memory: 139992 KiB

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

[startup+2400.2 s]
# the end of solver process 30583 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.92 s, system=0.110993 s

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

Child status: 1
Real time (s): 2400.2
CPU time (s): 2400.03
CPU user time (s): 2399.92
CPU system time (s): 0.110993
CPU usage (%): 99.9929
Max. virtual memory (cumulated for all children) (KiB): 163328
Max. memory (cumulated for all children) (KiB): 139992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.92
system time used= 0.110993
maximum resident set size= 140060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147426
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= 66
involuntary context switches= 689


# summary of solver processes directly reported to runsolver:
#   pid: 30583
#   total CPU time (s): 2400.03
#   total CPU user time (s): 2399.92
#   total CPU system time (s): 0.110993

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.8282 second user time and 15.977 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-13 04:57:34
IDJOB=4390020
IDBENCH=134823
IDSOLVER=2830
FILE ID=node104/4390020-1568347670
RUNJOBID= node104-1568318532-25085
PBS_JOBID= 21701142
Free space on /tmp= 56572 MiB

SOLVER NAME= cosoco 2
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-spba/Pb-BeauxArts-K80.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390020-1568347670/watcher-4390020-1568347670 -o /tmp/evaluation-result-4390020-1568347670/solver-4390020-1568347670 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568318532-25085 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4390020-1568347670.xml

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

MD5SUM BENCH= 330870ed9e83d00984bc877f52c977b4
RANDOM SEED=4367072

node104.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	: 5334.09
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	: 5334.09
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	: 5334.09
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	: 5334.09
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:        25155124 kB
MemAvailable:   31826440 kB
Buffers:          140876 kB
Cached:          6744108 kB
SwapCached:        31864 kB
Active:          1768968 kB
Inactive:        5156188 kB
Active(anon):       6480 kB
Inactive(anon):    75372 kB
Active(file):    1762488 kB
Inactive(file):  5080816 kB
Unevictable:      106956 kB
Mlocked:          106956 kB
SwapTotal:      67108860 kB
SwapFree:       66977612 kB
Dirty:              2760 kB
Writeback:             4 kB
AnonPages:        117172 kB
Mapped:            44948 kB
Shmem:             32780 kB
Slab:             285912 kB
SReclaimable:     256472 kB
SUnreclaim:        29440 kB
KernelStack:        3456 kB
PageTables:         5544 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     521036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 56568 MiB
End job on node104 at 2019-09-13 05:37:34