Trace number 4105944

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 linear search 2016-05-01? (TO) 1800.03 1800.3

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/reduced/
submittedPB07/aksoy/trarea_ac/normalized-reduced-fir10_trarea_ac.opb
MD5SUM7ed8ae7116a489c037a0d97015217f38
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1691
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1646
Optimality of the best value was proved YES
Number of variables26836
Total number of constraints55586
Number of constraints which are clauses55586
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint359
Number of terms in the objective function 13364
Biggest coefficient in the objective function 54
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 530936
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 54
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 530936
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.00/0.00	c * #variable= 26836 #constraint= 55586
49.49/49.59	c #Conflicts:       1000 | #Learnt:       1000 | 0.000
49.49/49.59	c total clause space: 18.2382MB
49.49/49.59	c total #watches: 268845
92.17/92.20	c total #propagations: 12506435 / total #impl: 20514815 (eff. 0.610)
92.17/92.20	c #Conflicts:       2000 | #Learnt:       2000 | 0.000
92.17/92.20	c total clause space: 29.637MB
92.17/92.20	c total #watches: 364888
118.47/118.52	c total #propagations: 29279941 / total #impl: 46512460 (eff. 0.630)
118.47/118.52	c GC COLLECT
118.47/118.52	c #Conflicts:       3000 | #Learnt:       2008 | 0.000
118.47/118.52	c total clause space: 29.637MB
118.47/118.52	c total #watches: 461731
178.47/178.53	c total #propagations: 42942519 / total #impl: 94663910 (eff. 0.454)
178.47/178.53	c #Conflicts:       4000 | #Learnt:       3008 | 0.000
178.47/178.53	c total clause space: 48.1602MB
178.47/178.53	c total #watches: 518990
218.87/218.99	c total #propagations: 59539679 / total #impl: 130286554 (eff. 0.457)
218.87/218.99	c GC COLLECT
218.87/218.99	c #Conflicts:       5000 | #Learnt:       2472 | 0.000
218.87/218.99	c total clause space: 48.1602MB
218.87/218.99	c total #watches: 448635
249.66/249.77	c total #propagations: 76928627 / total #impl: 178547589 (eff. 0.431)
249.66/249.77	c #Conflicts:       6000 | #Learnt:       3472 | 0.000
249.66/249.77	c total clause space: 48.1602MB
249.66/249.77	c total #watches: 595244
294.94/295.00	c total #propagations: 92600959 / total #impl: 229345046 (eff. 0.404)
294.94/295.00	c GC COLLECT
294.94/295.00	c #Conflicts:       7000 | #Learnt:       2372 | 0.000
294.94/295.00	c total clause space: 78.2603MB
294.94/295.00	c total #watches: 649317
336.04/336.19	c total #propagations: 107026954 / total #impl: 298148515 (eff. 0.359)
336.04/336.19	c #Conflicts:       8000 | #Learnt:       3372 | 0.000
336.04/336.19	c total clause space: 78.2603MB
336.04/336.19	c total #watches: 753297
374.14/374.23	c total #propagations: 119708174 / total #impl: 375383923 (eff. 0.319)
374.14/374.23	c #Conflicts:       9000 | #Learnt:       4372 | 0.000
374.14/374.23	c total clause space: 78.2603MB
374.14/374.23	c total #watches: 1018559
400.44/400.58	c total #propagations: 135283248 / total #impl: 434590507 (eff. 0.311)
400.44/400.58	c GC COLLECT
400.44/400.58	c #Conflicts:      10000 | #Learnt:       2793 | 0.000
400.44/400.58	c total clause space: 78.2603MB
400.44/400.58	c total #watches: 1122686
428.12/428.28	c total #propagations: 147976957 / total #impl: 515515192 (eff. 0.287)
428.12/428.28	c #Conflicts:      11000 | #Learnt:       3793 | 0.000
428.12/428.28	c total clause space: 127.173MB
428.12/428.28	c total #watches: 1762708
506.71/506.81	c total #propagations: 162206663 / total #impl: 906768211 (eff. 0.179)
506.71/506.81	c #Conflicts:      12000 | #Learnt:       4793 | 0.000
506.71/506.81	c total clause space: 127.173MB
506.71/506.81	c total #watches: 1842928
564.32/564.46	c total #propagations: 178679172 / total #impl: 1999312029 (eff. 0.089)
564.32/564.46	c #Conflicts:      13000 | #Learnt:       5793 | 0.000
564.32/564.46	c total clause space: 127.173MB
564.32/564.46	c total #watches: 1938385
599.90/600.01	c total #propagations: 193920184 / total #impl: 2274496040 (eff. 0.085)
599.90/600.01	c GC COLLECT
599.90/600.01	c #Conflicts:      14000 | #Learnt:       3904 | 0.000
599.90/600.01	c total clause space: 127.173MB
599.90/600.01	c total #watches: 1786486
662.49/662.67	c total #propagations: 206768684 / total #impl: 2376452484 (eff. 0.087)
662.49/662.67	c #Conflicts:      15000 | #Learnt:       4904 | 0.000
662.49/662.67	c total clause space: 127.173MB
662.49/662.67	c total #watches: 1843115
719.79/719.95	c total #propagations: 222123780 / total #impl: 2524971095 (eff. 0.088)
719.79/719.95	c #Conflicts:      16000 | #Learnt:       5904 | 0.000
719.79/719.95	c total clause space: 127.173MB
719.79/719.95	c total #watches: 1948587
755.18/755.31	c total #propagations: 236425385 / total #impl: 2598157672 (eff. 0.091)
755.18/755.31	c GC COLLECT
755.18/755.31	c #Conflicts:      17000 | #Learnt:       3707 | 0.000
755.18/755.31	c total clause space: 127.173MB
755.18/755.31	c total #watches: 1472495
804.27/804.44	c total #propagations: 246118510 / total #impl: 2668051457 (eff. 0.092)
804.27/804.44	c #Conflicts:      18000 | #Learnt:       4707 | 0.000
804.27/804.44	c total clause space: 127.173MB
804.27/804.44	c total #watches: 1481668
831.27/831.43	c total #propagations: 258855823 / total #impl: 2722194664 (eff. 0.095)
831.27/831.43	c #Conflicts:      19000 | #Learnt:       5707 | 0.000
831.27/831.43	c total clause space: 127.173MB
831.27/831.43	c total #watches: 1483796
899.36/899.53	c total #propagations: 274735867 / total #impl: 2766170519 (eff. 0.099)
899.36/899.53	c #Conflicts:      20000 | #Learnt:       6707 | 0.000
899.36/899.53	c total clause space: 127.173MB
899.36/899.53	c total #watches: 1485964
958.75/958.98	c total #propagations: 291001534 / total #impl: 2907950136 (eff. 0.100)
958.75/958.98	c GC COLLECT
958.75/958.98	c #Conflicts:      21000 | #Learnt:       4258 | 0.000
958.75/958.98	c total clause space: 127.173MB
958.75/958.98	c total #watches: 802074
987.94/988.17	c total #propagations: 307098128 / total #impl: 3232686909 (eff. 0.095)
987.94/988.17	c #Conflicts:      22000 | #Learnt:       5258 | 0.000
987.94/988.17	c total clause space: 127.173MB
987.94/988.17	c total #watches: 977212
1029.44/1029.67	c total #propagations: 324042228 / total #impl: 3306176498 (eff. 0.098)
1029.44/1029.67	c #Conflicts:      23000 | #Learnt:       6258 | 0.000
1029.44/1029.67	c total clause space: 127.173MB
1029.44/1029.67	c total #watches: 1067481
1054.73/1055.00	c total #propagations: 337441441 / total #impl: 3374093359 (eff. 0.100)
1054.73/1055.00	c #Conflicts:      24000 | #Learnt:       7258 | 0.000
1054.73/1055.00	c total clause space: 127.173MB
1054.73/1055.00	c total #watches: 1106969
1077.22/1077.42	c total #propagations: 350100183 / total #impl: 3422095242 (eff. 0.102)
1077.22/1077.42	c GC COLLECT
1077.22/1077.42	c #Conflicts:      25000 | #Learnt:       4453 | 0.000
1077.22/1077.42	c total clause space: 127.173MB
1077.22/1077.42	c total #watches: 780728
1098.52/1098.75	c total #propagations: 358476337 / total #impl: 3453590295 (eff. 0.104)
1098.52/1098.75	c #Conflicts:      26000 | #Learnt:       5453 | 0.000
1098.52/1098.75	c total clause space: 127.173MB
1098.52/1098.75	c total #watches: 792168
1122.82/1123.01	c total #propagations: 366828475 / total #impl: 3478767381 (eff. 0.105)
1122.82/1123.01	c #Conflicts:      27000 | #Learnt:       6453 | 0.000
1122.82/1123.01	c total clause space: 127.173MB
1122.82/1123.01	c total #watches: 816493
1150.21/1150.45	c total #propagations: 376192828 / total #impl: 3511696681 (eff. 0.107)
1150.21/1150.45	c #Conflicts:      28000 | #Learnt:       7453 | 0.000
1150.21/1150.45	c total clause space: 127.173MB
1150.21/1150.45	c total #watches: 818538
1181.41/1181.62	c total #propagations: 386153873 / total #impl: 3546187999 (eff. 0.109)
1181.41/1181.62	c GC COLLECT
1181.41/1181.62	c #Conflicts:      29000 | #Learnt:       4425 | 0.000
1181.41/1181.62	c total clause space: 127.173MB
1181.41/1181.62	c total #watches: 488138
1210.30/1210.51	c total #propagations: 398577459 / total #impl: 3576698767 (eff. 0.111)
1210.30/1210.51	c #Conflicts:      30000 | #Learnt:       5425 | 0.000
1210.30/1210.51	c total clause space: 127.173MB
1210.30/1210.51	c total #watches: 493008
1238.60/1238.89	c total #propagations: 412391846 / total #impl: 3623537036 (eff. 0.114)
1238.60/1238.89	c #Conflicts:      31000 | #Learnt:       6425 | 0.000
1238.60/1238.89	c total clause space: 127.173MB
1238.60/1238.89	c total #watches: 544474
1247.39/1247.64	c total #propagations: 429918094 / total #impl: 3696647809 (eff. 0.116)
1247.39/1247.64	c #Conflicts:      32000 | #Learnt:       7425 | 0.000
1247.39/1247.64	c total clause space: 127.173MB
1247.39/1247.64	c total #watches: 717290
1261.99/1262.22	c total #propagations: 442281627 / total #impl: 3723007882 (eff. 0.119)
1261.99/1262.22	c #Conflicts:      33000 | #Learnt:       8425 | 0.000
1261.99/1262.22	c total clause space: 127.173MB
1261.99/1262.22	c total #watches: 846882
1273.79/1274.08	c total #propagations: 460070654 / total #impl: 3753081454 (eff. 0.123)
1273.79/1274.08	c GC COLLECT
1273.79/1274.08	c #Conflicts:      34000 | #Learnt:       4977 | 0.000
1273.79/1274.08	c total clause space: 127.173MB
1273.79/1274.08	c total #watches: 640821
1283.69/1283.98	c total #propagations: 478196890 / total #impl: 3785117306 (eff. 0.126)
1283.69/1283.98	c #Conflicts:      35000 | #Learnt:       5977 | 0.144
1283.69/1283.98	c total clause space: 127.173MB
1283.69/1283.98	c total #watches: 654746
1295.99/1296.26	c total #propagations: 494373515 / total #impl: 3812271069 (eff. 0.130)
1295.99/1296.26	c #Conflicts:      36000 | #Learnt:       6977 | 0.140
1295.99/1296.26	c total clause space: 127.173MB
1295.99/1296.26	c total #watches: 681473
1319.98/1320.20	c total #propagations: 506136939 / total #impl: 3846748963 (eff. 0.132)
1319.98/1320.20	c #Conflicts:      37000 | #Learnt:       7977 | 0.137
1319.98/1320.20	c total clause space: 127.173MB
1319.98/1320.20	c total #watches: 710338
1343.88/1344.10	c total #propagations: 521687741 / total #impl: 3875144756 (eff. 0.135)
1343.88/1344.10	c #Conflicts:      38000 | #Learnt:       8977 | 0.133
1343.88/1344.10	c total clause space: 127.173MB
1343.88/1344.10	c total #watches: 783459
1357.68/1357.92	c total #propagations: 537429003 / total #impl: 3918622564 (eff. 0.137)
1357.68/1357.92	c GC COLLECT
1357.68/1357.92	c #Conflicts:      39000 | #Learnt:       5241 | 0.130
1357.68/1357.92	c total clause space: 127.173MB
1357.68/1357.92	c total #watches: 635285
1367.88/1368.14	c total #propagations: 547576552 / total #impl: 3957021353 (eff. 0.138)
1367.88/1368.14	c #Conflicts:      40000 | #Learnt:       6241 | 0.126
1367.88/1368.14	c total clause space: 127.173MB
1367.88/1368.14	c total #watches: 671395
1376.68/1376.93	c total #propagations: 551823019 / total #impl: 3974790099 (eff. 0.139)
1376.68/1376.93	c #Conflicts:      41000 | #Learnt:       7241 | 0.123
1376.68/1376.93	c total clause space: 127.173MB
1376.68/1376.93	c total #watches: 770835
1386.08/1386.35	c total #propagations: 555933491 / total #impl: 3994742093 (eff. 0.139)
1386.08/1386.35	c #Conflicts:      42000 | #Learnt:       8241 | 0.120
1386.08/1386.35	c total clause space: 127.173MB
1386.08/1386.35	c total #watches: 986992
1393.58/1393.86	c total #propagations: 559348225 / total #impl: 4028863518 (eff. 0.139)
1393.58/1393.86	c #Conflicts:      43000 | #Learnt:       9241 | 0.117
1393.58/1393.86	c total clause space: 127.173MB
1393.58/1393.86	c total #watches: 1156551
1402.47/1402.76	c total #propagations: 563428951 / total #impl: 4068008441 (eff. 0.139)
1402.47/1402.76	c GC COLLECT
1402.47/1402.76	c #Conflicts:      44000 | #Learnt:       5227 | 0.115
1402.47/1402.76	c total clause space: 127.173MB
1402.47/1402.76	c total #watches: 1178850
1414.57/1414.88	c total #propagations: 567207706 / total #impl: 4105389631 (eff. 0.138)
1414.57/1414.88	c #Conflicts:      45000 | #Learnt:       6227 | 0.112
1414.57/1414.88	c total clause space: 127.173MB
1414.57/1414.88	c total #watches: 1326841
1446.16/1446.44	c total #propagations: 571642126 / total #impl: 4143581174 (eff. 0.138)
1446.16/1446.44	c #Conflicts:      46000 | #Learnt:       7227 | 0.110
1446.16/1446.44	c total clause space: 127.173MB
1446.16/1446.44	c total #watches: 1466880
1528.25/1528.52	c total #propagations: 586333895 / total #impl: 4184429565 (eff. 0.140)
1528.25/1528.52	c #Conflicts:      47000 | #Learnt:       8227 | 0.107
1528.25/1528.52	c total clause space: 127.173MB
1528.25/1528.53	c total #watches: 1594087
1627.44/1627.73	c total #propagations: 603249083 / total #impl: 4271011608 (eff. 0.141)
1627.44/1627.73	c #Conflicts:      48000 | #Learnt:       9227 | 0.105
1627.44/1627.73	c total clause space: 127.173MB
1627.44/1627.73	c total #watches: 1620971
1699.12/1699.49	c total #propagations: 621493660 / total #impl: 4363162516 (eff. 0.142)
1699.12/1699.49	c #Conflicts:      49000 | #Learnt:      10227 | 0.103
1699.12/1699.49	c total clause space: 127.173MB
1699.12/1699.49	c total #watches: 1647421
1768.92/1769.22	c total #propagations: 639314637 / total #impl: 4436167823 (eff. 0.144)
1768.92/1769.22	c GC COLLECT
1768.92/1769.22	c #Conflicts:      50000 | #Learnt:       5918 | 0.101
1768.92/1769.22	c total clause space: 127.173MB
1768.92/1769.22	c total #watches: 1353484
1785.72/1786.01	c total #propagations: 652937762 / total #impl: 4493969499 (eff. 0.145)
1785.72/1786.01	c #Conflicts:      51000 | #Learnt:       6918 | 0.099
1785.72/1786.01	c total clause space: 127.173MB
1785.72/1786.01	c total #watches: 1492460

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-4105944-1466270788/watcher-4105944-1466270788 -o /tmp/evaluation-result-4105944-1466270788/solver-4105944-1466270788 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466240371-6523 --watchdog 1960 --input HOME/instance-4105944-1466270788.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=10121
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.41 2.36 2.29 3/176 10124
/proc/meminfo: memFree=30118680/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=29112 CPUtime=0 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 29125961 29810688 5269 33554432000 4194304 6201397 140736978800160 140736107189288 5194148 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 7278 5269 130 491 0 6777 0

