Trace number 4390756

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.03 2514.91

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-194.xml
MD5SUMef9e4147ed9b2de2d40743a9ffe67bf9
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size593
Maximum domain size593
Distribution of domain sizes[{"size":593,"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.41/1.88	
2.41/1.88	AbsCon 2 
2.41/1.89	
2.92/2.01	  Instance
2.92/2.01	    name=instance-4390756-1568383027, framework=CSP
2.92/2.01	
2.92/2.01	  Loading variables...
2.92/2.05	  Loading constraints...
3.81/2.32	
3.81/2.32	  Domains
3.81/2.32	    nTypes=1, nValues=29650, sizes=[593#50]
3.81/2.32	  Variables
3.81/2.32	    count=50, degrees=[25#48,26#1,27#1]
3.81/2.32	  Constraints
3.81/2.32	    count=352, nSpecific=1, arities=[1#51,2#1,4#300]
3.81/2.32	    distribution=[CtrIntension#351,LE#1]
3.81/2.32	    nIntStructures=(326,shared:25)
3.81/2.32	    wck=0.476, cpu=2.288, mem=71M440
3.81/2.33	  Solver SolverBacktrack being built...
3.81/2.33	
3.81/2.35	
3.81/2.35	  Solver
3.81/2.35	    guaranteedGAC=false
3.81/2.35	    wck=0.507, cpu=2.318, mem=84M725
3.81/2.37	
3.81/2.37	  Preprocessing
3.81/2.37	    filters=52, revisions=(53,useless=2), ccks=30386, nACremovedValues=5432, nTotalRemovedValues=5432, inconcistency=false
3.81/2.37	    wck=0.016, cpu=2.335, mem=84M725
3.81/2.37	
8.63/6.78	    num=0, depth=24..24, filters=515, revisions=(1627,useless=1012), ccks=13006573, wck=4.431, mem=90M10
8.63/6.78	    decisions=44, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
8.63/6.78	    
8.89/6.98	    num=1, depth=2..2, filters=539, revisions=(1675,useless=1037), ccks=13600886, wck=4.631, mem=90M10
8.89/6.98	    decisions=68, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
8.89/6.98	    
9.50/7.51	    num=2, depth=3..3, filters=565, revisions=(1779,useless=1114), ccks=15211884, wck=5.161, mem=92M653
9.50/7.51	    decisions=95, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
9.50/7.51	    
12.15/10.09	    num=3, depth=24..24, filters=742, revisions=(3332,useless=2491), ccks=23067436, wck=7.734, mem=97M937
12.15/10.09	    decisions=145, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
12.15/10.09	    
13.26/11.14	    num=4, depth=3..3, filters=771, revisions=(3466,useless=2596), ccks=26249494, wck=8.783, mem=97M937
13.26/11.14	    decisions=176, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
13.26/11.14	    
25.36/23.24	    num=5, depth=1..1, filters=787, revisions=(4234,useless=3348), ccks=62636636, wck=20.888, mem=103M222
25.36/23.24	    decisions=209, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
25.36/23.24	    
25.86/23.77	    num=6, depth=3..3, filters=823, revisions=(4359,useless=3436), ccks=64236118, wck=21.413, mem=103M222
25.86/23.77	    decisions=246, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
25.86/23.77	    
27.07/24.90	    num=7, depth=2..2, filters=919, revisions=(4591,useless=3572), ccks=67622473, wck=22.55, mem=105M865
27.07/24.90	    decisions=286, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
27.07/24.90	    
27.37/25.25	    num=8, depth=3..3, filters=962, revisions=(4771,useless=3709), ccks=68671454, wck=22.901, mem=105M865
27.37/25.25	    decisions=331, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
27.37/25.25	    
27.77/25.61	    num=9, depth=3..3, filters=1010, revisions=(4915,useless=3806), ccks=69766276, wck=23.26, mem=105M865
27.77/25.61	    decisions=380, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
27.77/25.61	    
28.20/26.05	    num=10, depth=9..9, filters=1103, revisions=(5502,useless=4299), ccks=71058781, wck=23.701, mem=108M507
28.20/26.05	    decisions=439, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
28.20/26.05	    
28.51/26.37	    num=11, depth=6..6, filters=1192, revisions=(5923,useless=4631), ccks=72002486, wck=24.017, mem=113M792
28.51/26.37	    decisions=501, wrong=209, backtracks=0, failedAssignments=209, nogoods=209
28.51/26.37	    
37.37/35.07	    num=12, depth=27..27, filters=1513, revisions=(8401,useless=6755), ccks=98720052, wck=32.715, mem=121M719
37.37/35.07	    decisions=590, wrong=240, backtracks=0, failedAssignments=240, nogoods=240
37.37/35.07	    
58.87/56.55	    num=13, depth=1..1, filters=1547, revisions=(10033,useless=8353), ccks=162948347, wck=54.196, mem=134M932
58.87/56.55	    decisions=659, wrong=274, backtracks=0, failedAssignments=274, nogoods=274
58.87/56.55	    
58.97/56.63	    num=14, depth=5..5, filters=1665, revisions=(10435,useless=8636), ccks=163179725, wck=54.275, mem=137M574
58.97/56.63	    decisions=738, wrong=311, backtracks=0, failedAssignments=311, nogoods=311
58.97/56.63	    
60.07/57.76	    num=15, depth=6..6, filters=1796, revisions=(11009,useless=8997), ccks=166582262, wck=55.41, mem=140M216
60.07/57.76	    decisions=826, wrong=352, backtracks=0, failedAssignments=352, nogoods=352
60.07/57.76	    
94.79/92.31	    num=16, depth=1..1, filters=1841, revisions=(13170,useless=11113), ccks=270654320, wck=89.962, mem=64M669
94.79/92.31	    decisions=917, wrong=397, backtracks=0, failedAssignments=397, nogoods=397
94.79/92.31	    
95.60/93.11	    num=17, depth=5..5, filters=1946, revisions=(13737,useless=11575), ccks=273129161, wck=90.758, mem=67M259
95.60/93.11	    decisions=1022, wrong=447, backtracks=0, failedAssignments=447, nogoods=447
95.60/93.11	    
97.19/94.76	    num=18, depth=8..8, filters=2117, revisions=(14557,useless=12224), ccks=278087095, wck=92.41, mem=72M438
97.19/94.76	    decisions=1140, wrong=502, backtracks=0, failedAssignments=502, nogoods=502
97.19/94.76	    
97.70/95.29	    num=19, depth=7..8, filters=2310, revisions=(15339,useless=12813), ccks=279667072, wck=92.934, mem=75M27
97.70/95.29	    decisions=1270, wrong=563, backtracks=0, failedAssignments=563, nogoods=563
97.70/95.29	    
98.91/96.47	    num=20, depth=9..17, filters=2556, revisions=(16517,useless=13746), ccks=283226774, wck=94.12, mem=80M206
98.91/96.47	    decisions=1421, wrong=630, backtracks=0, failedAssignments=630, nogoods=630
98.91/96.47	    
101.53/99.10	    num=21, depth=6..6, filters=2710, revisions=(17483,useless=14557), ccks=291314822, wck=96.751, mem=82M796
101.53/99.10	    decisions=1575, wrong=704, backtracks=0, failedAssignments=704, nogoods=704
101.53/99.10	    
153.42/150.92	    num=22, depth=1..1, filters=2791, revisions=(21372,useless=18365), ccks=447212066, wck=148.568, mem=113M870
153.42/150.92	    decisions=1738, wrong=785, backtracks=0, failedAssignments=785, nogoods=785
153.42/150.92	    
153.82/151.39	    num=23, depth=3..3, filters=2971, revisions=(21783,useless=18595), ccks=448644090, wck=149.033, mem=116M459
153.82/151.39	    decisions=1919, wrong=874, backtracks=0, failedAssignments=874, nogoods=874
153.82/151.39	    
155.63/153.18	    num=24, depth=3..3, filters=3169, revisions=(22423,useless=19037), ccks=454042302, wck=150.829, mem=121M639
155.63/153.18	    decisions=2118, wrong=972, backtracks=0, failedAssignments=972, nogoods=972
155.63/153.18	    
224.43/221.90	    num=25, depth=1..1, filters=3277, revisions=(27608,useless=24114), ccks=661746838, wck=219.549, mem=163M71
224.43/221.90	    decisions=2335, wrong=1080, backtracks=0, failedAssignments=1080, nogoods=1080
224.43/221.90	    
225.54/223.09	    num=26, depth=5..5, filters=3516, revisions=(28663,useless=24930), ccks=665308421, wck=220.732, mem=165M660
225.54/223.09	    decisions=2578, wrong=1199, backtracks=0, failedAssignments=1199, nogoods=1199
225.54/223.09	    
226.34/223.85	    num=27, depth=3..3, filters=3778, revisions=(29238,useless=25243), ccks=667602487, wck=221.492, mem=170M839
226.34/223.85	    decisions=2843, wrong=1330, backtracks=0, failedAssignments=1330, nogoods=1330
226.34/223.85	    
282.48/279.94	    num=28, depth=1..9, filters=3998, revisions=(35011,useless=30796), ccks=835240456, wck=277.585, mem=84M358
282.48/279.94	    decisions=3140, wrong=1474, backtracks=0, failedAssignments=1474, nogoods=1474
282.48/279.94	    
288.18/285.65	    num=29, depth=2..2, filters=4474, revisions=(36448,useless=31599), ccks=852368573, wck=283.296, mem=92M154
288.18/285.65	    decisions=3458, wrong=1632, backtracks=0, failedAssignments=1632, nogoods=1632
288.18/285.65	    
290.79/288.27	    num=30, depth=3..3, filters=4823, revisions=(37548,useless=32348), ccks=860227750, wck=285.918, mem=97M351
290.79/288.27	    decisions=3809, wrong=1806, backtracks=0, failedAssignments=1806, nogoods=1806
290.79/288.27	    
401.62/399.04	    num=31, depth=1..3, filters=5053, revisions=(46637,useless=41208), ccks=1195890781, wck=396.691, mem=167M519
401.62/399.04	    decisions=4194, wrong=1997, backtracks=1, failedAssignments=1997, nogoods=1989
401.62/399.04	    
403.02/400.43	    num=32, depth=3..11, filters=5609, revisions=(49105,useless=43120), ccks=1200008004, wck=398.08, mem=180M95
403.02/400.43	    decisions=4627, wrong=2208, backtracks=1, failedAssignments=2208, nogoods=2200
403.02/400.43	    
404.35/401.76	    num=33, depth=8..12, filters=6335, revisions=(53238,useless=46527), ccks=1203894014, wck=399.409, mem=61M143
404.35/401.76	    decisions=5103, wrong=2440, backtracks=1, failedAssignments=2440, nogoods=2432
404.35/401.76	    
406.70/404.02	    num=34, depth=8..22, filters=7411, revisions=(57994,useless=50207), ccks=1210641532, wck=401.665, mem=82M56
406.70/404.02	    decisions=5635, wrong=2695, backtracks=1, failedAssignments=2695, nogoods=2687
406.70/404.02	    
410.49/407.80	    num=35, depth=6..12, filters=8112, revisions=(61732,useless=53072), ccks=1222009678, wck=405.448, mem=95M126
410.49/407.80	    decisions=6209, wrong=2976, backtracks=1, failedAssignments=2976, nogoods=2968
410.49/407.80	    
413.94/411.24	    num=36, depth=5..13, filters=8885, revisions=(65640,useless=56207), ccks=1232405781, wck=408.886, mem=113M424
413.94/411.24	    decisions=6840, wrong=3285, backtracks=1, failedAssignments=3285, nogoods=3277
413.94/411.24	    
441.05/438.38	    num=37, depth=5..18, filters=10079, revisions=(72925,useless=62298), ccks=1311946612, wck=436.026, mem=152M635
441.05/438.38	    decisions=7537, wrong=3625, backtracks=1, failedAssignments=3625, nogoods=3617
441.05/438.38	    
442.35/439.68	    num=38, depth=7..12, filters=11309, revisions=(78483,useless=66625), ccks=1315617285, wck=437.323, mem=178M775
442.35/439.68	    decisions=8297, wrong=3999, backtracks=1, failedAssignments=3999, nogoods=3991
442.35/439.68	    
447.58/444.81	    num=39, depth=6..22, filters=12390, revisions=(84031,useless=71092), ccks=1330257699, wck=442.46, mem=68M953
447.58/444.81	    decisions=9143, wrong=4411, backtracks=2, failedAssignments=4410, nogoods=4402
447.58/444.81	    
449.28/446.55	    num=40, depth=4..24, filters=13891, revisions=(93993,useless=79551), ccks=1335050639, wck=444.202, mem=105M105
449.28/446.55	    decisions=10073, wrong=4864, backtracks=3, failedAssignments=4862, nogoods=4854
449.28/446.55	    
460.38/457.58	    num=41, depth=4..27, filters=15926, revisions=(109255,useless=92776), ccks=1366482344, wck=455.226, mem=172M246
460.38/457.58	    decisions=11096, wrong=5362, backtracks=4, failedAssignments=5359, nogoods=5328
460.38/457.58	    
491.90/488.98	    num=42, depth=4..29, filters=18365, revisions=(128253,useless=109333), ccks=1456628931, wck=486.624, mem=130M66
491.90/488.98	    decisions=12221, wrong=5910, backtracks=5, failedAssignments=5906, nogoods=5852
491.90/488.98	    
531.47/528.44	    num=43, depth=4..32, filters=21084, revisions=(152200,useless=130559), ccks=1569830309, wck=526.084, mem=106M349
531.47/528.44	    decisions=13459, wrong=6513, backtracks=6, failedAssignments=6508, nogoods=6431
531.47/528.44	    
574.82/571.79	    num=44, depth=4..37, filters=24228, revisions=(181666,useless=156879), ccks=1694164893, wck=569.441, mem=98M175
574.82/571.79	    decisions=14822, wrong=7176, backtracks=7, failedAssignments=7170, nogoods=7070
574.82/571.79	    
620.76/617.67	    num=45, depth=4..27, filters=27335, revisions=(208598,useless=180701), ccks=1825901016, wck=615.314, mem=90M180
620.76/617.67	    decisions=16307, wrong=7905, backtracks=8, failedAssignments=7898, nogoods=7775
620.76/617.67	    
624.77/621.62	    num=46, depth=7..20, filters=29989, revisions=(224930,useless=194378), ccks=1837024566, wck=619.264, mem=155M781
624.77/621.62	    decisions=17929, wrong=8706, backtracks=8, failedAssignments=8699, nogoods=8576
624.77/621.62	    
748.59/745.37	    num=47, depth=7..11, filters=32513, revisions=(263246,useless=230171), ccks=2198566023, wck=743.018, mem=72M449
748.59/745.37	    decisions=19701, wrong=9587, backtracks=10, failedAssignments=9580, nogoods=9232
748.59/745.37	    
752.03/748.79	    num=48, depth=3..31, filters=36285, revisions=(294147,useless=257301), ccks=2207586865, wck=746.433, mem=60M724
752.03/748.79	    decisions=21672, wrong=10557, backtracks=10, failedAssignments=10550, nogoods=10202
752.03/748.79	    
755.53/752.24	    num=49, depth=12..24, filters=40088, revisions=(323801,useless=283151), ccks=2216662807, wck=749.883, mem=51M673
755.53/752.24	    decisions=23830, wrong=11624, backtracks=10, failedAssignments=11617, nogoods=11269
755.53/752.24	    
758.37/755.10	    num=50, depth=11..26, filters=44312, revisions=(356231,useless=311356), ccks=2224044548, wck=752.748, mem=162M638
758.37/755.10	    decisions=26202, wrong=12797, backtracks=10, failedAssignments=12790, nogoods=12442
758.37/755.10	    
762.62/759.28	    num=51, depth=9..32, filters=49317, revisions=(400055,useless=350175), ccks=2234667392, wck=756.926, mem=82M797
762.62/759.28	    decisions=28816, wrong=14088, backtracks=10, failedAssignments=14081, nogoods=13733
762.62/759.28	    
767.10/763.69	    num=52, depth=10..30, filters=54775, revisions=(448636,useless=393297), ccks=2245738043, wck=761.337, mem=135M154
767.10/763.69	    decisions=31686, wrong=15508, backtracks=10, failedAssignments=15501, nogoods=15153
767.10/763.69	    
772.72/769.23	    num=53, depth=11..36, filters=60308, revisions=(500583,useless=439655), ccks=2260214357, wck=766.876, mem=80M128
772.72/769.23	    decisions=34846, wrong=17070, backtracks=10, failedAssignments=17063, nogoods=16715
772.72/769.23	    
779.94/776.47	    num=54, depth=15..41, filters=67709, revisions=(573380,useless=504971), ccks=2278988809, wck=774.113, mem=87M712
779.94/776.47	    decisions=38324, wrong=18789, backtracks=11, failedAssignments=18781, nogoods=18183
779.94/776.47	    
786.77/783.29	    num=55, depth=6..34, filters=75387, revisions=(630336,useless=554248), ccks=2297180784, wck=780.938, mem=71M266
786.77/783.29	    decisions=42138, wrong=20679, backtracks=11, failedAssignments=20671, nogoods=20073
786.77/783.29	    
794.09/790.53	    num=56, depth=6..43, filters=82999, revisions=(707583,useless=623882), ccks=2315758519, wck=788.182, mem=121M627
794.09/790.53	    decisions=46345, wrong=22761, backtracks=15, failedAssignments=22750, nogoods=22053
794.09/790.53	    
971.38/967.71	    num=57, depth=9..20, filters=100255, revisions=(826769,useless=725766), ccks=2831449462, wck=965.358, mem=134M883
971.38/967.71	    decisions=51056, wrong=25108, backtracks=75, failedAssignments=25037, nogoods=22588
971.38/967.71	    
980.11/976.42	    num=58, depth=12..36, filters=110601, revisions=(926687,useless=815338), ccks=2853930061, wck=974.071, mem=135M662
980.11/976.42	    decisions=56133, wrong=27630, backtracks=81, failedAssignments=27553, nogoods=23986
980.11/976.42	    
990.43/986.74	    num=59, depth=10..32, filters=120072, revisions=(1009118,useless=888297), ccks=2881968959, wck=984.386, mem=88M545
990.43/986.74	    decisions=61710, wrong=30407, backtracks=92, failedAssignments=30321, nogoods=25072
990.43/986.74	    
1146.41/1142.65	    num=60, depth=1..40, filters=131147, revisions=(1132486,useless=1000590), ccks=3330148356, wck=1140.301, mem=112M274
1146.41/1142.65	    decisions=67838, wrong=33451, backtracks=92, failedAssignments=33365, nogoods=28116
1146.41/1142.65	    
1156.05/1152.21	    num=61, depth=6..29, filters=145542, revisions=(1227224,useless=1080932), ccks=3355710066, wck=1149.858, mem=73M744
1156.05/1152.21	    decisions=74579, wrong=36810, backtracks=104, failedAssignments=36714, nogoods=29943
1156.05/1152.21	    
1171.78/1167.97	    num=62, depth=14..27, filters=159643, revisions=(1345299,useless=1184623), ccks=3399164298, wck=1165.616, mem=88M802
1171.78/1167.97	    decisions=81968, wrong=40494, backtracks=112, failedAssignments=40398, nogoods=30945
1171.78/1167.97	    
1643.78/1639.71	    num=63, depth=2..14, filters=167282, revisions=(1497319,useless=1329005), ccks=4787901479, wck=1637.354, mem=72M982
1643.78/1639.71	    decisions=90085, wrong=44546, backtracks=254, failedAssignments=44450, nogoods=31370
1643.78/1639.71	    
1660.15/1656.03	    num=64, depth=7..38, filters=183291, revisions=(1675906,useless=1491583), ccks=4829236935, wck=1653.676, mem=76M988
1660.15/1656.03	    decisions=99041, wrong=49007, backtracks=258, failedAssignments=48907, nogoods=34459
1660.15/1656.03	    
1676.31/1672.13	    num=65, depth=9..46, filters=201904, revisions=(1912598,useless=1709606), ccks=4868455697, wck=1669.781, mem=99M408
1676.31/1672.13	    decisions=108902, wrong=53919, backtracks=267, failedAssignments=53810, nogoods=36734
1676.31/1672.13	    
1687.46/1683.24	    num=66, depth=11..25, filters=219810, revisions=(2071877,useless=1850923), ccks=4896710067, wck=1680.89, mem=88M271
1687.46/1683.24	    decisions=119716, wrong=59315, backtracks=281, failedAssignments=59204, nogoods=38538
1687.46/1683.24	    
1730.50/1726.16	    num=67, depth=6..34, filters=241953, revisions=(2300983,useless=2057877), ccks=5016762194, wck=1723.804, mem=96M634
1730.50/1726.16	    decisions=131619, wrong=65250, backtracks=290, failedAssignments=65137, nogoods=41697
1730.50/1726.16	    
1965.87/1961.33	    num=68, depth=5..26, filters=264814, revisions=(2556980,useless=2290881), ccks=5709414439, wck=1958.979, mem=74M502
1965.87/1961.33	    decisions=144778, wrong=71817, backtracks=340, failedAssignments=71663, nogoods=44033
1965.87/1961.33	    
1980.32/1975.74	    num=69, depth=11..31, filters=286210, revisions=(2785409,useless=2497913), ccks=5747693003, wck=1973.388, mem=63M114
1980.32/1975.74	    decisions=159169, wrong=78999, backtracks=415, failedAssignments=78842, nogoods=45257
1980.32/1975.74	    
1997.58/1992.93	    num=70, depth=4..25, filters=311215, revisions=(2969357,useless=2656754), ccks=5794555138, wck=1990.577, mem=86M810
1997.58/1992.93	    decisions=174992, wrong=86900, backtracks=427, failedAssignments=86739, nogoods=47650
1997.58/1992.93	    
2029.96/2025.23	    num=71, depth=4..26, filters=350552, revisions=(3236964,useless=2885018), ccks=5882225845, wck=2022.873, mem=60M448
2029.96/2025.23	    decisions=192485, wrong=95634, backtracks=475, failedAssignments=95426, nogoods=49652
2029.96/2025.23	    
2221.33/2216.40	    num=72, depth=5..22, filters=380368, revisions=(3483546,useless=3101784), ccks=6444254923, wck=2214.048, mem=69M332
2221.33/2216.40	    decisions=211655, wrong=105210, backtracks=729, failedAssignments=104981, nogoods=50689
2221.33/2216.40	    
2260.04/2255.04	    num=73, depth=5..28, filters=409415, revisions=(3725523,useless=3314712), ccks=6550331843, wck=2252.682, mem=97M345
2260.04/2255.04	    decisions=232704, wrong=115721, backtracks=827, failedAssignments=115492, nogoods=52991
2260.04/2255.04

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 (14283 MiB free)
  memory of node 1: 16384 MiB (15901 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390756-1568383027/watcher-4390756-1568383027 -o /tmp/evaluation-result-4390756-1568383027/solver-4390756-1568383027 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568380474-19779 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390756-1568383027.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
Current StackSize limit: 8192 KiB

solver pid=20131, runsolver pid=20128

[startup+0.103746 s]*
/proc/loadavg: 1.70 1.83 1.76 4/228 20146
/proc/meminfo: memFree=30892420/32770624 swapFree=66966928/67108860
[pid=20131] ppid=20128 vsize=10659884 memory=28664 CPUtime=0.15 cores=1,3,5,7
/proc/20131/stat : 20131 (java) S 20128 20131 19747 0 -1 1077944320 5618 0 0 0 14 1 0 0 20 0 15 0 414569584 10915721216 7166 33554432000 4194304 4196468 140734931910144 140734931892688 140095432474359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
/proc/20131/statm: 2664971 7166 2913 1 0 2627468 0
[pid=20131/tid=20133] ppid=20128 vsize=10659884 memory=-8439527450518781933 CPUtime=0.09 cores=1,3,5,7
/proc/20131/task/20133/stat : 20133 (java) R 20128 20131 19747 0 -1 4202560 3348 0 0 0 9 0 0 0 20 0 15 0 414569585 10915721216 7232 33554432000 4194304 4196468 140734931910144 140095436703320 140095413868461 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20134] ppid=20128 vsize=10659884 memory=4211974330808655242 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20134/stat : 20134 (java) S 20128 20131 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414569585 10915721216 7232 33554432000 4194304 4196468 140734931910144 140095039286032 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20135] ppid=20128 vsize=10659884 memory=140604603864704 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20135/stat : 20135 (java) S 20128 20131 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414569586 10915721216 7232 33554432000 4194304 4196468 140734931910144 140095038233488 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20136] ppid=20128 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20136/stat : 20136 (java) S 20128 20131 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569586 10915721216 7232 33554432000 4194304 4196468 140734931910144 140095037180944 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20137] ppid=20128 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20137/stat : 20137 (java) S 20128 20131 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414569586 10915721216 7232 33554432000 4194304 4196468 140734931910144 140095036128400 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20138] ppid=20128 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20138/stat : 20138 (java) S 20128 20131 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414569587 10915721216 7232 33554432000 4194304 4196468 140734931910144 140094736746480 140095432485506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20139] ppid=20128 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20139/stat : 20139 (java) S 20128 20131 19747 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414569587 10915721216 7232 33554432000 4194304 4196468 140734931910144 140094735692704 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20140] ppid=20128 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20140/stat : 20140 (java) S 20128 20131 19747 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414569588 10915721216 7232 33554432000 4194304 4196468 140734931910144 140094734640112 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20141] ppid=20128 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20141/stat : 20141 (java) S 20128 20131 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414569590 10915721216 7232 33554432000 4194304 4196468 140734931910144 140094733588688 140095432492955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20142] ppid=20128 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20131/task/20142/stat : 20142 (java) S 20128 20131 19747 0 -1 1077944384 485 0 0 0 1 0 0 0 20 0 15 0 414569590 10915721216 7232 33554432000 4194304 4196468 140734931910144 140094732536304 140095432485506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20143] ppid=20128 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20143/stat : 20143 (java) R 20128 20131 19747 0 -1 4202560 66 0 0 0 0 0 0 0 20 0 15 0 414569590 10915721216 7298 33554432000 4194304 4196468 140734931910144 140094731476504 140095424763741 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20144] ppid=20128 vsize=10659884 memory=140604603864704 CPUtime=0.02 cores=1,3,5,7
/proc/20131/task/20144/stat : 20144 (java) R 20128 20131 19747 0 -1 4202560 538 0 0 0 2 0 0 0 20 0 15 0 414569590 10915721216 7298 33554432000 4194304 4196468 140734931910144 140094730428072 140095411277671 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20145] ppid=20128 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20145/stat : 20145 (java) S 20128 20131 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414569590 10915721216 7363 33554432000 4194304 4196468 140734931910144 140094729378912 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20146] ppid=20128 vsize=10659884 memory=140604603864704 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20146/stat : 20146 (java) S 20128 20131 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569590 10915721216 7363 33554432000 4194304 4196468 140734931910144 140094728325424 140095432485506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28664 KiB

