Trace number 280694

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 PFCOPTIMUM 1214.04 1214.4

General information on the benchmark

NameMaxCSP/planning/
mprime04ac_ext.xml
MD5SUM02526a45032ca3b046b2ecaf504d94ef
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints24871
Best CPU time to get the best result obtained on this benchmark231.676
Satisfiable
(Un)Satisfiability was proved
Number of variables445
Number of constraints24874
Maximum constraint arity2
Maximum domain size20
Number of constraints which are defined in extension24874
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.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=pfc.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/280694-1169307293/unknown.xml
0.36	   
0.36	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.45	     nbVariables=445  nbDomainTypes=16  minDomainSize=1  maxDomainSize=20
0.45	       =>  wckTime=0.149  cpuTime=0.1  mem=7M885
0.45	   
0.45	   relations being loaded...
0.50	   
0.50	   constraints being loaded...
1.33	     nbConstraints=24165  nbRelationTypes=410  nbSingletonDomainVariables=1  nbExtensionStructures=3433
1.33	     nbSharedExtensionStructures=20732  nbConflictsStructures=3433  nbSharedConflictsStructures=20732
1.33	     nbSharedBinaryRepresentations=66604  maxDegree=1451  maxArity=2
1.33	       =>  wckTime=1.028  cpuTime=0.7  mem=41M266
1.51	   
1.51	   solver LocalSearchSolver being built... 
1.55	       =>  wckTime=1.25  cpuTime=0.75  mem=23M75
1.57	
1.57	s SATISFIABLE
1.57	o 22440
1.57	c 1725
1.58	o 22482
1.58	c 1683
1.58	o 22526
1.58	c 1639
1.59	o 22566
1.59	c 1599
1.59	o 22605
1.59	c 1560
1.60	o 22640
1.60	c 1525
1.60	o 22677
1.60	c 1488
1.60	o 22713
1.60	c 1452
1.60	o 22747
1.60	c 1418
1.60	o 22781
1.60	c 1384
1.61	o 22812
1.61	c 1353
1.61	o 22842
1.61	c 1323
1.61	o 22867
1.61	c 1298
1.62	o 22896
1.62	c 1269
1.62	o 22921
1.62	c 1244
1.62	o 22949
1.62	c 1216
1.62	o 22975
1.62	c 1190
1.62	o 23000
1.62	c 1165
1.63	o 23025
1.63	c 1140
1.63	o 23049
1.63	c 1116
1.63	o 23073
1.63	c 1092
1.63	o 23095
1.63	c 1070
1.64	o 23117
1.64	c 1048
1.64	o 23139
1.64	c 1026
1.64	o 23161
1.64	c 1004
1.64	o 23178
1.64	c 987
1.64	o 23190
1.64	c 975
1.64	o 23210
1.64	c 955
1.64	o 23230
1.64	c 935
1.65	o 23250
1.65	c 915
1.65	o 23269
1.65	c 896
1.65	o 23287
1.65	c 878
1.65	o 23306
1.65	c 859
1.65	o 23325
1.65	c 840
1.65	o 23338
1.65	c 827
1.65	o 23356
1.65	c 809
1.65	o 23372
1.65	c 793
1.66	o 23389
1.66	c 776
1.66	o 23406
1.66	c 759
1.66	o 23423
1.66	c 742
1.66	o 23439
1.66	c 726
1.66	o 23453
1.66	c 712
1.66	o 23467
1.66	c 698
1.66	o 23482
1.66	c 683
1.66	o 23497
1.66	c 668
1.66	o 23512
1.66	c 653
1.67	o 23526
1.67	c 639
1.67	o 23540
1.67	c 625
1.67	o 23549
1.67	c 616
1.67	o 23558
1.67	c 607
1.67	o 23571
1.67	c 594
1.67	o 23582
1.67	c 583
1.67	o 23592
1.67	c 573
1.68	o 23604
1.68	c 561
1.68	o 23615
1.68	c 550
1.68	o 23626
1.68	c 539
1.68	o 23637
1.68	c 528
1.68	o 23648
1.68	c 517
1.69	o 23658
1.69	c 507
1.69	o 23667
1.69	c 498
1.69	o 23677
1.69	c 488
1.69	o 23686
1.69	c 479
1.69	o 23695
1.69	c 470
1.69	o 23700
1.69	c 465
1.69	o 23703
1.69	c 462
1.69	o 23711
1.69	c 454
1.69	o 23718
1.69	c 447
1.70	o 23725
1.70	c 440
1.70	o 23732
1.70	c 433
1.70	o 23735
1.70	c 430
1.70	o 23739
1.70	c 426
1.70	o 23745
1.70	c 420
1.70	o 23751
1.70	c 414
1.70	o 23757
1.70	c 408
1.70	o 23762
1.70	c 403
1.71	o 23767
1.71	c 398
1.71	o 23770
1.71	c 395
1.71	o 23776
1.71	c 389
1.71	o 23781
1.71	c 384
1.71	o 23786
1.71	c 379
1.71	o 23790
1.71	c 375
1.71	o 23794
1.71	c 371
1.71	o 23797
1.71	c 368
1.71	o 23799
1.71	c 366
1.72	o 23800
1.72	c 365
1.72	o 23805
1.72	c 360
1.72	o 23812
1.72	c 353
1.72	o 23818
1.72	c 347
1.72	o 23821
1.72	c 344
1.72	o 23825
1.72	c 340
1.72	o 23829
1.72	c 336
1.72	o 23833
1.72	c 332
1.73	o 23837
1.73	c 328
1.73	o 23840
1.73	c 325
1.73	o 23842
1.73	c 323
1.73	o 23844
1.73	c 321
1.73	o 23846
1.73	c 319
1.73	o 23847
1.73	c 318
1.73	o 23848
1.73	c 317
1.74	o 23850
1.74	c 315
1.74	o 23851
1.74	c 314
1.74	o 23854
1.74	c 311
1.74	o 23857
1.74	c 308
1.75	o 23860
1.75	c 305
1.75	o 23864
1.75	c 301
1.75	o 23867
1.75	c 298
1.75	o 23870
1.75	c 295
1.75	o 23875
1.75	c 290
1.75	o 23876
1.75	c 289
1.75	o 23877
1.75	c 288
1.75	o 23880
1.76	c 285
1.76	o 23884
1.76	c 281
1.76	o 23887
1.76	c 278
1.76	o 23890
1.76	c 275
1.76	o 23893
1.76	c 272
1.76	o 23900
1.76	c 265
1.76	o 23903
1.76	c 262
1.76	o 23906
1.76	c 259
1.76	o 23909
1.76	c 256
1.76	o 23912
1.76	c 253
1.76	o 23914
1.76	c 251
1.76	o 23917
1.76	c 248
1.76	o 23920
1.76	c 245
1.76	o 23924
1.76	c 241
1.77	o 23927
1.77	c 238
1.77	o 23930
1.77	c 235
1.77	o 23932
1.77	c 233
1.77	o 23934
1.77	c 231
1.77	o 23936
1.77	c 229
1.77	o 23938
1.77	c 227
1.78	o 23940
1.78	c 225
1.78	o 23943
1.78	c 222
1.78	o 23945
1.78	c 220
1.78	o 23947
1.78	c 218
1.78	o 23949
1.78	c 216
1.78	o 23951
1.78	c 214
1.78	o 23953
1.78	c 212
1.78	o 23955
1.78	c 210
1.78	o 23957
1.78	c 208
1.79	o 23959
1.79	c 206
1.79	o 23961
1.79	c 204
1.79	o 23963
1.79	c 202
1.79	o 23967
1.79	c 198
1.79	o 23970
1.79	c 195
1.79	o 23973
1.79	c 192
1.79	o 23977
1.79	c 188
1.79	o 23979
1.79	c 186
1.80	o 23981
1.80	c 184
1.80	o 23983
1.80	c 182
1.80	o 23985
1.80	c 180
1.80	o 23990
1.80	c 175
1.80	o 23992
1.80	c 173
1.80	o 23994
1.80	c 171
1.80	o 23996
1.80	c 169
1.80	o 23999
1.80	c 166
1.81	o 24002
1.81	c 163
1.81	o 24004
1.81	c 161
1.81	o 24007
1.81	c 158
1.81	o 24009
1.81	c 156
1.81	o 24011
1.81	c 154
1.81	o 24013
1.81	c 152
1.81	o 24015
1.81	c 150
1.82	o 24018
1.82	c 147
1.82	o 24021
1.82	c 144
1.82	o 24022
1.82	c 143
1.82	o 24025
1.82	c 140
1.82	o 24027
1.82	c 138
1.82	o 24029
1.82	c 136
1.82	o 24031
1.82	c 134
1.82	o 24033
1.82	c 132
1.82	o 24035
1.82	c 130
1.82	o 24037
1.82	c 128
1.83	o 24039
1.83	c 126
1.83	o 24041
1.83	c 124
1.83	o 24043
1.83	c 122
1.83	o 24045
1.83	c 120
1.83	o 24047
1.83	c 118
1.83	o 24049
1.83	c 116
1.83	o 24052
1.83	c 113
1.84	o 24053
1.84	c 112
1.84	o 24055
1.84	c 110
1.84	o 24058
1.84	c 107
1.84	o 24061
1.84	c 104
1.84	o 24063
1.84	c 102
1.84	o 24065
1.84	c 100
1.84	o 24067
1.84	c 98
1.84	o 24069
1.84	c 96
1.85	o 24071
1.85	c 94
1.85	o 24073
1.85	c 92
1.85	o 24075
1.85	c 90
1.85	o 24077
1.85	c 88
1.85	o 24079
1.85	c 86
1.85	o 24082
1.85	c 83
1.85	o 24084
1.85	c 81
1.85	o 24086
1.85	c 79
1.85	o 24088
1.85	c 77
1.85	o 24090
1.85	c 75
1.85	o 24094
1.85	c 71
1.85	o 24096
1.85	c 69
1.85	o 24098
1.85	c 67
1.86	o 24100
1.86	c 65
1.86	o 24101
1.86	c 64
1.86	o 24103
1.86	c 62
1.86	o 24104
1.86	c 61
1.86	o 24105
1.86	c 60
1.86	o 24106
1.86	c 59
1.86	o 24107
1.86	c 58
1.86	o 24109
1.86	c 56
1.87	o 24110
1.87	c 55
1.87	o 24111
1.87	c 54
1.87	o 24112
1.87	c 53
1.87	o 24113
1.87	c 52
1.87	o 24114
1.87	c 51
1.87	o 24115
1.87	c 50
1.87	o 24116
1.87	c 49
1.87	o 24117
1.87	c 48
1.87	o 24118
1.87	c 47
1.88	o 24119
1.88	c 46
1.88	o 24120
1.88	c 45
1.88	o 24121
1.88	c 44
1.88	o 24122
1.88	c 43
1.88	o 24123
1.88	c 42
1.88	o 24124
1.88	c 41
1.88	o 24125
1.88	c 40
1.88	o 24126
1.88	c 39
1.88	o 24127
1.88	c 38
1.88	o 24128
1.88	c 37
1.89	o 24129
1.89	c 36
1.89	o 24131
1.89	c 34
1.89	o 24132
1.89	c 33
1.89	o 24133
1.89	c 32
1.89	o 24135
1.89	c 30
1.89	o 24137
1.89	c 28
1.90	o 24138
1.90	c 27
1.90	o 24139
1.90	c 26
1.90	o 24141
1.90	c 24
1.90	o 24143
1.90	c 22
1.90	o 24145
1.90	c 20
1.90	o 24146
1.90	c 19
1.90	o 24147
1.90	c 18
1.90	o 24149
1.90	c 16
1.90	o 24151
1.90	c 14
1.90	o 24153
1.90	c 12
1.90	o 24154
1.90	c 11
1.91	o 24155
1.91	c 10
1.91	o 24156
1.91	c 9
1.98	o 24157
1.98	c 8
1.98	o 24159
1.98	c 6
2.02	o 24161
2.02	c 4
2.32	o 24162
2.32	c 3
32.35	   
32.35	   search
32.35	     run=0  nbConstraintChecks=153274862  nbAssignments=8920
32.35	       =>  wckTime=30.799  cpuTime=30.77  mem=23M75
32.35	   
32.35	   global
32.35	     nbConstraintChecks=153274862  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
32.35	     solvingWckTime=30.796  solvingCpuTime=30.76  expiredTime=no  totalExploration=no  nbFoundSolutions=0
32.35	     globalCpuTime=31.57
32.35	       =>  wckTime=32.05  cpuTime=31.51  mem=23M75
32.35	   
32.35	   solver IterativeSystematicSolver being built... 
32.53	       =>  wckTime=32.231  cpuTime=31.65  mem=37M167
32.59	   
32.59	   preprocessing
32.60	     nbConstraintChecks=1717  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
32.60	     detectedInconsistency=no
32.60	       =>  wckTime=0.057  cpuTime=0.04  mem=37M167
47.02	   
47.02	   search
47.02	     run=0  nbConstraintChecks=18643053  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=438
47.02	     nbFailedAssignments=2  nbBacktracks=173  nbVisitedNodes=462  nbRestartNogoods=0
47.02	       =>  wckTime=14.49  cpuTime=14.45  mem=38M171
61.66	   
61.66	   search
61.66	     run=1  nbConstraintChecks=37314630  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=876
61.66	     nbFailedAssignments=4  nbBacktracks=348  nbVisitedNodes=924  nbRestartNogoods=1
61.66	       =>  wckTime=29.131  cpuTime=29.06  mem=38M171
76.24	   
76.24	   search
76.24	     run=2  nbConstraintChecks=55950460  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1314
76.24	     nbFailedAssignments=6  nbBacktracks=522  nbVisitedNodes=1385  nbRestartNogoods=2
76.24	       =>  wckTime=43.704  cpuTime=43.63  mem=38M171
91.06	   
91.06	   search
91.06	     run=3  nbConstraintChecks=74614815  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1752
91.06	     nbFailedAssignments=8  nbBacktracks=698  nbVisitedNodes=1847  nbRestartNogoods=3
91.06	       =>  wckTime=58.526  cpuTime=58.42  mem=38M171
105.55	   
105.55	   search
105.55	     run=4  nbConstraintChecks=93250653  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2190
105.55	     nbFailedAssignments=10  nbBacktracks=872  nbVisitedNodes=2308  nbRestartNogoods=4
105.55	       =>  wckTime=73.016  cpuTime=72.9  mem=38M171
120.37	   
120.37	   search
120.37	     run=5  nbConstraintChecks=111940530  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2629
120.37	     nbFailedAssignments=12  nbBacktracks=1049  nbVisitedNodes=2771  nbRestartNogoods=5
120.37	       =>  wckTime=87.843  cpuTime=87.72  mem=38M171
134.85	   
134.85	   search
134.85	     run=6  nbConstraintChecks=130594660  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3068
134.85	     nbFailedAssignments=14  nbBacktracks=1225  nbVisitedNodes=3233  nbRestartNogoods=6
134.85	       =>  wckTime=102.322  cpuTime=102.2  mem=38M171
149.46	   
149.46	   search
149.46	     run=7  nbConstraintChecks=149302835  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3508
149.46	     nbFailedAssignments=16  nbBacktracks=1404  nbVisitedNodes=3697  nbRestartNogoods=7
149.46	       =>  wckTime=116.934  cpuTime=116.8  mem=38M171
179.51	   
179.51	   search
179.51	     run=8  nbConstraintChecks=174176716  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4039
179.51	     nbFailedAssignments=26  nbBacktracks=1665  nbVisitedNodes=4335  nbRestartNogoods=8
179.51	       =>  wckTime=146.978  cpuTime=146.83  mem=38M171
235.91	   
235.91	   search
235.91	     run=9  nbConstraintChecks=210205973  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4717
235.91	     nbFailedAssignments=59  nbBacktracks=2049  nbVisitedNodes=5241  nbRestartNogoods=10
235.91	       =>  wckTime=203.376  cpuTime=203.21  mem=38M171
310.97	   
310.97	   search
310.97	     run=10  nbConstraintChecks=257046247  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5600
310.97	     nbFailedAssignments=106  nbBacktracks=2626  nbVisitedNodes=6467  nbRestartNogoods=14
310.97	       =>  wckTime=278.438  cpuTime=278.26  mem=38M171
428.82	   
428.82	   search
428.82	     run=11  nbConstraintChecks=323151061  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6800
428.82	     nbFailedAssignments=182  nbBacktracks=3493  nbVisitedNodes=8181  nbRestartNogoods=17
428.82	       =>  wckTime=396.289  cpuTime=396.08  mem=38M171
608.42	   
608.42	   search
608.42	     run=12  nbConstraintChecks=419222274  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=8556
608.42	     nbFailedAssignments=380  nbBacktracks=4794  nbVisitedNodes=10801  nbRestartNogoods=22
608.42	       =>  wckTime=575.887  cpuTime=575.63  mem=38M171
898.71	   
898.71	   search
898.71	     run=13  nbConstraintChecks=559260734  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=10930
898.71	     nbFailedAssignments=446  nbBacktracks=6777  nbVisitedNodes=14658  nbRestartNogoods=27
898.71	       =>  wckTime=866.181  cpuTime=865.86  mem=38M171
1090.93	   
1090.94	   search
1090.94	     run=14  nbConstraintChecks=755018903  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=14379
1090.94	     nbFailedAssignments=581  nbBacktracks=9727  nbVisitedNodes=20301  nbRestartNogoods=28
1090.94	       =>  wckTime=1058.404  cpuTime=1058.04  mem=38M171
1214.36	   
1214.36	   search
1214.36	     run=15  nbConstraintChecks=778185698  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=14541
1214.36	     nbFailedAssignments=591  nbBacktracks=9880  nbVisitedNodes=20614  nbRestartNogoods=32
1214.36	       =>  wckTime=1181.828  cpuTime=1181.42  mem=38M171
1214.36	   
1214.36	   global
1214.36	     nbConstraintChecks=778187415  nbRestartNogoods=32  solvingWckTime=1181.829  solvingCpuTime=1181.42  expiredTime=no
1214.36	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=1213.13
1214.36	       =>  wckTime=1214.061  cpuTime=1213.07  mem=38M171
1214.36	
1214.36	s OPTIMUM FOUND
1214.36	v 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 -1 
1214.36	   
1214.36	   totalWckTime=1214.135  totalCpuTime=1213.15

