Trace number 4390503

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.05 2515.31

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-126.xml
MD5SUMe5b164a238094fc306b5fb8652aa9c45
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark45.9191
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size398
Maximum domain size398
Distribution of domain sizes[{"size":398,"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.61/1.92	
2.61/1.92	AbsCon 2 
2.61/1.93	
2.87/2.05	  Instance
2.87/2.05	    name=instance-4390503-1568383028, framework=CSP
2.87/2.05	
2.87/2.05	  Loading variables...
2.87/2.09	  Loading constraints...
3.76/2.36	
3.76/2.36	  Domains
3.76/2.36	    nTypes=1, nValues=19900, sizes=[398#50]
3.76/2.36	  Variables
3.76/2.36	    count=50, degrees=[25#48,26#1,27#1]
3.76/2.36	  Constraints
3.76/2.36	    count=352, nSpecific=1, arities=[1#51,2#1,4#300]
3.76/2.36	    distribution=[CtrIntension#351,LE#1]
3.76/2.36	    nIntStructures=(326,shared:25)
3.76/2.36	    wck=0.467, cpu=2.321, mem=63M510
3.76/2.36	  Solver SolverBacktrack being built...
3.76/2.36	
3.76/2.38	
3.76/2.38	  Solver
3.76/2.38	    guaranteedGAC=false
3.76/2.38	    wck=0.497, cpu=2.35, mem=74M153
4.07/2.40	
4.07/2.40	  Preprocessing
4.07/2.40	    filters=52, revisions=(53,useless=2), ccks=20391, nACremovedValues=3358, nTotalRemovedValues=3358, inconcistency=false
4.07/2.40	    wck=0.013, cpu=2.364, mem=76M795
4.07/2.40	
5.99/4.01	    num=0, depth=24..24, filters=484, revisions=(1683,useless=1147), ccks=5676871, wck=1.631, mem=79M438
5.99/4.01	    decisions=44, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
5.99/4.01	    
5.99/4.09	    num=1, depth=2..2, filters=508, revisions=(1731,useless=1172), ccks=5959356, wck=1.711, mem=79M438
5.99/4.09	    decisions=68, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
5.99/4.09	    
6.23/4.29	    num=2, depth=3..3, filters=534, revisions=(1835,useless=1249), ccks=6659322, wck=1.903, mem=79M438
6.23/4.29	    decisions=95, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
6.23/4.29	    
7.07/5.08	    num=3, depth=22..22, filters=644, revisions=(3134,useless=2439), ccks=9592404, wck=2.696, mem=82M80
7.07/5.08	    decisions=143, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
7.07/5.08	    
7.46/5.48	    num=4, depth=3..3, filters=673, revisions=(3268,useless=2544), ccks=11054427, wck=3.1, mem=82M80
7.46/5.48	    decisions=174, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
7.46/5.48	    
11.86/9.85	    num=5, depth=1..1, filters=689, revisions=(4036,useless=3296), ccks=26866574, wck=7.471, mem=87M365
11.86/9.85	    decisions=207, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
11.86/9.85	    
12.07/10.05	    num=6, depth=3..3, filters=725, revisions=(4161,useless=3384), ccks=27560803, wck=7.663, mem=87M365
12.07/10.05	    decisions=244, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
12.07/10.05	    
12.47/10.47	    num=7, depth=2..2, filters=821, revisions=(4393,useless=3520), ccks=29058031, wck=8.091, mem=87M365
12.47/10.47	    decisions=284, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
12.47/10.47	    
12.67/10.61	    num=8, depth=3..3, filters=864, revisions=(4573,useless=3657), ccks=29527626, wck=8.229, mem=87M365
12.67/10.61	    decisions=329, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
12.67/10.61	    
12.77/10.76	    num=9, depth=3..3, filters=912, revisions=(4717,useless=3754), ccks=30028873, wck=8.373, mem=90M7
12.77/10.76	    decisions=378, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
12.77/10.76	    
12.99/10.93	    num=10, depth=13..13, filters=1017, revisions=(5606,useless=4537), ccks=30618167, wck=8.547, mem=92M650
12.99/10.93	    decisions=441, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
12.99/10.93	    
13.11/11.05	    num=11, depth=6..6, filters=1106, revisions=(6027,useless=4869), ccks=31064197, wck=8.669, mem=95M292
13.11/11.05	    decisions=503, wrong=209, backtracks=0, failedAssignments=209, nogoods=209
13.11/11.05	    
15.86/13.76	    num=12, depth=26..26, filters=1352, revisions=(8708,useless=7240), ccks=41214941, wck=11.381, mem=100M577
15.86/13.76	    decisions=591, wrong=240, backtracks=0, failedAssignments=240, nogoods=240
15.86/13.76	    
23.77/21.67	    num=13, depth=1..1, filters=1386, revisions=(10340,useless=8838), ccks=69940059, wck=19.283, mem=108M504
23.77/21.67	    decisions=660, wrong=274, backtracks=0, failedAssignments=274, nogoods=274
23.77/21.67	    
24.28/22.15	    num=14, depth=6..6, filters=1505, revisions=(10867,useless=9171), ccks=71675422, wck=19.765, mem=111M147
24.28/22.15	    decisions=740, wrong=311, backtracks=0, failedAssignments=311, nogoods=311
24.28/22.15	    
24.28/22.18	    num=15, depth=3..3, filters=1589, revisions=(11091,useless=9310), ccks=71785818, wck=19.796, mem=111M147
24.28/22.18	    decisions=825, wrong=352, backtracks=0, failedAssignments=352, nogoods=352
24.28/22.18	    
24.58/22.46	    num=16, depth=5..5, filters=1684, revisions=(11611,useless=9734), ccks=72805123, wck=20.072, mem=111M147
24.58/22.46	    decisions=920, wrong=397, backtracks=0, failedAssignments=397, nogoods=397
24.58/22.46	    
25.29/23.11	    num=17, depth=8..8, filters=1842, revisions=(12376,useless=10341), ccks=75157230, wck=20.726, mem=113M790
25.29/23.11	    decisions=1028, wrong=447, backtracks=0, failedAssignments=447, nogoods=447
25.29/23.11	    
25.78/23.68	    num=18, depth=6..6, filters=1994, revisions=(13095,useless=10908), ccks=77192404, wck=21.293, mem=116M432
25.78/23.68	    decisions=1144, wrong=502, backtracks=0, failedAssignments=502, nogoods=502
25.78/23.68	    
39.70/37.58	    num=19, depth=1..1, filters=2055, revisions=(16024,useless=13776), ccks=127975671, wck=35.195, mem=132M286
39.70/37.58	    decisions=1267, wrong=563, backtracks=0, failedAssignments=563, nogoods=563
39.70/37.58	    
40.79/38.54	    num=20, depth=10..10, filters=2133, revisions=(18922,useless=16596), ccks=131163951, wck=36.152, mem=44M143
40.79/38.54	    decisions=1411, wrong=630, backtracks=0, failedAssignments=630, nogoods=630
40.79/38.54	    
40.99/38.79	    num=21, depth=5..9, filters=2316, revisions=(19991,useless=17481), ccks=132092046, wck=36.409, mem=46M732
40.99/38.79	    decisions=1568, wrong=704, backtracks=0, failedAssignments=704, nogoods=704
40.99/38.79	    
41.89/39.69	    num=22, depth=7..7, filters=2486, revisions=(21120,useless=18359), ccks=135427845, wck=37.304, mem=46M732
41.89/39.69	    decisions=1737, wrong=785, backtracks=0, failedAssignments=785, nogoods=785
41.89/39.69	    
63.99/61.76	    num=23, depth=1..1, filters=2575, revisions=(25393,useless=22543), ccks=216085239, wck=59.376, mem=70M38
63.99/61.76	    decisions=1916, wrong=874, backtracks=0, failedAssignments=874, nogoods=874
63.99/61.76	    
64.30/62.06	    num=24, depth=9..11, filters=2839, revisions=(26861,useless=23746), ccks=217171007, wck=59.676, mem=72M628
64.30/62.06	    decisions=2121, wrong=972, backtracks=2, failedAssignments=972, nogoods=951
64.30/62.06	    
64.89/62.69	    num=25, depth=3..3, filters=3056, revisions=(27561,useless=24228), ccks=219432746, wck=60.301, mem=72M628
64.89/62.69	    decisions=2340, wrong=1080, backtracks=2, failedAssignments=1080, nogoods=1059
64.89/62.69	    
94.20/92.00	    num=26, depth=1..1, filters=3185, revisions=(33274,useless=29812), ccks=327064315, wck=89.618, mem=103M702
94.20/92.00	    decisions=2579, wrong=1199, backtracks=2, failedAssignments=1199, nogoods=1178
94.20/92.00	    
94.50/92.22	    num=27, depth=4..4, filters=3448, revisions=(34159,useless=30434), ccks=327832069, wck=89.832, mem=106M292
94.50/92.22	    decisions=2845, wrong=1330, backtracks=2, failedAssignments=1330, nogoods=1309
94.50/92.22	    
94.91/92.63	    num=28, depth=6..6, filters=3740, revisions=(35503,useless=31486), ccks=329331386, wck=90.244, mem=108M881
94.91/92.63	    decisions=3139, wrong=1474, backtracks=2, failedAssignments=1474, nogoods=1453
94.91/92.63	    
126.22/123.96	    num=29, depth=1..3, filters=3972, revisions=(43027,useless=38778), ccks=443994494, wck=121.572, mem=150M314
126.22/123.96	    decisions=3458, wrong=1632, backtracks=3, failedAssignments=1632, nogoods=1603
126.22/123.96	    
148.47/146.13	    num=30, depth=1..9, filters=4201, revisions=(51025,useless=46548), ccks=525141325, wck=143.747, mem=59M926
148.47/146.13	    decisions=3815, wrong=1806, backtracks=5, failedAssignments=1806, nogoods=1704
148.47/146.13	    
151.30/148.91	    num=31, depth=5..10, filters=4645, revisions=(53810,useless=48889), ccks=535465549, wck=146.523, mem=67M750
151.30/148.91	    decisions=4209, wrong=1998, backtracks=6, failedAssignments=1997, nogoods=1885
151.30/148.91	    
151.91/149.52	    num=32, depth=6..25, filters=5988, revisions=(59687,useless=53422), ccks=537597774, wck=147.134, mem=78M182
151.91/149.52	    decisions=4657, wrong=2210, backtracks=7, failedAssignments=2208, nogoods=2070
151.91/149.52	    
152.31/149.91	    num=33, depth=9..15, filters=6648, revisions=(63841,useless=56914), ccks=538970377, wck=147.53, mem=86M7
152.31/149.91	    decisions=5139, wrong=2445, backtracks=10, failedAssignments=2440, nogoods=2170
152.31/149.91	    
152.62/150.24	    num=34, depth=4..14, filters=7384, revisions=(67158,useless=59494), ccks=540117329, wck=147.86, mem=93M831
152.62/150.24	    decisions=5663, wrong=2700, backtracks=10, failedAssignments=2695, nogoods=2425
152.62/150.24	    
170.06/167.68	    num=35, depth=9..10, filters=8395, revisions=(81738,useless=73063), ccks=603691086, wck=165.292, mem=161M640
170.06/167.68	    decisions=6235, wrong=2981, backtracks=47, failedAssignments=2976, nogoods=2463
170.06/167.68	    
193.90/191.45	    num=36, depth=2..5, filters=8811, revisions=(91925,useless=82835), ccks=690655206, wck=189.069, mem=81M89
193.90/191.45	    decisions=6858, wrong=3290, backtracks=48, failedAssignments=3285, nogoods=2718
193.90/191.45	    
194.70/192.27	    num=37, depth=8..20, filters=9895, revisions=(100292,useless=90118), ccks=693382740, wck=189.885, mem=102M50
194.70/192.27	    decisions=7558, wrong=3630, backtracks=48, failedAssignments=3625, nogoods=3058
194.70/192.27	    
219.34/216.87	    num=38, depth=9..10, filters=11109, revisions=(117664,useless=106276), ccks=782428282, wck=214.484, mem=52M197
219.34/216.87	    decisions=8316, wrong=4004, backtracks=65, failedAssignments=3999, nogoods=3077
219.34/216.87	    
220.94/218.49	    num=39, depth=5..32, filters=12652, revisions=(129855,useless=116834), ccks=787946763, wck=216.102, mem=78M59
220.94/218.49	    decisions=9172, wrong=4416, backtracks=66, failedAssignments=4410, nogoods=3478
220.94/218.49	    
222.26/219.71	    num=40, depth=9..32, filters=14226, revisions=(140910,useless=126288), ccks=792194994, wck=217.324, mem=101M335
222.26/219.71	    decisions=10118, wrong=4873, backtracks=71, failedAssignments=4862, nogoods=3781
222.26/219.71	    
222.86/220.24	    num=41, depth=9..18, filters=15819, revisions=(151727,useless=135512), ccks=793878304, wck=217.859, mem=122M24
222.86/220.24	    decisions=11130, wrong=5370, backtracks=71, failedAssignments=5359, nogoods=4278
222.86/220.24	    
224.31/221.62	    num=42, depth=7..24, filters=17396, revisions=(164274,useless=146482), ccks=798586996, wck=219.239, mem=147M886
224.31/221.62	    decisions=12249, wrong=5918, backtracks=72, failedAssignments=5906, nogoods=4825
224.31/221.62	    
224.91/222.26	    num=43, depth=11..19, filters=19271, revisions=(177386,useless=157719), ccks=800582241, wck=219.875, mem=168M575
224.91/222.26	    decisions=13471, wrong=6520, backtracks=72, failedAssignments=6508, nogoods=5427
224.91/222.26	    
251.68/248.94	    num=44, depth=8..11, filters=21440, revisions=(198419,useless=176580), ccks=892932515, wck=246.559, mem=126M314
251.68/248.94	    decisions=14810, wrong=7185, backtracks=77, failedAssignments=7170, nogoods=5481
251.68/248.94	    
254.38/251.64	    num=45, depth=6..7, filters=22174, revisions=(203699,useless=181126), ccks=902627748, wck=249.256, mem=131M413
254.38/251.64	    decisions=16273, wrong=7913, backtracks=84, failedAssignments=7898, nogoods=5496
254.38/251.64	    
266.51/263.78	    num=46, depth=1..37, filters=25111, revisions=(239025,useless=213515), ccks=945574668, wck=261.398, mem=79M840
266.51/263.78	    decisions=17912, wrong=8714, backtracks=84, failedAssignments=8699, nogoods=6297
266.51/263.78	    
298.65/295.85	    num=47, depth=6..10, filters=28411, revisions=(265651,useless=236840), ccks=1060623021, wck=293.462, mem=47M212
298.65/295.85	    decisions=19687, wrong=9598, backtracks=90, failedAssignments=9580, nogoods=6359
298.65/295.85	    
305.86/303.03	    num=48, depth=4..6, filters=30769, revisions=(273853,useless=242444), ccks=1086768717, wck=300.649, mem=62M37
305.86/303.03	    decisions=21632, wrong=10568, backtracks=95, failedAssignments=10550, nogoods=6711
305.86/303.03	    
432.70/429.77	    num=49, depth=2..12, filters=32030, revisions=(320127,useless=287457), ccks=1545057343, wck=427.388, mem=56M589
432.70/429.77	    decisions=23776, wrong=11635, backtracks=136, failedAssignments=11617, nogoods=7039
432.70/429.77	    
434.90/431.97	    num=50, depth=6..24, filters=35786, revisions=(347450,useless=311024), ccks=1552324321, wck=429.588, mem=111M541
434.90/431.97	    decisions=26149, wrong=12810, backtracks=138, failedAssignments=12790, nogoods=8171
434.90/431.97	    
437.24/434.20	    num=51, depth=6..39, filters=40377, revisions=(390361,useless=349344), ccks=1559037846, wck=431.821, mem=77M794
437.24/434.20	    decisions=28771, wrong=14102, backtracks=139, failedAssignments=14081, nogoods=9442
437.24/434.20	    
440.18/437.15	    num=52, depth=5..33, filters=45257, revisions=(437803,useless=391901), ccks=1568188308, wck=434.766, mem=51M927
440.18/437.15	    decisions=31648, wrong=15524, backtracks=142, failedAssignments=15501, nogoods=10700
440.18/437.15	    
443.87/440.86	    num=53, depth=5..11, filters=48364, revisions=(456469,useless=407460), ccks=1581384253, wck=438.477, mem=82M180
443.87/440.86	    decisions=34862, wrong=17127, backtracks=184, failedAssignments=17063, nogoods=10816
443.87/440.86	    
450.01/446.97	    num=54, depth=1..44, filters=54705, revisions=(533065,useless=477725), ccks=1600877247, wck=444.588, mem=93M368
450.01/446.97	    decisions=38345, wrong=18848, backtracks=188, failedAssignments=18781, nogoods=11637
450.01/446.97	    
452.65/449.59	    num=55, depth=7..35, filters=61284, revisions=(588912,useless=526993), ccks=1608726623, wck=447.204, mem=74M695
452.65/449.59	    decisions=42159, wrong=20738, backtracks=189, failedAssignments=20671, nogoods=13254
452.65/449.59	    
460.85/457.76	    num=56, depth=8..9, filters=63390, revisions=(607987,useless=543961), ccks=1638779835, wck=455.38, mem=95M76
460.85/457.76	    decisions=46326, wrong=22817, backtracks=206, failedAssignments=22750, nogoods=13326
460.85/457.76	    
465.29/462.19	    num=57, depth=4..30, filters=71308, revisions=(675160,useless=603215), ccks=1652636560, wck=459.802, mem=99M53
465.29/462.19	    decisions=50932, wrong=25105, backtracks=207, failedAssignments=25037, nogoods=15399
465.29/462.19	    
470.22/467.05	    num=58, depth=4..46, filters=81079, revisions=(771821,useless=690104), ccks=1667567332, wck=464.666, mem=120M616
470.22/467.05	    decisions=56040, wrong=27650, backtracks=236, failedAssignments=27553, nogoods=15599
470.22/467.05	    
495.98/492.79	    num=59, depth=4..6, filters=86457, revisions=(794142,useless=707047), ccks=1760556638, wck=490.41, mem=57M18
495.98/492.79	    decisions=61581, wrong=30418, backtracks=254, failedAssignments=30321, nogoods=15960
495.98/492.79	    
626.53/623.28	    num=60, depth=3..8, filters=92086, revisions=(847125,useless=754294), ccks=2228195878, wck=620.894, mem=46M26
626.53/623.28	    decisions=67675, wrong=33462, backtracks=278, failedAssignments=33365, nogoods=16289
626.53/623.28	    
660.20/656.89	    num=61, depth=4..5, filters=95738, revisions=(994107,useless=897474), ccks=2334746661, wck=654.51, mem=93M825
660.20/656.89	    decisions=74378, wrong=36811, backtracks=309, failedAssignments=36714, nogoods=16538
660.20/656.89	    
664.31/660.96	    num=62, depth=3..22, filters=106382, revisions=(1078383,useless=971105), ccks=2347182593, wck=658.579, mem=136M894
664.31/660.96	    decisions=81786, wrong=40507, backtracks=327, failedAssignments=40398, nogoods=17218
664.31/660.96	    
688.92/685.59	    num=63, depth=4..13, filters=118144, revisions=(1126333,useless=1004904), ccks=2433061755, wck=683.209, mem=117M218
688.92/685.59	    decisions=89900, wrong=44560, backtracks=371, failedAssignments=44450, nogoods=17791
688.92/685.59	    
709.54/706.12	    num=64, depth=7..9, filters=123089, revisions=(1170911,useless=1044414), ccks=2502806715, wck=703.741, mem=94M208
709.54/706.12	    decisions=98822, wrong=49017, backtracks=402, failedAssignments=48907, nogoods=18161
709.54/706.12	    
1363.86/1360.23	    num=65, depth=1..12, filters=130958, revisions=(1375454,useless=1241090), ccks=4807355668, wck=1357.85, mem=61M601
1363.86/1360.23	    decisions=108639, wrong=53920, backtracks=577, failedAssignments=53810, nogoods=18943
1363.86/1360.23	    
1379.18/1375.55	    num=66, depth=2..22, filters=145257, revisions=(1488871,useless=1340181), ccks=4859916479, wck=1373.163, mem=114M831
1379.18/1375.55	    decisions=119452, wrong=59317, backtracks=599, failedAssignments=59204, nogoods=20838
1379.18/1375.55	    
1389.13/1385.46	    num=67, depth=3..22, filters=159980, revisions=(1630457,useless=1467045), ccks=4892552235, wck=1383.076, mem=55M114
1389.13/1385.46	    decisions=131342, wrong=65253, backtracks=681, failedAssignments=65137, nogoods=21894
1389.13/1385.46	    
1402.47/1398.75	    num=68, depth=6..20, filters=179692, revisions=(1771881,useless=1588756), ccks=4937713604, wck=1396.369, mem=47M477
1402.47/1398.75	    decisions=144415, wrong=71782, backtracks=702, failedAssignments=71663, nogoods=22884
1402.47/1398.75	    
1414.80/1411.02	    num=69, depth=6..26, filters=202040, revisions=(1958996,useless=1753522), ccks=4978151062, wck=1408.636, mem=74M93
1414.80/1411.02	    decisions=158816, wrong=78974, backtracks=725, failedAssignments=78842, nogoods=24135
1414.80/1411.02	    
1433.31/1429.56	    num=70, depth=6..18, filters=220383, revisions=(2115635,useless=1891817), ccks=5043395622, wck=1427.176, mem=95M745
1433.31/1429.56	    decisions=174627, wrong=86872, backtracks=772, failedAssignments=86739, nogoods=24979
1433.31/1429.56	    
1466.36/1462.55	    num=71, depth=8..15, filters=242016, revisions=(2276169,useless=2030717), ccks=5158201962, wck=1460.169, mem=105M246
1466.36/1462.55	    decisions=192020, wrong=95563, backtracks=865, failedAssignments=95426, nogoods=25296
1466.36/1462.55	    
1478.92/1475.07	    num=72, depth=5..14, filters=266343, revisions=(2433370,useless=2163157), ccks=5200789021, wck=1472.69, mem=65M273
1478.92/1475.07	    decisions=211141, wrong=105118, backtracks=907, failedAssignments=104981, nogoods=26328
1478.92/1475.07	    
1516.36/1512.42	    num=73, depth=7..11, filters=277965, revisions=(2523463,useless=2241628), ccks=5335870492, wck=1510.032, mem=93M675
1516.36/1512.42	    decisions=232171, wrong=115629, backtracks=1005, failedAssignments=115492, nogoods=26614
1516.36/1512.42	    
1522.88/1518.96	    num=74, depth=3..21, filters=298776, revisions=(2732149,useless=2429503), ccks=5358153114, wck=1516.572, mem=78M275
1522.88/1518.96	    decisions=255316, wrong=127193, backtracks=1112, failedAssignments=127054, nogoods=27499
1522.88/1518.96	    
1560.12/1556.17	    num=75, depth=7..13, filters=326267, revisions=(2914966,useless=2583954), ccks=5492103441, wck=1553.786, mem=65M749
1560.12/1556.17	    decisions=280761, wrong=139911, backtracks=1208, failedAssignments=139772, nogoods=27863
1560.12/1556.17	    
1636.35/1632.32	    num=76, depth=6..8, filters=364325, revisions=(3071505,useless=2695896), ccks=5754494691, wck=1629.94, mem=70M280
1636.35/1632.32	    decisions=308750, wrong=153902, backtracks=1347, failedAssignments=153762, nogoods=28027
1636.35/1632.32	    
1716.57/1712.34	    num=77, depth=7..14, filters=385353, revisions=(3464049,useless=3067184), ccks=6013905480, wck=1709.957, mem=95M788
1716.57/1712.34	    decisions=339538, wrong=169292, backtracks=1683, failedAssignments=169151, nogoods=28275
1716.57/1712.34	    
2038.68/2034.37	    num=78, depth=2..4, filters=403384, revisions=(3615451,useless=3200555), ccks=7145568216, wck=2031.989, mem=66M758
2038.68/2034.37	    decisions=373397, wrong=186220, backtracks=1829, failedAssignments=186079, nogoods=28393
2038.68/2034.37	    
2061.15/2056.77	    num=79, depth=1..17, filters=456918, revisions=(4012267,useless=3543878), ccks=7215363556, wck=2054.39, mem=93M808
2061.15/2056.77	    decisions=410654, wrong=204841, backtracks=1940, failedAssignments=204700, nogoods=28985
2061.15/2056.77	    
2158.17/2153.60	    num=80, depth=2..15, filters=524768, revisions=(4236039,useless=3699972), ccks=7557676653, wck=2151.218, mem=78M753
2158.17/2153.60	    decisions=451637, wrong=225329, backtracks=2154, failedAssignments=225184, nogoods=29560
2158.17/2153.60	    
2302.35/2297.70	    num=81, depth=5..8, filters=568454, revisions=(4462960,useless=3883207), ccks=8033169186, wck=2295.316, mem=87M459
2302.35/2297.70	    decisions=496707, wrong=247861, backtracks=2380, failedAssignments=247716, nogoods=29593
2302.35/2297.70

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390503-1568383028/watcher-4390503-1568383028 -o /tmp/evaluation-result-4390503-1568383028/solver-4390503-1568383028 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568380477-25673 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390503-1568383028.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=26027, runsolver pid=26024

[startup+0.103493 s]*
/proc/loadavg: 1.77 1.77 1.69 4/217 26062
/proc/meminfo: memFree=28960580/32770624 swapFree=66999916/67108860
[pid=26027] ppid=26024 vsize=10659884 memory=28700 CPUtime=0.14 cores=1,3,5,7
/proc/26027/stat : 26027 (java) S 26024 26027 25641 0 -1 1077944320 5704 0 0 0 13 1 0 0 20 0 15 0 414567686 10915721216 7175 33554432000 4194304 4196468 140726697088672 140726697071216 139918594666231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
/proc/26027/statm: 2664971 7175 2875 1 0 2627468 0
[pid=26027/tid=26029] ppid=26024 vsize=10659884 memory=576460756329955604 CPUtime=0.09 cores=1,3,5,7
/proc/26027/task/26029/stat : 26029 (java) R 26024 26027 25641 0 -1 4202560 3418 0 0 0 8 1 0 0 20 0 15 0 414567686 10915721216 7241 33554432000 4194304 4196468 140726697088672 139918598894224 139918586903358 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26030] ppid=26024 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26030/stat : 26030 (java) S 26024 26027 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414567687 10915721216 7241 33554432000 4194304 4196468 140726697088672 139918559947536 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26031] ppid=26024 vsize=10659884 memory=3545098747808618144 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26031/stat : 26031 (java) S 26024 26027 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414567687 10915721216 7241 33554432000 4194304 4196468 140726697088672 139918200908688 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26032] ppid=26024 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26032/stat : 26032 (java) S 26024 26027 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414567687 10915721216 7241 33554432000 4194304 4196468 140726697088672 139918199856144 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26033] ppid=26024 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26033/stat : 26033 (java) S 26024 26027 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414567687 10915721216 7241 33554432000 4194304 4196468 140726697088672 139918198803600 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26034] ppid=26024 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26034/stat : 26034 (java) S 26024 26027 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414567688 10915721216 7241 33554432000 4194304 4196468 140726697088672 139917629831152 139918594677378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26035] ppid=26024 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26035/stat : 26035 (java) S 26024 26027 25641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414567689 10915721216 7241 33554432000 4194304 4196468 140726697088672 139917628777376 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26036] ppid=26024 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26036/stat : 26036 (java) S 26024 26027 25641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414567689 10915721216 7241 33554432000 4194304 4196468 140726697088672 139917627724784 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26045] ppid=26024 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26045/stat : 26045 (java) S 26024 26027 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414567691 10915721216 7307 33554432000 4194304 4196468 140726697088672 139917626673360 139918594684827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26046] ppid=26024 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26046/stat : 26046 (java) S 26024 26027 25641 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 414567692 10915721216 7307 33554432000 4194304 4196468 140726697088672 139917625620976 139918594677378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26047] ppid=26024 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26047/stat : 26047 (java) S 26024 26027 25641 0 -1 1077944384 197 0 0 0 0 0 0 0 20 0 15 0 414567692 10915721216 7307 33554432000 4194304 4196468 140726697088672 139917624568432 139918594677378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26048] ppid=26024 vsize=10659884 memory=139999069378176 CPUtime=0.03 cores=1,3,5,7
/proc/26027/task/26048/stat : 26048 (java) R 26024 26027 25641 0 -1 4202560 547 0 0 0 3 0 0 0 20 0 15 0 414567692 10915721216 7307 33554432000 4194304 4196468 140726697088672 139917623512632 139918573591942 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26049] ppid=26024 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26049/stat : 26049 (java) S 26024 26027 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414567692 10915721216 7307 33554432000 4194304 4196468 140726697088672 139917622463584 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26050] ppid=26024 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26050/stat : 26050 (java) S 26024 26027 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414567692 10915721216 7307 33554432000 4194304 4196468 140726697088672 139917621410096 139918594677378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28700 KiB

