Trace number 4242564

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: Mistral-2.0 2017-06-28SAT (TO)547 2400.01 2400.6

General information on the benchmark

NamePseudoBoolean/
PseudoBoolean-opt-dimacs/Pb-ii8d2.xml
MD5SUMf6e5619a9394ff6fb9e35a49c1220c66
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark547
Best CPU time to get the best result obtained on this benchmark2400.01
Satisfiable
(Un)Satisfiability was proved
Number of variables1860
Number of constraints7477
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":1860}]
Minimum variable degree2
Maximum variable degree53
Distribution of variable degrees[{"degree":2,"count":20},{"degree":3,"count":770},{"degree":6,"count":10},{"degree":8,"count":10},{"degree":10,"count":790},{"degree":11,"count":10},{"degree":12,"count":10},{"degree":15,"count":10},{"degree":16,"count":10},{"degree":17,"count":20},{"degree":19,"count":10},{"degree":21,"count":10},{"degree":25,"count":20},{"degree":30,"count":10},{"degree":35,"count":20},{"degree":37,"count":10},{"degree":38,"count":10},{"degree":39,"count":10},{"degree":40,"count":10},{"degree":41,"count":10},{"degree":42,"count":10},{"degree":43,"count":10},{"degree":44,"count":10},{"degree":45,"count":10},{"degree":46,"count":10},{"degree":48,"count":20},{"degree":53,"count":10}]
Minimum constraint arity2
Maximum constraint arity10
Distribution of constraint arities[{"arity":2,"count":7170},{"arity":8,"count":230},{"arity":10,"count":77}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":7477}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c Mistral-2017-06-28
0.69/0.70	o 906
0.69/0.70	o 905
0.69/0.70	o 904
0.69/0.71	o 903
0.69/0.71	o 902
0.69/0.71	o 901
0.69/0.71	o 900
0.69/0.71	o 899
0.69/0.71	o 898
0.69/0.72	o 897
0.69/0.72	o 896
0.69/0.72	o 895
0.69/0.72	o 894
0.69/0.78	o 893
0.79/0.80	o 892
0.79/0.81	o 891
0.89/0.92	o 890
0.89/0.93	o 889
0.89/0.93	o 888
0.89/0.94	o 887
0.99/1.02	o 886
0.99/1.05	o 885
0.99/1.08	o 884
0.99/1.09	o 883
1.10/1.13	o 882
1.10/1.19	o 881
1.10/1.20	o 880
1.20/1.26	o 879
1.29/1.30	o 878
1.29/1.33	o 877
1.49/1.52	o 876
1.49/1.59	o 875
1.79/1.87	o 874
1.79/1.87	o 873
1.79/1.87	o 872
1.89/1.98	o 871
1.99/2.09	o 870
1.99/2.09	o 869
2.09/2.11	o 868
2.09/2.16	o 867
2.09/2.20	o 866
2.30/2.37	o 865
2.30/2.37	o 864
2.30/2.38	o 863
2.30/2.38	o 862
2.39/2.42	o 861
2.39/2.45	o 860
2.39/2.46	o 859
2.49/2.50	o 858
2.59/2.60	o 857
2.59/2.64	o 856
2.79/2.89	o 855
2.89/2.99	o 854
3.19/3.28	o 853
3.30/3.40	o 852
4.29/4.36	o 851
4.29/4.40	o 850
6.48/6.55	o 849
6.48/6.56	o 848
8.08/8.19	o 847
9.08/9.16	o 846
9.18/9.23	o 845
9.18/9.24	o 844
9.18/9.25	o 843
9.18/9.26	o 842
9.18/9.26	o 841
9.18/9.30	o 840
9.28/9.33	o 839
9.38/9.42	o 838
9.48/9.54	o 837
9.48/9.54	o 836
9.48/9.55	o 835
9.48/9.59	o 834
9.58/9.60	o 833
9.68/9.70	o 832
9.68/9.74	o 831
9.78/9.86	o 830
9.78/9.87	o 829
9.89/9.95	o 828
9.99/10.04	o 827
10.28/10.32	o 826
10.28/10.36	o 825
10.28/10.37	o 824
10.38/10.49	o 823
10.38/10.49	o 822
10.48/10.50	o 821
10.68/10.73	o 820
10.68/10.77	o 819
10.88/11.00	o 818
11.28/11.35	o 817
11.38/11.42	o 816
11.38/11.44	o 815
11.48/11.55	o 814
11.48/11.56	o 813
11.58/11.68	o 812
12.09/12.12	o 811
12.38/12.43	o 810
12.58/12.63	o 809
12.58/12.67	o 808
12.58/12.68	o 807
12.68/12.75	o 806
12.88/12.95	o 805
13.38/13.42	o 804
14.08/14.13	o 803
14.08/14.13	o 802
14.08/14.19	o 801
14.18/14.26	o 800
14.29/14.35	o 799
14.29/14.39	o 798
14.58/14.63	o 797
14.58/14.69	o 796
14.88/14.94	o 795
14.88/14.95	o 794
15.28/15.38	o 793
15.48/15.53	o 792
15.48/15.55	o 791
15.58/15.64	o 790
16.08/16.14	o 789
16.28/16.30	o 788
16.68/16.73	o 787
16.98/17.02	o 786
16.98/17.03	o 785
16.98/17.04	o 784
16.98/17.08	o 783
18.58/18.61	o 782
18.58/18.65	o 781
18.68/18.74	o 780
18.68/18.78	o 779
18.78/18.83	o 778
18.78/18.83	o 777
18.78/18.85	o 776
18.87/18.95	o 775
18.97/19.07	o 774
19.37/19.46	o 773
19.47/19.50	o 772
19.47/19.58	o 771
19.57/19.64	o 770
19.57/19.66	o 769
19.67/19.70	o 768
19.67/19.74	o 767
20.88/20.99	o 766
21.27/21.36	o 765
21.37/21.45	o 764
22.08/22.13	o 763
22.27/22.30	o 762
22.77/22.83	o 761
22.77/22.84	o 760
22.97/23.05	o 759
23.47/23.56	o 758
23.57/23.68	o 757
23.67/23.72	o 756
23.67/23.74	o 755
24.18/24.28	o 754
24.37/24.49	o 753
24.57/24.63	o 752
24.87/24.91	o 751
25.97/26.08	o 750
26.77/26.84	o 749
27.67/27.79	o 748
27.87/27.94	o 747
27.97/28.07	o 746
28.87/28.99	o 745
29.07/29.18	o 744
29.17/29.25	o 743
29.78/29.87	o 742
29.87/29.95	o 741
31.77/31.87	o 740
31.88/31.91	o 739
32.27/32.39	o 738
32.57/32.64	o 737
32.57/32.68	o 736
32.67/32.79	o 735
34.08/34.17	o 734
34.18/34.23	o 733
34.67/34.77	o 732
38.37/38.45	o 731
38.37/38.47	o 730
41.97/42.04	o 729
41.97/42.07	o 728
42.07/42.12	o 727
42.07/42.17	o 726
42.17/42.22	o 725
42.17/42.28	o 724
42.87/42.98	o 723
43.77/43.88	o 722
43.87/43.91	o 721
43.87/43.95	o 720
44.17/44.28	o 719
44.27/44.36	o 718
44.97/45.09	o 717
46.17/46.23	o 716
46.47/46.52	o 715
46.47/46.57	o 714
47.67/47.75	o 713
47.67/47.77	o 712
49.06/49.17	o 711
51.26/51.30	o 710
51.46/51.55	o 709
51.67/51.74	o 708
53.66/53.80	o 707
56.76/56.82	o 706
57.27/57.33	o 705
57.46/57.55	o 704
57.46/57.58	o 703
57.56/57.62	o 702
57.86/57.97	o 701
58.27/58.34	o 700
59.26/59.39	o 699
60.36/60.44	o 698
61.96/62.01	o 697
62.46/62.57	o 696
62.46/62.58	o 695
62.56/62.67	o 694
63.06/63.14	o 693
63.16/63.23	o 692
64.66/64.71	o 691
64.66/64.75	o 690
67.86/67.98	o 689
69.67/69.78	o 688
69.67/69.79	o 687
69.87/69.92	o 686
72.27/72.36	o 685
75.27/75.34	o 684
77.26/77.38	o 683
77.56/77.68	o 682
78.86/78.93	o 681
79.27/79.31	o 680
80.37/80.46	o 679
83.86/83.92	o 678
89.07/89.17	o 677
97.36/97.43	o 676
101.46/101.55	o 675
105.26/105.37	o 674
114.85/114.99	o 673
116.66/116.72	o 672
117.66/117.79	o 671
117.76/117.86	o 670
118.35/118.47	o 669
118.35/118.48	o 668
118.55/118.60	o 667
118.55/118.61	o 666
118.86/118.93	o 665
118.95/119.07	o 664
119.86/119.93	o 663
120.25/120.31	o 662
120.75/120.88	o 661
120.85/120.96	o 660
123.55/123.61	o 659
128.35/128.43	o 658
128.85/128.96	o 657
129.25/129.34	o 656
130.35/130.40	o 655
132.95/133.03	o 654
142.25/142.31	o 653
145.55/145.68	o 652
152.74/152.88	o 651
154.44/154.58	o 650
187.93/188.05	o 649
203.23/203.35	o 648
221.43/221.53	o 647
224.43/224.52	o 646
224.93/225.05	o 645
228.23/228.30	o 644
231.03/231.14	o 643
233.13/233.28	o 642
233.23/233.32	o 641
233.23/233.37	o 640
233.82/233.98	o 639
235.02/235.16	o 638
235.22/235.30	o 637
235.43/235.54	o 636
235.72/235.89	o 635
235.82/235.91	o 634
236.32/236.46	o 633
237.42/237.59	o 632
237.42/237.59	o 631
237.53/237.63	o 630
238.82/238.99	o 629
239.52/239.68	o 628
239.83/239.92	o 627
241.32/241.41	o 626
241.82/241.96	o 625
242.92/243.00	o 624
242.92/243.05	o 623
243.03/243.18	o 622
243.92/244.00	o 621
244.02/244.12	o 620
244.32/244.40	o 619
244.82/244.96	o 618
245.23/245.38	o 617
245.62/245.73	o 616
246.12/246.25	o 615
247.43/247.59	o 614
247.82/247.93	o 613
248.02/248.13	o 612
248.02/248.19	o 611
248.12/248.21	o 610
249.02/249.15	o 609
249.22/249.38	o 608
249.52/249.69	o 607
250.02/250.14	o 606
251.32/251.46	o 605
258.82/258.95	o 604
259.72/259.86	o 603
265.91/266.00	o 602
268.81/268.96	o 601
270.31/270.42	o 600
270.31/270.43	o 599
274.71/274.81	o 598
275.02/275.18	o 597
281.11/281.28	o 596
281.21/281.35	o 595
284.61/284.74	o 594
370.29/370.47	o 593
370.29/370.48	o 592
375.99/376.16	o 591
376.49/376.69	o 590
381.09/381.20	o 589
390.49/390.66	o 588
477.76/477.94	o 587
532.65/532.87	o 586
532.65/532.88	o 585
532.65/532.88	o 584
533.25/533.49	o 583
548.24/548.48	o 582
552.44/552.65	o 581
599.53/599.77	o 580
677.81/678.08	o 579
687.42/687.67	o 578
688.11/688.39	o 577
698.41/698.64	o 576
698.51/698.71	o 575
716.20/716.43	o 574
716.40/716.63	o 573
718.00/718.22	o 572
718.00/718.28	o 571
722.51/722.76	o 570
730.70/730.95	o 569
733.30/733.51	o 568
738.70/738.90	o 567
738.80/739.08	o 566
740.10/740.34	o 565
741.80/742.01	o 564
744.50/744.77	o 563
745.50/745.74	o 562
746.90/747.12	o 561
753.99/754.24	o 560
755.60/755.85	o 559
757.19/757.46	o 558
766.79/767.07	o 557
767.99/768.28	o 556
778.59/778.86	o 555
836.77/837.09	o 554
1066.12/1066.47	o 553
1066.12/1066.47	o 552
1066.12/1066.47	o 551
1066.12/1066.47	o 550
1066.22/1066.60	o 549
1069.82/1070.15	o 548
1095.61/1095.92	o 547
2400.00/2400.60	s SATISFIABLE
2400.00/2400.60	v <instantiation type="solution">
2400.00/2400.60	v   <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] </list>
2400.00/2400.60	v   <values> 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 </values>
2400.00/2400.60	v </instantiation>