[startup+0.210729 s]*
/proc/loadavg: 1.70 1.83 1.76 4/228 20146
/proc/meminfo: memFree=30885412/32770624 swapFree=66966928/67108860
[pid=20131] ppid=20128 vsize=10659884 memory=35340 CPUtime=0.32 cores=1,3,5,7
/proc/20131/stat : 20131 (java) S 20128 20131 19747 0 -1 1077944320 6970 0 0 0 31 1 0 0 20 0 15 0 414569584 10915721216 8835 33554432000 4194304 4196468 140734931910144 140734931892688 140095432474359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
/proc/20131/statm: 2664971 8835 2989 1 0 2627468 0
[pid=20131/tid=20133] ppid=20128 vsize=10659884 memory=7900017517374083699 CPUtime=0.2 cores=1,3,5,7
/proc/20131/task/20133/stat : 20133 (java) R 20128 20131 19747 0 -1 4202560 3902 0 0 0 19 1 0 0 20 0 15 0 414569585 10915721216 8835 33554432000 4194304 4196468 140734931910144 140095436700720 140095432496285 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20134] ppid=20128 vsize=10659884 memory=4211974330808655242 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20134/stat : 20134 (java) S 20128 20131 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414569585 10915721216 8835 33554432000 4194304 4196468 140734931910144 140095039286032 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20135] ppid=20128 vsize=10659884 memory=140604603864704 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20135/stat : 20135 (java) S 20128 20131 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414569586 10915721216 8835 33554432000 4194304 4196468 140734931910144 140095038233488 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20136] ppid=20128 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20136/stat : 20136 (java) S 20128 20131 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569586 10915721216 8835 33554432000 4194304 4196468 140734931910144 140095037180944 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20137] ppid=20128 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20137/stat : 20137 (java) S 20128 20131 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414569586 10915721216 8835 33554432000 4194304 4196468 140734931910144 140095036128400 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20138] ppid=20128 vsize=10659884 memory=140604603864704 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20138/stat : 20138 (java) S 20128 20131 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414569587 10915721216 8835 33554432000 4194304 4196468 140734931910144 140094736746480 140095432485506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20139] ppid=20128 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20139/stat : 20139 (java) S 20128 20131 19747 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414569587 10915721216 8835 33554432000 4194304 4196468 140734931910144 140094735692704 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20140] ppid=20128 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20140/stat : 20140 (java) S 20128 20131 19747 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414569588 10915721216 8835 33554432000 4194304 4196468 140734931910144 140094734640112 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20141] ppid=20128 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20141/stat : 20141 (java) S 20128 20131 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414569590 10915721216 8835 33554432000 4194304 4196468 140734931910144 140094733588688 140095432492955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20142] ppid=20128 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/20131/task/20142/stat : 20142 (java) S 20128 20131 19747 0 -1 1077944384 694 0 0 0 3 0 0 0 20 0 15 0 414569590 10915721216 8835 33554432000 4194304 4196468 140734931910144 140094732536304 140095432485506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20143] ppid=20128 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/20131/task/20143/stat : 20143 (java) S 20128 20131 19747 0 -1 1077944384 297 0 0 0 2 0 0 0 20 0 15 0 414569590 10915721216 8835 33554432000 4194304 4196468 140734931910144 140094731483760 140095432485506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20144] ppid=20128 vsize=10659884 memory=140604603864704 CPUtime=0.05 cores=1,3,5,7
/proc/20131/task/20144/stat : 20144 (java) S 20128 20131 19747 0 -1 1077944384 715 0 0 0 5 0 0 0 20 0 15 0 414569590 10915721216 8835 33554432000 4194304 4196468 140734931910144 140094730431216 140095432485506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20145] ppid=20128 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20145/stat : 20145 (java) S 20128 20131 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414569590 10915721216 8835 33554432000 4194304 4196468 140734931910144 140094729378912 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20146] ppid=20128 vsize=10659884 memory=140604603864704 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20146/stat : 20146 (java) S 20128 20131 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569590 10915721216 8835 33554432000 4194304 4196468 140734931910144 140094728325424 140095432485506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35340 KiB