[startup+0.210631 s]*
/proc/loadavg: 1.77 1.77 1.69 5/226 26071
/proc/meminfo: memFree=28936036/32770624 swapFree=66999916/67108860
[pid=26027] ppid=26024 vsize=10659884 memory=37508 CPUtime=0.33 cores=1,3,5,7
/proc/26027/stat : 26027 (java) S 26024 26027 25641 0 -1 1077944320 9132 0 0 0 30 3 0 0 20 0 15 0 414567686 10915721216 9377 33554432000 4194304 4196468 140726697088672 140726697071216 139918594666231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
/proc/26027/statm: 2664971 9377 2989 1 0 2627468 0
[pid=26027/tid=26029] ppid=26024 vsize=10659884 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/26027/task/26029/stat : 26029 (java) R 26024 26027 25641 0 -1 4202560 6156 0 0 0 18 2 0 0 20 0 15 0 414567686 10915721216 9377 33554432000 4194304 4196468 140726697088672 139918598892544 139918594688157 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26030] ppid=26024 vsize=10659884 memory=288230621904633879 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26030/stat : 26030 (java) S 26024 26027 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414567687 10915721216 9377 33554432000 4194304 4196468 140726697088672 139918559947536 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26031] ppid=26024 vsize=10659884 memory=139999072394968 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26031/stat : 26031 (java) S 26024 26027 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414567687 10915721216 9377 33554432000 4194304 4196468 140726697088672 139918200908688 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26032] ppid=26024 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26032/stat : 26032 (java) S 26024 26027 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414567687 10915721216 9377 33554432000 4194304 4196468 140726697088672 139918199856144 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26033] ppid=26024 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26033/stat : 26033 (java) S 26024 26027 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414567687 10915721216 9377 33554432000 4194304 4196468 140726697088672 139918198803600 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26034] ppid=26024 vsize=10659884 memory=139999069378176 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26034/stat : 26034 (java) S 26024 26027 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414567688 10915721216 9377 33554432000 4194304 4196468 140726697088672 139917629831152 139918594677378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26035] ppid=26024 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26035/stat : 26035 (java) S 26024 26027 25641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414567689 10915721216 9377 33554432000 4194304 4196468 140726697088672 139917628777376 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26036] ppid=26024 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26036/stat : 26036 (java) S 26024 26027 25641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414567689 10915721216 9377 33554432000 4194304 4196468 140726697088672 139917627724784 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26045] ppid=26024 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26045/stat : 26045 (java) S 26024 26027 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414567691 10915721216 9377 33554432000 4194304 4196468 140726697088672 139917626673360 139918594684827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26046] ppid=26024 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26027/task/26046/stat : 26046 (java) S 26024 26027 25641 0 -1 1077944384 482 0 0 0 3 0 0 0 20 0 15 0 414567692 10915721216 9377 33554432000 4194304 4196468 140726697088672 139917625620976 139918594677378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26047] ppid=26024 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26027/task/26047/stat : 26047 (java) S 26024 26027 25641 0 -1 1077944384 371 0 0 0 2 0 0 0 20 0 15 0 414567692 10915721216 9377 33554432000 4194304 4196468 140726697088672 139917624568432 139918594677378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26048] ppid=26024 vsize=10659884 memory=139999069378176 CPUtime=0.06 cores=1,3,5,7
/proc/26027/task/26048/stat : 26048 (java) S 26024 26027 25641 0 -1 1077944384 764 0 0 0 6 0 0 0 20 0 15 0 414567692 10915721216 9377 33554432000 4194304 4196468 140726697088672 139917623515888 139918594677378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26049] ppid=26024 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26049/stat : 26049 (java) S 26024 26027 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414567692 10915721216 9377 33554432000 4194304 4196468 140726697088672 139917622463584 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26050] ppid=26024 vsize=10659884 memory=139999069378176 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26050/stat : 26050 (java) S 26024 26027 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414567692 10915721216 9377 33554432000 4194304 4196468 140726697088672 139917621410096 139918594677378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37508 KiB

