Trace number 282952

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, and are wall clock time (not CPU time).

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 EPFCMSAT (TO) 2400.12 2402.32

General information on the benchmark

Namecoloring/
le-450-5a-3-ext.xml
MD5SUM9fdd938979bc7fe942d8a22c41b71010
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints4762
Best CPU time to get the best result obtained on this benchmark2400.11
SatisfiableNO
(Un)Satisfiability was proved
Number of variables450
Number of constraints5714
Maximum constraint arity2
Maximum domain size3
Number of constraints which are defined in extension5714
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=epfc.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/282952-1169324301/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.45	     nbVariables=450  nbDomainTypes=1  minDomainSize=3  maxDomainSize=3
0.45	       =>  wckTime=0.158  cpuTime=0.12  mem=7M862
0.45	   
0.45	   relations being loaded...
0.45	   
0.45	   constraints being loaded...
0.73	     nbConstraints=5714  nbRelationTypes=1  nbExtensionStructures=1  nbSharedExtensionStructures=5713
0.73	     nbConflictsStructures=1  nbSharedConflictsStructures=5713  nbSharedBinaryRepresentations=3  maxDegree=42
0.73	     maxArity=2
0.73	       =>  wckTime=0.44  cpuTime=0.32  mem=23M531
0.81	   
0.81	   solver LocalSearchSolver being built... 
0.85	       =>  wckTime=0.559  cpuTime=0.36  mem=8M490
0.86	
0.86	s SATISFIABLE
0.86	o 3797
0.86	c 1917
0.87	o 3805
0.87	c 1909
0.87	o 3817
0.87	c 1897
0.87	o 3826
0.87	c 1888
0.87	o 3834
0.87	c 1880
0.88	o 3841
0.88	c 1873
0.88	o 3851
0.88	c 1863
0.88	o 3861
0.88	c 1853
0.88	o 3870
0.88	c 1844
0.88	o 3879
0.88	c 1835
0.88	o 3887
0.88	c 1827
0.88	o 3894
0.88	c 1820
0.88	o 3901
0.88	c 1813
0.88	o 3907
0.88	c 1807
0.88	o 3913
0.88	c 1801
0.89	o 3917
0.89	c 1797
0.89	o 3922
0.89	c 1792
0.89	o 3931
0.89	c 1783
0.89	o 3939
0.89	c 1775
0.89	o 3946
0.89	c 1768
0.89	o 3951
0.89	c 1763
0.89	o 3952
0.89	c 1762
0.89	o 3956
0.89	c 1758
0.89	o 3958
0.89	c 1756
0.90	o 3962
0.90	c 1752
0.90	o 3970
0.90	c 1744
0.90	o 3975
0.90	c 1739
0.90	o 3981
0.90	c 1733
0.90	o 3984
0.90	c 1730
0.90	o 3987
0.90	c 1727
0.90	o 3990
0.90	c 1724
0.90	o 3994
0.90	c 1720
0.90	o 4001
0.90	c 1713
0.90	o 4006
0.90	c 1708
0.90	o 4010
0.90	c 1704
0.90	o 4013
0.90	c 1701
0.90	o 4014
0.90	c 1700
0.90	o 4016
0.90	c 1698
0.91	o 4026
0.91	c 1688
0.91	o 4032
0.91	c 1682
0.91	o 4041
0.91	c 1673
0.91	o 4042
0.91	c 1672
0.91	o 4048
0.91	c 1666
0.91	o 4052
0.91	c 1662
0.91	o 4060
0.91	c 1654
0.91	o 4063
0.91	c 1651
0.91	o 4069
0.91	c 1645
0.91	o 4074
0.91	c 1640
0.91	o 4079
0.91	c 1635
0.91	o 4083
0.91	c 1631
0.91	o 4087
0.92	c 1627
0.92	o 4091
0.92	c 1623
0.92	o 4092
0.92	c 1622
0.92	o 4094
0.92	c 1620
0.92	o 4101
0.92	c 1613
0.92	o 4103
0.92	c 1611
0.92	o 4107
0.92	c 1607
0.92	o 4110
0.92	c 1604
0.92	o 4118
0.92	c 1596
0.92	o 4123
0.92	c 1591
0.92	o 4126
0.92	c 1588
0.92	o 4130
0.92	c 1584
0.92	o 4134
0.92	c 1580
0.92	o 4139
0.92	c 1575
0.93	o 4143
0.93	c 1571
0.93	o 4145
0.93	c 1569
0.93	o 4147
0.93	c 1567
0.93	o 4152
0.93	c 1562
0.93	o 4156
0.93	c 1558
0.93	o 4158
0.93	c 1556
0.93	o 4160
0.93	c 1554
0.93	o 4163
0.93	c 1551
0.93	o 4167
0.93	c 1547
0.93	o 4176
0.93	c 1538
0.93	o 4178
0.93	c 1536
0.94	o 4179
0.94	c 1535
0.94	o 4186
0.94	c 1528
0.94	o 4189
0.94	c 1525
0.94	o 4194
0.94	c 1520
0.94	o 4198
0.94	c 1516
0.94	o 4199
0.94	c 1515
0.94	o 4208
0.94	c 1506
0.94	o 4212
0.94	c 1502
0.94	o 4215
0.94	c 1499
0.94	o 4218
0.94	c 1496
0.94	o 4221
0.94	c 1493
0.94	o 4224
0.94	c 1490
0.95	o 4227
0.95	c 1487
0.95	o 4229
0.95	c 1485
0.95	o 4235
0.95	c 1479
0.95	o 4237
0.95	c 1477
0.95	o 4241
0.95	c 1473
0.95	o 4246
0.95	c 1468
0.95	o 4252
0.95	c 1462
0.95	o 4255
0.95	c 1459
0.95	o 4256
0.95	c 1458
0.95	o 4259
0.95	c 1455
0.95	o 4264
0.95	c 1450
0.96	o 4265
0.96	c 1449
0.96	o 4270
0.96	c 1444
0.96	o 4276
0.96	c 1438
0.96	o 4277
0.96	c 1437
0.96	o 4278
0.96	c 1436
0.96	o 4280
0.96	c 1434
0.96	o 4281
0.96	c 1433
0.97	o 4284
0.97	c 1430
0.97	o 4285
0.97	c 1429
0.97	o 4289
0.97	c 1425
0.97	o 4291
0.97	c 1423
0.97	o 4296
0.97	c 1418
0.97	o 4297
0.97	c 1417
0.97	o 4303
0.97	c 1411
0.97	o 4304
0.97	c 1410
0.97	o 4305
0.97	c 1409
0.97	o 4311
0.97	c 1403
0.97	o 4316
0.97	c 1398
0.97	o 4323
0.97	c 1391
0.98	o 4324
0.98	c 1390
0.98	o 4329
0.98	c 1385
0.98	o 4330
0.98	c 1384
0.98	o 4332
0.98	c 1382
0.98	o 4336
0.98	c 1378
0.99	o 4337
0.99	c 1377
0.99	o 4338
0.99	c 1376
0.99	o 4339
0.99	c 1375
0.99	o 4343
0.99	c 1371
1.01	o 4344
1.01	c 1370
1.06	o 4347
1.06	c 1367
1.06	o 4352
1.06	c 1362
1.07	o 4353
1.07	c 1361
1.07	o 4356
1.07	c 1358
1.07	o 4357
1.07	c 1357
1.07	o 4360
1.07	c 1354
1.07	o 4361
1.07	c 1353
1.10	o 4362
1.10	c 1352
1.10	o 4366
1.10	c 1348
1.10	o 4368
1.10	c 1346
1.10	o 4370
1.10	c 1344
1.11	o 4371
1.11	c 1343
1.11	o 4374
1.11	c 1340
1.13	o 4376
1.13	c 1338
1.13	o 4377
1.13	c 1337
1.13	o 4379
1.13	c 1335
1.14	o 4384
1.14	c 1330
1.14	o 4387
1.14	c 1327
1.14	o 4388
1.14	c 1326
1.14	o 4392
1.14	c 1322
1.14	o 4394
1.14	c 1320
1.15	o 4396
1.15	c 1318
1.15	o 4397
1.15	c 1317
1.17	o 4400
1.17	c 1314
1.19	o 4402
1.19	c 1312
1.20	o 4403
1.20	c 1311
1.20	o 4405
1.20	c 1309
1.20	o 4407
1.20	c 1307
1.20	o 4408
1.20	c 1306
1.20	o 4411
1.20	c 1303
1.21	o 4412
1.21	c 1302
1.22	o 4413
1.22	c 1301
1.22	o 4415
1.22	c 1299
1.22	o 4417
1.22	c 1297
1.22	o 4422
1.22	c 1292
1.23	o 4428
1.23	c 1286
1.23	o 4430
1.23	c 1284
1.23	o 4431
1.23	c 1283
1.24	o 4433
1.24	c 1281
1.25	o 4434
1.25	c 1280
1.25	o 4437
1.25	c 1277
1.26	o 4439
1.26	c 1275
1.26	o 4442
1.26	c 1272
1.26	o 4445
1.26	c 1269
1.26	o 4448
1.26	c 1266
1.27	o 4449
1.27	c 1265
1.27	o 4451
1.27	c 1263
1.27	o 4456
1.27	c 1258
1.28	o 4458
1.28	c 1256
1.28	o 4459
1.28	c 1255
1.30	o 4461
1.30	c 1253
1.30	o 4462
1.30	c 1252
1.31	o 4463
1.31	c 1251
1.33	o 4467
1.33	c 1247
1.33	o 4468
1.33	c 1246
1.34	o 4472
1.34	c 1242
1.35	o 4473
1.35	c 1241
1.35	o 4474
1.35	c 1240
1.35	o 4475
1.35	c 1239
1.36	o 4476
1.36	c 1238
1.37	o 4477
1.37	c 1237
1.37	o 4481
1.37	c 1233
1.37	o 4482
1.37	c 1232
1.37	o 4485
1.37	c 1229
1.38	o 4486
1.38	c 1228
1.38	o 4489
1.38	c 1225
1.38	o 4490
1.38	c 1224
1.39	o 4495
1.39	c 1219
1.39	o 4497
1.39	c 1217
1.40	o 4498
1.40	c 1216
1.40	o 4501
1.40	c 1213
1.43	o 4503
1.43	c 1211
1.43	o 4504
1.43	c 1210
1.43	o 4505
1.43	c 1209
1.44	o 4507
1.44	c 1207
1.44	o 4509
1.44	c 1205
1.44	o 4510
1.44	c 1204
1.44	o 4511
1.44	c 1203
1.46	o 4513
1.46	c 1201
1.46	o 4515
1.46	c 1199
1.48	o 4516
1.48	c 1198
1.49	o 4519
1.49	c 1195
1.49	o 4520
1.49	c 1194
1.53	o 4522
1.53	c 1192
1.53	o 4524
1.53	c 1190
1.54	o 4528
1.54	c 1186
1.54	o 4529
1.54	c 1185
1.54	o 4533
1.54	c 1181
1.54	o 4534
1.54	c 1180
1.56	o 4536
1.56	c 1178
1.56	o 4537
1.56	c 1177
1.56	o 4538
1.56	c 1176
1.56	o 4540
1.56	c 1174
1.57	o 4542
1.57	c 1172
1.58	o 4544
1.58	c 1170
1.58	o 4550
1.58	c 1164
1.58	o 4551
1.58	c 1163
1.58	o 4556
1.58	c 1158
1.59	o 4560
1.59	c 1154
1.59	o 4561
1.59	c 1153
1.59	o 4566
1.59	c 1148
1.59	o 4571
1.59	c 1143
1.59	o 4572
1.59	c 1142
1.60	o 4574
1.60	c 1140
1.60	o 4576
1.60	c 1138
1.60	o 4581
1.60	c 1133
1.64	o 4583
1.64	c 1131
1.65	o 4584
1.65	c 1130
1.70	o 4587
1.70	c 1127
1.70	o 4589
1.70	c 1125
1.70	o 4591
1.70	c 1123
1.71	o 4597
1.71	c 1117
1.71	o 4603
1.71	c 1111
4.13	o 4605
4.13	c 1109
4.14	o 4607
4.14	c 1107
4.15	o 4608
4.15	c 1106
4.15	o 4610
4.15	c 1104
4.15	o 4611
4.15	c 1103
4.54	o 4612
4.54	c 1102
4.94	o 4613
4.94	c 1101
4.97	o 4614
4.97	c 1100
4.97	o 4615
4.97	c 1099
4.97	o 4617
4.97	c 1097
4.97	o 4619
4.97	c 1095
4.99	o 4621
4.99	c 1093
4.99	o 4624
4.99	c 1090
5.00	o 4625
5.00	c 1089
5.00	o 4626
5.00	c 1088
5.00	o 4627
5.00	c 1087
5.01	o 4629
5.01	c 1085
5.03	o 4630
5.03	c 1084
5.03	o 4632
5.03	c 1082
5.03	o 4634
5.03	c 1080
5.04	o 4635
5.04	c 1079
5.05	o 4636
5.05	c 1078
5.06	o 4637
5.06	c 1077
5.06	o 4639
5.06	c 1075
5.06	o 4640
5.06	c 1074
5.07	o 4641
5.07	c 1073
5.08	o 4642
5.08	c 1072
5.10	o 4643
5.10	c 1071
5.10	o 4645
5.10	c 1069
5.10	o 4649
5.10	c 1065
5.38	o 4650
5.38	c 1064
5.39	o 4651
5.39	c 1063
5.40	o 4654
5.40	c 1060
5.40	o 4655
5.40	c 1059
5.44	o 4656
5.44	c 1058
5.44	o 4661
5.44	c 1053
5.47	o 4662
5.47	c 1052
5.48	o 4665
5.48	c 1049
5.48	o 4666
5.48	c 1048
5.52	o 4667
5.52	c 1047
5.52	o 4669
5.52	c 1045
5.52	o 4674
5.52	c 1040
5.53	o 4676
5.53	c 1038
5.54	o 4679
5.54	c 1035
5.54	o 4680
5.54	c 1034
5.55	o 4681
5.55	c 1033
5.55	o 4682
5.55	c 1032
5.55	o 4684
5.55	c 1030
5.55	o 4686
5.55	c 1028
5.90	o 4687
5.90	c 1027
5.90	o 4689
5.90	c 1025
5.90	o 4690
5.90	c 1024
5.91	o 4691
5.91	c 1023
5.91	o 4694
5.91	c 1020
5.92	o 4696
5.92	c 1018
5.92	o 4698
5.92	c 1016
5.93	o 4699
5.93	c 1015
5.93	o 4701
5.93	c 1013
5.94	o 4702
5.94	c 1012
5.95	o 4705
5.95	c 1009
5.95	o 4706
5.95	c 1008
5.96	o 4707
5.96	c 1007
5.97	o 4709
5.97	c 1005
10.56	o 4711
10.56	c 1003
10.57	o 4712
10.57	c 1002
10.57	o 4714
10.57	c 1000
10.57	o 4716
10.57	c 998
10.58	o 4719
10.58	c 995
10.58	o 4720
10.59	c 994
10.59	o 4721
10.59	c 993
10.59	o 4722
10.59	c 992
10.60	o 4723
10.60	c 991
10.61	o 4725
10.61	c 989
10.61	o 4726
10.61	c 988
10.62	o 4728
10.62	c 986
10.64	o 4729
10.64	c 985
10.65	o 4730
10.65	c 984
10.67	o 4732
10.67	c 982
10.69	o 4733
10.69	c 981
10.69	o 4735
10.69	c 979
10.69	o 4737
10.69	c 977
10.71	o 4738
10.71	c 976
10.72	o 4740
10.72	c 974
10.72	o 4741
10.72	c 973
26.25	   
26.25	   search
26.25	     run=0  nbConstraintChecks=102524703  nbAssignments=10000
26.25	       =>  wckTime=25.406  cpuTime=25.34  mem=8M490
26.95	o 4742
26.95	c 972
27.01	o 4743
27.01	c 971
27.01	o 4744
27.01	c 970
27.06	o 4745
27.06	c 969
27.11	o 4746
27.11	c 968
27.11	o 4747
27.11	c 967
27.28	o 4749
27.28	c 965
39.56	o 4750
39.56	c 964
39.56	o 4752
39.56	c 962
39.59	o 4754
39.59	c 960
39.59	o 4756
39.59	c 958
39.60	o 4757
39.60	c 957
39.60	o 4758
39.60	c 956
39.61	o 4760
39.61	c 954
39.61	o 4761
39.61	c 953
39.63	o 4762
39.63	c 952
55.23	   
55.23	   search
55.23	     run=1  nbConstraintChecks=224035683  nbAssignments=20000
55.23	       =>  wckTime=54.385  cpuTime=54.27  mem=8M490
69.65	   
69.65	   search
69.65	     run=2  nbConstraintChecks=282486759  nbAssignments=26322
69.65	       =>  wckTime=68.805  cpuTime=68.69  mem=8M490
69.65	   
69.65	   global
69.65	     nbConstraintChecks=282486759  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
69.65	     solvingWckTime=68.802  solvingCpuTime=68.69  expiredTime=no  totalExploration=no  nbFoundSolutions=0
69.65	     globalCpuTime=69.09
69.65	       =>  wckTime=69.364  cpuTime=69.05  mem=8M490
69.65	   
69.65	   solver IterativeSystematicSolver being built... 
69.80	       =>  wckTime=69.515  cpuTime=69.17  mem=21M315
72.70	   
72.71	   preprocessing
72.71	     nbConstraintChecks=4692212  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
72.71	     detectedInconsistency=no
72.71	       =>  wckTime=2.897  cpuTime=2.85  mem=21M315
74.09	   
74.09	   search
74.09	     run=0  nbConstraintChecks=2320341  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=269
74.09	     nbFailedAssignments=11  nbBacktracks=10  nbVisitedNodes=291  nbRestartNogoods=0
74.09	       =>  wckTime=4.279  cpuTime=4.23  mem=21M315
75.97	   
75.97	   search
75.97	     run=1  nbConstraintChecks=4864985  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=546
75.97	     nbFailedAssignments=29  nbBacktracks=27  nbVisitedNodes=602  nbRestartNogoods=2
75.97	       =>  wckTime=6.161  cpuTime=6.1  mem=21M315
77.96	   
77.96	   search
77.96	     run=2  nbConstraintChecks=7885273  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=847
77.96	     nbFailedAssignments=62  nbBacktracks=49  nbVisitedNodes=958  nbRestartNogoods=3
77.96	       =>  wckTime=8.154  cpuTime=8.08  mem=21M315
80.36	   
80.36	   search
80.37	     run=3  nbConstraintChecks=11438628  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1172
80.37	     nbFailedAssignments=105  nbBacktracks=82  nbVisitedNodes=1359  nbRestartNogoods=7
80.37	       =>  wckTime=10.553  cpuTime=10.47  mem=21M315
84.21	   
84.21	   search
84.21	     run=4  nbConstraintChecks=16183880  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1545
84.21	     nbFailedAssignments=179  nbBacktracks=132  nbVisitedNodes=1856  nbRestartNogoods=10
84.21	       =>  wckTime=14.405  cpuTime=14.29  mem=21M315
88.66	   
88.66	   search
88.66	     run=5  nbConstraintChecks=22118436  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1974
88.66	     nbFailedAssignments=283  nbBacktracks=207  nbVisitedNodes=2461  nbRestartNogoods=15
88.66	       =>  wckTime=18.856  cpuTime=18.74  mem=21M315
94.22	   
94.22	   search
94.22	     run=6  nbConstraintChecks=30292083  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2516
94.22	     nbFailedAssignments=456  nbBacktracks=320  nbVisitedNodes=3277  nbRestartNogoods=20
94.22	       =>  wckTime=24.416  cpuTime=24.29  mem=22M290
102.75	   
102.75	   search
102.75	     run=7  nbConstraintChecks=40294974  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3121
102.75	     nbFailedAssignments=645  nbBacktracks=490  nbVisitedNodes=4235  nbRestartNogoods=26
102.75	       =>  wckTime=32.948  cpuTime=32.81  mem=22M290
116.56	   
116.56	   search
116.56	     run=8  nbConstraintChecks=55750421  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3986
116.56	     nbFailedAssignments=1010  nbBacktracks=746  nbVisitedNodes=5682  nbRestartNogoods=33
116.56	       =>  wckTime=46.752  cpuTime=46.61  mem=22M290
130.91	   
130.91	   search
130.91	     run=9  nbConstraintChecks=76022963  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5050
130.91	     nbFailedAssignments=1440  nbBacktracks=1130  nbVisitedNodes=7556  nbRestartNogoods=42
130.91	       =>  wckTime=61.106  cpuTime=60.93  mem=22M290
157.29	   
157.29	   search
157.29	     run=10  nbConstraintChecks=107781271  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6632
157.29	     nbFailedAssignments=2211  nbBacktracks=1706  nbVisitedNodes=10462  nbRestartNogoods=45
157.29	       =>  wckTime=87.485  cpuTime=87.29  mem=22M290
186.00	   
186.00	   search
186.00	     run=11  nbConstraintChecks=147100621  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=8520
186.00	     nbFailedAssignments=2990  nbBacktracks=2570  nbVisitedNodes=13993  nbRestartNogoods=54
186.00	       =>  wckTime=116.196  cpuTime=115.96  mem=22M290
244.89	   
244.89	   search
244.89	     run=12  nbConstraintChecks=215703358  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=11756
244.89	     nbFailedAssignments=4688  nbBacktracks=3867  nbVisitedNodes=20221  nbRestartNogoods=63
244.89	       =>  wckTime=175.081  cpuTime=174.79  mem=22M290
323.77	   
323.77	   search
323.77	     run=13  nbConstraintChecks=316433661  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=16429
323.77	     nbFailedAssignments=7172  nbBacktracks=5813  nbVisitedNodes=29222  nbRestartNogoods=72
323.77	       =>  wckTime=253.963  cpuTime=253.59  mem=22M290
445.66	   
445.66	   search
445.66	     run=14  nbConstraintChecks=469335798  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=23471
445.66	     nbFailedAssignments=11046  nbBacktracks=8732  nbVisitedNodes=42763  nbRestartNogoods=80
445.66	       =>  wckTime=375.851  cpuTime=375.36  mem=22M290
622.54	   
622.54	   search
622.54	     run=15  nbConstraintChecks=698937104  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=33881
622.54	     nbFailedAssignments=16834  nbBacktracks=13110  nbVisitedNodes=63265  nbRestartNogoods=86
622.54	       =>  wckTime=552.738  cpuTime=552.06  mem=22M290
867.97	   
867.97	   search
867.97	     run=16  nbConstraintChecks=1049387486  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=50003
867.97	     nbFailedAssignments=26148  nbBacktracks=19678  nbVisitedNodes=94832  nbRestartNogoods=93
867.97	       =>  wckTime=798.16  cpuTime=797.25  mem=22M290
1278.28	   
1278.28	   search
1278.28	     run=17  nbConstraintChecks=1540334622  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=71960
1278.28	     nbFailedAssignments=38014  nbBacktracks=29530  nbVisitedNodes=138506  nbRestartNogoods=108
1278.28	       =>  wckTime=1208.475  cpuTime=1207.16  mem=22M290
1989.48	   
1989.48	   search
1989.48	     run=18  nbConstraintChecks=2291122818  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=105076
1989.48	     nbFailedAssignments=56102  nbBacktracks=44308  nbVisitedNodes=204129  nbRestartNogoods=115
1989.48	       =>  wckTime=1919.679  cpuTime=1917.59  mem=22M290
2402.30	v 0 1 1 2 2 0 1 1 2 2 0 0 2 1 2 0 0 1 1 2 0 0 0 2 2 0 1 0 2 1 0 0 1 2 2 0 0 0 2 2 0 0 1 2 2 0 1 1 2 2 0 0 1 1 2 0 1 0 2 1 0 1 0 2 2 0 1 1 2 2 0 0 1 1 2 0 1 2 2 2 0 0 2 2 2 0 0 0 2 2 0 1 1 2 2 0 1 1 2 2 0 1 1 2 2 0 1 1 1 2 0 1 0 2 2 0 1 0 2 2 0 1 1 2 2 0 0 0 1 2 0 0 1 2 2 0 1 1 1 2 0 1 1 2 2 0 0 0 1 1 0 1 0 1 2 0 0 1 2 2 0 0 1 1 2 0 0 1 2 2 0 0 1 2 2 1 1 0 2 2 0 1 1 2 2 0 0 1 2 2 0 1 0 1 2 0 1 1 2 2 0 0 1 2 2 0 1 0 2 2 0 1 1 2 2 0 1 0 2 2 0 1 1 1 1 0 1 1 2 2 0 1 1 2 2 0 0 0 0 2 0 0 0 1 2 0 0 1 2 2 0 1 1 2 2 0 0 1 2 2 0 0 1 2 2 0 0 0 2 2 0 0 1 2 2 0 1 1 2 2 0 0 1 1 2 1 1 1 1 1 0 1 0 2 2 0 0 0 2 2 0 0 1 2 2 1 0 0 2 2 0 0 1 2 1 0 1 1 2 2 0 1 1 2 2 0 1 0 2 1 0 1 1 2 2 0 1 1 2 2 0 1 1 1 2 0 1 1 2 2 0 0 2 2 2 0 0 0 2 2 0 1 1 1 2 0 1 1 1 2 0 1 1 1 2 0 0 1 1 2 0 0 0 2 2 0 0 0 2 2 0 0 1 2 2 0 1 0 1 2 0 1 1 2 1 0 1 1 2 2 0 0 1 2 2 1 0 0 2 1 0 1 2 2 2 0 0 1 2 2 1 1 1 2 2 1 1 1 2 2 0 1 1 2 2 0 1 0 2 2

