Trace number 4097904

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
cdcl-cuttingplanes DEC 2016-05-01? (TO) 1800.03 1800.3

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_8.opb
MD5SUMfe151e39412ca279581ad7c1e85ba474
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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 benchmark14.8047
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5256
Total number of constraints25637
Number of constraints which are clauses25632
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint72
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 8
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 80
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c * #variable= 5256 #constraint= 25637
0.89/0.98	c #Conflicts:       1000 | #Learnt:        999 | 0.000
0.89/0.98	c total clause space: 29.637MB
0.89/0.98	c total #watches: 86154
2.69/2.75	c total #propagations: 1546803 / total #impl: 3984950 (eff. 0.388)
2.69/2.75	c #Conflicts:       2000 | #Learnt:       1999 | 0.001
2.69/2.75	c total clause space: 48.1602MB
2.69/2.75	c total #watches: 121330
6.09/6.16	c total #propagations: 3184121 / total #impl: 8359780 (eff. 0.381)
6.09/6.16	c GARBAGE COLLECT
6.09/6.16	c #Conflicts:       3000 | #Learnt:       1999 | 0.000
6.09/6.16	c total clause space: 48.1602MB
6.09/6.16	c total #watches: 144443
11.49/11.57	c total #propagations: 5062524 / total #impl: 13603175 (eff. 0.372)
11.49/11.57	c #Conflicts:       4000 | #Learnt:       2999 | 0.000
11.49/11.57	c total clause space: 78.2603MB
11.49/11.57	c total #watches: 179630
17.39/17.40	c total #propagations: 6653552 / total #impl: 18713905 (eff. 0.356)
17.39/17.40	c GARBAGE COLLECT
17.39/17.40	c #Conflicts:       5000 | #Learnt:       2355 | 0.000
17.39/17.40	c total clause space: 78.2603MB
17.39/17.40	c total #watches: 177892
28.88/28.95	c total #propagations: 7973204 / total #impl: 24473117 (eff. 0.326)
28.88/28.95	c #Conflicts:       6000 | #Learnt:       3355 | 0.000
28.88/28.95	c total clause space: 78.2603MB
28.88/28.95	c total #watches: 230196
40.89/40.98	c total #propagations: 9658352 / total #impl: 29712068 (eff. 0.325)
40.89/40.98	c GARBAGE COLLECT
40.89/40.98	c #Conflicts:       7000 | #Learnt:       2227 | 0.000
40.89/40.98	c total clause space: 127.173MB
40.89/40.98	c total #watches: 191901
48.28/48.34	c total #propagations: 10725659 / total #impl: 34839542 (eff. 0.308)
48.28/48.34	c #Conflicts:       8000 | #Learnt:       3227 | 0.000
48.28/48.34	c total clause space: 127.173MB
48.28/48.34	c total #watches: 226861
67.19/67.23	c total #propagations: 11518411 / total #impl: 38769397 (eff. 0.297)
67.19/67.23	c #Conflicts:       9000 | #Learnt:       4227 | 0.000
67.19/67.23	c total clause space: 127.173MB
67.19/67.23	c total #watches: 261889
82.18/82.26	c total #propagations: 12866648 / total #impl: 44040757 (eff. 0.292)
82.18/82.26	c GARBAGE COLLECT
82.18/82.26	c #Conflicts:      10000 | #Learnt:       2705 | 0.000
82.18/82.26	c total clause space: 127.173MB
82.18/82.26	c total #watches: 192592
95.88/95.92	c total #propagations: 14646518 / total #impl: 49047951 (eff. 0.299)
95.88/95.92	c #Conflicts:      11000 | #Learnt:       3705 | 0.000
95.88/95.92	c total clause space: 127.173MB
95.88/95.92	c total #watches: 228444
111.67/111.78	c total #propagations: 16232048 / total #impl: 56143141 (eff. 0.289)
111.67/111.78	c #Conflicts:      12000 | #Learnt:       4705 | 0.000
111.67/111.78	c total clause space: 127.173MB
111.67/111.78	c total #watches: 282626
137.87/137.90	c total #propagations: 17647816 / total #impl: 62254585 (eff. 0.283)
137.87/137.90	c #Conflicts:      13000 | #Learnt:       5705 | 0.000
137.87/137.90	c total clause space: 206.656MB
137.87/137.90	c total #watches: 320918
158.26/158.37	c total #propagations: 19328870 / total #impl: 70567171 (eff. 0.274)
158.26/158.37	c GARBAGE COLLECT
158.26/158.37	c #Conflicts:      14000 | #Learnt:       3846 | 0.000
158.26/158.37	c total clause space: 206.656MB
158.26/158.37	c total #watches: 268814
182.77/182.89	c total #propagations: 20814333 / total #impl: 80248409 (eff. 0.259)
182.77/182.89	c #Conflicts:      15000 | #Learnt:       4846 | 0.000
182.77/182.89	c total clause space: 206.656MB
182.77/182.89	c total #watches: 313579
197.56/197.63	c total #propagations: 22096668 / total #impl: 89229272 (eff. 0.248)
197.56/197.63	c #Conflicts:      16000 | #Learnt:       5846 | 0.000
197.56/197.63	c total clause space: 206.656MB
197.56/197.63	c total #watches: 351149
219.65/219.75	c total #propagations: 22939202 / total #impl: 95534428 (eff. 0.240)
219.65/219.75	c GARBAGE COLLECT
219.65/219.75	c #Conflicts:      17000 | #Learnt:       3672 | 0.000
219.65/219.75	c total clause space: 206.656MB
219.65/219.75	c total #watches: 276690
249.66/249.72	c total #propagations: 24029108 / total #impl: 103358423 (eff. 0.232)
249.66/249.72	c #Conflicts:      18000 | #Learnt:       4672 | 0.000
249.66/249.72	c total clause space: 206.656MB
249.66/249.72	c total #watches: 319994
266.45/266.59	c total #propagations: 25376452 / total #impl: 112457566 (eff. 0.226)
266.45/266.59	c #Conflicts:      19000 | #Learnt:       5672 | 0.000
266.45/266.59	c total clause space: 206.656MB
266.45/266.59	c total #watches: 361036
307.05/307.18	c total #propagations: 26202773 / total #impl: 117983008 (eff. 0.222)
307.05/307.18	c #Conflicts:      20000 | #Learnt:       6672 | 0.000
307.05/307.18	c total clause space: 335.816MB
307.05/307.18	c total #watches: 392058
332.54/332.67	c total #propagations: 27523371 / total #impl: 129859649 (eff. 0.212)
332.54/332.67	c GARBAGE COLLECT
332.54/332.67	c #Conflicts:      21000 | #Learnt:       4181 | 0.000
332.54/332.67	c total clause space: 335.816MB
332.54/332.67	c total #watches: 300517
364.54/364.62	c total #propagations: 29015652 / total #impl: 136723843 (eff. 0.212)
364.54/364.62	c #Conflicts:      22000 | #Learnt:       5181 | 0.000
364.54/364.62	c total clause space: 335.816MB
364.54/364.62	c total #watches: 353459
394.73/394.81	c total #propagations: 30516858 / total #impl: 143528121 (eff. 0.213)
394.73/394.81	c #Conflicts:      23000 | #Learnt:       6181 | 0.000
394.73/394.81	c total clause space: 335.816MB
394.73/394.81	c total #watches: 401154
422.52/422.62	c total #propagations: 31828321 / total #impl: 148502068 (eff. 0.214)
422.52/422.62	c #Conflicts:      24000 | #Learnt:       7181 | 0.000
422.52/422.62	c total clause space: 335.816MB
422.52/422.62	c total #watches: 436643
449.42/449.51	c total #propagations: 32985781 / total #impl: 153261557 (eff. 0.215)
449.42/449.51	c GARBAGE COLLECT
449.42/449.51	c #Conflicts:      25000 | #Learnt:       4380 | 0.000
449.42/449.51	c total clause space: 335.816MB
449.42/449.51	c total #watches: 317749
469.52/469.60	c total #propagations: 34383864 / total #impl: 158751066 (eff. 0.217)
469.52/469.60	c #Conflicts:      26000 | #Learnt:       5380 | 0.000
469.52/469.60	c total clause space: 335.816MB
469.52/469.60	c total #watches: 358325
484.32/484.42	c total #propagations: 35432358 / total #impl: 164157566 (eff. 0.216)
484.32/484.42	c #Conflicts:      27000 | #Learnt:       6380 | 0.000
484.32/484.42	c total clause space: 335.816MB
484.32/484.42	c total #watches: 407074
522.81/522.96	c total #propagations: 36346862 / total #impl: 169281237 (eff. 0.215)
522.81/522.96	c #Conflicts:      28000 | #Learnt:       7380 | 0.000
522.81/522.96	c total clause space: 335.816MB
522.81/522.96	c total #watches: 449961
558.40/558.54	c total #propagations: 37813561 / total #impl: 175487211 (eff. 0.215)
558.40/558.54	c GARBAGE COLLECT
558.40/558.54	c #Conflicts:      29000 | #Learnt:       4284 | 0.000
558.40/558.54	c total clause space: 335.816MB
558.40/558.54	c total #watches: 297673
588.00/588.10	c total #propagations: 39009429 / total #impl: 182028833 (eff. 0.214)
588.00/588.10	c #Conflicts:      30000 | #Learnt:       5284 | 0.000
588.00/588.10	c total clause space: 335.816MB
588.00/588.10	c total #watches: 345910
621.09/621.28	c total #propagations: 40106643 / total #impl: 189112557 (eff. 0.212)
621.09/621.28	c #Conflicts:      31000 | #Learnt:       6284 | 0.000
621.09/621.28	c total clause space: 335.816MB
621.09/621.28	c total #watches: 394277
655.49/655.61	c total #propagations: 41388887 / total #impl: 195707771 (eff. 0.211)
655.49/655.61	c #Conflicts:      32000 | #Learnt:       7284 | 0.000
655.49/655.61	c total clause space: 335.816MB
655.49/655.61	c total #watches: 423950
710.68/710.89	c total #propagations: 43244324 / total #impl: 200898078 (eff. 0.215)
710.68/710.89	c #Conflicts:      33000 | #Learnt:       8284 | 0.000
710.68/710.89	c total clause space: 335.816MB
710.68/710.89	c total #watches: 461218
730.67/730.86	c total #propagations: 44814646 / total #impl: 208423410 (eff. 0.215)
730.67/730.86	c GARBAGE COLLECT
730.67/730.86	c #Conflicts:      34000 | #Learnt:       4886 | 0.000
730.67/730.86	c total clause space: 335.816MB
730.67/730.86	c total #watches: 292551
754.37/754.57	c total #propagations: 45520147 / total #impl: 213158305 (eff. 0.214)
754.37/754.57	c #Conflicts:      35000 | #Learnt:       5886 | 0.000
754.37/754.57	c total clause space: 335.816MB
754.37/754.57	c total #watches: 324680
780.57/780.78	c total #propagations: 46726103 / total #impl: 220395213 (eff. 0.212)
780.57/780.78	c #Conflicts:      36000 | #Learnt:       6886 | 0.000
780.57/780.78	c total clause space: 335.816MB
780.57/780.78	c total #watches: 363609
821.86/822.05	c total #propagations: 47765800 / total #impl: 226334107 (eff. 0.211)
821.86/822.05	c #Conflicts:      37000 | #Learnt:       7886 | 0.000
821.86/822.05	c total clause space: 335.816MB
821.86/822.05	c total #watches: 392266
849.16/849.39	c total #propagations: 49013042 / total #impl: 235123794 (eff. 0.208)
849.16/849.39	c #Conflicts:      38000 | #Learnt:       8886 | 0.000
849.16/849.39	c total clause space: 335.816MB
849.16/849.39	c total #watches: 417520
886.46/886.69	c total #propagations: 49804640 / total #impl: 241365348 (eff. 0.206)
886.46/886.69	c GARBAGE COLLECT
886.46/886.69	c #Conflicts:      39000 | #Learnt:       5184 | 0.000
886.46/886.69	c total clause space: 335.816MB
886.46/886.69	c total #watches: 283233
915.05/915.23	c total #propagations: 50976552 / total #impl: 248978540 (eff. 0.205)
915.05/915.23	c #Conflicts:      40000 | #Learnt:       6184 | 0.000
915.05/915.23	c total clause space: 335.816MB
915.05/915.23	c total #watches: 314439
942.34/942.55	c total #propagations: 52177636 / total #impl: 258306701 (eff. 0.202)
942.34/942.55	c #Conflicts:      41000 | #Learnt:       7184 | 0.000
942.34/942.55	c total clause space: 335.816MB
942.34/942.55	c total #watches: 339680
970.74/970.94	c total #propagations: 53171262 / total #impl: 265295101 (eff. 0.200)
970.74/970.94	c #Conflicts:      42000 | #Learnt:       8184 | 0.000
970.74/970.94	c total clause space: 335.816MB
970.74/970.94	c total #watches: 375142
1014.73/1014.90	c total #propagations: 54123388 / total #impl: 271137688 (eff. 0.200)
1014.73/1014.90	c #Conflicts:      43000 | #Learnt:       9184 | 0.000
1014.73/1014.90	c total clause space: 335.816MB
1014.73/1014.90	c total #watches: 404425
1060.73/1060.99	c total #propagations: 55574185 / total #impl: 281784077 (eff. 0.197)
1060.73/1060.99	c GARBAGE COLLECT
1060.73/1060.99	c #Conflicts:      44000 | #Learnt:       5181 | 0.000
1060.73/1060.99	c total clause space: 545.701MB
1060.73/1060.99	c total #watches: 280991
1081.82/1082.01	c total #propagations: 57185924 / total #impl: 292120766 (eff. 0.196)
1081.82/1082.01	c #Conflicts:      45000 | #Learnt:       6181 | 0.000
1081.82/1082.01	c total clause space: 545.701MB
1081.82/1082.01	c total #watches: 309025
1095.43/1095.63	c total #propagations: 58466550 / total #impl: 298628902 (eff. 0.196)
1095.43/1095.63	c #Conflicts:      46000 | #Learnt:       7181 | 0.000
1095.43/1095.63	c total clause space: 545.701MB
1095.43/1095.63	c total #watches: 371191
1123.92/1124.16	c total #propagations: 59855831 / total #impl: 302771973 (eff. 0.198)
1123.92/1124.16	c #Conflicts:      47000 | #Learnt:       8181 | 0.000
1123.92/1124.16	c total clause space: 545.701MB
1123.92/1124.16	c total #watches: 413160
1170.51/1170.78	c total #propagations: 60949914 / total #impl: 308549796 (eff. 0.198)
1170.51/1170.78	c #Conflicts:      48000 | #Learnt:       9181 | 0.000
1170.51/1170.78	c total clause space: 545.701MB
1170.51/1170.78	c total #watches: 467490
1207.50/1207.76	c total #propagations: 62200774 / total #impl: 314466911 (eff. 0.198)
1207.50/1207.76	c #Conflicts:      49000 | #Learnt:      10181 | 0.000
1207.50/1207.76	c total clause space: 545.701MB
1207.50/1207.76	c total #watches: 500352
1240.40/1240.65	c total #propagations: 63216318 / total #impl: 319721004 (eff. 0.198)
1240.40/1240.65	c GARBAGE COLLECT
1240.40/1240.65	c #Conflicts:      50000 | #Learnt:       5889 | 0.000
1240.40/1240.65	c total clause space: 545.701MB
1240.40/1240.65	c total #watches: 368508
1293.79/1294.05	c total #propagations: 64273355 / total #impl: 325042726 (eff. 0.198)
1293.79/1294.05	c #Conflicts:      51000 | #Learnt:       6889 | 0.000
1293.79/1294.05	c total clause space: 545.701MB
1293.79/1294.05	c total #watches: 399761
1336.29/1336.51	c total #propagations: 65735497 / total #impl: 332316368 (eff. 0.198)
1336.29/1336.51	c #Conflicts:      52000 | #Learnt:       7889 | 0.000
1336.29/1336.51	c total clause space: 545.701MB
1336.29/1336.51	c total #watches: 430389
1364.48/1364.73	c total #propagations: 66803518 / total #impl: 339402005 (eff. 0.197)
1364.48/1364.73	c #Conflicts:      53000 | #Learnt:       8889 | 0.000
1364.48/1364.73	c total clause space: 545.701MB
1364.48/1364.73	c total #watches: 464104
1412.77/1413.03	c total #propagations: 67577079 / total #impl: 344666230 (eff. 0.196)
1412.77/1413.03	c #Conflicts:      54000 | #Learnt:       9889 | 0.000
1412.77/1413.03	c total clause space: 545.701MB
1412.77/1413.03	c total #watches: 501403
1475.26/1475.52	c total #propagations: 68729914 / total #impl: 353959990 (eff. 0.194)
1475.26/1475.52	c #Conflicts:      55000 | #Learnt:      10889 | 0.000
1475.26/1475.52	c total clause space: 545.701MB
1475.26/1475.52	c total #watches: 530599
1512.96/1513.27	c total #propagations: 70153869 / total #impl: 360804817 (eff. 0.194)
1512.96/1513.27	c GARBAGE COLLECT
1512.96/1513.27	c #Conflicts:      56000 | #Learnt:       6277 | 0.000
1512.96/1513.27	c total clause space: 545.701MB
1512.96/1513.27	c total #watches: 317916
1535.65/1535.96	c total #propagations: 71385102 / total #impl: 366647003 (eff. 0.195)
1535.65/1535.96	c #Conflicts:      57000 | #Learnt:       7277 | 0.000
1535.65/1535.96	c total clause space: 545.701MB
1535.65/1535.96	c total #watches: 350688
1562.75/1563.04	c total #propagations: 72502504 / total #impl: 373318227 (eff. 0.194)
1562.75/1563.04	c #Conflicts:      58000 | #Learnt:       8277 | 0.000
1562.75/1563.04	c total clause space: 545.701MB
1562.75/1563.04	c total #watches: 385110
1600.54/1600.88	c total #propagations: 73666366 / total #impl: 379726788 (eff. 0.194)
1600.54/1600.88	c #Conflicts:      59000 | #Learnt:       9277 | 0.000
1600.54/1600.88	c total clause space: 545.701MB
1600.54/1600.88	c total #watches: 420200
1625.24/1625.53	c total #propagations: 75050897 / total #impl: 387533991 (eff. 0.194)
1625.24/1625.53	c #Conflicts:      60000 | #Learnt:      10277 | 0.000
1625.24/1625.53	c total clause space: 545.701MB
1625.24/1625.53	c total #watches: 461209
1651.64/1651.94	c total #propagations: 75906418 / total #impl: 392079124 (eff. 0.194)
1651.64/1651.94	c #Conflicts:      61000 | #Learnt:      11277 | 0.000
1651.64/1651.94	c total clause space: 545.701MB
1651.64/1651.94	c total #watches: 497915
1690.44/1690.73	c total #propagations: 76839267 / total #impl: 396934679 (eff. 0.194)
1690.44/1690.73	c GARBAGE COLLECT
1690.44/1690.73	c #Conflicts:      62000 | #Learnt:       6372 | 0.000
1690.44/1690.73	c total clause space: 545.701MB
1690.44/1690.73	c total #watches: 331177
1710.83/1711.18	c total #propagations: 78147958 / total #impl: 406163887 (eff. 0.192)
1710.83/1711.18	c #Conflicts:      63000 | #Learnt:       7372 | 0.000
1710.83/1711.18	c total clause space: 545.701MB
1710.83/1711.18	c total #watches: 368242
1724.13/1724.47	c total #propagations: 79259421 / total #impl: 412018535 (eff. 0.192)
1724.13/1724.47	c #Conflicts:      64000 | #Learnt:       8372 | 0.000
1724.13/1724.47	c total clause space: 545.701MB
1724.13/1724.47	c total #watches: 407175
1746.63/1746.92	c total #propagations: 80057066 / total #impl: 416057959 (eff. 0.192)
1746.63/1746.92	c #Conflicts:      65000 | #Learnt:       9372 | 0.000
1746.63/1746.92	c total clause space: 545.701MB
1746.63/1746.92	c total #watches: 443220
1779.72/1780.09	c total #propagations: 81105129 / total #impl: 421114472 (eff. 0.193)
1779.72/1780.09	c #Conflicts:      66000 | #Learnt:      10372 | 0.000
1779.72/1780.09	c total clause space: 545.701MB
1779.72/1780.09	c total #watches: 487438

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4097904-1466116280/watcher-4097904-1466116280 -o /tmp/evaluation-result-4097904-1466116280/solver-4097904-1466116280 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466112621-22084 --watchdog 1960 --input HOME/instance-4097904-1466116280.opb ./cdcl-cuttingplanes-release 

