Trace number 4261033

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
Mistral-2.0 2017-07-28SAT (TO)547 2519.8101 2520

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.08	c 280717
0.60/0.74	o 906
0.60/0.74	o 905
0.60/0.74	o 904
0.60/0.74	o 903
0.60/0.74	o 902
0.60/0.75	o 901
0.60/0.75	o 900
0.60/0.75	o 899
0.60/0.75	o 898
0.60/0.75	o 897
0.60/0.76	o 896
0.60/0.76	o 895
0.60/0.76	o 894
0.70/0.81	o 893
0.70/0.83	o 892
0.70/0.85	o 891
0.80/0.95	o 890
0.80/0.95	o 889
0.80/0.96	o 888
0.80/0.97	o 887
0.90/1.04	o 886
0.90/1.07	o 885
0.90/1.10	o 884
1.01/1.11	o 883
1.01/1.14	o 882
1.11/1.21	o 881
1.11/1.21	o 880
1.11/1.27	o 879
1.20/1.31	o 878
1.20/1.34	o 877
1.40/1.52	o 876
1.40/1.59	o 875
1.70/1.86	o 874
1.70/1.86	o 873
1.70/1.86	o 872
1.80/1.96	o 871
1.90/2.06	o 870
1.90/2.07	o 869
1.90/2.09	o 868
2.00/2.13	o 867
2.00/2.17	o 866
2.21/2.35	o 865
2.30/2.44	o 864
2.30/2.44	o 863
2.30/2.44	o 862
2.30/2.44	o 861
2.30/2.44	o 860
2.30/2.44	o 859
2.30/2.47	o 858
2.40/2.56	o 857
2.50/2.60	o 856
2.70/2.84	o 855
2.80/2.94	o 854
3.10/3.22	o 853
3.21/3.33	o 852
4.11/4.27	o 851
4.21/4.30	o 850
6.31/6.40	o 849
6.31/6.41	o 848
7.91/8.05	o 847
8.91/9.02	o 846
8.91/9.09	o 845
9.01/9.10	o 844
9.01/9.11	o 843
9.01/9.12	o 842
9.01/9.12	o 841
9.01/9.15	o 840
9.01/9.19	o 839
9.11/9.28	o 838
9.31/9.40	o 837
9.31/9.40	o 836
9.31/9.41	o 835
9.31/9.45	o 834
9.31/9.46	o 833
9.41/9.56	o 832
9.51/9.60	o 831
9.61/9.73	o 830
9.61/9.74	o 829
9.71/9.81	o 828
9.71/9.90	o 827
10.01/10.19	o 826
10.11/10.22	o 825
10.11/10.24	o 824
10.21/10.35	o 823
10.21/10.36	o 822
10.21/10.37	o 821
10.51/10.60	o 820
10.51/10.64	o 819
10.71/10.88	o 818
11.11/11.23	o 817
11.21/11.30	o 816
11.21/11.32	o 815
11.31/11.43	o 814
11.31/11.44	o 813
11.41/11.56	o 812
11.91/12.01	o 811
12.21/12.33	o 810
12.41/12.53	o 809
12.41/12.57	o 808
12.41/12.58	o 807
12.51/12.65	o 806
12.70/12.86	o 805
13.21/13.33	o 804
13.90/14.05	o 803
13.90/14.06	o 802
14.00/14.11	o 801
14.00/14.18	o 800
14.10/14.27	o 799
14.21/14.31	o 798
14.40/14.56	o 797
14.50/14.62	o 796
14.70/14.87	o 795
14.70/14.89	o 794
15.20/15.32	o 793
15.31/15.47	o 792
15.31/15.50	o 791
15.41/15.58	o 790
16.00/16.10	o 789
16.10/16.26	o 788
16.60/16.70	o 787
16.90/17.00	o 786
16.90/17.01	o 785
16.90/17.02	o 784
16.90/17.06	o 783
18.50/18.65	o 782
18.50/18.69	o 781
18.61/18.78	o 780
18.71/18.82	o 779
18.71/18.87	o 778
18.71/18.88	o 777
18.71/18.89	o 776
18.90/19.00	o 775
19.00/19.12	o 774
19.40/19.52	o 773
19.40/19.55	o 772
19.50/19.63	o 771
19.50/19.69	o 770
19.60/19.71	o 769
19.60/19.75	o 768
19.60/19.79	o 767
20.91/21.06	o 766
21.30/21.44	o 765
21.40/21.53	o 764
22.10/22.23	o 763
22.30/22.41	o 762
22.80/22.95	o 761
22.80/22.96	o 760
23.01/23.18	o 759
23.61/23.70	o 758
23.71/23.82	o 757
23.71/23.87	o 756
23.71/23.88	o 755
24.31/24.44	o 754
24.51/24.66	o 753
24.61/24.80	o 752
24.91/25.09	o 751
26.11/26.29	o 750
26.91/27.07	o 749
27.91/28.05	o 748
28.11/28.21	o 747
28.21/28.34	o 746
29.11/29.28	o 745
29.31/29.47	o 744
29.41/29.55	o 743
30.01/30.18	o 742
30.11/30.26	o 741
32.11/32.24	o 740
32.11/32.28	o 739
32.61/32.78	o 738
32.91/33.03	o 737
32.91/33.07	o 736
33.01/33.18	o 735
34.41/34.59	o 734
34.51/34.66	o 733
35.11/35.21	o 732
38.91/39.03	o 731
38.91/39.05	o 730
42.70/42.80	o 729
42.70/42.83	o 728
42.70/42.88	o 727
42.81/42.93	o 726
42.81/42.98	o 725
42.91/43.05	o 724
43.60/43.76	o 723
44.50/44.69	o 722
44.60/44.73	o 721
44.60/44.76	o 720
44.90/45.10	o 719
45.01/45.18	o 718
45.80/45.93	o 717
47.00/47.10	o 716
47.31/47.40	o 715
47.31/47.45	o 714
48.50/48.67	o 713
48.50/48.68	o 712
50.00/50.12	o 711
52.20/52.33	o 710
52.40/52.58	o 709
52.60/52.78	o 708
54.70/54.81	o 707
57.60/57.77	o 706
58.10/58.27	o 705
58.30/58.48	o 704
58.40/58.51	o 703
58.40/58.55	o 702
58.70/58.89	o 701
59.10/59.25	o 700
60.10/60.28	o 699
61.20/61.33	o 698
62.70/62.87	o 697
63.30/63.42	o 696
63.30/63.43	o 695
63.40/63.51	o 694
63.80/63.98	o 693
63.90/64.06	o 692
65.40/65.50	o 691
65.40/65.54	o 690
68.60/68.71	o 689
70.30/70.48	o 688
70.30/70.49	o 687
70.50/70.61	o 686
72.90/73.01	o 685
75.80/75.93	o 684
77.80/77.93	o 683
78.10/78.22	o 682
79.30/79.45	o 681
79.70/79.81	o 680
80.80/80.95	o 679
84.20/84.36	o 678
89.40/89.54	o 677
97.49/97.67	o 676
101.59/101.71	o 675
105.29/105.45	o 674
114.69/114.88	o 673
116.39/116.59	o 672
117.49/117.64	o 671
117.59/117.70	o 670
118.19/118.30	o 669
118.19/118.31	o 668
118.29/118.43	o 667
118.29/118.44	o 666
118.59/118.75	o 665
118.69/118.89	o 664
119.59/119.73	o 663
119.99/120.10	o 662
120.49/120.66	o 661
120.59/120.74	o 660
123.19/123.34	o 659
127.89/128.07	o 658
128.39/128.59	o 657
128.79/128.97	o 656
129.89/130.01	o 655
132.39/132.59	o 654
141.49/141.68	o 653
144.79/144.99	o 652
151.89/152.07	o 651
153.59/153.73	o 650
186.49/186.66	o 649
201.58/201.79	o 648
219.38/219.58	o 647
222.38/222.51	o 646
222.88/223.03	o 645
226.08/226.21	o 644
228.88/229.01	o 643
230.99/231.10	o 642
230.99/231.15	o 641
230.99/231.19	o 640
231.68/231.80	o 639
232.78/232.95	o 638
232.88/233.09	o 637
233.19/233.32	o 636
233.48/233.67	o 635
233.48/233.68	o 634
234.08/234.22	o 633
235.18/235.34	o 632
235.18/235.34	o 631
235.18/235.38	o 630
236.58/236.71	o 629
237.18/237.38	o 628
237.49/237.63	o 627
238.88/239.07	o 626
239.48/239.62	o 625
240.48/240.64	o 624
240.48/240.69	o 623
240.68/240.81	o 622
241.48/241.62	o 621
241.58/241.74	o 620
241.89/242.01	o 619
242.38/242.55	o 618
242.78/242.97	o 617
243.18/243.31	o 616
243.68/243.82	o 615
244.98/245.13	o 614
245.29/245.47	o 613
245.48/245.66	o 612
245.58/245.72	o 611
245.58/245.74	o 610
246.48/246.66	o 609
246.68/246.88	o 608
246.98/247.18	o 607
247.49/247.63	o 606
248.78/248.93	o 605
256.08/256.29	o 604
256.98/257.18	o 603
262.98/263.20	o 602
265.98/266.10	o 601
267.38/267.53	o 600
267.38/267.54	o 599
271.69/271.84	o 598
272.08/272.21	o 597
277.98/278.19	o 596
278.08/278.26	o 595
281.38/281.58	o 594
365.48/365.67	o 593
365.48/365.67	o 592
371.08/371.26	o 591
371.58/371.77	o 590
375.98/376.20	o 589
385.28/385.47	o 588
471.17/471.32	o 587
525.07/525.25	o 586
525.07/525.26	o 585
525.07/525.26	o 584
525.68/525.86	o 583
540.37/540.54	o 582
544.47/544.62	o 581
590.67/590.82	o 580
667.36/667.56	o 579
676.76/676.97	o 578
677.47/677.68	o 577
687.56/687.77	o 576
687.66/687.84	o 575
705.07/705.21	o 574
705.26/705.41	o 573
706.76/706.95	o 572
706.86/707.01	o 571
711.26/711.40	o 570
719.27/719.41	o 569
721.76/721.92	o 568
727.07/727.21	o 567
727.16/727.39	o 566
728.46/728.62	o 565
730.06/730.26	o 564
732.76/732.96	o 563
733.76/733.91	o 562
735.06/735.26	o 561
742.06/742.26	o 560
743.66/743.85	o 559
745.26/745.43	o 558
754.76/754.92	o 557
755.96/756.12	o 556
766.36/766.50	o 555
823.46/823.63	o 554
1050.05/1050.23	o 553
1050.05/1050.23	o 552
1050.05/1050.23	o 551
1050.05/1050.23	o 550
1050.15/1050.35	o 549
1053.65/1053.85	o 548
1078.95/1079.13	o 547
2519.80/2520.00	s SATISFIABLE
2519.80/2520.00	v <instantiation type="solution">
2519.80/2520.00	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>
2519.80/2520.00	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>
2519.80/2520.00	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-4261033-1502385105/watcher-4261033-1502385105 -o /tmp/evaluation-result-4261033-1502385105/solver-4261033-1502385105 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502331240-8162 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 393708954 HOME/instance-4261033-1502385105.xml 