Verifier Data (download as text)

3 unsatisfied constraints, 24871 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/node72/watcher-280694-1169307293 -o ROOT/results/node72/solver-280694-1169307293 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280694-1169307293/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: 1.05 1.55 1.82 3/78 28453
/proc/meminfo: memFree=1677536/2055920 swapFree=4191880/4192956
[pid=28452] ppid=28450 vsize=292 CPUtime=0
/proc/28452/stat : 28452 (java) R 28450 28452 27432 0 -1 0 52 0 0 0 0 0 0 0 19 0 1 0 279138179 299008 35 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 2536228 0 0 4096 0 0 0 0 17 1 0 0
/proc/28452/statm: 73 35 27 14 0 5 0

[startup+0.104825 s]
/proc/loadavg: 1.05 1.55 1.82 3/78 28453
/proc/meminfo: memFree=1677536/2055920 swapFree=4191880/4192956
[pid=28452] ppid=28450 vsize=914988 CPUtime=0.08
/proc/28452/stat : 28452 (java) R 28450 28452 27432 0 -1 0 3010 0 1 0 7 1 0 0 16 0 8 0 279138179 936947712 2756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28452/statm: 228747 2757 1433 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.513855 s]
/proc/loadavg: 1.05 1.55 1.82 3/78 28453
/proc/meminfo: memFree=1677536/2055920 swapFree=4191880/4192956
[pid=28452] ppid=28450 vsize=915332 CPUtime=0.48
/proc/28452/stat : 28452 (java) R 28450 28452 27432 0 -1 0 6466 0 1 0 45 3 0 0 16 0 8 0 279138179 937299968 6205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073573792 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28452/statm: 228833 6205 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.33393 s]
/proc/loadavg: 1.05 1.55 1.82 2/85 28460
/proc/meminfo: memFree=1610088/2055920 swapFree=4191880/4192956
[pid=28452] ppid=28450 vsize=915632 CPUtime=1.3
/proc/28452/stat : 28452 (java) S 28450 28452 27432 0 -1 0 20152 0 1 0 120 10 0 0 16 0 8 0 279138179 937607168 19890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28452/statm: 228908 19890 2169 14 0 215378 0
[pid=28452/tid=28454] ppid=28450 vsize=915632 CPUtime=0.15
/proc/28452/task/28454/stat : 28454 (java) S 28450 28452 27432 0 -1 64 3540 0 0 0 14 1 0 0 18 0 8 0 279138183 937607168 19890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28455] ppid=28450 vsize=915632 CPUtime=0
/proc/28452/task/28455/stat : 28455 (java) S 28450 28452 27432 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279138184 937607168 19890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28456] ppid=28450 vsize=915632 CPUtime=0
/proc/28452/task/28456/stat : 28456 (java) S 28450 28452 27432 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 279138184 937607168 19890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28457] ppid=28450 vsize=915632 CPUtime=0
/proc/28452/task/28457/stat : 28457 (java) S 28450 28452 27432 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138187 937607168 19890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28458] ppid=28450 vsize=915632 CPUtime=0.18
/proc/28452/task/28458/stat : 28458 (java) R 28450 28452 27432 0 -1 64 429 0 0 0 18 0 0 0 16 0 8 0 279138187 937607168 19890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28459] ppid=28450 vsize=915632 CPUtime=0
/proc/28452/task/28459/stat : 28459 (java) S 28450 28452 27432 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279138187 937607168 19890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28460] ppid=28450 vsize=915632 CPUtime=0
/proc/28452/task/28460/stat : 28460 (java) S 28450 28452 27432 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279138187 937607168 19890 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) 915632