Verifier Data (download as text)

952 unsatisfied constraints, 4762 satisfied constraints

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node71/watcher-282952-1169324301 -o ROOT/results/node71/solver-282952-1169324301 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282952-1169324301/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 2.07 1.95 1.58 4/73 4033
/proc/meminfo: memFree=1241576/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=292 CPUtime=0
/proc/4032/stat : 4032 (java) R 4030 4032 3032 0 -1 0 229 0 0 0 0 0 0 0 18 0 1 0 79926956 299008 35 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7205668 0 0 4096 0 0 0 0 17 0 0 0
/proc/4032/statm: 73 35 27 14 0 5 0

[startup+0.107622 s]
/proc/loadavg: 2.07 1.95 1.58 4/73 4033
/proc/meminfo: memFree=1241576/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=914988 CPUtime=0.09
/proc/4032/stat : 4032 (java) R 4030 4032 3032 0 -1 0 3083 0 1 0 8 1 0 0 24 0 8 0 79926956 936947712 2829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4032/statm: 228747 2831 1457 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515679 s]
/proc/loadavg: 2.07 1.95 1.58 4/73 4033
/proc/meminfo: memFree=1241576/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=915332 CPUtime=0.49
/proc/4032/stat : 4032 (java) R 4030 4032 3032 0 -1 0 6619 0 1 0 45 4 0 0 25 0 8 0 79926956 937299968 6358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073651980 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4032/statm: 228833 6359 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33779 s]
/proc/loadavg: 2.07 1.95 1.58 3/80 4040
/proc/meminfo: memFree=1206832/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=915484 CPUtime=1.3
/proc/4032/stat : 4032 (java) R 4030 4032 3032 0 -1 0 11400 0 1 0 119 11 0 0 25 0 8 0 79926956 937455616 11138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073340949 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4032/statm: 228871 11138 2477 14 0 215341 0
[pid=4032/tid=4034] ppid=4030 vsize=915484 CPUtime=0.06
/proc/4032/task/4034/stat : 4034 (java) S 4030 4032 3032 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 79926959 937455616 11138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4035] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4035/stat : 4035 (java) S 4030 4032 3032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79926960 937455616 11138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4036] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4036/stat : 4036 (java) S 4030 4032 3032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79926960 937455616 11138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4037] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4037/stat : 4037 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 79926963 937455616 11138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4038] ppid=4030 vsize=915484 CPUtime=0.18
/proc/4032/task/4038/stat : 4038 (java) S 4030 4032 3032 0 -1 64 375 0 0 0 18 0 0 0 16 0 8 0 79926963 937455616 11138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4039] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4039/stat : 4039 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 79926963 937455616 11138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4040] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4040/stat : 4040 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 79926963 937455616 11138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915484