[startup+0.310423 s]*
/proc/loadavg: 1.77 1.77 1.69 4/226 26071
/proc/meminfo: memFree=28927140/32770624 swapFree=66999916/67108860
[pid=26027] ppid=26024 vsize=10659884 memory=39800 CPUtime=0.47 cores=1,3,5,7
/proc/26027/stat : 26027 (java) S 26024 26027 25641 0 -1 1077944320 9319 0 0 0 44 3 0 0 20 0 15 0 414567686 10915721216 9950 33554432000 4194304 4196468 140726697088672 140726697071216 139918594666231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
/proc/26027/statm: 2664971 9950 3001 1 0 2627468 0
[pid=26027/tid=26029] ppid=26024 vsize=10659884 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/26027/task/26029/stat : 26029 (java) R 26024 26027 25641 0 -1 4202560 6279 0 0 0 28 2 0 0 20 0 15 0 414567686 10915721216 10011 33554432000 4194304 4196468 140726697088672 139918598898032 139918594688157 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26030] ppid=26024 vsize=10659884 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26030/stat : 26030 (java) S 26024 26027 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414567687 10915721216 10011 33554432000 4194304 4196468 140726697088672 139918559947536 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26031] ppid=26024 vsize=10659884 memory=139999069378176 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26031/stat : 26031 (java) S 26024 26027 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414567687 10915721216 10011 33554432000 4194304 4196468 140726697088672 139918200908688 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26032] ppid=26024 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26032/stat : 26032 (java) S 26024 26027 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414567687 10915721216 10011 33554432000 4194304 4196468 140726697088672 139918199856144 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26033] ppid=26024 vsize=10659884 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26033/stat : 26033 (java) S 26024 26027 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414567687 10915721216 10011 33554432000 4194304 4196468 140726697088672 139918198803600 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26034] ppid=26024 vsize=10659884 memory=139999069378176 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26034/stat : 26034 (java) S 26024 26027 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414567688 10915721216 10011 33554432000 4194304 4196468 140726697088672 139917629831152 139918594677378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26035] ppid=26024 vsize=10659884 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26035/stat : 26035 (java) S 26024 26027 25641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414567689 10915721216 10011 33554432000 4194304 4196468 140726697088672 139917628777376 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26036] ppid=26024 vsize=10659884 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26036/stat : 26036 (java) S 26024 26027 25641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414567689 10915721216 10011 33554432000 4194304 4196468 140726697088672 139917627724784 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26045] ppid=26024 vsize=10659884 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26045/stat : 26045 (java) S 26024 26027 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414567691 10915721216 10011 33554432000 4194304 4196468 140726697088672 139917626673360 139918594684827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26046] ppid=26024 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/26027/task/26046/stat : 26046 (java) S 26024 26027 25641 0 -1 1077944384 517 0 0 0 4 0 0 0 20 0 15 0 414567692 10915721216 10011 33554432000 4194304 4196468 140726697088672 139917625620976 139918594677378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26047] ppid=26024 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/26027/task/26047/stat : 26047 (java) S 26024 26027 25641 0 -1 1077944384 379 0 0 0 3 0 0 0 20 0 15 0 414567692 10915721216 10011 33554432000 4194304 4196468 140726697088672 139917624568432 139918594677378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26048] ppid=26024 vsize=10659884 memory=139999483945862 CPUtime=0.08 cores=1,3,5,7
/proc/26027/task/26048/stat : 26048 (java) S 26024 26027 25641 0 -1 1077944384 786 0 0 0 8 0 0 0 20 0 15 0 414567692 10915721216 10011 33554432000 4194304 4196468 140726697088672 139917623515888 139918594677378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26049] ppid=26024 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26049/stat : 26049 (java) S 26024 26027 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414567692 10915721216 10011 33554432000 4194304 4196468 140726697088672 139917622463584 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26050] ppid=26024 vsize=10659884 memory=279998024708944 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26050/stat : 26050 (java) S 26024 26027 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414567692 10915721216 10011 33554432000 4194304 4196468 140726697088672 139917621410096 139918594677378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39800 KiB