[startup+2.97007 s]
/proc/loadavg: 1.05 1.55 1.82 2/85 28460
/proc/meminfo: memFree=1596392/2055920 swapFree=4191880/4192956
[pid=28452] ppid=28450 vsize=915708 CPUtime=2.94
/proc/28452/stat : 28452 (java) R 28450 28452 27432 0 -1 0 22951 0 1 0 276 18 0 0 17 0 8 0 279138179 937684992 22662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28452/statm: 228927 22662 2480 14 0 215397 0
[pid=28452/tid=28454] ppid=28450 vsize=915708 CPUtime=0.32
/proc/28452/task/28454/stat : 28454 (java) S 28450 28452 27432 0 -1 64 5982 0 0 0 30 2 0 0 16 0 8 0 279138183 937684992 22662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28455] ppid=28450 vsize=915708 CPUtime=0
/proc/28452/task/28455/stat : 28455 (java) S 28450 28452 27432 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279138184 937684992 22662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28456] ppid=28450 vsize=915708 CPUtime=0
/proc/28452/task/28456/stat : 28456 (java) S 28450 28452 27432 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138184 937684992 22662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28457] ppid=28450 vsize=915708 CPUtime=0
/proc/28452/task/28457/stat : 28457 (java) S 28450 28452 27432 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138187 937684992 22662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28458] ppid=28450 vsize=915708 CPUtime=0.21
/proc/28452/task/28458/stat : 28458 (java) S 28450 28452 27432 0 -1 64 452 0 0 0 21 0 0 0 16 0 8 0 279138187 937684992 22662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28459] ppid=28450 vsize=915708 CPUtime=0
/proc/28452/task/28459/stat : 28459 (java) S 28450 28452 27432 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279138187 937684992 22662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28460] ppid=28450 vsize=915708 CPUtime=0
/proc/28452/task/28460/stat : 28460 (java) S 28450 28452 27432 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279138187 937684992 22662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915708