[startup+2.99002 s]
/proc/loadavg: 2.06 1.95 1.58 3/80 4040
/proc/meminfo: memFree=1206768/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=915484 CPUtime=2.95
/proc/4032/stat : 4032 (java) R 4030 4032 3032 0 -1 0 11405 0 1 0 279 16 0 0 25 0 8 0 79926956 937455616 11142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918510 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4032/statm: 228871 11142 2479 14 0 215341 0
[pid=4032/tid=4034] ppid=4030 vsize=915484 CPUtime=0.06
/proc/4032/task/4034/stat : 4034 (java) S 4030 4032 3032 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 79926959 937455616 11142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4035] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4035/stat : 4035 (java) S 4030 4032 3032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79926960 937455616 11142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4036] ppid=4030 vsize=915488 CPUtime=0
/proc/4032/task/4036/stat : 4036 (java) S 4030 4032 3032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79926960 937459712 11142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4037] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4037/stat : 4037 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 79926963 937455616 11142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4038] ppid=4030 vsize=915484 CPUtime=0.18
/proc/4032/task/4038/stat : 4038 (java) S 4030 4032 3032 0 -1 64 379 0 0 0 18 0 0 0 16 0 8 0 79926963 937455616 11142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4039] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4039/stat : 4039 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 79926963 937455616 11142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4040] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4040/stat : 4040 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 79926963 937455616 11142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915484