[startup+0.100164 s]
/proc/loadavg: 2.41 2.36 2.29 3/176 10124
/proc/meminfo: memFree=30118680/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=34664 CPUtime=0.09 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 1393 0 0 0 9 0 0 0 20 0 1 0 29125961 35495936 7538 33554432000 4194304 6201397 140736978800160 140736978798296 4207438 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 8666 7539 142 491 0 8165 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34664

[startup+0.20036 s]
/proc/loadavg: 2.41 2.36 2.29 3/176 10124
/proc/meminfo: memFree=30118680/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=42856 CPUtime=0.19 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 2672 0 0 0 19 0 0 0 20 0 1 0 29125961 43884544 8862 33554432000 4194304 6201397 140736978800160 140736978798296 4207438 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 10714 8863 143 491 0 10213 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 42856

[startup+0.300331 s]
/proc/loadavg: 2.41 2.36 2.29 3/176 10124
/proc/meminfo: memFree=30118680/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=43808 CPUtime=0.29 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 3257 0 0 0 29 0 0 0 20 0 1 0 29125961 44859392 9774 33554432000 4194304 6201397 140736978800160 140736978798296 4219271 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 10952 9774 147 491 0 10451 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43808

[startup+0.700236 s]
/proc/loadavg: 2.41 2.36 2.29 3/176 10124
/proc/meminfo: memFree=30118680/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=43808 CPUtime=0.69 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 3262 0 0 0 69 0 0 0 20 0 1 0 29125961 44859392 9779 33554432000 4194304 6201397 140736978800160 140736978798296 4216020 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 10952 9779 147 491 0 10451 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43808

