Trace number 4390540

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsCon 2019-07-23? (TO) 2520.11 2515.71

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-142.xml
MD5SUM216ebd1a5dc9377e08f238421ffc41cf
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark46.3348
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size465
Maximum domain size465
Distribution of domain sizes[{"size":465,"count":50}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":48},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":51},{"arity":2,"count":1},{"arity":50,"count":1}]
Number of extensional constraints0
Number of intensional constraints52
Distribution of constraint types[{"type":"intension","count":52},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

2.38/1.89	
2.38/1.89	AbsCon 2 
2.62/1.90	
2.89/2.03	  Instance
2.89/2.03	    name=instance-4390540-1568383034, framework=CSP
2.89/2.03	
2.89/2.03	  Loading variables...
2.89/2.06	  Loading constraints...
3.78/2.33	
3.78/2.33	  Domains
3.78/2.33	    nTypes=1, nValues=23250, sizes=[465#50]
3.78/2.33	  Variables
3.78/2.33	    count=50, degrees=[25#48,26#1,27#1]
3.78/2.33	  Constraints
3.78/2.33	    count=352, nSpecific=1, arities=[1#51,2#1,4#300]
3.78/2.33	    distribution=[CtrIntension#351,LE#1]
3.78/2.33	    nIntStructures=(326,shared:25)
3.78/2.33	    wck=0.473, cpu=2.294, mem=66M154
3.78/2.33	  Solver SolverBacktrack being built...
3.78/2.33	
3.78/2.36	
3.78/2.36	  Solver
3.78/2.36	    guaranteedGAC=false
3.78/2.36	    wck=0.504, cpu=2.324, mem=79M439
3.78/2.37	
3.78/2.37	  Preprocessing
3.78/2.37	    filters=52, revisions=(53,useless=2), ccks=23781, nACremovedValues=3920, nTotalRemovedValues=3920, inconcistency=false
3.78/2.37	    wck=0.015, cpu=2.34, mem=79M439
3.78/2.37	
6.38/4.53	    num=0, depth=24..24, filters=482, revisions=(1608,useless=1066), ccks=6892530, wck=2.172, mem=84M724
6.38/4.53	    decisions=44, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
6.38/4.53	    
6.53/4.63	    num=1, depth=2..2, filters=506, revisions=(1656,useless=1091), ccks=7219509, wck=2.267, mem=84M724
6.53/4.63	    decisions=68, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
6.53/4.63	    
6.75/4.88	    num=2, depth=3..3, filters=532, revisions=(1760,useless=1168), ccks=8181909, wck=2.525, mem=84M724
6.75/4.88	    decisions=95, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
6.75/4.88	    
7.57/5.62	    num=3, depth=21..21, filters=654, revisions=(2981,useless=2268), ccks=10902329, wck=3.26, mem=87M366
7.57/5.62	    decisions=142, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
7.57/5.62	    
8.17/6.24	    num=4, depth=3..3, filters=683, revisions=(3115,useless=2373), ccks=13211536, wck=3.884, mem=87M366
8.17/6.24	    decisions=173, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
8.17/6.24	    
14.50/12.54	    num=5, depth=1..1, filters=699, revisions=(3883,useless=3125), ccks=35995036, wck=10.185, mem=92M652
14.50/12.54	    decisions=206, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
14.50/12.54	    
14.80/12.81	    num=6, depth=3..3, filters=735, revisions=(4008,useless=3213), ccks=36953263, wck=10.446, mem=95M294
14.80/12.81	    decisions=243, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
14.80/12.81	    
15.11/13.11	    num=7, depth=2..2, filters=793, revisions=(4182,useless=3310), ccks=38065929, wck=10.755, mem=95M294
15.11/13.11	    decisions=283, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
15.11/13.11	    
15.11/13.13	    num=8, depth=3..3, filters=837, revisions=(4322,useless=3407), ccks=38105306, wck=10.766, mem=95M294
15.11/13.13	    decisions=328, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
15.11/13.13	    
15.32/13.31	    num=9, depth=3..3, filters=885, revisions=(4512,useless=3549), ccks=38773921, wck=10.954, mem=95M294
15.32/13.31	    decisions=377, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
15.32/13.31	    
15.32/13.34	    num=10, depth=3..3, filters=937, revisions=(4672,useless=3656), ccks=38868297, wck=10.981, mem=95M294
15.32/13.34	    decisions=430, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
15.32/13.34	    
15.65/13.60	    num=11, depth=4..4, filters=996, revisions=(4897,useless=3823), ccks=39776593, wck=11.239, mem=95M294
15.65/13.60	    decisions=490, wrong=209, backtracks=0, failedAssignments=209, nogoods=209
15.65/13.60	    
15.86/13.88	    num=12, depth=3..3, filters=1059, revisions=(5133,useless=3996), ccks=40824338, wck=11.521, mem=100M579
15.86/13.88	    decisions=555, wrong=240, backtracks=0, failedAssignments=240, nogoods=240
15.86/13.88	    
28.37/26.36	    num=13, depth=1..1, filters=1093, revisions=(6766,useless=5595), ccks=86477646, wck=24.004, mem=108M506
28.37/26.36	    decisions=624, wrong=274, backtracks=0, failedAssignments=274, nogoods=274
28.37/26.36	    
28.67/26.62	    num=14, depth=3..3, filters=1169, revisions=(6974,useless=5726), ccks=87437735, wck=24.262, mem=111M149
28.67/26.62	    decisions=701, wrong=311, backtracks=0, failedAssignments=311, nogoods=311
28.67/26.62	    
29.01/26.96	    num=15, depth=3..3, filters=1253, revisions=(7273,useless=5941), ccks=88649549, wck=24.605, mem=111M149
29.01/26.96	    decisions=786, wrong=352, backtracks=0, failedAssignments=352, nogoods=352
29.01/26.96	    
45.81/43.75	    num=16, depth=1..1, filters=1298, revisions=(9434,useless=8057), ccks=150265203, wck=41.395, mem=124M361
45.81/43.75	    decisions=877, wrong=397, backtracks=0, failedAssignments=397, nogoods=397
45.81/43.75	    
46.12/44.04	    num=17, depth=5..5, filters=1400, revisions=(9941,useless=8462), ccks=151276270, wck=41.681, mem=127M3
46.12/44.04	    decisions=982, wrong=447, backtracks=0, failedAssignments=447, nogoods=447
46.12/44.04	    
47.76/45.61	    num=18, depth=23..23, filters=2490, revisions=(14359,useless=11784), ccks=156967274, wck=43.252, mem=137M573
47.76/45.61	    decisions=1115, wrong=502, backtracks=0, failedAssignments=502, nogoods=502
47.76/45.61	    
48.75/46.54	    num=19, depth=19..19, filters=2706, revisions=(17026,useless=14235), ccks=160064552, wck=44.178, mem=49M778
48.75/46.54	    decisions=1256, wrong=563, backtracks=0, failedAssignments=563, nogoods=563
48.75/46.54	    
49.86/47.65	    num=20, depth=22..22, filters=4136, revisions=(22259,useless=18036), ccks=164017384, wck=45.29, mem=60M136
49.86/47.65	    decisions=1412, wrong=630, backtracks=0, failedAssignments=630, nogoods=630
49.86/47.65	    
50.57/48.39	    num=21, depth=8..10, filters=4380, revisions=(23618,useless=19151), ccks=166714921, wck=46.03, mem=62M726
50.57/48.39	    decisions=1570, wrong=704, backtracks=0, failedAssignments=704, nogoods=704
50.57/48.39	    
51.38/49.13	    num=22, depth=9..9, filters=4641, revisions=(24877,useless=20149), ccks=169445686, wck=46.773, mem=67M905
51.38/49.13	    decisions=1741, wrong=785, backtracks=0, failedAssignments=785, nogoods=785
51.38/49.13	    
52.17/49.94	    num=23, depth=7..7, filters=4907, revisions=(26005,useless=21011), ccks=172408531, wck=47.58, mem=70M494
52.17/49.94	    decisions=1926, wrong=874, backtracks=0, failedAssignments=874, nogoods=874
52.17/49.94	    
53.07/50.82	    num=24, depth=10..10, filters=5250, revisions=(27785,useless=22448), ccks=175613496, wck=48.459, mem=75M673
53.07/50.82	    decisions=2132, wrong=972, backtracks=0, failedAssignments=972, nogoods=972
53.07/50.82	    
54.77/52.53	    num=25, depth=6..6, filters=5609, revisions=(29081,useless=23279), ccks=182074378, wck=50.17, mem=78M263
54.77/52.53	    decisions=2354, wrong=1080, backtracks=0, failedAssignments=1080, nogoods=1080
54.77/52.53	    
93.18/90.90	    num=26, depth=1..1, filters=5741, revisions=(34794,useless=28860), ccks=322518962, wck=88.539, mem=114M516
93.18/90.90	    decisions=2593, wrong=1199, backtracks=0, failedAssignments=1199, nogoods=1199
93.18/90.90	    
93.78/91.53	    num=27, depth=5..25, filters=6220, revisions=(37181,useless=30759), ccks=324764527, wck=89.168, mem=122M285
93.78/91.53	    decisions=2880, wrong=1330, backtracks=0, failedAssignments=1330, nogoods=1330
93.78/91.53	    
94.19/91.93	    num=28, depth=14..22, filters=7009, revisions=(42065,useless=34852), ccks=326031180, wck=89.567, mem=135M232
94.19/91.93	    decisions=3192, wrong=1475, backtracks=1, failedAssignments=1474, nogoods=1470
94.19/91.93	    
94.59/92.37	    num=29, depth=13..21, filters=7729, revisions=(46574,useless=38639), ccks=327482602, wck=90.013, mem=148M180
94.59/92.37	    decisions=3531, wrong=1634, backtracks=2, failedAssignments=1632, nogoods=1625
94.59/92.37	    
95.89/93.65	    num=30, depth=9..16, filters=8345, revisions=(51316,useless=42766), ccks=331982254, wck=91.296, mem=161M127
95.89/93.65	    decisions=3897, wrong=1809, backtracks=3, failedAssignments=1806, nogoods=1781
95.89/93.65	    
97.10/94.90	    num=31, depth=6..21, filters=9013, revisions=(55624,useless=46405), ccks=336401982, wck=92.537, mem=174M75
97.10/94.90	    decisions=4302, wrong=2001, backtracks=4, failedAssignments=1997, nogoods=1968
97.10/94.90	    
97.63/95.39	    num=32, depth=10..12, filters=9771, revisions=(59177,useless=49199), ccks=338020408, wck=93.029, mem=50M47
97.63/95.39	    decisions=4736, wrong=2212, backtracks=4, failedAssignments=2208, nogoods=2179
97.63/95.39	    
98.35/96.06	    num=33, depth=8..24, filters=10612, revisions=(64554,useless=53735), ccks=340249320, wck=93.697, mem=65M695
98.35/96.06	    decisions=5224, wrong=2444, backtracks=4, failedAssignments=2440, nogoods=2411
98.35/96.06	    
99.95/97.67	    num=34, depth=5..13, filters=11215, revisions=(67908,useless=56486), ccks=346088613, wck=95.313, mem=76M127
99.95/97.67	    decisions=5747, wrong=2699, backtracks=4, failedAssignments=2695, nogoods=2666
99.95/97.67	    
100.81/98.40	    num=35, depth=10..22, filters=12189, revisions=(74560,useless=62164), ccks=348478719, wck=96.043, mem=91M775
100.81/98.40	    decisions=6331, wrong=2980, backtracks=4, failedAssignments=2976, nogoods=2947
100.81/98.40	    
101.62/99.26	    num=36, depth=9..14, filters=13056, revisions=(80586,useless=67323), ccks=351427131, wck=96.899, mem=107M423
101.62/99.26	    decisions=6963, wrong=3289, backtracks=4, failedAssignments=3285, nogoods=3256
101.62/99.26	    
103.53/101.12	    num=37, depth=9..33, filters=14685, revisions=(94052,useless=79160), ccks=357631166, wck=98.756, mem=143M936
103.53/101.12	    decisions=7678, wrong=3630, backtracks=5, failedAssignments=3625, nogoods=3578
103.53/101.12	    
106.32/103.98	    num=38, depth=6..18, filters=15788, revisions=(101373,useless=85377), ccks=368074437, wck=101.622, mem=162M192
106.32/103.98	    decisions=8444, wrong=4004, backtracks=5, failedAssignments=3999, nogoods=3952
106.32/103.98	    
112.77/110.31	    num=39, depth=2..15, filters=18049, revisions=(108504,useless=90221), ccks=391164505, wck=107.947, mem=47M782
112.77/110.31	    decisions=9281, wrong=4415, backtracks=7, failedAssignments=4410, nogoods=4100
112.77/110.31	    
113.68/111.23	    num=40, depth=4..33, filters=19945, revisions=(121175,useless=100995), ccks=393999086, wck=108.866, mem=79M223
113.68/111.23	    decisions=10218, wrong=4867, backtracks=7, failedAssignments=4862, nogoods=4552
113.68/111.23	    
115.28/112.70	    num=41, depth=4..23, filters=21961, revisions=(135107,useless=112910), ccks=398847265, wck=110.338, mem=113M284
115.28/112.70	    decisions=11235, wrong=5364, backtracks=7, failedAssignments=5359, nogoods=5049
115.28/112.70	    
120.45/117.83	    num=42, depth=4..28, filters=24321, revisions=(153691,useless=129133), ccks=416973873, wck=115.469, mem=168M305
120.45/117.83	    decisions=12359, wrong=5912, backtracks=8, failedAssignments=5906, nogoods=5539
120.45/117.83	    
122.28/119.66	    num=43, depth=7..32, filters=26572, revisions=(172543,useless=145734), ccks=422786559, wck=117.304, mem=84M191
122.28/119.66	    decisions=13595, wrong=6514, backtracks=8, failedAssignments=6508, nogoods=6141
122.28/119.66	    
123.79/121.16	    num=44, depth=6..32, filters=29042, revisions=(192512,useless=163233), ccks=427397012, wck=118.796, mem=133M328
123.79/121.16	    decisions=14951, wrong=7176, backtracks=8, failedAssignments=7170, nogoods=6803
123.79/121.16	    
125.37/122.62	    num=45, depth=12..22, filters=31549, revisions=(212142,useless=180356), ccks=431846348, wck=120.256, mem=50M788
125.37/122.62	    decisions=16429, wrong=7904, backtracks=8, failedAssignments=7898, nogoods=7531
125.37/122.62	    
126.79/124.07	    num=46, depth=12..29, filters=34447, revisions=(235780,useless=201096), ccks=436099051, wck=121.711, mem=106M875
126.79/124.07	    decisions=18060, wrong=8705, backtracks=8, failedAssignments=8699, nogoods=8332
126.79/124.07	    
130.31/127.57	    num=47, depth=8..38, filters=38057, revisions=(268889,useless=230594), ccks=447402650, wck=125.212, mem=58M434
130.31/127.57	    decisions=19862, wrong=9587, backtracks=9, failedAssignments=9580, nogoods=9195
130.31/127.57	    
135.11/132.38	    num=48, depth=6..45, filters=41914, revisions=(306587,useless=264433), ccks=463588750, wck=130.019, mem=136M267
135.11/132.38	    decisions=21848, wrong=10558, backtracks=10, failedAssignments=10550, nogoods=10103
135.11/132.38	    
141.74/138.92	    num=49, depth=10..38, filters=45877, revisions=(343975,useless=297856), ccks=486067589, wck=136.56, mem=102M999
141.74/138.92	    decisions=24023, wrong=11627, backtracks=14, failedAssignments=11617, nogoods=10989
141.74/138.92	    
159.35/156.55	    num=50, depth=4..22, filters=49069, revisions=(372559,useless=323165), ccks=550897762, wck=154.196, mem=164M771
159.35/156.55	    decisions=26387, wrong=12802, backtracks=25, failedAssignments=12790, nogoods=11150
159.35/156.55	    
162.48/159.65	    num=51, depth=10..25, filters=53627, revisions=(408115,useless=354163), ccks=561052555, wck=157.294, mem=107M115
162.48/159.65	    decisions=29000, wrong=14099, backtracks=31, failedAssignments=14081, nogoods=11513
162.48/159.65	    
180.61/177.78	    num=52, depth=3..21, filters=57043, revisions=(437806,useless=380531), ccks=627569629, wck=175.425, mem=51M160
180.61/177.78	    decisions=31860, wrong=15519, backtracks=56, failedAssignments=15501, nogoods=12368
180.61/177.78	    
183.92/181.03	    num=53, depth=10..31, filters=63564, revisions=(483001,useless=419205), ccks=638069932, wck=178.675, mem=137M172
183.92/181.03	    decisions=35022, wrong=17088, backtracks=63, failedAssignments=17063, nogoods=13466
183.92/181.03	    
186.85/183.97	    num=54, depth=3..26, filters=68902, revisions=(527915,useless=458780), ccks=647518789, wck=181.612, mem=96M137
186.85/183.97	    decisions=38491, wrong=18813, backtracks=71, failedAssignments=18781, nogoods=14199
186.85/183.97	    
189.18/186.29	    num=55, depth=3..22, filters=74608, revisions=(568246,useless=493406), ccks=654823767, wck=183.928, mem=49M48
189.18/186.29	    decisions=42292, wrong=20703, backtracks=100, failedAssignments=20671, nogoods=15167
189.18/186.29	    
192.18/189.29	    num=56, depth=6..24, filters=79365, revisions=(617044,useless=537447), ccks=665224120, wck=186.926, mem=95M592
192.18/189.29	    decisions=46475, wrong=22783, backtracks=117, failedAssignments=22750, nogoods=15949
192.18/189.29	    
196.62/193.60	    num=57, depth=10..32, filters=86914, revisions=(696067,useless=608920), ccks=677987464, wck=191.242, mem=138M790
196.62/193.60	    decisions=51080, wrong=25070, backtracks=118, failedAssignments=25037, nogoods=17870
196.62/193.60	    
199.55/196.59	    num=58, depth=8..23, filters=93820, revisions=(754036,useless=659983), ccks=687694132, wck=194.235, mem=101M633
199.55/196.59	    decisions=56130, wrong=27586, backtracks=131, failedAssignments=27553, nogoods=18789
199.55/196.59	    
203.78/200.79	    num=59, depth=11..24, filters=101589, revisions=(831280,useless=729457), ccks=700908167, wck=198.432, mem=105M446
203.78/200.79	    decisions=61687, wrong=30354, backtracks=142, failedAssignments=30321, nogoods=19655
203.78/200.79	    
209.09/205.91	    num=60, depth=7..38, filters=111084, revisions=(919167,useless=807850), ccks=716126989, wck=203.552, mem=71M721
209.09/205.91	    decisions=67811, wrong=33398, backtracks=144, failedAssignments=33365, nogoods=22134
209.09/205.91	    
213.01/209.88	    num=61, depth=5..25, filters=118228, revisions=(995596,useless=877135), ccks=729020456, wck=207.522, mem=63M179
213.01/209.88	    decisions=74543, wrong=36755, backtracks=187, failedAssignments=36714, nogoods=22663
213.01/209.88	    
225.34/222.02	    num=62, depth=9..40, filters=133113, revisions=(1128632,useless=995164), ccks=769628058, wck=219.661, mem=56M545
225.34/222.02	    decisions=81938, wrong=40442, backtracks=208, failedAssignments=40398, nogoods=24092
225.34/222.02	    
229.64/226.33	    num=63, depth=4..20, filters=143706, revisions=(1202377,useless=1058237), ccks=783648010, wck=223.969, mem=81M68
229.64/226.33	    decisions=90062, wrong=44494, backtracks=217, failedAssignments=44450, nogoods=25745
229.64/226.33	    
234.47/231.19	    num=64, depth=9..15, filters=153968, revisions=(1283787,useless=1129386), ccks=800936544, wck=228.836, mem=54M744
234.47/231.19	    decisions=98992, wrong=48952, backtracks=243, failedAssignments=48907, nogoods=26454
234.47/231.19	    
241.17/237.85	    num=65, depth=4..17, filters=164063, revisions=(1349597,useless=1185102), ccks=824399689, wck=235.49, mem=50M827
241.17/237.85	    decisions=108811, wrong=53855, backtracks=367, failedAssignments=53810, nogoods=27201
241.17/237.85	    
250.77/247.40	    num=66, depth=5..14, filters=175516, revisions=(1438769,useless=1262536), ccks=859322949, wck=245.045, mem=106M318
250.77/247.40	    decisions=119609, wrong=59249, backtracks=429, failedAssignments=59204, nogoods=27629
250.77/247.40	    
309.31/305.95	    num=67, depth=1..17, filters=186593, revisions=(1533498,useless=1346124), ccks=1072029959, wck=303.586, mem=145M93
309.31/305.95	    decisions=131530, wrong=65202, backtracks=465, failedAssignments=65137, nogoods=28553
309.31/305.95	    
315.44/312.03	    num=68, depth=4..19, filters=199172, revisions=(1660229,useless=1460275), ccks=1092146636, wck=309.667, mem=77M861
315.44/312.03	    decisions=144598, wrong=71728, backtracks=487, failedAssignments=71663, nogoods=29414
315.44/312.03	    
330.65/327.22	    num=69, depth=9..18, filters=221966, revisions=(1822598,useless=1599778), ccks=1144202205, wck=324.863, mem=113M40
330.65/327.22	    decisions=158972, wrong=78907, backtracks=1021, failedAssignments=78842, nogoods=30312
330.65/327.22	    
347.08/343.65	    num=70, depth=2..19, filters=241176, revisions=(1997588,useless=1755557), ccks=1198822212, wck=341.292, mem=129M159
347.08/343.65	    decisions=174790, wrong=86807, backtracks=1042, failedAssignments=86739, nogoods=31997
347.08/343.65	    
352.19/348.72	    num=71, depth=11..20, filters=255704, revisions=(2120757,useless=1864197), ccks=1215688299, wck=346.359, mem=67M282
352.19/348.72	    decisions=192177, wrong=95494, backtracks=1115, failedAssignments=95426, nogoods=32571
352.19/348.72	    
368.67/365.17	    num=72, depth=7..20, filters=289148, revisions=(2361671,useless=2071665), ccks=1267859977, wck=362.81, mem=97M945
368.67/365.17	    decisions=211395, wrong=105094, backtracks=1163, failedAssignments=104981, nogoods=33971
368.67/365.17	    
376.00/372.47	    num=73, depth=9..19, filters=312292, revisions=(2541050,useless=2227015), ccks=1292375860, wck=370.107, mem=82M338
376.00/372.47	    decisions=232438, wrong=115608, backtracks=1288, failedAssignments=115492, nogoods=34425
376.00/372.47	    
398.13/394.57	    num=74, depth=8..15, filters=335040, revisions=(2699066,useless=2362090), ccks=1372257664, wck=392.214, mem=53M31
398.13/394.57	    decisions=255576, wrong=127170, backtracks=1394, failedAssignments=127054, nogoods=35227
398.13/394.57	    
424.34/420.72	    num=75, depth=8..13, filters=361580, revisions=(2889093,useless=2525509), ccks=1465956086, wck=418.356, mem=101M549
424.34/420.72	    decisions=281026, wrong=139890, backtracks=1491, failedAssignments=139772, nogoods=36102
424.34/420.72	    
438.87/435.25	    num=76, depth=8..16, filters=392144, revisions=(3103717,useless=2709508), ccks=1514024793, wck=432.894, mem=71M208
438.87/435.25	    decisions=309270, wrong=154007, backtracks=1776, failedAssignments=153762, nogoods=36601
438.87/435.25	    
441.17/437.56	    num=77, depth=4..14, filters=412556, revisions=(3240942,useless=2826320), ccks=1522538003, wck=435.202, mem=68M85
441.17/437.56	    decisions=340063, wrong=169398, backtracks=1869, failedAssignments=169151, nogoods=37274
441.17/437.56	    
467.43/463.73	    num=78, depth=5..24, filters=462088, revisions=(3593304,useless=3128857), ccks=1609622927, wck=461.375, mem=117M190
467.43/463.73	    decisions=373952, wrong=186335, backtracks=1954, failedAssignments=186079, nogoods=38330
467.43/463.73	    
501.18/497.41	    num=79, depth=9..19, filters=514938, revisions=(3988488,useless=3471089), ccks=1727334123, wck=495.049, mem=98M596
501.18/497.41	    decisions=411307, wrong=205006, backtracks=2072, failedAssignments=204700, nogoods=38851
501.18/497.41	    
569.73/565.90	    num=80, depth=9..17, filters=564349, revisions=(4337461,useless=3770651), ccks=1969921434, wck=563.538, mem=64M361
569.73/565.90	    decisions=452290, wrong=225491, backtracks=2596, failedAssignments=225184, nogoods=39444
569.73/565.90	    
591.25/587.43	    num=81, depth=1..17, filters=600509, revisions=(4615936,useless=4012894), ccks=2045857735, wck=585.068, mem=84M55
591.25/587.43	    decisions=497373, wrong=248026, backtracks=2748, failedAssignments=247716, nogoods=40172
591.25/587.43	    
624.21/620.37	    num=82, depth=5..18, filters=659344, revisions=(5085643,useless=4423753), ccks=2156275988, wck=618.012, mem=60M564
624.21/620.37	    decisions=546997, wrong=272830, backtracks=3362, failedAssignments=272501, nogoods=41609
624.21/620.37	    
676.98/673.08	    num=83, depth=5..15, filters=713119, revisions=(5478977,useless=4762703), ccks=2343009375, wck=670.719, mem=103M462
676.98/673.08	    decisions=601554, wrong=300104, backtracks=3762, failedAssignments=299765, nogoods=42102
676.98/673.08

Verifier Data 

One s line expected

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (8917 MiB free)
  memory of node 1: 16384 MiB (15351 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390540-1568383034/watcher-4390540-1568383034 -o /tmp/evaluation-result-4390540-1568383034/solver-4390540-1568383034 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568376300-2212 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390540-1568383034.xml -cm 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=2600, runsolver pid=2597
Current StackSize limit: 8192 KiB


[startup+0.101288 s]*
/proc/loadavg: 2.51 2.27 1.98 3/227 2615
/proc/meminfo: memFree=24836500/32770624 swapFree=66977616/67108860
[pid=2600] ppid=2597 vsize=10659884 memory=26260 CPUtime=0.14 cores=1,3,5,7
/proc/2600/stat : 2600 (java) S 2597 2600 2180 0 -1 1077944320 5524 0 0 0 13 1 0 0 20 0 15 0 414560620 10915721216 6565 33554432000 4194304 4196468 140736529902608 140736529885152 140659536735991 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
/proc/2600/statm: 2664971 6565 2890 1 0 2627468 0
[pid=2600/tid=2602] ppid=2597 vsize=10659884 memory=-8617482348318186131 CPUtime=0.09 cores=1,3,5,7
/proc/2600/task/2602/stat : 2602 (java) R 2597 2600 2180 0 -1 4202560 3268 0 0 0 9 0 0 0 20 0 15 0 414560620 10915721216 6565 33554432000 4194304 4196468 140736529902608 140659540965504 140659528973118 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2603] ppid=2597 vsize=10659884 memory=-7025452035940392864 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2603/stat : 2603 (java) S 2597 2600 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414560621 10915721216 6565 33554432000 4194304 4196468 140736529902608 140659143314576 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2604] ppid=2597 vsize=10659884 memory=140551759812224 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2604/stat : 2604 (java) S 2597 2600 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414560621 10915721216 6631 33554432000 4194304 4196468 140736529902608 140659142261776 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2605] ppid=2597 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2605/stat : 2605 (java) S 2597 2600 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414560621 10915721216 6631 33554432000 4194304 4196468 140736529902608 140659141208976 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2606] ppid=2597 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2606/stat : 2606 (java) S 2597 2600 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414560621 10915721216 6631 33554432000 4194304 4196468 140736529902608 140659140156176 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2607] ppid=2597 vsize=10659884 memory=140551759812224 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2607/stat : 2607 (java) S 2597 2600 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414560623 10915721216 6631 33554432000 4194304 4196468 140736529902608 140658572482928 140659536747138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2608] ppid=2597 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2608/stat : 2608 (java) S 2597 2600 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414560623 10915721216 6631 33554432000 4194304 4196468 140736529902608 140658571428896 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2609] ppid=2597 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2609/stat : 2609 (java) S 2597 2600 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414560623 10915721216 6631 33554432000 4194304 4196468 140736529902608 140658570376048 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2610] ppid=2597 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2610/stat : 2610 (java) S 2597 2600 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414560626 10915721216 6631 33554432000 4194304 4196468 140736529902608 140658260924240 140659536754587 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2611] ppid=2597 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2611/stat : 2611 (java) R 2597 2600 2180 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 414560626 10915721216 6631 33554432000 4194304 4196468 140736529902608 140658259872624 140659536747138 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2612] ppid=2597 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2612/stat : 2612 (java) S 2597 2600 2180 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 414560626 10915721216 6631 33554432000 4194304 4196468 140736529902608 140658258812848 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2613] ppid=2597 vsize=10659884 memory=140551759812224 CPUtime=0.02 cores=1,3,5,7
/proc/2600/task/2613/stat : 2613 (java) R 2597 2600 2180 0 -1 4202560 485 0 0 0 2 0 0 0 20 0 15 0 414560626 10915721216 6631 33554432000 4194304 4196468 140736529902608 140658257767024 140659515361855 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2614] ppid=2597 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2614/stat : 2614 (java) S 2597 2600 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414560626 10915721216 6631 33554432000 4194304 4196468 140736529902608 140658256714464 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2615] ppid=2597 vsize=10659884 memory=140551759812224 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2615/stat : 2615 (java) S 2597 2600 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414560626 10915721216 6631 33554432000 4194304 4196468 140736529902608 140658255661744 140659536747138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 26260 KiB

