Trace number 4100655

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 NameAnswerobjective functionCPU timeWall clock time
cdcl-cuttingplanes OPT binary search 2016-05-01? (TO) 1800.09 1800.4

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-maros.opb
MD5SUMffbe7c5e96212b70bc71f745eee091ea
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables42240
Total number of constraints836
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints836
Minimum length of a constraint30
Maximum length of a constraint4740
Number of terms in the objective function 10110
Biggest coefficient in the objective function 11592
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 532977
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 532977
Number of bits of the biggest sum of numbers20
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 OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.09/0.11	c * #variable= 42240 #constraint= 836
0.39/0.43	c * #variable= 42240 #constraint= 836
2.20/2.23	c #Conflicts:       1000 | #Learnt:        992 | 0.900
2.20/2.23	c total clause space: 18.2382MB
2.20/2.23	c total #watches: 402321
23.39/23.42	c total #propagations: 104635 / total #impl: 14813164 (eff. 0.007)
23.39/23.42	c #Conflicts:       2000 | #Learnt:       1991 | 1.552
23.39/23.42	c total clause space: 29.637MB
23.39/23.42	c total #watches: 548449
48.18/48.28	c total #propagations: 1529785 / total #impl: 111650967 (eff. 0.014)
48.18/48.28	c GC COLLECT
48.18/48.28	c #Conflicts:       3000 | #Learnt:       2005 | 1.035
48.18/48.28	c total clause space: 29.637MB
48.18/48.28	c total #watches: 605608
138.37/138.42	c total #propagations: 3253633 / total #impl: 228712314 (eff. 0.014)
138.37/138.42	c #Conflicts:       4000 | #Learnt:       3002 | 1.675
138.37/138.42	c total clause space: 29.637MB
138.37/138.42	c total #watches: 816143
154.27/154.34	c total #propagations: 6130097 / total #impl: 706781443 (eff. 0.009)
154.27/154.34	c GC COLLECT
154.27/154.34	c #Conflicts:       5000 | #Learnt:       2359 | 2.656
154.27/154.34	c total clause space: 48.1602MB
154.27/154.34	c total #watches: 733502
155.66/155.75	c total #propagations: 6812867 / total #impl: 762125394 (eff. 0.009)
155.66/155.75	c #Conflicts:       6000 | #Learnt:       3357 | 2.439
155.66/155.75	c total clause space: 48.1602MB
155.66/155.75	c total #watches: 760652
156.06/156.16	c total #propagations: 6876592 / total #impl: 768602638 (eff. 0.009)
156.06/156.16	c GC COLLECT
156.06/156.16	c #Conflicts:       7000 | #Learnt:       2242 | 2.107
156.06/156.16	c total clause space: 48.1602MB
156.06/156.16	c total #watches: 506528
157.06/157.15	c total #propagations: 6897901 / total #impl: 770959972 (eff. 0.009)
157.06/157.15	c #Conflicts:       8000 | #Learnt:       3242 | 1.844
157.06/157.15	c total clause space: 48.1602MB
157.06/157.15	c total #watches: 727335
210.76/210.83	c total #propagations: 6915468 / total #impl: 780500728 (eff. 0.009)
210.76/210.83	c #Conflicts:       9000 | #Learnt:       4242 | 1.687
210.76/210.83	c total clause space: 48.1602MB
210.76/210.83	c total #watches: 980635
243.85/243.98	c total #propagations: 9174455 / total #impl: 992308584 (eff. 0.009)
243.85/243.98	c GC COLLECT
243.85/243.98	c #Conflicts:      10000 | #Learnt:       2766 | 2.089
243.85/243.98	c total clause space: 48.1602MB
243.85/243.98	c total #watches: 914270
348.64/348.80	c total #propagations: 10254143 / total #impl: 1124643948 (eff. 0.009)
348.64/348.80	c #Conflicts:      11000 | #Learnt:       3765 | 2.002
348.64/348.80	c total clause space: 48.1602MB
348.64/348.80	c total #watches: 1090860
408.32/408.46	c total #propagations: 12284827 / total #impl: 1646471097 (eff. 0.007)
408.32/408.46	c #Conflicts:      12000 | #Learnt:       4758 | 2.366
408.32/408.46	c total clause space: 78.2603MB
408.32/408.46	c total #watches: 1387587
483.71/483.82	c total #propagations: 14062459 / total #impl: 1956534134 (eff. 0.007)
483.71/483.82	c #Conflicts:      13000 | #Learnt:       5758 | 2.501
483.71/483.82	c total clause space: 78.2603MB
483.71/483.82	c total #watches: 1568826
537.30/537.49	c total #propagations: 15685370 / total #impl: 2228509923 (eff. 0.007)
537.30/537.49	c GC COLLECT
537.30/537.49	c #Conflicts:      14000 | #Learnt:       3892 | 2.465
537.30/537.49	c total clause space: 78.2603MB
537.30/537.50	c total #watches: 1199951
541.40/541.50	c total #propagations: 16854223 / total #impl: 2417176514 (eff. 0.007)
541.40/541.50	c #Conflicts:      15000 | #Learnt:       4891 | 2.353
541.40/541.50	c total clause space: 78.2603MB
541.40/541.50	c total #watches: 1422141
557.29/557.43	c total #propagations: 16983424 / total #impl: 2442019169 (eff. 0.007)
557.29/557.43	c #Conflicts:      16000 | #Learnt:       5882 | 2.597
557.29/557.43	c total clause space: 78.2603MB
557.29/557.43	c total #watches: 1565527
582.09/582.22	c total #propagations: 17152178 / total #impl: 2494557800 (eff. 0.007)
582.09/582.22	c GC COLLECT
582.09/582.22	c #Conflicts:      17000 | #Learnt:       3708 | 2.643
582.09/582.22	c total clause space: 78.2603MB
582.09/582.22	c total #watches: 1150933
599.18/599.37	c total #propagations: 18116796 / total #impl: 2539402631 (eff. 0.007)
599.18/599.37	c #Conflicts:      18000 | #Learnt:       4708 | 2.496
599.18/599.37	c total clause space: 78.2603MB
599.18/599.37	c total #watches: 1378338
628.18/628.39	c total #propagations: 18893126 / total #impl: 2581817825 (eff. 0.007)
628.18/628.39	c #Conflicts:      19000 | #Learnt:       5708 | 2.379
628.18/628.39	c total clause space: 78.2603MB
628.18/628.39	c total #watches: 1591302
681.28/681.47	c total #propagations: 20222239 / total #impl: 2667025425 (eff. 0.008)
681.28/681.47	c #Conflicts:      20000 | #Learnt:       6704 | 2.347
681.28/681.47	c total clause space: 78.2603MB
681.28/681.47	c total #watches: 1730741
744.47/744.65	c total #propagations: 21577466 / total #impl: 2790110135 (eff. 0.008)
744.47/744.65	c GC COLLECT
744.47/744.65	c #Conflicts:      21000 | #Learnt:       4210 | 2.348
744.47/744.65	c total clause space: 78.2603MB
744.47/744.65	c total #watches: 1201156
755.47/755.69	c total #propagations: 23781791 / total #impl: 2959053200 (eff. 0.008)
755.47/755.69	c #Conflicts:      22000 | #Learnt:       5203 | 2.553
755.47/755.69	c total clause space: 78.2603MB
755.47/755.70	c total #watches: 1294669
764.56/764.73	c total #propagations: 24253526 / total #impl: 2992681956 (eff. 0.008)
764.56/764.73	c #Conflicts:      23000 | #Learnt:       6198 | 3.063
764.56/764.73	c total clause space: 78.2603MB
764.56/764.73	c total #watches: 1377977
780.16/780.33	c total #propagations: 24419915 / total #impl: 3022354111 (eff. 0.008)
780.16/780.33	c #Conflicts:      24000 | #Learnt:       7190 | 3.889
780.16/780.33	c total clause space: 78.2603MB
780.16/780.33	c total #watches: 1544688
785.96/786.14	c total #propagations: 25008277 / total #impl: 3073479924 (eff. 0.008)
785.96/786.14	c GC COLLECT
785.96/786.14	c #Conflicts:      25000 | #Learnt:       4368 | 4.014
785.96/786.14	c total clause space: 78.2603MB
785.96/786.14	c total #watches: 809762
790.46/790.61	c total #propagations: 25171927 / total #impl: 3093390398 (eff. 0.008)
790.46/790.61	c #Conflicts:      26000 | #Learnt:       5363 | 4.112
790.46/790.61	c total clause space: 78.2603MB
790.46/790.61	c total #watches: 849360
792.26/792.46	c total #propagations: 25288452 / total #impl: 3109712532 (eff. 0.008)
792.26/792.46	c #Conflicts:      27000 | #Learnt:       6362 | 4.027
792.26/792.46	c total clause space: 78.2603MB
792.26/792.46	c total #watches: 1443712
831.65/831.81	c total #propagations: 25344851 / total #impl: 3120024154 (eff. 0.008)
831.65/831.81	c #Conflicts:      28000 | #Learnt:       7360 | 4.193
831.65/831.81	c total clause space: 127.173MB
831.65/831.81	c total #watches: 1783485
896.14/896.36	c total #propagations: 25821780 / total #impl: 3162435377 (eff. 0.008)
896.14/896.36	c GC COLLECT
896.14/896.36	c #Conflicts:      29000 | #Learnt:       4292 | 4.266
896.14/896.36	c total clause space: 127.173MB
896.14/896.36	c total #watches: 1428776
973.83/974.03	c total #propagations: 26346526 / total #impl: 3247110442 (eff. 0.008)
973.83/974.03	c #Conflicts:      30000 | #Learnt:       5288 | 4.455
973.83/974.03	c total clause space: 127.173MB
973.83/974.03	c total #watches: 1547655
1039.72/1039.91	c total #propagations: 26793659 / total #impl: 3333731308 (eff. 0.008)
1039.72/1039.91	c #Conflicts:      31000 | #Learnt:       6288 | 4.339
1039.72/1039.91	c total clause space: 127.173MB
1039.72/1039.91	c total #watches: 1674456
1068.31/1068.57	c total #propagations: 27316979 / total #impl: 3386750634 (eff. 0.008)
1068.31/1068.57	c #Conflicts:      32000 | #Learnt:       7281 | 4.345
1068.31/1068.57	c total clause space: 127.173MB
1068.31/1068.57	c total #watches: 1776219
1093.01/1093.28	c total #propagations: 27669975 / total #impl: 3412041603 (eff. 0.008)
1093.01/1093.28	c S1->S2
1093.01/1093.28	c S2->S1
1093.01/1093.28	c S2->S1
1093.01/1093.28	c S1->S2
1093.01/1093.28	c S1->S2
1093.01/1093.28	c S2->S1
1093.01/1093.28	c S2->S1
1093.01/1093.28	c #Conflicts:      33000 | #Learnt:       8110 | 4.468
1093.01/1093.28	c total clause space: 545.701MB
1093.01/1093.28	c total #watches: 5756528
1095.70/1095.97	c total #propagations: 27840483 / total #impl: 3443865764 (eff. 0.008)
1095.70/1095.97	c GC COLLECT
1095.70/1095.97	c #Conflicts:      34000 | #Learnt:       1397 | 4.395
1095.70/1095.97	c total clause space: 545.701MB
1095.70/1095.97	c total #watches: 421583
1096.30/1096.50	c total #propagations: 28126273 / total #impl: 3452602064 (eff. 0.008)
1096.30/1096.50	c #Conflicts:      35000 | #Learnt:       2395 | 4.270
1096.30/1096.50	c total clause space: 545.701MB
1096.30/1096.50	c total #watches: 425100
1097.00/1097.20	c total #propagations: 28181287 / total #impl: 3453989058 (eff. 0.008)
1097.00/1097.20	c #Conflicts:      36000 | #Learnt:       3394 | 4.151
1097.00/1097.20	c total clause space: 545.701MB
1097.00/1097.20	c total #watches: 432713
1097.61/1097.82	c total #propagations: 28229201 / total #impl: 3455779026 (eff. 0.008)
1097.61/1097.82	c #Conflicts:      37000 | #Learnt:       4392 | 4.039
1097.61/1097.82	c total clause space: 545.701MB
1097.61/1097.82	c total #watches: 436148
1098.20/1098.46	c total #propagations: 28264194 / total #impl: 3457455626 (eff. 0.008)
1098.20/1098.46	c #Conflicts:      38000 | #Learnt:       5391 | 3.936
1098.20/1098.46	c total clause space: 545.701MB
1098.20/1098.46	c total #watches: 439156
1099.00/1099.23	c total #propagations: 28289437 / total #impl: 3459032342 (eff. 0.008)
1099.00/1099.23	c GC COLLECT
1099.00/1099.23	c #Conflicts:      39000 | #Learnt:       3430 | 3.835
1099.00/1099.23	c total clause space: 545.701MB
1099.00/1099.23	c total #watches: 434613
1099.81/1100.04	c total #propagations: 28326643 / total #impl: 3460755219 (eff. 0.008)
1099.81/1100.04	c #Conflicts:      40000 | #Learnt:       4430 | 3.740
1099.81/1100.04	c total clause space: 545.701MB
1099.81/1100.04	c total #watches: 438821
1100.60/1100.88	c total #propagations: 28359698 / total #impl: 3461425822 (eff. 0.008)
1100.60/1100.88	c #Conflicts:      41000 | #Learnt:       5427 | 3.648
1100.60/1100.88	c total clause space: 545.701MB
1100.60/1100.88	c total #watches: 452479
1102.11/1102.37	c total #propagations: 28393354 / total #impl: 3462418519 (eff. 0.008)
1102.11/1102.37	c #Conflicts:      42000 | #Learnt:       6427 | 3.562
1102.11/1102.37	c total clause space: 545.701MB
1102.11/1102.37	c total #watches: 475363
1103.30/1103.53	c total #propagations: 28449256 / total #impl: 3464750497 (eff. 0.008)
1103.30/1103.53	c #Conflicts:      43000 | #Learnt:       7427 | 3.479
1103.30/1103.53	c total clause space: 545.701MB
1103.30/1103.53	c total #watches: 483052
1104.40/1104.66	c total #propagations: 28477429 / total #impl: 3465244163 (eff. 0.008)
1104.40/1104.66	c GC COLLECT
1104.40/1104.66	c #Conflicts:      44000 | #Learnt:       4306 | 3.402
1104.40/1104.66	c total clause space: 545.701MB
1104.40/1104.66	c total #watches: 437941
1105.10/1105.32	c total #propagations: 28518800 / total #impl: 3466377496 (eff. 0.008)
1105.10/1105.32	c #Conflicts:      45000 | #Learnt:       5306 | 3.328
1105.10/1105.32	c total clause space: 545.701MB
1105.10/1105.32	c total #watches: 441452
1109.71/1109.96	c total #propagations: 28548841 / total #impl: 3466675362 (eff. 0.008)
1109.71/1109.96	c #Conflicts:      46000 | #Learnt:       6302 | 3.339
1109.71/1109.96	c total clause space: 545.701MB
1109.71/1109.96	c total #watches: 529099
1118.20/1118.46	c total #propagations: 29046200 / total #impl: 3492515625 (eff. 0.008)
1118.20/1118.46	c #Conflicts:      47000 | #Learnt:       7300 | 3.286
1118.20/1118.46	c total clause space: 545.701MB
1118.20/1118.46	c total #watches: 584002
1119.20/1119.47	c total #propagations: 29471365 / total #impl: 3516864605 (eff. 0.008)
1119.20/1119.47	c #Conflicts:      48000 | #Learnt:       8297 | 3.226
1119.20/1119.47	c total clause space: 545.701MB
1119.20/1119.47	c total #watches: 597296
1159.69/1159.93	c total #propagations: 29538826 / total #impl: 3518483340 (eff. 0.008)
1159.69/1159.93	c S2->S1
1159.69/1159.93	c #Conflicts:      49000 | #Learnt:       7879 | 3.234
1159.69/1159.93	c total clause space: 545.701MB
1159.69/1159.93	c total #watches: 2049667
1318.55/1318.89	c total #propagations: 30011503 / total #impl: 3549170282 (eff. 0.008)
1318.55/1318.89	c GC COLLECT
1318.55/1318.89	c #Conflicts:      50000 | #Learnt:       4712 | 3.250
1318.55/1318.89	c total clause space: 545.701MB
1318.55/1318.89	c total #watches: 1500358
1394.34/1394.66	c total #propagations: 31144912 / total #impl: 3656811685 (eff. 0.009)
1394.34/1394.66	c #Conflicts:      51000 | #Learnt:       5712 | 3.188
1394.34/1394.66	c total clause space: 545.701MB
1394.34/1394.66	c total #watches: 1604598
1472.83/1473.18	c total #propagations: 32154731 / total #impl: 3710374695 (eff. 0.009)
1472.83/1473.18	c #Conflicts:      52000 | #Learnt:       6712 | 3.184
1472.83/1473.18	c total clause space: 545.701MB
1472.83/1473.18	c total #watches: 1719139
1618.21/1618.57	c total #propagations: 33315849 / total #impl: 3770490854 (eff. 0.009)
1618.21/1618.57	c #Conflicts:      53000 | #Learnt:       7712 | 3.132
1618.21/1618.57	c total clause space: 545.701MB
1618.21/1618.58	c total #watches: 1811858

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-4100655-1466243942/watcher-4100655-1466243942 -o /tmp/evaluation-result-4100655-1466243942/solver-4100655-1466243942 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466229528-27533 --watchdog 1960 --input HOME/instance-4100655-1466243942.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=29343
running on 8 cores: 0-3,8-11

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: 1.93 2.00 1.99 3/258 29346
/proc/meminfo: memFree=31368460/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=56116 CPUtime=0 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 313 0 0 0 0 0 0 0 20 0 1 0 26438829 57462784 10926 33554432000 4194304 6211289 140736911239040 140737281722248 4261036 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 14029 10926 120 493 0 13526 0