[startup+6.25337 s]
/proc/loadavg: 1.05 1.54 1.82 2/85 28460
/proc/meminfo: memFree=1596328/2055920 swapFree=4191880/4192956
[pid=28452] ppid=28450 vsize=915708 CPUtime=6.22
/proc/28452/stat : 28452 (java) R 28450 28452 27432 0 -1 0 22954 0 1 0 597 25 0 0 18 0 8 0 279138179 937684992 22665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073934554 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28452/statm: 228927 22665 2480 14 0 215397 0
[pid=28452/tid=28454] ppid=28450 vsize=915708 CPUtime=0.32
/proc/28452/task/28454/stat : 28454 (java) S 28450 28452 27432 0 -1 64 5982 0 0 0 30 2 0 0 16 0 8 0 279138183 937684992 22665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28455] ppid=28450 vsize=915708 CPUtime=0
/proc/28452/task/28455/stat : 28455 (java) S 28450 28452 27432 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279138184 937684992 22665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28456] ppid=28450 vsize=915708 CPUtime=0
/proc/28452/task/28456/stat : 28456 (java) S 28450 28452 27432 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138184 937684992 22665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28457] ppid=28450 vsize=915708 CPUtime=0
/proc/28452/task/28457/stat : 28457 (java) S 28450 28452 27432 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138187 937684992 22665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28458] ppid=28450 vsize=915708 CPUtime=0.21
/proc/28452/task/28458/stat : 28458 (java) S 28450 28452 27432 0 -1 64 455 0 0 0 21 0 0 0 16 0 8 0 279138187 937684992 22665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28459] ppid=28450 vsize=915708 CPUtime=0
/proc/28452/task/28459/stat : 28459 (java) S 28450 28452 27432 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279138187 937684992 22665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28460] ppid=28450 vsize=915708 CPUtime=0
/proc/28452/task/28460/stat : 28460 (java) S 28450 28452 27432 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279138187 937684992 22665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915708