[startup+0.210696 s]*
/proc/loadavg: 2.51 2.27 1.98 3/227 2615
/proc/meminfo: memFree=24828996/32770624 swapFree=66977616/67108860
[pid=2600] ppid=2597 vsize=10659884 memory=33716 CPUtime=0.32 cores=1,3,5,7
/proc/2600/stat : 2600 (java) S 2597 2600 2180 0 -1 1077944320 7080 0 0 0 31 1 0 0 20 0 15 0 414560620 10915721216 8429 33554432000 4194304 4196468 140736529902608 140736529885152 140659536735991 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
/proc/2600/statm: 2664971 8429 2990 1 0 2627468 0
[pid=2600/tid=2602] ppid=2597 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/2600/task/2602/stat : 2602 (java) R 2597 2600 2180 0 -1 4202560 3924 0 0 0 19 0 0 0 20 0 15 0 414560620 10915721216 8429 33554432000 4194304 4196468 140736529902608 140659540967600 140659536757917 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2603] ppid=2597 vsize=10659884 memory=345 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2603/stat : 2603 (java) S 2597 2600 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414560621 10915721216 8429 33554432000 4194304 4196468 140736529902608 140659143314576 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2604] ppid=2597 vsize=10659884 memory=288370927911523968 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2604/stat : 2604 (java) S 2597 2600 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414560621 10915721216 8429 33554432000 4194304 4196468 140736529902608 140659142261776 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2605] ppid=2597 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2605/stat : 2605 (java) S 2597 2600 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414560621 10915721216 8429 33554432000 4194304 4196468 140736529902608 140659141208976 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2606] ppid=2597 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2606/stat : 2606 (java) S 2597 2600 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414560621 10915721216 8429 33554432000 4194304 4196468 140736529902608 140659140156176 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2607] ppid=2597 vsize=10659884 memory=140551759812224 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2607/stat : 2607 (java) S 2597 2600 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414560623 10915721216 8429 33554432000 4194304 4196468 140736529902608 140658572482928 140659536747138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2608] ppid=2597 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2608/stat : 2608 (java) S 2597 2600 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414560623 10915721216 8429 33554432000 4194304 4196468 140736529902608 140658571428896 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2609] ppid=2597 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2609/stat : 2609 (java) S 2597 2600 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414560623 10915721216 8429 33554432000 4194304 4196468 140736529902608 140658570376048 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2610] ppid=2597 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2610/stat : 2610 (java) S 2597 2600 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414560626 10915721216 8429 33554432000 4194304 4196468 140736529902608 140658260924240 140659536754587 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2611] ppid=2597 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/2600/task/2611/stat : 2611 (java) S 2597 2600 2180 0 -1 1077944384 739 0 0 0 3 0 0 0 20 0 15 0 414560626 10915721216 8429 33554432000 4194304 4196468 140736529902608 140658259872624 140659536747138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2612] ppid=2597 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/2600/task/2612/stat : 2612 (java) S 2597 2600 2180 0 -1 1077944384 161 0 0 0 2 0 0 0 20 0 15 0 414560626 10915721216 8429 33554432000 4194304 4196468 140736529902608 140658258819824 140659536747138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2613] ppid=2597 vsize=10659884 memory=140551759812224 CPUtime=0.05 cores=1,3,5,7
/proc/2600/task/2613/stat : 2613 (java) S 2597 2600 2180 0 -1 1077944384 897 0 0 0 5 0 0 0 20 0 15 0 414560626 10915721216 8429 33554432000 4194304 4196468 140736529902608 140658257767024 140659536747138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2614] ppid=2597 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2614/stat : 2614 (java) S 2597 2600 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414560626 10915721216 8429 33554432000 4194304 4196468 140736529902608 140658256714464 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2615] ppid=2597 vsize=10659884 memory=140551759812224 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2615/stat : 2615 (java) S 2597 2600 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414560626 10915721216 8429 33554432000 4194304 4196468 140736529902608 140658255661744 140659536747138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 33716 KiB