[startup+0.100124 s]
/proc/loadavg: 1.93 2.00 1.99 3/258 29346
/proc/meminfo: memFree=31368460/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=59552 CPUtime=0.09 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 1244 0 0 0 9 0 0 0 20 0 1 0 26438829 60981248 11673 33554432000 4194304 6211289 140736911239040 140737281722248 5418912 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 14888 11673 121 493 0 14385 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 59552

[startup+0.200289 s]
/proc/loadavg: 1.93 2.00 1.99 3/258 29346
/proc/meminfo: memFree=31368460/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=72516 CPUtime=0.19 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 3281 0 0 0 18 1 0 0 20 0 1 0 26438829 74256384 15754 33554432000 4194304 6211289 140736911239040 140737281722248 5161098 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 18129 15754 144 493 0 17626 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 72516

[startup+0.300336 s]
/proc/loadavg: 1.93 2.00 1.99 3/258 29346
/proc/meminfo: memFree=31368460/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=78420 CPUtime=0.29 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 3883 0 0 0 28 1 0 0 20 0 1 0 26438829 80302080 16867 33554432000 4194304 6211289 140736911239040 140737281722248 4228081 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 19605 16867 144 493 0 19102 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 78420

[startup+0.700268 s]
/proc/loadavg: 1.93 2.00 1.99 3/258 29346
/proc/meminfo: memFree=31368460/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=95088 CPUtime=0.69 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 6569 0 0 0 67 2 0 0 20 0 1 0 26438829 97370112 20861 33554432000 4194304 6211289 140736911239040 140736911236584 4229205 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 23772 20861 144 493 0 23269 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 95088