[startup+0.708107 s]
/proc/loadavg: 1.77 1.77 1.69 6/226 26071
/proc/meminfo: memFree=28892556/32770624 swapFree=66999916/67108860
[pid=26027] ppid=26024 vsize=10661932 memory=64040 CPUtime=1.14 cores=1,3,5,7
/proc/26027/stat : 26027 (java) S 26024 26027 25641 0 -1 1077944320 13049 0 0 0 109 5 0 0 20 0 15 0 414567686 10917818368 16010 33554432000 4194304 4196468 140726697088672 140726697071216 139918594666231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
/proc/26027/statm: 2665483 16010 3070 1 0 2627980 0
[pid=26027/tid=26029] ppid=26024 vsize=10661932 memory=1220 CPUtime=0.69 cores=1,3,5,7
/proc/26027/task/26029/stat : 26029 (java) R 26024 26027 25641 0 -1 4202560 8867 0 0 0 65 4 0 0 20 0 15 0 414567686 10917818368 16010 33554432000 4194304 4196468 140726697088672 139918598898256 139918577853069 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26030] ppid=26024 vsize=10661932 memory=992 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26030/stat : 26030 (java) S 26024 26027 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414567687 10917818368 16010 33554432000 4194304 4196468 140726697088672 139918559947536 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26031] ppid=26024 vsize=10661932 memory=5984 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26031/stat : 26031 (java) S 26024 26027 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414567687 10917818368 16010 33554432000 4194304 4196468 140726697088672 139918200908688 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26032] ppid=26024 vsize=10661932 memory=7450174591119418944 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26032/stat : 26032 (java) S 26024 26027 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414567687 10917818368 16010 33554432000 4194304 4196468 140726697088672 139918199856144 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26033] ppid=26024 vsize=10661932 memory=776 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26033/stat : 26033 (java) S 26024 26027 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414567687 10917818368 16010 33554432000 4194304 4196468 140726697088672 139918198803600 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26034] ppid=26024 vsize=10661932 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26034/stat : 26034 (java) S 26024 26027 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414567688 10917818368 16010 33554432000 4194304 4196468 140726697088672 139917629831152 139918594677378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26035] ppid=26024 vsize=10661932 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26035/stat : 26035 (java) S 26024 26027 25641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414567689 10917818368 16010 33554432000 4194304 4196468 140726697088672 139917628777376 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26036] ppid=26024 vsize=10661932 memory=20612 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26036/stat : 26036 (java) S 26024 26027 25641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414567689 10917818368 16010 33554432000 4194304 4196468 140726697088672 139917627724784 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26045] ppid=26024 vsize=10661932 memory=12024 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26045/stat : 26045 (java) S 26024 26027 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414567691 10917818368 16010 33554432000 4194304 4196468 140726697088672 139917626673360 139918594684827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26046] ppid=26024 vsize=10661932 memory=2120 CPUtime=0.13 cores=1,3,5,7
/proc/26027/task/26046/stat : 26046 (java) R 26024 26027 25641 0 -1 4202560 846 0 0 0 13 0 0 0 20 0 15 0 414567692 10917818368 16010 33554432000 4194304 4196468 140726697088672 139917625606944 139918574359335 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26047] ppid=26024 vsize=10661932 memory=496 CPUtime=0.11 cores=1,3,5,7
/proc/26027/task/26047/stat : 26047 (java) S 26024 26027 25641 0 -1 1077944384 670 0 0 0 11 0 0 0 20 0 15 0 414567692 10917818368 16010 33554432000 4194304 4196468 140726697088672 139917624568432 139918594677378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26048] ppid=26024 vsize=10661932 memory=1560 CPUtime=0.19 cores=1,3,5,7
/proc/26027/task/26048/stat : 26048 (java) S 26024 26027 25641 0 -1 1077944384 1307 0 0 0 19 0 0 0 20 0 15 0 414567692 10917818368 16010 33554432000 4194304 4196468 140726697088672 139917623515888 139918594677378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26049] ppid=26024 vsize=10661932 memory=33 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26049/stat : 26049 (java) S 26024 26027 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414567692 10917818368 16010 33554432000 4194304 4196468 140726697088672 139917622463584 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26050] ppid=26024 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26050/stat : 26050 (java) S 26024 26027 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414567692 10917818368 16010 33554432000 4194304 4196468 140726697088672 139917621410096 139918594677378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64040 KiB