[startup+0.310129 s]*
/proc/loadavg: 2.51 2.27 1.98 3/227 2615
/proc/meminfo: memFree=24820780/32770624 swapFree=66977616/67108860
[pid=2600] ppid=2597 vsize=10659884 memory=39104 CPUtime=0.47 cores=1,3,5,7
/proc/2600/stat : 2600 (java) S 2597 2600 2180 0 -1 1077944320 9633 0 0 0 44 3 0 0 20 0 15 0 414560620 10915721216 9776 33554432000 4194304 4196468 140736529902608 140736529885152 140659536735991 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
/proc/2600/statm: 2664971 9776 3003 1 0 2627468 0
[pid=2600/tid=2602] ppid=2597 vsize=10659884 memory=8390339637985935414 CPUtime=0.29 cores=1,3,5,7
/proc/2600/task/2602/stat : 2602 (java) R 2597 2600 2180 0 -1 4202560 6491 0 0 0 27 2 0 0 20 0 15 0 414560620 10915721216 9779 33554432000 4194304 4196468 140736529902608 140659540956144 140659536757917 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2603] ppid=2597 vsize=10659884 memory=290763879498383383 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2603/stat : 2603 (java) S 2597 2600 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414560621 10915721216 9779 33554432000 4194304 4196468 140736529902608 140659143314576 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2604] ppid=2597 vsize=10659884 memory=288370927911523968 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2604/stat : 2604 (java) S 2597 2600 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414560621 10915721216 9779 33554432000 4194304 4196468 140736529902608 140659142261776 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2605] ppid=2597 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2605/stat : 2605 (java) S 2597 2600 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414560621 10915721216 9779 33554432000 4194304 4196468 140736529902608 140659141208976 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2606] ppid=2597 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2606/stat : 2606 (java) S 2597 2600 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414560621 10915721216 9779 33554432000 4194304 4196468 140736529902608 140659140156176 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2607] ppid=2597 vsize=10659884 memory=140551759812224 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2607/stat : 2607 (java) S 2597 2600 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414560623 10915721216 9779 33554432000 4194304 4196468 140736529902608 140658572482928 140659536747138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2608] ppid=2597 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2608/stat : 2608 (java) S 2597 2600 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414560623 10915721216 9779 33554432000 4194304 4196468 140736529902608 140658571428896 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2609] ppid=2597 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2609/stat : 2609 (java) S 2597 2600 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414560623 10915721216 9779 33554432000 4194304 4196468 140736529902608 140658570376048 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2610] ppid=2597 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2610/stat : 2610 (java) S 2597 2600 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414560626 10915721216 9779 33554432000 4194304 4196468 140736529902608 140658260924240 140659536754587 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2611] ppid=2597 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/2600/task/2611/stat : 2611 (java) S 2597 2600 2180 0 -1 1077944384 784 0 0 0 4 0 0 0 20 0 15 0 414560626 10915721216 9779 33554432000 4194304 4196468 140736529902608 140658259872624 140659536747138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2612] ppid=2597 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/2600/task/2612/stat : 2612 (java) S 2597 2600 2180 0 -1 1077944384 175 0 0 0 3 0 0 0 20 0 15 0 414560626 10915721216 9779 33554432000 4194304 4196468 140736529902608 140658258819824 140659536747138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2613] ppid=2597 vsize=10659884 memory=140551759812224 CPUtime=0.08 cores=1,3,5,7
/proc/2600/task/2613/stat : 2613 (java) S 2597 2600 2180 0 -1 1077944384 952 0 0 0 8 0 0 0 20 0 15 0 414560626 10915721216 9779 33554432000 4194304 4196468 140736529902608 140658257767024 140659536747138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2614] ppid=2597 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2614/stat : 2614 (java) S 2597 2600 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414560626 10915721216 9779 33554432000 4194304 4196468 140736529902608 140658256714464 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2615] ppid=2597 vsize=10659884 memory=140551759812224 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2615/stat : 2615 (java) S 2597 2600 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414560626 10915721216 9779 33554432000 4194304 4196468 140736529902608 140658255661744 140659536747138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39104 KiB

