Trace number 282953

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 PFCMSAT (TO) 2400.11 2412.42

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=pfc.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/282953-1169324344/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.44	     nbVariables=450  nbDomainTypes=1  minDomainSize=3  maxDomainSize=3
0.44	       =>  wckTime=0.149  cpuTime=0.11  mem=7M885
0.44	   
0.44	   relations being loaded...
0.44	   
0.44	   constraints being loaded...
0.72	     nbConstraints=5714  nbRelationTypes=1  nbExtensionStructures=1  nbSharedExtensionStructures=5713
0.72	     nbConflictsStructures=1  nbSharedConflictsStructures=5713  nbSharedBinaryRepresentations=3  maxDegree=42
0.72	     maxArity=2
0.72	       =>  wckTime=0.432  cpuTime=0.3  mem=23M520
0.80	   
0.80	   solver LocalSearchSolver being built... 
0.84	       =>  wckTime=0.551  cpuTime=0.35  mem=8M490
0.85	
0.85	s SATISFIABLE
0.85	o 3797
0.85	c 1917
0.86	o 3805
0.86	c 1909
0.86	o 3817
0.86	c 1897
0.86	o 3826
0.86	c 1888
0.86	o 3834
0.86	c 1880
0.87	o 3841
0.87	c 1873
0.87	o 3851
0.87	c 1863
0.87	o 3861
0.87	c 1853
0.87	o 3870
0.87	c 1844
0.87	o 3879
0.87	c 1835
0.87	o 3887
0.87	c 1827
0.87	o 3894
0.87	c 1820
0.87	o 3901
0.87	c 1813
0.87	o 3907
0.87	c 1807
0.88	o 3913
0.88	c 1801
0.88	o 3917
0.88	c 1797
0.88	o 3922
0.88	c 1792
0.88	o 3931
0.88	c 1783
0.88	o 3939
0.88	c 1775
0.88	o 3946
0.88	c 1768
0.88	o 3951
0.88	c 1763
0.88	o 3952
0.88	c 1762
0.88	o 3956
0.88	c 1758
0.89	o 3958
0.89	c 1756
0.89	o 3962
0.89	c 1752
0.89	o 3970
0.89	c 1744
0.89	o 3975
0.89	c 1739
0.89	o 3981
0.89	c 1733
0.89	o 3984
0.89	c 1730
0.89	o 3987
0.89	c 1727
0.89	o 3990
0.89	c 1724
0.89	o 3994
0.89	c 1720
0.89	o 4001
0.89	c 1713
0.89	o 4006
0.89	c 1708
0.89	o 4010
0.89	c 1704
0.89	o 4013
0.89	c 1701
0.89	o 4014
0.89	c 1700
0.90	o 4016
0.90	c 1698
0.90	o 4026
0.90	c 1688
0.90	o 4032
0.90	c 1682
0.90	o 4041
0.90	c 1673
0.90	o 4042
0.90	c 1672
0.90	o 4048
0.90	c 1666
0.90	o 4052
0.90	c 1662
0.90	o 4060
0.90	c 1654
0.90	o 4063
0.90	c 1651
0.90	o 4069
0.90	c 1645
0.90	o 4074
0.90	c 1640
0.90	o 4079
0.90	c 1635
0.91	o 4083
0.91	c 1631
0.91	o 4087
0.91	c 1627
0.91	o 4091
0.91	c 1623
0.91	o 4092
0.91	c 1622
0.91	o 4094
0.91	c 1620
0.91	o 4101
0.91	c 1613
0.91	o 4103
0.91	c 1611
0.91	o 4107
0.91	c 1607
0.91	o 4110
0.91	c 1604
0.91	o 4118
0.91	c 1596
0.91	o 4123
0.91	c 1591
0.91	o 4126
0.91	c 1588
0.91	o 4130
0.91	c 1584
0.92	o 4134
0.92	c 1580
0.92	o 4139
0.92	c 1575
0.92	o 4143
0.92	c 1571
0.92	o 4145
0.92	c 1569
0.92	o 4147
0.92	c 1567
0.92	o 4152
0.92	c 1562
0.92	o 4156
0.92	c 1558
0.92	o 4158
0.92	c 1556
0.92	o 4160
0.92	c 1554
0.92	o 4163
0.92	c 1551
0.92	o 4167
0.92	c 1547
0.92	o 4176
0.92	c 1538
0.93	o 4178
0.93	c 1536
0.93	o 4179
0.93	c 1535
0.93	o 4186
0.93	c 1528
0.93	o 4189
0.93	c 1525
0.93	o 4194
0.93	c 1520
0.93	o 4198
0.93	c 1516
0.93	o 4199
0.93	c 1515
0.93	o 4208
0.93	c 1506
0.93	o 4212
0.93	c 1502
0.93	o 4215
0.93	c 1499
0.93	o 4218
0.93	c 1496
0.94	o 4221
0.94	c 1493
0.94	o 4224
0.94	c 1490
0.94	o 4227
0.94	c 1487
0.94	o 4229
0.94	c 1485
0.94	o 4235
0.94	c 1479
0.94	o 4237
0.94	c 1477
0.94	o 4241
0.94	c 1473
0.94	o 4246
0.94	c 1468
0.94	o 4252
0.94	c 1462
0.94	o 4255
0.94	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.95	o 4265
0.95	c 1449
0.95	o 4270
0.95	c 1444
0.95	o 4276
0.95	c 1438
0.95	o 4277
0.95	c 1437
0.95	o 4278
0.95	c 1436
0.95	o 4280
0.95	c 1434
0.96	o 4281
0.96	c 1433
0.96	o 4284
0.96	c 1430
0.96	o 4285
0.96	c 1429
0.96	o 4289
0.96	c 1425
0.96	o 4291
0.96	c 1423
0.96	o 4296
0.96	c 1418
0.96	o 4297
0.96	c 1417
0.96	o 4303
0.96	c 1411
0.96	o 4304
0.96	c 1410
0.96	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.97	o 4324
0.97	c 1390
0.97	o 4329
0.97	c 1385
0.97	o 4330
0.97	c 1384
0.97	o 4332
0.97	c 1382
0.97	o 4336
0.97	c 1378
0.98	o 4337
0.98	c 1377
0.98	o 4338
0.98	c 1376
0.98	o 4339
0.98	c 1375
0.98	o 4343
0.98	c 1371
1.00	o 4344
1.00	c 1370
1.06	o 4347
1.06	c 1367
1.06	o 4352
1.06	c 1362
1.06	o 4353
1.06	c 1361
1.06	o 4356
1.06	c 1358
1.06	o 4357
1.06	c 1357
1.06	o 4360
1.06	c 1354
1.07	o 4361
1.07	c 1353
1.09	o 4362
1.09	c 1352
1.09	o 4366
1.09	c 1348
1.09	o 4368
1.09	c 1346
1.10	o 4370
1.10	c 1344
1.10	o 4371
1.10	c 1343
1.10	o 4374
1.10	c 1340
1.12	o 4376
1.12	c 1338
1.13	o 4377
1.13	c 1337
1.13	o 4379
1.13	c 1335
1.13	o 4384
1.13	c 1330
1.13	o 4387
1.13	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.14	o 4396
1.14	c 1318
1.15	o 4397
1.15	c 1317
1.16	o 4400
1.16	c 1314
1.19	o 4402
1.19	c 1312
1.19	o 4403
1.19	c 1311
1.19	o 4405
1.19	c 1309
1.19	o 4407
1.19	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.21	o 4413
1.21	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.22	o 4428
1.22	c 1286
1.23	o 4430
1.23	c 1284
1.23	o 4431
1.23	c 1283
1.23	o 4433
1.23	c 1281
1.24	o 4434
1.24	c 1280
1.24	o 4437
1.24	c 1277
1.25	o 4439
1.25	c 1275
1.25	o 4442
1.25	c 1272
1.26	o 4445
1.26	c 1269
1.26	o 4448
1.26	c 1266
1.26	o 4449
1.26	c 1265
1.27	o 4451
1.27	c 1263
1.27	o 4456
1.27	c 1258
1.27	o 4458
1.27	c 1256
1.28	o 4459
1.28	c 1255
1.29	o 4461
1.29	c 1253
1.30	o 4462
1.30	c 1252
1.30	o 4463
1.30	c 1251
1.33	o 4467
1.33	c 1247
1.33	o 4468
1.33	c 1246
1.33	o 4472
1.33	c 1242
1.34	o 4473
1.34	c 1241
1.34	o 4474
1.34	c 1240
1.34	o 4475
1.34	c 1239
1.36	o 4476
1.36	c 1238
1.36	o 4477
1.36	c 1237
1.36	o 4481
1.36	c 1233
1.37	o 4482
1.37	c 1232
1.37	o 4485
1.37	c 1229
1.37	o 4486
1.37	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.39	o 4498
1.39	c 1216
1.40	o 4501
1.40	c 1213
1.42	o 4503
1.42	c 1211
1.42	o 4504
1.42	c 1210
1.43	o 4505
1.43	c 1209
1.43	o 4507
1.43	c 1207
1.43	o 4509
1.43	c 1205
1.44	o 4510
1.44	c 1204
1.44	o 4511
1.44	c 1203
1.45	o 4513
1.45	c 1201
1.46	o 4515
1.46	c 1199
1.48	o 4516
1.48	c 1198
1.48	o 4519
1.48	c 1195
1.49	o 4520
1.49	c 1194
1.52	o 4522
1.52	c 1192
1.53	o 4524
1.53	c 1190
1.53	o 4528
1.53	c 1186
1.53	o 4529
1.53	c 1185
1.54	o 4533
1.54	c 1181
1.54	o 4534
1.54	c 1180
1.55	o 4536
1.55	c 1178
1.55	o 4537
1.55	c 1177
1.55	o 4538
1.55	c 1176
1.56	o 4540
1.56	c 1174
1.56	o 4542
1.56	c 1172
1.57	o 4544
1.57	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.58	o 4560
1.58	c 1154
1.58	o 4561
1.58	c 1153
1.58	o 4566
1.58	c 1148
1.59	o 4571
1.59	c 1143
1.59	o 4572
1.59	c 1142
1.59	o 4574
1.59	c 1140
1.59	o 4576
1.59	c 1138
1.60	o 4581
1.60	c 1133
1.64	o 4583
1.64	c 1131
1.64	o 4584
1.64	c 1130
1.69	o 4587
1.69	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.14	o 4605
4.14	c 1109
4.15	o 4607
4.15	c 1107
4.16	o 4608
4.16	c 1106
4.16	o 4610
4.16	c 1104
4.16	o 4611
4.16	c 1103
4.56	o 4612
4.56	c 1102
4.96	o 4613
4.96	c 1101
4.98	o 4614
4.98	c 1100
4.98	o 4615
4.99	c 1099
4.99	o 4617
4.99	c 1097
4.99	o 4619
4.99	c 1095
5.01	o 4621
5.01	c 1093
5.01	o 4624
5.01	c 1090
5.01	o 4625
5.01	c 1089
5.02	o 4626
5.02	c 1088
5.02	o 4627
5.02	c 1087
5.02	o 4629
5.02	c 1085
5.04	o 4630
5.04	c 1084
5.05	o 4632
5.05	c 1082
5.05	o 4634
5.05	c 1080
5.05	o 4635
5.05	c 1079
5.07	o 4636
5.07	c 1078
5.07	o 4637
5.07	c 1077
5.08	o 4639
5.08	c 1075
5.08	o 4640
5.08	c 1074
5.08	o 4641
5.08	c 1073
5.09	o 4642
5.09	c 1072
5.11	o 4643
5.11	c 1071
5.12	o 4645
5.12	c 1069
5.12	o 4649
5.12	c 1065
5.40	o 4650
5.40	c 1064
5.41	o 4651
5.41	c 1063
5.41	o 4654
5.41	c 1060
5.42	o 4655
5.42	c 1059
5.46	o 4656
5.46	c 1058
5.46	o 4661
5.46	c 1053
5.49	o 4662
5.49	c 1052
5.49	o 4665
5.49	c 1049
5.50	o 4666
5.50	c 1048
5.54	o 4667
5.54	c 1047
5.54	o 4669
5.54	c 1045
5.54	o 4674
5.54	c 1040
5.55	o 4676
5.55	c 1038
5.56	o 4679
5.56	c 1035
5.56	o 4680
5.56	c 1034
5.57	o 4681
5.57	c 1033
5.57	o 4682
5.57	c 1032
5.57	o 4684
5.57	c 1030
5.57	o 4686
5.57	c 1028
5.92	o 4687
5.92	c 1027
5.92	o 4689
5.92	c 1025
5.93	o 4690
5.93	c 1024
5.93	o 4691
5.93	c 1023
5.94	o 4694
5.94	c 1020
5.94	o 4696
5.94	c 1018
5.94	o 4698
5.94	c 1016
5.95	o 4699
5.95	c 1015
5.96	o 4701
5.96	c 1013
5.97	o 4702
5.97	c 1012
5.97	o 4705
5.97	c 1009
5.97	o 4706
5.97	c 1008
5.99	o 4707
5.99	c 1007
5.99	o 4709
5.99	c 1005
10.61	o 4711
10.61	c 1003
10.61	o 4712
10.61	c 1002
10.62	o 4714
10.62	c 1000
10.62	o 4716
10.62	c 998
10.63	o 4719
10.63	c 995
10.63	o 4720
10.63	c 994
10.64	o 4721
10.64	c 993
10.64	o 4722
10.64	c 992
10.65	o 4723
10.65	c 991
10.65	o 4725
10.65	c 989
10.66	o 4726
10.66	c 988
10.66	o 4728
10.66	c 986
10.69	o 4729
10.69	c 985
10.70	o 4730
10.70	c 984
10.71	o 4732
10.71	c 982
10.73	o 4733
10.73	c 981
10.74	o 4735
10.74	c 979
10.74	o 4737
10.74	c 977
10.76	o 4738
10.76	c 976
10.76	o 4740
10.76	c 974
10.76	o 4741
10.76	c 973
26.19	   
26.19	   search
26.19	     run=0  nbConstraintChecks=102524703  nbAssignments=10000
26.19	       =>  wckTime=25.355  cpuTime=25.25  mem=8M490
26.90	o 4742
26.90	c 972
26.96	o 4743
26.96	c 971
26.96	o 4744
26.96	c 970
27.00	o 4745
27.00	c 969
27.05	o 4746
27.05	c 968
27.06	o 4747
27.06	c 967
27.22	o 4749
27.23	c 965
39.40	o 4750
39.40	c 964
39.41	o 4752
39.41	c 962
39.43	o 4754
39.43	c 960
39.44	o 4756
39.44	c 958
39.44	o 4757
39.44	c 957
39.45	o 4758
39.45	c 956
39.45	o 4760
39.45	c 954
39.46	o 4761
39.46	c 953
39.47	o 4762
39.47	c 952
55.12	   
55.12	   search
55.12	     run=1  nbConstraintChecks=224035683  nbAssignments=20000
55.12	       =>  wckTime=54.282  cpuTime=54.15  mem=8M490
69.59	   
69.59	   search
69.59	     run=2  nbConstraintChecks=281817824  nbAssignments=26266
69.59	       =>  wckTime=68.752  cpuTime=68.53  mem=8M490
69.59	   
69.59	   global
69.59	     nbConstraintChecks=281817824  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
69.59	     solvingWckTime=68.748  solvingCpuTime=68.53  expiredTime=no  totalExploration=no  nbFoundSolutions=0
69.59	     globalCpuTime=68.92
69.59	       =>  wckTime=69.302  cpuTime=68.88  mem=8M490
69.59	   
69.59	   solver IterativeSystematicSolver being built... 
69.74	       =>  wckTime=69.453  cpuTime=68.99  mem=21M299
69.77	   
69.77	   preprocessing
69.77	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
69.77	     detectedInconsistency=no
69.77	       =>  wckTime=0.029  cpuTime=0.02  mem=21M299
71.25	   
71.25	   search
71.25	     run=0  nbConstraintChecks=2469361  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=277
71.25	     nbFailedAssignments=17  nbBacktracks=10  nbVisitedNodes=305  nbRestartNogoods=0
71.25	       =>  wckTime=1.503  cpuTime=1.47  mem=21M299
73.05	   
73.05	   search
73.05	     run=1  nbConstraintChecks=5249554  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=570
73.05	     nbFailedAssignments=40  nbBacktracks=25  nbVisitedNodes=636  nbRestartNogoods=3
73.05	       =>  wckTime=3.303  cpuTime=3.24  mem=21M299
75.23	   
75.23	   search
75.23	     run=2  nbConstraintChecks=8127378  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=858
75.23	     nbFailedAssignments=70  nbBacktracks=47  nbVisitedNodes=976  nbRestartNogoods=6
75.23	       =>  wckTime=5.488  cpuTime=5.41  mem=21M299
77.81	   
77.81	   search
77.82	     run=3  nbConstraintChecks=11768375  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1190
77.82	     nbFailedAssignments=117  nbBacktracks=80  nbVisitedNodes=1388  nbRestartNogoods=9
77.82	       =>  wckTime=8.07  cpuTime=7.98  mem=21M299
81.82	   
81.82	   search
81.82	     run=4  nbConstraintChecks=16840885  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1575
81.82	     nbFailedAssignments=213  nbBacktracks=130  nbVisitedNodes=1919  nbRestartNogoods=16
81.82	       =>  wckTime=12.078  cpuTime=11.95  mem=21M299
87.88	   
87.88	   search
87.88	     run=5  nbConstraintChecks=23346508  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2027
87.88	     nbFailedAssignments=340  nbBacktracks=205  nbVisitedNodes=2573  nbRestartNogoods=21
87.88	       =>  wckTime=18.133  cpuTime=17.98  mem=21M299
94.49	   
94.49	   search
94.49	     run=6  nbConstraintChecks=30944785  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2527
94.49	     nbFailedAssignments=475  nbBacktracks=318  nbVisitedNodes=3321  nbRestartNogoods=29
94.49	       =>  wckTime=24.748  cpuTime=24.56  mem=21M299
103.35	   
103.35	   search
103.35	     run=7  nbConstraintChecks=41885638  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3181
103.35	     nbFailedAssignments=715  nbBacktracks=488  nbVisitedNodes=4385  nbRestartNogoods=35
103.35	       =>  wckTime=33.603  cpuTime=33.36  mem=22M274
118.99	   
118.99	   search
118.99	     run=8  nbConstraintChecks=59923621  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4144
118.99	     nbFailedAssignments=1181  nbBacktracks=744  nbVisitedNodes=6070  nbRestartNogoods=40
118.99	       =>  wckTime=49.251  cpuTime=48.91  mem=22M274
135.45	   
135.45	   search
135.45	     run=9  nbConstraintChecks=86118337  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5481
135.45	     nbFailedAssignments=1881  nbBacktracks=1128  nbVisitedNodes=8491  nbRestartNogoods=53
135.45	       =>  wckTime=65.71  cpuTime=65.29  mem=22M274
157.74	   
157.74	   search
157.74	     run=10  nbConstraintChecks=117749549  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7061
157.74	     nbFailedAssignments=2628  nbBacktracks=1704  nbVisitedNodes=11394  nbRestartNogoods=60
157.74	       =>  wckTime=87.997  cpuTime=87.45  mem=22M274
206.70	   
206.70	   search
206.70	     run=11  nbConstraintChecks=183397743  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=10148
206.70	     nbFailedAssignments=4602  nbBacktracks=2568  nbVisitedNodes=17319  nbRestartNogoods=64
206.70	       =>  wckTime=136.958  cpuTime=136.16  mem=22M274
269.34	   
269.34	   search
269.34	     run=12  nbConstraintChecks=263151619  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=13850
269.34	     nbFailedAssignments=6757  nbBacktracks=3865  nbVisitedNodes=24473  nbRestartNogoods=74
269.34	       =>  wckTime=199.6  cpuTime=198.5  mem=22M274
326.41	   
326.41	   search
326.41	     run=13  nbConstraintChecks=355507032  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=18211
326.41	     nbFailedAssignments=8927  nbBacktracks=5811  nbVisitedNodes=32950  nbRestartNogoods=83
326.41	       =>  wckTime=256.668  cpuTime=255.27  mem=22M274
445.27	   
445.27	   search
445.27	     run=14  nbConstraintChecks=527267498  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=26208
445.27	     nbFailedAssignments=13751  nbBacktracks=8730  nbVisitedNodes=48690  nbRestartNogoods=93
445.27	       =>  wckTime=375.531  cpuTime=373.52  mem=22M274
620.13	   
620.13	   search
620.13	     run=15  nbConstraintChecks=788522749  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=38109
620.13	     nbFailedAssignments=21031  nbBacktracks=13108  nbVisitedNodes=72249  nbRestartNogoods=101
620.13	       =>  wckTime=550.39  cpuTime=547.48  mem=22M274
950.17	   
950.18	   search
950.18	     run=16  nbConstraintChecks=1269063319  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=59356
950.18	     nbFailedAssignments=35456  nbBacktracks=19676  nbVisitedNodes=114489  nbRestartNogoods=113
950.18	       =>  wckTime=880.432  cpuTime=875.79  mem=22M274
1479.19	   
1479.19	   search
1479.19	     run=17  nbConstraintChecks=1865200545  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=85817
1479.19	     nbFailedAssignments=51820  nbBacktracks=29528  nbVisitedNodes=167166  nbRestartNogoods=123
1479.19	       =>  wckTime=1409.446  cpuTime=1402.08  mem=22M274
2158.33	   
2158.33	   search
2158.33	     run=18  nbConstraintChecks=2826476745  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=129201
2158.33	     nbFailedAssignments=80186  nbBacktracks=44306  nbVisitedNodes=253694  nbRestartNogoods=134
2158.33	       =>  wckTime=2088.583  cpuTime=2077.68  mem=22M274
2412.35	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/node42/watcher-282953-1169324344 -o ROOT/results/node42/solver-282953-1169324344 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282953-1169324344/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.00 2.00 1.90 4/74 16405
/proc/meminfo: memFree=1293880/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=172 CPUtime=0
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 280833619 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 12407588 0 0 4096 0 0 0 0 17 0 0 0
/proc/16404/statm: 43 24 18 14 0 3 0