[startup+12.7289 s]
/proc/loadavg: 1.04 1.53 1.81 2/85 28460
/proc/meminfo: memFree=1596328/2055920 swapFree=4191880/4192956
[pid=28452] ppid=28450 vsize=915708 CPUtime=12.69
/proc/28452/stat : 28452 (java) R 28450 28452 27432 0 -1 0 22954 0 1 0 1234 35 0 0 18 0 8 0 279138179 937684992 22665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073933636 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28452/statm: 228927 22665 2480 14 0 215397 0
[pid=28452/tid=28454] ppid=28450 vsize=915708 CPUtime=0.32
/proc/28452/task/28454/stat : 28454 (java) S 28450 28452 27432 0 -1 64 5982 0 0 0 30 2 0 0 16 0 8 0 279138183 937684992 22665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28455] ppid=28450 vsize=915708 CPUtime=0
/proc/28452/task/28455/stat : 28455 (java) S 28450 28452 27432 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279138184 937684992 22665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28456] ppid=28450 vsize=915708 CPUtime=0
/proc/28452/task/28456/stat : 28456 (java) S 28450 28452 27432 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138184 937684992 22665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28457] ppid=28450 vsize=915708 CPUtime=0
/proc/28452/task/28457/stat : 28457 (java) S 28450 28452 27432 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138187 937684992 22665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28458] ppid=28450 vsize=915708 CPUtime=0.21
/proc/28452/task/28458/stat : 28458 (java) S 28450 28452 27432 0 -1 64 455 0 0 0 21 0 0 0 16 0 8 0 279138187 937684992 22665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28459] ppid=28450 vsize=915708 CPUtime=0
/proc/28452/task/28459/stat : 28459 (java) S 28450 28452 27432 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279138187 937684992 22665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28460] ppid=28450 vsize=915708 CPUtime=0
/proc/28452/task/28460/stat : 28460 (java) S 28450 28452 27432 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279138187 937684992 22665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915708