[startup+0.700716 s]
/proc/loadavg: 2.51 2.27 1.98 4/209 2629
/proc/meminfo: memFree=25085332/32770624 swapFree=66977616/67108860
[pid=2600] ppid=2597 vsize=10661932 memory=61236 CPUtime=1.08 cores=1,3,5,7
/proc/2600/stat : 2600 (java) S 2597 2600 2180 0 -1 1077944320 12961 0 0 0 103 5 0 0 20 0 15 0 414560620 10917818368 15309 33554432000 4194304 4196468 140736529902608 140736529885152 140659536735991 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
/proc/2600/statm: 2665483 15309 3065 1 0 2627980 0
[pid=2600/tid=2602] ppid=2597 vsize=10661932 memory=140556054779519 CPUtime=0.67 cores=1,3,5,7
/proc/2600/task/2602/stat : 2602 (java) R 2597 2600 2180 0 -1 4202560 8920 0 0 0 63 4 0 0 20 0 15 0 414560620 10917818368 15309 33554432000 4194304 4196468 140736529902608 140659540975904 140659536757917 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2603] ppid=2597 vsize=10661932 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2603/stat : 2603 (java) S 2597 2600 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414560621 10917818368 15309 33554432000 4194304 4196468 140736529902608 140659143314576 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2604] ppid=2597 vsize=10661932 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2604/stat : 2604 (java) S 2597 2600 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414560621 10917818368 15309 33554432000 4194304 4196468 140736529902608 140659142261776 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2605] ppid=2597 vsize=10661932 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2605/stat : 2605 (java) S 2597 2600 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414560621 10917818368 15309 33554432000 4194304 4196468 140736529902608 140659141208976 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2606] ppid=2597 vsize=10661932 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2606/stat : 2606 (java) S 2597 2600 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414560621 10917818368 15309 33554432000 4194304 4196468 140736529902608 140659140156176 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2607] ppid=2597 vsize=10661932 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2607/stat : 2607 (java) S 2597 2600 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414560623 10917818368 15309 33554432000 4194304 4196468 140736529902608 140658572482928 140659536747138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2608] ppid=2597 vsize=10661932 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2608/stat : 2608 (java) S 2597 2600 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414560623 10917818368 15309 33554432000 4194304 4196468 140736529902608 140658571428896 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2609] ppid=2597 vsize=10661932 memory=281103193604336 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2609/stat : 2609 (java) S 2597 2600 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414560623 10917818368 15309 33554432000 4194304 4196468 140736529902608 140658570376048 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2610] ppid=2597 vsize=10661932 memory=-6800859132029471843 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2610/stat : 2610 (java) S 2597 2600 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414560626 10917818368 15309 33554432000 4194304 4196468 140736529902608 140658260924240 140659536754587 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2611] ppid=2597 vsize=10661932 memory=-1807685287717842718 CPUtime=0.11 cores=1,3,5,7
/proc/2600/task/2611/stat : 2611 (java) R 2597 2600 2180 0 -1 4202560 995 0 0 0 11 0 0 0 20 0 15 0 414560626 10917818368 15309 33554432000 4194304 4196468 140736529902608 140658259872624 140659521532701 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2612] ppid=2597 vsize=10661932 memory=6655300316396806240 CPUtime=0.08 cores=1,3,5,7
/proc/2600/task/2612/stat : 2612 (java) S 2597 2600 2180 0 -1 1077944384 298 0 0 0 8 0 0 0 20 0 15 0 414560626 10917818368 15309 33554432000 4194304 4196468 140736529902608 140658258819824 140659536747138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2613] ppid=2597 vsize=10661932 memory=8317482817917895235 CPUtime=0.19 cores=1,3,5,7
/proc/2600/task/2613/stat : 2613 (java) S 2597 2600 2180 0 -1 1077944384 1389 0 0 0 19 0 0 0 20 0 15 0 414560626 10917818368 15309 33554432000 4194304 4196468 140736529902608 140658257767024 140659536747138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2614] ppid=2597 vsize=10661932 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2614/stat : 2614 (java) S 2597 2600 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414560626 10917818368 15309 33554432000 4194304 4196468 140736529902608 140658256714464 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2615] ppid=2597 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2615/stat : 2615 (java) S 2597 2600 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414560626 10917818368 15309 33554432000 4194304 4196468 140736529902608 140658255661744 140659536747138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 61236 KiB