[startup+0.10719 s]
/proc/loadavg: 2.00 2.00 1.90 4/74 16405
/proc/meminfo: memFree=1293880/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=914988 CPUtime=0.08
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 3074 0 1 0 7 1 0 0 24 0 8 0 280833619 936947712 2820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16404/statm: 228747 2820 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515234 s]
/proc/loadavg: 2.00 2.00 1.90 4/74 16405
/proc/meminfo: memFree=1293880/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=915332 CPUtime=0.49
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 6674 0 1 0 46 3 0 0 25 0 8 0 280833619 937299968 6413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16404/statm: 228833 6413 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33632 s]
/proc/loadavg: 2.08 2.02 1.91 3/81 16412
/proc/meminfo: memFree=1259008/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=915484 CPUtime=1.3
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 11390 0 1 0 120 10 0 0 25 0 8 0 280833619 937455616 11128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16404/statm: 228871 11128 2474 14 0 215341 0
[pid=16404/tid=16406] ppid=16402 vsize=915484 CPUtime=0.06
/proc/16404/task/16406/stat : 16406 (java) S 16402 16404 15535 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 280833623 937455616 11128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 15535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280833624 937455616 11128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 15535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280833624 937455616 11128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 15535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280833627 937455616 11128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=915484 CPUtime=0.18
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 15535 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 280833627 937455616 11128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=915488 CPUtime=0
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280833627 937459712 11128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=915488 CPUtime=0
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280833627 937459712 11128 18446744073709551615 134512640 134570532 4294956480 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.97351 s]
/proc/loadavg: 2.08 2.02 1.91 3/81 16412
/proc/meminfo: memFree=1258944/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=915484 CPUtime=2.92
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 11395 0 1 0 277 15 0 0 25 0 8 0 280833619 937455616 11132 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073844326 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16404/statm: 228871 11132 2476 14 0 215341 0
[pid=16404/tid=16406] ppid=16402 vsize=915484 CPUtime=0.06
/proc/16404/task/16406/stat : 16406 (java) S 16402 16404 15535 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 280833623 937455616 11132 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 15535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280833624 937455616 11132 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 15535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280833624 937455616 11132 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 15535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280833627 937455616 11132 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=915484 CPUtime=0.19
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 15535 0 -1 64 378 0 0 0 19 0 0 0 16 0 8 0 280833627 937455616 11132 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280833627 937455616 11132 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280833627 937455616 11132 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915484

