Trace number 4408102

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) 2519.77 2520.01

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-spba/
Pb-BeauxArts-K67.xml
MD5SUM4516aa109e121890953f360029c48088
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 benchmark91.3846
Satisfiable
(Un)Satisfiability was proved
Number of variables3685
Number of constraints3821
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":3685}]
Minimum variable degree3
Maximum variable degree9
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":127},{"degree":5,"count":550},{"degree":6,"count":1960},{"degree":7,"count":590},{"degree":8,"count":327},{"degree":9,"count":130}]
Minimum constraint arity1
Maximum constraint arity67
Distribution of constraint arities[{"arity":1,"count":2},{"arity":2,"count":660},{"arity":3,"count":1914},{"arity":4,"count":594},{"arity":5,"count":330},{"arity":6,"count":132},{"arity":55,"count":134},{"arity":67,"count":55}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":3821}]
Optimization problemNO
Type of objective

Solver Data 

0.30/0.41	c root propagations     : 455         
0.30/0.41	c restarts enabled, print stats at every restarts
0.30/0.41	c
0.30/0.41	c
0.30/0.41	c
0.30/0.41	c This is cosoco 2.00 --  
0.30/0.41	c
0.30/0.41	c command line: cosoco -lc -model -restarts -stick HOME/instance-4408102-1569803788.xml 
0.30/0.41	c ========================================[ Problem Statistics ]===========================================
0.30/0.41	c |                                                                                                       
0.30/0.41	c |  Parse time        :         0.34 s 
0.30/0.41	c |
0.30/0.41	c |               Variables: 3685
0.30/0.41	c |            Domain Sizes: 2..2
0.30/0.41	c |
0.30/0.41	c |             Constraints: 3821
0.30/0.41	c |                   Arity: 1..67  -- Unary: 2  -- Binary: 660  -- Ternary: 1914
0.30/0.41	c | 
0.30/0.41	c |                   Types: 
0.30/0.41	c |                          Sum: 3821
0.30/0.41	c |                          
0.30/0.41	c =========================================================================================================
0.30/0.41	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
1.19/1.20	c 101            7730           459395         160449         455            0              668   3349   2366
1.89/1.92	c 211            20580          769411         284069         455            0              395   1199   693
2.49/2.51	c 332            26017          1097121        423696         455            0              510   881   782
3.00/3.09	c 465            33383          1374189        516396         455            0              400   852   682
3.59/3.68	c 611            39818          1687814        642708         455            0              481   867   641
4.29/4.33	c 771            44263          2041123        773441         455            0              329   525   382
5.49/5.53	c 947            52123          2737275        1034903        455            0              140   1105   772
6.29/6.36	c 1140           57741          3243185        1231516        455            0              337   386   364
7.79/7.81	c 1352           76995          3937802        1523845        455            0              295   1022   602
9.69/9.71	c 1585           84853          5104099        1935706        455            0              332   480   409
10.79/10.84	c 1841           101081         5625451        2138160        455            0              304   710   540
12.10/12.18	c 2122           112339         6367668        2432076        455            0              330   588   457
14.69/14.76	c 2431           123706         7861315        2915531        455            0              338   437   389
15.88/15.91	c 2770           132635         8511795        3148682        455            0              311   401   365
17.18/17.26	c 3142           141554         9287186        3430288        455            0              256   386   315
18.78/18.80	c 3551           150965         10169522       3727554        455            0              263   397   310
20.09/20.14	c 4000           162849         10868887       3994277        455            0              212   401   304
21.58/21.63	c 4493           175215         11655534       4292807        455            0              228   303   262
24.00/24.08	c 5035           201006         12932199       4835028        455            0              191   621   524
27.19/27.24	c 5631           222535         14641333       5363429        455            0              329   517   461
30.39/30.48	c 6286           265638         16080803       5878559        455            0              285   523   454
32.19/32.21	c 7006           285444         16950561       6238960        455            0              238   471   359
36.79/36.80	c 7798           336978         19246786       7270957        455            0              143   817   574
39.89/39.99	c 8669           378046         20868233       7960024        455            0              380   691   544
42.58/42.62	c 9627           415250         22195187       8464150        455            0              494   809   713
45.69/45.76	c 10680          456506         23900949       9119151        455            0              551   1181   662
51.29/51.30	c 11838          501484         27390333       10372577       455            0              462   683   572
60.59/60.62	c 13111          591133         32265619       12303799       455            0              428   855   643
69.49/69.57	c 14511          665845         37188096       14250406       455            0              495   767   678
74.28/74.30	c 16051          740774         39413975       15226366       455            0              580   905   798
81.48/81.55	c 17745          867267         42416970       16625159       455            0              561   959   809
88.28/88.34	c 19608          959942         45644410       18002989       455            0              347   730   627
95.28/95.39	c 21657          1050973        49294756       19553502       455            0              462   779   617
105.27/105.35	c 23910          1182038        54270505       21410810       455            0              435   892   617
114.16/114.29	c 26388          1318083        58908123       23223909       455            0              433   1244   637
124.46/124.57	c 29113          1479268        64065137       25464129       455            0              519   1194   749
137.25/137.34	c 32110          1604771        71473277       28287817       455            0              490   705   618
150.74/150.82	c 35406          1787070        78556006       31060578       455            0              495   978   713
168.34/168.46	c 39031          1977527        88368888       34633560       455            0              450   816   680
182.14/182.29	c 43018          2129823        95687982       37483834       455            0              305   736   541
194.63/194.71	c 47403          2297033        102700620      40201184       455            0              489   743   601
206.53/206.63	c 52226          2485550        108998208      42627390       455            0              393   625   555
226.83/226.92	c 57531          2758046        120106635      46885143       455            0              429   990   628
252.23/252.31	c 63366          3034699        134676742      51971316       455            0              372   831   614
274.63/274.72	c 69784          3290309        148124919      57150081       455            0              396   706   614
301.93/302.04	c 76843          3712206        161820247      63358536       455            0              534   1102   869
327.03/327.18	c 84607          4119411        173888683      68499588       455            0              325   1128   696
375.12/375.20	c 93147          4918221        196999120      78756011       455            0              431   1233   846
445.81/445.90	c 102541         5771562        235272945      93341060       455            0              538   1319   871
514.82/515.00	c 112874         6611585        273882102      108555106      455            0              618   1277   930
576.51/576.65	c 124240         7442273        307848673      122171366      455            0              565   1230   980
632.10/632.24	c 136742         8170615        338203577      134248290      455            0              652   1203   981
719.50/719.63	c 150494         9043913        388013501      154855657      455            0              579   1248   930
794.09/794.28	c 165621         10286277       426608370      171171033      455            0              709   1916   1115
866.48/866.68	c 182260         11779990       459922684      185510668      455            0              681   1742   1112
952.08/952.28	c 200562         13176542       504711099      203349937      455            0              790   1688   1194
1047.07/1047.25	c 220694         14340528       558051809      223474973      455            0              784   1871   1062
1139.16/1139.34	c 242839         16175261       604310572      242196258      455            0              938   1711   1329
1266.15/1266.35	c 267198         17934353       673834652      272757489      455            0              842   1541   1211
1410.24/1410.49	c 293992         20183259       751001153      301446564      455            0              963   1716   1308
1591.82/1592.04	c 323465         22619123       849095051      336959165      455            0              805   1734   1223
1733.31/1733.57	c 355885         24849599       924811111      367849962      455            0              722   1539   1274
1907.00/1907.26	c 391547         27494223       1016895141     403680000      455            0              690   1662   1236
2087.68/2087.93	c 430775         29925753       1118412520     445685421      455            0              828   1518   1198
2266.97/2267.27	c 473925         32595240       1213767132     482096938      455            0              797   1436   1084
2471.25/2471.58	c 521390         35765150       1320868971     527946360      455            0              685   1238   1068
2519.75/2520.00	
2519.75/2520.00	c *** INTERRUPTED ***
2519.75/2520.00	c restarts              : 66          
2519.75/2520.00	c conflicts             : 531010       (211 /sec)
2519.75/2520.00	c decisions             : 36464388     (14472 /sec)
2519.75/2520.00	c propagations          : 537684357   (213396 /sec)
2519.75/2520.00	c root propagations     : 455         
2519.75/2520.00	c filter calls          : 1346328778     (534329 /sec)
2519.75/2520.00	c useless filter calls  : 1181440122     (87 %)
2519.75/2520.00	c Memory used           : 123.82 MB
2519.75/2520.00	c CPU time              : 2519.66 s
2519.75/2520.00	c real time             : 2520 s
2519.75/2520.00	
2519.75/2520.00	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 (15224 MiB free)
  memory of node 1: 16384 MiB (15053 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408102-1569803788/watcher-4408102-1569803788 -o /tmp/evaluation-result-4408102-1569803788/solver-4408102-1569803788 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1569787350-1892 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408102-1569803788.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=5703, runsolver pid=5700
Current StackSize limit: 8192 KiB


[startup+0.100203 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 5704
/proc/meminfo: memFree=30991380/32770624 swapFree=66993544/67108860
[pid=5703] ppid=5700 vsize=41724 memory=17984 CPUtime=0.09 cores=0,2,4,6
/proc/5703/stat : 5703 (cosoco) R 5700 5703 1861 0 -1 4202496 4715 0 0 0 9 0 0 0 20 0 1 0 556641274 42725376 4496 33554432000 4194304 6211132 140726076442528 140726076439064 140609625711269 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38703104 140726076449803 140726076449905 140726076449905 140726076452814 0
/proc/5703/statm: 10431 4496 837 493 0 3736 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41724 KiB
Current children cumulated memory: 17984 KiB

[startup+0.209925 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 5704
/proc/meminfo: memFree=30977616/32770624 swapFree=66993544/67108860
[pid=5703] ppid=5700 vsize=56880 memory=33136 CPUtime=0.21 cores=0,2,4,6
/proc/5703/stat : 5703 (cosoco) R 5700 5703 1861 0 -1 4202496 8506 0 0 0 20 1 0 0 20 0 1 0 556641274 58245120 8284 33554432000 4194304 6211132 140726076442528 140726076439064 140609615772645 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38703104 140726076449803 140726076449905 140726076449905 140726076452814 0
/proc/5703/statm: 14220 8284 837 493 0 7525 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 56880 KiB
Current children cumulated memory: 33136 KiB

[startup+0.309687 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 5704
/proc/meminfo: memFree=30956288/32770624 swapFree=66993544/67108860
[pid=5703] ppid=5700 vsize=78936 memory=55320 CPUtime=0.3 cores=0,2,4,6
/proc/5703/stat : 5703 (cosoco) R 5700 5703 1861 0 -1 4202496 14022 0 0 0 28 2 0 0 20 0 1 0 556641274 80830464 13830 33554432000 4194304 6211132 140726076442528 140726076439064 140609615772645 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38703104 140726076449803 140726076449905 140726076449905 140726076452814 0
/proc/5703/statm: 19734 13830 837 493 0 13039 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 78936 KiB
Current children cumulated memory: 55320 KiB

[startup+0.700398 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5704
/proc/meminfo: memFree=30937440/32770624 swapFree=66993544/67108860
[pid=5703] ppid=5700 vsize=121684 memory=97924 CPUtime=0.69 cores=0,2,4,6
/proc/5703/stat : 5703 (cosoco) R 5700 5703 1861 0 -1 4202496 24657 0 0 0 64 5 0 0 20 0 1 0 556641274 124604416 24481 33554432000 4194304 6211132 140726076442528 140726076439064 5250283 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38703104 140726076449803 140726076449905 140726076449905 140726076452814 0
/proc/5703/statm: 30421 24481 874 493 0 23726 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 121684 KiB
Current children cumulated memory: 97924 KiB

[startup+1.50036 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5704
/proc/meminfo: memFree=30911480/32770624 swapFree=66993544/67108860
[pid=5703] ppid=5700 vsize=121824 memory=97924 CPUtime=1.49 cores=0,2,4,6
/proc/5703/stat : 5703 (cosoco) R 5700 5703 1861 0 -1 4202496 24698 0 0 0 144 5 0 0 20 0 1 0 556641274 124747776 24481 33554432000 4194304 6211132 140726076442528 140726076439960 5155380 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38703104 140726076449803 140726076449905 140726076449905 140726076452814 0
/proc/5703/statm: 30456 24481 874 493 0 23761 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 121824 KiB
Current children cumulated memory: 97924 KiB

[startup+3.1097 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5704
/proc/meminfo: memFree=30911268/32770624 swapFree=66993544/67108860
[pid=5703] ppid=5700 vsize=121824 memory=98144 CPUtime=3.1 cores=0,2,4,6
/proc/5703/stat : 5703 (cosoco) R 5700 5703 1861 0 -1 4202496 34436 0 0 0 305 5 0 0 20 0 1 0 556641274 124747776 24536 33554432000 4194304 6211132 140726076442528 140726076440488 5156288 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38703104 140726076449803 140726076449905 140726076449905 140726076452814 0
/proc/5703/statm: 30456 24536 875 493 0 23761 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 121824 KiB
Current children cumulated memory: 98144 KiB

[startup+6.30035 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5704
/proc/meminfo: memFree=30910416/32770624 swapFree=66993544/67108860
[pid=5703] ppid=5700 vsize=122088 memory=98340 CPUtime=6.29 cores=0,2,4,6
/proc/5703/stat : 5703 (cosoco) R 5700 5703 1861 0 -1 4202496 44982 0 0 0 624 5 0 0 20 0 1 0 556641274 125018112 24585 33554432000 4194304 6211132 140726076442528 140726076440488 5156288 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38703104 140726076449803 140726076449905 140726076449905 140726076452814 0
/proc/5703/statm: 30522 24585 875 493 0 23827 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 122088 KiB
Current children cumulated memory: 98340 KiB

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5704
/proc/meminfo: memFree=30910664/32770624 swapFree=66993544/67108860
[pid=5703] ppid=5700 vsize=122088 memory=98344 CPUtime=12.69 cores=0,2,4,6
/proc/5703/stat : 5703 (cosoco) R 5700 5703 1861 0 -1 4202496 54887 0 0 0 1263 6 0 0 20 0 1 0 556641274 125018112 24586 33554432000 4194304 6211132 140726076442528 140726076440488 5157506 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38703104 140726076449803 140726076449905 140726076449905 140726076452814 0
/proc/5703/statm: 30522 24586 875 493 0 23827 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 122088 KiB
Current children cumulated memory: 98344 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5704
/proc/meminfo: memFree=30910756/32770624 swapFree=66993544/67108860
[pid=5703] ppid=5700 vsize=122088 memory=98344 CPUtime=25.49 cores=0,2,4,6
/proc/5703/stat : 5703 (cosoco) R 5700 5703 1861 0 -1 4202496 72845 0 0 0 2542 7 0 0 20 0 1 0 556641274 125018112 24586 33554432000 4194304 6211132 140726076442528 140726076440488 5156288 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38703104 140726076449803 140726076449905 140726076449905 140726076452814 0
/proc/5703/statm: 30522 24586 875 493 0 23827 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 122088 KiB
Current children cumulated memory: 98344 KiB

[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5707
/proc/meminfo: memFree=30910572/32770624 swapFree=66993544/67108860
[pid=5703] ppid=5700 vsize=122220 memory=98504 CPUtime=51.1 cores=0,2,4,6
/proc/5703/stat : 5703 (cosoco) R 5700 5703 1861 0 -1 4202496 84203 0 0 0 5102 8 0 0 20 0 1 0 556641274 125153280 24626 33554432000 4194304 6211132 140726076442528 140726076440488 5155377 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38703104 140726076449803 140726076449905 140726076449905 140726076452814 0
/proc/5703/statm: 30555 24626 875 493 0 23860 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 122220 KiB
Current children cumulated memory: 98504 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5710
/proc/meminfo: memFree=30909284/32770624 swapFree=66993544/67108860
[pid=5703] ppid=5700 vsize=122220 memory=98508 CPUtime=102.27 cores=0,2,4,6
/proc/5703/stat : 5703 (cosoco) R 5700 5703 1861 0 -1 4202496 94992 0 0 0 10219 8 0 0 20 0 1 0 556641274 125153280 24627 33554432000 4194304 6211132 140726076442528 140726076440488 5155377 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38703104 140726076449803 140726076449905 140726076449905 140726076452814 0
/proc/5703/statm: 30555 24627 875 493 0 23860 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 122220 KiB
Current children cumulated memory: 98508 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5715
/proc/meminfo: memFree=30910152/32770624 swapFree=66993544/67108860
[pid=5703] ppid=5700 vsize=122620 memory=99272 CPUtime=162.24 cores=0,2,4,6
/proc/5703/stat : 5703 (cosoco) R 5700 5703 1861 0 -1 4202496 101954 0 0 0 16216 8 0 0 20 0 1 0 556641274 125562880 24818 33554432000 4194304 6211132 140726076442528 140726076440488 5409456 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38703104 140726076449803 140726076449905 140726076449905 140726076452814 0
/proc/5703/statm: 30655 24818 875 493 0 23960 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 122620 KiB
Current children cumulated memory: 99272 KiB

[startup+222.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/200 5720
/proc/meminfo: memFree=30910104/32770624 swapFree=66993544/67108860
[pid=5703] ppid=5700 vsize=122620 memory=99272 CPUtime=222.23 cores=0,2,4,6
/proc/5703/stat : 5703 (cosoco) R 5700 5703 1861 0 -1 4202496 102191 0 0 0 22215 8 0 0 20 0 1 0 556641274 125562880 24818 33554432000 4194304 6211132 140726076442528 140726076440488 5250283 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38703104 140726076449803 140726076449905 140726076449905 140726076452814 0
/proc/5703/statm: 30655 24818 875 493 0 23960 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 122620 KiB
Current children cumulated memory: 99272 KiB

[startup+282.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/201 5734
/proc/meminfo: memFree=30907888/32770624 swapFree=66993544/67108860
[pid=5703] ppid=5700 vsize=122888 memory=99360 CPUtime=282.23 cores=0,2,4,6
/proc/5703/stat : 5703 (cosoco) R 5700 5703 1861 0 -1 4202496 102500 0 0 0 28215 8 0 0 20 0 1 0 556641274 125837312 24840 33554432000 4194304 6211132 140726076442528 140726076439960 5250499 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38703104 140726076449803 140726076449905 140726076449905 140726076452814 0
/proc/5703/statm: 30722 24840 875 493 0 24027 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 122888 KiB
Current children cumulated memory: 99360 KiB

[startup+342.3 s]
/proc/loadavg: 2.42 2.15 2.09 3/201 5738
/proc/meminfo: memFree=30907444/32770624 swapFree=66993544/67108860
[pid=5703] ppid=5700 vsize=123284 memory=99904 CPUtime=342.22 cores=0,2,4,6
/proc/5703/stat : 5703 (cosoco) R 5700 5703 1861 0 -1 4202496 102928 0 0 0 34214 8 0 0 20 0 1 0 556641274 126242816 24976 33554432000 4194304 6211132 140726076442528 140726076440488 5155377 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38703104 140726076449803 140726076449905 140726076449905 140726076452814 0
/proc/5703/statm: 30821 24976 875 493 0 24126 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 123284 KiB
Current children cumulated memory: 99904 KiB

[startup+402.3 s]
/proc/loadavg: 2.15 2.13 2.08 3/201 5742
/proc/meminfo: memFree=30907444/32770624 swapFree=66993544/67108860
[pid=5703] ppid=5700 vsize=123420 memory=100060 CPUtime=402.22 cores=0,2,4,6
/proc/5703/stat : 5703 (cosoco) R 5700 5703 1861 0 -1 4202496 103344 0 0 0 40214 8 0 0 20 0 1 0 556641274 126382080 25015 33554432000 4194304 6211132 140726076442528 140726076440488 5409485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38703104 140726076449803 140726076449905 140726076449905 140726076452814 0
/proc/5703/statm: 30855 25015 875 493 0 24160 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 123420 KiB
Current children cumulated memory: 100060 KiB

[startup+462.3 s]
/proc/loadavg: 2.11 2.12 2.08 3/200 5748
/proc/meminfo: memFree=30906720/32770624 swapFree=66993544/67108860
[pid=5703] ppid=5700 vsize=123556 memory=100152 CPUtime=462.21 cores=0,2,4,6
/proc/5703/stat : 5703 (cosoco) R 5700 5703 1861 0 -1 4202496 103756 0 0 0 46213 8 0 0 20 0 1 0 556641274 126521344 25038 33554432000 4194304 6211132 140726076442528 140726076440488 5155752 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38703104 140726076449803 140726076449905 140726076449905 140726076452814 0
/proc/5703/statm: 30889 25038 875 493 0 24194 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 123556 KiB
Current children cumulated memory: 100152 KiB


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

/proc/5703/statm: 31629 25801 875 493 0 24934 0
Current children cumulated CPU time: 1722.11 s
Current children cumulated vsize: 126516 KiB
Current children cumulated memory: 103204 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5951
/proc/meminfo: memFree=30884128/32770624 swapFree=66993544/67108860
[pid=5703] ppid=5700 vsize=126516 memory=103204 CPUtime=1782.11 cores=0,2,4,6
/proc/5703/stat : 5703 (cosoco) R 5700 5703 1861 0 -1 4202496 111821 0 0 0 178201 10 0 0 20 0 1 0 556641274 129552384 25801 33554432000 4194304 6211132 140726076442528 140726076440488 5397486 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38703104 140726076449803 140726076449905 140726076449905 140726076452814 0
/proc/5703/statm: 31629 25801 875 493 0 24934 0
Current children cumulated CPU time: 1782.11 s
Current children cumulated vsize: 126516 KiB
Current children cumulated memory: 103204 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5955
/proc/meminfo: memFree=30884244/32770624 swapFree=66993544/67108860
[pid=5703] ppid=5700 vsize=126652 memory=103276 CPUtime=1842.1 cores=0,2,4,6
/proc/5703/stat : 5703 (cosoco) R 5700 5703 1861 0 -1 4202496 112032 0 0 0 184200 10 0 0 20 0 1 0 556641274 129691648 25819 33554432000 4194304 6211132 140726076442528 140726076440120 5155373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38703104 140726076449803 140726076449905 140726076449905 140726076452814 0
/proc/5703/statm: 31663 25819 875 493 0 24968 0
Current children cumulated CPU time: 1842.1 s
Current children cumulated vsize: 126652 KiB
Current children cumulated memory: 103276 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5961
/proc/meminfo: memFree=30884488/32770624 swapFree=66993544/67108860
[pid=5703] ppid=5700 vsize=126652 memory=103296 CPUtime=1902.1 cores=0,2,4,6
/proc/5703/stat : 5703 (cosoco) R 5700 5703 1861 0 -1 4202496 112209 0 0 0 190200 10 0 0 20 0 1 0 556641274 129691648 25824 33554432000 4194304 6211132 140726076442528 140726076440120 5250304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38703104 140726076449803 140726076449905 140726076449905 140726076452814 0
/proc/5703/statm: 31663 25824 875 493 0 24968 0
Current children cumulated CPU time: 1902.1 s
Current children cumulated vsize: 126652 KiB
Current children cumulated memory: 103296 KiB

[startup+1962.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/200 5965
/proc/meminfo: memFree=30884684/32770624 swapFree=66993544/67108860
[pid=5703] ppid=5700 vsize=126784 memory=103352 CPUtime=1962.1 cores=0,2,4,6
/proc/5703/stat : 5703 (cosoco) R 5700 5703 1861 0 -1 4202496 112453 0 0 0 196200 10 0 0 20 0 1 0 556641274 129826816 25838 33554432000 4194304 6211132 140726076442528 140726076439960 5409485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38703104 140726076449803 140726076449905 140726076449905 140726076452814 0
/proc/5703/statm: 31696 25838 875 493 0 25001 0
Current children cumulated CPU time: 1962.1 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103352 KiB

[startup+2022.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/200 5969
/proc/meminfo: memFree=30884188/32770624 swapFree=66993544/67108860
[pid=5703] ppid=5700 vsize=126784 memory=103392 CPUtime=2022.09 cores=0,2,4,6
/proc/5703/stat : 5703 (cosoco) R 5700 5703 1861 0 -1 4202496 112654 0 0 0 202199 10 0 0 20 0 1 0 556641274 129826816 25848 33554432000 4194304 6211132 140726076442528 140726076439960 5155549 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38703104 140726076449803 140726076449905 140726076449905 140726076452814 0
/proc/5703/statm: 31696 25848 875 493 0 25001 0
Current children cumulated CPU time: 2022.09 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103392 KiB

[startup+2082.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/200 5980
/proc/meminfo: memFree=30885032/32770624 swapFree=66993544/67108860
[pid=5703] ppid=5700 vsize=126784 memory=103392 CPUtime=2082.08 cores=0,2,4,6
/proc/5703/stat : 5703 (cosoco) R 5700 5703 1861 0 -1 4202496 112852 0 0 0 208198 10 0 0 20 0 1 0 556641274 129826816 25848 33554432000 4194304 6211132 140726076442528 140726076439960 5156885 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38703104 140726076449803 140726076449905 140726076449905 140726076452814 0
/proc/5703/statm: 31696 25848 875 493 0 25001 0
Current children cumulated CPU time: 2082.08 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103392 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 5984
/proc/meminfo: memFree=30884916/32770624 swapFree=66993544/67108860
[pid=5703] ppid=5700 vsize=126784 memory=103408 CPUtime=2142.08 cores=0,2,4,6
/proc/5703/stat : 5703 (cosoco) R 5700 5703 1861 0 -1 4202496 113084 0 0 0 214198 10 0 0 20 0 1 0 556641274 129826816 25852 33554432000 4194304 6211132 140726076442528 140726076440488 5409485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38703104 140726076449803 140726076449905 140726076449905 140726076452814 0
/proc/5703/statm: 31696 25852 875 493 0 25001 0
Current children cumulated CPU time: 2142.08 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103408 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 5988
/proc/meminfo: memFree=30884608/32770624 swapFree=66993544/67108860
[pid=5703] ppid=5700 vsize=126784 memory=103408 CPUtime=2202.07 cores=0,2,4,6
/proc/5703/stat : 5703 (cosoco) R 5700 5703 1861 0 -1 4202496 113268 0 0 0 220197 10 0 0 20 0 1 0 556641274 129826816 25852 33554432000 4194304 6211132 140726076442528 140726076440488 5155369 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38703104 140726076449803 140726076449905 140726076449905 140726076452814 0
/proc/5703/statm: 31696 25852 875 493 0 25001 0
Current children cumulated CPU time: 2202.07 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103408 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 5994
/proc/meminfo: memFree=30884540/32770624 swapFree=66993544/67108860
[pid=5703] ppid=5700 vsize=126784 memory=103408 CPUtime=2262.07 cores=0,2,4,6
/proc/5703/stat : 5703 (cosoco) R 5700 5703 1861 0 -1 4202496 113448 0 0 0 226197 10 0 0 20 0 1 0 556641274 129826816 25852 33554432000 4194304 6211132 140726076442528 140726076440488 5250304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38703104 140726076449803 140726076449905 140726076449905 140726076452814 0
/proc/5703/statm: 31696 25852 875 493 0 25001 0
Current children cumulated CPU time: 2262.07 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103408 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5998
/proc/meminfo: memFree=30884604/32770624 swapFree=66993544/67108860
[pid=5703] ppid=5700 vsize=126784 memory=103408 CPUtime=2322.06 cores=0,2,4,6
/proc/5703/stat : 5703 (cosoco) R 5700 5703 1861 0 -1 4202496 113708 0 0 0 232196 10 0 0 20 0 1 0 556641274 129826816 25852 33554432000 4194304 6211132 140726076442528 140726076440488 5409485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38703104 140726076449803 140726076449905 140726076449905 140726076452814 0
/proc/5703/statm: 31696 25852 875 493 0 25001 0
Current children cumulated CPU time: 2322.06 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103408 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6002
/proc/meminfo: memFree=30884324/32770624 swapFree=66993544/67108860
[pid=5703] ppid=5700 vsize=126784 memory=103408 CPUtime=2382.06 cores=0,2,4,6
/proc/5703/stat : 5703 (cosoco) R 5700 5703 1861 0 -1 4202496 113890 0 0 0 238196 10 0 0 20 0 1 0 556641274 129826816 25852 33554432000 4194304 6211132 140726076442528 140726076440488 5409508 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38703104 140726076449803 140726076449905 140726076449905 140726076452814 0
/proc/5703/statm: 31696 25852 875 493 0 25001 0
Current children cumulated CPU time: 2382.06 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103408 KiB

[startup+2442.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/200 6008
/proc/meminfo: memFree=30884448/32770624 swapFree=66993544/67108860
[pid=5703] ppid=5700 vsize=126784 memory=103408 CPUtime=2442.05 cores=0,2,4,6
/proc/5703/stat : 5703 (cosoco) R 5700 5703 1861 0 -1 4202496 114079 0 0 0 244195 10 0 0 20 0 1 0 556641274 129826816 25852 33554432000 4194304 6211132 140726076442528 140726076440488 5397258 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38703104 140726076449803 140726076449905 140726076449905 140726076452814 0
/proc/5703/statm: 31696 25852 875 493 0 25001 0
Current children cumulated CPU time: 2442.05 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103408 KiB

[startup+2502.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/200 6012
/proc/meminfo: memFree=30884432/32770624 swapFree=66993544/67108860
[pid=5703] ppid=5700 vsize=126784 memory=103408 CPUtime=2502.05 cores=0,2,4,6
/proc/5703/stat : 5703 (cosoco) R 5700 5703 1861 0 -1 4202496 114326 0 0 0 250195 10 0 0 20 0 1 0 556641274 129826816 25852 33554432000 4194304 6211132 140726076442528 140726076440488 5156288 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38703104 140726076449803 140726076449905 140726076449905 140726076452814 0
/proc/5703/statm: 31696 25852 875 493 0 25001 0
Current children cumulated CPU time: 2502.05 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103408 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.02 2.02 2.05 3/201 6015
/proc/meminfo: memFree=30884224/32770624 swapFree=66993544/67108860
[pid=5703] ppid=5700 vsize=126784 memory=103408 CPUtime=2519.75 cores=0,2,4,6
/proc/5703/stat : 5703 (cosoco) R 5700 5703 1861 0 -1 4202496 114522 0 0 0 251965 10 0 0 20 0 1 0 556641274 129826816 25852 33554432000 4194304 6211132 140726076442528 140726076440488 5155687 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38703104 140726076449803 140726076449905 140726076449905 140726076452814 0
/proc/5703/statm: 31696 25852 875 493 0 25001 0
Current children cumulated CPU time: 2519.75 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103408 KiB

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

[startup+2520.01 s]
# the end of solver process 5703 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.66 s, system=0.104991 s

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.77
CPU user time (s): 2519.66
CPU system time (s): 0.104991
CPU usage (%): 99.9903
Max. virtual memory (cumulated for all children) (KiB): 126784
Max. memory (cumulated for all children) (KiB): 103408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.66
system time used= 0.104991
maximum resident set size= 103472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114574
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= 60
involuntary context switches= 3156


# summary of solver processes directly reported to runsolver:
#   pid: 5703
#   total CPU time (s): 2519.77
#   total CPU user time (s): 2519.66
#   total CPU system time (s): 0.104991

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7267 second user time and 15.9552 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-30 02:35:44
IDJOB=4408102
IDBENCH=134822
IDSOLVER=2874
FILE ID=node121/4408102-1569803788
RUNJOBID= node121-1569787350-1892
PBS_JOBID= 21705831
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-spba/Pb-BeauxArts-K67.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408102-1569803788/watcher-4408102-1569803788 -o /tmp/evaluation-result-4408102-1569803788/solver-4408102-1569803788 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1569787350-1892 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4408102-1569803788.xml

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

MD5SUM BENCH= 4516aa109e121890953f360029c48088
RANDOM SEED=189498301

node121.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.75
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.75
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.75
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.75
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:        31005960 kB
MemAvailable:   31868336 kB
Buffers:          208296 kB
Cached:           977680 kB
SwapCached:         4540 kB
Active:           679656 kB
Inactive:         515724 kB
Active(anon):       3412 kB
Inactive(anon):    80912 kB
Active(file):     676244 kB
Inactive(file):   434812 kB
Unevictable:      109048 kB
Mlocked:          109048 kB
SwapTotal:      67108860 kB
SwapFree:       66993544 kB
Dirty:              2968 kB
Writeback:             0 kB
AnonPages:        114728 kB
Mapped:            28524 kB
Shmem:             66188 kB
Slab:             163832 kB
SReclaimable:     134312 kB
SUnreclaim:        29520 kB
KernelStack:        3504 kB
PageTables:         5412 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     569900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 62024 MiB
End job on node121 at 2019-09-30 03:17:44