Trace number 4253424

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
Naxos 1.1.0SAT (TO)-5921 2400.08 2400

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-opt-mps/
Pb-mps-v2-20-10-sentoy.xml
MD5SUMf29e5165c598919c9834c408fde8edbe
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-7772
Best CPU time to get the best result obtained on this benchmark651.71503
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of constraints30
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":60}]
Minimum variable degree31
Maximum variable degree31
Distribution of variable degrees[{"degree":31,"count":60}]
Minimum constraint arity60
Maximum constraint arity60
Distribution of constraint arities[{"arity":60,"count":30}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":30}]
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.01	o 0
0.00/0.01	o -33
0.00/0.01	o -270
0.00/0.01	o -303
0.00/0.01	o -309
0.00/0.01	o -325
0.00/0.01	o -331
0.00/0.01	o -334
0.00/0.01	o -774
0.00/0.01	o -807
0.00/0.01	o -1044
0.00/0.01	o -1077
0.00/0.01	o -1083
0.00/0.01	o -1099
0.00/0.02	o -1105
0.00/0.02	o -1108
0.00/0.02	o -1114
0.00/0.02	o -1130
0.00/0.02	o -1136
0.00/0.02	o -1139
0.00/0.02	o -1146
0.00/0.02	o -1152
0.00/0.02	o -1168
0.00/0.02	o -1174
0.00/0.02	o -1177
0.00/0.02	o -1183
0.00/0.02	o -1199
0.00/0.02	o -1205
0.00/0.02	o -1208
0.00/0.02	o -1554
0.00/0.02	o -1587
0.00/0.02	o -1824
0.00/0.02	o -1857
0.00/0.02	o -1863
0.00/0.02	o -1879
0.00/0.02	o -1885
0.00/0.02	o -1888
0.00/0.02	o -1894
0.00/0.02	o -1910
0.00/0.02	o -1916
0.00/0.03	o -1919
0.00/0.03	o -1926
0.00/0.03	o -1932
0.00/0.03	o -1948
0.00/0.03	o -1954
0.00/0.03	o -1957
0.00/0.03	o -1963
0.00/0.03	o -1979
0.00/0.03	o -1985
0.00/0.03	o -1988
0.00/0.03	o -1990
0.00/0.03	o -1991
0.00/0.03	o -1994
0.00/0.03	o -1996
0.00/0.03	o -2122
0.00/0.03	o -2155
0.00/0.03	o -2392
0.00/0.03	o -2425
0.00/0.03	o -2431
0.00/0.03	o -2447
0.00/0.03	o -2453
0.00/0.04	o -2456
0.00/0.04	o -2462
0.00/0.04	o -2478
0.00/0.04	o -2484
0.00/0.04	o -2487
0.00/0.04	o -2494
0.00/0.04	o -2500
0.00/0.04	o -2516
0.00/0.04	o -2522
0.00/0.04	o -2525
0.00/0.04	o -2531
0.00/0.04	o -2547
0.00/0.04	o -2553
0.00/0.04	o -2556
0.00/0.04	o -2558
0.00/0.04	o -2559
0.00/0.04	o -2562
0.00/0.04	o -2564
0.00/0.05	o -2565
0.00/0.05	o -2568
0.00/0.05	o -2570
0.00/0.05	o -2572
0.00/0.05	o -2578
0.00/0.05	o -2581
0.00/0.05	o -2583
0.00/0.05	o -2584
0.00/0.05	o -2587
0.00/0.05	o -2589
0.00/0.06	o -2590
0.00/0.06	o -2592
0.00/0.06	o -2754
0.00/0.06	o -2787
0.00/0.06	o -2793
0.00/0.06	o -2809
0.00/0.06	o -2815
0.00/0.06	o -2818
0.00/0.06	o -2824
0.00/0.06	o -2840
0.00/0.06	o -2846
0.00/0.06	o -2849
0.00/0.06	o -2856
0.00/0.06	o -2862
0.00/0.07	o -2878
0.00/0.07	o -2884
0.00/0.07	o -2887
0.00/0.07	o -2893
0.00/0.07	o -2909
0.00/0.07	o -2915
0.00/0.07	o -2918
0.00/0.07	o -2920
0.00/0.07	o -2921
0.00/0.07	o -2924
0.00/0.07	o -2926
0.00/0.07	o -3052
0.00/0.07	o -3085
0.00/0.07	o -3322
0.00/0.07	o -3355
0.00/0.07	o -3361
0.00/0.07	o -3377
0.00/0.07	o -3383
0.00/0.07	o -3386
0.00/0.07	o -3392
0.00/0.07	o -3408
0.00/0.08	o -3414
0.00/0.08	o -3417
0.00/0.08	o -3424
0.00/0.08	o -3430
0.00/0.08	o -3446
0.00/0.08	o -3452
0.00/0.08	o -3455
0.00/0.08	o -3461
0.00/0.08	o -3477
0.00/0.08	o -3483
0.00/0.08	o -3486
0.00/0.08	o -3488
0.00/0.08	o -3489
0.00/0.08	o -3492
0.00/0.08	o -3494
0.00/0.08	o -3495
0.00/0.08	o -3498
0.00/0.09	o -3500
0.00/0.09	o -3502
0.00/0.09	o -3508
0.00/0.09	o -3511
0.00/0.09	o -3513
0.00/0.09	o -3514
0.00/0.09	o -3517
0.00/0.09	o -3519
0.00/0.09	o -3520
0.09/0.10	o -3524
0.09/0.10	o -3530
0.09/0.10	o -3533
0.09/0.10	o -3535
0.09/0.10	o -3536
0.09/0.10	o -3539
0.09/0.10	o -3541
0.09/0.11	o -3542
0.09/0.11	o -3545
0.09/0.11	o -3549
0.09/0.11	o -3555
0.09/0.11	o -3558
0.09/0.11	o -3561
0.09/0.11	o -3564
0.09/0.12	o -3566
0.09/0.12	o -3567
0.09/0.12	o -3570
0.09/0.12	o -3572
0.09/0.13	o -3577
0.09/0.13	o -3583
0.09/0.13	o -3586
0.09/0.13	o -3588
0.09/0.13	o -3589
0.09/0.13	o -3592
0.09/0.14	o -3595
0.09/0.14	o -3598
0.09/0.14	o -3602
0.09/0.14	o -3608
0.09/0.14	o -3611
0.09/0.14	o -3614
0.09/0.15	o -3643
0.09/0.15	o -3880
0.09/0.15	o -3913
0.09/0.15	o -3919
0.09/0.15	o -3935
0.09/0.15	o -3941
0.09/0.15	o -3944
0.09/0.15	o -3950
0.09/0.15	o -3966
0.09/0.15	o -3972
0.09/0.15	o -3975
0.09/0.16	o -3982
0.09/0.16	o -3988
0.09/0.16	o -4004
0.09/0.16	o -4010
0.09/0.16	o -4013
0.09/0.16	o -4019
0.09/0.16	o -4035
0.09/0.16	o -4041
0.09/0.16	o -4044
0.09/0.16	o -4046
0.09/0.16	o -4047
0.09/0.16	o -4050
0.09/0.16	o -4052
0.09/0.16	o -4053
0.09/0.16	o -4056
0.09/0.17	o -4060
0.09/0.17	o -4066
0.09/0.17	o -4069
0.09/0.17	o -4072
0.09/0.17	o -4075
0.09/0.17	o -4078
0.09/0.18	o -4082
0.09/0.18	o -4088
0.09/0.18	o -4091
0.09/0.18	o -4094
0.09/0.18	o -4097
0.09/0.18	o -4100
0.09/0.18	o -4103
0.19/0.20	o -4106
0.19/0.21	o -4113
0.19/0.21	o -4119
0.19/0.21	o -4125
0.19/0.22	o -4135
0.19/0.22	o -4141
0.19/0.22	o -4147
0.19/0.22	o -4153
0.19/0.24	o -4154
0.19/0.24	o -4157
0.19/0.24	o -4159
0.19/0.24	o -4160
0.19/0.25	o -4164
0.19/0.25	o -4170
0.19/0.25	o -4173
0.19/0.25	o -4175
0.19/0.25	o -4176
0.19/0.25	o -4179
0.19/0.25	o -4181
0.19/0.25	o -4182
0.19/0.26	o -4189
0.19/0.26	o -4195
0.19/0.26	o -4198
0.19/0.26	o -4201
0.19/0.26	o -4204
0.19/0.27	o -4207
0.19/0.27	o -4209
0.19/0.28	o -4210
0.19/0.28	o -4217
0.19/0.28	o -4223
0.19/0.28	o -4226
0.19/0.28	o -4228
0.19/0.28	o -4229
0.19/0.28	o -4232
0.19/0.29	o -4235
0.19/0.29	o -4242
0.19/0.29	o -4248
0.29/0.30	o -4254
0.29/0.30	o -4283
0.29/0.30	o -4520
0.29/0.30	o -4553
0.29/0.31	o -4559
0.29/0.31	o -4575
0.29/0.31	o -4581
0.29/0.31	o -4584
0.29/0.31	o -4590
0.29/0.31	o -4606
0.29/0.31	o -4612
0.29/0.31	o -4615
0.29/0.31	o -4622
0.29/0.31	o -4628
0.29/0.31	o -4644
0.29/0.31	o -4650
0.29/0.31	o -4653
0.29/0.31	o -4659
0.29/0.31	o -4675
0.29/0.31	o -4681
0.29/0.31	o -4684
0.29/0.31	o -4686
0.29/0.31	o -4687
0.29/0.31	o -4690
0.29/0.32	o -4692
0.29/0.32	o -4693
0.29/0.32	o -4695
0.29/0.32	o -4696
0.29/0.32	o -4700
0.29/0.32	o -4706
0.29/0.32	o -4709
0.29/0.33	o -4712
0.29/0.33	o -4715
0.29/0.33	o -4722
0.29/0.33	o -4728
0.29/0.33	o -4731
0.29/0.34	o -4734
0.29/0.34	o -4737
0.29/0.34	o -4740
0.29/0.35	o -4743
0.29/0.36	o -4746
0.29/0.36	o -4753
0.29/0.36	o -4759
0.29/0.36	o -4765
0.29/0.37	o -4775
0.29/0.37	o -4781
0.29/0.37	o -4787
0.39/0.40	o -4788
0.39/0.41	o -4794
0.39/0.43	o -4797
0.39/0.43	o -4807
0.39/0.43	o -4810
0.39/0.43	o -4813
0.39/0.43	o -4816
0.39/0.44	o -4819
0.39/0.45	o -4821
0.39/0.45	o -4825
0.39/0.45	o -4827
0.39/0.47	o -4829
0.39/0.47	o -4835
0.39/0.47	o -4838
0.39/0.47	o -4841
0.39/0.47	o -4844
0.39/0.47	o -4847
0.49/0.52	o -4867
0.49/0.52	o -4873
0.49/0.57	o -4881
0.49/0.57	o -4887
0.49/0.57	o -4893
0.59/0.61	o -4894
0.59/0.61	o -4900
0.59/0.64	o -4902
0.59/0.64	o -4905
0.59/0.64	o -4908
0.59/0.68	o -4928
0.59/0.68	o -4934
0.69/0.73	o -4942
0.69/0.73	o -4944
0.69/0.73	o -4948
0.69/0.75	o -4949
0.69/0.77	o -4955
0.69/0.77	o -4961
0.79/0.85	o -4962
0.79/0.85	o -4968
0.79/0.88	o -4991
0.89/0.93	o -4995
0.89/0.96	o -5012
0.89/0.96	o -5018
1.20/1.20	o -5027
1.20/1.25	o -5028
1.20/1.26	o -5050
1.20/1.26	o -5053
1.20/1.26	o -5056
1.20/1.26	o -5059
1.20/1.28	o -5079
1.49/1.58	o -5092
1.59/1.63	o -5094
1.59/1.63	o -5111
1.79/1.87	o -5113
1.79/1.87	o -5119
1.79/1.88	o -5121
1.79/1.88	o -5125
1.89/1.90	o -5129
1.89/1.90	o -5135
1.89/1.90	o -5138
1.89/1.90	o -5141
1.89/1.91	o -5144
1.89/1.91	o -5147
1.89/1.95	o -5167
1.89/1.95	o -5173
1.98/2.00	o -5181
1.98/2.00	o -5183
1.98/2.00	o -5187
1.98/2.00	o -5189
1.98/2.04	o -5190
1.98/2.04	o -5194
1.98/2.07	o -5196
2.08/2.12	o -5197
2.08/2.12	o -5199
2.08/2.12	o -5203
2.08/2.20	o -5207
2.20/2.20	o -5220
2.20/2.21	o -5242
2.20/2.21	o -5244
2.20/2.22	o -5248
2.20/2.25	o -5249
2.20/2.25	o -5251
2.20/2.25	o -5255
2.30/2.31	o -5257
2.30/2.37	o -5260
2.30/2.37	o -5262
2.30/2.37	o -5266
2.39/2.42	o -5267
2.39/2.43	o -5283
2.39/2.43	o -5285
2.39/2.43	o -5289
2.39/2.46	o -5290
2.39/2.46	o -5312
2.39/2.46	o -5318
2.59/2.69	o -5327
2.69/2.74	o -5328
2.69/2.74	o -5350
2.69/2.76	o -5379
2.99/3.03	o -5392
3.49/3.59	o -5399
3.59/3.63	o -5404
3.79/3.84	o -5416
23.20/23.23	o -5430
32.39/32.48	o -5434
32.49/32.53	o -5458
32.89/32.92	o -5467
58.09/58.17	o -5475
200.00/200.02	o -5481
222.89/222.96	o -5483
224.40/224.43	o -5500
224.69/224.79	o -5509
224.79/224.88	o -5520
249.50/249.50	o -5522
249.50/249.53	o -5528
572.61/572.61	o -5534
572.71/572.75	o -5544
572.91/572.95	o -5572
573.01/573.01	o -5574
866.02/866.05	o -5575
866.02/866.05	o -5581
866.12/866.13	o -5583
866.12/866.14	o -5586
866.12/866.15	o -5596
866.12/866.15	o -5602
866.12/866.19	o -5603
866.22/866.20	o -5609
866.22/866.25	o -5620
866.22/866.26	o -5622
866.22/866.26	o -5626
866.22/866.27	o -5636
866.22/866.27	o -5642
866.32/866.37	o -5645
866.32/866.37	o -5655
866.32/866.38	o -5661
866.32/866.39	o -5664
866.52/866.50	o -5666
866.52/866.50	o -5672
866.52/866.54	o -5699
866.62/866.61	o -5718
867.01/867.04	o -5719
867.11/867.10	o -5738
867.11/867.11	o -5747
867.41/867.45	o -5751
869.12/869.17	o -5756
869.52/869.57	o -5760
869.81/869.89	o -5775
915.12/915.18	o -5780
915.62/915.67	o -5786
915.82/915.84	o -5788
915.82/915.88	o -5805
915.92/915.90	o -5834
1115.53/1115.54	o -5835
1115.53/1115.54	o -5841
1115.53/1115.59	o -5854
1115.53/1115.59	o -5887
1410.04/1410.08	o -5911
1410.44/1410.45	o -5915
1424.54/1424.54	o -5921
2400.07/2400.00	s SATISFIABLE
2400.07/2400.00	v <instantiation>
2400.07/2400.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] </list>
2400.07/2400.00	v   <values> 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 1 1 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 </values>
2400.07/2400.00	v </instantiation>

