0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/282710-1169321788/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.43 nbVariables=100 nbDomainTypes=3 minDomainSize=2 maxDomainSize=24
0.43 => wckTime=0.12 cpuTime=0.09 mem=6M910
0.43
0.43 relations being loaded...
0.67
0.67 constraints being loaded...
0.89 nbConstraints=1215 nbRelationTypes=1106 nbExtensionStructures=1106 nbSharedExtensionStructures=109
0.89 nbConflictsStructures=1106 nbSharedConflictsStructures=109 nbSharedBinaryRepresentations=42918 maxDegree=81
0.89 maxArity=2
0.89 => wckTime=0.581 cpuTime=0.44 mem=26M413
0.95
0.95 solver LocalSearchSolver being built...
1.00 => wckTime=0.684 cpuTime=0.48 mem=6M866
1.01
1.01 s SATISFIABLE
1.01 o 768
1.01 c 447
1.01 o 776
1.01 c 439
1.01 o 784
1.01 c 431
1.02 o 797
1.02 c 418
1.02 o 804
1.02 c 411
1.02 o 816
1.02 c 399
1.02 o 823
1.02 c 392
1.02 o 836
1.02 c 379
1.02 o 838
1.02 c 377
1.03 o 848
1.03 c 367
1.03 o 850
1.03 c 365
1.03 o 858
1.03 c 357
1.03 o 865
1.03 c 350
1.03 o 873
1.03 c 342
1.03 o 880
1.03 c 335
1.04 o 887
1.04 c 328
1.04 o 894
1.04 c 321
1.04 o 898
1.04 c 317
1.04 o 900
1.04 c 315
1.04 o 908
1.04 c 307
1.04 o 916
1.04 c 299
1.04 o 921
1.04 c 294
1.04 o 925
1.04 c 290
1.05 o 932
1.05 c 283
1.05 o 938
1.05 c 277
1.05 o 943
1.05 c 272
1.05 o 945
1.05 c 270
1.05 o 952
1.05 c 263
1.05 o 958
1.05 c 257
1.05 o 961
1.05 c 254
1.05 o 968
1.05 c 247
1.05 o 971
1.05 c 244
1.06 o 982
1.06 c 233
1.06 o 988
1.06 c 227
1.06 o 991
1.06 c 224
1.06 o 996
1.06 c 219
1.06 o 998
1.06 c 217
1.06 o 1004
1.06 c 211
1.07 o 1007
1.07 c 208
1.07 o 1012
1.07 c 203
1.07 o 1016
1.07 c 199
1.07 o 1019
1.07 c 196
1.07 o 1024
1.07 c 191
1.07 o 1029
1.07 c 186
1.07 o 1035
1.07 c 180
1.08 o 1037
1.08 c 178
1.08 o 1048
1.08 c 167
1.08 o 1050
1.08 c 165
1.08 o 1052
1.08 c 163
1.08 o 1057
1.08 c 158
1.08 o 1060
1.08 c 155
1.08 o 1061
1.08 c 154
1.08 o 1064
1.08 c 151
1.09 o 1067
1.09 c 148
1.09 o 1069
1.09 c 146
1.09 o 1076
1.09 c 139
1.09 o 1085
1.09 c 130
1.12 o 1094
1.12 c 121
1.12 o 1097
1.12 c 118
1.18 o 1098
1.18 c 117
1.18 o 1099
1.18 c 116
1.18 o 1102
1.18 c 113
1.18 o 1103
1.18 c 112
1.19 o 1110
1.19 c 105
1.19 o 1111
1.19 c 104
1.19 o 1113
1.19 c 102
1.22 o 1125
1.22 c 90
1.22 o 1126
1.22 c 89
1.26 o 1129
1.26 c 86
1.26 o 1133
1.26 c 82
1.27 o 1134
1.27 c 81
1.28 o 1135
1.28 c 80
1.28 o 1139
1.28 c 76
1.28 o 1141
1.28 c 74
1.30 o 1149
1.30 c 66
1.33 o 1151
1.33 c 64
1.36 o 1154
1.36 c 61
1.37 o 1158
1.37 c 57
1.39 o 1161
1.39 c 54
1.50 o 1162
1.50 c 53
1.73 o 1172
1.73 c 43
2.18 o 1173
2.18 c 42
2.18 o 1175
2.18 c 40
2.28 o 1176
2.28 c 39
2.67 o 1177
2.67 c 38
2.89 o 1178
2.89 c 37
2.91 o 1179
2.91 c 36
2.91 o 1180
2.91 c 35
2.96 o 1181
2.96 c 34
3.60 o 1185
3.60 c 30
23.61
23.61 search
23.61 run=0 nbConstraintChecks=157543305 nbAssignments=10000
23.61 => wckTime=22.615 cpuTime=22.39 mem=6M866
32.00 o 1187
32.00 c 28
35.14 o 1188
35.14 c 27
47.89
47.90 search
47.90 run=1 nbConstraintChecks=328850485 nbAssignments=20000
47.90 => wckTime=46.891 cpuTime=46.46 mem=6M866
65.39
65.39 search
65.39 run=2 nbConstraintChecks=452885213 nbAssignments=28006
65.39 => wckTime=64.395 cpuTime=63.82 mem=6M866
65.39
65.39 global
65.39 nbConstraintChecks=452885213 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
65.39 solvingWckTime=64.391 solvingCpuTime=63.81 expiredTime=no totalExploration=no nbFoundSolutions=0
65.39 globalCpuTime=64.36
65.39 => wckTime=65.08 cpuTime=64.3 mem=6M866
65.39
65.39 solver IterativeSystematicSolver being built...
65.53 => wckTime=65.214 cpuTime=64.4 mem=17M756
65.55
65.55 preprocessing
65.55 nbConstraintChecks=5224 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
65.55 detectedInconsistency=no
65.55 => wckTime=0.021 cpuTime=0.02 mem=17M756
65.94
65.94 search
65.94 run=0 nbConstraintChecks=1083822 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=54
65.94 nbFailedAssignments=21 nbBacktracks=10 nbVisitedNodes=86 nbRestartNogoods=0
65.94 => wckTime=0.412 cpuTime=0.38 mem=17M756
67.32
67.32 search
67.32 run=1 nbConstraintChecks=4985414 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=213
67.32 nbFailedAssignments=140 nbBacktracks=25 nbVisitedNodes=379 nbRestartNogoods=6
67.32 => wckTime=1.795 cpuTime=1.73 mem=17M756
68.88
68.88 search
68.88 run=2 nbConstraintChecks=8289279 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=340
68.88 nbFailedAssignments=216 nbBacktracks=47 nbVisitedNodes=604 nbRestartNogoods=11
68.88 => wckTime=3.351 cpuTime=3.27 mem=17M756
71.14
71.14 search
71.14 run=3 nbConstraintChecks=12514045 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=494
71.14 nbFailedAssignments=313 nbBacktracks=80 nbVisitedNodes=888 nbRestartNogoods=33
71.14 => wckTime=5.612 cpuTime=5.51 mem=17M756
74.10
74.10 search
74.10 run=4 nbConstraintChecks=19200796 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=744
74.10 nbFailedAssignments=485 nbBacktracks=130 nbVisitedNodes=1360 nbRestartNogoods=54
74.10 => wckTime=8.571 cpuTime=8.44 mem=18M730
78.20
78.20 search
78.20 run=5 nbConstraintChecks=30346515 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1140
78.20 nbFailedAssignments=785 nbBacktracks=205 nbVisitedNodes=2131 nbRestartNogoods=89
78.20 => wckTime=12.675 cpuTime=12.5 mem=18M730
82.12
82.12 search
82.12 run=6 nbConstraintChecks=41945890 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1582
82.12 nbFailedAssignments=1085 nbBacktracks=318 nbVisitedNodes=2986 nbRestartNogoods=96
82.12 => wckTime=16.588 cpuTime=16.37 mem=18M730
96.83
96.83 search
96.83 run=7 nbConstraintChecks=73272300 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2723
96.83 nbFailedAssignments=2037 nbBacktracks=488 nbVisitedNodes=5249 nbRestartNogoods=113
96.83 => wckTime=31.299 cpuTime=30.93 mem=18M730
116.47
116.47 search
116.47 run=8 nbConstraintChecks=112542274 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4152
116.47 nbFailedAssignments=3198 nbBacktracks=744 nbVisitedNodes=8086 nbRestartNogoods=121
116.47 => wckTime=50.946 cpuTime=50.41 mem=18M730
136.54
136.54 search
136.54 run=9 nbConstraintChecks=165745714 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6174
136.54 nbFailedAssignments=4825 nbBacktracks=1128 nbVisitedNodes=12115 nbRestartNogoods=128
136.54 => wckTime=71.012 cpuTime=70.29 mem=18M730
171.78
171.78 search
171.78 run=10 nbConstraintChecks=256385492 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9731
171.78 nbFailedAssignments=7792 nbBacktracks=1704 nbVisitedNodes=19194 nbRestartNogoods=141
171.78 => wckTime=106.254 cpuTime=105.22 mem=18M730
231.40
231.41 search
231.41 run=11 nbConstraintChecks=361911983 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13085
231.41 nbFailedAssignments=10265 nbBacktracks=2569 nbVisitedNodes=25886 nbRestartNogoods=168
231.41 => wckTime=165.877 cpuTime=164.31 mem=18M730
305.18
305.18 search
305.18 run=12 nbConstraintChecks=520430736 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18644
305.18 nbFailedAssignments=14506 nbBacktracks=3866 nbVisitedNodes=36982 nbRestartNogoods=182
305.18 => wckTime=239.648 cpuTime=237.43 mem=18M730
389.52
389.52 search
389.52 run=13 nbConstraintChecks=685518662 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=24593
389.52 nbFailedAssignments=18476 nbBacktracks=5812 nbVisitedNodes=48847 nbRestartNogoods=196
389.52 => wckTime=323.988 cpuTime=321.66 mem=18M730
524.34
524.34 search
524.34 run=14 nbConstraintChecks=1003029820 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=35705
524.34 nbFailedAssignments=26651 nbBacktracks=8731 nbVisitedNodes=71041 nbRestartNogoods=223
524.34 => wckTime=458.809 cpuTime=456.33 mem=18M730
714.93
714.93 search
714.93 run=15 nbConstraintChecks=1725282040 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=63233
714.93 nbFailedAssignments=49784 nbBacktracks=13109 nbVisitedNodes=126047 nbRestartNogoods=228
714.93 => wckTime=649.398 cpuTime=646.7 mem=18M730
863.42
863.42 search
863.42 run=16 nbConstraintChecks=2115767191 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=77801
863.42 nbFailedAssignments=57763 nbBacktracks=19677 nbVisitedNodes=155155 nbRestartNogoods=259
863.42 => wckTime=797.896 cpuTime=795.04 mem=18M730
1073.58
1073.58 search
1073.58 run=17 nbConstraintChecks=2859760782 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=105395
1073.58 nbFailedAssignments=75466 nbBacktracks=29530 nbVisitedNodes=210266 nbRestartNogoods=282
1073.58 => wckTime=1008.056 cpuTime=1004.96 mem=18M730
1614.65
1614.65 search
1614.65 run=18 nbConstraintChecks=4491048627 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=170929
1614.65 nbFailedAssignments=126206 nbBacktracks=44308 nbVisitedNodes=340711 nbRestartNogoods=329
1614.65 => wckTime=1549.124 cpuTime=1545.35 mem=18M730
2116.33
2116.34 search
2116.34 run=19 nbConstraintChecks=5805642791 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=229292
2116.34 nbFailedAssignments=162386 nbBacktracks=66477 nbVisitedNodes=456930 nbRestartNogoods=397
2116.34 => wckTime=2050.803 cpuTime=2046.47 mem=18M730
2405.20 v 16 1 1 18 0 0 0 23 23 5 23 2 0 12 3 18 6 5 19 5 13 14 13 14 7 4 14 23 10 0 4 17 14 0 12 15 6 12 10 0 2 8 6 3 13 6 5 8 16 11 14 14 16 0 8 0 15 0 16 22 6 6 18 4 19 6 23 6 4 3 4 13 8 12 10 3 15 0 1 12 7 5 17 3 9 15 2 15 11 15 8 0 13 12 0 21 1 10 12 1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-282710-1169321788 -o ROOT/results/node15/solver-282710-1169321788 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282710-1169321788/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.98 2.02 2.00 4/86 25439
/proc/meminfo: memFree=1392120/2055920 swapFree=4173628/4192956
[pid=25438] ppid=25436 vsize=11820 CPUtime=0
/proc/25438/stat : 25438 (java) D 25436 25438 25370 0 -1 0 760 0 1 0 0 0 0 0 16 0 1 0 280573665 12103680 510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7512868 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/25438/statm: 2955 510 421 14 0 1602 0
[startup+0.103471 s]
/proc/loadavg: 1.98 2.02 2.00 4/86 25439
/proc/meminfo: memFree=1392120/2055920 swapFree=4173628/4192956
[pid=25438] ppid=25436 vsize=914988 CPUtime=0.08
/proc/25438/stat : 25438 (java) R 25436 25438 25370 0 -1 0 2996 0 1 0 7 1 0 0 17 0 8 0 280573665 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072923528 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25438/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511539 s]
/proc/loadavg: 1.98 2.02 2.00 4/86 25439
/proc/meminfo: memFree=1392120/2055920 swapFree=4173628/4192956
[pid=25438] ppid=25436 vsize=915332 CPUtime=0.48
/proc/25438/stat : 25438 (java) R 25436 25438 25370 0 -1 0 6819 0 1 0 44 4 0 0 18 0 8 0 280573665 937299968 6558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445396 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25438/statm: 228833 6558 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33269 s]
/proc/loadavg: 1.98 2.02 2.00 3/93 25446
/proc/meminfo: memFree=1355264/2055920 swapFree=4173628/4192956
[pid=25438] ppid=25436 vsize=915456 CPUtime=1.29
/proc/25438/stat : 25438 (java) R 25436 25438 25370 0 -1 0 11915 0 1 0 120 9 0 0 24 0 8 0 280573665 937426944 11653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25438/statm: 228864 11653 2476 14 0 215334 0
[pid=25438/tid=25440] ppid=25436 vsize=915456 CPUtime=0.04
/proc/25438/task/25440/stat : 25440 (java) S 25436 25438 25370 0 -1 64 493 0 0 0 4 0 0 0 17 0 8 0 280573669 937426944 11653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25441] ppid=25436 vsize=915456 CPUtime=0
/proc/25438/task/25441/stat : 25441 (java) S 25436 25438 25370 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280573670 937426944 11653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25442] ppid=25436 vsize=915456 CPUtime=0
/proc/25438/task/25442/stat : 25442 (java) S 25436 25438 25370 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280573670 937426944 11653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25443] ppid=25436 vsize=915456 CPUtime=0
/proc/25438/task/25443/stat : 25443 (java) S 25436 25438 25370 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280573673 937426944 11653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25444] ppid=25436 vsize=915456 CPUtime=0.18
/proc/25438/task/25444/stat : 25444 (java) S 25436 25438 25370 0 -1 64 373 0 0 0 18 0 0 0 16 0 8 0 280573673 937426944 11653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25445] ppid=25436 vsize=915456 CPUtime=0
/proc/25438/task/25445/stat : 25445 (java) S 25436 25438 25370 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280573673 937426944 11653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25446] ppid=25436 vsize=915456 CPUtime=0
/proc/25438/task/25446/stat : 25446 (java) S 25436 25438 25370 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280573673 937426944 11653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915456
[startup+2.97496 s]
/proc/loadavg: 1.98 2.02 2.00 3/93 25446
/proc/meminfo: memFree=1355264/2055920 swapFree=4173628/4192956
[pid=25438] ppid=25436 vsize=915452 CPUtime=2.93
/proc/25438/stat : 25438 (java) R 25436 25438 25370 0 -1 0 11916 0 1 0 279 14 0 0 25 0 8 0 280573665 937422848 11653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073838692 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25438/statm: 228863 11653 2476 14 0 215333 0
[pid=25438/tid=25440] ppid=25436 vsize=915452 CPUtime=0.04
/proc/25438/task/25440/stat : 25440 (java) S 25436 25438 25370 0 -1 64 493 0 0 0 4 0 0 0 16 0 8 0 280573669 937422848 11653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25441] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25441/stat : 25441 (java) S 25436 25438 25370 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280573670 937422848 11653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25442] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25442/stat : 25442 (java) S 25436 25438 25370 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280573670 937422848 11653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25443] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25443/stat : 25443 (java) S 25436 25438 25370 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280573673 937422848 11653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25444] ppid=25436 vsize=915452 CPUtime=0.18
/proc/25438/task/25444/stat : 25444 (java) S 25436 25438 25370 0 -1 64 373 0 0 0 18 0 0 0 16 0 8 0 280573673 937422848 11653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25445] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25445/stat : 25445 (java) S 25436 25438 25370 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280573673 937422848 11653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25446] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25446/stat : 25446 (java) S 25436 25438 25370 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280573673 937422848 11653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915452
[startup+6.26853 s]
/proc/loadavg: 1.98 2.02 2.00 3/93 25446
/proc/meminfo: memFree=1355136/2055920 swapFree=4173628/4192956
[pid=25438] ppid=25436 vsize=915452 CPUtime=6.19
/proc/25438/stat : 25438 (java) R 25436 25438 25370 0 -1 0 11920 0 1 0 596 23 0 0 25 0 8 0 280573665 937422848 11657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839578 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25438/statm: 228863 11657 2476 14 0 215333 0
[pid=25438/tid=25440] ppid=25436 vsize=915452 CPUtime=0.04
/proc/25438/task/25440/stat : 25440 (java) S 25436 25438 25370 0 -1 64 493 0 0 0 4 0 0 0 16 0 8 0 280573669 937422848 11657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25441] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25441/stat : 25441 (java) S 25436 25438 25370 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280573670 937422848 11657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25442] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25442/stat : 25442 (java) S 25436 25438 25370 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280573670 937422848 11657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25443] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25443/stat : 25443 (java) S 25436 25438 25370 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280573673 937422848 11657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25444] ppid=25436 vsize=915452 CPUtime=0.19
/proc/25438/task/25444/stat : 25444 (java) S 25436 25438 25370 0 -1 64 377 0 0 0 19 0 0 0 15 0 8 0 280573673 937422848 11657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25445] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25445/stat : 25445 (java) S 25436 25438 25370 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280573673 937422848 11657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25446] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25446/stat : 25446 (java) S 25436 25438 25370 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280573673 937422848 11657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915452
[startup+12.7476 s]
/proc/loadavg: 1.98 2.02 2.00 3/93 25446
/proc/meminfo: memFree=1355136/2055920 swapFree=4173628/4192956
[pid=25438] ppid=25436 vsize=915452 CPUtime=12.61
/proc/25438/stat : 25438 (java) R 25436 25438 25370 0 -1 0 11920 0 1 0 1225 36 0 0 25 0 8 0 280573665 937422848 11657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837409 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25438/statm: 228863 11657 2476 14 0 215333 0
[pid=25438/tid=25440] ppid=25436 vsize=915452 CPUtime=0.04
/proc/25438/task/25440/stat : 25440 (java) S 25436 25438 25370 0 -1 64 493 0 0 0 4 0 0 0 16 0 8 0 280573669 937422848 11657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25441] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25441/stat : 25441 (java) S 25436 25438 25370 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280573670 937422848 11657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25442] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25442/stat : 25442 (java) S 25436 25438 25370 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280573670 937422848 11657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25443] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25443/stat : 25443 (java) S 25436 25438 25370 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280573673 937422848 11657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25444] ppid=25436 vsize=915452 CPUtime=0.19
/proc/25438/task/25444/stat : 25444 (java) S 25436 25438 25370 0 -1 64 377 0 0 0 19 0 0 0 16 0 8 0 280573673 937422848 11657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25445] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25445/stat : 25445 (java) S 25436 25438 25370 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280573673 937422848 11657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25446] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25446/stat : 25446 (java) S 25436 25438 25370 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280573673 937422848 11657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915452
[startup+25.6108 s]
/proc/loadavg: 1.99 2.02 2.00 3/93 25446
/proc/meminfo: memFree=1355200/2055920 swapFree=4173628/4192956
[pid=25438] ppid=25436 vsize=915452 CPUtime=25.36
/proc/25438/stat : 25438 (java) R 25436 25438 25370 0 -1 0 11922 0 1 0 2471 65 0 0 25 0 8 0 280573665 937422848 11659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073838669 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25438/statm: 228863 11659 2476 14 0 215333 0
[pid=25438/tid=25440] ppid=25436 vsize=915452 CPUtime=0.04
/proc/25438/task/25440/stat : 25440 (java) S 25436 25438 25370 0 -1 64 493 0 0 0 4 0 0 0 16 0 8 0 280573669 937422848 11659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25441] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25441/stat : 25441 (java) S 25436 25438 25370 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280573670 937422848 11659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25442] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25442/stat : 25442 (java) S 25436 25438 25370 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280573670 937422848 11659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25443] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25443/stat : 25443 (java) S 25436 25438 25370 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280573673 937422848 11659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25444] ppid=25436 vsize=915452 CPUtime=0.19
/proc/25438/task/25444/stat : 25444 (java) S 25436 25438 25370 0 -1 64 379 0 0 0 19 0 0 0 16 0 8 0 280573673 937422848 11659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25445] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25445/stat : 25445 (java) S 25436 25438 25370 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280573673 937422848 11659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25446] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25446/stat : 25446 (java) S 25436 25438 25370 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280573673 937422848 11659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915452
[startup+51.2233 s]
/proc/loadavg: 1.99 2.01 2.00 3/93 25446
/proc/meminfo: memFree=1355264/2055920 swapFree=4173628/4192956
[pid=25438] ppid=25436 vsize=915452 CPUtime=50.75
/proc/25438/stat : 25438 (java) R 25436 25438 25370 0 -1 0 11922 0 1 0 4958 117 0 0 25 0 8 0 280573665 937422848 11659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073838660 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25438/statm: 228863 11659 2476 14 0 215333 0
[pid=25438/tid=25440] ppid=25436 vsize=915452 CPUtime=0.04
/proc/25438/task/25440/stat : 25440 (java) S 25436 25438 25370 0 -1 64 493 0 0 0 4 0 0 0 16 0 8 0 280573669 937422848 11659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25441] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25441/stat : 25441 (java) S 25436 25438 25370 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280573670 937422848 11659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25442] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25442/stat : 25442 (java) S 25436 25438 25370 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280573670 937422848 11659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25443] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25443/stat : 25443 (java) S 25436 25438 25370 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280573673 937422848 11659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25444] ppid=25436 vsize=915452 CPUtime=0.19
/proc/25438/task/25444/stat : 25444 (java) S 25436 25438 25370 0 -1 64 379 0 0 0 19 0 0 0 16 0 8 0 280573673 937422848 11659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25445] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25445/stat : 25445 (java) S 25436 25438 25370 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280573673 937422848 11659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25446] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25446/stat : 25446 (java) S 25436 25438 25370 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280573673 937422848 11659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915452
[startup+102.464 s]
/proc/loadavg: 1.99 2.01 2.00 3/93 25446
/proc/meminfo: memFree=1354880/2055920 swapFree=4173628/4192956
[pid=25438] ppid=25436 vsize=915452 CPUtime=101.54
/proc/25438/stat : 25438 (java) R 25436 25438 25370 0 -1 0 12080 0 1 0 10005 149 0 0 25 0 8 0 280573665 937422848 11808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073945941 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25438/statm: 228863 11808 2527 14 0 215333 0
[pid=25438/tid=25440] ppid=25436 vsize=915452 CPUtime=0.04
/proc/25438/task/25440/stat : 25440 (java) S 25436 25438 25370 0 -1 64 494 0 0 0 4 0 0 0 16 0 8 0 280573669 937422848 11808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25441] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25441/stat : 25441 (java) S 25436 25438 25370 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280573670 937422848 11808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25442] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25442/stat : 25442 (java) S 25436 25438 25370 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280573670 937422848 11808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25443] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25443/stat : 25443 (java) S 25436 25438 25370 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280573673 937422848 11808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25444] ppid=25436 vsize=915452 CPUtime=0.3
/proc/25438/task/25444/stat : 25444 (java) S 25436 25438 25370 0 -1 64 435 0 0 0 29 1 0 0 16 0 8 0 280573673 937422848 11808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25445] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25445/stat : 25445 (java) S 25436 25438 25370 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280573673 937422848 11808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25446] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25446/stat : 25446 (java) S 25436 25438 25370 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280573673 937422848 11808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 915452
[startup+162.472 s]
/proc/loadavg: 2.04 2.02 2.00 3/93 25446
/proc/meminfo: memFree=1354944/2055920 swapFree=4173628/4192956
[pid=25438] ppid=25436 vsize=915452 CPUtime=161.01
/proc/25438/stat : 25438 (java) R 25436 25438 25370 0 -1 0 12083 0 1 0 15952 149 0 0 25 0 8 0 280573665 937422848 11809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073471076 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2020.29
Current children cumulated vsize (KiB) 915452
[startup+2085.11 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 25735
/proc/meminfo: memFree=1163080/2055920 swapFree=4173628/4192956
[pid=25438] ppid=25436 vsize=915452 CPUtime=2080.31
/proc/25438/stat : 25438 (java) R 25436 25438 25370 0 -1 0 12093 0 1 0 207866 165 0 0 25 0 8 0 280573665 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25438/statm: 228863 11812 2527 14 0 215333 0
[pid=25438/tid=25440] ppid=25436 vsize=915452 CPUtime=0.04
/proc/25438/task/25440/stat : 25440 (java) S 25436 25438 25370 0 -1 64 494 0 0 0 4 0 0 0 16 0 8 0 280573669 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25438/tid=25441] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25441/stat : 25441 (java) S 25436 25438 25370 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280573670 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25442] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25442/stat : 25442 (java) S 25436 25438 25370 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280573670 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25443] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25443/stat : 25443 (java) S 25436 25438 25370 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280573673 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25444] ppid=25436 vsize=915452 CPUtime=0.31
/proc/25438/task/25444/stat : 25444 (java) S 25436 25438 25370 0 -1 64 441 0 0 0 30 1 0 0 16 0 8 0 280573673 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25438/tid=25445] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25445/stat : 25445 (java) S 25436 25438 25370 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280573673 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25446] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25446/stat : 25446 (java) S 25436 25438 25370 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280573673 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2080.31
Current children cumulated vsize (KiB) 915452
[startup+2145.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 25735
/proc/meminfo: memFree=1163080/2055920 swapFree=4173628/4192956
[pid=25438] ppid=25436 vsize=915452 CPUtime=2140.32
/proc/25438/stat : 25438 (java) R 25436 25438 25370 0 -1 0 12094 0 1 0 213867 165 0 0 25 0 8 0 280573665 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074010162 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25438/statm: 228863 11812 2527 14 0 215333 0
[pid=25438/tid=25440] ppid=25436 vsize=915452 CPUtime=0.04
/proc/25438/task/25440/stat : 25440 (java) S 25436 25438 25370 0 -1 64 494 0 0 0 4 0 0 0 16 0 8 0 280573669 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25438/tid=25441] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25441/stat : 25441 (java) S 25436 25438 25370 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280573670 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25442] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25442/stat : 25442 (java) S 25436 25438 25370 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280573670 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25443] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25443/stat : 25443 (java) S 25436 25438 25370 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280573673 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25444] ppid=25436 vsize=915452 CPUtime=0.31
/proc/25438/task/25444/stat : 25444 (java) S 25436 25438 25370 0 -1 64 441 0 0 0 30 1 0 0 16 0 8 0 280573673 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25438/tid=25445] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25445/stat : 25445 (java) S 25436 25438 25370 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280573673 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25446] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25446/stat : 25446 (java) S 25436 25438 25370 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280573673 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2140.32
Current children cumulated vsize (KiB) 915452
[startup+2205.29 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 25735
/proc/meminfo: memFree=1163080/2055920 swapFree=4173628/4192956
[pid=25438] ppid=25436 vsize=915452 CPUtime=2200.35
/proc/25438/stat : 25438 (java) R 25436 25438 25370 0 -1 0 12094 0 1 0 219870 165 0 0 25 0 8 0 280573665 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073971360 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25438/statm: 228863 11812 2527 14 0 215333 0
[pid=25438/tid=25440] ppid=25436 vsize=915452 CPUtime=0.04
/proc/25438/task/25440/stat : 25440 (java) S 25436 25438 25370 0 -1 64 494 0 0 0 4 0 0 0 16 0 8 0 280573669 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25438/tid=25441] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25441/stat : 25441 (java) S 25436 25438 25370 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280573670 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25442] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25442/stat : 25442 (java) S 25436 25438 25370 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280573670 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25443] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25443/stat : 25443 (java) S 25436 25438 25370 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280573673 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25444] ppid=25436 vsize=915452 CPUtime=0.31
/proc/25438/task/25444/stat : 25444 (java) S 25436 25438 25370 0 -1 64 441 0 0 0 30 1 0 0 16 0 8 0 280573673 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25438/tid=25445] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25445/stat : 25445 (java) S 25436 25438 25370 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280573673 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25446] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25446/stat : 25446 (java) S 25436 25438 25370 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280573673 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2200.35
Current children cumulated vsize (KiB) 915452
[startup+2265.38 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 25735
/proc/meminfo: memFree=1163080/2055920 swapFree=4173628/4192956
[pid=25438] ppid=25436 vsize=915452 CPUtime=2260.37
/proc/25438/stat : 25438 (java) R 25436 25438 25370 0 -1 0 12094 0 1 0 225872 165 0 0 25 0 8 0 280573665 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073953349 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25438/statm: 228863 11812 2527 14 0 215333 0
[pid=25438/tid=25440] ppid=25436 vsize=915452 CPUtime=0.04
/proc/25438/task/25440/stat : 25440 (java) S 25436 25438 25370 0 -1 64 494 0 0 0 4 0 0 0 16 0 8 0 280573669 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25438/tid=25441] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25441/stat : 25441 (java) S 25436 25438 25370 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280573670 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25442] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25442/stat : 25442 (java) S 25436 25438 25370 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280573670 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25443] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25443/stat : 25443 (java) S 25436 25438 25370 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280573673 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25444] ppid=25436 vsize=915452 CPUtime=0.31
/proc/25438/task/25444/stat : 25444 (java) S 25436 25438 25370 0 -1 64 441 0 0 0 30 1 0 0 16 0 8 0 280573673 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25438/tid=25445] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25445/stat : 25445 (java) S 25436 25438 25370 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280573673 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25446] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25446/stat : 25446 (java) S 25436 25438 25370 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280573673 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2260.37
Current children cumulated vsize (KiB) 915452
[startup+2325.47 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 25735
/proc/meminfo: memFree=1163080/2055920 swapFree=4173628/4192956
[pid=25438] ppid=25436 vsize=915452 CPUtime=2320.37
/proc/25438/stat : 25438 (java) R 25436 25438 25370 0 -1 0 12094 0 1 0 231872 165 0 0 25 0 8 0 280573665 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073949983 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25438/statm: 228863 11812 2527 14 0 215333 0
[pid=25438/tid=25440] ppid=25436 vsize=915452 CPUtime=0.04
/proc/25438/task/25440/stat : 25440 (java) S 25436 25438 25370 0 -1 64 494 0 0 0 4 0 0 0 16 0 8 0 280573669 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25438/tid=25441] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25441/stat : 25441 (java) S 25436 25438 25370 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280573670 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25442] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25442/stat : 25442 (java) S 25436 25438 25370 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280573670 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25443] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25443/stat : 25443 (java) S 25436 25438 25370 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280573673 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25444] ppid=25436 vsize=915452 CPUtime=0.31
/proc/25438/task/25444/stat : 25444 (java) S 25436 25438 25370 0 -1 64 441 0 0 0 30 1 0 0 16 0 8 0 280573673 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25438/tid=25445] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25445/stat : 25445 (java) S 25436 25438 25370 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280573673 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25446] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25446/stat : 25446 (java) S 25436 25438 25370 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280573673 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2320.37
Current children cumulated vsize (KiB) 915452
[startup+2385.55 s]
/proc/loadavg: 2.06 2.01 2.00 3/94 25735
/proc/meminfo: memFree=1163080/2055920 swapFree=4173628/4192956
[pid=25438] ppid=25436 vsize=915452 CPUtime=2380.4
/proc/25438/stat : 25438 (java) R 25436 25438 25370 0 -1 0 12094 0 1 0 237875 165 0 0 25 0 8 0 280573665 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073955587 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25438/statm: 228863 11812 2527 14 0 215333 0
[pid=25438/tid=25440] ppid=25436 vsize=915452 CPUtime=0.04
/proc/25438/task/25440/stat : 25440 (java) S 25436 25438 25370 0 -1 64 494 0 0 0 4 0 0 0 16 0 8 0 280573669 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25438/tid=25441] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25441/stat : 25441 (java) S 25436 25438 25370 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280573670 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25442] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25442/stat : 25442 (java) S 25436 25438 25370 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280573670 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25443] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25443/stat : 25443 (java) S 25436 25438 25370 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280573673 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25444] ppid=25436 vsize=915452 CPUtime=0.31
/proc/25438/task/25444/stat : 25444 (java) S 25436 25438 25370 0 -1 64 441 0 0 0 30 1 0 0 16 0 8 0 280573673 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25438/tid=25445] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25445/stat : 25445 (java) S 25436 25438 25370 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280573673 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25446] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25446/stat : 25446 (java) S 25436 25438 25370 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280573673 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2380.4
Current children cumulated vsize (KiB) 915452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2405.19 s]
/proc/loadavg: 2.11 2.03 2.01 3/94 25735
/proc/meminfo: memFree=1163080/2055920 swapFree=4173628/4192956
[pid=25438] ppid=25436 vsize=915452 CPUtime=2400.03
/proc/25438/stat : 25438 (java) R 25436 25438 25370 0 -1 0 12094 0 1 0 239838 165 0 0 25 0 8 0 280573665 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073972968 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25438/statm: 228863 11812 2527 14 0 215333 0
[pid=25438/tid=25440] ppid=25436 vsize=915452 CPUtime=0.04
/proc/25438/task/25440/stat : 25440 (java) S 25436 25438 25370 0 -1 64 494 0 0 0 4 0 0 0 16 0 8 0 280573669 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25438/tid=25441] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25441/stat : 25441 (java) S 25436 25438 25370 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280573670 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25442] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25442/stat : 25442 (java) S 25436 25438 25370 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280573670 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25443] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25443/stat : 25443 (java) S 25436 25438 25370 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280573673 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25444] ppid=25436 vsize=915452 CPUtime=0.31
/proc/25438/task/25444/stat : 25444 (java) S 25436 25438 25370 0 -1 64 441 0 0 0 30 1 0 0 16 0 8 0 280573673 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25438/tid=25445] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25445/stat : 25445 (java) S 25436 25438 25370 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280573673 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25438/tid=25446] ppid=25436 vsize=915452 CPUtime=0
/proc/25438/task/25446/stat : 25446 (java) S 25436 25438 25370 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280573673 937422848 11812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 915452
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2405.26
CPU time (s): 2400.11
CPU user time (s): 2398.44
CPU system time (s): 1.66775
CPU usage (%): 99.7857
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.44
system time used= 1.66775
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12112
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= 50017
involuntary context switches= 72354
runsolver used 2.95855 s user time and 7.71583 s system time
The end
Begin job on node15 on Sat Jan 20 19:36:28 UTC 2007
IDJOB= 282710
IDBENCH= 12881
IDSOLVER= 69
FILE ID= node15/282710-1169321788
PBS_JOBID= 3610086
Free space on /tmp= 66555 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/celar/scens/scenw-06-20_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282710-1169321788/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-282710-1169321788 -o ROOT/results/node15/solver-282710-1169321788 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282710-1169321788/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 17bd7bdc60a2728368a9f59b9c046bea
RANDOM SEED= 371517124
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.276
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.276
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: 1392600 kB
Buffers: 55800 kB
Cached: 481504 kB
SwapCached: 6628 kB
Active: 219696 kB
Inactive: 366720 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1392600 kB
SwapTotal: 4192956 kB
SwapFree: 4173628 kB
Dirty: 2696 kB
Writeback: 0 kB
Mapped: 59892 kB
Slab: 61476 kB
Committed_AS: 9147584 kB
PageTables: 2368 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= 66559 MiB
End job on node15 on Sat Jan 20 20:16:34 UTC 2007