[startup+25.5821 s]
/proc/loadavg: 1.04 1.51 1.80 2/85 28460
/proc/meminfo: memFree=1596456/2055920 swapFree=4191880/4192956
[pid=28452] ppid=28450 vsize=915708 CPUtime=25.54
/proc/28452/stat : 28452 (java) R 28450 28452 27432 0 -1 0 22954 0 1 0 2499 55 0 0 25 0 8 0 279138179 937684992 22665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073934583 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28452/statm: 228927 22665 2480 14 0 215397 0
[pid=28452/tid=28454] ppid=28450 vsize=915708 CPUtime=0.32
/proc/28452/task/28454/stat : 28454 (java) S 28450 28452 27432 0 -1 64 5982 0 0 0 30 2 0 0 16 0 8 0 279138183 937684992 22665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28455] ppid=28450 vsize=915708 CPUtime=0
/proc/28452/task/28455/stat : 28455 (java) S 28450 28452 27432 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279138184 937684992 22665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28456] ppid=28450 vsize=915708 CPUtime=0
/proc/28452/task/28456/stat : 28456 (java) S 28450 28452 27432 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138184 937684992 22665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28457] ppid=28450 vsize=915708 CPUtime=0
/proc/28452/task/28457/stat : 28457 (java) S 28450 28452 27432 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138187 937684992 22665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28458] ppid=28450 vsize=915708 CPUtime=0.21
/proc/28452/task/28458/stat : 28458 (java) S 28450 28452 27432 0 -1 64 455 0 0 0 21 0 0 0 16 0 8 0 279138187 937684992 22665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28459] ppid=28450 vsize=915708 CPUtime=0
/proc/28452/task/28459/stat : 28459 (java) S 28450 28452 27432 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279138187 937684992 22665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28460] ppid=28450 vsize=915708 CPUtime=0
/proc/28452/task/28460/stat : 28460 (java) S 28450 28452 27432 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279138187 937684992 22665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915708

[startup+51.2544 s]
/proc/loadavg: 1.02 1.46 1.78 2/85 28460
/proc/meminfo: memFree=1596200/2055920 swapFree=4191880/4192956
[pid=28452] ppid=28450 vsize=915844 CPUtime=51.2
/proc/28452/stat : 28452 (java) R 28450 28452 27432 0 -1 0 23143 0 1 0 5056 64 0 0 19 0 8 0 279138179 937824256 22845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074094025 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28452/statm: 228961 22845 2532 14 0 215431 0
[pid=28452/tid=28454] ppid=28450 vsize=915844 CPUtime=0.32
/proc/28452/task/28454/stat : 28454 (java) S 28450 28452 27432 0 -1 64 5983 0 0 0 30 2 0 0 16 0 8 0 279138183 937824256 22845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28455] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28455/stat : 28455 (java) S 28450 28452 27432 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279138184 937824256 22845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28456] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28456/stat : 28456 (java) S 28450 28452 27432 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138184 937824256 22845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28457] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28457/stat : 28457 (java) S 28450 28452 27432 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138187 937824256 22845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28458] ppid=28450 vsize=915844 CPUtime=0.31
/proc/28452/task/28458/stat : 28458 (java) S 28450 28452 27432 0 -1 64 522 0 0 0 30 1 0 0 16 0 8 0 279138187 937824256 22845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28452/tid=28459] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28459/stat : 28459 (java) S 28450 28452 27432 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279138187 937824256 22845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28460] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28460/stat : 28460 (java) S 28450 28452 27432 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279138187 937824256 22845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 915844

[startup+102.516 s]
/proc/loadavg: 1.01 1.39 1.73 2/85 28460
/proc/meminfo: memFree=1596072/2055920 swapFree=4191880/4192956
[pid=28452] ppid=28450 vsize=915844 CPUtime=102.44
/proc/28452/stat : 28452 (java) R 28450 28452 27432 0 -1 0 23166 0 1 0 10179 65 0 0 25 0 8 0 279138179 937824256 22858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074161049 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28452/statm: 228961 22858 2532 14 0 215431 0
[pid=28452/tid=28454] ppid=28450 vsize=915844 CPUtime=0.32
/proc/28452/task/28454/stat : 28454 (java) S 28450 28452 27432 0 -1 64 5983 0 0 0 30 2 0 0 16 0 8 0 279138183 937824256 22858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28455] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28455/stat : 28455 (java) S 28450 28452 27432 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279138184 937824256 22858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28456] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28456/stat : 28456 (java) S 28450 28452 27432 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138184 937824256 22858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28457] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28457/stat : 28457 (java) S 28450 28452 27432 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138187 937824256 22858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28458] ppid=28450 vsize=915844 CPUtime=0.33
/proc/28452/task/28458/stat : 28458 (java) S 28450 28452 27432 0 -1 64 541 0 0 0 32 1 0 0 16 0 8 0 279138187 937824256 22858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28452/tid=28459] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28459/stat : 28459 (java) S 28450 28452 27432 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279138187 937824256 22858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28460] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28460/stat : 28460 (java) S 28450 28452 27432 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279138187 937824256 22858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.44
Current children cumulated vsize (KiB) 915844

[startup+162.614 s]
/proc/loadavg: 1.00 1.32 1.68 2/85 28460
/proc/meminfo: memFree=1596080/2055920 swapFree=4191880/4192956
[pid=28452] ppid=28450 vsize=915844 CPUtime=162.52
/proc/28452/stat : 28452 (java) R 28450 28452 27432 0 -1 0 23169 0 1 0 16187 65 0 0 25 0 8 0 279138179 937824256 22860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074135703 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

/proc/28452/task/28457/stat : 28457 (java) S 28450 28452 27432 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138187 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28458] ppid=28450 vsize=915844 CPUtime=0.35
/proc/28452/task/28458/stat : 28458 (java) S 28450 28452 27432 0 -1 64 547 0 0 0 34 1 0 0 16 0 8 0 279138187 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28452/tid=28459] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28459/stat : 28459 (java) S 28450 28452 27432 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279138187 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28460] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28460/stat : 28460 (java) S 28450 28452 27432 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279138187 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 763.26
Current children cumulated vsize (KiB) 915844