[startup+1.5002 s]
/proc/loadavg: 1.93 2.00 1.99 3/259 29347
/proc/meminfo: memFree=31282232/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=102268 CPUtime=1.49 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 7047 0 0 0 147 2 0 0 20 0 1 0 26438829 104722432 21667 33554432000 4194304 6211289 140736911239040 140736911237272 4209501 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 25567 21667 150 493 0 25064 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 102268

[startup+3.10023 s]
/proc/loadavg: 1.93 2.00 1.99 3/259 29347
/proc/meminfo: memFree=31279928/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=102268 CPUtime=3.09 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 7059 0 0 0 307 2 0 0 20 0 1 0 26438829 104722432 22701 33554432000 4194304 6211289 140736911239040 140736911237384 4209388 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 25567 22701 160 493 0 25064 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 102268

[startup+6.30023 s]
/proc/loadavg: 1.94 2.00 1.99 3/259 29347
/proc/meminfo: memFree=31277360/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=102268 CPUtime=6.29 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 7066 0 0 0 627 2 0 0 20 0 1 0 26438829 104722432 22706 33554432000 4194304 6211289 140736911239040 140736911237384 4209484 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 25567 22706 160 493 0 25064 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 102268

[startup+12.7002 s]
/proc/loadavg: 1.94 2.00 1.99 3/259 29347
/proc/meminfo: memFree=31274244/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=113944 CPUtime=12.69 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 7269 0 0 0 1267 2 0 0 20 0 1 0 26438829 116678656 23343 33554432000 4194304 6211289 140736911239040 140736911237272 4209314 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 28486 23343 160 493 0 27983 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 113944