[startup+1.50072 s]
/proc/loadavg: 1.77 1.77 1.69 5/226 26071
/proc/meminfo: memFree=28743888/32770624 swapFree=66999916/67108860
[pid=26027] ppid=26024 vsize=10663980 memory=75916 CPUtime=2.03 cores=1,3,5,7
/proc/26027/stat : 26027 (java) S 26024 26027 25641 0 -1 1077944320 16788 0 0 0 197 6 0 0 20 0 15 0 414567686 10919915520 18979 33554432000 4194304 4196468 140726697088672 140726697071216 139918594666231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
/proc/26027/statm: 2665995 18979 3091 1 0 2628492 0
[pid=26027/tid=26029] ppid=26024 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/26027/task/26029/stat : 26029 (java) R 26024 26027 25641 0 -1 4202560 11528 0 0 0 144 4 0 0 20 0 15 0 414567686 10919915520 18979 33554432000 4194304 4196468 140726697088672 139918598898256 139918578746718 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26030] ppid=26024 vsize=10663980 memory=2465311228507 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26030/stat : 26030 (java) S 26024 26027 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414567687 10919915520 18979 33554432000 4194304 4196468 140726697088672 139918559947536 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26031] ppid=26024 vsize=10663980 memory=10014 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26031/stat : 26031 (java) S 26024 26027 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414567687 10919915520 18979 33554432000 4194304 4196468 140726697088672 139918200908688 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26032] ppid=26024 vsize=10663980 memory=18804 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26032/stat : 26032 (java) S 26024 26027 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414567687 10919915520 18979 33554432000 4194304 4196468 140726697088672 139918199856144 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26033] ppid=26024 vsize=10663980 memory=279997911231808 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26033/stat : 26033 (java) S 26024 26027 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414567687 10919915520 18979 33554432000 4194304 4196468 140726697088672 139918198803600 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26034] ppid=26024 vsize=10663980 memory=6740 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26034/stat : 26034 (java) S 26024 26027 25641 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 414567688 10919915520 18979 33554432000 4194304 4196468 140726697088672 139917629831152 139918594677378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0

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