pid=23105
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.33 2.31 2.27 2/178 23108
/proc/meminfo: memFree=29913652/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=29104 CPUtime=0 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 268 0 0 0 0 0 0 0 20 0 1 0 13674392 29802496 5260 33554432000 4194304 6199737 140733274805456 140736982635480 4209408 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 7276 5260 122 490 0 6777 0

[startup+0.100168 s]
/proc/loadavg: 2.33 2.31 2.27 2/178 23108
/proc/meminfo: memFree=29913652/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=36312 CPUtime=0.08 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 1385 0 0 0 8 0 0 0 20 0 1 0 13674392 37183488 7454 33554432000 4194304 6199737 140733274805456 140736982635480 4207822 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 9078 7454 135 490 0 8579 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 36312

[startup+0.200357 s]
/proc/loadavg: 2.33 2.31 2.27 2/178 23108
/proc/meminfo: memFree=29913652/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=40864 CPUtime=0.18 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 2572 0 0 0 18 0 0 0 20 0 1 0 13674392 41844736 9163 33554432000 4194304 6199737 140733274805456 140736982635480 5407536 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 10216 9163 135 490 0 9717 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 40864

[startup+0.300339 s]
/proc/loadavg: 2.33 2.31 2.27 2/178 23108
/proc/meminfo: memFree=29913652/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=49396 CPUtime=0.29 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 3853 0 0 0 28 1 0 0 20 0 1 0 13674392 50581504 10546 33554432000 4194304 6199737 140733274805456 140736982635480 5149722 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 12349 10547 139 490 0 11850 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49396

