Trace number 4397300

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 2.0? (TO) 2400.02 2400.3

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.40/0.51	c root propagations     : 455         
0.40/0.51	c restarts enabled, print stats at every restarts
0.40/0.51	c
0.40/0.51	c
0.40/0.51	c
0.40/0.51	c This is cosoco 2.00 --  
0.40/0.51	c
0.40/0.51	c command line: cosoco -lc -model -restarts -stick HOME/instance-4397300-1568584508.xml 
0.40/0.51	c ========================================[ Problem Statistics ]===========================================
0.40/0.51	c |                                                                                                       
0.40/0.51	c |  Parse time        :         0.42 s 
0.40/0.51	c |
0.40/0.51	c |               Variables: 4400
0.40/0.51	c |            Domain Sizes: 2..2
0.40/0.51	c |
0.40/0.51	c |             Constraints: 4562
0.40/0.51	c |                   Arity: 1..80  -- Unary: 2  -- Binary: 790  -- Ternary: 2291
0.40/0.51	c | 
0.40/0.51	c |                   Types: 
0.40/0.51	c |                          Sum: 4562
0.40/0.51	c |                          
0.40/0.51	c =========================================================================================================
0.40/0.51	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.99/1.08	c 101            5324           290431         93256          455            0              1842   3326   3114
1.49/1.51	c 211            13227          426247         143565         455            0              360   1008   916
1.89/1.93	c 332            20651          582817         199256         455            0              465   1576   1094
2.28/2.35	c 465            29015          717758         247871         455            0              752   1551   1249
3.00/3.04	c 611            36532          1049898        385788         455            0              862   1077   963
3.69/3.80	c 771            45768          1401494        527873         455            0              1095   1442   1178
4.39/4.42	c 947            53923          1677768        638059         455            0              871   1234   1089
4.99/5.05	c 1140           64746          1904715        726345         455            0              867   1318   1028
5.99/6.08	c 1352           78673          2318590        892814         455            0              684   980   796
7.09/7.19	c 1585           88435          2897259        1140760        455            0              653   837   713
7.98/8.07	c 1841           98467          3322260        1314558        455            0              477   637   552
8.99/9.01	c 2122           110747         3742491        1482924        455            0              459   987   733
10.09/10.11	c 2431           122809         4284537        1688066        455            0              595   758   681
11.38/11.44	c 2770           137284         4921177        1932439        455            0              419   708   528
12.68/12.74	c 3142           154506         5514339        2163973        455            0              305   809   625
13.99/14.04	c 3551           168912         6224796        2440830        455            0              460   703   601
15.48/15.56	c 4000           181004         7056763        2760884        455            0              391   550   482
16.67/16.72	c 4493           191621         7718242        2996788        455            0              416   478   454
19.67/19.71	c 5035           254621         8639056        3321664        455            0              417   1717   662
21.47/21.52	c 5631           288570         9285233        3568059        455            0              563   1154   690
22.87/23.00	c 6286           305959         10059725       3901414        455            0              513   666   593
25.27/25.35	c 7006           353596         10790055       4172817        455            0              431   784   641
26.57/26.62	c 7798           371048         11414992       4409947        455            0              505   584   545
28.67/28.79	c 8669           394375         12531516       4799911        455            0              463   639   557
33.37/33.42	c 9627           437980         15008690       5784772        455            0              457   821   655
37.17/37.23	c 10680          471142         17187076       6605919        455            0              446   624   524
40.66/40.70	c 11838          518484         18786467       7218156        455            0              495   985   671
45.26/45.34	c 13111          574170         21007771       8209987        455            0              539   911   761
50.65/50.76	c 14511          626470         23851656       9359606        455            0              628   1006   803
57.35/57.48	c 16051          701274         27158930       10705874       455            0              753   1309   969
65.75/65.82	c 17745          806529         31084577       12496430       455            0              906   1546   1232
73.65/73.77	c 19608          893192         35102162       14094062       455            0              923   1521   1195
80.14/80.22	c 21657          990745         38119924       15331936       455            0              995   1434   1280
89.24/89.31	c 23910          1108249        42477132       17112008       455            0              810   1193   982
96.84/96.92	c 26388          1258868        45436620       18319397       455            0              977   1563   1316
104.74/104.88	c 29113          1359515        49490363       19976518       455            0              987   1266   1106
116.43/116.59	c 32110          1474319        55928453       22502448       455            0              861   1095   1009
136.53/136.69	c 35406          1660964        66033134       26382434       455            0              708   1024   843
145.33/145.45	c 39031          1739043        70751492       28159743       455            0              558   846   763
164.52/164.66	c 43018          1904574        80125435       31227107       455            0              544   744   666
180.93/181.08	c 47403          2095983        87468917       34229961       455            0              488   743   674
194.93/195.10	c 52226          2299594        92932370       36512079       455            0              399   760   623
215.21/215.39	c 57531          2420708        104181291      40512854       455            0              442   577   540
231.31/231.46	c 63366          2590419        111715349      43549490       455            0              362   573   490
249.02/249.13	c 69784          2782041        119917395      46320824       455            0              314   492   404
286.60/286.74	c 76843          3309489        136866983      52710921       455            0              194   1193   842
325.90/326.07	c 84607          3935006        152604336      58685360       455            0              288   1428   647
357.09/357.20	c 93147          4204542        169847827      65057039       455            0              325   885   529
408.98/409.12	c 102541         5308332        186940590      71669779       455            0              364   2043   867
449.37/449.56	c 112874         6072019        202034612      78232514       455            0              614   1462   1046
502.66/502.83	c 124240         6569865        231002644      88701534       455            0              588   1048   824
548.55/548.71	c 136742         7102388        255141172      97435663       455            0              640   1133   912
612.44/612.66	c 150494         7968310        286324354      110042148      455            0              755   1210   985
698.32/698.55	c 165621         8993529        329407250      127556247      455            0              676   1468   1060
785.31/785.52	c 182260         10021510       373454058      146852898      455            0              801   1513   1211
854.30/854.53	c 200562         10781073       408049104      161642678      455            0              826   1420   1108
924.79/925.03	c 220694         12007383       436214578      174278090      455            0              706   1321   1145
999.47/999.75	c 242839         13156518       468610490      188404909      455            0              674   1534   1046
1074.26/1074.58	c 267198         14272337       502739966      203392258      455            0              866   1476   1171
1199.13/1199.47	c 293992         15640268       567121926      228813485      455            0              685   1161   936
1421.53/1421.80	c 323465         19242327       667659806      266181366      455            0              814   2477   1339
1592.53/1592.80	c 355885         21423156       750526410      297475392      455            0              753   1477   1093
1812.92/1813.21	c 391547         24247561       860366054      341105084      455            0              777   1695   1128
1994.02/1994.32	c 430775         26020632       963127977      383252723      455            0              817   1247   1120
2134.41/2134.78	c 473925         27472247       1040007533     414252544      455            0              868   1482   1113
2362.71/2363.09	c 521390         30096861       1154801819     459337441      455            0              695   1450   1098
2400.00/2400.30	
2400.00/2400.30	c *** INTERRUPTED ***
2400.00/2400.30	c restarts              : 66          
2400.00/2400.30	c conflicts             : 529711       (221 /sec)
2400.00/2400.30	c decisions             : 30558164     (12733 /sec)
2400.00/2400.30	c propagations          : 465874754   (194122 /sec)
2400.00/2400.30	c root propagations     : 455         
2400.00/2400.30	c filter calls          : 1172709995     (488647 /sec)
2400.00/2400.30	c useless filter calls  : 1042841559     (88 %)
2400.00/2400.30	c Memory used           : 159.50 MB
2400.00/2400.30	c CPU time              : 2399.91 s
2400.00/2400.30	c real time             : 2400.3 s
2400.00/2400.30	
2400.00/2400.30	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 (15089 MiB free)
  memory of node 1: 16384 MiB (14858 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397300-1568584508/watcher-4397300-1568584508 -o /tmp/evaluation-result-4397300-1568584508/solver-4397300-1568584508 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568572744-5580 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397300-1568584508.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
Current StackSize limit: 8192 KiB

solver pid=8367, runsolver pid=8364

[startup+0.100319 s]*
/proc/loadavg: 2.00 2.01 2.05 3/204 8368
/proc/meminfo: memFree=30652712/32770624 swapFree=66970156/67108860
[pid=8367] ppid=8364 vsize=43032 memory=19304 CPUtime=0.09 cores=0,2,4,6
/proc/8367/stat : 8367 (cosoco) R 8364 8367 5549 0 -1 4202496 5023 0 0 0 9 0 0 0 20 0 1 0 434700309 44064768 4826 33554432000 4194304 6211092 140731686422320 140731686416456 140450257505253 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 35205120 140731686429707 140731686429809 140731686429809 140731686432718 0
/proc/8367/statm: 10758 4826 837 493 0 4063 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43032 KiB
Current children cumulated memory: 19304 KiB

[startup+0.210096 s]*
/proc/loadavg: 2.00 2.01 2.05 3/204 8368
/proc/meminfo: memFree=30632488/32770624 swapFree=66970156/67108860
[pid=8367] ppid=8364 vsize=64488 memory=40900 CPUtime=0.2 cores=0,2,4,6
/proc/8367/stat : 8367 (cosoco) R 8364 8367 5549 0 -1 4202496 10413 0 0 0 19 1 0 0 20 0 1 0 434700309 66035712 10225 33554432000 4194304 6211092 140731686422320 140731686416456 140450257505253 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 35205120 140731686429707 140731686429809 140731686429809 140731686432718 0
/proc/8367/statm: 16122 10225 837 493 0 9427 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 64488 KiB
Current children cumulated memory: 40900 KiB

[startup+0.309829 s]*
/proc/loadavg: 2.00 2.01 2.05 3/204 8368
/proc/meminfo: memFree=30616368/32770624 swapFree=66970156/67108860
[pid=8367] ppid=8364 vsize=80704 memory=56936 CPUtime=0.3 cores=0,2,4,6
/proc/8367/stat : 8367 (cosoco) R 8364 8367 5549 0 -1 4202496 14440 0 0 0 28 2 0 0 20 0 1 0 434700309 82640896 14234 33554432000 4194304 6211092 140731686422320 140731686416456 140450257505253 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 35205120 140731686429707 140731686429809 140731686429809 140731686432718 0
/proc/8367/statm: 20176 14234 837 493 0 13481 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 80704 KiB
Current children cumulated memory: 56936 KiB

[startup+0.700326 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 8368
/proc/meminfo: memFree=30583136/32770624 swapFree=66970156/67108860
[pid=8367] ppid=8364 vsize=136840 memory=113304 CPUtime=0.68 cores=0,2,4,6
/proc/8367/stat : 8367 (cosoco) R 8364 8367 5549 0 -1 4202496 28522 0 0 0 64 4 0 0 20 0 1 0 434700309 140124160 28326 33554432000 4194304 6211092 140731686422320 140731686420072 140450257574443 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 35205120 140731686429707 140731686429809 140731686429809 140731686432718 0
/proc/8367/statm: 34210 28326 874 493 0 27515 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 136840 KiB
Current children cumulated memory: 113304 KiB

[startup+1.50025 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 8368
/proc/meminfo: memFree=30540648/32770624 swapFree=66970156/67108860
[pid=8367] ppid=8364 vsize=155908 memory=132048 CPUtime=1.49 cores=0,2,4,6
/proc/8367/stat : 8367 (cosoco) R 8364 8367 5549 0 -1 4202496 33181 0 0 0 144 5 0 0 20 0 1 0 434700309 159649792 33012 33554432000 4194304 6211092 140731686422320 140731686420280 5250467 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 35205120 140731686429707 140731686429809 140731686429809 140731686432718 0
/proc/8367/statm: 38977 33012 874 493 0 32282 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 155908 KiB
Current children cumulated memory: 132048 KiB

[startup+3.1097 s]
/proc/loadavg: 1.92 2.00 2.04 3/204 8368
/proc/meminfo: memFree=30539160/32770624 swapFree=66970156/67108860
[pid=8367] ppid=8364 vsize=156040 memory=132252 CPUtime=3.1 cores=0,2,4,6
/proc/8367/stat : 8367 (cosoco) R 8364 8367 5549 0 -1 4202496 47033 0 0 0 304 6 0 0 20 0 1 0 434700309 159784960 33063 33554432000 4194304 6211092 140731686422320 140731686420280 140450257498056 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 35205120 140731686429707 140731686429809 140731686429809 140731686432718 0
/proc/8367/statm: 39010 33063 875 493 0 32315 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 156040 KiB
Current children cumulated memory: 132252 KiB

[startup+6.30026 s]
/proc/loadavg: 1.92 2.00 2.04 3/203 8368
/proc/meminfo: memFree=30538428/32770624 swapFree=66970156/67108860
[pid=8367] ppid=8364 vsize=156836 memory=132960 CPUtime=6.28 cores=0,2,4,6
/proc/8367/stat : 8367 (cosoco) R 8364 8367 5549 0 -1 4202496 60975 0 0 0 622 6 0 0 20 0 1 0 434700309 160600064 33240 33554432000 4194304 6211092 140731686422320 140731686420280 5397375 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 35205120 140731686429707 140731686429809 140731686429809 140731686432718 0
/proc/8367/statm: 39209 33240 875 493 0 32514 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 156836 KiB
Current children cumulated memory: 132960 KiB

[startup+12.7002 s]
/proc/loadavg: 1.93 2.00 2.04 3/203 8369
/proc/meminfo: memFree=30538000/32770624 swapFree=66970156/67108860
[pid=8367] ppid=8364 vsize=156836 memory=132960 CPUtime=12.68 cores=0,2,4,6
/proc/8367/stat : 8367 (cosoco) R 8364 8367 5549 0 -1 4202496 72963 0 0 0 1261 7 0 0 20 0 1 0 434700309 160600064 33240 33554432000 4194304 6211092 140731686422320 140731686420280 5409453 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 35205120 140731686429707 140731686429809 140731686429809 140731686432718 0
/proc/8367/statm: 39209 33240 875 493 0 32514 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 156836 KiB
Current children cumulated memory: 132960 KiB

[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/204 8370
/proc/meminfo: memFree=30537780/32770624 swapFree=66970156/67108860
[pid=8367] ppid=8364 vsize=157636 memory=133756 CPUtime=25.47 cores=0,2,4,6
/proc/8367/stat : 8367 (cosoco) R 8364 8367 5549 0 -1 4202496 92726 0 0 0 2539 8 0 0 20 0 1 0 434700309 161419264 33439 33554432000 4194304 6211092 140731686422320 140731686420280 5155534 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 35205120 140731686429707 140731686429809 140731686429809 140731686432718 0
/proc/8367/statm: 39409 33439 875 493 0 32714 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 157636 KiB
Current children cumulated memory: 133756 KiB

[startup+51.1096 s]
/proc/loadavg: 1.96 2.00 2.04 3/204 8373
/proc/meminfo: memFree=30537444/32770624 swapFree=66970156/67108860
[pid=8367] ppid=8364 vsize=157636 memory=133756 CPUtime=51.06 cores=0,2,4,6
/proc/8367/stat : 8367 (cosoco) R 8364 8367 5549 0 -1 4202496 101386 0 0 0 5098 8 0 0 20 0 1 0 434700309 161419264 33439 33554432000 4194304 6211092 140731686422320 140731686420280 5155393 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 35205120 140731686429707 140731686429809 140731686429809 140731686432718 0
/proc/8367/statm: 39409 33439 875 493 0 32714 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 157636 KiB
Current children cumulated memory: 133756 KiB

[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/204 8377
/proc/meminfo: memFree=30536484/32770624 swapFree=66970156/67108860
[pid=8367] ppid=8364 vsize=158576 memory=135120 CPUtime=102.24 cores=0,2,4,6
/proc/8367/stat : 8367 (cosoco) R 8364 8367 5549 0 -1 4202496 104557 0 0 0 10215 9 0 0 20 0 1 0 434700309 162381824 33780 33554432000 4194304 6211092 140731686422320 140731686420280 5409453 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 35205120 140731686429707 140731686429809 140731686429809 140731686432718 0
/proc/8367/statm: 39644 33780 875 493 0 32949 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 158576 KiB
Current children cumulated memory: 135120 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/204 8381
/proc/meminfo: memFree=30536744/32770624 swapFree=66970156/67108860
[pid=8367] ppid=8364 vsize=158576 memory=135216 CPUtime=162.23 cores=0,2,4,6
/proc/8367/stat : 8367 (cosoco) R 8364 8367 5549 0 -1 4202496 104959 0 0 0 16214 9 0 0 20 0 1 0 434700309 162381824 33804 33554432000 4194304 6211092 140731686422320 140731686420280 5156256 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 35205120 140731686429707 140731686429809 140731686429809 140731686432718 0
/proc/8367/statm: 39644 33804 875 493 0 32949 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 158576 KiB
Current children cumulated memory: 135216 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 4/204 8388
/proc/meminfo: memFree=30535884/32770624 swapFree=66970156/67108860
[pid=8367] ppid=8364 vsize=158576 memory=135216 CPUtime=222.21 cores=0,2,4,6
/proc/8367/stat : 8367 (cosoco) R 8364 8367 5549 0 -1 4202496 105311 0 0 0 22212 9 0 0 20 0 1 0 434700309 162381824 33804 33554432000 4194304 6211092 140731686422320 140731686420280 5250224 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 35205120 140731686429707 140731686429809 140731686429809 140731686432718 0
/proc/8367/statm: 39644 33804 875 493 0 32949 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 158576 KiB
Current children cumulated memory: 135216 KiB

[startup+282.3 s]
/proc/loadavg: 2.04 2.00 2.04 3/203 8392
/proc/meminfo: memFree=30535832/32770624 swapFree=66970156/67108860
[pid=8367] ppid=8364 vsize=158576 memory=135224 CPUtime=282.2 cores=0,2,4,6
/proc/8367/stat : 8367 (cosoco) R 8364 8367 5549 0 -1 4202496 105674 0 0 0 28211 9 0 0 20 0 1 0 434700309 162381824 33806 33554432000 4194304 6211092 140731686422320 140731686420280 5409461 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 35205120 140731686429707 140731686429809 140731686429809 140731686432718 0
/proc/8367/statm: 39644 33806 875 493 0 32949 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 158576 KiB
Current children cumulated memory: 135224 KiB

[startup+342.3 s]
/proc/loadavg: 2.49 2.15 2.09 3/203 8404
/proc/meminfo: memFree=30535608/32770624 swapFree=66970160/67108860
[pid=8367] ppid=8364 vsize=158708 memory=135224 CPUtime=342.19 cores=0,2,4,6
/proc/8367/stat : 8367 (cosoco) R 8364 8367 5549 0 -1 4202496 105770 0 0 0 34210 9 0 0 20 0 1 0 434700309 162516992 33806 33554432000 4194304 6211092 140731686422320 140731686420280 5397429 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 35205120 140731686429707 140731686429809 140731686429809 140731686432718 0
/proc/8367/statm: 39677 33806 875 493 0 32982 0
Current children cumulated CPU time: 342.19 s
Current children cumulated vsize: 158708 KiB
Current children cumulated memory: 135224 KiB

[startup+402.3 s]
/proc/loadavg: 2.16 2.12 2.08 3/205 8497
/proc/meminfo: memFree=30534092/32770624 swapFree=66970164/67108860
[pid=8367] ppid=8364 vsize=159792 memory=136220 CPUtime=402.18 cores=0,2,4,6
/proc/8367/stat : 8367 (cosoco) R 8364 8367 5549 0 -1 4202496 106153 0 0 0 40209 9 0 0 20 0 1 0 434700309 163627008 34055 33554432000 4194304 6211092 140731686422320 140731686419912 5409465 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 35205120 140731686429707 140731686429809 140731686429809 140731686432718 0
/proc/8367/statm: 39948 34055 875 493 0 33253 0
Current children cumulated CPU time: 402.18 s
Current children cumulated vsize: 159792 KiB
Current children cumulated memory: 136220 KiB

[startup+462.3 s]
/proc/loadavg: 2.06 2.10 2.08 3/204 8501
/proc/meminfo: memFree=30535140/32770624 swapFree=66970164/67108860
[pid=8367] ppid=8364 vsize=159792 memory=136432 CPUtime=462.17 cores=0,2,4,6
/proc/8367/stat : 8367 (cosoco) R 8364 8367 5549 0 -1 4202496 106427 0 0 0 46208 9 0 0 20 0 1 0 434700309 163627008 34108 33554432000 4194304 6211092 140731686422320 140731686420280 5155345 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 35205120 140731686429707 140731686429809 140731686429809 140731686432718 0
/proc/8367/statm: 39948 34108 875 493 0 33253 0
Current children cumulated CPU time: 462.17 s
Current children cumulated vsize: 159792 KiB
Current children cumulated memory: 136432 KiB


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

/proc/8367/statm: 40832 35000 875 493 0 34137 0
Current children cumulated CPU time: 1662.03 s
Current children cumulated vsize: 163328 KiB
Current children cumulated memory: 140000 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 8622
/proc/meminfo: memFree=30529256/32770624 swapFree=66970176/67108860
[pid=8367] ppid=8364 vsize=163328 memory=140000 CPUtime=1722.02 cores=0,2,4,6
/proc/8367/stat : 8367 (cosoco) R 8364 8367 5549 0 -1 4202496 112667 0 0 0 172192 10 0 0 20 0 1 0 434700309 167247872 35000 33554432000 4194304 6211092 140731686422320 140731686420280 5380267 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35205120 140731686429707 140731686429809 140731686429809 140731686432718 0
/proc/8367/statm: 40832 35000 875 493 0 34137 0
Current children cumulated CPU time: 1722.02 s
Current children cumulated vsize: 163328 KiB
Current children cumulated memory: 140000 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 8626
/proc/meminfo: memFree=30529944/32770624 swapFree=66970176/67108860
[pid=8367] ppid=8364 vsize=163328 memory=140000 CPUtime=1782.02 cores=0,2,4,6
/proc/8367/stat : 8367 (cosoco) R 8364 8367 5549 0 -1 4202496 112797 0 0 0 178192 10 0 0 20 0 1 0 434700309 167247872 35000 33554432000 4194304 6211092 140731686422320 140731686420280 5156465 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35205120 140731686429707 140731686429809 140731686429809 140731686432718 0
/proc/8367/statm: 40832 35000 875 493 0 34137 0
Current children cumulated CPU time: 1782.02 s
Current children cumulated vsize: 163328 KiB
Current children cumulated memory: 140000 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 8634
/proc/meminfo: memFree=30529616/32770624 swapFree=66970176/67108860
[pid=8367] ppid=8364 vsize=163328 memory=140000 CPUtime=1842.02 cores=0,2,4,6
/proc/8367/stat : 8367 (cosoco) R 8364 8367 5549 0 -1 4202496 112957 0 0 0 184192 10 0 0 20 0 1 0 434700309 167247872 35000 33554432000 4194304 6211092 140731686422320 140731686420280 5250450 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35205120 140731686429707 140731686429809 140731686429809 140731686432718 0
/proc/8367/statm: 40832 35000 875 493 0 34137 0
Current children cumulated CPU time: 1842.02 s
Current children cumulated vsize: 163328 KiB
Current children cumulated memory: 140000 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 8638
/proc/meminfo: memFree=30529964/32770624 swapFree=66970176/67108860
[pid=8367] ppid=8364 vsize=163328 memory=140000 CPUtime=1902.02 cores=0,2,4,6
/proc/8367/stat : 8367 (cosoco) R 8364 8367 5549 0 -1 4202496 113072 0 0 0 190192 10 0 0 20 0 1 0 434700309 167247872 35000 33554432000 4194304 6211092 140731686422320 140731686420280 5250272 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35205120 140731686429707 140731686429809 140731686429809 140731686432718 0
/proc/8367/statm: 40832 35000 875 493 0 34137 0
Current children cumulated CPU time: 1902.02 s
Current children cumulated vsize: 163328 KiB
Current children cumulated memory: 140000 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 8642
/proc/meminfo: memFree=30529352/32770624 swapFree=66970176/67108860
[pid=8367] ppid=8364 vsize=163328 memory=140000 CPUtime=1962.02 cores=0,2,4,6
/proc/8367/stat : 8367 (cosoco) R 8364 8367 5549 0 -1 4202496 113185 0 0 0 196192 10 0 0 20 0 1 0 434700309 167247872 35000 33554432000 4194304 6211092 140731686422320 140731686420280 5409453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35205120 140731686429707 140731686429809 140731686429809 140731686432718 0
/proc/8367/statm: 40832 35000 875 493 0 34137 0
Current children cumulated CPU time: 1962.02 s
Current children cumulated vsize: 163328 KiB
Current children cumulated memory: 140000 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 8649
/proc/meminfo: memFree=30528772/32770624 swapFree=66970176/67108860
[pid=8367] ppid=8364 vsize=163328 memory=140000 CPUtime=2022.02 cores=0,2,4,6
/proc/8367/stat : 8367 (cosoco) R 8364 8367 5549 0 -1 4202496 113340 0 0 0 202192 10 0 0 20 0 1 0 434700309 167247872 35000 33554432000 4194304 6211092 140731686422320 140731686420280 5156465 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35205120 140731686429707 140731686429809 140731686429809 140731686432718 0
/proc/8367/statm: 40832 35000 875 493 0 34137 0
Current children cumulated CPU time: 2022.02 s
Current children cumulated vsize: 163328 KiB
Current children cumulated memory: 140000 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 8653
/proc/meminfo: memFree=30529524/32770624 swapFree=66970176/67108860
[pid=8367] ppid=8364 vsize=163328 memory=140000 CPUtime=2082.01 cores=0,2,4,6
/proc/8367/stat : 8367 (cosoco) R 8364 8367 5549 0 -1 4202496 113447 0 0 0 208191 10 0 0 20 0 1 0 434700309 167247872 35000 33554432000 4194304 6211092 140731686422320 140731686420280 5409453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35205120 140731686429707 140731686429809 140731686429809 140731686432718 0
/proc/8367/statm: 40832 35000 875 493 0 34137 0
Current children cumulated CPU time: 2082.01 s
Current children cumulated vsize: 163328 KiB
Current children cumulated memory: 140000 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 8664
/proc/meminfo: memFree=30528432/32770624 swapFree=66970180/67108860
[pid=8367] ppid=8364 vsize=163328 memory=140000 CPUtime=2142.01 cores=0,2,4,6
/proc/8367/stat : 8367 (cosoco) R 8364 8367 5549 0 -1 4202496 113612 0 0 0 214191 10 0 0 20 0 1 0 434700309 167247872 35000 33554432000 4194304 6211092 140731686422320 140731686420280 5250289 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35205120 140731686429707 140731686429809 140731686429809 140731686432718 0
/proc/8367/statm: 40832 35000 875 493 0 34137 0
Current children cumulated CPU time: 2142.01 s
Current children cumulated vsize: 163328 KiB
Current children cumulated memory: 140000 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 8670
/proc/meminfo: memFree=30529384/32770624 swapFree=66970180/67108860
[pid=8367] ppid=8364 vsize=163328 memory=140000 CPUtime=2202.01 cores=0,2,4,6
/proc/8367/stat : 8367 (cosoco) R 8364 8367 5549 0 -1 4202496 113720 0 0 0 220191 10 0 0 20 0 1 0 434700309 167247872 35000 33554432000 4194304 6211092 140731686422320 140731686420280 5409453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35205120 140731686429707 140731686429809 140731686429809 140731686432718 0
/proc/8367/statm: 40832 35000 875 493 0 34137 0
Current children cumulated CPU time: 2202.01 s
Current children cumulated vsize: 163328 KiB
Current children cumulated memory: 140000 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 8674
/proc/meminfo: memFree=30529748/32770624 swapFree=66970180/67108860
[pid=8367] ppid=8364 vsize=163328 memory=140000 CPUtime=2262.01 cores=0,2,4,6
/proc/8367/stat : 8367 (cosoco) R 8364 8367 5549 0 -1 4202496 113826 0 0 0 226191 10 0 0 20 0 1 0 434700309 167247872 35000 33554432000 4194304 6211092 140731686422320 140731686420280 5250251 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35205120 140731686429707 140731686429809 140731686429809 140731686432718 0
/proc/8367/statm: 40832 35000 875 493 0 34137 0
Current children cumulated CPU time: 2262.01 s
Current children cumulated vsize: 163328 KiB
Current children cumulated memory: 140000 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 8679
/proc/meminfo: memFree=30529772/32770624 swapFree=66970180/67108860
[pid=8367] ppid=8364 vsize=163328 memory=140000 CPUtime=2322.01 cores=0,2,4,6
/proc/8367/stat : 8367 (cosoco) R 8364 8367 5549 0 -1 4202496 113933 0 0 0 232191 10 0 0 20 0 1 0 434700309 167247872 35000 33554432000 4194304 6211092 140731686422320 140731686420280 5380256 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35205120 140731686429707 140731686429809 140731686429809 140731686432718 0
/proc/8367/statm: 40832 35000 875 493 0 34137 0
Current children cumulated CPU time: 2322.01 s
Current children cumulated vsize: 163328 KiB
Current children cumulated memory: 140000 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 8685
/proc/meminfo: memFree=30529464/32770624 swapFree=66970180/67108860
[pid=8367] ppid=8364 vsize=163328 memory=140000 CPUtime=2382.01 cores=0,2,4,6
/proc/8367/stat : 8367 (cosoco) R 8364 8367 5549 0 -1 4202496 114089 0 0 0 238191 10 0 0 20 0 1 0 434700309 167247872 35000 33554432000 4194304 6211092 140731686422320 140731686420280 5155345 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35205120 140731686429707 140731686429809 140731686429809 140731686432718 0
/proc/8367/statm: 40832 35000 875 493 0 34137 0
Current children cumulated CPU time: 2382.01 s
Current children cumulated vsize: 163328 KiB
Current children cumulated memory: 140000 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 8685
/proc/meminfo: memFree=30529840/32770624 swapFree=66970180/67108860
[pid=8367] ppid=8364 vsize=163328 memory=140000 CPUtime=2400 cores=0,2,4,6
/proc/8367/stat : 8367 (cosoco) R 8364 8367 5549 0 -1 4202496 114191 0 0 0 239990 10 0 0 20 0 1 0 434700309 167247872 35000 33554432000 4194304 6211092 140731686422320 140731686420280 5157412 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35205120 140731686429707 140731686429809 140731686429809 140731686432718 0
/proc/8367/statm: 40832 35000 875 493 0 34137 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 163328 KiB
Current children cumulated memory: 140000 KiB

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

[startup+2400.3 s]
# the end of solver process 8367 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.91 s, system=0.108989 s

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

[startup+2400.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 8685
/proc/meminfo: memFree=30529840/32770624 swapFree=66970180/67108860
[pid=8367] ppid=8364 vsize=163328 memory=140000 CPUtime=2400 cores=0,2,4,6
/proc/8367/stat : 8367 (cosoco) R 8364 8367 5549 0 -1 4202496 114191 0 0 0 239990 10 0 0 20 0 1 0 434700309 167247872 35000 33554432000 4194304 6211092 140731686422320 140731686420280 5157412 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35205120 140731686429707 140731686429809 140731686429809 140731686432718 0
/proc/8367/statm: 40832 35000 875 493 0 34137 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 163328 KiB
Current children cumulated memory: 140000 KiB

Child status: 1
Real time (s): 2400.3
CPU time (s): 2400.02
CPU user time (s): 2399.91
CPU system time (s): 0.108989
CPU usage (%): 99.9882
Max. virtual memory (cumulated for all children) (KiB): 163328
Max. memory (cumulated for all children) (KiB): 140000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.91
system time used= 0.108989
maximum resident set size= 140064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114242
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= 76
involuntary context switches= 2013


# summary of solver processes directly reported to runsolver:
#   pid: 8367
#   total CPU time (s): 2400.02
#   total CPU user time (s): 2399.91
#   total CPU system time (s): 0.108989

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.66011 second user time and 16.985 second system time

The end

Launcher Data 

Begin job on node135 at 2019-09-15 23:54:27
IDJOB=4397300
IDBENCH=134823
IDSOLVER=2849
FILE ID=node135/4397300-1568584508
RUNJOBID= node135-1568572744-5580
PBS_JOBID= 21703319
Free space on /tmp= 61368 MiB

SOLVER NAME= cosoco 2.0
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-4397300-1568584508/watcher-4397300-1568584508 -o /tmp/evaluation-result-4397300-1568584508/solver-4397300-1568584508 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568572744-5580 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4397300-1568584508.xml

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

MD5SUM BENCH= 330870ed9e83d00984bc877f52c977b4
RANDOM SEED=914558954

node135.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.76
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.76
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.76
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.76
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:        30667952 kB
MemAvailable:   31852616 kB
Buffers:          187624 kB
Cached:          1275520 kB
SwapCached:        33200 kB
Active:           593324 kB
Inactive:         909716 kB
Active(anon):      13716 kB
Inactive(anon):    69436 kB
Active(file):     579608 kB
Inactive(file):   840280 kB
Unevictable:      109480 kB
Mlocked:          109480 kB
SwapTotal:      67108860 kB
SwapFree:       66970156 kB
Dirty:              3140 kB
Writeback:             0 kB
AnonPages:        116708 kB
Mapped:            42632 kB
Shmem:             34256 kB
Slab:             192320 kB
SReclaimable:     161224 kB
SUnreclaim:        31096 kB
KernelStack:        3616 kB
PageTables:         5696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     537708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61364 MiB
End job on node135 at 2019-09-16 00:34:28