[startup+1.5007 s]
/proc/loadavg: 2.51 2.27 1.98 3/217 2683
/proc/meminfo: memFree=25061236/32770624 swapFree=66977616/67108860
[pid=2600] ppid=2597 vsize=10663980 memory=74016 CPUtime=1.98 cores=1,3,5,7
/proc/2600/stat : 2600 (java) S 2597 2600 2180 0 -1 1077944320 16563 0 0 0 192 6 0 0 20 0 15 0 414560620 10919915520 18504 33554432000 4194304 4196468 140736529902608 140736529885152 140659536735991 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
/proc/2600/statm: 2665995 18504 3094 1 0 2628492 0
[pid=2600/tid=2602] ppid=2597 vsize=10663980 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/2600/task/2602/stat : 2602 (java) R 2597 2600 2180 0 -1 4202560 11484 0 0 0 142 5 0 0 20 0 15 0 414560620 10919915520 18504 33554432000 4194304 4196468 140736529902608 140659540961872 140659517007728 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2603] ppid=2597 vsize=10663980 memory=-1088251628401078322 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2603/stat : 2603 (java) S 2597 2600 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414560621 10919915520 18504 33554432000 4194304 4196468 140736529902608 140659143314576 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2604] ppid=2597 vsize=10663980 memory=-2245088631185882904 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2604/stat : 2604 (java) S 2597 2600 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414560621 10919915520 18504 33554432000 4194304 4196468 140736529902608 140659142261776 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2605] ppid=2597 vsize=10663980 memory=-2247047206137519189 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2605/stat : 2605 (java) S 2597 2600 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414560621 10919915520 18504 33554432000 4194304 4196468 140736529902608 140659141208976 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2606] ppid=2597 vsize=10663980 memory=-7016418392064703324 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2606/stat : 2606 (java) S 2597 2600 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414560621 10919915520 18504 33554432000 4194304 4196468 140736529902608 140659140156176 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2607] ppid=2597 vsize=10663980 memory=-1088251628401078322 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2607/stat : 2607 (java) S 2597 2600 2180 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 414560623 10919915520 18504 33554432000 4194304 4196468 140736529902608 140658572482928 140659536747138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0

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