[startup+1.50023 s]
/proc/loadavg: 2.41 2.36 2.29 3/177 10125
/proc/meminfo: memFree=30079736/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=43968 CPUtime=1.49 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 3302 0 0 0 149 0 0 0 20 0 1 0 29125961 45023232 9819 33554432000 4194304 6201397 140736978800160 140736978798440 4214954 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 10992 9819 147 491 0 10491 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43968

[startup+3.10023 s]
/proc/loadavg: 2.41 2.36 2.29 4/177 10125
/proc/meminfo: memFree=30079240/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=44208 CPUtime=3.09 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 3362 0 0 0 309 0 0 0 20 0 1 0 29125961 45268992 9879 33554432000 4194304 6201397 140736978800160 140736978798440 4216020 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 11052 9879 147 491 0 10551 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44208

[startup+6.30024 s]
/proc/loadavg: 2.38 2.35 2.29 4/177 10125
/proc/meminfo: memFree=30079128/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=44208 CPUtime=6.29 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 3448 0 0 0 629 0 0 0 20 0 1 0 29125961 45268992 9944 33554432000 4194304 6201397 140736978800160 140736978798440 4215962 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 11052 9944 147 491 0 10551 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44208

[startup+12.7002 s]
/proc/loadavg: 2.43 2.36 2.29 4/177 10125
/proc/meminfo: memFree=30078656/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=44348 CPUtime=12.69 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 3558 0 0 0 1269 0 0 0 20 0 1 0 29125961 45412352 10017 33554432000 4194304 6201397 140736978800160 140736978798440 4214942 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 11087 10017 147 491 0 10586 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44348