[startup+6.17964 s]
/proc/loadavg: 2.08 2.02 1.91 4/81 16412
/proc/meminfo: memFree=1258944/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=915484 CPUtime=6.12
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 11397 0 1 0 586 26 0 0 25 0 8 0 280833619 937455616 11134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16404/statm: 228871 11134 2476 14 0 215341 0
[pid=16404/tid=16406] ppid=16402 vsize=915484 CPUtime=0.06
/proc/16404/task/16406/stat : 16406 (java) S 16402 16404 15535 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 280833623 937455616 11134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 15535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280833624 937455616 11134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 15535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280833624 937455616 11134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 15535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280833627 937455616 11134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=915484 CPUtime=0.19
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 15535 0 -1 64 380 0 0 0 19 0 0 0 16 0 8 0 280833627 937455616 11134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280833627 937455616 11134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280833627 937455616 11134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915484

[startup+12.6496 s]
/proc/loadavg: 2.07 2.02 1.91 3/81 16412
/proc/meminfo: memFree=1258944/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=915484 CPUtime=12.58
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 11398 0 1 0 1215 43 0 0 25 0 8 0 280833619 937455616 11135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073853686 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16404/statm: 228871 11135 2476 14 0 215341 0
[pid=16404/tid=16406] ppid=16402 vsize=915484 CPUtime=0.06
/proc/16404/task/16406/stat : 16406 (java) S 16402 16404 15535 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 280833623 937455616 11135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 15535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280833624 937455616 11135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 15535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280833624 937455616 11135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 15535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280833627 937455616 11135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=915484 CPUtime=0.19
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 15535 0 -1 64 381 0 0 0 19 0 0 0 16 0 8 0 280833627 937455616 11135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280833627 937455616 11135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280833627 937455616 11135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915484