[startup+6.27547 s]
/proc/loadavg: 2.06 1.95 1.58 3/80 4040
/proc/meminfo: memFree=1206704/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=915484 CPUtime=6.23
/proc/4032/stat : 4032 (java) R 4030 4032 3032 0 -1 0 11407 0 1 0 597 26 0 0 25 0 8 0 79926956 937455616 11144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844393 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4032/statm: 228871 11144 2479 14 0 215341 0
[pid=4032/tid=4034] ppid=4030 vsize=915484 CPUtime=0.06
/proc/4032/task/4034/stat : 4034 (java) S 4030 4032 3032 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 79926959 937455616 11144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4035] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4035/stat : 4035 (java) S 4030 4032 3032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79926960 937455616 11144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4036] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4036/stat : 4036 (java) S 4030 4032 3032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79926960 937455616 11144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4037] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4037/stat : 4037 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 79926963 937455616 11144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4038] ppid=4030 vsize=915484 CPUtime=0.19
/proc/4032/task/4038/stat : 4038 (java) S 4030 4032 3032 0 -1 64 381 0 0 0 18 1 0 0 16 0 8 0 79926963 937455616 11144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4039] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4039/stat : 4039 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 79926963 937455616 11144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4040] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4040/stat : 4040 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 79926963 937455616 11144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915484