[startup+25.5004 s]
/proc/loadavg: 2.41 2.36 2.29 4/177 10125
/proc/meminfo: memFree=30077944/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=51660 CPUtime=25.48 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 3874 0 0 0 2548 0 0 0 20 0 1 0 29125961 52899840 10223 33554432000 4194304 6201397 140736978800160 140736978798440 4236224 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 12915 10223 147 491 0 12414 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 51660

[startup+51.1003 s]
/proc/loadavg: 2.34 2.35 2.29 3/177 10125
/proc/meminfo: memFree=30071620/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=53404 CPUtime=51.09 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 4574 0 0 0 5108 1 0 0 20 0 1 0 29125961 54685696 11862 33554432000 4194304 6201397 140736978800160 140736978799288 4216020 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 13351 11862 160 491 0 12850 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 53404

[startup+102.3 s]
/proc/loadavg: 2.19 2.31 2.27 3/177 10127
/proc/meminfo: memFree=30054156/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=67736 CPUtime=102.28 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 6231 0 0 0 10227 1 0 0 20 0 1 0 29125961 69361664 14655 33554432000 4194304 6201397 140736978800160 140736978798872 4214898 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 16934 14655 166 491 0 16433 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 67736

[startup+162.3 s]
/proc/loadavg: 2.34 2.32 2.28 4/177 10128
/proc/meminfo: memFree=30039820/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=68488 CPUtime=162.27 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 6473 0 0 0 16225 2 0 0 20 0 1 0 29125961 70131712 15851 33554432000 4194304 6201397 140736978800160 140736978798440 4214911 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 17122 15851 166 491 0 16621 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 68488

