Trace number 4389364

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 2? (TO) 2519.75 2520.01

General information on the benchmark

NameXCSP19/ConsecutiveSquarePacking/
ConsecutiveSquarePacking-sp-17-042.xml
MD5SUM30a2df13e8a589268a4af4fb67fb8cf0
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark9.93882
Satisfiable
(Un)Satisfiability was proved
Number of variables34
Number of constraints136
Number of domains17
Minimum domain size26
Maximum domain size42
Distribution of domain sizes[{"size":26,"count":2},{"size":27,"count":2},{"size":28,"count":2},{"size":29,"count":2},{"size":30,"count":2},{"size":31,"count":2},{"size":32,"count":2},{"size":33,"count":2},{"size":34,"count":2},{"size":35,"count":2},{"size":36,"count":2},{"size":37,"count":2},{"size":38,"count":2},{"size":39,"count":2},{"size":40,"count":2},{"size":41,"count":2},{"size":42,"count":2}]
Minimum variable degree16
Maximum variable degree16
Distribution of variable degrees[{"degree":16,"count":34}]
Minimum constraint arity4
Maximum constraint arity4
Distribution of constraint arities[{"arity":4,"count":136}]
Number of extensional constraints0
Number of intensional constraints136
Distribution of constraint types[{"type":"intension","count":136}]
Optimization problemNO
Type of objective

Solver Data 