[startup+823.598 s]
/proc/loadavg: 1.03 1.03 1.32 2/85 28460
/proc/meminfo: memFree=1596016/2055920 swapFree=4191880/4192956
[pid=28452] ppid=28450 vsize=915844 CPUtime=823.34
/proc/28452/stat : 28452 (java) R 28450 28452 27432 0 -1 0 23177 0 1 0 82263 71 0 0 25 0 8 0 279138179 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074135664 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28452/statm: 228961 22864 2532 14 0 215431 0
[pid=28452/tid=28454] ppid=28450 vsize=915844 CPUtime=0.32
/proc/28452/task/28454/stat : 28454 (java) S 28450 28452 27432 0 -1 64 5983 0 0 0 30 2 0 0 16 0 8 0 279138183 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28455] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28455/stat : 28455 (java) S 28450 28452 27432 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279138184 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28456] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28456/stat : 28456 (java) S 28450 28452 27432 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138184 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28457] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28457/stat : 28457 (java) S 28450 28452 27432 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138187 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28458] ppid=28450 vsize=915844 CPUtime=0.35
/proc/28452/task/28458/stat : 28458 (java) S 28450 28452 27432 0 -1 64 547 0 0 0 34 1 0 0 16 0 8 0 279138187 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28452/tid=28459] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28459/stat : 28459 (java) S 28450 28452 27432 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279138187 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28460] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28460/stat : 28460 (java) S 28450 28452 27432 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279138187 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 823.34
Current children cumulated vsize (KiB) 915844

[startup+883.696 s]
/proc/loadavg: 1.06 1.04 1.30 2/85 28460
/proc/meminfo: memFree=1595952/2055920 swapFree=4191880/4192956
[pid=28452] ppid=28450 vsize=915844 CPUtime=883.42
/proc/28452/stat : 28452 (java) R 28450 28452 27432 0 -1 0 23177 0 1 0 88271 71 0 0 25 0 8 0 279138179 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074199946 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28452/statm: 228961 22864 2532 14 0 215431 0
[pid=28452/tid=28454] ppid=28450 vsize=915844 CPUtime=0.32
/proc/28452/task/28454/stat : 28454 (java) S 28450 28452 27432 0 -1 64 5983 0 0 0 30 2 0 0 16 0 8 0 279138183 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28455] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28455/stat : 28455 (java) S 28450 28452 27432 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279138184 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28456] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28456/stat : 28456 (java) S 28450 28452 27432 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138184 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28457] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28457/stat : 28457 (java) S 28450 28452 27432 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138187 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28458] ppid=28450 vsize=915844 CPUtime=0.35
/proc/28452/task/28458/stat : 28458 (java) S 28450 28452 27432 0 -1 64 547 0 0 0 34 1 0 0 16 0 8 0 279138187 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28452/tid=28459] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28459/stat : 28459 (java) S 28450 28452 27432 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279138187 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28460] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28460/stat : 28460 (java) S 28450 28452 27432 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279138187 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 883.42
Current children cumulated vsize (KiB) 915844

[startup+943.799 s]
/proc/loadavg: 1.02 1.03 1.28 2/85 28460
/proc/meminfo: memFree=1595952/2055920 swapFree=4191880/4192956
[pid=28452] ppid=28450 vsize=915844 CPUtime=943.51
/proc/28452/stat : 28452 (java) R 28450 28452 27432 0 -1 0 23177 0 1 0 94279 72 0 0 25 0 8 0 279138179 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074111347 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28452/statm: 228961 22864 2532 14 0 215431 0
[pid=28452/tid=28454] ppid=28450 vsize=915844 CPUtime=0.32
/proc/28452/task/28454/stat : 28454 (java) S 28450 28452 27432 0 -1 64 5983 0 0 0 30 2 0 0 16 0 8 0 279138183 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28455] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28455/stat : 28455 (java) S 28450 28452 27432 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279138184 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28456] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28456/stat : 28456 (java) S 28450 28452 27432 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138184 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28457] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28457/stat : 28457 (java) S 28450 28452 27432 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138187 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28458] ppid=28450 vsize=915844 CPUtime=0.35
/proc/28452/task/28458/stat : 28458 (java) S 28450 28452 27432 0 -1 64 547 0 0 0 34 1 0 0 16 0 8 0 279138187 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28452/tid=28459] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28459/stat : 28459 (java) S 28450 28452 27432 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279138187 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28460] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28460/stat : 28460 (java) S 28450 28452 27432 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279138187 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 943.51
Current children cumulated vsize (KiB) 915844

[startup+1003.9 s]
/proc/loadavg: 1.00 1.02 1.26 2/85 28460
/proc/meminfo: memFree=1595888/2055920 swapFree=4191880/4192956
[pid=28452] ppid=28450 vsize=915844 CPUtime=1003.6
/proc/28452/stat : 28452 (java) R 28450 28452 27432 0 -1 0 23177 0 1 0 100287 73 0 0 25 0 8 0 279138179 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074095008 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28452/statm: 228961 22864 2532 14 0 215431 0
[pid=28452/tid=28454] ppid=28450 vsize=915844 CPUtime=0.32
/proc/28452/task/28454/stat : 28454 (java) S 28450 28452 27432 0 -1 64 5983 0 0 0 30 2 0 0 16 0 8 0 279138183 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28455] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28455/stat : 28455 (java) S 28450 28452 27432 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279138184 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28456] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28456/stat : 28456 (java) S 28450 28452 27432 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138184 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28457] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28457/stat : 28457 (java) S 28450 28452 27432 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138187 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28458] ppid=28450 vsize=915844 CPUtime=0.35
/proc/28452/task/28458/stat : 28458 (java) S 28450 28452 27432 0 -1 64 547 0 0 0 34 1 0 0 16 0 8 0 279138187 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28452/tid=28459] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28459/stat : 28459 (java) S 28450 28452 27432 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279138187 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28460] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28460/stat : 28460 (java) S 28450 28452 27432 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279138187 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1003.6
Current children cumulated vsize (KiB) 915844