[startup+25.511 s]
/proc/loadavg: 2.06 2.01 1.91 3/81 16412
/proc/meminfo: memFree=1258952/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=915484 CPUtime=25.42
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 11398 0 1 0 2464 78 0 0 25 0 8 0 280833619 937455616 11135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073844324 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16404/statm: 228871 11135 2476 14 0 215341 0
[pid=16404/tid=16406] ppid=16402 vsize=915484 CPUtime=0.06
/proc/16404/task/16406/stat : 16406 (java) S 16402 16404 15535 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 280833623 937455616 11135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 15535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280833624 937455616 11135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 15535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280833624 937455616 11135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 15535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280833627 937455616 11135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=915484 CPUtime=0.19
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 15535 0 -1 64 381 0 0 0 19 0 0 0 16 0 8 0 280833627 937455616 11135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280833627 937455616 11135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280833627 937455616 11135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 915484

[startup+51.1228 s]
/proc/loadavg: 2.10 2.03 1.91 3/81 16412
/proc/meminfo: memFree=1259016/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=915484 CPUtime=51.02
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 11402 0 1 0 4955 147 0 0 25 0 8 0 280833619 937455616 11139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073853686 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16404/statm: 228871 11139 2476 14 0 215341 0
[pid=16404/tid=16406] ppid=16402 vsize=915484 CPUtime=0.06
/proc/16404/task/16406/stat : 16406 (java) S 16402 16404 15535 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 280833623 937455616 11139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 15535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280833624 937455616 11139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 15535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280833624 937455616 11139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 15535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280833627 937455616 11139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=915484 CPUtime=0.2
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 15535 0 -1 64 385 0 0 0 20 0 0 0 15 0 8 0 280833627 937455616 11139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280833627 937455616 11139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280833627 937455616 11139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 915484