[startup+0.316549 s]*
/proc/loadavg: 1.70 1.83 1.76 4/228 20146
/proc/meminfo: memFree=30877580/32770624 swapFree=66966928/67108860
[pid=20131] ppid=20128 vsize=10659884 memory=40728 CPUtime=0.48 cores=1,3,5,7
/proc/20131/stat : 20131 (java) S 20128 20131 19747 0 -1 1077944320 9638 0 0 0 45 3 0 0 20 0 15 0 414569584 10915721216 10182 33554432000 4194304 4196468 140734931910144 140734931892688 140095432474359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
/proc/20131/statm: 2664971 10182 3002 1 0 2627468 0
[pid=20131/tid=20133] ppid=20128 vsize=10659884 memory=-5155634780447454526 CPUtime=0.3 cores=1,3,5,7
/proc/20131/task/20133/stat : 20133 (java) R 20128 20131 19747 0 -1 4202560 6494 0 0 0 28 2 0 0 20 0 15 0 414569585 10915721216 10182 33554432000 4194304 4196468 140734931910144 140095436706160 140095416554846 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20134] ppid=20128 vsize=10659884 memory=4211974330808655242 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20134/stat : 20134 (java) S 20128 20131 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414569585 10915721216 10182 33554432000 4194304 4196468 140734931910144 140095039286032 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20135] ppid=20128 vsize=10659884 memory=140604603864704 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20135/stat : 20135 (java) S 20128 20131 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414569586 10915721216 10182 33554432000 4194304 4196468 140734931910144 140095038233488 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20136] ppid=20128 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20136/stat : 20136 (java) S 20128 20131 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569586 10915721216 10182 33554432000 4194304 4196468 140734931910144 140095037180944 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20137] ppid=20128 vsize=10659884 memory=140604478723615 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20137/stat : 20137 (java) S 20128 20131 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414569586 10915721216 10182 33554432000 4194304 4196468 140734931910144 140095036128400 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20138] ppid=20128 vsize=10659884 memory=281208957426464 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20138/stat : 20138 (java) S 20128 20131 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414569587 10915721216 10182 33554432000 4194304 4196468 140734931910144 140094736746480 140095432485506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20139] ppid=20128 vsize=10659884 memory=140604478700559 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20139/stat : 20139 (java) S 20128 20131 19747 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414569587 10915721216 10182 33554432000 4194304 4196468 140734931910144 140094735692704 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20140] ppid=20128 vsize=10659884 memory=281209082574432 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20140/stat : 20140 (java) S 20128 20131 19747 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414569588 10915721216 10182 33554432000 4194304 4196468 140734931910144 140094734640112 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20141] ppid=20128 vsize=10659884 memory=140604478705167 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20141/stat : 20141 (java) S 20128 20131 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414569590 10915721216 10182 33554432000 4194304 4196468 140734931910144 140094733588688 140095432492955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20142] ppid=20128 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/20131/task/20142/stat : 20142 (java) S 20128 20131 19747 0 -1 1077944384 735 0 0 0 4 0 0 0 20 0 15 0 414569590 10915721216 10182 33554432000 4194304 4196468 140734931910144 140094732536304 140095432485506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20143] ppid=20128 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/20131/task/20143/stat : 20143 (java) S 20128 20131 19747 0 -1 1077944384 305 0 0 0 3 0 0 0 20 0 15 0 414569590 10915721216 10182 33554432000 4194304 4196468 140734931910144 140094731483760 140095432485506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20144] ppid=20128 vsize=10659884 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20131/task/20144/stat : 20144 (java) S 20128 20131 19747 0 -1 1077944384 743 0 0 0 8 0 0 0 20 0 15 0 414569590 10915721216 10182 33554432000 4194304 4196468 140734931910144 140094730431216 140095432485506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20145] ppid=20128 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20145/stat : 20145 (java) S 20128 20131 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414569590 10915721216 10182 33554432000 4194304 4196468 140734931910144 140094729378912 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20146] ppid=20128 vsize=10659884 memory=28664 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20146/stat : 20146 (java) S 20128 20131 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569590 10915721216 10182 33554432000 4194304 4196468 140734931910144 140094728325424 140095432485506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40728 KiB