[startup+222.307 s]
/proc/loadavg: 2.36 2.32 2.28 4/178 10132
/proc/meminfo: memFree=30030956/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=87820 CPUtime=222.27 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 7359 0 0 0 22225 2 0 0 20 0 1 0 29125961 89927680 17402 33554432000 4194304 6201397 140736978800160 140736978799288 4215952 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 21955 17402 166 491 0 21454 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 87820

[startup+282.3 s]
/proc/loadavg: 2.37 2.32 2.28 3/177 10133
/proc/meminfo: memFree=30015288/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=90704 CPUtime=282.25 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 8196 0 0 0 28223 2 0 0 20 0 1 0 29125961 92880896 21266 33554432000 4194304 6201397 140736978800160 140736978798872 4214919 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 22676 21266 166 491 0 22175 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 90704

[startup+342.3 s]
/proc/loadavg: 2.31 2.31 2.27 4/177 10134
/proc/meminfo: memFree=30007968/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=123124 CPUtime=342.24 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 9523 0 0 0 34221 3 0 0 20 0 1 0 29125961 126078976 23077 33554432000 4194304 6201397 140736978800160 140736978798440 4214961 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 30781 23077 166 491 0 30280 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 123124

[startup+402.3 s]
/proc/loadavg: 2.36 2.33 2.28 3/177 10136
/proc/meminfo: memFree=29983704/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=128252 CPUtime=402.23 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 11133 0 0 0 40220 3 0 0 20 0 1 0 29125961 131330048 29140 33554432000 4194304 6201397 140736978800160 140736978799288 4213249 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 32063 29140 166 491 0 31562 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 128252