[startup+0.700296 s]
/proc/loadavg: 2.33 2.31 2.27 2/178 23108
/proc/meminfo: memFree=29913652/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=62316 CPUtime=0.69 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 4686 0 0 0 68 1 0 0 20 0 1 0 13674392 63811584 12718 33554432000 4194304 6199737 140733274805456 140736982635480 4213306 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 15579 12718 139 490 0 15080 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62316

[startup+1.5003 s]
/proc/loadavg: 2.33 2.31 2.27 3/179 23109
/proc/meminfo: memFree=29859236/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=81840 CPUtime=1.49 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 5196 0 0 0 148 1 0 0 20 0 1 0 13674392 83804160 14635 33554432000 4194304 6199737 140733274805456 140733274804392 4207822 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 20460 14635 155 490 0 19961 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 81840

[startup+3.10029 s]
/proc/loadavg: 2.33 2.31 2.27 3/179 23109
/proc/meminfo: memFree=29847020/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=82312 CPUtime=3.09 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 5870 0 0 0 308 1 0 0 20 0 1 0 13674392 84287488 18133 33554432000 4194304 6199737 140733274805456 140733274804568 4213314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 20578 18133 155 490 0 20079 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 82312

[startup+6.30029 s]
/proc/loadavg: 2.38 2.32 2.28 3/179 23109
/proc/meminfo: memFree=29841064/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=82940 CPUtime=6.29 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 6068 0 0 0 628 1 0 0 20 0 1 0 13674392 84930560 18841 33554432000 4194304 6199737 140733274805456 140733274804392 4213314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 20735 18841 161 490 0 20236 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 82940