[startup+0.705576 s]
/proc/loadavg: 1.70 1.83 1.76 3/228 20146
/proc/meminfo: memFree=30868912/32770624 swapFree=66966928/67108860
[pid=20131] ppid=20128 vsize=10661932 memory=64252 CPUtime=1.11 cores=1,3,5,7
/proc/20131/stat : 20131 (java) S 20128 20131 19747 0 -1 1077944320 13154 0 0 0 106 5 0 0 20 0 15 0 414569584 10917818368 16063 33554432000 4194304 4196468 140734931910144 140734931892688 140095432474359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
/proc/20131/statm: 2665483 16063 3074 1 0 2627980 0
[pid=20131/tid=20133] ppid=20128 vsize=10661932 memory=10484 CPUtime=0.68 cores=1,3,5,7
/proc/20131/task/20133/stat : 20133 (java) R 20128 20131 19747 0 -1 4202560 8924 0 0 0 64 4 0 0 20 0 15 0 414569585 10917818368 16063 33554432000 4194304 4196468 140734931910144 140095436706384 140095417639904 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20134] ppid=20128 vsize=10661932 memory=716 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20134/stat : 20134 (java) S 20128 20131 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414569585 10917818368 16063 33554432000 4194304 4196468 140734931910144 140095039286032 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20135] ppid=20128 vsize=10661932 memory=780 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20135/stat : 20135 (java) S 20128 20131 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414569586 10917818368 16063 33554432000 4194304 4196468 140734931910144 140095038233488 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20136] ppid=20128 vsize=10661932 memory=7596540479531410752 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20136/stat : 20136 (java) S 20128 20131 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569586 10917818368 16063 33554432000 4194304 4196468 140734931910144 140095037180944 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20137] ppid=20128 vsize=10661932 memory=7380108234199885905 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20137/stat : 20137 (java) S 20128 20131 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414569586 10917818368 16063 33554432000 4194304 4196468 140734931910144 140095036128400 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20138] ppid=20128 vsize=10661932 memory=5788626802952987989 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20138/stat : 20138 (java) S 20128 20131 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414569587 10917818368 16063 33554432000 4194304 4196468 140734931910144 140094736746480 140095432485506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20139] ppid=20128 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20139/stat : 20139 (java) S 20128 20131 19747 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414569587 10917818368 16063 33554432000 4194304 4196468 140734931910144 140094735692704 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20140] ppid=20128 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20140/stat : 20140 (java) S 20128 20131 19747 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414569588 10917818368 16063 33554432000 4194304 4196468 140734931910144 140094734640112 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20141] ppid=20128 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20141/stat : 20141 (java) S 20128 20131 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414569590 10917818368 16063 33554432000 4194304 4196468 140734931910144 140094733588688 140095432492955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20142] ppid=20128 vsize=10661932 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/20131/task/20142/stat : 20142 (java) S 20128 20131 19747 0 -1 1077944384 1024 0 0 0 11 0 0 0 20 0 15 0 414569590 10917818368 16063 33554432000 4194304 4196468 140734931910144 140094732536304 140095432485506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20143] ppid=20128 vsize=10661932 memory=227096530018825 CPUtime=0.11 cores=1,3,5,7
/proc/20131/task/20143/stat : 20143 (java) R 20128 20131 19747 0 -1 4202560 595 0 0 0 11 0 0 0 20 0 15 0 414569590 10917818368 16063 33554432000 4194304 4196468 140734931910144 140094731469856 140095414018504 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20144] ppid=20128 vsize=10661932 memory=3545520603459238882 CPUtime=0.19 cores=1,3,5,7
/proc/20131/task/20144/stat : 20144 (java) S 20128 20131 19747 0 -1 1077944384 1249 0 0 0 19 0 0 0 20 0 15 0 414569590 10917818368 16063 33554432000 4194304 4196468 140734931910144 140094730431216 140095432485506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20145] ppid=20128 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20145/stat : 20145 (java) S 20128 20131 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414569590 10917818368 16063 33554432000 4194304 4196468 140734931910144 140094729378912 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20146] ppid=20128 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20146/stat : 20146 (java) S 20128 20131 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569590 10917818368 16063 33554432000 4194304 4196468 140734931910144 140094728325424 140095432485506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64252 KiB