Verifier Data 

OK	547

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4242564-1500657795/watcher-4242564-1500657795 -o /tmp/evaluation-result-4242564-1500657795/solver-4242564-1500657795 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500648174-2478 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1954809878 HOME/instance-4242564-1500657795.xml 

pid=3761
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.08 2.03 2.05 6/260 3764
/proc/meminfo: memFree=31886712/32770624 swapFree=5800/214864
[pid=3764] ppid=3761 vsize=28932 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 991 0 0 0 1 0 0 0 20 0 1 0 1047203 29626368 765 33554432000 4194304 7402444 140721668673168 140721668665144 139655937231845 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 7233 765 593 784 0 247 0

[startup+0.100185 s]
/proc/loadavg: 2.08 2.03 2.05 6/260 3764
/proc/meminfo: memFree=31886712/32770624 swapFree=5800/214864
[pid=3764] ppid=3761 vsize=31068 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 1517 0 0 0 9 0 0 0 20 0 1 0 1047203 31813632 1292 33554432000 4194304 7402444 140721668673168 140721668666408 6143819 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 7767 1292 631 784 0 781 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31068

[startup+0.200352 s]
/proc/loadavg: 2.08 2.03 2.05 6/260 3764
/proc/meminfo: memFree=31886712/32770624 swapFree=5800/214864
[pid=3764] ppid=3761 vsize=33108 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 2085 0 0 0 19 0 0 0 20 0 1 0 1047203 33902592 1915 33554432000 4194304 7402444 140721668673168 140721668663736 139655937231845 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 8277 1915 675 784 0 1291 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 33108