Verifier Data 

OK	-5921

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-4253424-1500932016/watcher-4253424-1500932016 -o /tmp/evaluation-result-4253424-1500932016/solver-4253424-1500932016 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500915006-3508 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4253424-1500932016.xml 

pid=6476
running on 4 cores: 1,3,5,7

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.00 2.01 2.05 3/181 6479
/proc/meminfo: memFree=32116044/32770624 swapFree=5716/124392
[pid=6479] ppid=6476 vsize=25136 CPUtime=0 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 1099 0 0 0 0 0 0 0 20 0 1 0 2741603 25739264 888 33554432000 4194304 6986860 140723397084272 140723397080968 140152999926757 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 6284 888 700 682 0 287 0

[startup+0.100136 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6479
/proc/meminfo: memFree=32116044/32770624 swapFree=5716/124392
[pid=6479] ppid=6476 vsize=29624 CPUtime=0.09 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 2250 0 0 0 9 0 0 0 20 0 1 0 2741603 30334976 2056 33554432000 4194304 6986860 140723397084272 140723397079624 140153000190332 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7406 2056 715 682 0 1409 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29624

[startup+0.200256 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6479
/proc/meminfo: memFree=32116044/32770624 swapFree=5716/124392
[pid=6479] ppid=6476 vsize=29624 CPUtime=0.19 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 2250 0 0 0 19 0 0 0 20 0 1 0 2741603 30334976 2056 33554432000 4194304 6986860 140723397084272 140723397079624 140153000190332 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7406 2056 715 682 0 1409 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29624

[startup+0.300231 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6479
/proc/meminfo: memFree=32116044/32770624 swapFree=5716/124392
[pid=6479] ppid=6476 vsize=29624 CPUtime=0.29 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 2250 0 0 0 29 0 0 0 20 0 1 0 2741603 30334976 2056 33554432000 4194304 6986860 140723397084272 140723397079624 140153000190332 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7406 2056 715 682 0 1409 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29624

[startup+0.700222 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6479
/proc/meminfo: memFree=32116044/32770624 swapFree=5716/124392
[pid=6479] ppid=6476 vsize=29624 CPUtime=0.69 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 2250 0 0 0 69 0 0 0 20 0 1 0 2741603 30334976 2056 33554432000 4194304 6986860 140723397084272 140723397079624 140153000190332 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7406 2056 715 682 0 1409 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29624

[startup+1.50021 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6480
/proc/meminfo: memFree=32110596/32770624 swapFree=5716/124412
[pid=6479] ppid=6476 vsize=29624 CPUtime=1.49 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 2251 0 0 0 148 1 0 0 20 0 1 0 2741603 30334976 2056 33554432000 4194304 6986860 140723397084272 140723397079624 140153000190332 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7406 2056 715 682 0 1409 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29624

[startup+3.10022 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6480
/proc/meminfo: memFree=32110224/32770624 swapFree=5716/124412
[pid=6479] ppid=6476 vsize=29624 CPUtime=3.09 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 3382 0 0 0 307 2 0 0 20 0 1 0 2741603 30334976 2103 33554432000 4194304 6986860 140723397084272 140723397079800 140153000190332 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7406 2103 720 682 0 1409 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29624

[startup+6.30021 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6480
/proc/meminfo: memFree=32110276/32770624 swapFree=5716/124424
[pid=6479] ppid=6476 vsize=29708 CPUtime=6.29 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 4570 0 0 0 625 4 0 0 20 0 1 0 2741603 30420992 2116 33554432000 4194304 6986860 140723397084272 140723397079800 140153000190332 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7427 2116 720 682 0 1430 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29708

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6480
/proc/meminfo: memFree=32110156/32770624 swapFree=5716/124424
[pid=6479] ppid=6476 vsize=29708 CPUtime=12.69 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 5728 0 0 0 1262 7 0 0 20 0 1 0 2741603 30420992 2116 33554432000 4194304 6986860 140723397084272 140723397079800 140153000190332 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7427 2116 720 682 0 1430 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29708

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6480
/proc/meminfo: memFree=32110404/32770624 swapFree=5716/124440
[pid=6479] ppid=6476 vsize=29708 CPUtime=25.49 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 6368 0 0 0 2535 14 0 0 20 0 1 0 2741603 30420992 2118 33554432000 4194304 6986860 140723397084272 140723397079800 140153000190332 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7427 2118 720 682 0 1430 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 29708

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6480
/proc/meminfo: memFree=32111148/32770624 swapFree=5716/124452
[pid=6479] ppid=6476 vsize=29708 CPUtime=51.09 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 6701 0 0 0 5081 28 0 0 20 0 1 0 2741603 30420992 2124 33554432000 4194304 6986860 140723397084272 140723397079624 5475114 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7427 2124 720 682 0 1430 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 29708

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6481
/proc/meminfo: memFree=32110728/32770624 swapFree=5716/124488
[pid=6479] ppid=6476 vsize=29832 CPUtime=102.3 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 7044 0 0 0 10174 56 0 0 20 0 1 0 2741603 30547968 2132 33554432000 4194304 6986860 140723397084272 140723397079624 140153000190332 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7458 2132 720 682 0 1461 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 29832

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6482
/proc/meminfo: memFree=32110452/32770624 swapFree=5716/124516
[pid=6479] ppid=6476 vsize=29832 CPUtime=162.29 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 7387 0 0 0 16140 89 0 0 20 0 1 0 2741603 30547968 2137 33554432000 4194304 6986860 140723397084272 140723397079624 140153000190332 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7458 2137 720 682 0 1461 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 29832

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6483
/proc/meminfo: memFree=32110452/32770624 swapFree=5716/124552
[pid=6479] ppid=6476 vsize=29832 CPUtime=222.3 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 7736 0 0 0 22111 119 0 0 20 0 1 0 2741603 30547968 2144 33554432000 4194304 6986860 140723397084272 140723397079800 140153000190332 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7458 2144 720 682 0 1461 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 29832

[startup+282.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/182 6484
/proc/meminfo: memFree=32110080/32770624 swapFree=5716/124600
[pid=6479] ppid=6476 vsize=29832 CPUtime=282.29 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 8089 0 0 0 28078 151 0 0 20 0 1 0 2741603 30547968 2144 33554432000 4194304 6986860 140723397084272 140723397079800 140153000190332 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7458 2144 720 682 0 1461 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 29832

[startup+342.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 6485
/proc/meminfo: memFree=32109836/32770624 swapFree=5716/124628
[pid=6479] ppid=6476 vsize=29832 CPUtime=342.3 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 8437 0 0 0 34048 182 0 0 20 0 1 0 2741603 30547968 2149 33554432000 4194304 6986860 140723397084272 140723397079624 140153000190332 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7458 2149 720 682 0 1461 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 29832

[startup+402.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/182 6493
/proc/meminfo: memFree=32108980/32770624 swapFree=5716/124664
[pid=6479] ppid=6476 vsize=29832 CPUtime=402.3 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 8785 0 0 0 40019 211 0 0 20 0 1 0 2741603 30547968 2149 33554432000 4194304 6986860 140723397084272 140723397079624 140153000190332 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7458 2149 720 682 0 1461 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 29832

[startup+462.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 6494
/proc/meminfo: memFree=32109476/32770624 swapFree=5716/124696
[pid=6479] ppid=6476 vsize=29832 CPUtime=462.3 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 9133 0 0 0 45986 244 0 0 20 0 1 0 2741603 30547968 2149 33554432000 4194304 6986860 140723397084272 140723397079624 140153000190332 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7458 2149 720 682 0 1461 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 29832

[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6495
/proc/meminfo: memFree=32109604/32770624 swapFree=5716/124720
[pid=6479] ppid=6476 vsize=29832 CPUtime=522.31 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 9481 0 0 0 51956 275 0 0 20 0 1 0 2741603 30547968 2149 33554432000 4194304 6986860 140723397084272 140723397079624 140153000190332 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7458 2149 720 682 0 1461 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 29832

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 6496
/proc/meminfo: memFree=32109604/32770624 swapFree=5716/124764
[pid=6479] ppid=6476 vsize=29832 CPUtime=582.31 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 9834 0 0 0 57926 305 0 0 20 0 1 0 2741603 30547968 2149 33554432000 4194304 6986860 140723397084272 140723397079800 140153000190332 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7458 2149 720 682 0 1461 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 29832


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


[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 6592
/proc/meminfo: memFree=32106968/32770624 swapFree=5716/125624
[pid=6479] ppid=6476 vsize=29832 CPUtime=1482.33 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 14754 0 0 0 147467 766 0 0 20 0 1 0 2741603 30547968 2151 33554432000 4194304 6986860 140723397084272 140723397079624 140153000190332 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7458 2151 720 682 0 1461 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 29832

[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6593
/proc/meminfo: memFree=32107340/32770624 swapFree=5716/125652
[pid=6479] ppid=6476 vsize=29832 CPUtime=1542.35 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 15104 0 0 0 153437 798 0 0 20 0 1 0 2741603 30547968 2151 33554432000 4194304 6986860 140723397084272 140723397079624 140153000190332 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7458 2151 720 682 0 1461 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 29832

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6601
/proc/meminfo: memFree=32106844/32770624 swapFree=5716/125692
[pid=6479] ppid=6476 vsize=29832 CPUtime=1602.35 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 15455 0 0 0 159407 828 0 0 20 0 1 0 2741603 30547968 2152 33554432000 4194304 6986860 140723397084272 140723397079624 140153000190332 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7458 2152 720 682 0 1461 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 29832

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 6629
/proc/meminfo: memFree=32106412/32770624 swapFree=5716/125752
[pid=6479] ppid=6476 vsize=29944 CPUtime=1662.35 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 15832 0 0 0 165377 858 0 0 20 0 1 0 2741603 30662656 2175 33554432000 4194304 6986860 140723397084272 140723397079624 140153000190332 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7486 2175 720 682 0 1489 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 29944

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 6630
/proc/meminfo: memFree=32106500/32770624 swapFree=5716/125780
[pid=6479] ppid=6476 vsize=29944 CPUtime=1722.35 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 16202 0 0 0 171345 890 0 0 20 0 1 0 2741603 30662656 2175 33554432000 4194304 6986860 140723397084272 140723397079800 140153000190332 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7486 2175 720 682 0 1489 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 29944

[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/184 6631
/proc/meminfo: memFree=32106500/32770624 swapFree=5716/125812
[pid=6479] ppid=6476 vsize=29944 CPUtime=1782.34 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 16572 0 0 0 177313 921 0 0 20 0 1 0 2741603 30662656 2175 33554432000 4194304 6986860 140723397084272 140723397079624 5453262 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7486 2175 720 682 0 1489 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 29944

[startup+1842.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/184 6632
/proc/meminfo: memFree=32106556/32770624 swapFree=5716/125844
[pid=6479] ppid=6476 vsize=29944 CPUtime=1842.35 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 16945 0 0 0 183282 953 0 0 20 0 1 0 2741603 30662656 2175 33554432000 4194304 6986860 140723397084272 140723397079624 140153000190332 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7486 2175 720 682 0 1489 0
Current children cumulated CPU time (s) 1842.35
Current children cumulated vsize (KiB) 29944

[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 6633
/proc/meminfo: memFree=32106804/32770624 swapFree=5716/125872
[pid=6479] ppid=6476 vsize=29944 CPUtime=1902.35 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 17316 0 0 0 189253 982 0 0 20 0 1 0 2741603 30662656 2175 33554432000 4194304 6986860 140723397084272 140723397079624 140153000190332 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7486 2175 720 682 0 1489 0
Current children cumulated CPU time (s) 1902.35
Current children cumulated vsize (KiB) 29944

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6634
/proc/meminfo: memFree=32106856/32770624 swapFree=5716/125900
[pid=6479] ppid=6476 vsize=29944 CPUtime=1962.35 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 17687 0 0 0 195222 1013 0 0 20 0 1 0 2741603 30662656 2175 33554432000 4194304 6986860 140723397084272 140723397079624 140153000190332 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7486 2175 720 682 0 1489 0
Current children cumulated CPU time (s) 1962.35
Current children cumulated vsize (KiB) 29944

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6635
/proc/meminfo: memFree=32106856/32770624 swapFree=5716/125928
[pid=6479] ppid=6476 vsize=29944 CPUtime=2022.35 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 18058 0 0 0 201191 1044 0 0 20 0 1 0 2741603 30662656 2175 33554432000 4194304 6986860 140723397084272 140723397079624 5475336 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7486 2175 720 682 0 1489 0
Current children cumulated CPU time (s) 2022.35
Current children cumulated vsize (KiB) 29944

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6637
/proc/meminfo: memFree=32106608/32770624 swapFree=5716/125972
[pid=6479] ppid=6476 vsize=29944 CPUtime=2082.36 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 18429 0 0 0 207159 1077 0 0 20 0 1 0 2741603 30662656 2175 33554432000 4194304 6986860 140723397084272 140723397079800 140153000190332 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7486 2175 720 682 0 1489 0
Current children cumulated CPU time (s) 2082.36
Current children cumulated vsize (KiB) 29944

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6638
/proc/meminfo: memFree=32106848/32770624 swapFree=5716/126000
[pid=6479] ppid=6476 vsize=29944 CPUtime=2142.36 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 18800 0 0 0 213128 1108 0 0 20 0 1 0 2741603 30662656 2175 33554432000 4194304 6986860 140723397084272 140723397079624 140153000190332 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7486 2175 720 682 0 1489 0
Current children cumulated CPU time (s) 2142.36
Current children cumulated vsize (KiB) 29944

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 6648
/proc/meminfo: memFree=32106632/32770624 swapFree=5716/126048
[pid=6479] ppid=6476 vsize=29944 CPUtime=2202.37 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 19171 0 0 0 219096 1141 0 0 20 0 1 0 2741603 30662656 2175 33554432000 4194304 6986860 140723397084272 140723397079624 140153000190332 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7486 2175 720 682 0 1489 0
Current children cumulated CPU time (s) 2202.37
Current children cumulated vsize (KiB) 29944

[startup+2262.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/183 6649
/proc/meminfo: memFree=32107004/32770624 swapFree=5716/126076
[pid=6479] ppid=6476 vsize=29944 CPUtime=2262.37 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 19542 0 0 0 225067 1170 0 0 20 0 1 0 2741603 30662656 2175 33554432000 4194304 6986860 140723397084272 140723397079624 140153000190332 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7486 2175 720 682 0 1489 0
Current children cumulated CPU time (s) 2262.37
Current children cumulated vsize (KiB) 29944

[startup+2322.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/183 6650
/proc/meminfo: memFree=32107004/32770624 swapFree=5716/126108
[pid=6479] ppid=6476 vsize=29944 CPUtime=2322.36 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 19913 0 0 0 231032 1204 0 0 20 0 1 0 2741603 30662656 2175 33554432000 4194304 6986860 140723397084272 140723397079800 140153000190332 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7486 2175 720 682 0 1489 0
Current children cumulated CPU time (s) 2322.36
Current children cumulated vsize (KiB) 29944

[startup+2382.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/183 6651
/proc/meminfo: memFree=32106756/32770624 swapFree=5716/126144
[pid=6479] ppid=6476 vsize=29944 CPUtime=2382.37 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 20284 0 0 0 237001 1236 0 0 20 0 1 0 2741603 30662656 2175 33554432000 4194304 6986860 140723397084272 140723397079800 140153000190332 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7486 2175 720 682 0 1489 0
Current children cumulated CPU time (s) 2382.37
Current children cumulated vsize (KiB) 29944



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400 s]
/proc/loadavg: 2.02 2.03 2.05 3/183 6651
/proc/meminfo: memFree=32106900/32770624 swapFree=5716/126152
[pid=6479] ppid=6476 vsize=29944 CPUtime=2400.07 cores=1,3,5,7
/proc/6479/stat : 6479 (naxos-xcsp3) R 6476 6479 3476 0 -1 4202496 20655 0 0 0 238760 1247 0 0 20 0 1 0 2741603 30662656 2175 33554432000 4194304 6986860 140723397084272 140723397079624 140153000190332 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 31244288 140723397092622 140723397092703 140723397092703 140723397095402 0
/proc/6479/statm: 7486 2175 720 682 0 1489 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 29944

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

Child status: 0
Real time (s): 2400
CPU time (s): 2400.08
CPU user time (s): 2387.61
CPU system time (s): 12.4714
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 29944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2387.61
system time used= 12.4714
maximum resident set size= 8720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20682
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= 9
involuntary context switches= 705

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96133 second user time and 7.67331 second system time

The end

Launcher Data 

Begin job on node115 at 2017-07-24 23:33:36
IDJOB=4253424
IDBENCH=135451
IDSOLVER=2634
FILE ID=node115/4253424-1500932016
RUNJOBID= node115-1500915006-3508
PBS_JOBID= 20625422
Free space on /tmp= 61816 MiB

SOLVER NAME= Naxos 1.1.0
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-mps/Pb-mps-v2-20-10-sentoy.xml
COMMAND LINE= ./naxos-xcsp3 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4253424-1500932016/watcher-4253424-1500932016 -o /tmp/evaluation-result-4253424-1500932016/solver-4253424-1500932016 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500915006-3508 --watchdog 2560  ./naxos-xcsp3 HOME/instance-4253424-1500932016.xml

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

MD5SUM BENCH= f29e5165c598919c9834c408fde8edbe
RANDOM SEED=1433511441

node115.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.47
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.47
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.47
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.47
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:        32116320 kB
MemAvailable:   32061820 kB
Buffers:           35132 kB
Cached:           225016 kB
SwapCached:            0 kB
Active:           171764 kB
Inactive:         133096 kB
Active(anon):      47284 kB
Inactive(anon):     8704 kB
Active(file):     124480 kB
Inactive(file):   124392 kB
Unevictable:        5716 kB
Mlocked:            5716 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2736 kB
Writeback:             0 kB
AnonPages:         49908 kB
Mapped:            29668 kB
Shmem:              8844 kB
Slab:              49976 kB
SReclaimable:      24928 kB
SUnreclaim:        25048 kB
KernelStack:        3264 kB
PageTables:         4588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     285032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 61812 MiB
End job on node115 at 2017-07-25 00:13:36