[startup+1.50075 s]
/proc/loadavg: 1.70 1.83 1.76 3/228 20146
/proc/meminfo: memFree=30852720/32770624 swapFree=66966928/67108860
[pid=20131] ppid=20128 vsize=10663980 memory=76108 CPUtime=2.01 cores=1,3,5,7
/proc/20131/stat : 20131 (java) S 20128 20131 19747 0 -1 1077944320 17438 0 0 0 195 6 0 0 20 0 15 0 414569584 10919915520 19027 33554432000 4194304 4196468 140734931910144 140734931892688 140095432474359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
/proc/20131/statm: 2665995 19027 3091 1 0 2628492 0
[pid=20131/tid=20133] ppid=20128 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/20131/task/20133/stat : 20133 (java) R 20128 20131 19747 0 -1 4202560 12008 0 0 0 144 4 0 0 20 0 15 0 414569585 10919915520 19027 33554432000 4194304 4196468 140734931910144 140095436705104 140095416554846 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20134] ppid=20128 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20134/stat : 20134 (java) S 20128 20131 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414569585 10919915520 19027 33554432000 4194304 4196468 140734931910144 140095039286032 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20135] ppid=20128 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20135/stat : 20135 (java) S 20128 20131 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414569586 10919915520 19027 33554432000 4194304 4196468 140734931910144 140095038233488 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20136] ppid=20128 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20136/stat : 20136 (java) S 20128 20131 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414569586 10919915520 19027 33554432000 4194304 4196468 140734931910144 140095037180944 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20137] ppid=20128 vsize=10663980 memory=140604478753760 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20137/stat : 20137 (java) S 20128 20131 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414569586 10919915520 19027 33554432000 4194304 4196468 140734931910144 140095036128400 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20138] ppid=20128 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20138/stat : 20138 (java) S 20128 20131 19747 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 414569587 10919915520 19027 33554432000 4194304 4196468 140734931910144 140094736746480 140095432485506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0

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