/proc/2600/task/2606/stat : 2606 (java) S 2597 2600 2180 0 -1 1077944384 2816 0 0 0 42 3 0 0 20 0 16 0 414560621 11006283776 50418 33554432000 4194304 4196468 140736529902608 140659140156176 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2607] ppid=2597 vsize=10748324 memory=201672 CPUtime=0.14 cores=1,3,5,7
/proc/2600/task/2607/stat : 2607 (java) S 2597 2600 2180 0 -1 1077944384 3848 0 0 0 12 2 0 0 20 0 16 0 414560623 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658572482928 140659536747138 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2608] ppid=2597 vsize=10748324 memory=201672 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2608/stat : 2608 (java) S 2597 2600 2180 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414560623 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658571428960 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2609] ppid=2597 vsize=10748324 memory=201672 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2609/stat : 2609 (java) S 2597 2600 2180 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414560623 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658570376064 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2610] ppid=2597 vsize=10748324 memory=201672 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2610/stat : 2610 (java) S 2597 2600 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414560626 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658260924240 140659536754587 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2611] ppid=2597 vsize=10748324 memory=532 CPUtime=1.09 cores=1,3,5,7
/proc/2600/task/2611/stat : 2611 (java) S 2597 2600 2180 0 -1 1077944384 7581 0 0 0 108 1 0 0 20 0 16 0 414560626 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658259872624 140659536747138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2612] ppid=2597 vsize=10748324 memory=201672 CPUtime=1.03 cores=1,3,5,7
/proc/2600/task/2612/stat : 2612 (java) S 2597 2600 2180 0 -1 1077944384 7165 0 0 0 102 1 0 0 20 0 16 0 414560626 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658258819824 140659536747138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2613] ppid=2597 vsize=10748324 memory=201672 CPUtime=0.66 cores=1,3,5,7
/proc/2600/task/2613/stat : 2613 (java) S 2597 2600 2180 0 -1 1077944384 10205 0 0 0 65 1 0 0 20 0 16 0 414560626 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658257767024 140659536747138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2614] ppid=2597 vsize=10748324 memory=2592 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2614/stat : 2614 (java) S 2597 2600 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414560626 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658256714464 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2615] ppid=2597 vsize=10748324 memory=201672 CPUtime=0.47 cores=1,3,5,7
/proc/2600/task/2615/stat : 2615 (java) S 2597 2600 2180 0 -1 1077944384 972 0 0 0 21 26 0 0 20 0 16 0 414560626 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658255661744 140659536747138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2693] ppid=2597 vsize=10748324 memory=1084 CPUtime=2439.51 cores=1,3,5,7
/proc/2600/task/2693/stat : 2693 (java) R 2597 2600 2180 0 -1 4202560 12905 0 0 0 243946 5 0 0 20 0 16 0 414560809 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658238999840 140659179980859 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
Current children cumulated CPU time: 2446.67 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 201672 KiB