[startup+12.7003 s]
/proc/loadavg: 2.43 2.33 2.28 3/179 23109
/proc/meminfo: memFree=29819792/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=114620 CPUtime=12.69 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 6609 0 0 0 1267 2 0 0 20 0 1 0 13674392 117370880 23366 33554432000 4194304 6199737 140733274805456 140733274804568 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 28655 23366 161 490 0 28156 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 114620

[startup+25.5004 s]
/proc/loadavg: 2.33 2.32 2.28 4/179 23109
/proc/meminfo: memFree=29807768/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=115776 CPUtime=25.49 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 7407 0 0 0 2547 2 0 0 20 0 1 0 13674392 118554624 26467 33554432000 4194304 6199737 140733274805456 140733274804392 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 28944 26467 161 490 0 28445 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 115776

[startup+51.1004 s]
/proc/loadavg: 2.29 2.31 2.27 3/179 23109
/proc/meminfo: memFree=29781716/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=167044 CPUtime=51.08 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 8575 0 0 0 5105 3 0 0 20 0 1 0 13674392 171053056 32895 33554432000 4194304 6199737 140733274805456 140733274804392 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 41761 32895 161 490 0 41262 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 167044

[startup+102.3 s]
/proc/loadavg: 2.33 2.30 2.27 3/179 23110
/proc/meminfo: memFree=29748064/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=168316 CPUtime=102.28 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 8996 0 0 0 10225 3 0 0 20 0 1 0 13674392 172355584 40964 33554432000 4194304 6199737 140733274805456 140733274804392 4213314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 42079 40964 161 490 0 41580 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 168316