/proc/20131/task/20137/stat : 20137 (java) S 20128 20131 19747 0 -1 1077944384 2904 0 0 0 58 3 0 0 20 0 16 0 414569586 11006283776 53300 33554432000 4194304 4196468 140734931910144 140095036128400 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20138] ppid=20128 vsize=10748324 memory=213200 CPUtime=0.16 cores=1,3,5,7
/proc/20131/task/20138/stat : 20138 (java) S 20128 20131 19747 0 -1 1077944384 4723 0 0 0 13 3 0 0 20 0 16 0 414569587 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094736746480 140095432485506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20139] ppid=20128 vsize=10748324 memory=213200 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20139/stat : 20139 (java) S 20128 20131 19747 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414569587 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094735692768 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20140] ppid=20128 vsize=10748324 memory=213200 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20140/stat : 20140 (java) S 20128 20131 19747 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 414569588 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094734640128 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20141] ppid=20128 vsize=10748324 memory=213200 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20141/stat : 20141 (java) S 20128 20131 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414569590 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094733588688 140095432492955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20142] ppid=20128 vsize=10748324 memory=213200 CPUtime=1.24 cores=1,3,5,7
/proc/20131/task/20142/stat : 20142 (java) S 20128 20131 19747 0 -1 1077944384 10647 0 0 0 122 2 0 0 20 0 16 0 414569590 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094732536304 140095432485506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20143] ppid=20128 vsize=10748324 memory=7382070939110107240 CPUtime=0.95 cores=1,3,5,7
/proc/20131/task/20143/stat : 20143 (java) S 20128 20131 19747 0 -1 1077944384 6752 0 0 0 94 1 0 0 20 0 16 0 414569590 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094731483760 140095432485506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20144] ppid=20128 vsize=10748324 memory=213200 CPUtime=0.66 cores=1,3,5,7
/proc/20131/task/20144/stat : 20144 (java) S 20128 20131 19747 0 -1 1077944384 10523 0 0 0 65 1 0 0 20 0 16 0 414569590 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094730431216 140095432485506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20145] ppid=20128 vsize=10748324 memory=213200 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20145/stat : 20145 (java) S 20128 20131 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414569590 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094729378912 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20146] ppid=20128 vsize=10748324 memory=213200 CPUtime=0.48 cores=1,3,5,7
/proc/20131/task/20146/stat : 20146 (java) S 20128 20131 19747 0 -1 1077944384 1048 0 0 0 19 29 0 0 20 0 16 0 414569590 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094728325424 140095432485506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20147] ppid=20128 vsize=10748324 memory=288230583166042426 CPUtime=2439.5 cores=1,3,5,7
/proc/20131/task/20147/stat : 20147 (java) R 20128 20131 19747 0 -1 4202560 17984 0 0 0 243946 4 0 0 20 0 16 0 414569772 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094643223840 140095075829383 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
Current children cumulated CPU time: 2447.39 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 213200 KiB