/proc/26027/task/26033/stat : 26033 (java) S 26024 26027 25641 0 -1 1077944384 2414 0 0 0 44 3 0 0 20 0 16 0 414567687 11006283776 50156 33554432000 4194304 4196468 140726697088672 139918198803600 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26034] ppid=26024 vsize=10748324 memory=4128 CPUtime=0.14 cores=1,3,5,7
/proc/26027/task/26034/stat : 26034 (java) S 26024 26027 25641 0 -1 1077944384 4327 0 0 0 11 3 0 0 20 0 16 0 414567688 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917629831152 139918594677378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26035] ppid=26024 vsize=10748324 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26035/stat : 26035 (java) S 26024 26027 25641 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414567689 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917628777440 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26036] ppid=26024 vsize=10748324 memory=200624 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26036/stat : 26036 (java) S 26024 26027 25641 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 414567689 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917627724800 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26045] ppid=26024 vsize=10748324 memory=200624 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26045/stat : 26045 (java) S 26024 26027 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414567691 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917626673360 139918594684827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26046] ppid=26024 vsize=10748324 memory=200624 CPUtime=1.11 cores=1,3,5,7
/proc/26027/task/26046/stat : 26046 (java) S 26024 26027 25641 0 -1 1077944384 7818 0 0 0 111 0 0 0 20 0 16 0 414567692 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917625620976 139918594677378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26047] ppid=26024 vsize=10748324 memory=200624 CPUtime=0.99 cores=1,3,5,7
/proc/26027/task/26047/stat : 26047 (java) S 26024 26027 25641 0 -1 1077944384 6536 0 0 0 98 1 0 0 20 0 16 0 414567692 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917624568432 139918594677378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26048] ppid=26024 vsize=10748324 memory=200624 CPUtime=0.65 cores=1,3,5,7
/proc/26027/task/26048/stat : 26048 (java) S 26024 26027 25641 0 -1 1077944384 8558 0 0 0 64 1 0 0 20 0 16 0 414567692 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917623515888 139918594677378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26049] ppid=26024 vsize=10748324 memory=200624 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26049/stat : 26049 (java) S 26024 26027 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414567692 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917622463584 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26050] ppid=26024 vsize=10748324 memory=200624 CPUtime=0.47 cores=1,3,5,7
/proc/26027/task/26050/stat : 26050 (java) S 26024 26027 25641 0 -1 1077944384 1260 0 0 0 18 29 0 0 20 0 16 0 414567692 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917621410096 139918594677378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26072] ppid=26024 vsize=10748324 memory=200624 CPUtime=2439.74 cores=1,3,5,7
/proc/26027/task/26072/stat : 26072 (java) R 26024 26027 25641 0 -1 4202560 15485 0 0 0 243970 4 0 0 20 0 16 0 414567878 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917296348400 139918237463768 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
Current children cumulated CPU time: 2447 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 200624 KiB