0.10/0.17	c root propagations     : 0           
0.10/0.17	c restarts enabled, print stats at every restarts
0.10/0.17	c
0.10/0.17	c
0.10/0.17	c
0.10/0.17	c This is cosoco 2.00 --  
0.10/0.17	c
0.10/0.17	c command line: cosoco -lc -model -restarts -stick HOME/instance-4389364-1568360650.xml 
0.10/0.17	c ========================================[ Problem Statistics ]===========================================
0.10/0.17	c |                                                                                                       
0.10/0.17	c |  Parse time        :         0.16 s 
0.10/0.17	c |
0.10/0.17	c |               Variables: 34
0.10/0.17	c |            Domain Sizes: 26..42
0.10/0.17	c |
0.10/0.17	c |             Constraints: 136
0.10/0.17	c |                   Arity: 4..4
0.10/0.17	c | 
0.10/0.17	c |                   Types: 
0.10/0.17	c |                          Intension: 136
0.10/0.17	c |                          
0.10/0.17	c =========================================================================================================
0.10/0.17	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.60/0.62	c 101            131            4473           3974           0              0              5   9   8      
0.89/1.00	c 211            273            9511           7947           0              0              6   19   10    
1.19/1.27	c 332            427            14477          12766          0              0              10   19   17   
1.39/1.44	c 465            583            19275          16244          0              0              13   23   19   
1.69/1.77	c 611            763            25169          20837          0              0              11   16   13   
2.69/2.77	c 771            960            36690          27378          0              0              6   18   15    
3.29/3.38	c 947            1190           45301          33783          0              0              11   15   14   
3.69/3.77	c 1140           1410           52484          39977          0              0              5   9   8      
4.19/4.28	c 1352           1648           60115          44230          0              0              8   8   7      
4.49/4.57	c 1585           1911           68435          51368          0              0              8   23   20    
4.89/4.95	c 1841           2199           77960          58943          0              0              14   16   15   
5.29/5.39	c 2122           2515           88253          67513          0              0              16   18   16   
5.99/6.07	c 2431           2905           101080         80689          0              0              16   19   18   
6.49/6.55	c 2770           3291           113287         91259          0              0              17   21   20   
7.29/7.33	c 3142           3730           128458         100672         0              0              11   16   13   
7.79/7.82	c 3551           4180           143089         113592         0              0              12   18   17   
8.69/8.75	c 4000           4691           161253         127688         0              0              15   18   16   
9.89/9.93	c 4493           5402           183775         149591         0              0              11   17   15   
10.49/10.55	c 5035           5990           202843         166536         0              0              15   18   17   
12.29/12.32	c 5631           6823           229935         192697         0              0              13   18   15   
13.29/13.30	c 6286           7547           252698         214322         0              0              13   17   15   
15.59/15.68	c 7006           8586           285178         241576         0              0              6   12   11    
17.29/17.31	c 7798           9463           313369         266858         0              0              7   12   9     
20.29/20.37	c 8669           10477          346802         291906         0              0              7   11   9     
22.69/22.75	c 9627           11554          382247         311387         0              0              8   8   7      
26.19/26.28	c 10680          12753          421892         336814         0              0              6   9   7      
28.89/28.98	c 11838          14089          465644         369156         0              0              7   9   8      
31.89/31.97	c 13111          15520          512121         410707         0              0              7   9   8      
34.99/35.02	c 14511          17076          563095         447603         0              0              6   16   12    
51.88/51.96	c 16051          18890          694847         565863         0              0              7   13   9     
56.09/56.14	c 17745          20782          757375         615502         0              0              8   13   11    
65.58/65.65	c 19608          23202          865852         728658         0              0              7   13   11    
85.58/85.66	c 21657          25479          1042667        903233         0              0              7   9   8      
89.68/89.78	c 23910          27989          1124558        969969         0              0              9   13   11    
108.28/108.32	c 26388          30944          1292497        1143985        0              0              7   13   10    
116.98/117.05	c 29113          34569          1408576        1250131        0              0              9   11   10    
123.38/123.45	c 32110          37946          1534871        1360267        0              0              7   16   13    
129.38/129.45	c 35406          41641          1653220        1448609        0              0              9   16   13    
156.77/156.89	c 39031          45777          1941896        1707145        0              0              7   13   9     
163.57/163.67	c 43018          50115          2096044        1838605        0              0              8   23   17    
173.77/173.83	c 47403          55057          2282584        2004360        0              0              9   18   13    
181.47/181.54	c 52226          60322          2455163        2152401        0              0              9   23   18    
193.47/193.58	c 57531          66317          2673645        2332363        0              0              9   23   15    
204.37/204.42	c 63366          72767          2875594        2522648        0              0              7   23   18    
215.08/215.17	c 69784          79835          3107008        2737934        0              0              11   23   17   
225.47/225.57	c 76843          87356          3341548        2964339        0              0              15   23   21   
237.86/237.99	c 84607          95621          3605593        3202992        0              0              15   19   17   
256.76/256.88	c 93147          105817         3936644        3490584        0              0              10   16   13   
284.56/284.64	c 102541         118038         4344454        3870990        0              0              8   13   12    
314.26/314.34	c 112874         130092         4732826        4219113        0              0              8   18   14    
342.75/342.87	c 124240         143595         5175204        4547923        0              0              8   23   14    
360.55/360.67	c 136742         157137         5600721        4943251        0              0              12   23   19   
382.45/382.52	c 150494         172093         6081308        5378960        0              0              12   23   18   
407.05/407.17	c 165621         188120         6589635        5828515        0              0              12   21   18   
446.64/446.78	c 182260         209005         7269584        6436281        0              0              11   17   15   
472.74/472.80	c 200562         228694         7894414        6983855        0              0              9   23   18    
518.13/518.29	c 220694         251112         8619180        7604521        0              0              8   17   13    
557.13/557.25	c 242839         276224         9450938        8185925        0              0              6   15   10    
650.52/650.67	c 267198         307160         10474504       9008927        0              0              7   11   10    
703.02/703.14	c 293992         336746         11495918       9849855        0              0              6   19   14    
750.81/750.96	c 323465         369666         12586594       10705057       0              0              7   15   11    
901.59/901.75	c 355885         410399         13975899       11809112       0              0              4   9   8      
1050.88/1051.07	c 391547         453201         15786163       13300510       0              0              6   15   10    
1126.27/1126.43	c 430775         497688         17243509       14610677       0              0              6   19   13    
1201.16/1201.30	c 473925         545606         18826850       16043738       0              0              7   22   17    
1322.55/1322.72	c 521390         603237         20747822       17646939       0              0              7   15   11    
1407.54/1407.78	c 573601         659469         22605007       19283677       0              0              6   23   17    
1565.52/1565.74	c 631033         727337         25144820       21487847       0              0              6   16   11    
1704.31/1704.51	c 694208         800812         27557770       23283032       0              0              7   21   12    
1788.70/1788.91	c 763700         874582         29893572       25265669       0              0              8   21   18    
2020.97/2021.21	c 840141         964993         32942504       27801306       0              0              7   21   14    
2150.07/2150.35	c 924226         1055470        35852677       30316551       0              0              8   21   17    
2338.75/2339.10	c 1016719        1159788        39338808       32898472       0              0              7   19   15    
2519.73/2520.00	
2519.73/2520.00	c *** INTERRUPTED ***
2519.73/2520.00	c restarts              : 73          
2519.73/2520.00	c conflicts             : 1074302      (426 /sec)
2519.73/2520.00	c decisions             : 1227695      (487 /sec)
2519.73/2520.00	c propagations          : 35048013    (13909 /sec)
2519.73/2520.00	c root propagations     : 0           
2519.73/2520.00	c filter calls          : 41739071       (16565 /sec)
2519.73/2520.00	c useless filter calls  : 38331590       (91 %)
2519.73/2520.00	c Memory used           : 31.91 MB
2519.73/2520.00	c CPU time              : 2519.73 s
2519.73/2520.00	c real time             : 2520.01 s
2519.73/2520.00	
2519.73/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 (9191 MiB free)
  memory of node 1: 16384 MiB (15366 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389364-1568360650/watcher-4389364-1568360650 -o /tmp/evaluation-result-4389364-1568360650/solver-4389364-1568360650 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568353911-32408 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389364-1568360650.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=348, runsolver pid=345
Current StackSize limit: 8192 KiB


[startup+0.100406 s]*
/proc/loadavg: 2.00 2.02 2.18 3/200 349
/proc/meminfo: memFree=25142684/32770624 swapFree=66977616/67108860
[pid=348] ppid=345 vsize=30208 memory=6552 CPUtime=0.1 cores=0,2,4,6
/proc/348/stat : 348 (cosoco) R 345 348 32139 0 -1 4202496 1822 0 0 0 10 0 0 0 20 0 1 0 412322233 30932992 1638 33554432000 4194304 6210612 140730414735120 140730414726456 139662784592869 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39325696 140730414740491 140730414740593 140730414740593 140730414743502 0
/proc/348/statm: 7552 1638 821 493 0 857 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30208 KiB
Current children cumulated memory: 6552 KiB

[startup+0.209495 s]*
/proc/loadavg: 2.00 2.02 2.18 3/200 349
/proc/meminfo: memFree=25137252/32770624 swapFree=66977616/67108860
[pid=348] ppid=345 vsize=32276 memory=8752 CPUtime=0.2 cores=0,2,4,6
/proc/348/stat : 348 (cosoco) R 345 348 32139 0 -1 4202496 2363 0 0 0 20 0 0 0 20 0 1 0 412322233 33050624 2188 33554432000 4194304 6210612 140730414735120 140730414726456 139662794537853 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39325696 140730414740491 140730414740593 140730414740593 140730414743502 0
/proc/348/statm: 8069 2188 854 493 0 1374 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 32276 KiB
Current children cumulated memory: 8752 KiB

[startup+0.309296 s]*
/proc/loadavg: 2.00 2.02 2.18 3/200 349
/proc/meminfo: memFree=25133532/32770624 swapFree=66977616/67108860
[pid=348] ppid=345 vsize=32276 memory=8752 CPUtime=0.3 cores=0,2,4,6
/proc/348/stat : 348 (cosoco) R 345 348 32139 0 -1 4202496 2380 0 0 0 30 0 0 0 20 0 1 0 412322233 33050624 2188 33554432000 4194304 6210612 140730414735120 140730414726456 5478268 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39325696 140730414740491 140730414740593 140730414740593 140730414743502 0
/proc/348/statm: 8069 2188 854 493 0 1374 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 32276 KiB
Current children cumulated memory: 8752 KiB

[startup+0.700333 s]
/proc/loadavg: 2.00 2.02 2.18 3/200 349
/proc/meminfo: memFree=25127804/32770624 swapFree=66977616/67108860
[pid=348] ppid=345 vsize=32408 memory=8752 CPUtime=0.69 cores=0,2,4,6
/proc/348/stat : 348 (cosoco) R 345 348 32139 0 -1 4202496 2390 0 0 0 69 0 0 0 20 0 1 0 412322233 33185792 2188 33554432000 4194304 6210612 140730414735120 140730414733384 5476700 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39325696 140730414740491 140730414740593 140730414740593 140730414743502 0
/proc/348/statm: 8102 2188 854 493 0 1407 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32408 KiB
Current children cumulated memory: 8752 KiB

[startup+1.50034 s]
/proc/loadavg: 2.00 2.02 2.18 3/200 349
/proc/meminfo: memFree=25127060/32770624 swapFree=66977616/67108860
[pid=348] ppid=345 vsize=32540 memory=9016 CPUtime=1.49 cores=0,2,4,6
/proc/348/stat : 348 (cosoco) R 345 348 32139 0 -1 4202496 2440 0 0 0 149 0 0 0 20 0 1 0 412322233 33320960 2254 33554432000 4194304 6210612 140730414735120 140730414733080 5442940 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39325696 140730414740491 140730414740593 140730414740593 140730414743502 0
/proc/348/statm: 8135 2254 860 493 0 1440 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 32540 KiB
Current children cumulated memory: 9016 KiB

[startup+3.10927 s]
/proc/loadavg: 2.00 2.02 2.18 3/200 349
/proc/meminfo: memFree=25126648/32770624 swapFree=66977616/67108860
[pid=348] ppid=345 vsize=32540 memory=9160 CPUtime=3.1 cores=0,2,4,6
/proc/348/stat : 348 (cosoco) R 345 348 32139 0 -1 4202496 3578 0 0 0 310 0 0 0 20 0 1 0 412322233 33320960 2290 33554432000 4194304 6210612 140730414735120 140730414733080 5446115 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39325696 140730414740491 140730414740593 140730414740593 140730414743502 0
/proc/348/statm: 8135 2290 860 493 0 1440 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 32540 KiB
Current children cumulated memory: 9160 KiB

[startup+6.30034 s]
/proc/loadavg: 2.00 2.02 2.18 3/200 349
/proc/meminfo: memFree=25124416/32770624 swapFree=66977616/67108860
[pid=348] ppid=345 vsize=32672 memory=9172 CPUtime=6.29 cores=0,2,4,6
/proc/348/stat : 348 (cosoco) R 345 348 32139 0 -1 4202496 4801 0 0 0 629 0 0 0 20 0 1 0 412322233 33456128 2293 33554432000 4194304 6210612 140730414735120 140730414733080 5445951 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39325696 140730414740491 140730414740593 140730414740593 140730414743502 0
/proc/348/statm: 8168 2293 860 493 0 1473 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9172 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.18 3/200 349
/proc/meminfo: memFree=25125120/32770624 swapFree=66977616/67108860
[pid=348] ppid=345 vsize=32672 memory=9184 CPUtime=12.69 cores=0,2,4,6
/proc/348/stat : 348 (cosoco) R 345 348 32139 0 -1 4202496 5105 0 0 0 1269 0 0 0 20 0 1 0 412322233 33456128 2296 33554432000 4194304 6210612 140730414735120 140730414733080 5451350 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39325696 140730414740491 140730414740593 140730414740593 140730414743502 0
/proc/348/statm: 8168 2296 860 493 0 1473 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9184 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 2.18 3/200 349
/proc/meminfo: memFree=25125708/32770624 swapFree=66977616/67108860
[pid=348] ppid=345 vsize=32672 memory=9212 CPUtime=25.49 cores=0,2,4,6
/proc/348/stat : 348 (cosoco) R 345 348 32139 0 -1 4202496 5585 0 0 0 2549 0 0 0 20 0 1 0 412322233 33456128 2303 33554432000 4194304 6210612 140730414735120 140730414733080 5446104 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39325696 140730414740491 140730414740593 140730414740593 140730414743502 0
/proc/348/statm: 8168 2303 860 493 0 1473 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9212 KiB

[startup+51.1092 s]
/proc/loadavg: 2.00 2.02 2.17 3/200 351
/proc/meminfo: memFree=25124748/32770624 swapFree=66977616/67108860
[pid=348] ppid=345 vsize=32672 memory=9216 CPUtime=51.09 cores=0,2,4,6
/proc/348/stat : 348 (cosoco) R 345 348 32139 0 -1 4202496 5917 0 0 0 5109 0 0 0 20 0 1 0 412322233 33456128 2304 33554432000 4194304 6210612 140730414735120 140730414733080 5478246 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39325696 140730414740491 140730414740593 140730414740593 140730414743502 0
/proc/348/statm: 8168 2304 860 493 0 1473 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9216 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.16 3/198 355
/proc/meminfo: memFree=25125000/32770624 swapFree=66977616/67108860
[pid=348] ppid=345 vsize=32672 memory=9220 CPUtime=102.28 cores=0,2,4,6
/proc/348/stat : 348 (cosoco) R 345 348 32139 0 -1 4202496 6205 0 0 0 10228 0 0 0 20 0 1 0 412322233 33456128 2305 33554432000 4194304 6210612 140730414735120 140730414733080 5455493 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39325696 140730414740491 140730414740593 140730414740593 140730414743502 0
/proc/348/statm: 8168 2305 860 493 0 1473 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9220 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.15 3/199 360
/proc/meminfo: memFree=25124476/32770624 swapFree=66977616/67108860
[pid=348] ppid=345 vsize=32672 memory=9228 CPUtime=162.27 cores=0,2,4,6
/proc/348/stat : 348 (cosoco) R 345 348 32139 0 -1 4202496 6530 0 0 0 16227 0 0 0 20 0 1 0 412322233 33456128 2307 33554432000 4194304 6210612 140730414735120 140730414733080 139662794537792 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39325696 140730414740491 140730414740593 140730414740593 140730414743502 0
/proc/348/statm: 8168 2307 860 493 0 1473 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9228 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.14 3/199 366
/proc/meminfo: memFree=25123952/32770624 swapFree=66977616/67108860
[pid=348] ppid=345 vsize=32672 memory=9236 CPUtime=222.27 cores=0,2,4,6
/proc/348/stat : 348 (cosoco) R 345 348 32139 0 -1 4202496 6871 0 0 0 22227 0 0 0 20 0 1 0 412322233 33456128 2309 33554432000 4194304 6210612 140730414735120 140730414733080 5446488 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39325696 140730414740491 140730414740593 140730414740593 140730414743502 0
/proc/348/statm: 8168 2309 860 493 0 1473 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9236 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.13 3/199 370
/proc/meminfo: memFree=25123604/32770624 swapFree=66977616/67108860
[pid=348] ppid=345 vsize=32672 memory=9248 CPUtime=282.26 cores=0,2,4,6
/proc/348/stat : 348 (cosoco) R 345 348 32139 0 -1 4202496 7183 0 0 0 28226 0 0 0 20 0 1 0 412322233 33456128 2312 33554432000 4194304 6210612 140730414735120 140730414733080 5452066 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39325696 140730414740491 140730414740593 140730414740593 140730414743502 0
/proc/348/statm: 8168 2312 860 493 0 1473 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9248 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.13 3/199 374
/proc/meminfo: memFree=25122752/32770624 swapFree=66977616/67108860
[pid=348] ppid=345 vsize=32672 memory=9252 CPUtime=342.25 cores=0,2,4,6
/proc/348/stat : 348 (cosoco) R 345 348 32139 0 -1 4202496 7518 0 0 0 34225 0 0 0 20 0 1 0 412322233 33456128 2313 33554432000 4194304 6210612 140730414735120 140730414733080 5446483 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39325696 140730414740491 140730414740593 140730414740593 140730414743502 0
/proc/348/statm: 8168 2313 860 493 0 1473 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9252 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.12 3/200 388
/proc/meminfo: memFree=25122676/32770624 swapFree=66977616/67108860
[pid=348] ppid=345 vsize=32672 memory=9252 CPUtime=402.25 cores=0,2,4,6
/proc/348/stat : 348 (cosoco) R 345 348 32139 0 -1 4202496 7851 0 0 0 40225 0 0 0 20 0 1 0 412322233 33456128 2313 33554432000 4194304 6210612 140730414735120 140730414733080 5446454 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39325696 140730414740491 140730414740593 140730414740593 140730414743502 0
/proc/348/statm: 8168 2313 860 493 0 1473 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9252 KiB

[startup+462.3 s]
/proc/loadavg: 2.07 2.03 2.12 3/199 392
/proc/meminfo: memFree=25123300/32770624 swapFree=66977616/67108860
[pid=348] ppid=345 vsize=32672 memory=9256 CPUtime=462.24 cores=0,2,4,6
/proc/348/stat : 348 (cosoco) R 345 348 32139 0 -1 4202496 8181 0 0 0 46224 0 0 0 20 0 1 0 412322233 33456128 2314 33554432000 4194304 6210612 140730414735120 140730414733080 5446037 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39325696 140730414740491 140730414740593 140730414740593 140730414743502 0
/proc/348/statm: 8168 2314 860 493 0 1473 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9256 KiB


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

/proc/348/statm: 8168 2315 860 493 0 1473 0
Current children cumulated CPU time: 1722.1 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9260 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 545
/proc/meminfo: memFree=25122196/32770624 swapFree=66977616/67108860
[pid=348] ppid=345 vsize=32672 memory=9260 CPUtime=1782.1 cores=0,2,4,6
/proc/348/stat : 348 (cosoco) R 345 348 32139 0 -1 4202496 14402 0 0 0 178210 0 0 0 20 0 1 0 412322233 33456128 2315 33554432000 4194304 6210612 140730414735120 140730414733080 5065619 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39325696 140730414740491 140730414740593 140730414740593 140730414743502 0
/proc/348/statm: 8168 2315 860 493 0 1473 0
Current children cumulated CPU time: 1782.1 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9260 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 553
/proc/meminfo: memFree=25121928/32770624 swapFree=66977616/67108860
[pid=348] ppid=345 vsize=32672 memory=9260 CPUtime=1842.09 cores=0,2,4,6
/proc/348/stat : 348 (cosoco) R 345 348 32139 0 -1 4202496 14784 0 0 0 184209 0 0 0 20 0 1 0 412322233 33456128 2315 33554432000 4194304 6210612 140730414735120 140730414733080 5442936 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39325696 140730414740491 140730414740593 140730414740593 140730414743502 0
/proc/348/statm: 8168 2315 860 493 0 1473 0
Current children cumulated CPU time: 1842.09 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9260 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/198 557
/proc/meminfo: memFree=25122712/32770624 swapFree=66977616/67108860
[pid=348] ppid=345 vsize=32672 memory=9260 CPUtime=1902.09 cores=0,2,4,6
/proc/348/stat : 348 (cosoco) R 345 348 32139 0 -1 4202496 15063 0 0 0 190209 0 0 0 20 0 1 0 412322233 33456128 2315 33554432000 4194304 6210612 140730414735120 140730414733080 5442890 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39325696 140730414740491 140730414740593 140730414740593 140730414743502 0
/proc/348/statm: 8168 2315 860 493 0 1473 0
Current children cumulated CPU time: 1902.09 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9260 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 561
/proc/meminfo: memFree=25122000/32770624 swapFree=66977616/67108860
[pid=348] ppid=345 vsize=32672 memory=9264 CPUtime=1962.08 cores=0,2,4,6
/proc/348/stat : 348 (cosoco) R 345 348 32139 0 -1 4202496 15356 0 0 0 196208 0 0 0 20 0 1 0 412322233 33456128 2316 33554432000 4194304 6210612 140730414735120 140730414733080 139662785519018 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39325696 140730414740491 140730414740593 140730414740593 140730414743502 0
/proc/348/statm: 8168 2316 860 493 0 1473 0
Current children cumulated CPU time: 1962.08 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9264 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 569
/proc/meminfo: memFree=25122080/32770624 swapFree=66977616/67108860
[pid=348] ppid=345 vsize=32672 memory=9264 CPUtime=2022.07 cores=0,2,4,6
/proc/348/stat : 348 (cosoco) R 345 348 32139 0 -1 4202496 15678 0 0 0 202207 0 0 0 20 0 1 0 412322233 33456128 2316 33554432000 4194304 6210612 140730414735120 140730414733080 5454023 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39325696 140730414740491 140730414740593 140730414740593 140730414743502 0
/proc/348/statm: 8168 2316 860 493 0 1473 0
Current children cumulated CPU time: 2022.07 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9264 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 575
/proc/meminfo: memFree=25121832/32770624 swapFree=66977616/67108860
[pid=348] ppid=345 vsize=32672 memory=9264 CPUtime=2082.07 cores=0,2,4,6
/proc/348/stat : 348 (cosoco) R 345 348 32139 0 -1 4202496 15979 0 0 0 208207 0 0 0 20 0 1 0 412322233 33456128 2316 33554432000 4194304 6210612 140730414735120 140730414733080 5440511 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39325696 140730414740491 140730414740593 140730414740593 140730414743502 0
/proc/348/statm: 8168 2316 860 493 0 1473 0
Current children cumulated CPU time: 2082.07 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9264 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 582
/proc/meminfo: memFree=25122220/32770624 swapFree=66977616/67108860
[pid=348] ppid=345 vsize=32672 memory=9264 CPUtime=2142.07 cores=0,2,4,6
/proc/348/stat : 348 (cosoco) R 345 348 32139 0 -1 4202496 16284 0 0 0 214206 1 0 0 20 0 1 0 412322233 33456128 2316 33554432000 4194304 6210612 140730414735120 140730414733080 5451322 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39325696 140730414740491 140730414740593 140730414740593 140730414743502 0
/proc/348/statm: 8168 2316 860 493 0 1473 0
Current children cumulated CPU time: 2142.07 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9264 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 610
/proc/meminfo: memFree=25123340/32770624 swapFree=66977616/67108860
[pid=348] ppid=345 vsize=32672 memory=9264 CPUtime=2202.06 cores=0,2,4,6
/proc/348/stat : 348 (cosoco) R 345 348 32139 0 -1 4202496 16599 0 0 0 220205 1 0 0 20 0 1 0 412322233 33456128 2316 33554432000 4194304 6210612 140730414735120 140730414733080 5068914 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39325696 140730414740491 140730414740593 140730414740593 140730414743502 0
/proc/348/statm: 8168 2316 860 493 0 1473 0
Current children cumulated CPU time: 2202.06 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9264 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 615
/proc/meminfo: memFree=25122124/32770624 swapFree=66977616/67108860
[pid=348] ppid=345 vsize=32672 memory=9264 CPUtime=2262.06 cores=0,2,4,6
/proc/348/stat : 348 (cosoco) R 345 348 32139 0 -1 4202496 16864 0 0 0 226205 1 0 0 20 0 1 0 412322233 33456128 2316 33554432000 4194304 6210612 140730414735120 140730414733080 5446465 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39325696 140730414740491 140730414740593 140730414740593 140730414743502 0
/proc/348/statm: 8168 2316 860 493 0 1473 0
Current children cumulated CPU time: 2262.06 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9264 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 619
/proc/meminfo: memFree=25122048/32770624 swapFree=66977616/67108860
[pid=348] ppid=345 vsize=32672 memory=9264 CPUtime=2322.05 cores=0,2,4,6
/proc/348/stat : 348 (cosoco) R 345 348 32139 0 -1 4202496 17164 0 0 0 232204 1 0 0 20 0 1 0 412322233 33456128 2316 33554432000 4194304 6210612 140730414735120 140730414733080 5009295 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39325696 140730414740491 140730414740593 140730414740593 140730414743502 0
/proc/348/statm: 8168 2316 860 493 0 1473 0
Current children cumulated CPU time: 2322.05 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9264 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 625
/proc/meminfo: memFree=25121168/32770624 swapFree=66977616/67108860
[pid=348] ppid=345 vsize=32672 memory=9264 CPUtime=2382.04 cores=0,2,4,6
/proc/348/stat : 348 (cosoco) R 345 348 32139 0 -1 4202496 17445 0 0 0 238203 1 0 0 20 0 1 0 412322233 33456128 2316 33554432000 4194304 6210612 140730414735120 140730414733080 5440645 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39325696 140730414740491 140730414740593 140730414740593 140730414743502 0
/proc/348/statm: 8168 2316 860 493 0 1473 0
Current children cumulated CPU time: 2382.04 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9264 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 631
/proc/meminfo: memFree=25121228/32770624 swapFree=66977616/67108860
[pid=348] ppid=345 vsize=32672 memory=9264 CPUtime=2442.04 cores=0,2,4,6
/proc/348/stat : 348 (cosoco) R 345 348 32139 0 -1 4202496 17680 0 0 0 244203 1 0 0 20 0 1 0 412322233 33456128 2316 33554432000 4194304 6210612 140730414735120 140730414733080 5445951 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39325696 140730414740491 140730414740593 140730414740593 140730414743502 0
/proc/348/statm: 8168 2316 860 493 0 1473 0
Current children cumulated CPU time: 2442.04 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9264 KiB

[startup+2502.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/198 635
/proc/meminfo: memFree=25121928/32770624 swapFree=66977616/67108860
[pid=348] ppid=345 vsize=32672 memory=9264 CPUtime=2502.03 cores=0,2,4,6
/proc/348/stat : 348 (cosoco) R 345 348 32139 0 -1 4202496 17932 0 0 0 250202 1 0 0 20 0 1 0 412322233 33456128 2316 33554432000 4194304 6210612 140730414735120 140730414733080 5442936 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39325696 140730414740491 140730414740593 140730414740593 140730414743502 0
/proc/348/statm: 8168 2316 860 493 0 1473 0
Current children cumulated CPU time: 2502.03 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9264 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.04 2.03 2.05 2/196 638
/proc/meminfo: memFree=25140124/32770624 swapFree=66977616/67108860
[pid=348] ppid=345 vsize=32672 memory=9264 CPUtime=2519.73 cores=0,2,4,6
/proc/348/stat : 348 (cosoco) R 345 348 32139 0 -1 4202496 18166 0 0 0 251972 1 0 0 20 0 1 0 412322233 33456128 2316 33554432000 4194304 6210612 140730414735120 140730414733080 139662794537866 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39325696 140730414740491 140730414740593 140730414740593 140730414743502 0
/proc/348/statm: 8168 2316 860 493 0 1473 0
Current children cumulated CPU time: 2519.73 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9264 KiB

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

[startup+2520.01 s]
# the end of solver process 348 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.73 s, system=0.013998 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.75
CPU user time (s): 2519.73
CPU system time (s): 0.013998
CPU usage (%): 99.9895
Max. virtual memory (cumulated for all children) (KiB): 32672
Max. memory (cumulated for all children) (KiB): 9264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.73
system time used= 0.013998
maximum resident set size= 9332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18215
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= 8
involuntary context switches= 3172


# summary of solver processes directly reported to runsolver:
#   pid: 348
#   total CPU time (s): 2519.75
#   total CPU user time (s): 2519.73
#   total CPU system time (s): 0.013998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.29597 second user time and 17.2753 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-13 08:33:53
IDJOB=4389364
IDBENCH=141744
IDSOLVER=2829
FILE ID=node104/4389364-1568360650
RUNJOBID= node104-1568353911-32408
PBS_JOBID= 21701190
Free space on /tmp= 56572 MiB

SOLVER NAME= cosoco 2
BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-17-042.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389364-1568360650/watcher-4389364-1568360650 -o /tmp/evaluation-result-4389364-1568360650/solver-4389364-1568360650 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568353911-32408 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4389364-1568360650.xml

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

MD5SUM BENCH= 30a2df13e8a589268a4af4fb67fb8cf0
RANDOM SEED=956428861

node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25148948 kB
MemAvailable:   31829968 kB
Buffers:          146372 kB
Cached:          6748012 kB
SwapCached:        31860 kB
Active:          1768612 kB
Inactive:        5162420 kB
Active(anon):       3540 kB
Inactive(anon):    74540 kB
Active(file):    1765072 kB
Inactive(file):  5087880 kB
Unevictable:      107788 kB
Mlocked:          107788 kB
SwapTotal:      67108860 kB
SwapFree:       66977616 kB
Dirty:              5512 kB
Writeback:             0 kB
AnonPages:        114380 kB
Mapped:            43644 kB
Shmem:             32780 kB
Slab:             286328 kB
SReclaimable:     256528 kB
SUnreclaim:        29800 kB
KernelStack:        3440 kB
PageTables:         5720 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     527460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 56568 MiB
End job on node104 at 2019-09-13 09:15:53