[startup+2502.3 s]
/proc/loadavg: 1.83 1.84 1.86 3/229 20473
/proc/meminfo: memFree=30703748/32770624 swapFree=66966932/67108860
[pid=20131] ppid=20128 vsize=10748324 memory=213200 CPUtime=2507.39 cores=1,3,5,7
/proc/20131/stat : 20131 (java) S 20128 20131 19747 0 -1 1077944320 78723 0 0 0 250685 54 0 0 20 0 16 0 414569584 11006283776 53300 33554432000 4194304 4196468 140734931910144 140734931892688 140095432474359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
/proc/20131/statm: 2687081 53300 3375 1 0 2647217 0
[pid=20131/tid=20133] ppid=20128 vsize=10748324 memory=213200 CPUtime=1.85 cores=1,3,5,7
/proc/20131/task/20133/stat : 20133 (java) S 20128 20131 19747 0 -1 1077944384 13945 0 0 0 179 6 0 0 20 0 16 0 414569585 11006283776 53300 33554432000 4194304 4196468 140734931910144 140095436717232 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20134] ppid=20128 vsize=10748324 memory=213200 CPUtime=0.61 cores=1,3,5,7
/proc/20131/task/20134/stat : 20134 (java) S 20128 20131 19747 0 -1 1077944384 1974 0 0 0 58 3 0 0 20 0 16 0 414569585 11006283776 53300 33554432000 4194304 4196468 140734931910144 140095039286032 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20135] ppid=20128 vsize=10748324 memory=213200 CPUtime=0.61 cores=1,3,5,7
/proc/20131/task/20135/stat : 20135 (java) S 20128 20131 19747 0 -1 1077944384 2780 0 0 0 58 3 0 0 20 0 16 0 414569586 11006283776 53300 33554432000 4194304 4196468 140734931910144 140095038233488 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20136] ppid=20128 vsize=10748324 memory=213200 CPUtime=0.61 cores=1,3,5,7
/proc/20131/task/20136/stat : 20136 (java) S 20128 20131 19747 0 -1 1077944384 3966 0 0 0 58 3 0 0 20 0 16 0 414569586 11006283776 53300 33554432000 4194304 4196468 140734931910144 140095037180944 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20137] ppid=20128 vsize=10748324 memory=213200 CPUtime=0.61 cores=1,3,5,7
/proc/20131/task/20137/stat : 20137 (java) S 20128 20131 19747 0 -1 1077944384 2904 0 0 0 58 3 0 0 20 0 16 0 414569586 11006283776 53300 33554432000 4194304 4196468 140734931910144 140095036128400 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20138] ppid=20128 vsize=10748324 memory=213200 CPUtime=0.17 cores=1,3,5,7
/proc/20131/task/20138/stat : 20138 (java) S 20128 20131 19747 0 -1 1077944384 4723 0 0 0 14 3 0 0 20 0 16 0 414569587 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094736746480 140095432485506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20139] ppid=20128 vsize=10748324 memory=213200 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20139/stat : 20139 (java) S 20128 20131 19747 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414569587 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094735692768 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20140] ppid=20128 vsize=10748324 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20140/stat : 20140 (java) S 20128 20131 19747 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 414569588 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094734640128 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20141] ppid=20128 vsize=10748324 memory=213200 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20141/stat : 20141 (java) S 20128 20131 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414569590 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094733588688 140095432492955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20142] ppid=20128 vsize=10748324 memory=2120 CPUtime=1.24 cores=1,3,5,7
/proc/20131/task/20142/stat : 20142 (java) S 20128 20131 19747 0 -1 1077944384 10647 0 0 0 122 2 0 0 20 0 16 0 414569590 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094732536304 140095432485506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20143] ppid=20128 vsize=10748324 memory=213200 CPUtime=0.95 cores=1,3,5,7
/proc/20131/task/20143/stat : 20143 (java) S 20128 20131 19747 0 -1 1077944384 6752 0 0 0 94 1 0 0 20 0 16 0 414569590 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094731483760 140095432485506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20144] ppid=20128 vsize=10748324 memory=213200 CPUtime=0.66 cores=1,3,5,7
/proc/20131/task/20144/stat : 20144 (java) S 20128 20131 19747 0 -1 1077944384 10523 0 0 0 65 1 0 0 20 0 16 0 414569590 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094730431216 140095432485506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20145] ppid=20128 vsize=10748324 memory=213200 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20145/stat : 20145 (java) S 20128 20131 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414569590 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094729378912 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20146] ppid=20128 vsize=10748324 memory=1520 CPUtime=0.48 cores=1,3,5,7
/proc/20131/task/20146/stat : 20146 (java) S 20128 20131 19747 0 -1 1077944384 1052 0 0 0 19 29 0 0 20 0 16 0 414569590 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094728325424 140095432485506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20147] ppid=20128 vsize=10748324 memory=2120 CPUtime=2499.49 cores=1,3,5,7
/proc/20131/task/20147/stat : 20147 (java) R 20128 20131 19747 0 -1 4202560 18021 0 0 0 249945 4 0 0 20 0 16 0 414569772 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094643223840 140095075830784 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
Current children cumulated CPU time: 2507.39 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 213200 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2514.9 s]
/proc/loadavg: 1.87 1.85 1.86 3/229 20473
/proc/meminfo: memFree=30703592/32770624 swapFree=66966932/67108860
[pid=20131] ppid=20128 vsize=10748324 memory=213200 CPUtime=2520 cores=1,3,5,7
/proc/20131/stat : 20131 (java) S 20128 20131 19747 0 -1 1077944320 79325 0 0 0 251946 54 0 0 20 0 16 0 414569584 11006283776 53300 33554432000 4194304 4196468 140734931910144 140734931892688 140095432474359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
/proc/20131/statm: 2687081 53300 3375 1 0 2647217 0
[pid=20131/tid=20133] ppid=20128 vsize=10748324 memory=213200 CPUtime=1.85 cores=1,3,5,7
/proc/20131/task/20133/stat : 20133 (java) S 20128 20131 19747 0 -1 1077944384 13945 0 0 0 179 6 0 0 20 0 16 0 414569585 11006283776 53300 33554432000 4194304 4196468 140734931910144 140095436717232 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20134] ppid=20128 vsize=10748324 memory=213200 CPUtime=0.61 cores=1,3,5,7
/proc/20131/task/20134/stat : 20134 (java) S 20128 20131 19747 0 -1 1077944384 2262 0 0 0 58 3 0 0 20 0 16 0 414569585 11006283776 53300 33554432000 4194304 4196468 140734931910144 140095039286032 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20135] ppid=20128 vsize=10748324 memory=213200 CPUtime=0.61 cores=1,3,5,7
/proc/20131/task/20135/stat : 20135 (java) S 20128 20131 19747 0 -1 1077944384 2854 0 0 0 58 3 0 0 20 0 16 0 414569586 11006283776 53300 33554432000 4194304 4196468 140734931910144 140095038233488 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20136] ppid=20128 vsize=10748324 memory=804 CPUtime=0.62 cores=1,3,5,7
/proc/20131/task/20136/stat : 20136 (java) S 20128 20131 19747 0 -1 1077944384 3976 0 0 0 59 3 0 0 20 0 16 0 414569586 11006283776 53300 33554432000 4194304 4196468 140734931910144 140095037180944 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20137] ppid=20128 vsize=10748324 memory=213200 CPUtime=0.61 cores=1,3,5,7
/proc/20131/task/20137/stat : 20137 (java) S 20128 20131 19747 0 -1 1077944384 2972 0 0 0 58 3 0 0 20 0 16 0 414569586 11006283776 53300 33554432000 4194304 4196468 140734931910144 140095036128400 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20138] ppid=20128 vsize=10748324 memory=213200 CPUtime=0.17 cores=1,3,5,7
/proc/20131/task/20138/stat : 20138 (java) S 20128 20131 19747 0 -1 1077944384 4861 0 0 0 14 3 0 0 20 0 16 0 414569587 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094736746480 140095432485506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20139] ppid=20128 vsize=10748324 memory=213200 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20139/stat : 20139 (java) S 20128 20131 19747 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414569587 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094735692768 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20140] ppid=20128 vsize=10748324 memory=213200 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20140/stat : 20140 (java) S 20128 20131 19747 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 414569588 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094734640128 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20141] ppid=20128 vsize=10748324 memory=213200 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20141/stat : 20141 (java) S 20128 20131 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414569590 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094733588688 140095432492955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20142] ppid=20128 vsize=10748324 memory=213200 CPUtime=1.24 cores=1,3,5,7
/proc/20131/task/20142/stat : 20142 (java) S 20128 20131 19747 0 -1 1077944384 10649 0 0 0 122 2 0 0 20 0 16 0 414569590 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094732536304 140095432485506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20143] ppid=20128 vsize=10748324 memory=213200 CPUtime=0.95 cores=1,3,5,7
/proc/20131/task/20143/stat : 20143 (java) S 20128 20131 19747 0 -1 1077944384 6754 0 0 0 94 1 0 0 20 0 16 0 414569590 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094731483760 140095432485506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20144] ppid=20128 vsize=10748324 memory=213200 CPUtime=0.66 cores=1,3,5,7
/proc/20131/task/20144/stat : 20144 (java) S 20128 20131 19747 0 -1 1077944384 10525 0 0 0 65 1 0 0 20 0 16 0 414569590 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094730431216 140095432485506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20145] ppid=20128 vsize=10748324 memory=213200 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20145/stat : 20145 (java) S 20128 20131 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414569590 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094729378912 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20146] ppid=20128 vsize=10748324 memory=213200 CPUtime=0.49 cores=1,3,5,7
/proc/20131/task/20146/stat : 20146 (java) S 20128 20131 19747 0 -1 1077944384 1056 0 0 0 19 30 0 0 20 0 16 0 414569590 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094728325424 140095432485506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20147] ppid=20128 vsize=10748324 memory=213200 CPUtime=2512.09 cores=1,3,5,7
/proc/20131/task/20147/stat : 20147 (java) R 20128 20131 19747 0 -1 4202560 18035 0 0 0 251205 4 0 0 20 0 16 0 414569772 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094643223840 140095075832967 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 213200 KiB

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