[startup+2502.3 s]
/proc/loadavg: 1.71 1.82 1.84 3/229 26389
/proc/meminfo: memFree=28601124/32770624 swapFree=66999916/67108860
[pid=26027] ppid=26024 vsize=10748324 memory=200624 CPUtime=2507.02 cores=1,3,5,7
/proc/26027/stat : 26027 (java) S 26024 26027 25641 0 -1 1077944320 70192 0 0 0 250650 52 0 0 20 0 16 0 414567686 11006283776 50156 33554432000 4194304 4196468 140726697088672 140726697071216 139918594666231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
/proc/26027/statm: 2687081 50156 3375 1 0 2647217 0
[pid=26027/tid=26029] ppid=26024 vsize=10748324 memory=200624 CPUtime=1.89 cores=1,3,5,7
/proc/26027/task/26029/stat : 26029 (java) S 26024 26027 25641 0 -1 1077944384 13249 0 0 0 184 5 0 0 20 0 16 0 414567686 11006283776 50156 33554432000 4194304 4196468 140726697088672 139918598909104 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26030] ppid=26024 vsize=10748324 memory=200624 CPUtime=0.48 cores=1,3,5,7
/proc/26027/task/26030/stat : 26030 (java) S 26024 26027 25641 0 -1 1077944384 4750 0 0 0 45 3 0 0 20 0 16 0 414567687 11006283776 50156 33554432000 4194304 4196468 140726697088672 139918559947536 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26031] ppid=26024 vsize=10748324 memory=200624 CPUtime=0.48 cores=1,3,5,7
/proc/26027/task/26031/stat : 26031 (java) S 26024 26027 25641 0 -1 1077944384 1406 0 0 0 45 3 0 0 20 0 16 0 414567687 11006283776 50156 33554432000 4194304 4196468 140726697088672 139918200908688 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26032] ppid=26024 vsize=10748324 memory=200624 CPUtime=0.48 cores=1,3,5,7
/proc/26027/task/26032/stat : 26032 (java) S 26024 26027 25641 0 -1 1077944384 2913 0 0 0 45 3 0 0 20 0 16 0 414567687 11006283776 50156 33554432000 4194304 4196468 140726697088672 139918199856144 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26033] ppid=26024 vsize=10748324 memory=200624 CPUtime=0.48 cores=1,3,5,7
/proc/26027/task/26033/stat : 26033 (java) S 26024 26027 25641 0 -1 1077944384 2414 0 0 0 45 3 0 0 20 0 16 0 414567687 11006283776 50156 33554432000 4194304 4196468 140726697088672 139918198803600 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26034] ppid=26024 vsize=10748324 memory=200624 CPUtime=0.14 cores=1,3,5,7
/proc/26027/task/26034/stat : 26034 (java) S 26024 26027 25641 0 -1 1077944384 4331 0 0 0 11 3 0 0 20 0 16 0 414567688 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917629831152 139918594677378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26035] ppid=26024 vsize=10748324 memory=56 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26035/stat : 26035 (java) S 26024 26027 25641 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414567689 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917628777440 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26036] ppid=26024 vsize=10748324 memory=200624 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26036/stat : 26036 (java) S 26024 26027 25641 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 414567689 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917627724800 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26045] ppid=26024 vsize=10748324 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26045/stat : 26045 (java) S 26024 26027 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414567691 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917626673360 139918594684827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26046] ppid=26024 vsize=10748324 memory=68 CPUtime=1.11 cores=1,3,5,7
/proc/26027/task/26046/stat : 26046 (java) S 26024 26027 25641 0 -1 1077944384 7818 0 0 0 111 0 0 0 20 0 16 0 414567692 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917625620976 139918594677378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26047] ppid=26024 vsize=10748324 memory=-7523660553960122769 CPUtime=1 cores=1,3,5,7
/proc/26027/task/26047/stat : 26047 (java) S 26024 26027 25641 0 -1 1077944384 6536 0 0 0 99 1 0 0 20 0 16 0 414567692 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917624568432 139918594677378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26048] ppid=26024 vsize=10748324 memory=200624 CPUtime=0.65 cores=1,3,5,7
/proc/26027/task/26048/stat : 26048 (java) S 26024 26027 25641 0 -1 1077944384 8558 0 0 0 64 1 0 0 20 0 16 0 414567692 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917623515888 139918594677378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26049] ppid=26024 vsize=10748324 memory=20660 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26049/stat : 26049 (java) S 26024 26027 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414567692 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917622463584 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26050] ppid=26024 vsize=10748324 memory=12024 CPUtime=0.48 cores=1,3,5,7
/proc/26027/task/26050/stat : 26050 (java) S 26024 26027 25641 0 -1 1077944384 1264 0 0 0 19 29 0 0 20 0 16 0 414567692 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917621410096 139918594677378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26072] ppid=26024 vsize=10748324 memory=200624 CPUtime=2499.74 cores=1,3,5,7
/proc/26027/task/26072/stat : 26072 (java) R 26024 26027 25641 0 -1 4202560 15514 0 0 0 249970 4 0 0 20 0 16 0 414567878 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917296348400 139918232787318 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
Current children cumulated CPU time: 2507.02 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 200624 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2515.3 s]
/proc/loadavg: 1.70 1.81 1.83 3/229 26390
/proc/meminfo: memFree=28600844/32770624 swapFree=66999916/67108860
[pid=26027] ppid=26024 vsize=10748324 memory=200624 CPUtime=2520.03 cores=1,3,5,7
/proc/26027/stat : 26027 (java) S 26024 26027 25641 0 -1 1077944320 70209 0 0 0 251951 52 0 0 20 0 16 0 414567686 11006283776 50156 33554432000 4194304 4196468 140726697088672 140726697071216 139918594666231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
/proc/26027/statm: 2687081 50156 3375 1 0 2647217 0
[pid=26027/tid=26029] ppid=26024 vsize=10748324 memory=200624 CPUtime=1.89 cores=1,3,5,7
/proc/26027/task/26029/stat : 26029 (java) S 26024 26027 25641 0 -1 1077944384 13249 0 0 0 184 5 0 0 20 0 16 0 414567686 11006283776 50156 33554432000 4194304 4196468 140726697088672 139918598909104 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26030] ppid=26024 vsize=10748324 memory=200624 CPUtime=0.48 cores=1,3,5,7
/proc/26027/task/26030/stat : 26030 (java) S 26024 26027 25641 0 -1 1077944384 4750 0 0 0 45 3 0 0 20 0 16 0 414567687 11006283776 50156 33554432000 4194304 4196468 140726697088672 139918559947536 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26031] ppid=26024 vsize=10748324 memory=200624 CPUtime=0.48 cores=1,3,5,7
/proc/26027/task/26031/stat : 26031 (java) S 26024 26027 25641 0 -1 1077944384 1408 0 0 0 45 3 0 0 20 0 16 0 414567687 11006283776 50156 33554432000 4194304 4196468 140726697088672 139918200908688 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26032] ppid=26024 vsize=10748324 memory=200624 CPUtime=0.48 cores=1,3,5,7
/proc/26027/task/26032/stat : 26032 (java) S 26024 26027 25641 0 -1 1077944384 2913 0 0 0 45 3 0 0 20 0 16 0 414567687 11006283776 50156 33554432000 4194304 4196468 140726697088672 139918199856144 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26033] ppid=26024 vsize=10748324 memory=279997912725184 CPUtime=0.48 cores=1,3,5,7
/proc/26027/task/26033/stat : 26033 (java) S 26024 26027 25641 0 -1 1077944384 2414 0 0 0 45 3 0 0 20 0 16 0 414567687 11006283776 50156 33554432000 4194304 4196468 140726697088672 139918198803600 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26034] ppid=26024 vsize=10748324 memory=200624 CPUtime=0.14 cores=1,3,5,7
/proc/26027/task/26034/stat : 26034 (java) S 26024 26027 25641 0 -1 1077944384 4333 0 0 0 11 3 0 0 20 0 16 0 414567688 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917629831152 139918594677378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26035] ppid=26024 vsize=10748324 memory=200624 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26035/stat : 26035 (java) S 26024 26027 25641 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414567689 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917628777440 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26036] ppid=26024 vsize=10748324 memory=776 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26036/stat : 26036 (java) S 26024 26027 25641 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 414567689 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917627724800 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26045] ppid=26024 vsize=10748324 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26045/stat : 26045 (java) S 26024 26027 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414567691 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917626673360 139918594684827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26046] ppid=26024 vsize=10748324 memory=200624 CPUtime=1.11 cores=1,3,5,7
/proc/26027/task/26046/stat : 26046 (java) S 26024 26027 25641 0 -1 1077944384 7818 0 0 0 111 0 0 0 20 0 16 0 414567692 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917625620976 139918594677378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26047] ppid=26024 vsize=10748324 memory=200624 CPUtime=1 cores=1,3,5,7
/proc/26027/task/26047/stat : 26047 (java) S 26024 26027 25641 0 -1 1077944384 6536 0 0 0 99 1 0 0 20 0 16 0 414567692 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917624568432 139918594677378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26048] ppid=26024 vsize=10748324 memory=3580 CPUtime=0.65 cores=1,3,5,7
/proc/26027/task/26048/stat : 26048 (java) S 26024 26027 25641 0 -1 1077944384 8558 0 0 0 64 1 0 0 20 0 16 0 414567692 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917623515888 139918594677378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26049] ppid=26024 vsize=10748324 memory=39176 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26049/stat : 26049 (java) S 26024 26027 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414567692 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917622463584 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26050] ppid=26024 vsize=10748324 memory=1980 CPUtime=0.48 cores=1,3,5,7
/proc/26027/task/26050/stat : 26050 (java) S 26024 26027 25641 0 -1 1077944384 1268 0 0 0 19 29 0 0 20 0 16 0 414567692 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917621410096 139918594677378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26072] ppid=26024 vsize=10748324 memory=2428 CPUtime=2512.73 cores=1,3,5,7
/proc/26027/task/26072/stat : 26072 (java) R 26024 26027 25641 0 -1 4202560 15523 0 0 0 251269 4 0 0 20 0 16 0 414567878 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917296348400 139918237449108 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 200624 KiB

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