[startup+102.36 s]
/proc/loadavg: 2.04 2.02 1.91 3/81 16412
/proc/meminfo: memFree=1258760/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=915484 CPUtime=102
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 11573 0 1 0 9991 209 0 0 25 0 8 0 280833619 937455616 11298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918585 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16404/statm: 228871 11298 2528 14 0 215341 0
[pid=16404/tid=16406] ppid=16402 vsize=915484 CPUtime=0.06
/proc/16404/task/16406/stat : 16406 (java) S 16402 16404 15535 0 -1 64 905 0 0 0 6 0 0 0 16 0 8 0 280833623 937455616 11298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 15535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280833624 937455616 11298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 15535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280833624 937455616 11298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 15535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280833627 937455616 11298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=915484 CPUtime=0.32
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 15535 0 -1 64 453 0 0 0 31 1 0 0 16 0 8 0 280833627 937455616 11298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280833627 937455616 11298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280833627 937455616 11298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102
Current children cumulated vsize (KiB) 915484

[startup+162.441 s]
/proc/loadavg: 2.01 2.02 1.91 3/81 16414
/proc/meminfo: memFree=1258568/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=915484 CPUtime=161.76
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 11580 0 1 0 15967 209 0 0 25 0 8 0 280833619 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074077312 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+2084.98 s]
/proc/loadavg: 2.00 2.00 1.96 3/88 16496
/proc/meminfo: memFree=1253904/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=915484 CPUtime=2074.35
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 11580 0 1 0 207213 222 0 0 25 0 8 0 280833619 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074027271 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16404/statm: 228871 11302 2528 14 0 215341 0
[pid=16404/tid=16406] ppid=16402 vsize=915484 CPUtime=0.06
/proc/16404/task/16406/stat : 16406 (java) S 16402 16404 15535 0 -1 64 905 0 0 0 6 0 0 0 16 0 8 0 280833623 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 15535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280833624 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 15535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280833624 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 15535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=915484 CPUtime=0.33
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 15535 0 -1 64 459 0 0 0 32 1 0 0 16 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=915484 CPUtime=0.03
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 1 2 0 0 15 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2074.35
Current children cumulated vsize (KiB) 915484