[startup+12.7644 s]
/proc/loadavg: 2.05 1.95 1.59 3/80 4040
/proc/meminfo: memFree=1206704/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=915484 CPUtime=12.71
/proc/4032/stat : 4032 (java) R 4030 4032 3032 0 -1 0 11408 0 1 0 1226 45 0 0 25 0 8 0 79926956 937455616 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073853686 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4032/statm: 228871 11145 2479 14 0 215341 0
[pid=4032/tid=4034] ppid=4030 vsize=915484 CPUtime=0.06
/proc/4032/task/4034/stat : 4034 (java) S 4030 4032 3032 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 79926959 937455616 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4035] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4035/stat : 4035 (java) S 4030 4032 3032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79926960 937455616 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4036] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4036/stat : 4036 (java) S 4030 4032 3032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79926960 937455616 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4037] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4037/stat : 4037 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 79926963 937455616 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4038] ppid=4030 vsize=915484 CPUtime=0.19
/proc/4032/task/4038/stat : 4038 (java) S 4030 4032 3032 0 -1 64 382 0 0 0 18 1 0 0 16 0 8 0 79926963 937455616 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4039] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4039/stat : 4039 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 79926963 937455616 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4040] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4040/stat : 4040 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 79926963 937455616 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915484

[startup+25.6031 s]
/proc/loadavg: 2.04 1.95 1.59 3/80 4040
/proc/meminfo: memFree=1206704/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=915484 CPUtime=25.55
/proc/4032/stat : 4032 (java) R 4030 4032 3032 0 -1 0 11408 0 1 0 2477 78 0 0 25 0 8 0 79926956 937455616 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844463 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4032/statm: 228871 11145 2479 14 0 215341 0
[pid=4032/tid=4034] ppid=4030 vsize=915484 CPUtime=0.06
/proc/4032/task/4034/stat : 4034 (java) S 4030 4032 3032 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 79926959 937455616 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4035] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4035/stat : 4035 (java) S 4030 4032 3032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79926960 937455616 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4036] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4036/stat : 4036 (java) S 4030 4032 3032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79926960 937455616 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4037] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4037/stat : 4037 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 79926963 937455616 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4038] ppid=4030 vsize=915484 CPUtime=0.19
/proc/4032/task/4038/stat : 4038 (java) S 4030 4032 3032 0 -1 64 382 0 0 0 18 1 0 0 16 0 8 0 79926963 937455616 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4039] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4039/stat : 4039 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 79926963 937455616 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4040] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4040/stat : 4040 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 79926963 937455616 11145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915484