[startup+162.3 s]
/proc/loadavg: 2.22 2.28 2.27 3/179 23111
/proc/meminfo: memFree=29702496/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=250488 CPUtime=162.26 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 9776 0 0 0 16223 3 0 0 20 0 1 0 13674392 256499712 43434 33554432000 4194304 6199737 140733274805456 140733274804392 4213296 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 62622 43434 161 490 0 62123 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 250488

[startup+222.308 s]
/proc/loadavg: 2.30 2.28 2.27 4/179 23112
/proc/meminfo: memFree=29646156/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=251676 CPUtime=222.26 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 10353 0 0 0 22222 4 0 0 20 0 1 0 13674392 257716224 56763 33554432000 4194304 6199737 140733274805456 140733274804568 4213314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 62919 56763 161 490 0 62420 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 251676

[startup+282.3 s]
/proc/loadavg: 2.33 2.29 2.27 3/179 23114
/proc/meminfo: memFree=29632716/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=252264 CPUtime=282.25 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 10558 0 0 0 28220 5 0 0 20 0 1 0 13674392 258318336 60034 33554432000 4194304 6199737 140733274805456 140733274804392 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 63066 60034 161 490 0 62567 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 252264

[startup+342.3 s]
/proc/loadavg: 2.22 2.27 2.27 3/179 23115
/proc/meminfo: memFree=29602276/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=385020 CPUtime=342.24 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 11234 0 0 0 34219 5 0 0 20 0 1 0 13674392 394260480 67561 33554432000 4194304 6199737 140733274805456 140733274804392 4213306 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 96255 67561 161 490 0 95756 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 385020