[startup+2145.06 s]
/proc/loadavg: 2.00 2.00 1.96 3/88 16496
/proc/meminfo: memFree=1253904/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=915484 CPUtime=2134.14
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 11580 0 1 0 213191 223 0 0 25 0 8 0 280833619 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074043184 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16404/statm: 228871 11302 2528 14 0 215341 0
[pid=16404/tid=16406] ppid=16402 vsize=915484 CPUtime=0.06
/proc/16404/task/16406/stat : 16406 (java) S 16402 16404 15535 0 -1 64 905 0 0 0 6 0 0 0 16 0 8 0 280833623 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 15535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280833624 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 15535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280833624 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 15535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=915484 CPUtime=0.33
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 15535 0 -1 64 459 0 0 0 32 1 0 0 16 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=915484 CPUtime=0.03
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 1 2 0 0 15 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2134.14
Current children cumulated vsize (KiB) 915484

[startup+2205.15 s]
/proc/loadavg: 2.00 2.00 1.96 3/88 16496
/proc/meminfo: memFree=1253840/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=915484 CPUtime=2193.92
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 11580 0 1 0 219169 223 0 0 25 0 8 0 280833619 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073999732 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16404/statm: 228871 11302 2528 14 0 215341 0
[pid=16404/tid=16406] ppid=16402 vsize=915484 CPUtime=0.06
/proc/16404/task/16406/stat : 16406 (java) S 16402 16404 15535 0 -1 64 905 0 0 0 6 0 0 0 16 0 8 0 280833623 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 15535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280833624 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 15535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280833624 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 15535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=915484 CPUtime=0.33
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 15535 0 -1 64 459 0 0 0 32 1 0 0 16 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=915484 CPUtime=0.03
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 1 2 0 0 15 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2193.92
Current children cumulated vsize (KiB) 915484