[startup+1063.99 s]
/proc/loadavg: 1.00 1.02 1.24 2/85 28460
/proc/meminfo: memFree=1595952/2055920 swapFree=4191880/4192956
[pid=28452] ppid=28450 vsize=915844 CPUtime=1063.68
/proc/28452/stat : 28452 (java) R 28450 28452 27432 0 -1 0 23177 0 1 0 106295 73 0 0 25 0 8 0 279138179 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28452/statm: 228961 22864 2532 14 0 215431 0
[pid=28452/tid=28454] ppid=28450 vsize=915844 CPUtime=0.32
/proc/28452/task/28454/stat : 28454 (java) S 28450 28452 27432 0 -1 64 5983 0 0 0 30 2 0 0 16 0 8 0 279138183 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28455] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28455/stat : 28455 (java) S 28450 28452 27432 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279138184 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28456] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28456/stat : 28456 (java) S 28450 28452 27432 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138184 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28457] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28457/stat : 28457 (java) S 28450 28452 27432 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138187 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28458] ppid=28450 vsize=915844 CPUtime=0.35
/proc/28452/task/28458/stat : 28458 (java) S 28450 28452 27432 0 -1 64 547 0 0 0 34 1 0 0 16 0 8 0 279138187 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28452/tid=28459] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28459/stat : 28459 (java) S 28450 28452 27432 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279138187 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28460] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28460/stat : 28460 (java) S 28450 28452 27432 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279138187 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1063.68
Current children cumulated vsize (KiB) 915844

[startup+1124 s]
/proc/loadavg: 1.00 1.01 1.22 2/85 28460
/proc/meminfo: memFree=1595952/2055920 swapFree=4191880/4192956
[pid=28452] ppid=28450 vsize=915844 CPUtime=1123.67
/proc/28452/stat : 28452 (java) R 28450 28452 27432 0 -1 0 23177 0 1 0 112293 74 0 0 25 0 8 0 279138179 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074135664 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28452/statm: 228961 22864 2532 14 0 215431 0
[pid=28452/tid=28454] ppid=28450 vsize=915844 CPUtime=0.32
/proc/28452/task/28454/stat : 28454 (java) S 28450 28452 27432 0 -1 64 5983 0 0 0 30 2 0 0 16 0 8 0 279138183 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28455] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28455/stat : 28455 (java) S 28450 28452 27432 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279138184 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28456] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28456/stat : 28456 (java) S 28450 28452 27432 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138184 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28457] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28457/stat : 28457 (java) S 28450 28452 27432 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138187 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28458] ppid=28450 vsize=915844 CPUtime=0.35
/proc/28452/task/28458/stat : 28458 (java) S 28450 28452 27432 0 -1 64 547 0 0 0 34 1 0 0 16 0 8 0 279138187 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28452/tid=28459] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28459/stat : 28459 (java) S 28450 28452 27432 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279138187 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28460] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28460/stat : 28460 (java) S 28450 28452 27432 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279138187 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1123.67
Current children cumulated vsize (KiB) 915844

[startup+1184.09 s]
/proc/loadavg: 1.08 1.02 1.21 2/85 28460
/proc/meminfo: memFree=1595888/2055920 swapFree=4191880/4192956
[pid=28452] ppid=28450 vsize=915844 CPUtime=1183.75
/proc/28452/stat : 28452 (java) R 28450 28452 27432 0 -1 0 23177 0 1 0 118301 74 0 0 25 0 8 0 279138179 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074095016 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28452/statm: 228961 22864 2532 14 0 215431 0
[pid=28452/tid=28454] ppid=28450 vsize=915844 CPUtime=0.32
/proc/28452/task/28454/stat : 28454 (java) S 28450 28452 27432 0 -1 64 5983 0 0 0 30 2 0 0 16 0 8 0 279138183 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28455] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28455/stat : 28455 (java) S 28450 28452 27432 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279138184 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28456] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28456/stat : 28456 (java) S 28450 28452 27432 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138184 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28457] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28457/stat : 28457 (java) S 28450 28452 27432 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138187 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28458] ppid=28450 vsize=915844 CPUtime=0.35
/proc/28452/task/28458/stat : 28458 (java) S 28450 28452 27432 0 -1 64 547 0 0 0 34 1 0 0 16 0 8 0 279138187 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28452/tid=28459] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28459/stat : 28459 (java) S 28450 28452 27432 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279138187 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28452/tid=28460] ppid=28450 vsize=915844 CPUtime=0
/proc/28452/task/28460/stat : 28460 (java) S 28450 28452 27432 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279138187 937824256 22864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1183.75
Current children cumulated vsize (KiB) 915844

Child status: 0
Real time (s): 1214.4
CPU time (s): 1214.04
CPU user time (s): 1213.28
CPU system time (s): 0.760884
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 915952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1213.28
system time used= 0.760884
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23190
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= 25831
involuntary context switches= 1365

runsolver used 1.13983 s user time and 3.18252 s system time

The end

Launcher Data (download as text)

Begin job on node72 on Sat Jan 20 15:34:54 UTC 2007


IDJOB= 280694
IDBENCH= 11906
IDSOLVER= 69
FILE ID= node72/280694-1169307293

PBS_JOBID= 3609879

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/planning/mprime04ac_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280694-1169307293/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node72/watcher-280694-1169307293 -o ROOT/results/node72/solver-280694-1169307293 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280694-1169307293/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  02526a45032ca3b046b2ecaf504d94ef

RANDOM SEED= 684541094

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.223
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.223
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:       1678016 kB
Buffers:         38080 kB
Cached:         231680 kB
SwapCached:        268 kB
Active:         110068 kB
Inactive:       202984 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1678016 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            3440 kB
Writeback:           0 kB
Mapped:          60624 kB
Slab:            50260 kB
Committed_AS:  4883148 kB
PageTables:       1916 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= 66561 MiB



End job on node72 on Sat Jan 20 15:55:08 UTC 2007