[startup+0.300325 s]
/proc/loadavg: 2.08 2.03 2.05 6/260 3764
/proc/meminfo: memFree=31886712/32770624 swapFree=5800/214864
[pid=3764] ppid=3761 vsize=35804 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 2783 0 0 0 29 0 0 0 20 0 1 0 1047203 36663296 2565 33554432000 4194304 7402444 140721668673168 140721668664008 139655937231845 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 8951 2565 675 784 0 1965 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35804

[startup+0.700286 s]
/proc/loadavg: 2.08 2.03 2.05 6/260 3764
/proc/meminfo: memFree=31886712/32770624 swapFree=5800/214864
[pid=3764] ppid=3761 vsize=46956 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 5825 0 0 0 68 1 0 0 20 0 1 0 1047203 48082944 5417 33554432000 4194304 7402444 140721668673168 140721668667800 4748158 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 11739 5417 713 784 0 4753 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46956

[startup+1.50035 s]
/proc/loadavg: 2.23 2.06 2.06 3/251 3821
/proc/meminfo: memFree=32005256/32770624 swapFree=5800/215256
[pid=3764] ppid=3761 vsize=46956 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 5836 0 0 0 148 1 0 0 20 0 1 0 1047203 48082944 5417 33554432000 4194304 7402444 140721668673168 140721668668184 5750482 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 11739 5417 713 784 0 4753 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46956