[startup+402.3 s]
/proc/loadavg: 2.17 2.25 2.26 4/179 23116
/proc/meminfo: memFree=29600712/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=385360 CPUtime=402.23 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 11320 0 0 0 40218 5 0 0 20 0 1 0 13674392 394608640 67643 33554432000 4194304 6199737 140733274805456 140733274804392 4213314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 96340 67643 161 490 0 95841 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 385360

[startup+462.3 s]
/proc/loadavg: 2.27 2.26 2.26 3/179 23117
/proc/meminfo: memFree=29599248/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=385956 CPUtime=462.22 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 11469 0 0 0 46217 5 0 0 20 0 1 0 13674392 395218944 67791 33554432000 4194304 6199737 140733274805456 140733274804568 4213396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 96489 67791 161 490 0 95990 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 385956

[startup+522.3 s]
/proc/loadavg: 2.26 2.26 2.26 3/180 23121
/proc/meminfo: memFree=29597352/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=386928 CPUtime=522.21 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 11718 0 0 0 52216 5 0 0 20 0 1 0 13674392 396214272 68040 33554432000 4194304 6199737 140733274805456 140733274804392 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 96732 68040 161 490 0 96233 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 386928

[startup+582.3 s]
/proc/loadavg: 2.39 2.28 2.27 4/179 23123
/proc/meminfo: memFree=29581384/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=387688 CPUtime=582.2 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 12070 0 0 0 58215 5 0 0 20 0 1 0 13674392 396992512 68346 33554432000 4194304 6199737 140733274805456 140733274804392 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 96922 68346 161 490 0 96423 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 387688


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