[startup+2502.3 s]
/proc/loadavg: 1.86 1.82 1.84 3/228 2946
/proc/meminfo: memFree=24743456/32770624 swapFree=66977616/67108860
[pid=2600] ppid=2597 vsize=10748324 memory=201672 CPUtime=2506.69 cores=1,3,5,7
/proc/2600/stat : 2600 (java) S 2597 2600 2180 0 -1 1077944320 67622 0 0 0 250614 55 0 0 20 0 16 0 414560620 11006283776 50418 33554432000 4194304 4196468 140736529902608 140736529885152 140659536735991 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
/proc/2600/statm: 2687081 50418 3374 1 0 2647217 0
[pid=2600/tid=2602] ppid=2597 vsize=10748324 memory=201672 CPUtime=1.86 cores=1,3,5,7
/proc/2600/task/2602/stat : 2602 (java) S 2597 2600 2180 0 -1 1077944384 13181 0 0 0 179 7 0 0 20 0 16 0 414560620 11006283776 50418 33554432000 4194304 4196468 140736529902608 140659540978864 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2603] ppid=2597 vsize=10748324 memory=201672 CPUtime=0.46 cores=1,3,5,7
/proc/2600/task/2603/stat : 2603 (java) S 2597 2600 2180 0 -1 1077944384 2196 0 0 0 42 4 0 0 20 0 16 0 414560621 11006283776 50418 33554432000 4194304 4196468 140736529902608 140659143314576 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2604] ppid=2597 vsize=10748324 memory=201672 CPUtime=0.45 cores=1,3,5,7
/proc/2600/task/2604/stat : 2604 (java) S 2597 2600 2180 0 -1 1077944384 1463 0 0 0 42 3 0 0 20 0 16 0 414560621 11006283776 50418 33554432000 4194304 4196468 140736529902608 140659142261776 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2605] ppid=2597 vsize=10748324 memory=201672 CPUtime=0.46 cores=1,3,5,7
/proc/2600/task/2605/stat : 2605 (java) S 2597 2600 2180 0 -1 1077944384 3821 0 0 0 42 4 0 0 20 0 16 0 414560621 11006283776 50418 33554432000 4194304 4196468 140736529902608 140659141208976 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2606] ppid=2597 vsize=10748324 memory=201672 CPUtime=0.45 cores=1,3,5,7
/proc/2600/task/2606/stat : 2606 (java) S 2597 2600 2180 0 -1 1077944384 2819 0 0 0 42 3 0 0 20 0 16 0 414560621 11006283776 50418 33554432000 4194304 4196468 140736529902608 140659140156176 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2607] ppid=2597 vsize=10748324 memory=3616 CPUtime=0.15 cores=1,3,5,7
/proc/2600/task/2607/stat : 2607 (java) S 2597 2600 2180 0 -1 1077944384 3869 0 0 0 13 2 0 0 20 0 16 0 414560623 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658572482928 140659536747138 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2608] ppid=2597 vsize=10748324 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2608/stat : 2608 (java) S 2597 2600 2180 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414560623 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658571428960 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2609] ppid=2597 vsize=10748324 memory=201672 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2609/stat : 2609 (java) S 2597 2600 2180 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414560623 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658570376064 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2610] ppid=2597 vsize=10748324 memory=201672 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2610/stat : 2610 (java) S 2597 2600 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414560626 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658260924240 140659536754587 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2611] ppid=2597 vsize=10748324 memory=39872 CPUtime=1.09 cores=1,3,5,7
/proc/2600/task/2611/stat : 2611 (java) S 2597 2600 2180 0 -1 1077944384 7583 0 0 0 108 1 0 0 20 0 16 0 414560626 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658259872624 140659536747138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2612] ppid=2597 vsize=10748324 memory=988 CPUtime=1.03 cores=1,3,5,7
/proc/2600/task/2612/stat : 2612 (java) S 2597 2600 2180 0 -1 1077944384 7167 0 0 0 102 1 0 0 20 0 16 0 414560626 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658258819824 140659536747138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2613] ppid=2597 vsize=10748324 memory=201672 CPUtime=0.66 cores=1,3,5,7
/proc/2600/task/2613/stat : 2613 (java) S 2597 2600 2180 0 -1 1077944384 10207 0 0 0 65 1 0 0 20 0 16 0 414560626 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658257767024 140659536747138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2614] ppid=2597 vsize=10748324 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2614/stat : 2614 (java) S 2597 2600 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414560626 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658256714464 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2615] ppid=2597 vsize=10748324 memory=39872 CPUtime=0.48 cores=1,3,5,7
/proc/2600/task/2615/stat : 2615 (java) S 2597 2600 2180 0 -1 1077944384 978 0 0 0 21 27 0 0 20 0 16 0 414560626 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658255661744 140659536747138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2693] ppid=2597 vsize=10748324 memory=988 CPUtime=2499.49 cores=1,3,5,7
/proc/2600/task/2693/stat : 2693 (java) R 2597 2600 2180 0 -1 4202560 12935 0 0 0 249944 5 0 0 20 0 16 0 414560809 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658238999840 140659175167286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
Current children cumulated CPU time: 2506.69 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 201672 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2515.7 s]
/proc/loadavg: 1.75 1.80 1.84 3/227 3024
/proc/meminfo: memFree=24907896/32770624 swapFree=66977616/67108860
[pid=2600] ppid=2597 vsize=10748324 memory=201672 CPUtime=2520.09 cores=1,3,5,7
/proc/2600/stat : 2600 (java) S 2597 2600 2180 0 -1 1077944320 67632 0 0 0 251954 55 0 0 20 0 16 0 414560620 11006283776 50418 33554432000 4194304 4196468 140736529902608 140736529885152 140659536735991 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
/proc/2600/statm: 2687081 50418 3374 1 0 2647217 0
[pid=2600/tid=2602] ppid=2597 vsize=10748324 memory=1984 CPUtime=1.86 cores=1,3,5,7
/proc/2600/task/2602/stat : 2602 (java) S 2597 2600 2180 0 -1 1077944384 13181 0 0 0 179 7 0 0 20 0 16 0 414560620 11006283776 50418 33554432000 4194304 4196468 140736529902608 140659540978864 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2603] ppid=2597 vsize=10748324 memory=201672 CPUtime=0.46 cores=1,3,5,7
/proc/2600/task/2603/stat : 2603 (java) S 2597 2600 2180 0 -1 1077944384 2196 0 0 0 42 4 0 0 20 0 16 0 414560621 11006283776 50418 33554432000 4194304 4196468 140736529902608 140659143314576 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2604] ppid=2597 vsize=10748324 memory=201672 CPUtime=0.46 cores=1,3,5,7
/proc/2600/task/2604/stat : 2604 (java) S 2597 2600 2180 0 -1 1077944384 1463 0 0 0 43 3 0 0 20 0 16 0 414560621 11006283776 50418 33554432000 4194304 4196468 140736529902608 140659142261776 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2605] ppid=2597 vsize=10748324 memory=201672 CPUtime=0.46 cores=1,3,5,7
/proc/2600/task/2605/stat : 2605 (java) S 2597 2600 2180 0 -1 1077944384 3821 0 0 0 42 4 0 0 20 0 16 0 414560621 11006283776 50418 33554432000 4194304 4196468 140736529902608 140659141208976 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2606] ppid=2597 vsize=10748324 memory=201672 CPUtime=0.45 cores=1,3,5,7
/proc/2600/task/2606/stat : 2606 (java) S 2597 2600 2180 0 -1 1077944384 2819 0 0 0 42 3 0 0 20 0 16 0 414560621 11006283776 50418 33554432000 4194304 4196468 140736529902608 140659140156176 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2607] ppid=2597 vsize=10748324 memory=164 CPUtime=0.15 cores=1,3,5,7
/proc/2600/task/2607/stat : 2607 (java) S 2597 2600 2180 0 -1 1077944384 3871 0 0 0 13 2 0 0 20 0 16 0 414560623 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658572482928 140659536747138 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2608] ppid=2597 vsize=10748324 memory=140551597237728 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2608/stat : 2608 (java) S 2597 2600 2180 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414560623 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658571428960 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2609] ppid=2597 vsize=10748324 memory=201672 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2609/stat : 2609 (java) S 2597 2600 2180 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414560623 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658570376064 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2610] ppid=2597 vsize=10748324 memory=201672 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2610/stat : 2610 (java) S 2597 2600 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414560626 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658260924240 140659536754587 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2611] ppid=2597 vsize=10748324 memory=48 CPUtime=1.09 cores=1,3,5,7
/proc/2600/task/2611/stat : 2611 (java) S 2597 2600 2180 0 -1 1077944384 7583 0 0 0 108 1 0 0 20 0 16 0 414560626 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658259872624 140659536747138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2612] ppid=2597 vsize=10748324 memory=250809 CPUtime=1.03 cores=1,3,5,7
/proc/2600/task/2612/stat : 2612 (java) S 2597 2600 2180 0 -1 1077944384 7167 0 0 0 102 1 0 0 20 0 16 0 414560626 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658258819824 140659536747138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2613] ppid=2597 vsize=10748324 memory=201672 CPUtime=0.66 cores=1,3,5,7
/proc/2600/task/2613/stat : 2613 (java) S 2597 2600 2180 0 -1 1077944384 10207 0 0 0 65 1 0 0 20 0 16 0 414560626 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658257767024 140659536747138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2614] ppid=2597 vsize=10748324 memory=201672 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2614/stat : 2614 (java) S 2597 2600 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414560626 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658256714464 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2615] ppid=2597 vsize=10748324 memory=201672 CPUtime=0.48 cores=1,3,5,7
/proc/2600/task/2615/stat : 2615 (java) S 2597 2600 2180 0 -1 1077944384 978 0 0 0 21 27 0 0 20 0 16 0 414560626 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658255661744 140659536747138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2693] ppid=2597 vsize=10748324 memory=-1664385933527490352 CPUtime=2512.88 cores=1,3,5,7
/proc/2600/task/2693/stat : 2693 (java) R 2597 2600 2180 0 -1 4202560 12943 0 0 0 251283 5 0 0 20 0 16 0 414560809 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658238999840 140659179766080 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 201672 KiB

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