[startup+462.3 s]
/proc/loadavg: 2.36 2.32 2.28 3/177 10137
/proc/meminfo: memFree=29957532/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=186452 CPUtime=462.22 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 13518 0 0 0 46219 3 0 0 20 0 1 0 29125961 190926848 34466 33554432000 4194304 6201397 140736978800160 140736978798440 4214965 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 46613 34466 166 491 0 46112 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 186452

[startup+522.3 s]
/proc/loadavg: 2.41 2.34 2.28 4/177 10138
/proc/meminfo: memFree=29950024/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=187404 CPUtime=522.21 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 13784 0 0 0 52218 3 0 0 20 0 1 0 29125961 191901696 36776 33554432000 4194304 6201397 140736978800160 140736978798440 4214954 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 46851 36776 166 491 0 46350 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 187404

[startup+582.3 s]
/proc/loadavg: 2.29 2.31 2.27 3/177 10139
/proc/meminfo: memFree=29944240/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=187736 CPUtime=582.21 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 14035 0 0 0 58217 4 0 0 20 0 1 0 29125961 192241664 37851 33554432000 4194304 6201397 140736978800160 140736978798872 4214961 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 46934 37851 166 491 0 46433 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 187736


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


[startup+942.3 s]
/proc/loadavg: 2.11 2.26 2.26 3/177 10149
/proc/meminfo: memFree=29925240/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=189556 CPUtime=942.15 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 14774 0 0 0 94211 4 0 0 20 0 1 0 29125961 194105344 39567 33554432000 4194304 6201397 140736978800160 140736978799288 4215952 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 47389 39567 166 491 0 46888 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 189556