[startup+51.2136 s]
/proc/loadavg: 2.03 1.95 1.60 3/80 4040
/proc/meminfo: memFree=1206768/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=915484 CPUtime=51.12
/proc/4032/stat : 4032 (java) R 4030 4032 3032 0 -1 0 11412 0 1 0 4967 145 0 0 25 0 8 0 79926956 937455616 11149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846693 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4032/statm: 228871 11149 2479 14 0 215341 0
[pid=4032/tid=4034] ppid=4030 vsize=915484 CPUtime=0.06
/proc/4032/task/4034/stat : 4034 (java) S 4030 4032 3032 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 79926959 937455616 11149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4035] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4035/stat : 4035 (java) S 4030 4032 3032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79926960 937455616 11149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4036] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4036/stat : 4036 (java) S 4030 4032 3032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79926960 937455616 11149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4037] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4037/stat : 4037 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 79926963 937455616 11149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4038] ppid=4030 vsize=915484 CPUtime=0.2
/proc/4032/task/4038/stat : 4038 (java) S 4030 4032 3032 0 -1 64 386 0 0 0 19 1 0 0 15 0 8 0 79926963 937455616 11149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4039] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4039/stat : 4039 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 79926963 937455616 11149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4040] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4040/stat : 4040 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 79926963 937455616 11149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 915484