[startup+942.3 s]
/proc/loadavg: 2.27 2.30 2.27 4/179 23130
/proc/meminfo: memFree=29460632/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=389484 CPUtime=942.14 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 12780 0 0 0 94208 6 0 0 20 0 1 0 13674392 398831616 88470 33554432000 4194304 6199737 140733274805456 140733274804392 4213296 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 97371 88470 161 490 0 96872 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 389484

[startup+1002.3 s]
/proc/loadavg: 2.25 2.29 2.27 3/179 23131
/proc/meminfo: memFree=29460356/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=389896 CPUtime=1002.13 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 12880 0 0 0 100207 6 0 0 20 0 1 0 13674392 399253504 88570 33554432000 4194304 6199737 140733274805456 140733274804392 4213314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 97474 88570 161 490 0 96975 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 389896

[startup+1062.3 s]
/proc/loadavg: 2.23 2.28 2.27 3/179 23132
/proc/meminfo: memFree=29425456/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=605180 CPUtime=1062.13 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 13547 0 0 0 106206 7 0 0 20 0 1 0 13674392 619704320 97055 33554432000 4194304 6199737 140733274805456 140733274804568 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 151295 97055 161 490 0 150796 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 605180

[startup+1122.3 s]
/proc/loadavg: 2.30 2.28 2.27 3/180 23136
/proc/meminfo: memFree=29424580/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=605336 CPUtime=1122.12 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 13611 0 0 0 112205 7 0 0 20 0 1 0 13674392 619864064 97119 33554432000 4194304 6199737 140733274805456 140733274804392 4213296 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 151334 97119 161 490 0 150835 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 605336

[startup+1182.3 s]
/proc/loadavg: 2.22 2.26 2.26 4/179 23137
/proc/meminfo: memFree=29424084/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=605696 CPUtime=1182.11 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 13703 0 0 0 118204 7 0 0 20 0 1 0 13674392 620232704 97211 33554432000 4194304 6199737 140733274805456 140733274804392 4213306 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 151424 97211 161 490 0 150925 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 605696

[startup+1242.3 s]
/proc/loadavg: 2.21 2.25 2.26 3/179 23139
/proc/meminfo: memFree=29411840/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=606148 CPUtime=1242.1 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 13936 0 0 0 124203 7 0 0 20 0 1 0 13674392 620695552 99985 33554432000 4194304 6199737 140733274805456 140733274804568 4213385 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 151537 99985 161 490 0 151038 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 606148

[startup+1302.3 s]
/proc/loadavg: 2.12 2.22 2.25 3/178 23140
/proc/meminfo: memFree=29411848/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=606224 CPUtime=1302.09 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 13968 0 0 0 130202 7 0 0 20 0 1 0 13674392 620773376 100017 33554432000 4194304 6199737 140733274805456 140733274804568 4213306 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 151556 100017 161 490 0 151057 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 606224

[startup+1362.3 s]
/proc/loadavg: 2.22 2.22 2.25 3/179 23188
/proc/meminfo: memFree=29804824/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=606404 CPUtime=1362.08 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 14011 0 0 0 136201 7 0 0 20 0 1 0 13674392 620957696 100060 33554432000 4194304 6199737 140733274805456 140733274804392 4213368 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 151601 100060 161 490 0 151102 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 606404

[startup+1422.3 s]
/proc/loadavg: 2.35 2.26 2.26 3/179 23189
/proc/meminfo: memFree=29758408/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=606836 CPUtime=1422.08 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 14119 0 0 0 142201 7 0 0 20 0 1 0 13674392 621400064 100168 33554432000 4194304 6199737 140733274805456 140733274804568 4213368 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 151709 100168 161 490 0 151210 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 606836

[startup+1482.3 s]
/proc/loadavg: 2.21 2.24 2.25 3/179 23190
/proc/meminfo: memFree=29719848/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=607168 CPUtime=1482.06 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 14285 0 0 0 148199 7 0 0 20 0 1 0 13674392 621740032 100334 33554432000 4194304 6199737 140733274805456 140733274804568 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 151792 100334 161 490 0 151293 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 607168

[startup+1542.31 s]
/proc/loadavg: 2.34 2.27 2.26 3/179 23421
/proc/meminfo: memFree=29808144/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=607360 CPUtime=1542.06 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 14340 0 0 0 154199 7 0 0 20 0 1 0 13674392 621936640 100389 33554432000 4194304 6199737 140733274805456 140733274804568 4213385 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 151840 100389 161 490 0 151341 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 607360