[startup+2515.71 s]
# the end of solver process 2600 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.56 s, system=0.554013 s

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

[startup+2515.7 s]
/proc/loadavg: 1.75 1.80 1.84 3/227 3024
/proc/meminfo: memFree=24907896/32770624 swapFree=66977616/67108860
[pid=2600] ppid=2597 vsize=10748324 memory=201672 CPUtime=2520.09 cores=1,3,5,7
/proc/2600/stat : 2600 (java) S 2597 2600 2180 0 -1 1077944320 67632 0 0 0 251954 55 0 0 20 0 16 0 414560620 11006283776 50418 33554432000 4194304 4196468 140736529902608 140736529885152 140659536735991 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
/proc/2600/statm: 2687081 50418 3374 1 0 2647217 0
[pid=2600/tid=2602] ppid=2597 vsize=10748324 memory=1984 CPUtime=1.86 cores=1,3,5,7
/proc/2600/task/2602/stat : 2602 (java) S 2597 2600 2180 0 -1 1077944384 13181 0 0 0 179 7 0 0 20 0 16 0 414560620 11006283776 50418 33554432000 4194304 4196468 140736529902608 140659540978864 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2603] ppid=2597 vsize=10748324 memory=201672 CPUtime=0.46 cores=1,3,5,7
/proc/2600/task/2603/stat : 2603 (java) S 2597 2600 2180 0 -1 1077944384 2196 0 0 0 42 4 0 0 20 0 16 0 414560621 11006283776 50418 33554432000 4194304 4196468 140736529902608 140659143314576 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2604] ppid=2597 vsize=10748324 memory=201672 CPUtime=0.46 cores=1,3,5,7
/proc/2600/task/2604/stat : 2604 (java) S 2597 2600 2180 0 -1 1077944384 1463 0 0 0 43 3 0 0 20 0 16 0 414560621 11006283776 50418 33554432000 4194304 4196468 140736529902608 140659142261776 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2605] ppid=2597 vsize=10748324 memory=201672 CPUtime=0.46 cores=1,3,5,7
/proc/2600/task/2605/stat : 2605 (java) S 2597 2600 2180 0 -1 1077944384 3821 0 0 0 42 4 0 0 20 0 16 0 414560621 11006283776 50418 33554432000 4194304 4196468 140736529902608 140659141208976 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2606] ppid=2597 vsize=10748324 memory=201672 CPUtime=0.45 cores=1,3,5,7
/proc/2600/task/2606/stat : 2606 (java) S 2597 2600 2180 0 -1 1077944384 2819 0 0 0 42 3 0 0 20 0 16 0 414560621 11006283776 50418 33554432000 4194304 4196468 140736529902608 140659140156176 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2607] ppid=2597 vsize=10748324 memory=164 CPUtime=0.15 cores=1,3,5,7
/proc/2600/task/2607/stat : 2607 (java) S 2597 2600 2180 0 -1 1077944384 3871 0 0 0 13 2 0 0 20 0 16 0 414560623 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658572482928 140659536747138 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2608] ppid=2597 vsize=10748324 memory=140551597237728 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2608/stat : 2608 (java) S 2597 2600 2180 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414560623 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658571428960 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2609] ppid=2597 vsize=10748324 memory=201672 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2609/stat : 2609 (java) S 2597 2600 2180 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414560623 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658570376064 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2610] ppid=2597 vsize=10748324 memory=201672 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2610/stat : 2610 (java) S 2597 2600 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414560626 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658260924240 140659536754587 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2611] ppid=2597 vsize=10748324 memory=48 CPUtime=1.09 cores=1,3,5,7
/proc/2600/task/2611/stat : 2611 (java) S 2597 2600 2180 0 -1 1077944384 7583 0 0 0 108 1 0 0 20 0 16 0 414560626 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658259872624 140659536747138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2612] ppid=2597 vsize=10748324 memory=250809 CPUtime=1.03 cores=1,3,5,7
/proc/2600/task/2612/stat : 2612 (java) S 2597 2600 2180 0 -1 1077944384 7167 0 0 0 102 1 0 0 20 0 16 0 414560626 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658258819824 140659536747138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2613] ppid=2597 vsize=10748324 memory=201672 CPUtime=0.66 cores=1,3,5,7
/proc/2600/task/2613/stat : 2613 (java) S 2597 2600 2180 0 -1 1077944384 10207 0 0 0 65 1 0 0 20 0 16 0 414560626 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658257767024 140659536747138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2614] ppid=2597 vsize=10748324 memory=201672 CPUtime=0 cores=1,3,5,7
/proc/2600/task/2614/stat : 2614 (java) S 2597 2600 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414560626 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658256714464 140659536746197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2615] ppid=2597 vsize=10748324 memory=201672 CPUtime=0.48 cores=1,3,5,7
/proc/2600/task/2615/stat : 2615 (java) S 2597 2600 2180 0 -1 1077944384 978 0 0 0 21 27 0 0 20 0 16 0 414560626 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658255661744 140659536747138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
[pid=2600/tid=2693] ppid=2597 vsize=10748324 memory=-1664385933527490352 CPUtime=2512.88 cores=1,3,5,7
/proc/2600/task/2693/stat : 2693 (java) R 2597 2600 2180 0 -1 4202560 12943 0 0 0 251283 5 0 0 20 0 16 0 414560809 11006283776 50418 33554432000 4194304 4196468 140736529902608 140658238999840 140659179766080 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140736529908747 140736529908850 140736529908850 140736529911759 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 201672 KiB

Child status: 143
Real time (s): 2515.71
CPU time (s): 2520.11
CPU user time (s): 2519.56
CPU system time (s): 0.554013
CPU usage (%): 100.175
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 301516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.56
system time used= 0.554013
maximum resident set size= 301516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68014
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60075
involuntary context switches= 2898


# summary of solver processes directly reported to runsolver:
#   pid: 2600
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2519.56
#   total CPU system time (s): 0.554013

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0721 second user time and 21.6604 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-13 14:46:57
IDJOB=4390540
IDBENCH=127881
IDSOLVER=2832
FILE ID=node104/4390540-1568383034
RUNJOBID= node104-1568376300-2212
PBS_JOBID= 21701850
Free space on /tmp= 56564 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-142.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390540-1568383034/watcher-4390540-1568383034 -o /tmp/evaluation-result-4390540-1568383034/solver-4390540-1568383034 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568376300-2212 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390540-1568383034.xml -cm

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

MD5SUM BENCH= 216ebd1a5dc9377e08f238421ffc41cf
RANDOM SEED=1712976382

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24851264 kB
MemAvailable:   31558404 kB
Buffers:          149796 kB
Cached:          6770716 kB
SwapCached:        31860 kB
Active:          2062508 kB
Inactive:        5165812 kB
Active(anon):     274812 kB
Inactive(anon):    74524 kB
Active(file):    1787696 kB
Inactive(file):  5091288 kB
Unevictable:      107784 kB
Mlocked:          107784 kB
SwapTotal:      67108860 kB
SwapFree:       66977616 kB
Dirty:              8652 kB
Writeback:             0 kB
AnonPages:        391324 kB
Mapped:            56040 kB
Shmem:             32780 kB
Slab:             286312 kB
SReclaimable:     256616 kB
SUnreclaim:        29696 kB
KernelStack:        3984 kB
PageTables:         6184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1233692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    321536 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 56556 MiB
End job on node104 at 2019-09-13 15:28:52