[startup+102.435 s]
/proc/loadavg: 2.01 1.96 1.62 3/80 4040
/proc/meminfo: memFree=1206576/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=915484 CPUtime=102.29
/proc/4032/stat : 4032 (java) R 4030 4032 3032 0 -1 0 11592 0 1 0 10031 198 0 0 25 0 8 0 79926956 937455616 11314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073997193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4032/statm: 228871 11314 2534 14 0 215341 0
[pid=4032/tid=4034] ppid=4030 vsize=915484 CPUtime=0.06
/proc/4032/task/4034/stat : 4034 (java) S 4030 4032 3032 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 79926959 937455616 11314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4035] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4035/stat : 4035 (java) S 4030 4032 3032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79926960 937455616 11314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4036] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4036/stat : 4036 (java) S 4030 4032 3032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79926960 937455616 11314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4037] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4037/stat : 4037 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 79926963 937455616 11314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4038] ppid=4030 vsize=915484 CPUtime=0.32
/proc/4032/task/4038/stat : 4038 (java) S 4030 4032 3032 0 -1 64 458 0 0 0 31 1 0 0 16 0 8 0 79926963 937455616 11314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4039] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4039/stat : 4039 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 79926963 937455616 11314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4040] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4040/stat : 4040 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 79926963 937455616 11314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 915484

[startup+162.492 s]
/proc/loadavg: 2.00 1.96 1.64 3/80 4042
/proc/meminfo: memFree=1206320/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=915484 CPUtime=162.29
/proc/4032/stat : 4032 (java) R 4030 4032 3032 0 -1 0 11599 0 1 0 16031 198 0 0 25 0 8 0 79926956 937455616 11317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073999041 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 2022.43
Current children cumulated vsize (KiB) 915484

[startup+2084.61 s]
/proc/loadavg: 1.02 1.18 1.51 2/72 4062
/proc/meminfo: memFree=1223472/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=915484 CPUtime=2082.5
/proc/4032/stat : 4032 (java) R 4030 4032 3032 0 -1 0 11600 0 1 0 208048 202 0 0 25 0 8 0 79926956 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073981335 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4032/statm: 228871 11318 2534 14 0 215341 0
[pid=4032/tid=4034] ppid=4030 vsize=915484 CPUtime=0.06
/proc/4032/task/4034/stat : 4034 (java) S 4030 4032 3032 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 79926959 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4035] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4035/stat : 4035 (java) S 4030 4032 3032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79926960 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4036] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4036/stat : 4036 (java) S 4030 4032 3032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79926960 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4037] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4037/stat : 4037 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 79926963 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4038] ppid=4030 vsize=915484 CPUtime=0.33
/proc/4032/task/4038/stat : 4038 (java) S 4030 4032 3032 0 -1 64 464 0 0 0 32 1 0 0 16 0 8 0 79926963 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4039] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4039/stat : 4039 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 79926963 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4040] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4040/stat : 4040 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 79926963 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2082.5
Current children cumulated vsize (KiB) 915484

[startup+2144.7 s]
/proc/loadavg: 1.01 1.15 1.47 2/72 4062
/proc/meminfo: memFree=1223536/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=915484 CPUtime=2142.56
/proc/4032/stat : 4032 (java) R 4030 4032 3032 0 -1 0 11600 0 1 0 214054 202 0 0 25 0 8 0 79926956 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073981355 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4032/statm: 228871 11318 2534 14 0 215341 0
[pid=4032/tid=4034] ppid=4030 vsize=915484 CPUtime=0.06
/proc/4032/task/4034/stat : 4034 (java) S 4030 4032 3032 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 79926959 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4035] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4035/stat : 4035 (java) S 4030 4032 3032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79926960 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4036] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4036/stat : 4036 (java) S 4030 4032 3032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79926960 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4037] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4037/stat : 4037 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 79926963 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4038] ppid=4030 vsize=915484 CPUtime=0.33
/proc/4032/task/4038/stat : 4038 (java) S 4030 4032 3032 0 -1 64 464 0 0 0 32 1 0 0 16 0 8 0 79926963 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4039] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4039/stat : 4039 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 79926963 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4040] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4040/stat : 4040 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 79926963 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2142.56
Current children cumulated vsize (KiB) 915484

[startup+2204.78 s]
/proc/loadavg: 1.00 1.12 1.44 2/72 4062
/proc/meminfo: memFree=1223536/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=915484 CPUtime=2202.63
/proc/4032/stat : 4032 (java) R 4030 4032 3032 0 -1 0 11600 0 1 0 220061 202 0 0 25 0 8 0 79926956 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073843288 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4032/statm: 228871 11318 2534 14 0 215341 0
[pid=4032/tid=4034] ppid=4030 vsize=915484 CPUtime=0.06
/proc/4032/task/4034/stat : 4034 (java) S 4030 4032 3032 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 79926959 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4035] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4035/stat : 4035 (java) S 4030 4032 3032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79926960 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4036] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4036/stat : 4036 (java) S 4030 4032 3032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79926960 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4037] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4037/stat : 4037 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 79926963 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4038] ppid=4030 vsize=915484 CPUtime=0.33
/proc/4032/task/4038/stat : 4038 (java) S 4030 4032 3032 0 -1 64 464 0 0 0 32 1 0 0 16 0 8 0 79926963 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4039] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4039/stat : 4039 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 79926963 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4040] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4040/stat : 4040 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 79926963 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2202.63
Current children cumulated vsize (KiB) 915484