[startup+2515.31 s]
# the end of solver process 26027 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.53 s, system=0.525075 s

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

[startup+2515.3 s]
/proc/loadavg: 1.70 1.81 1.83 3/229 26390
/proc/meminfo: memFree=28600844/32770624 swapFree=66999916/67108860
[pid=26027] ppid=26024 vsize=10748324 memory=200624 CPUtime=2520.03 cores=1,3,5,7
/proc/26027/stat : 26027 (java) S 26024 26027 25641 0 -1 1077944320 70209 0 0 0 251951 52 0 0 20 0 16 0 414567686 11006283776 50156 33554432000 4194304 4196468 140726697088672 140726697071216 139918594666231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
/proc/26027/statm: 2687081 50156 3375 1 0 2647217 0
[pid=26027/tid=26029] ppid=26024 vsize=10748324 memory=200624 CPUtime=1.89 cores=1,3,5,7
/proc/26027/task/26029/stat : 26029 (java) S 26024 26027 25641 0 -1 1077944384 13249 0 0 0 184 5 0 0 20 0 16 0 414567686 11006283776 50156 33554432000 4194304 4196468 140726697088672 139918598909104 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26030] ppid=26024 vsize=10748324 memory=200624 CPUtime=0.48 cores=1,3,5,7
/proc/26027/task/26030/stat : 26030 (java) S 26024 26027 25641 0 -1 1077944384 4750 0 0 0 45 3 0 0 20 0 16 0 414567687 11006283776 50156 33554432000 4194304 4196468 140726697088672 139918559947536 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26031] ppid=26024 vsize=10748324 memory=200624 CPUtime=0.48 cores=1,3,5,7
/proc/26027/task/26031/stat : 26031 (java) S 26024 26027 25641 0 -1 1077944384 1408 0 0 0 45 3 0 0 20 0 16 0 414567687 11006283776 50156 33554432000 4194304 4196468 140726697088672 139918200908688 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26032] ppid=26024 vsize=10748324 memory=200624 CPUtime=0.48 cores=1,3,5,7
/proc/26027/task/26032/stat : 26032 (java) S 26024 26027 25641 0 -1 1077944384 2913 0 0 0 45 3 0 0 20 0 16 0 414567687 11006283776 50156 33554432000 4194304 4196468 140726697088672 139918199856144 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26033] ppid=26024 vsize=10748324 memory=279997912725184 CPUtime=0.48 cores=1,3,5,7
/proc/26027/task/26033/stat : 26033 (java) S 26024 26027 25641 0 -1 1077944384 2414 0 0 0 45 3 0 0 20 0 16 0 414567687 11006283776 50156 33554432000 4194304 4196468 140726697088672 139918198803600 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26034] ppid=26024 vsize=10748324 memory=200624 CPUtime=0.14 cores=1,3,5,7
/proc/26027/task/26034/stat : 26034 (java) S 26024 26027 25641 0 -1 1077944384 4333 0 0 0 11 3 0 0 20 0 16 0 414567688 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917629831152 139918594677378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26035] ppid=26024 vsize=10748324 memory=200624 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26035/stat : 26035 (java) S 26024 26027 25641 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414567689 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917628777440 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26036] ppid=26024 vsize=10748324 memory=776 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26036/stat : 26036 (java) S 26024 26027 25641 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 414567689 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917627724800 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26045] ppid=26024 vsize=10748324 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26045/stat : 26045 (java) S 26024 26027 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414567691 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917626673360 139918594684827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26046] ppid=26024 vsize=10748324 memory=200624 CPUtime=1.11 cores=1,3,5,7
/proc/26027/task/26046/stat : 26046 (java) S 26024 26027 25641 0 -1 1077944384 7818 0 0 0 111 0 0 0 20 0 16 0 414567692 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917625620976 139918594677378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26047] ppid=26024 vsize=10748324 memory=200624 CPUtime=1 cores=1,3,5,7
/proc/26027/task/26047/stat : 26047 (java) S 26024 26027 25641 0 -1 1077944384 6536 0 0 0 99 1 0 0 20 0 16 0 414567692 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917624568432 139918594677378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26048] ppid=26024 vsize=10748324 memory=3580 CPUtime=0.65 cores=1,3,5,7
/proc/26027/task/26048/stat : 26048 (java) S 26024 26027 25641 0 -1 1077944384 8558 0 0 0 64 1 0 0 20 0 16 0 414567692 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917623515888 139918594677378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26049] ppid=26024 vsize=10748324 memory=39176 CPUtime=0 cores=1,3,5,7
/proc/26027/task/26049/stat : 26049 (java) S 26024 26027 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414567692 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917622463584 139918594676437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26050] ppid=26024 vsize=10748324 memory=1980 CPUtime=0.48 cores=1,3,5,7
/proc/26027/task/26050/stat : 26050 (java) S 26024 26027 25641 0 -1 1077944384 1268 0 0 0 19 29 0 0 20 0 16 0 414567692 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917621410096 139918594677378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
[pid=26027/tid=26072] ppid=26024 vsize=10748324 memory=2428 CPUtime=2512.73 cores=1,3,5,7
/proc/26027/task/26072/stat : 26072 (java) R 26024 26027 25641 0 -1 4202560 15523 0 0 0 251269 4 0 0 20 0 16 0 414567878 11006283776 50156 33554432000 4194304 4196468 140726697088672 139917296348400 139918237449108 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140726697092107 140726697092210 140726697092210 140726697095119 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 200624 KiB

Child status: 143
Real time (s): 2515.31
CPU time (s): 2520.05
CPU user time (s): 2519.53
CPU system time (s): 0.525075
CPU usage (%): 100.189
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 300364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.53
system time used= 0.525075
maximum resident set size= 300368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70558
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59864
involuntary context switches= 887


# summary of solver processes directly reported to runsolver:
#   pid: 26027
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2519.53
#   total CPU system time (s): 0.525075

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8093 second user time and 19.9571 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-13 15:56:29
IDJOB=4390503
IDBENCH=127773
IDSOLVER=2832
FILE ID=node123/4390503-1568383028
RUNJOBID= node123-1568380477-25673
PBS_JOBID= 21701841
Free space on /tmp= 56788 MiB

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

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

MD5SUM BENCH= e5b164a238094fc306b5fb8652aa9c45
RANDOM SEED=1895445107

node123.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.49
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.49
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.49
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.49
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:        28982720 kB
MemAvailable:   31869232 kB
Buffers:          114136 kB
Cached:          3031672 kB
SwapCached:         7392 kB
Active:          1099924 kB
Inactive:        2058804 kB
Active(anon):       5056 kB
Inactive(anon):    49124 kB
Active(file):    1094868 kB
Inactive(file):  2009680 kB
Unevictable:      107780 kB
Mlocked:          107780 kB
SwapTotal:      67108860 kB
SwapFree:       66999916 kB
Dirty:              8596 kB
Writeback:             0 kB
AnonPages:        134608 kB
Mapped:            44016 kB
Shmem:             32680 kB
Slab:             224660 kB
SReclaimable:     195596 kB
SUnreclaim:        29064 kB
KernelStack:        3712 kB
PageTables:         5348 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     527224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     88064 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 56780 MiB
End job on node123 at 2019-09-13 16:38:25