[startup+25.5003 s]
/proc/loadavg: 1.96 2.00 1.99 3/259 29347
/proc/meminfo: memFree=31271692/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=114224 CPUtime=25.49 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 7488 0 0 0 2547 2 0 0 20 0 1 0 26438829 116965376 24000 33554432000 4194304 6211289 140736911239040 140736911237032 4241818 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 28556 24000 160 493 0 28053 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 114224

[startup+51.1003 s]
/proc/loadavg: 2.08 2.03 2.00 3/259 29347
/proc/meminfo: memFree=31270088/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=115676 CPUtime=51.08 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 7965 0 0 0 5106 2 0 0 20 0 1 0 26438829 118452224 24469 33554432000 4194304 6211289 140736911239040 140736911237384 4209376 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 28919 24469 165 493 0 28416 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 115676

[startup+102.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/260 29351
/proc/meminfo: memFree=31263992/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=116788 CPUtime=102.28 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 8232 0 0 0 10226 2 0 0 20 0 1 0 26438829 119590912 25758 33554432000 4194304 6211289 140736911239040 140736911237032 4241818 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 29197 25758 165 493 0 28694 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 116788

[startup+162.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/260 29421
/proc/meminfo: memFree=31553560/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=144264 CPUtime=162.26 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 11106 0 0 0 16223 3 0 0 20 0 1 0 26438829 147726336 30259 33554432000 4194304 6211289 140736911239040 140736911237032 4209392 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 36066 30259 165 493 0 35563 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 144264

[startup+222.31 s]
/proc/loadavg: 2.04 2.04 2.00 3/259 29422
/proc/meminfo: memFree=31489632/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=146996 CPUtime=222.26 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 11755 0 0 0 22222 4 0 0 20 0 1 0 26438829 150523904 33571 33554432000 4194304 6211289 140736911239040 140736911237032 4209464 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 36749 33571 165 493 0 36246 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 146996

[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/259 29423
/proc/meminfo: memFree=31438412/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=147288 CPUtime=282.24 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 11852 0 0 0 28220 4 0 0 20 0 1 0 26438829 150822912 34703 33554432000 4194304 6211289 140736911239040 140736911237032 4209464 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 36822 34703 165 493 0 36319 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 147288

[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/259 29425
/proc/meminfo: memFree=31376056/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=147424 CPUtime=342.23 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 11905 0 0 0 34219 4 0 0 20 0 1 0 26438829 150962176 34756 33554432000 4194304 6211289 140736911239040 140736911236904 4209388 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 36856 34756 165 493 0 36353 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 147424

[startup+402.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/259 29426
/proc/meminfo: memFree=31359176/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=181112 CPUtime=402.22 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 13160 0 0 0 40218 4 0 0 20 0 1 0 26438829 185458688 36313 33554432000 4194304 6211289 140736911239040 140736911237032 4209396 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 45278 36313 165 493 0 44775 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 181112

[startup+462.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/259 29427
/proc/meminfo: memFree=31291808/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=182716 CPUtime=462.22 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 13581 0 0 0 46217 5 0 0 20 0 1 0 26438829 187101184 38267 33554432000 4194304 6211289 140736911239040 140736911237032 4209388 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 45679 38267 165 493 0 45176 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 182716

[startup+522.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/259 29428
/proc/meminfo: memFree=31245420/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=183552 CPUtime=522.21 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 13900 0 0 0 52216 5 0 0 20 0 1 0 26438829 187957248 38969 33554432000 4194304 6211289 140736911239040 140736911237032 4209464 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 45888 38969 165 493 0 45385 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 183552

[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/259 29429
/proc/meminfo: memFree=31170560/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=191208 CPUtime=582.19 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 16034 0 0 0 58214 5 0 0 20 0 1 0 26438829 195796992 43646 33554432000 4194304 6211289 140736911239040 140736911237032 4209388 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 47802 43646 165 493 0 47299 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 191208


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


[startup+882.31 s]
/proc/loadavg: 2.00 2.03 2.00 3/259 29438
/proc/meminfo: memFree=31007324/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=261812 CPUtime=882.15 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 21013 0 0 0 88209 6 0 0 20 0 1 0 26438829 268095488 52656 33554432000 4194304 6211289 140736911239040 140736911237384 4201991 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 65453 52656 165 493 0 64950 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 261812

[startup+942.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/259 29440
/proc/meminfo: memFree=30995076/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=261812 CPUtime=942.13 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 21344 0 0 0 94207 6 0 0 20 0 1 0 26438829 268095488 52661 33554432000 4194304 6211289 140736911239040 140736911237384 4209497 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 65453 52661 165 493 0 64950 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 261812

[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/259 29441
/proc/meminfo: memFree=30978164/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=261952 CPUtime=1002.12 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 21367 0 0 0 100206 6 0 0 20 0 1 0 26438829 268238848 52684 33554432000 4194304 6211289 140736911239040 140736911237032 4209497 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 65488 52684 165 493 0 64985 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 261952

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/259 29442
/proc/meminfo: memFree=30917516/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=262648 CPUtime=1062.11 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 21529 0 0 0 106205 6 0 0 20 0 1 0 26438829 268951552 52846 33554432000 4194304 6211289 140736911239040 140736911237032 4209501 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 65662 52846 165 493 0 65159 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 262648

[startup+1122.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/259 29443
/proc/meminfo: memFree=30312728/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=1110856 CPUtime=1122.1 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 46449 0 0 0 112189 21 0 0 20 0 1 0 26438829 1137516544 198196 33554432000 4194304 6211289 140736911239040 140736911236760 4241789 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 277714 198196 219 493 0 277211 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 1110856

[startup+1182.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/259 29444
/proc/meminfo: memFree=30306520/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=1110856 CPUtime=1182.09 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 46467 0 0 0 118188 21 0 0 20 0 1 0 26438829 1137516544 199535 33554432000 4194304 6211289 140736911239040 140736911237384 4209376 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 277714 199535 219 493 0 277211 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 1110856

[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/259 29446
/proc/meminfo: memFree=30303872/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=1110856 CPUtime=1242.07 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 46486 0 0 0 124186 21 0 0 20 0 1 0 26438829 1137516544 199535 33554432000 4194304 6211289 140736911239040 140736911237384 4209403 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 277714 199535 219 493 0 277211 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 1110856

[startup+1302.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/260 29450
/proc/meminfo: memFree=30301912/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=1111128 CPUtime=1302.06 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 46544 0 0 0 130185 21 0 0 20 0 1 0 26438829 1137795072 199706 33554432000 4194304 6211289 140736911239040 140736911237032 4209411 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 277782 199706 219 493 0 277279 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1111128

[startup+1362.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/259 29451
/proc/meminfo: memFree=30297764/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=1111436 CPUtime=1362.05 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 46625 0 0 0 136184 21 0 0 20 0 1 0 26438829 1138110464 199932 33554432000 4194304 6211289 140736911239040 140736911237032 4209388 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 277859 199932 219 493 0 277356 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1111436

[startup+1422.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/259 29452
/proc/meminfo: memFree=30296784/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=1111572 CPUtime=1422.05 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 46697 0 0 0 142184 21 0 0 20 0 1 0 26438829 1138249728 200004 33554432000 4194304 6211289 140736911239040 140736911237032 4209392 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 277893 200004 219 493 0 277390 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1111572

[startup+1482.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/259 29453
/proc/meminfo: memFree=30293324/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=1111572 CPUtime=1482.03 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 46703 0 0 0 148182 21 0 0 20 0 1 0 26438829 1138249728 200010 33554432000 4194304 6211289 140736911239040 140736911237384 4209376 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 277893 200010 219 493 0 277390 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1111572

[startup+1542.31 s]
/proc/loadavg: 2.02 2.04 2.00 3/259 29455
/proc/meminfo: memFree=30283232/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=1111572 CPUtime=1542.03 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 46708 0 0 0 154182 21 0 0 20 0 1 0 26438829 1138249728 201199 33554432000 4194304 6211289 140736911239040 140736911237384 4209392 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 277893 201199 219 493 0 277390 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1111572

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/259 29456
/proc/meminfo: memFree=30281348/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=1111704 CPUtime=1602.01 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 46749 0 0 0 160180 21 0 0 20 0 1 0 26438829 1138384896 201464 33554432000 4194304 6211289 140736911239040 140736911237032 4209507 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 277926 201464 219 493 0 277423 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1111704

[startup+1662.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/259 29457
/proc/meminfo: memFree=30280496/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=1112148 CPUtime=1662 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 46844 0 0 0 166179 21 0 0 20 0 1 0 26438829 1138839552 201692 33554432000 4194304 6211289 140736911239040 140736911237032 4209501 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 278037 201692 219 493 0 277534 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 1112148

[startup+1722.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/259 29458
/proc/meminfo: memFree=30279336/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=1112544 CPUtime=1721.99 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 46950 0 0 0 172178 21 0 0 20 0 1 0 26438829 1139245056 201798 33554432000 4194304 6211289 140736911239040 140736911236904 4209403 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 278136 201798 219 493 0 277633 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 1112544

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/259 29459
/proc/meminfo: memFree=30277180/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=1112816 CPUtime=1781.98 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 46988 0 0 0 178177 21 0 0 20 0 1 0 26438829 1139523584 201836 33554432000 4194304 6211289 140736911239040 140736911237032 4209497 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 278204 201836 219 493 0 277701 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 1112816



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.01 2.03 2.00 3/259 29459
/proc/meminfo: memFree=30276684/32872528 swapFree=7804/7804
[pid=29346] ppid=29343 vsize=1112816 CPUtime=1800.08 cores=0-3,8-11
/proc/29346/stat : 29346 (cdcl-cuttingpla) R 29343 29346 27517 0 -1 4202496 46988 0 0 0 179987 21 0 0 20 0 1 0 26438829 1139523584 201836 33554432000 4194304 6211289 140736911239040 140736911237032 4209396 0 0 4096 8388610 0 0 0 17 10 0 0 0 0 0
/proc/29346/statm: 278204 201836 219 493 0 277701 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1112816

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 29346 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.4
CPU time (s): 1800.09
CPU user time (s): 1799.87
CPU system time (s): 0.219966
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 1112816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.219966
maximum resident set size= 807344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46988
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= 64
involuntary context switches= 1848

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.67498 second user time and 9.72852 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-18 11:59:02
IDJOB=4100655
IDBENCH=1644
IDSOLVER=2549
FILE ID=node132/4100655-1466243942
RUNJOBID= node132-1466229528-27533
PBS_JOBID= 19918175
Free space on /tmp= 71728 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-maros.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100655-1466243942/watcher-4100655-1466243942 -o /tmp/evaluation-result-4100655-1466243942/solver-4100655-1466243942 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466229528-27533 --watchdog 1960 --input HOME/instance-4100655-1466243942.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= ffbe7c5e96212b70bc71f745eee091ea
RANDOM SEED=2132173317

node132.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		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5333.53
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		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 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		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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.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		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        31368848 kB
Buffers:           87716 kB
Cached:           163612 kB
SwapCached:         1776 kB
Active:           561664 kB
Inactive:         185292 kB
Active(anon):     495352 kB
Inactive(anon):     2992 kB
Active(file):      66312 kB
Inactive(file):   182300 kB
Unevictable:        7804 kB
Mlocked:            7804 kB
SwapTotal:      67108856 kB
SwapFree:       67099332 kB
Dirty:              5332 kB
Writeback:             0 kB
AnonPages:        549808 kB
Mapped:             8396 kB
Shmem:                 0 kB
Slab:             607088 kB
SReclaimable:      47360 kB
SUnreclaim:       559728 kB
KernelStack:        2192 kB
PageTables:         5376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     637580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    528384 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= 71728 MiB
End job on node132 at 2016-06-18 12:29:03