[startup+3.10033 s]
/proc/loadavg: 2.23 2.06 2.06 4/261 3897
/proc/meminfo: memFree=31984416/32770624 swapFree=5800/215256
[pid=3764] ppid=3761 vsize=46956 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 9586 0 0 0 308 1 0 0 20 0 1 0 1047203 48082944 5433 33554432000 4194304 7402444 140721668673168 140721668668184 5695872 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 11739 5433 724 784 0 4753 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46956

[startup+6.30034 s]
/proc/loadavg: 2.13 2.05 2.05 3/243 4061
/proc/meminfo: memFree=31997300/32770624 swapFree=5800/214932
[pid=3764] ppid=3761 vsize=46956 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 13337 0 0 0 628 1 0 0 20 0 1 0 1047203 48082944 5433 33554432000 4194304 7402444 140721668673168 140721668668184 5750486 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 11739 5433 724 784 0 4753 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46956

[startup+12.7003 s]
/proc/loadavg: 2.12 2.04 2.05 3/243 4061
/proc/meminfo: memFree=31995704/32770624 swapFree=5800/214932
[pid=3764] ppid=3761 vsize=46956 CPUtime=12.68 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 13678 0 0 0 1267 1 0 0 20 0 1 0 1047203 48082944 5439 33554432000 4194304 7402444 140721668673168 140721668668184 4466809 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 11739 5439 724 784 0 4753 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 46956