[startup+2265.22 s]
/proc/loadavg: 2.07 2.03 1.97 3/88 16496
/proc/meminfo: memFree=1253904/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=915484 CPUtime=2253.67
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 11580 0 1 0 225144 223 0 0 25 0 8 0 280833619 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074043231 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16404/statm: 228871 11302 2528 14 0 215341 0
[pid=16404/tid=16406] ppid=16402 vsize=915484 CPUtime=0.06
/proc/16404/task/16406/stat : 16406 (java) S 16402 16404 15535 0 -1 64 905 0 0 0 6 0 0 0 16 0 8 0 280833623 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 15535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280833624 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 15535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280833624 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 15535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=915484 CPUtime=0.33
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 15535 0 -1 64 459 0 0 0 32 1 0 0 16 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=915484 CPUtime=0.03
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 1 2 0 0 15 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2253.67
Current children cumulated vsize (KiB) 915484

[startup+2325.3 s]
/proc/loadavg: 2.11 2.05 1.98 3/88 16496
/proc/meminfo: memFree=1253840/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=915484 CPUtime=2313.45
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 11580 0 1 0 231121 224 0 0 25 0 8 0 280833619 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073870085 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16404/statm: 228871 11302 2528 14 0 215341 0
[pid=16404/tid=16406] ppid=16402 vsize=915484 CPUtime=0.06
/proc/16404/task/16406/stat : 16406 (java) S 16402 16404 15535 0 -1 64 905 0 0 0 6 0 0 0 16 0 8 0 280833623 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 15535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280833624 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 15535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280833624 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 15535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=915484 CPUtime=0.33
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 15535 0 -1 64 459 0 0 0 32 1 0 0 16 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=915484 CPUtime=0.04
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 2 2 0 0 15 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2313.45
Current children cumulated vsize (KiB) 915484