[startup+2264.87 s]
/proc/loadavg: 1.00 1.09 1.41 2/72 4062
/proc/meminfo: memFree=1223536/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=915484 CPUtime=2262.7
/proc/4032/stat : 4032 (java) R 4030 4032 3032 0 -1 0 11600 0 1 0 226068 202 0 0 25 0 8 0 79926956 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073998948 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4032/statm: 228871 11318 2534 14 0 215341 0
[pid=4032/tid=4034] ppid=4030 vsize=915484 CPUtime=0.06
/proc/4032/task/4034/stat : 4034 (java) S 4030 4032 3032 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 79926959 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4035] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4035/stat : 4035 (java) S 4030 4032 3032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79926960 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4036] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4036/stat : 4036 (java) S 4030 4032 3032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79926960 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4037] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4037/stat : 4037 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 79926963 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4038] ppid=4030 vsize=915484 CPUtime=0.33
/proc/4032/task/4038/stat : 4038 (java) S 4030 4032 3032 0 -1 64 464 0 0 0 32 1 0 0 16 0 8 0 79926963 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4039] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4039/stat : 4039 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 79926963 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4040] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4040/stat : 4040 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 79926963 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2262.7
Current children cumulated vsize (KiB) 915484

[startup+2324.95 s]
/proc/loadavg: 1.00 1.07 1.38 2/72 4062
/proc/meminfo: memFree=1223472/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=915484 CPUtime=2322.77
/proc/4032/stat : 4032 (java) R 4030 4032 3032 0 -1 0 11600 0 1 0 232075 202 0 0 25 0 8 0 79926956 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074063576 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4032/statm: 228871 11318 2534 14 0 215341 0
[pid=4032/tid=4034] ppid=4030 vsize=915484 CPUtime=0.06
/proc/4032/task/4034/stat : 4034 (java) S 4030 4032 3032 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 79926959 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4035] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4035/stat : 4035 (java) S 4030 4032 3032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79926960 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4036] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4036/stat : 4036 (java) S 4030 4032 3032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79926960 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4037] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4037/stat : 4037 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 79926963 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4038] ppid=4030 vsize=915484 CPUtime=0.33
/proc/4032/task/4038/stat : 4038 (java) S 4030 4032 3032 0 -1 64 464 0 0 0 32 1 0 0 16 0 8 0 79926963 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4039] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4039/stat : 4039 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 79926963 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4040] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4040/stat : 4040 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 79926963 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2322.77
Current children cumulated vsize (KiB) 915484

[startup+2385.04 s]
/proc/loadavg: 1.00 1.06 1.35 2/72 4062
/proc/meminfo: memFree=1223472/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=915484 CPUtime=2382.84
/proc/4032/stat : 4032 (java) R 4030 4032 3032 0 -1 0 11600 0 1 0 238082 202 0 0 25 0 8 0 79926956 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073998932 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4032/statm: 228871 11318 2534 14 0 215341 0
[pid=4032/tid=4034] ppid=4030 vsize=915484 CPUtime=0.06
/proc/4032/task/4034/stat : 4034 (java) S 4030 4032 3032 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 79926959 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4035] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4035/stat : 4035 (java) S 4030 4032 3032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79926960 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4036] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4036/stat : 4036 (java) S 4030 4032 3032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79926960 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4037] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4037/stat : 4037 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 79926963 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4038] ppid=4030 vsize=915484 CPUtime=0.33
/proc/4032/task/4038/stat : 4038 (java) S 4030 4032 3032 0 -1 64 464 0 0 0 32 1 0 0 16 0 8 0 79926963 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4039] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4039/stat : 4039 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 79926963 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4040] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4040/stat : 4040 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 79926963 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2382.84
Current children cumulated vsize (KiB) 915484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2402.3 s]
/proc/loadavg: 1.00 1.05 1.35 2/72 4062
/proc/meminfo: memFree=1223472/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=915484 CPUtime=2400.09
/proc/4032/stat : 4032 (java) R 4030 4032 3032 0 -1 0 11600 0 1 0 239807 202 0 0 25 0 8 0 79926956 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074083105 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4032/statm: 228871 11318 2534 14 0 215341 0
[pid=4032/tid=4034] ppid=4030 vsize=915484 CPUtime=0.06
/proc/4032/task/4034/stat : 4034 (java) S 4030 4032 3032 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 79926959 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4035] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4035/stat : 4035 (java) S 4030 4032 3032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79926960 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4036] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4036/stat : 4036 (java) S 4030 4032 3032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79926960 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4037] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4037/stat : 4037 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 79926963 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4038] ppid=4030 vsize=915484 CPUtime=0.33
/proc/4032/task/4038/stat : 4038 (java) S 4030 4032 3032 0 -1 64 464 0 0 0 32 1 0 0 16 0 8 0 79926963 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4039] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4039/stat : 4039 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 79926963 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4032/tid=4040] ppid=4030 vsize=915484 CPUtime=0
/proc/4032/task/4040/stat : 4040 (java) S 4030 4032 3032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 79926963 937455616 11318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 915484

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

Child status: 143
Real time (s): 2402.32
CPU time (s): 2400.12
CPU user time (s): 2398.09
CPU system time (s): 2.03569
CPU usage (%): 99.9086
Max. virtual memory (cumulated for all children) (KiB): 915488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.09
system time used= 2.03569
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11619
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50145
involuntary context switches= 42786

runsolver used 3.06153 s user time and 6.79497 s system time

The end

Launcher Data (download as text)

Begin job on node71 on Sat Jan 20 20:18:21 UTC 2007


IDJOB= 282952
IDBENCH= 12969
IDSOLVER= 68
FILE ID= node71/282952-1169324301

PBS_JOBID= 3610422

Free space on /tmp= 66560 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/coloring/le-450-5a-3-ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282952-1169324301/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node71/watcher-282952-1169324301 -o ROOT/results/node71/solver-282952-1169324301 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282952-1169324301/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  9fdd938979bc7fe942d8a22c41b71010

RANDOM SEED= 261110407

TIME LIMIT= 2400 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1242056 kB
Buffers:         56812 kB
Cached:         650864 kB
SwapCached:          0 kB
Active:         172468 kB
Inactive:       565524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1242056 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2056 kB
Writeback:           0 kB
Mapped:          41804 kB
Slab:            61176 kB
Committed_AS:  1177756 kB
PageTables:       1796 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66563 MiB



End job on node71 on Sat Jan 20 20:58:24 UTC 2007