[startup+25.5004 s]
/proc/loadavg: 2.09 2.04 2.05 3/243 4061
/proc/meminfo: memFree=31994560/32770624 swapFree=5800/214932
[pid=3764] ppid=3761 vsize=46956 CPUtime=25.47 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 14348 0 0 0 2546 1 0 0 20 0 1 0 1047203 48082944 5442 33554432000 4194304 7402444 140721668673168 140721668668184 4463708 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 11739 5442 724 784 0 4753 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 46956

[startup+51.1003 s]
/proc/loadavg: 2.06 2.04 2.05 3/243 4061
/proc/meminfo: memFree=31994524/32770624 swapFree=5800/215224
[pid=3764] ppid=3761 vsize=46956 CPUtime=51.06 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 14690 0 0 0 5105 1 0 0 20 0 1 0 1047203 48082944 5444 33554432000 4194304 7402444 140721668673168 140721668668184 4748090 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 11739 5444 724 784 0 4753 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 46956

[startup+102.3 s]
/proc/loadavg: 2.11 2.06 2.06 3/243 4062
/proc/meminfo: memFree=31994344/32770624 swapFree=5800/215224
[pid=3764] ppid=3761 vsize=46956 CPUtime=102.27 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 15029 0 0 0 10225 2 0 0 20 0 1 0 1047203 48082944 5446 33554432000 4194304 7402444 140721668673168 140721668668184 4709390 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 11739 5446 724 784 0 4753 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 46956