[startup+2385.38 s]
/proc/loadavg: 2.07 2.05 1.98 3/88 16496
/proc/meminfo: memFree=1253840/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=915484 CPUtime=2373.23
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 11580 0 1 0 237099 224 0 0 25 0 8 0 280833619 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074043184 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16404/statm: 228871 11302 2528 14 0 215341 0
[pid=16404/tid=16406] ppid=16402 vsize=915484 CPUtime=0.06
/proc/16404/task/16406/stat : 16406 (java) S 16402 16404 15535 0 -1 64 905 0 0 0 6 0 0 0 16 0 8 0 280833623 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 15535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280833624 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 15535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280833624 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 15535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=915484 CPUtime=0.33
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 15535 0 -1 64 459 0 0 0 32 1 0 0 16 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=915484 CPUtime=0.04
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 2 2 0 0 15 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2373.23
Current children cumulated vsize (KiB) 915484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2412.34 s]
/proc/loadavg: 2.10 2.06 1.99 3/88 16496
/proc/meminfo: memFree=1253840/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=915484 CPUtime=2400.04
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 11580 0 1 0 239780 224 0 0 25 0 8 0 280833619 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918603 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16404/statm: 228871 11302 2528 14 0 215341 0
[pid=16404/tid=16406] ppid=16402 vsize=915484 CPUtime=0.06
/proc/16404/task/16406/stat : 16406 (java) S 16402 16404 15535 0 -1 64 905 0 0 0 6 0 0 0 16 0 8 0 280833623 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 15535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280833624 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 15535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280833624 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 15535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=915484 CPUtime=0.33
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 15535 0 -1 64 459 0 0 0 32 1 0 0 16 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=915484 CPUtime=0.04
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 2 2 0 0 15 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 915484

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

Child status: 143
Real time (s): 2412.42
CPU time (s): 2400.11
CPU user time (s): 2397.86
CPU system time (s): 2.25366
CPU usage (%): 99.49
Max. virtual memory (cumulated for all children) (KiB): 915488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.86
system time used= 2.25366
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11599
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= 50309
involuntary context switches= 83644

runsolver used 3.15052 s user time and 6.97194 s system time

The end

Launcher Data (download as text)

Begin job on node42 on Sat Jan 20 20:19:04 UTC 2007


IDJOB= 282953
IDBENCH= 12969
IDSOLVER= 69
FILE ID= node42/282953-1169324344

PBS_JOBID= 3610437

Free space on /tmp= 66560 MiB

SOLVER NAME= AbsconMax 109 PFC
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 pfc.xml 1 XSax /tmp/evaluation/282953-1169324344/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node42/watcher-282953-1169324344 -o ROOT/results/node42/solver-282953-1169324344 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282953-1169324344/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  9fdd938979bc7fe942d8a22c41b71010

RANDOM SEED= 512921731

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.229
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.229
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:       1294296 kB
Buffers:         50780 kB
Cached:         618628 kB
SwapCached:       2500 kB
Active:         137672 kB
Inactive:       548424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1294296 kB
SwapTotal:     4192956 kB
SwapFree:      4184856 kB
Dirty:            2052 kB
Writeback:           0 kB
Mapped:          25480 kB
Slab:            60844 kB
Committed_AS:  5510220 kB
PageTables:       1792 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= 66562 MiB



End job on node42 on Sat Jan 20 20:59:16 UTC 2007