[startup+1002.3 s]
/proc/loadavg: 2.16 2.24 2.25 3/177 10151
/proc/meminfo: memFree=29924648/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=189524 CPUtime=1002.14 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 15127 0 0 0 100210 4 0 0 20 0 1 0 29125961 194072576 39581 33554432000 4194304 6201397 140736978800160 140736978798440 4214954 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 47381 39581 166 491 0 46880 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 189524

[startup+1062.3 s]
/proc/loadavg: 2.24 2.24 2.25 4/177 10152
/proc/meminfo: memFree=29924636/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=189544 CPUtime=1062.13 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 15298 0 0 0 106209 4 0 0 20 0 1 0 29125961 194093056 39604 33554432000 4194304 6201397 140736978800160 140736978798440 4215861 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 47386 39604 166 491 0 46885 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 189544

[startup+1122.3 s]
/proc/loadavg: 2.25 2.24 2.25 4/177 10153
/proc/meminfo: memFree=29923772/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=189972 CPUtime=1122.12 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 15553 0 0 0 112208 4 0 0 20 0 1 0 29125961 194531328 39704 33554432000 4194304 6201397 140736978800160 140736978798440 4216020 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 47493 39704 166 491 0 46992 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 189972

[startup+1182.3 s]
/proc/loadavg: 2.22 2.24 2.25 3/177 10154
/proc/meminfo: memFree=29923024/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=190528 CPUtime=1182.11 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 15687 0 0 0 118207 4 0 0 20 0 1 0 29125961 195100672 39838 33554432000 4194304 6201397 140736978800160 140736978799288 4215789 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 47632 39838 166 491 0 47131 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 190528

[startup+1242.3 s]
/proc/loadavg: 2.24 2.24 2.24 4/177 10155
/proc/meminfo: memFree=29922520/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=191056 CPUtime=1242.1 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 16010 0 0 0 124206 4 0 0 20 0 1 0 29125961 195641344 40001 33554432000 4194304 6201397 140736978800160 140736978798872 4214911 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 47764 40001 166 491 0 47263 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 191056

[startup+1302.3 s]
/proc/loadavg: 2.19 2.22 2.24 3/177 10157
/proc/meminfo: memFree=29912836/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=190952 CPUtime=1302.09 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 16197 0 0 0 130205 4 0 0 20 0 1 0 29125961 195534848 39975 33554432000 4194304 6201397 140736978800160 140736978799288 4215962 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 47738 39975 166 491 0 47237 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 190952

[startup+1362.3 s]
/proc/loadavg: 2.24 2.23 2.24 3/177 10158
/proc/meminfo: memFree=29906204/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=191220 CPUtime=1362.08 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 16263 0 0 0 136204 4 0 0 20 0 1 0 29125961 195809280 40041 33554432000 4194304 6201397 140736978800160 140736978799288 4214954 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 47805 40041 166 491 0 47304 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 191220

[startup+1422.3 s]
/proc/loadavg: 2.26 2.23 2.23 4/178 10162
/proc/meminfo: memFree=29904928/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=191632 CPUtime=1422.07 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 18037 0 0 0 142202 5 0 0 20 0 1 0 29125961 196231168 40132 33554432000 4194304 6201397 140736978800160 140736978799288 4214942 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 47908 40132 166 491 0 47407 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 191632

[startup+1482.3 s]
/proc/loadavg: 2.38 2.26 2.24 3/177 10163
/proc/meminfo: memFree=29893508/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=191764 CPUtime=1482.06 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 18052 0 0 0 148201 5 0 0 20 0 1 0 29125961 196366336 40147 33554432000 4194304 6201397 140736978800160 140736978798440 4215962 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 47941 40147 166 491 0 47440 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 191764

[startup+1542.31 s]
/proc/loadavg: 2.23 2.24 2.24 3/177 10164
/proc/meminfo: memFree=29883444/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=191912 CPUtime=1542.06 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 18110 0 0 0 154201 5 0 0 20 0 1 0 29125961 196517888 40205 33554432000 4194304 6201397 140736978800160 140736978798440 4214919 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 47978 40205 166 491 0 47477 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 191912

