0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=epfc.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/275081-1169216469/unknown.xml
0.42
0.42 domains being loaded...
0.42
0.42 variables being loaded...
0.49 nbVariables=200 nbDomainTypes=6 minDomainSize=6 maxDomainSize=44
0.49 => wckTime=0.135 cpuTime=0.11 mem=6M877
0.49
0.49 predicates being loaded...
0.49
0.49 constraints being loaded...
1.17 nbConstraints=1134 nbConvertedConstraints=1134 nbConvertConstraintsChecks=1156848 nbExtensionStructures=891
1.17 nbSharedExtensionStructures=243 nbConflictsStructures=891 nbSharedConflictsStructures=243
1.17 nbSharedBinaryRepresentations=62605 maxDegree=22 maxArity=2
1.17 => wckTime=0.816 cpuTime=0.66 mem=18M580
1.23
1.23 solver LocalSearchSolver being built...
1.27 => wckTime=0.913 cpuTime=0.71 mem=6M981
1.28
1.28 s SATISFIABLE
1.28 o 670
1.28 c 464
1.28 o 679
1.28 c 455
1.28 o 687
1.28 c 447
1.28 o 692
1.28 c 442
1.29 o 698
1.29 c 436
1.29 o 703
1.29 c 431
1.29 o 708
1.29 c 426
1.29 o 714
1.29 c 420
1.30 o 717
1.30 c 417
1.30 o 721
1.30 c 413
1.30 o 722
1.30 c 412
1.30 o 728
1.30 c 406
1.30 o 732
1.30 c 402
1.30 o 736
1.30 c 398
1.31 o 740
1.31 c 394
1.31 o 743
1.31 c 391
1.31 o 744
1.31 c 390
1.31 o 746
1.31 c 388
1.31 o 749
1.31 c 385
1.31 o 750
1.31 c 384
1.31 o 752
1.31 c 382
1.32 o 754
1.32 c 380
1.32 o 760
1.32 c 374
1.32 o 765
1.32 c 369
1.32 o 770
1.32 c 364
1.32 o 775
1.32 c 359
1.32 o 779
1.32 c 355
1.32 o 783
1.32 c 351
1.33 o 785
1.33 c 349
1.33 o 787
1.33 c 347
1.33 o 790
1.33 c 344
1.33 o 792
1.33 c 342
1.33 o 794
1.33 c 340
1.33 o 797
1.33 c 337
1.34 o 798
1.34 c 336
1.34 o 802
1.34 c 332
1.34 o 803
1.34 c 331
1.34 o 807
1.34 c 327
1.34 o 809
1.34 c 325
1.34 o 810
1.34 c 324
1.34 o 812
1.34 c 322
1.35 o 816
1.35 c 318
1.35 o 818
1.35 c 316
1.35 o 819
1.35 c 315
1.35 o 821
1.35 c 313
1.35 o 822
1.35 c 312
1.35 o 824
1.35 c 310
1.35 o 826
1.35 c 308
1.36 o 828
1.36 c 306
1.36 o 830
1.36 c 304
1.36 o 833
1.36 c 301
1.36 o 836
1.36 c 298
1.37 o 838
1.37 c 296
1.37 o 841
1.37 c 293
1.37 o 844
1.37 c 290
1.37 o 845
1.37 c 289
1.37 o 848
1.37 c 286
1.37 o 851
1.37 c 283
1.38 o 853
1.38 c 281
1.38 o 855
1.38 c 279
1.38 o 857
1.38 c 277
1.38 o 858
1.38 c 276
1.38 o 860
1.38 c 274
1.39 o 861
1.39 c 273
1.39 o 862
1.39 c 272
1.39 o 866
1.39 c 268
1.39 o 867
1.39 c 267
1.39 o 870
1.39 c 264
1.40 o 872
1.40 c 262
1.41 o 875
1.41 c 259
1.41 o 876
1.41 c 258
1.42 o 877
1.42 c 257
1.42 o 879
1.42 c 255
1.43 o 881
1.43 c 253
1.43 o 883
1.43 c 251
1.43 o 885
1.43 c 249
1.43 o 887
1.43 c 247
1.44 o 888
1.44 c 246
1.44 o 889
1.44 c 245
1.44 o 890
1.44 c 244
1.45 o 891
1.45 c 243
1.45 o 892
1.45 c 242
1.45 o 893
1.45 c 241
1.45 o 894
1.45 c 240
1.48 o 896
1.48 c 238
1.48 o 897
1.48 c 237
1.49 o 901
1.49 c 233
1.50 o 902
1.50 c 232
1.50 o 903
1.50 c 231
1.51 o 904
1.51 c 230
1.51 o 905
1.51 c 229
1.51 o 908
1.51 c 226
1.52 o 910
1.52 c 224
1.52 o 911
1.52 c 223
1.53 o 912
1.53 c 222
1.53 o 913
1.53 c 221
1.55 o 914
1.55 c 220
1.55 o 916
1.55 c 218
1.56 o 918
1.56 c 216
1.56 o 919
1.56 c 215
1.56 o 920
1.56 c 214
1.57 o 921
1.57 c 213
1.57 o 922
1.57 c 212
1.57 o 923
1.57 c 211
1.57 o 924
1.57 c 210
1.58 o 925
1.58 c 209
1.58 o 926
1.58 c 208
1.58 o 927
1.58 c 207
1.58 o 928
1.58 c 206
1.59 o 929
1.59 c 205
1.59 o 930
1.59 c 204
1.60 o 933
1.60 c 201
1.60 o 934
1.60 c 200
1.62 o 935
1.62 c 199
1.62 o 936
1.62 c 198
1.62 o 938
1.62 c 196
1.63 o 939
1.63 c 195
1.63 o 940
1.63 c 194
1.64 o 941
1.64 c 193
1.64 o 942
1.64 c 192
1.67 o 944
1.67 c 190
1.70 o 946
1.70 c 188
1.70 o 947
1.70 c 187
1.72 o 948
1.72 c 186
1.72 o 949
1.72 c 185
1.73 o 951
1.73 c 183
1.83 o 952
1.83 c 182
1.84 o 953
1.84 c 181
1.84 o 955
1.84 c 179
1.84 o 956
1.84 c 178
1.96 o 958
1.96 c 176
1.96 o 959
1.96 c 175
1.96 o 962
1.96 c 172
1.96 o 964
1.96 c 170
1.97 o 966
1.97 c 168
1.97 o 967
1.97 c 167
1.97 o 970
1.98 c 164
1.99 o 971
1.99 c 163
1.99 o 973
1.99 c 161
2.00 o 975
2.00 c 159
2.00 o 978
2.00 c 156
2.00 o 979
2.01 c 155
2.01 o 980
2.01 c 154
2.01 o 983
2.01 c 151
2.02 o 984
2.02 c 150
2.02 o 985
2.02 c 149
2.03 o 987
2.03 c 147
2.03 o 989
2.03 c 145
2.03 o 990
2.03 c 144
2.04 o 991
2.04 c 143
2.04 o 993
2.04 c 141
2.05 o 994
2.05 c 140
2.05 o 995
2.05 c 139
2.05 o 997
2.05 c 137
2.07 o 998
2.07 c 136
2.07 o 1001
2.07 c 133
2.08 o 1004
2.08 c 130
2.08 o 1005
2.08 c 129
2.08 o 1006
2.08 c 128
2.09 o 1008
2.09 c 126
2.10 o 1010
2.10 c 124
2.11 o 1011
2.11 c 123
2.11 o 1012
2.11 c 122
2.11 o 1014
2.11 c 120
2.12 o 1015
2.12 c 119
2.12 o 1016
2.12 c 118
2.12 o 1019
2.12 c 115
2.36 o 1021
2.36 c 113
2.36 o 1023
2.36 c 111
2.37 o 1025
2.37 c 109
2.37 o 1026
2.37 c 108
2.40 o 1027
2.40 c 107
2.46 o 1029
2.46 c 105
2.49 o 1030
2.49 c 104
2.49 o 1031
2.49 c 103
2.49 o 1032
2.50 c 102
2.50 o 1034
2.50 c 100
2.50 o 1036
2.50 c 98
2.50 o 1041
2.50 c 93
2.50 o 1042
2.50 c 92
2.51 o 1043
2.51 c 91
2.51 o 1045
2.51 c 89
2.58 o 1047
2.58 c 87
2.58 o 1048
2.58 c 86
2.58 o 1050
2.58 c 84
2.59 o 1051
2.59 c 83
3.25 o 1053
3.25 c 81
3.26 o 1054
3.26 c 80
3.46 o 1055
3.46 c 79
3.48 o 1058
3.48 c 76
3.48 o 1060
3.48 c 74
3.49 o 1064
3.49 c 70
3.49 o 1065
3.49 c 69
3.49 o 1066
3.49 c 68
3.50 o 1068
3.50 c 66
3.50 o 1071
3.50 c 63
3.50 o 1073
3.50 c 61
3.51 o 1074
3.52 c 60
3.52 o 1075
3.52 c 59
3.54 o 1076
3.54 c 58
3.62 o 1077
3.62 c 57
4.72 o 1080
4.72 c 54
4.72 o 1083
4.72 c 51
4.72 o 1084
4.72 c 50
4.73 o 1088
4.73 c 46
4.73 o 1089
4.73 c 45
4.73 o 1091
4.73 c 43
4.73 o 1092
4.73 c 42
4.73 o 1093
4.73 c 41
4.73 o 1094
4.73 c 40
4.88 o 1095
4.88 c 39
4.88 o 1096
4.88 c 38
4.90 o 1097
4.90 c 37
4.91 o 1098
4.91 c 36
4.94 o 1099
4.94 c 35
4.94 o 1100
4.94 c 34
4.95 o 1101
4.95 c 33
4.97 o 1102
4.97 c 32
4.97 o 1103
4.97 c 31
4.98 o 1104
4.98 c 30
5.00 o 1105
5.00 c 29
5.25 o 1106
5.25 c 28
5.25 o 1107
5.25 c 27
5.35 o 1108
5.35 c 26
5.46 o 1109
5.46 c 25
5.50 o 1110
5.50 c 24
5.65 o 1111
5.65 c 23
5.82 o 1112
5.82 c 22
6.03 o 1113
6.03 c 21
6.03 o 1114
6.03 c 20
6.36 o 1115
6.36 c 19
6.47 o 1116
6.47 c 18
6.47 o 1117
6.47 c 17
6.47 o 1118
6.47 c 16
6.48 o 1119
6.48 c 15
6.48 o 1121
6.48 c 13
6.50 o 1122
6.50 c 12
6.57 o 1123
6.57 c 11
6.86 o 1124
6.86 c 10
8.63 o 1125
8.63 c 9
9.07 o 1126
9.07 c 8
10.09 o 1127
10.09 c 7
10.47 o 1128
10.47 c 6
12.87
12.87 search
12.87 run=0 nbConstraintChecks=99394195 nbAssignments=10000
12.87 => wckTime=11.604 cpuTime=11.46 mem=6M981
16.21 o 1129
16.21 c 5
26.54
26.54 search
26.54 run=1 nbConstraintChecks=222857153 nbAssignments=20000
26.54 => wckTime=25.279 cpuTime=25.04 mem=6M981
37.34
37.34 search
37.34 run=2 nbConstraintChecks=323705846 nbAssignments=30000
37.34 => wckTime=36.078 cpuTime=35.82 mem=6M981
46.30
46.30 search
46.30 run=3 nbConstraintChecks=406157893 nbAssignments=37696
46.30 => wckTime=45.039 cpuTime=44.78 mem=6M981
46.31
46.31 global
46.31 nbConstraintChecks=406157893 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
46.31 solvingWckTime=45.037 solvingCpuTime=44.78 expiredTime=no totalExploration=no nbFoundSolutions=0
46.31 globalCpuTime=45.54
46.31 => wckTime=45.953 cpuTime=45.49 mem=6M981
46.31
46.31 solver IterativeSystematicSolver being built...
46.45 => wckTime=46.095 cpuTime=45.6 mem=18M881
48.94
48.94 preprocessing
48.94 nbConstraintChecks=2916464 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
48.94 detectedInconsistency=no
48.94 => wckTime=2.485 cpuTime=2.45 mem=18M881
50.97
50.97 search
50.97 run=0 nbConstraintChecks=2033402 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=77
50.97 nbFailedAssignments=58 nbBacktracks=10 nbVisitedNodes=146 nbRestartNogoods=0
50.97 => wckTime=4.522 cpuTime=4.48 mem=18M881
54.77
54.77 search
54.77 run=1 nbConstraintChecks=5538438 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=199
54.77 nbFailedAssignments=157 nbBacktracks=25 nbVisitedNodes=382 nbRestartNogoods=16
54.77 => wckTime=8.316 cpuTime=8.25 mem=18M881
65.08
65.08 search
65.08 run=2 nbConstraintChecks=15109482 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=542
65.08 nbFailedAssignments=475 nbBacktracks=47 nbVisitedNodes=1065 nbRestartNogoods=49
65.08 => wckTime=18.632 cpuTime=18.56 mem=18M881
70.27
70.27 search
70.27 run=3 nbConstraintChecks=20931802 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=746
70.27 nbFailedAssignments=636 nbBacktracks=80 nbVisitedNodes=1463 nbRestartNogoods=53
70.27 => wckTime=23.814 cpuTime=23.74 mem=18M881
105.45
105.45 search
105.45 run=4 nbConstraintChecks=63117352 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1835
105.45 nbFailedAssignments=1655 nbBacktracks=130 nbVisitedNodes=3621 nbRestartNogoods=94
105.45 => wckTime=58.996 cpuTime=58.85 mem=18M881
124.62
124.62 search
124.62 run=5 nbConstraintChecks=76721576 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2259
124.62 nbFailedAssignments=1994 nbBacktracks=205 nbVisitedNodes=4459 nbRestartNogoods=138
124.62 => wckTime=78.173 cpuTime=78.0 mem=18M881
204.03
204.03 search
204.03 run=6 nbConstraintChecks=177792610 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4917
204.03 nbFailedAssignments=4504 nbBacktracks=320 nbVisitedNodes=9730 nbRestartNogoods=171
204.03 => wckTime=157.578 cpuTime=157.33 mem=18M881
241.50
241.50 search
241.50 run=7 nbConstraintChecks=216807942 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6263
241.50 nbFailedAssignments=5674 nbBacktracks=490 nbVisitedNodes=12416 nbRestartNogoods=365
241.50 => wckTime=195.049 cpuTime=194.75 mem=18M881
306.90
306.90 search
306.90 run=8 nbConstraintChecks=282310374 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8484
306.90 nbFailedAssignments=7627 nbBacktracks=746 nbVisitedNodes=16845 nbRestartNogoods=372
306.91 => wckTime=260.455 cpuTime=260.1 mem=18M881
375.28
375.28 search
375.28 run=9 nbConstraintChecks=362607418 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11638
375.28 nbFailedAssignments=10393 nbBacktracks=1130 nbVisitedNodes=23132 nbRestartNogoods=467
375.28 => wckTime=328.832 cpuTime=328.39 mem=18M881
609.90
609.90 search
609.90 run=10 nbConstraintChecks=580276344 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17217
609.90 nbFailedAssignments=15371 nbBacktracks=1706 nbVisitedNodes=34264 nbRestartNogoods=478
609.90 => wckTime=563.453 cpuTime=562.77 mem=18M881
771.63
771.63 search
771.63 run=11 nbConstraintChecks=752808623 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23446
771.63 nbFailedAssignments=20731 nbBacktracks=2570 nbVisitedNodes=46679 nbRestartNogoods=650
771.63 => wckTime=725.184 cpuTime=724.34 mem=18M881
955.70
955.70 search
955.70 run=12 nbConstraintChecks=930725925 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=30239
955.70 nbFailedAssignments=26222 nbBacktracks=3867 nbVisitedNodes=60120 nbRestartNogoods=655
955.70 => wckTime=909.25 cpuTime=908.19 mem=18M881
1510.96
1510.97 search
1510.97 run=13 nbConstraintChecks=1440656424 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=46607
1510.97 nbFailedAssignments=40634 nbBacktracks=5813 nbVisitedNodes=92748 nbRestartNogoods=694
1510.97 => wckTime=1464.515 cpuTime=1462.78 mem=18M881
1955.78
1955.78 search
1955.78 run=14 nbConstraintChecks=1912985145 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=64817
1955.78 nbFailedAssignments=55914 nbBacktracks=8732 nbVisitedNodes=128914 nbRestartNogoods=738
1955.78 => wckTime=1909.334 cpuTime=1907.13 mem=18M881
2403.02 v 58 296 792 554 72 310 240 478 170 408 792 554 750 512 652 414 16 254 16 254 722 484 240 478 666 428 722 484 498 736 16 254 114 352 722 484 792 554 792 554 694 456 680 442 114 352 722 484 680 442 44 282 58 296 114 352 652 414 722 484 44 282 652 414 792 554 72 310 764 526 708 470 240 478 708 470 694 456 156 394 694 456 16 254 128 366 792 554 16 254 156 394 792 554 72 310 240 478 652 414 750 512 128 366 100 338 58 296 16 254 792 554 128 366 16 254 142 380 666 428 170 408 170 408 282 44 680 442 114 352 694 456 100 338 240 478 554 792 750 512 736 498 86 324 694 456 16 254 792 554 778 540 666 428 128 366 778 540 722 484 128 366 58 296 128 366 680 442 58 296 114 352 792 554 652 414 16 254 694 456 792 554 708 470 736 498 30 268 792 554 16 254 240 478 72 310 16 254 16 254
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-275081-1169216469 -o ROOT/results/node17/solver-275081-1169216469 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275081-1169216469/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.83 1.97 1.81 4/94 4669
/proc/meminfo: memFree=1408712/2055920 swapFree=4192812/4192956
[pid=4668] ppid=4666 vsize=1784 CPUtime=0
/proc/4668/stat : 4668 (java) D 4666 4668 4191 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 270041979 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/4668/statm: 446 160 125 14 0 91 0
[startup+0.107575 s]
/proc/loadavg: 1.83 1.97 1.81 4/94 4669
/proc/meminfo: memFree=1408712/2055920 swapFree=4192812/4192956
[pid=4668] ppid=4666 vsize=907808 CPUtime=0.06
/proc/4668/stat : 4668 (java) R 4666 4668 4191 0 -1 0 2483 0 1 0 5 1 0 0 17 0 4 0 270041979 929595392 2230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155581175 0 4 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/4668/statm: 226952 2230 1225 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808
[startup+0.515614 s]
/proc/loadavg: 1.83 1.97 1.81 4/94 4669
/proc/meminfo: memFree=1408712/2055920 swapFree=4192812/4192956
[pid=4668] ppid=4666 vsize=915332 CPUtime=0.45
/proc/4668/stat : 4668 (java) R 4666 4668 4191 0 -1 0 6241 0 1 0 42 3 0 0 18 0 8 0 270041979 937299968 5980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4668/statm: 228833 5980 2152 14 0 215303 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915332
[startup+1.3387 s]
/proc/loadavg: 1.83 1.97 1.81 3/101 4676
/proc/meminfo: memFree=1382608/2055920 swapFree=4192812/4192956
[pid=4668] ppid=4666 vsize=915452 CPUtime=1.27
/proc/4668/stat : 4668 (java) R 4666 4668 4191 0 -1 0 9910 0 1 0 116 11 0 0 24 0 8 0 270041979 937422848 9647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072928503 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4668/statm: 228863 9647 2500 14 0 215333 0
[pid=4668/tid=4670] ppid=4666 vsize=915452 CPUtime=0.04
/proc/4668/task/4670/stat : 4670 (java) S 4666 4668 4191 0 -1 64 518 0 0 0 4 0 0 0 16 0 8 0 270041986 937422848 9647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4671] ppid=4666 vsize=915452 CPUtime=0
/proc/4668/task/4671/stat : 4671 (java) S 4666 4668 4191 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270041987 937422848 9647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4672] ppid=4666 vsize=915452 CPUtime=0
/proc/4668/task/4672/stat : 4672 (java) S 4666 4668 4191 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270041987 937422848 9647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4673] ppid=4666 vsize=915452 CPUtime=0
/proc/4668/task/4673/stat : 4673 (java) S 4666 4668 4191 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270041990 937422848 9647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4674] ppid=4666 vsize=915452 CPUtime=0.19
/proc/4668/task/4674/stat : 4674 (java) S 4666 4668 4191 0 -1 64 385 0 0 0 19 0 0 0 16 0 8 0 270041990 937422848 9647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4675] ppid=4666 vsize=915452 CPUtime=0
/proc/4668/task/4675/stat : 4675 (java) S 4666 4668 4191 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270041990 937422848 9647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4676] ppid=4666 vsize=915452 CPUtime=0
/proc/4668/task/4676/stat : 4676 (java) S 4666 4668 4191 0 -1 64 0 0 0 0 0 0 0 0 16 0 8 0 270041990 937422848 9647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915452
[startup+2.99187 s]
/proc/loadavg: 1.83 1.97 1.81 3/101 4676
/proc/meminfo: memFree=1379856/2055920 swapFree=4192812/4192956
[pid=4668] ppid=4666 vsize=915452 CPUtime=2.9
/proc/4668/stat : 4668 (java) R 4666 4668 4191 0 -1 0 9915 0 1 0 275 15 0 0 25 0 8 0 270041979 937422848 9651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073886153 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4668/statm: 228863 9651 2500 14 0 215333 0
[pid=4668/tid=4670] ppid=4666 vsize=915452 CPUtime=0.04
/proc/4668/task/4670/stat : 4670 (java) S 4666 4668 4191 0 -1 64 518 0 0 0 4 0 0 0 17 0 8 0 270041986 937422848 9651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4671] ppid=4666 vsize=915452 CPUtime=0
/proc/4668/task/4671/stat : 4671 (java) S 4666 4668 4191 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270041987 937422848 9651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4672] ppid=4666 vsize=915452 CPUtime=0
/proc/4668/task/4672/stat : 4672 (java) S 4666 4668 4191 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270041987 937422848 9651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4673] ppid=4666 vsize=915452 CPUtime=0
/proc/4668/task/4673/stat : 4673 (java) S 4666 4668 4191 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270041990 937422848 9651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4674] ppid=4666 vsize=915452 CPUtime=0.21
/proc/4668/task/4674/stat : 4674 (java) S 4666 4668 4191 0 -1 64 389 0 0 0 20 1 0 0 15 0 8 0 270041990 937422848 9651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4675] ppid=4666 vsize=915452 CPUtime=0
/proc/4668/task/4675/stat : 4675 (java) S 4666 4668 4191 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270041990 937422848 9651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4676] ppid=4666 vsize=915452 CPUtime=0
/proc/4668/task/4676/stat : 4676 (java) S 4666 4668 4191 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270041990 937422848 9651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915452
[startup+6.28221 s]
/proc/loadavg: 1.85 1.97 1.81 3/101 4676
/proc/meminfo: memFree=1379792/2055920 swapFree=4192812/4192956
[pid=4668] ppid=4666 vsize=915452 CPUtime=6.15
/proc/4668/stat : 4668 (java) R 4666 4668 4191 0 -1 0 9917 0 1 0 590 25 0 0 25 0 8 0 270041979 937422848 9652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073882610 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4668/statm: 228863 9652 2500 14 0 215333 0
[pid=4668/tid=4670] ppid=4666 vsize=915452 CPUtime=0.04
/proc/4668/task/4670/stat : 4670 (java) S 4666 4668 4191 0 -1 64 518 0 0 0 4 0 0 0 16 0 8 0 270041986 937422848 9652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4671] ppid=4666 vsize=915452 CPUtime=0
/proc/4668/task/4671/stat : 4671 (java) S 4666 4668 4191 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270041987 937422848 9652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4672] ppid=4666 vsize=915452 CPUtime=0
/proc/4668/task/4672/stat : 4672 (java) S 4666 4668 4191 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270041987 937422848 9652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4673] ppid=4666 vsize=915452 CPUtime=0
/proc/4668/task/4673/stat : 4673 (java) S 4666 4668 4191 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270041990 937422848 9652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4674] ppid=4666 vsize=915452 CPUtime=0.21
/proc/4668/task/4674/stat : 4674 (java) S 4666 4668 4191 0 -1 64 390 0 0 0 20 1 0 0 15 0 8 0 270041990 937422848 9652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4675] ppid=4666 vsize=915452 CPUtime=0
/proc/4668/task/4675/stat : 4675 (java) S 4666 4668 4191 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270041990 937422848 9652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4676] ppid=4666 vsize=915452 CPUtime=0
/proc/4668/task/4676/stat : 4676 (java) S 4666 4668 4191 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270041990 937422848 9652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915452
[startup+12.7749 s]
/proc/loadavg: 1.86 1.97 1.82 3/101 4676
/proc/meminfo: memFree=1379792/2055920 swapFree=4192812/4192956
[pid=4668] ppid=4666 vsize=915452 CPUtime=12.58
/proc/4668/stat : 4668 (java) R 4666 4668 4191 0 -1 0 9917 0 1 0 1204 54 0 0 25 0 8 0 270041979 937422848 9652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073882537 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4668/statm: 228863 9652 2500 14 0 215333 0
[pid=4668/tid=4670] ppid=4666 vsize=915452 CPUtime=0.04
/proc/4668/task/4670/stat : 4670 (java) S 4666 4668 4191 0 -1 64 518 0 0 0 4 0 0 0 16 0 8 0 270041986 937422848 9652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4671] ppid=4666 vsize=915452 CPUtime=0
/proc/4668/task/4671/stat : 4671 (java) S 4666 4668 4191 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270041987 937422848 9652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4672] ppid=4666 vsize=915452 CPUtime=0
/proc/4668/task/4672/stat : 4672 (java) S 4666 4668 4191 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270041987 937422848 9652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4673] ppid=4666 vsize=915452 CPUtime=0
/proc/4668/task/4673/stat : 4673 (java) S 4666 4668 4191 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270041990 937422848 9652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4674] ppid=4666 vsize=915452 CPUtime=0.21
/proc/4668/task/4674/stat : 4674 (java) S 4666 4668 4191 0 -1 64 390 0 0 0 20 1 0 0 15 0 8 0 270041990 937422848 9652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4675] ppid=4666 vsize=915452 CPUtime=0
/proc/4668/task/4675/stat : 4675 (java) S 4666 4668 4191 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270041990 937422848 9652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4676] ppid=4666 vsize=915452 CPUtime=0
/proc/4668/task/4676/stat : 4676 (java) S 4666 4668 4191 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270041990 937422848 9652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915452
[startup+25.6132 s]
/proc/loadavg: 1.89 1.97 1.82 3/96 4767
/proc/meminfo: memFree=1378480/2055920 swapFree=4192812/4192956
[pid=4668] ppid=4666 vsize=915452 CPUtime=25.34
/proc/4668/stat : 4668 (java) R 4666 4668 4191 0 -1 0 9921 0 1 0 2440 94 0 0 25 0 8 0 270041979 937422848 9656 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073886068 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4668/statm: 228863 9656 2500 14 0 215333 0
[pid=4668/tid=4670] ppid=4666 vsize=915452 CPUtime=0.04
/proc/4668/task/4670/stat : 4670 (java) S 4666 4668 4191 0 -1 64 518 0 0 0 4 0 0 0 16 0 8 0 270041986 937422848 9656 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4671] ppid=4666 vsize=915452 CPUtime=0
/proc/4668/task/4671/stat : 4671 (java) S 4666 4668 4191 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270041987 937422848 9656 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4672] ppid=4666 vsize=915452 CPUtime=0
/proc/4668/task/4672/stat : 4672 (java) S 4666 4668 4191 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270041987 937422848 9656 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4673] ppid=4666 vsize=915452 CPUtime=0
/proc/4668/task/4673/stat : 4673 (java) S 4666 4668 4191 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270041990 937422848 9656 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4674] ppid=4666 vsize=915452 CPUtime=0.22
/proc/4668/task/4674/stat : 4674 (java) S 4666 4668 4191 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 270041990 937422848 9656 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4675] ppid=4666 vsize=915452 CPUtime=0
/proc/4668/task/4675/stat : 4675 (java) S 4666 4668 4191 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270041990 937422848 9656 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4676] ppid=4666 vsize=915452 CPUtime=0
/proc/4668/task/4676/stat : 4676 (java) S 4666 4668 4191 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270041990 937422848 9656 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915452
[startup+51.2409 s]
/proc/loadavg: 1.93 1.97 1.82 3/94 4768
/proc/meminfo: memFree=1081352/2055920 swapFree=4192812/4192956
[pid=4668] ppid=4666 vsize=916476 CPUtime=50.94
/proc/4668/stat : 4668 (java) R 4666 4668 4191 0 -1 0 10064 0 1 0 4927 167 0 0 25 0 8 0 270041979 938471424 9794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073881527 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4668/statm: 229119 9794 2550 14 0 215589 0
[pid=4668/tid=4670] ppid=4666 vsize=916476 CPUtime=0.04
/proc/4668/task/4670/stat : 4670 (java) S 4666 4668 4191 0 -1 64 519 0 0 0 4 0 0 0 16 0 8 0 270041986 938471424 9794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4668/tid=4671] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4671/stat : 4671 (java) S 4666 4668 4191 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270041987 938471424 9794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4672] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4672/stat : 4672 (java) S 4666 4668 4191 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270041987 938471424 9794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4673] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4673/stat : 4673 (java) S 4666 4668 4191 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270041990 938471424 9794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4674] ppid=4666 vsize=916476 CPUtime=0.29
/proc/4668/task/4674/stat : 4674 (java) S 4666 4668 4191 0 -1 64 438 0 0 0 28 1 0 0 15 0 8 0 270041990 938471424 9794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4668/tid=4675] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4675/stat : 4675 (java) S 4666 4668 4191 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270041990 938471424 9794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4676] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4676/stat : 4676 (java) S 4666 4668 4191 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270041990 938471424 9794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 916476
[startup+102.507 s]
/proc/loadavg: 1.97 1.97 1.83 3/94 4768
/proc/meminfo: memFree=1081352/2055920 swapFree=4192812/4192956
[pid=4668] ppid=4666 vsize=916476 CPUtime=102.12
/proc/4668/stat : 4668 (java) R 4666 4668 4191 0 -1 0 10084 0 1 0 10045 167 0 0 25 0 8 0 270041979 938471424 9805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074037466 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4668/statm: 229119 9805 2550 14 0 215589 0
[pid=4668/tid=4670] ppid=4666 vsize=916476 CPUtime=0.04
/proc/4668/task/4670/stat : 4670 (java) S 4666 4668 4191 0 -1 64 519 0 0 0 4 0 0 0 16 0 8 0 270041986 938471424 9805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4668/tid=4671] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4671/stat : 4671 (java) S 4666 4668 4191 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270041987 938471424 9805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4672] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4672/stat : 4672 (java) S 4666 4668 4191 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270041987 938471424 9805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4673] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4673/stat : 4673 (java) S 4666 4668 4191 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270041990 938471424 9805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4674] ppid=4666 vsize=916476 CPUtime=0.31
/proc/4668/task/4674/stat : 4674 (java) S 4666 4668 4191 0 -1 64 456 0 0 0 30 1 0 0 17 0 8 0 270041990 938471424 9805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4668/tid=4675] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4675/stat : 4675 (java) S 4666 4668 4191 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270041990 938471424 9805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4676] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4676/stat : 4676 (java) S 4666 4668 4191 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270041990 938471424 9805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 916476
[startup+162.528 s]
/proc/loadavg: 1.99 1.97 1.83 3/94 4768
/proc/meminfo: memFree=1081352/2055920 swapFree=4192812/4192956
[pid=4668] ppid=4666 vsize=916476 CPUtime=162.09
/proc/4668/stat : 4668 (java) R 4666 4668 4191 0 -1 0 10088 0 1 0 16042 167 0 0 25 0 8 0 270041979 938471424 9808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074038276 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2020.54
Current children cumulated vsize (KiB) 916476
[startup+2083.06 s]
/proc/loadavg: 2.01 2.00 1.93 3/94 4768
/proc/meminfo: memFree=1081096/2055920 swapFree=4192812/4192956
[pid=4668] ppid=4666 vsize=916476 CPUtime=2080.49
/proc/4668/stat : 4668 (java) R 4666 4668 4191 0 -1 0 10097 0 1 0 207876 173 0 0 25 0 8 0 270041979 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074020257 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4668/statm: 229119 9812 2550 14 0 215589 0
[pid=4668/tid=4670] ppid=4666 vsize=916476 CPUtime=0.04
/proc/4668/task/4670/stat : 4670 (java) S 4666 4668 4191 0 -1 64 519 0 0 0 4 0 0 0 16 0 8 0 270041986 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4668/tid=4671] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4671/stat : 4671 (java) S 4666 4668 4191 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270041987 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4672] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4672/stat : 4672 (java) S 4666 4668 4191 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270041987 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4673] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4673/stat : 4673 (java) S 4666 4668 4191 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270041990 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4674] ppid=4666 vsize=916476 CPUtime=0.32
/proc/4668/task/4674/stat : 4674 (java) S 4666 4668 4191 0 -1 64 463 0 0 0 31 1 0 0 17 0 8 0 270041990 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4668/tid=4675] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4675/stat : 4675 (java) S 4666 4668 4191 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270041990 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4676] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4676/stat : 4676 (java) S 4666 4668 4191 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270041990 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2080.49
Current children cumulated vsize (KiB) 916476
[startup+2143.07 s]
/proc/loadavg: 2.00 2.00 1.93 3/94 4768
/proc/meminfo: memFree=1081096/2055920 swapFree=4192812/4192956
[pid=4668] ppid=4666 vsize=916476 CPUtime=2140.46
/proc/4668/stat : 4668 (java) R 4666 4668 4191 0 -1 0 10097 0 1 0 213872 174 0 0 25 0 8 0 270041979 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074037476 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4668/statm: 229119 9812 2550 14 0 215589 0
[pid=4668/tid=4670] ppid=4666 vsize=916476 CPUtime=0.04
/proc/4668/task/4670/stat : 4670 (java) S 4666 4668 4191 0 -1 64 519 0 0 0 4 0 0 0 16 0 8 0 270041986 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4668/tid=4671] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4671/stat : 4671 (java) S 4666 4668 4191 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270041987 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4672] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4672/stat : 4672 (java) S 4666 4668 4191 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270041987 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4673] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4673/stat : 4673 (java) S 4666 4668 4191 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270041990 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4674] ppid=4666 vsize=916476 CPUtime=0.32
/proc/4668/task/4674/stat : 4674 (java) S 4666 4668 4191 0 -1 64 463 0 0 0 31 1 0 0 17 0 8 0 270041990 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4668/tid=4675] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4675/stat : 4675 (java) S 4666 4668 4191 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270041990 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4676] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4676/stat : 4676 (java) S 4666 4668 4191 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270041990 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2140.46
Current children cumulated vsize (KiB) 916476
[startup+2203.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/94 4768
/proc/meminfo: memFree=1081096/2055920 swapFree=4192812/4192956
[pid=4668] ppid=4666 vsize=916476 CPUtime=2200.42
/proc/4668/stat : 4668 (java) R 4666 4668 4191 0 -1 0 10097 0 1 0 219868 174 0 0 25 0 8 0 270041979 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074037476 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4668/statm: 229119 9812 2550 14 0 215589 0
[pid=4668/tid=4670] ppid=4666 vsize=916476 CPUtime=0.04
/proc/4668/task/4670/stat : 4670 (java) S 4666 4668 4191 0 -1 64 519 0 0 0 4 0 0 0 16 0 8 0 270041986 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4668/tid=4671] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4671/stat : 4671 (java) S 4666 4668 4191 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270041987 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4672] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4672/stat : 4672 (java) S 4666 4668 4191 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270041987 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4673] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4673/stat : 4673 (java) S 4666 4668 4191 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270041990 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4674] ppid=4666 vsize=916476 CPUtime=0.32
/proc/4668/task/4674/stat : 4674 (java) S 4666 4668 4191 0 -1 64 463 0 0 0 31 1 0 0 17 0 8 0 270041990 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4668/tid=4675] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4675/stat : 4675 (java) S 4666 4668 4191 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270041990 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4676] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4676/stat : 4676 (java) S 4666 4668 4191 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270041990 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2200.42
Current children cumulated vsize (KiB) 916476
[startup+2263.11 s]
/proc/loadavg: 2.00 2.00 1.93 3/94 4768
/proc/meminfo: memFree=1081096/2055920 swapFree=4192812/4192956
[pid=4668] ppid=4666 vsize=916476 CPUtime=2260.35
/proc/4668/stat : 4668 (java) R 4666 4668 4191 0 -1 0 10097 0 1 0 225861 174 0 0 25 0 8 0 270041979 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074037472 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4668/statm: 229119 9812 2550 14 0 215589 0
[pid=4668/tid=4670] ppid=4666 vsize=916476 CPUtime=0.04
/proc/4668/task/4670/stat : 4670 (java) S 4666 4668 4191 0 -1 64 519 0 0 0 4 0 0 0 16 0 8 0 270041986 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4668/tid=4671] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4671/stat : 4671 (java) S 4666 4668 4191 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270041987 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4672] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4672/stat : 4672 (java) S 4666 4668 4191 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270041987 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4673] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4673/stat : 4673 (java) S 4666 4668 4191 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270041990 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4674] ppid=4666 vsize=916476 CPUtime=0.32
/proc/4668/task/4674/stat : 4674 (java) S 4666 4668 4191 0 -1 64 463 0 0 0 31 1 0 0 17 0 8 0 270041990 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4668/tid=4675] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4675/stat : 4675 (java) S 4666 4668 4191 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270041990 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4676] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4676/stat : 4676 (java) S 4666 4668 4191 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270041990 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2260.35
Current children cumulated vsize (KiB) 916476
[startup+2323.13 s]
/proc/loadavg: 2.04 2.01 1.94 3/94 4768
/proc/meminfo: memFree=1081096/2055920 swapFree=4192812/4192956
[pid=4668] ppid=4666 vsize=916476 CPUtime=2320.31
/proc/4668/stat : 4668 (java) R 4666 4668 4191 0 -1 0 10097 0 1 0 231857 174 0 0 25 0 8 0 270041979 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074016855 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4668/statm: 229119 9812 2550 14 0 215589 0
[pid=4668/tid=4670] ppid=4666 vsize=916476 CPUtime=0.04
/proc/4668/task/4670/stat : 4670 (java) S 4666 4668 4191 0 -1 64 519 0 0 0 4 0 0 0 16 0 8 0 270041986 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4668/tid=4671] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4671/stat : 4671 (java) S 4666 4668 4191 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270041987 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4672] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4672/stat : 4672 (java) S 4666 4668 4191 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270041987 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4673] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4673/stat : 4673 (java) S 4666 4668 4191 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270041990 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4674] ppid=4666 vsize=916476 CPUtime=0.32
/proc/4668/task/4674/stat : 4674 (java) S 4666 4668 4191 0 -1 64 463 0 0 0 31 1 0 0 17 0 8 0 270041990 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4668/tid=4675] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4675/stat : 4675 (java) S 4666 4668 4191 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270041990 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4676] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4676/stat : 4676 (java) S 4666 4668 4191 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270041990 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2320.31
Current children cumulated vsize (KiB) 916476
[startup+2383.15 s]
/proc/loadavg: 2.01 2.01 1.94 3/94 4768
/proc/meminfo: memFree=1081096/2055920 swapFree=4192812/4192956
[pid=4668] ppid=4666 vsize=916476 CPUtime=2380.27
/proc/4668/stat : 4668 (java) R 4666 4668 4191 0 -1 0 10097 0 1 0 237853 174 0 0 25 0 8 0 270041979 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074037472 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4668/statm: 229119 9812 2550 14 0 215589 0
[pid=4668/tid=4670] ppid=4666 vsize=916476 CPUtime=0.04
/proc/4668/task/4670/stat : 4670 (java) S 4666 4668 4191 0 -1 64 519 0 0 0 4 0 0 0 16 0 8 0 270041986 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4668/tid=4671] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4671/stat : 4671 (java) S 4666 4668 4191 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270041987 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4672] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4672/stat : 4672 (java) S 4666 4668 4191 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270041987 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4673] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4673/stat : 4673 (java) S 4666 4668 4191 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270041990 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4674] ppid=4666 vsize=916476 CPUtime=0.32
/proc/4668/task/4674/stat : 4674 (java) S 4666 4668 4191 0 -1 64 463 0 0 0 31 1 0 0 17 0 8 0 270041990 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4668/tid=4675] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4675/stat : 4675 (java) S 4666 4668 4191 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270041990 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4676] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4676/stat : 4676 (java) S 4666 4668 4191 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270041990 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2380.27
Current children cumulated vsize (KiB) 916476
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2403.01 s]
/proc/loadavg: 2.08 2.02 1.94 3/100 4855
/proc/meminfo: memFree=1079856/2055920 swapFree=4192812/4192956
[pid=4668] ppid=4666 vsize=916476 CPUtime=2400.08
/proc/4668/stat : 4668 (java) R 4666 4668 4191 0 -1 0 10097 0 1 0 239832 176 0 0 25 0 8 0 270041979 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074016903 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4668/statm: 229119 9812 2550 14 0 215589 0
[pid=4668/tid=4670] ppid=4666 vsize=916476 CPUtime=0.04
/proc/4668/task/4670/stat : 4670 (java) S 4666 4668 4191 0 -1 64 519 0 0 0 4 0 0 0 16 0 8 0 270041986 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4668/tid=4671] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4671/stat : 4671 (java) S 4666 4668 4191 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270041987 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4672] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4672/stat : 4672 (java) S 4666 4668 4191 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270041987 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4673] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4673/stat : 4673 (java) S 4666 4668 4191 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270041990 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4674] ppid=4666 vsize=916476 CPUtime=0.32
/proc/4668/task/4674/stat : 4674 (java) S 4666 4668 4191 0 -1 64 463 0 0 0 31 1 0 0 17 0 8 0 270041990 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4668/tid=4675] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4675/stat : 4675 (java) S 4666 4668 4191 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270041990 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4668/tid=4676] ppid=4666 vsize=916476 CPUtime=0
/proc/4668/task/4676/stat : 4676 (java) S 4666 4668 4191 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270041990 938471424 9812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 916476
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2403.08
CPU time (s): 2400.15
CPU user time (s): 2398.38
CPU system time (s): 1.77373
CPU usage (%): 99.878
Max. virtual memory (cumulated for all children) (KiB): 916480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.38
system time used= 1.77373
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10123
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= 50091
involuntary context switches= 22971
runsolver used 2.21266 s user time and 8.45072 s system time
The end
Begin job on node17 on Fri Jan 19 14:21:10 UTC 2007
IDJOB= 275081
IDBENCH= 3291
IDSOLVER= 68
FILE ID= node17/275081-1169216469
PBS_JOBID= 3588907
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapGraphs/graph5.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275081-1169216469/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-275081-1169216469 -o ROOT/results/node17/solver-275081-1169216469 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275081-1169216469/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b509eeceb1ac41f35f546685c5462d75
RANDOM SEED= 399400707
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1409192 kB
Buffers: 44128 kB
Cached: 460228 kB
SwapCached: 0 kB
Active: 223384 kB
Inactive: 348744 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1409192 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1932 kB
Writeback: 0 kB
Mapped: 94320 kB
Slab: 59208 kB
Committed_AS: 7676556 kB
PageTables: 2344 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= 66560 MiB
End job on node17 on Fri Jan 19 15:01:15 UTC 2007