[startup+2514.91 s]
# the end of solver process 20131 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.47 s, system=0.55106 s

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

[startup+2514.9 s]
/proc/loadavg: 1.87 1.85 1.86 3/229 20473
/proc/meminfo: memFree=30703592/32770624 swapFree=66966932/67108860
[pid=20131] ppid=20128 vsize=10748324 memory=213200 CPUtime=2520 cores=1,3,5,7
/proc/20131/stat : 20131 (java) S 20128 20131 19747 0 -1 1077944320 79325 0 0 0 251946 54 0 0 20 0 16 0 414569584 11006283776 53300 33554432000 4194304 4196468 140734931910144 140734931892688 140095432474359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
/proc/20131/statm: 2687081 53300 3375 1 0 2647217 0
[pid=20131/tid=20133] ppid=20128 vsize=10748324 memory=213200 CPUtime=1.85 cores=1,3,5,7
/proc/20131/task/20133/stat : 20133 (java) S 20128 20131 19747 0 -1 1077944384 13945 0 0 0 179 6 0 0 20 0 16 0 414569585 11006283776 53300 33554432000 4194304 4196468 140734931910144 140095436717232 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20134] ppid=20128 vsize=10748324 memory=213200 CPUtime=0.61 cores=1,3,5,7
/proc/20131/task/20134/stat : 20134 (java) S 20128 20131 19747 0 -1 1077944384 2262 0 0 0 58 3 0 0 20 0 16 0 414569585 11006283776 53300 33554432000 4194304 4196468 140734931910144 140095039286032 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20135] ppid=20128 vsize=10748324 memory=213200 CPUtime=0.61 cores=1,3,5,7
/proc/20131/task/20135/stat : 20135 (java) S 20128 20131 19747 0 -1 1077944384 2854 0 0 0 58 3 0 0 20 0 16 0 414569586 11006283776 53300 33554432000 4194304 4196468 140734931910144 140095038233488 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20136] ppid=20128 vsize=10748324 memory=804 CPUtime=0.62 cores=1,3,5,7
/proc/20131/task/20136/stat : 20136 (java) S 20128 20131 19747 0 -1 1077944384 3976 0 0 0 59 3 0 0 20 0 16 0 414569586 11006283776 53300 33554432000 4194304 4196468 140734931910144 140095037180944 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20137] ppid=20128 vsize=10748324 memory=213200 CPUtime=0.61 cores=1,3,5,7
/proc/20131/task/20137/stat : 20137 (java) S 20128 20131 19747 0 -1 1077944384 2972 0 0 0 58 3 0 0 20 0 16 0 414569586 11006283776 53300 33554432000 4194304 4196468 140734931910144 140095036128400 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20138] ppid=20128 vsize=10748324 memory=213200 CPUtime=0.17 cores=1,3,5,7
/proc/20131/task/20138/stat : 20138 (java) S 20128 20131 19747 0 -1 1077944384 4861 0 0 0 14 3 0 0 20 0 16 0 414569587 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094736746480 140095432485506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20139] ppid=20128 vsize=10748324 memory=213200 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20139/stat : 20139 (java) S 20128 20131 19747 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414569587 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094735692768 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20140] ppid=20128 vsize=10748324 memory=213200 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20140/stat : 20140 (java) S 20128 20131 19747 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 414569588 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094734640128 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20141] ppid=20128 vsize=10748324 memory=213200 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20141/stat : 20141 (java) S 20128 20131 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414569590 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094733588688 140095432492955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20142] ppid=20128 vsize=10748324 memory=213200 CPUtime=1.24 cores=1,3,5,7
/proc/20131/task/20142/stat : 20142 (java) S 20128 20131 19747 0 -1 1077944384 10649 0 0 0 122 2 0 0 20 0 16 0 414569590 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094732536304 140095432485506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20143] ppid=20128 vsize=10748324 memory=213200 CPUtime=0.95 cores=1,3,5,7
/proc/20131/task/20143/stat : 20143 (java) S 20128 20131 19747 0 -1 1077944384 6754 0 0 0 94 1 0 0 20 0 16 0 414569590 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094731483760 140095432485506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20144] ppid=20128 vsize=10748324 memory=213200 CPUtime=0.66 cores=1,3,5,7
/proc/20131/task/20144/stat : 20144 (java) S 20128 20131 19747 0 -1 1077944384 10525 0 0 0 65 1 0 0 20 0 16 0 414569590 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094730431216 140095432485506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20145] ppid=20128 vsize=10748324 memory=213200 CPUtime=0 cores=1,3,5,7
/proc/20131/task/20145/stat : 20145 (java) S 20128 20131 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414569590 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094729378912 140095432484565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20146] ppid=20128 vsize=10748324 memory=213200 CPUtime=0.49 cores=1,3,5,7
/proc/20131/task/20146/stat : 20146 (java) S 20128 20131 19747 0 -1 1077944384 1056 0 0 0 19 30 0 0 20 0 16 0 414569590 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094728325424 140095432485506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
[pid=20131/tid=20147] ppid=20128 vsize=10748324 memory=213200 CPUtime=2512.09 cores=1,3,5,7
/proc/20131/task/20147/stat : 20147 (java) R 20128 20131 19747 0 -1 4202560 18035 0 0 0 251205 4 0 0 20 0 16 0 414569772 11006283776 53300 33554432000 4194304 4196468 140734931910144 140094643223840 140095075832967 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17453056 140734931911691 140734931911794 140734931911794 140734931914703 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 213200 KiB

Child status: 143
Real time (s): 2514.91
CPU time (s): 2520.03
CPU user time (s): 2519.47
CPU system time (s): 0.55106
CPU usage (%): 100.203
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 310636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.47
system time used= 0.55106
maximum resident set size= 310636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79697
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60291
involuntary context switches= 1743


# summary of solver processes directly reported to runsolver:
#   pid: 20131
#   total CPU time (s): 2520.03
#   total CPU user time (s): 2519.47
#   total CPU system time (s): 0.55106

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.9641 second user time and 21.9018 second system time

The end

Launcher Data 

Begin job on node125 at 2019-09-13 15:56:25
IDJOB=4390756
IDBENCH=127769
IDSOLVER=2832
FILE ID=node125/4390756-1568383027
RUNJOBID= node125-1568380474-19779
PBS_JOBID= 21701839
Free space on /tmp= 57372 MiB

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

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

MD5SUM BENCH= ef9e4147ed9b2de2d40743a9ffe67bf9
RANDOM SEED=1895445107

node125.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	: 5333.29
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	: 5333.29
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	: 5333.29
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	: 5333.29
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:        30908908 kB
MemAvailable:   31686420 kB
Buffers:           93972 kB
Cached:           978332 kB
SwapCached:        38212 kB
Active:           759116 kB
Inactive:         545292 kB
Active(anon):     212520 kB
Inactive(anon):    59496 kB
Active(file):     546596 kB
Inactive(file):   485796 kB
Unevictable:      109160 kB
Mlocked:          109160 kB
SwapTotal:      67108860 kB
SwapFree:       66966928 kB
Dirty:              8596 kB
Writeback:             0 kB
AnonPages:        336072 kB
Mapped:            56136 kB
Shmem:             31160 kB
Slab:             150112 kB
SReclaimable:     121908 kB
SUnreclaim:        28204 kB
KernelStack:        4048 kB
PageTables:         6332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1145908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    266240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 57360 MiB
End job on node125 at 2019-09-13 16:38:20