pid=15992
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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 15995
/proc/meminfo: memFree=31185212/32770624 swapFree=0/531080
[pid=15995] ppid=15992 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/15995/stat : 15995 (runsolver) D 15992 15995 16590 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 40704037 24240128 108 18446744073709551615 4194304 4338465 140729413192944 140729413190584 140428024787671 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 8192000 140729413197965 140729413198410 140729413198410 140729413201866 0
/proc/15995/statm: 5918 108 54 36 0 2156 0

[startup+0.100151 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 15995
/proc/meminfo: memFree=31185212/32770624 swapFree=0/531080
[pid=15995] ppid=15992 vsize=30548 CPUtime=0.01 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 1406 0 0 0 1 0 0 0 20 0 1 0 40704037 31281152 1224 18446744073709551615 4194304 7396336 140724826887328 140724826884328 6034724 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 7637 1224 608 782 0 653 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 30548

[startup+0.200274 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 15995
/proc/meminfo: memFree=31185212/32770624 swapFree=0/531080
[pid=15995] ppid=15992 vsize=31816 CPUtime=0.11 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 1740 0 0 0 11 0 0 0 20 0 1 0 40704037 32579584 1552 18446744073709551615 4194304 7396336 140724826887328 140724826884328 140114576059198 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 7954 1552 666 782 0 970 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 31816

[startup+0.300248 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 15995
/proc/meminfo: memFree=31185212/32770624 swapFree=0/531080
[pid=15995] ppid=15992 vsize=34576 CPUtime=0.21 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 2459 0 0 0 21 0 0 0 20 0 1 0 40704037 35405824 2277 18446744073709551615 4194304 7396336 140724826887328 140724826884328 4565880 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 8644 2277 666 782 0 1660 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 34576

[startup+0.700226 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 15995
/proc/meminfo: memFree=31185212/32770624 swapFree=0/531080
[pid=15995] ppid=15992 vsize=44396 CPUtime=0.6 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 5029 0 0 0 60 0 0 0 20 0 1 0 40704037 45461504 4731 18446744073709551615 4194304 7396336 140724826887328 140724826877928 5052980 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 11099 4731 669 782 0 4115 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 44396

[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15996
/proc/meminfo: memFree=31165676/32770624 swapFree=0/531108
[pid=15995] ppid=15992 vsize=46948 CPUtime=1.4 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 5814 0 0 0 140 0 0 0 20 0 1 0 40704037 48074752 5410 18446744073709551615 4194304 7396336 140724826887328 140724826877928 5771180 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 11737 5410 707 782 0 4753 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 46948

[startup+3.10031 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15996
/proc/meminfo: memFree=31165304/32770624 swapFree=0/531108
[pid=15995] ppid=15992 vsize=46948 CPUtime=3 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 9564 0 0 0 300 0 0 0 20 0 1 0 40704037 48074752 5421 18446744073709551615 4194304 7396336 140724826887328 140724826877928 5778200 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 11737 5421 713 782 0 4753 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 46948

[startup+6.3003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15996
/proc/meminfo: memFree=31164780/32770624 swapFree=0/531108
[pid=15995] ppid=15992 vsize=46948 CPUtime=6.21 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 13317 0 0 0 620 1 0 0 20 0 1 0 40704037 48074752 5421 18446744073709551615 4194304 7396336 140724826887328 140724826882344 4582093 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 11737 5421 713 782 0 4753 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 46948

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15996
/proc/meminfo: memFree=31164408/32770624 swapFree=0/531100
[pid=15995] ppid=15992 vsize=46948 CPUtime=12.6 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 17072 0 0 0 1259 1 0 0 20 0 1 0 40704037 48074752 5421 18446744073709551615 4194304 7396336 140724826887328 140724826882344 5774774 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 11737 5421 713 782 0 4753 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 46948

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15997
/proc/meminfo: memFree=31164284/32770624 swapFree=0/531096
[pid=15995] ppid=15992 vsize=46948 CPUtime=25.41 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 24580 0 0 0 2539 2 0 0 20 0 1 0 40704037 48074752 5424 18446744073709551615 4194304 7396336 140724826887328 140724826882344 5576249 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 11737 5424 713 782 0 4753 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 46948

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15998
/proc/meminfo: memFree=31164656/32770624 swapFree=0/531104
[pid=15995] ppid=15992 vsize=46948 CPUtime=51 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 28343 0 0 0 5098 2 0 0 20 0 1 0 40704037 48074752 5426 18446744073709551615 4194304 7396336 140724826887328 140724826882344 4249481 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 11737 5426 713 782 0 4753 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 46948

[startup+102.3 s]
/proc/loadavg: 1.92 2.00 2.04 3/181 16061
/proc/meminfo: memFree=31238336/32770624 swapFree=0/531160
[pid=15995] ppid=15992 vsize=46948 CPUtime=102.2 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 28725 0 0 0 10218 2 0 0 20 0 1 0 40704037 48074752 5434 18446744073709551615 4194304 7396336 140724826887328 140724826882344 4543853 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 11737 5434 713 782 0 4753 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 46948

[startup+162.3 s]
/proc/loadavg: 1.94 1.99 2.03 3/185 16078
/proc/meminfo: memFree=31233020/32770624 swapFree=0/531220
[pid=15995] ppid=15992 vsize=46948 CPUtime=162.19 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 29102 0 0 0 16217 2 0 0 20 0 1 0 40704037 48074752 5435 18446744073709551615 4194304 7396336 140724826887328 140724826882344 5841278 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 11737 5435 713 782 0 4753 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 46948

[startup+222.306 s]
/proc/loadavg: 1.98 1.99 2.03 3/186 16105
/proc/meminfo: memFree=31232860/32770624 swapFree=0/531264
[pid=15995] ppid=15992 vsize=46948 CPUtime=222.19 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 29481 0 0 0 22217 2 0 0 20 0 1 0 40704037 48074752 5436 18446744073709551615 4194304 7396336 140724826887328 140724826882344 5839310 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 11737 5436 713 782 0 4753 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 46948

[startup+282.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/187 16107
/proc/meminfo: memFree=31232360/32770624 swapFree=0/531244
[pid=15995] ppid=15992 vsize=46948 CPUtime=282.18 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 29862 0 0 0 28216 2 0 0 20 0 1 0 40704037 48074752 5438 18446744073709551615 4194304 7396336 140724826887328 140724826882344 4581459 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 11737 5438 713 782 0 4753 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 46948

[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/183 16109
/proc/meminfo: memFree=31236204/32770624 swapFree=0/531280
[pid=15995] ppid=15992 vsize=46948 CPUtime=342.18 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 30234 0 0 0 34216 2 0 0 20 0 1 0 40704037 48074752 5439 18446744073709551615 4194304 7396336 140724826887328 140724826882344 5165928 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 11737 5439 713 782 0 4753 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 46948

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/183 16110
/proc/meminfo: memFree=31235956/32770624 swapFree=0/531288
[pid=15995] ppid=15992 vsize=46948 CPUtime=402.17 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 30615 0 0 0 40215 2 0 0 20 0 1 0 40704037 48074752 5439 18446744073709551615 4194304 7396336 140724826887328 140724826882344 5774255 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 11737 5439 713 782 0 4753 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 46948

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/183 16113
/proc/meminfo: memFree=31236800/32770624 swapFree=0/531288
[pid=15995] ppid=15992 vsize=46948 CPUtime=462.17 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 30979 0 0 0 46215 2 0 0 20 0 1 0 40704037 48074752 5441 18446744073709551615 4194304 7396336 140724826887328 140724826882344 4581723 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 11737 5441 713 782 0 4753 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 46948

[startup+522.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/181 16114
/proc/meminfo: memFree=31237048/32770624 swapFree=0/531324
[pid=15995] ppid=15992 vsize=46948 CPUtime=522.17 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 31370 0 0 0 52215 2 0 0 20 0 1 0 40704037 48074752 5442 18446744073709551615 4194304 7396336 140724826887328 140724826882344 4249722 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 11737 5442 713 782 0 4753 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 46948

[startup+582.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/181 16116
/proc/meminfo: memFree=31236700/32770624 swapFree=0/531332
[pid=15995] ppid=15992 vsize=46948 CPUtime=582.17 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 31763 0 0 0 58215 2 0 0 20 0 1 0 40704037 48074752 5442 18446744073709551615 4194304 7396336 140724826887328 140724826882344 5772768 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 11737 5442 713 782 0 4753 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 46948


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


[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 16180
/proc/meminfo: memFree=31235572/32770624 swapFree=0/531600
[pid=15995] ppid=15992 vsize=47080 CPUtime=1602.14 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 38139 0 0 0 160211 3 0 0 20 0 1 0 40704037 48209920 5459 18446744073709551615 4194304 7396336 140724826887328 140724826882344 4582056 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 11770 5459 713 782 0 4786 0
Current children cumulated CPU time (s) 1602.14
Current children cumulated vsize (KiB) 47080

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 16183
/proc/meminfo: memFree=31235100/32770624 swapFree=0/531612
[pid=15995] ppid=15992 vsize=47080 CPUtime=1662.13 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 38507 0 0 0 166210 3 0 0 20 0 1 0 40704037 48209920 5459 18446744073709551615 4194304 7396336 140724826887328 140724826882344 5771180 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 11770 5459 713 782 0 4786 0
Current children cumulated CPU time (s) 1662.13
Current children cumulated vsize (KiB) 47080

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 16185
/proc/meminfo: memFree=31235340/32770624 swapFree=0/531628
[pid=15995] ppid=15992 vsize=47080 CPUtime=1722.13 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 38874 0 0 0 172210 3 0 0 20 0 1 0 40704037 48209920 5459 18446744073709551615 4194304 7396336 140724826887328 140724826882344 5771144 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 11770 5459 713 782 0 4786 0
Current children cumulated CPU time (s) 1722.13
Current children cumulated vsize (KiB) 47080

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16187
/proc/meminfo: memFree=31235348/32770624 swapFree=0/531648
[pid=15995] ppid=15992 vsize=47080 CPUtime=1782.13 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 39247 0 0 0 178210 3 0 0 20 0 1 0 40704037 48209920 5459 18446744073709551615 4194304 7396336 140724826887328 140724826882344 4582542 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 11770 5459 713 782 0 4786 0
Current children cumulated CPU time (s) 1782.13
Current children cumulated vsize (KiB) 47080

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16190
/proc/meminfo: memFree=31235480/32770624 swapFree=0/531660
[pid=15995] ppid=15992 vsize=47080 CPUtime=1842.13 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 39621 0 0 0 184210 3 0 0 20 0 1 0 40704037 48209920 5459 18446744073709551615 4194304 7396336 140724826887328 140724826882344 5772768 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 11770 5459 713 782 0 4786 0
Current children cumulated CPU time (s) 1842.13
Current children cumulated vsize (KiB) 47080

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16192
/proc/meminfo: memFree=31235356/32770624 swapFree=0/531664
[pid=15995] ppid=15992 vsize=47080 CPUtime=1902.13 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 39995 0 0 0 190210 3 0 0 20 0 1 0 40704037 48209920 5459 18446744073709551615 4194304 7396336 140724826887328 140724826882344 5620208 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 11770 5459 713 782 0 4786 0
Current children cumulated CPU time (s) 1902.13
Current children cumulated vsize (KiB) 47080

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 16209
/proc/meminfo: memFree=31231616/32770624 swapFree=0/531724
[pid=15995] ppid=15992 vsize=47080 CPUtime=1962.12 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 40361 0 0 0 196209 3 0 0 20 0 1 0 40704037 48209920 5459 18446744073709551615 4194304 7396336 140724826887328 140724826882344 5774281 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 11770 5459 713 782 0 4786 0
Current children cumulated CPU time (s) 1962.12
Current children cumulated vsize (KiB) 47080

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 16211
/proc/meminfo: memFree=31232124/32770624 swapFree=0/531740
[pid=15995] ppid=15992 vsize=47080 CPUtime=2022.12 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 40728 0 0 0 202209 3 0 0 20 0 1 0 40704037 48209920 5459 18446744073709551615 4194304 7396336 140724826887328 140724826882344 4249481 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 11770 5459 713 782 0 4786 0
Current children cumulated CPU time (s) 2022.12
Current children cumulated vsize (KiB) 47080

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 16213
/proc/meminfo: memFree=31235752/32770624 swapFree=0/531760
[pid=15995] ppid=15992 vsize=47080 CPUtime=2082.12 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 41094 0 0 0 208209 3 0 0 20 0 1 0 40704037 48209920 5459 18446744073709551615 4194304 7396336 140724826887328 140724826882344 4543758 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 11770 5459 713 782 0 4786 0
Current children cumulated CPU time (s) 2082.12
Current children cumulated vsize (KiB) 47080

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 16215
/proc/meminfo: memFree=31235628/32770624 swapFree=0/531768
[pid=15995] ppid=15992 vsize=47080 CPUtime=2142.11 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 41458 0 0 0 214208 3 0 0 20 0 1 0 40704037 48209920 5459 18446744073709551615 4194304 7396336 140724826887328 140724826882344 5839340 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 11770 5459 713 782 0 4786 0
Current children cumulated CPU time (s) 2142.11
Current children cumulated vsize (KiB) 47080

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 16217
/proc/meminfo: memFree=31235768/32770624 swapFree=0/531784
[pid=15995] ppid=15992 vsize=47080 CPUtime=2202.12 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 41726 0 0 0 220209 3 0 0 20 0 1 0 40704037 48209920 5459 18446744073709551615 4194304 7396336 140724826887328 140724826882344 5771180 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 11770 5459 713 782 0 4786 0
Current children cumulated CPU time (s) 2202.12
Current children cumulated vsize (KiB) 47080

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16219
/proc/meminfo: memFree=31236084/32770624 swapFree=0/531812
[pid=15995] ppid=15992 vsize=47080 CPUtime=2262.11 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 41993 0 0 0 226208 3 0 0 20 0 1 0 40704037 48209920 5459 18446744073709551615 4194304 7396336 140724826887328 140724826882344 5620129 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 11770 5459 713 782 0 4786 0
Current children cumulated CPU time (s) 2262.11
Current children cumulated vsize (KiB) 47080

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16221
/proc/meminfo: memFree=31236084/32770624 swapFree=0/531836
[pid=15995] ppid=15992 vsize=47080 CPUtime=2322.11 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 42360 0 0 0 232208 3 0 0 20 0 1 0 40704037 48209920 5459 18446744073709551615 4194304 7396336 140724826887328 140724826882344 4581822 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 11770 5459 713 782 0 4786 0
Current children cumulated CPU time (s) 2322.11
Current children cumulated vsize (KiB) 47080

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16223
/proc/meminfo: memFree=31235724/32770624 swapFree=0/531844
[pid=15995] ppid=15992 vsize=47080 CPUtime=2382.1 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 42735 0 0 0 238207 3 0 0 20 0 1 0 40704037 48209920 5459 18446744073709551615 4194304 7396336 140724826887328 140724826882344 5839273 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 11770 5459 713 782 0 4786 0
Current children cumulated CPU time (s) 2382.1
Current children cumulated vsize (KiB) 47080

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16225
/proc/meminfo: memFree=31235408/32770624 swapFree=0/531864
[pid=15995] ppid=15992 vsize=47080 CPUtime=2442.1 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 43104 0 0 0 244207 3 0 0 20 0 1 0 40704037 48209920 5459 18446744073709551615 4194304 7396336 140724826887328 140724826882344 5773218 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 11770 5459 713 782 0 4786 0
Current children cumulated CPU time (s) 2442.1
Current children cumulated vsize (KiB) 47080

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16227
/proc/meminfo: memFree=31235656/32770624 swapFree=0/531876
[pid=15995] ppid=15992 vsize=47080 CPUtime=2502.1 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 43474 0 0 0 250207 3 0 0 20 0 1 0 40704037 48209920 5459 18446744073709551615 4194304 7396336 140724826887328 140724826882344 4543728 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 11770 5459 713 782 0 4786 0
Current children cumulated CPU time (s) 2502.1
Current children cumulated vsize (KiB) 47080



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16228
/proc/meminfo: memFree=31235392/32770624 swapFree=0/531880
[pid=15995] ppid=15992 vsize=47080 CPUtime=2519.8 cores=1,3,5,7
/proc/15995/stat : 15995 (MistralXCSP) R 15992 15995 16590 0 -1 4202496 43732 0 0 0 251977 3 0 0 20 0 1 0 40704037 48209920 5459 18446744073709551615 4194304 7396336 140724826887328 140724826882344 4249440 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 17801216 140724826890676 140724826890825 140724826890825 140724826894281 0
/proc/15995/statm: 11770 5459 713 782 0 4786 0
Current children cumulated CPU time (s) 2519.8
Current children cumulated vsize (KiB) 47080

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

Child status: 0
Real time (s): 2520
CPU time (s): 2519.81
CPU user time (s): 2519.77
CPU system time (s): 0.035998
CPU usage (%): 99.9924
Max. virtual memory (cumulated for all children) (KiB): 47080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.77
system time used= 0.035998
maximum resident set size= 22092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43774
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= 13
involuntary context switches= 957

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.00939 second user time and 9.66537 second system time

The end

Launcher Data 

Begin job on node127 at 2017-08-10 18:57:39
IDJOB=4261033
IDBENCH=135000
IDSOLVER=2649
FILE ID=node127/4261033-1502385105
RUNJOBID= node127-1502331240-8162
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= Mistral-2.0 2017-07-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-4261033-1502385105/watcher-4261033-1502385105 -o /tmp/evaluation-result-4261033-1502385105/solver-4261033-1502385105 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502331240-8162 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 393708954 HOME/instance-4261033-1502385105.xml

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

MD5SUM BENCH= f6e5619a9394ff6fb9e35a49c1220c66
RANDOM SEED=393708954

node127.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.92
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.92
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.92
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.92
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:        31185508 kB
MemAvailable:   31897040 kB
Buffers:          232192 kB
Cached:           770996 kB
SwapCached:            0 kB
Active:           608892 kB
Inactive:         555988 kB
Active(anon):     162416 kB
Inactive(anon):    24908 kB
Active(file):     446476 kB
Inactive(file):   531080 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              6360 kB
Writeback:             4 kB
AnonPages:        161792 kB
Mapped:            40940 kB
Shmem:             25252 kB
Slab:             124772 kB
SReclaimable:      99624 kB
SUnreclaim:        25148 kB
KernelStack:        3216 kB
PageTables:         5096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     422036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    108544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62020 MiB
End job on node127 at 2017-08-10 19:39:39