[startup+1602.3 s]
/proc/loadavg: 2.27 2.24 2.24 4/177 10166
/proc/meminfo: memFree=29874384/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=192508 CPUtime=1602.04 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 18264 0 0 0 160199 5 0 0 20 0 1 0 29125961 197128192 40359 33554432000 4194304 6201397 140736978800160 140736978798440 4214915 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 48127 40359 166 491 0 47626 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 192508

[startup+1662.3 s]
/proc/loadavg: 2.14 2.21 2.22 3/177 10213
/proc/meminfo: memFree=29983020/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=193056 CPUtime=1662.03 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 18397 0 0 0 166198 5 0 0 20 0 1 0 29125961 197689344 40492 33554432000 4194304 6201397 140736978800160 140736978798440 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 48264 40492 166 491 0 47763 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 193056

[startup+1722.3 s]
/proc/loadavg: 2.22 2.22 2.22 4/177 10214
/proc/meminfo: memFree=29963800/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=193192 CPUtime=1722.03 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 18434 0 0 0 172197 6 0 0 20 0 1 0 29125961 197828608 41040 33554432000 4194304 6201397 140736978800160 140736978799288 4215783 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 48298 41040 166 491 0 47797 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 193192

[startup+1782.3 s]
/proc/loadavg: 2.27 2.22 2.22 4/177 10215
/proc/meminfo: memFree=29945624/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=193824 CPUtime=1782.02 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 18596 0 0 0 178196 6 0 0 20 0 1 0 29125961 198475776 41713 33554432000 4194304 6201397 140736978800160 140736978799288 4214884 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 48456 41713 166 491 0 47955 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 193824



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.25 2.22 2.22 3/177 10215
/proc/meminfo: memFree=29943712/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=193856 CPUtime=1800.02 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 18749 0 0 0 179996 6 0 0 20 0 1 0 29125961 198508544 41725 33554432000 4194304 6201397 140736978800160 140736978798440 4217534 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 48464 41725 166 491 0 47963 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 193856

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

[startup+1800.3 s]
/proc/loadavg: 2.25 2.22 2.22 3/177 10215
/proc/meminfo: memFree=29943712/32872528 swapFree=17888/1798212
[pid=10124] ppid=10121 vsize=193856 CPUtime=1800.02 cores=1,3,5,7
/proc/10124/stat : 10124 (cdcl-cuttingpla) R 10121 10124 6506 0 -1 4202496 18749 0 0 0 179996 6 0 0 20 0 1 0 29125961 198508544 41725 33554432000 4194304 6201397 140736978800160 140736978798440 4217534 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/10124/statm: 48464 41725 166 491 0 47963 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 193856

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.06299
maximum resident set size= 166900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18749
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= 9
involuntary context switches= 1856

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.69629 second user time and 6.77297 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-18 19:26:28
IDJOB=4105944
IDBENCH=24961
IDSOLVER=2550
FILE ID=node123/4105944-1466270788
RUNJOBID= node123-1466240371-6523
PBS_JOBID= 19918188
Free space on /tmp= 71632 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir10_trarea_ac.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105944-1466270788/watcher-4105944-1466270788 -o /tmp/evaluation-result-4105944-1466270788/solver-4105944-1466270788 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466240371-6523 --watchdog 1960 --input HOME/instance-4105944-1466270788.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= 7ed8ae7116a489c037a0d97015217f38
RANDOM SEED=1354831593

node123.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.791
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	: 5333.58
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.791
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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.56
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.791
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.57
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.791
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.56
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.791
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.56
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.791
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.56
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.791
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:        30119316 kB
Buffers:           60256 kB
Cached:            93452 kB
SwapCached:         1604 kB
Active:            90752 kB
Inactive:         129608 kB
Active(anon):      65392 kB
Inactive(anon):     3080 kB
Active(file):      25360 kB
Inactive(file):   126528 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099320 kB
Dirty:              4308 kB
Writeback:             0 kB
AnonPages:       1863508 kB
Mapped:             7784 kB
Shmem:                 0 kB
Slab:             600860 kB
SReclaimable:      44992 kB
SUnreclaim:       555868 kB
KernelStack:        1464 kB
PageTables:         7460 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1982328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1830912 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= 71628 MiB
End job on node123 at 2016-06-18 19:56:29