[startup+162.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/243 4064
/proc/meminfo: memFree=31995132/32770624 swapFree=5800/215352
[pid=3764] ppid=3761 vsize=46956 CPUtime=162.24 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 15369 0 0 0 16222 2 0 0 20 0 1 0 1047203 48082944 5446 33554432000 4194304 7402444 140721668673168 140721668668184 5327204 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 11739 5446 724 784 0 4753 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 46956

[startup+222.308 s]
/proc/loadavg: 2.08 2.06 2.05 3/243 4065
/proc/meminfo: memFree=31995392/32770624 swapFree=5800/215352
[pid=3764] ppid=3761 vsize=46956 CPUtime=222.24 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 15711 0 0 0 22222 2 0 0 20 0 1 0 1047203 48082944 5447 33554432000 4194304 7402444 140721668673168 140721668668184 5696195 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 11739 5447 724 784 0 4753 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 46956

[startup+282.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/243 4066
/proc/meminfo: memFree=31995224/32770624 swapFree=5800/215352
[pid=3764] ppid=3761 vsize=46956 CPUtime=282.21 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 16055 0 0 0 28219 2 0 0 20 0 1 0 1047203 48082944 5449 33554432000 4194304 7402444 140721668673168 140721668668184 5327204 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 11739 5449 724 784 0 4753 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 46956

[startup+342.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/243 4068
/proc/meminfo: memFree=31994876/32770624 swapFree=5800/215668
[pid=3764] ppid=3761 vsize=46956 CPUtime=342.2 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 16382 0 0 0 34218 2 0 0 20 0 1 0 1047203 48082944 5450 33554432000 4194304 7402444 140721668673168 140721668668184 4465328 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 11739 5450 724 784 0 4753 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 46956

[startup+402.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/243 4069
/proc/meminfo: memFree=31995256/32770624 swapFree=5800/215668
[pid=3764] ppid=3761 vsize=46956 CPUtime=402.18 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 16727 0 0 0 40216 2 0 0 20 0 1 0 1047203 48082944 5450 33554432000 4194304 7402444 140721668673168 140721668668184 5750486 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 11739 5450 724 784 0 4753 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 46956

[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/243 4077
/proc/meminfo: memFree=31994504/32770624 swapFree=5800/215768
[pid=3764] ppid=3761 vsize=46956 CPUtime=462.17 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 17047 0 0 0 46215 2 0 0 20 0 1 0 1047203 48082944 5452 33554432000 4194304 7402444 140721668673168 140721668668184 4709386 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 11739 5452 724 784 0 4753 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 46956

[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/243 4078
/proc/meminfo: memFree=31994764/32770624 swapFree=5800/215768
[pid=3764] ppid=3761 vsize=46956 CPUtime=522.15 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 17394 0 0 0 52213 2 0 0 20 0 1 0 1047203 48082944 5452 33554432000 4194304 7402444 140721668673168 140721668668184 4466768 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 11739 5452 724 784 0 4753 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 46956

[startup+582.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/243 4079
/proc/meminfo: memFree=31994604/32770624 swapFree=5800/215768
[pid=3764] ppid=3761 vsize=46956 CPUtime=582.14 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 17740 0 0 0 58212 2 0 0 20 0 1 0 1047203 48082944 5453 33554432000 4194304 7402444 140721668673168 140721668668184 5696204 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 11739 5453 724 784 0 4753 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 46956


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


[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4101
/proc/meminfo: memFree=31991312/32770624 swapFree=5800/216496
[pid=3764] ppid=3761 vsize=47088 CPUtime=1481.91 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 22807 0 0 0 148189 2 0 0 20 0 1 0 1047203 48218112 5470 33554432000 4194304 7402444 140721668673168 140721668668184 4709390 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 11772 5470 724 784 0 4786 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 47088

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 4102
/proc/meminfo: memFree=31993316/32770624 swapFree=5800/216452
[pid=3764] ppid=3761 vsize=47088 CPUtime=1541.91 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 23135 0 0 0 154189 2 0 0 20 0 1 0 1047203 48218112 5470 33554432000 4194304 7402444 140721668673168 140721668668184 5759138 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 11772 5470 724 784 0 4786 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 47088

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4104
/proc/meminfo: memFree=31992240/32770624 swapFree=5800/216452
[pid=3764] ppid=3761 vsize=47088 CPUtime=1601.88 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 23473 0 0 0 160186 2 0 0 20 0 1 0 1047203 48218112 5470 33554432000 4194304 7402444 140721668673168 140721668668184 5871081 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 11772 5470 724 784 0 4786 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 47088

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4112
/proc/meminfo: memFree=31991988/32770624 swapFree=5800/216504
[pid=3764] ppid=3761 vsize=47088 CPUtime=1661.87 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 23797 0 0 0 166185 2 0 0 20 0 1 0 1047203 48218112 5470 33554432000 4194304 7402444 140721668673168 140721668668184 4747338 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 11772 5470 724 784 0 4786 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 47088

[startup+1722.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 4113
/proc/meminfo: memFree=31992680/32770624 swapFree=5800/216504
[pid=3764] ppid=3761 vsize=47088 CPUtime=1721.85 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 24120 0 0 0 172183 2 0 0 20 0 1 0 1047203 48218112 5470 33554432000 4194304 7402444 140721668673168 140721668668184 4466768 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 11772 5470 724 784 0 4786 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 47088

[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 4114
/proc/meminfo: memFree=31993000/32770624 swapFree=5800/216504
[pid=3764] ppid=3761 vsize=47088 CPUtime=1781.84 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 24444 0 0 0 178182 2 0 0 20 0 1 0 1047203 48218112 5470 33554432000 4194304 7402444 140721668673168 140721668668184 5327250 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 11772 5470 724 784 0 4786 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 47088

[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4115
/proc/meminfo: memFree=31992428/32770624 swapFree=5800/216664
[pid=3764] ppid=3761 vsize=47088 CPUtime=1841.83 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 24773 0 0 0 184181 2 0 0 20 0 1 0 1047203 48218112 5470 33554432000 4194304 7402444 140721668673168 140721668668184 5698127 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 11772 5470 724 784 0 4786 0
Current children cumulated CPU time (s) 1841.83
Current children cumulated vsize (KiB) 47088

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4116
/proc/meminfo: memFree=31991232/32770624 swapFree=5800/216664
[pid=3764] ppid=3761 vsize=47088 CPUtime=1901.81 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 25102 0 0 0 190179 2 0 0 20 0 1 0 1047203 48218112 5470 33554432000 4194304 7402444 140721668673168 140721668668184 5695885 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 11772 5470 724 784 0 4786 0
Current children cumulated CPU time (s) 1901.81
Current children cumulated vsize (KiB) 47088

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4118
/proc/meminfo: memFree=31991468/32770624 swapFree=5800/216664
[pid=3764] ppid=3761 vsize=47088 CPUtime=1961.79 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 25426 0 0 0 196177 2 0 0 20 0 1 0 1047203 48218112 5470 33554432000 4194304 7402444 140721668673168 140721668668184 4232208 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 11772 5470 724 784 0 4786 0
Current children cumulated CPU time (s) 1961.79
Current children cumulated vsize (KiB) 47088

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4119
/proc/meminfo: memFree=31992092/32770624 swapFree=5800/216664
[pid=3764] ppid=3761 vsize=47088 CPUtime=2021.78 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 25749 0 0 0 202176 2 0 0 20 0 1 0 1047203 48218112 5470 33554432000 4194304 7402444 140721668673168 140721668668184 5327193 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 11772 5470 724 784 0 4786 0
Current children cumulated CPU time (s) 2021.78
Current children cumulated vsize (KiB) 47088

[startup+2082.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 4120
/proc/meminfo: memFree=31991364/32770624 swapFree=5800/216664
[pid=3764] ppid=3761 vsize=47088 CPUtime=2081.77 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 26072 0 0 0 208175 2 0 0 20 0 1 0 1047203 48218112 5470 33554432000 4194304 7402444 140721668673168 140721668668184 4747743 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 11772 5470 724 784 0 4786 0
Current children cumulated CPU time (s) 2081.77
Current children cumulated vsize (KiB) 47088

[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 4122
/proc/meminfo: memFree=31992248/32770624 swapFree=5800/216840
[pid=3764] ppid=3761 vsize=47088 CPUtime=2141.75 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 26393 0 0 0 214173 2 0 0 20 0 1 0 1047203 48218112 5470 33554432000 4194304 7402444 140721668673168 140721668668184 4747338 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 11772 5470 724 784 0 4786 0
Current children cumulated CPU time (s) 2141.75
Current children cumulated vsize (KiB) 47088

[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4123
/proc/meminfo: memFree=31992096/32770624 swapFree=5800/216840
[pid=3764] ppid=3761 vsize=47088 CPUtime=2201.75 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 26714 0 0 0 220173 2 0 0 20 0 1 0 1047203 48218112 5470 33554432000 4194304 7402444 140721668673168 140721668668184 5750464 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 11772 5470 724 784 0 4786 0
Current children cumulated CPU time (s) 2201.75
Current children cumulated vsize (KiB) 47088

[startup+2262.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/244 4132
/proc/meminfo: memFree=31992716/32770624 swapFree=5800/216888
[pid=3764] ppid=3761 vsize=47088 CPUtime=2261.73 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 26945 0 0 0 226171 2 0 0 20 0 1 0 1047203 48218112 5470 33554432000 4194304 7402444 140721668673168 140721668668184 5871069 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 11772 5470 724 784 0 4786 0
Current children cumulated CPU time (s) 2261.73
Current children cumulated vsize (KiB) 47088

[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 4155
/proc/meminfo: memFree=31992016/32770624 swapFree=5800/216916
[pid=3764] ppid=3761 vsize=47088 CPUtime=2321.72 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 27176 0 0 0 232170 2 0 0 20 0 1 0 1047203 48218112 5470 33554432000 4194304 7402444 140721668673168 140721668668184 5696146 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 11772 5470 724 784 0 4786 0
Current children cumulated CPU time (s) 2321.72
Current children cumulated vsize (KiB) 47088

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 4156
/proc/meminfo: memFree=31992456/32770624 swapFree=5800/216916
[pid=3764] ppid=3761 vsize=47088 CPUtime=2381.7 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 27598 0 0 0 238168 2 0 0 20 0 1 0 1047203 48218112 5470 33554432000 4194304 7402444 140721668673168 140721668668184 4463727 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 11772 5470 724 784 0 4786 0
Current children cumulated CPU time (s) 2381.7
Current children cumulated vsize (KiB) 47088



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.6 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 4156
/proc/meminfo: memFree=31992456/32770624 swapFree=5800/216916
[pid=3764] ppid=3761 vsize=47088 CPUtime=2400 cores=0,2,4,6,8,10,12,14
/proc/3764/stat : 3764 (MistralXCSP) R 3761 3764 2447 0 -1 4202496 27918 0 0 0 239998 2 0 0 20 0 1 0 1047203 48218112 5470 33554432000 4194304 7402444 140721668673168 140721668668184 5871069 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 16130048 140721668678824 140721668678974 140721668678974 140721668681673 0
/proc/3764/statm: 11772 5470 724 784 0 4786 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 47088

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 3764 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 2400.6
CPU time (s): 2400.01
CPU user time (s): 2399.98
CPU system time (s): 0.025993
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 47088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.98
system time used= 0.025993
maximum resident set size= 22128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27974
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17
involuntary context switches= 120646

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.16942 second user time and 11.5095 second system time

The end

Launcher Data 

Begin job on node127 at 2017-07-21 19:23:15
IDJOB=4242564
IDBENCH=135000
IDSOLVER=2622
FILE ID=node127/4242564-1500657795
RUNJOBID= node127-1500648174-2478
PBS_JOBID= 20623293
Free space on /tmp= 61976 MiB

SOLVER NAME= Mistral-2.0 2017-06-28
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-dimacs/Pb-ii8d2.xml
COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242564-1500657795/watcher-4242564-1500657795 -o /tmp/evaluation-result-4242564-1500657795/solver-4242564-1500657795 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500648174-2478 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1954809878 HOME/instance-4242564-1500657795.xml

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

MD5SUM BENCH= f6e5619a9394ff6fb9e35a49c1220c66
RANDOM SEED=1954809878

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

/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		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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.94
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		: 2400.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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.94
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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.94
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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.94
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2400.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2000.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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:        31907700 kB
MemAvailable:   31906508 kB
Buffers:           30760 kB
Cached:           280412 kB
SwapCached:            0 kB
Active:           267000 kB
Inactive:         223564 kB
Active(anon):     182264 kB
Inactive(anon):     8700 kB
Active(file):      84736 kB
Inactive(file):   214864 kB
Unevictable:        5800 kB
Mlocked:            5800 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5888 kB
Writeback:             0 kB
AnonPages:        243388 kB
Mapped:            40740 kB
Shmem:              8840 kB
Slab:              61536 kB
SReclaimable:      30084 kB
SUnreclaim:        31452 kB
KernelStack:        4816 kB
PageTables:         5972 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1168516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    157696 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 61972 MiB
End job on node127 at 2017-07-21 20:03:16