[startup+1602.3 s]
/proc/loadavg: 2.26 2.26 2.26 3/179 23422
/proc/meminfo: memFree=29707720/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=607464 CPUtime=1602.04 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 14368 0 0 0 160197 7 0 0 20 0 1 0 13674392 622043136 100417 33554432000 4194304 6199737 140733274805456 140733274804568 4213306 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 151866 100417 161 490 0 151367 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 607464

[startup+1662.3 s]
/proc/loadavg: 2.21 2.24 2.25 4/179 23423
/proc/meminfo: memFree=29618160/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=607836 CPUtime=1662.04 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 14452 0 0 0 166196 8 0 0 20 0 1 0 13674392 622424064 100501 33554432000 4194304 6199737 140733274805456 140733274804280 4213377 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 151959 100501 161 490 0 151460 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 607836

[startup+1722.3 s]
/proc/loadavg: 2.23 2.24 2.25 3/180 23427
/proc/meminfo: memFree=29590980/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=608100 CPUtime=1722.03 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 14528 0 0 0 172195 8 0 0 20 0 1 0 13674392 622694400 100577 33554432000 4194304 6199737 140733274805456 140733274804392 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 152025 100577 161 490 0 151526 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 608100

[startup+1782.3 s]
/proc/loadavg: 2.43 2.28 2.26 3/180 23451
/proc/meminfo: memFree=29569840/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=608404 CPUtime=1782.02 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 14608 0 0 0 178194 8 0 0 20 0 1 0 13674392 623005696 100656 33554432000 4194304 6199737 140733274805456 140733274804568 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 152101 100656 161 490 0 151602 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 608404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.44 2.30 2.27 3/180 23452
/proc/meminfo: memFree=29570916/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=608524 CPUtime=1800.02 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 14628 0 0 0 179994 8 0 0 20 0 1 0 13674392 623128576 100676 33554432000 4194304 6199737 140733274805456 140733274804280 4213314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 152131 100676 161 490 0 151632 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 608524

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 23108 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.44 2.30 2.27 3/180 23452
/proc/meminfo: memFree=29570916/32872528 swapFree=1481856/1661728
[pid=23108] ppid=23105 vsize=608524 CPUtime=1800.02 cores=1,3,5,7
/proc/23108/stat : 23108 (cdcl-cuttingpla) R 23105 23108 20832 0 -1 4202496 14628 0 0 0 179994 8 0 0 20 0 1 0 13674392 623128576 100676 33554432000 4194304 6199737 140733274805456 140733274804280 4213314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23108/statm: 152131 100676 161 490 0 151632 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 608524

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.03
CPU user time (s): 1799.94
CPU system time (s): 0.083987
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 608524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.083987
maximum resident set size= 402704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14628
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= 15
involuntary context switches= 1853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.43433 second user time and 7.02593 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-17 00:31:20
IDJOB=4097904
IDBENCH=107823
IDSOLVER=2548
FILE ID=node134/4097904-1466116280
RUNJOBID= node134-1466112621-22084
PBS_JOBID= 19904059
Free space on /tmp= 71708 MiB

SOLVER NAME= cdcl-cuttingplanes DEC 2016-05-01
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_8.opb
COMMAND LINE= ./cdcl-cuttingplanes-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4097904-1466116280/watcher-4097904-1466116280 -o /tmp/evaluation-result-4097904-1466116280/solver-4097904-1466116280 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466112621-22084 --watchdog 1960 --input HOME/instance-4097904-1466116280.opb ./cdcl-cuttingplanes-release

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

MD5SUM BENCH= fe151e39412ca279581ad7c1e85ba474
RANDOM SEED=1044292025

node134.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.04
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
cpu MHz		: 2667.020
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 7358.89
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
cpu MHz		: 2667.020
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 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 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 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	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
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 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 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 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
cpu MHz		: 2667.020
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 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 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 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	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
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
cpu MHz		: 2667.020
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 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 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 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	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
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 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 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 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:       32872528 kB
MemFree:        29914204 kB
Buffers:           53548 kB
Cached:           136360 kB
SwapCached:         8900 kB
Active:           499180 kB
Inactive:          93312 kB
Active(anon):     396488 kB
Inactive(anon):     8200 kB
Active(file):     102692 kB
Inactive(file):    85112 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67092052 kB
Dirty:              5744 kB
Writeback:             0 kB
AnonPages:       2056528 kB
Mapped:             7700 kB
Shmem:                 0 kB
Slab:             569496 kB
SReclaimable:      13248 kB
SUnreclaim:       556248 kB
KernelStack:        1488 kB
PageTables:         8172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2381112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    536576 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node134 at 2016-06-17 01:01:20