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/275754-1169226499/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.47 nbVariables=495 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.47 => wckTime=0.159 cpuTime=0.12 mem=7M885
0.47
0.47 predicates being loaded...
0.48
0.48 constraints being loaded...
1.21 nbConstraints=939 nbSingletonDomainVariables=118 nbConvertedConstraints=570 nbConvertConstraintsChecks=229482
1.21 nbExtensionStructures=12 nbSharedExtensionStructures=558 nbConflictsStructures=66
1.21 nbSharedConflictsStructures=873 nbSharedBinaryRepresentations=29 nbEvaluationManagers=54
1.21 nbSharedEvaluationManagers=315 maxDegree=96 maxArity=13
1.21 => wckTime=0.895 cpuTime=0.73 mem=23M488
1.26
1.26 solver LocalSearchSolver being built...
1.30 => wckTime=0.991 cpuTime=0.77 mem=6M512
1.31
1.31 s SATISFIABLE
1.31 o 785
1.31 c 154
1.31 o 790
1.31 c 149
1.32 o 794
1.32 c 145
1.32 o 798
1.32 c 141
1.32 o 802
1.32 c 137
1.33 o 803
1.33 c 136
1.33 o 806
1.33 c 133
1.33 o 809
1.33 c 130
1.33 o 812
1.33 c 127
1.34 o 816
1.34 c 123
1.34 o 819
1.34 c 120
1.34 o 822
1.34 c 117
1.34 o 825
1.34 c 114
1.34 o 828
1.34 c 111
1.35 o 829
1.35 c 110
1.35 o 831
1.35 c 108
1.35 o 833
1.35 c 106
1.35 o 835
1.35 c 104
1.35 o 837
1.35 c 102
1.36 o 839
1.36 c 100
1.36 o 841
1.36 c 98
1.36 o 843
1.36 c 96
1.36 o 845
1.36 c 94
1.36 o 847
1.36 c 92
1.37 o 849
1.37 c 90
1.37 o 851
1.37 c 88
1.37 o 853
1.37 c 86
1.37 o 855
1.37 c 84
1.37 o 857
1.37 c 82
1.37 o 859
1.37 c 80
1.38 o 860
1.38 c 79
1.38 o 861
1.38 c 78
1.38 o 862
1.38 c 77
1.39 o 863
1.39 c 76
1.39 o 864
1.39 c 75
1.39 o 865
1.39 c 74
1.39 o 867
1.39 c 72
1.39 o 869
1.39 c 70
1.39 o 871
1.39 c 68
1.40 o 872
1.40 c 67
1.40 o 874
1.40 c 65
1.40 o 876
1.40 c 63
1.40 o 878
1.40 c 61
1.40 o 880
1.40 c 59
1.40 o 882
1.40 c 57
1.41 o 884
1.41 c 55
1.41 o 886
1.41 c 53
1.41 o 887
1.41 c 52
1.41 o 888
1.41 c 51
1.41 o 889
1.41 c 50
1.42 o 890
1.42 c 49
1.42 o 891
1.42 c 48
1.42 o 892
1.42 c 47
1.42 o 893
1.42 c 46
1.42 o 894
1.42 c 45
1.42 o 895
1.42 c 44
1.43 o 896
1.43 c 43
1.43 o 897
1.43 c 42
1.43 o 898
1.43 c 41
1.43 o 899
1.43 c 40
1.43 o 900
1.43 c 39
1.43 o 901
1.43 c 38
1.44 o 902
1.44 c 37
1.45 o 903
1.45 c 36
1.47 o 904
1.47 c 35
1.47 o 905
1.47 c 34
1.47 o 906
1.47 c 33
1.47 o 907
1.47 c 32
1.48 o 908
1.48 c 31
1.48 o 910
1.48 c 29
1.48 o 911
1.48 c 28
1.48 o 913
1.48 c 26
1.48 o 914
1.48 c 25
1.48 o 916
1.48 c 23
1.48 o 918
1.48 c 21
1.49 o 919
1.49 c 20
1.50 o 921
1.50 c 18
1.50 o 922
1.50 c 17
1.51 o 923
1.51 c 16
1.51 o 924
1.51 c 15
1.54 o 925
1.54 c 14
1.55 o 926
1.55 c 13
1.63 o 927
1.63 c 12
1.64 o 928
1.64 c 11
1.66 o 929
1.66 c 10
1.67 o 930
1.67 c 9
1.77 o 931
1.77 c 8
1.91 o 932
1.91 c 7
1.91 o 933
1.91 c 6
1.91 o 934
1.91 c 5
1.92 o 935
1.92 c 4
1.92 o 936
1.92 c 3
1.94 o 937
1.94 c 2
2.00 o 938
2.00 c 1
2.00
2.00 search
2.00 run=0 nbConstraintChecks=401239 nbAssignments=884
2.00 => wckTime=0.703 cpuTime=0.68 mem=6M512
2.00
2.00 global
2.00 nbConstraintChecks=401239 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.00 solvingWckTime=0.701 solvingCpuTime=0.67 expiredTime=no totalExploration=no nbFoundSolutions=0
2.00 globalCpuTime=1.5
2.00 => wckTime=1.694 cpuTime=1.45 mem=6M512
2.01
2.01 solver IterativeSystematicSolver being built...
2.20 => wckTime=1.886 cpuTime=1.6 mem=23M484
2.21
2.22 preprocessing
2.22 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.22 detectedInconsistency=no
2.22 => wckTime=0.016 cpuTime=0.01 mem=23M484
2.67
2.67 search
2.67 run=0 nbConstraintChecks=109238 nbValidityChecks=250857 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.67 nbAssignments=264 nbFailedAssignments=6 nbBacktracks=40 nbVisitedNodes=272 nbRestartNogoods=0
2.67 => wckTime=0.476 cpuTime=0.45 mem=24M459
3.06
3.06 search
3.06 run=1 nbConstraintChecks=199772 nbValidityChecks=497760 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
3.06 nbAssignments=524 nbFailedAssignments=10 nbBacktracks=78 nbVisitedNodes=537 nbRestartNogoods=2
3.06 => wckTime=0.863 cpuTime=0.82 mem=24M459
3.46
3.46 search
3.46 run=2 nbConstraintChecks=302892 nbValidityChecks=758003 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
3.46 nbAssignments=806 nbFailedAssignments=13 nbBacktracks=110 nbVisitedNodes=829 nbRestartNogoods=3
3.46 => wckTime=1.262 cpuTime=1.22 mem=24M459
3.78
3.78 search
3.78 run=3 nbConstraintChecks=362128 nbValidityChecks=972154 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
3.78 nbAssignments=993 nbFailedAssignments=18 nbBacktracks=144 nbVisitedNodes=1021 nbRestartNogoods=4
3.78 => wckTime=1.579 cpuTime=1.54 mem=24M459
4.14
4.14 search
4.14 run=4 nbConstraintChecks=427861 nbValidityChecks=1199292 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
4.14 nbAssignments=1187 nbFailedAssignments=28 nbBacktracks=236 nbVisitedNodes=1227 nbRestartNogoods=5
4.14 => wckTime=1.941 cpuTime=1.89 mem=24M459
4.54
4.54 search
4.54 run=5 nbConstraintChecks=506936 nbValidityChecks=1466682 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
4.54 nbAssignments=1424 nbFailedAssignments=37 nbBacktracks=315 nbVisitedNodes=1476 nbRestartNogoods=6
4.54 => wckTime=2.338 cpuTime=2.28 mem=24M459
4.97
4.97 search
4.97 run=6 nbConstraintChecks=590029 nbValidityChecks=1728161 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
4.97 nbAssignments=1647 nbFailedAssignments=48 nbBacktracks=429 nbVisitedNodes=1710 nbRestartNogoods=9
4.97 => wckTime=2.773 cpuTime=2.7 mem=24M459
5.68
5.68 search
5.68 run=7 nbConstraintChecks=786231 nbValidityChecks=2140727 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
5.68 nbAssignments=1955 nbFailedAssignments=87 nbBacktracks=610 nbVisitedNodes=2059 nbRestartNogoods=11
5.68 => wckTime=3.481 cpuTime=3.41 mem=24M459
6.57
6.57 search
6.57 run=8 nbConstraintChecks=991431 nbValidityChecks=2678595 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
6.57 nbAssignments=2345 nbFailedAssignments=130 nbBacktracks=867 nbVisitedNodes=2495 nbRestartNogoods=13
6.57 => wckTime=4.377 cpuTime=4.3 mem=24M459
7.83
7.83 search
7.83 run=9 nbConstraintChecks=1168120 nbValidityChecks=3457830 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
7.83 nbAssignments=2842 nbFailedAssignments=202 nbBacktracks=1258 nbVisitedNodes=3091 nbRestartNogoods=16
7.83 => wckTime=5.63 cpuTime=5.55 mem=24M459
9.22
9.22 search
9.22 run=10 nbConstraintChecks=1584442 nbValidityChecks=4316757 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
9.22 nbAssignments=3760 nbFailedAssignments=301 nbBacktracks=1842 nbVisitedNodes=4127 nbRestartNogoods=18
9.22 => wckTime=7.027 cpuTime=6.94 mem=24M459
11.25
11.25 search
11.25 run=11 nbConstraintChecks=1979996 nbValidityChecks=5668372 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
11.25 nbAssignments=4776 nbFailedAssignments=377 nbBacktracks=2716 nbVisitedNodes=5231 nbRestartNogoods=24
11.25 => wckTime=9.05 cpuTime=8.96 mem=24M459
14.68
14.68 search
14.68 run=12 nbConstraintChecks=2741305 nbValidityChecks=7863254 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
14.68 nbAssignments=6362 nbFailedAssignments=592 nbBacktracks=4017 nbVisitedNodes=7071 nbRestartNogoods=29
14.68 => wckTime=12.484 cpuTime=12.39 mem=24M459
20.29
20.29 search
20.29 run=13 nbConstraintChecks=4086007 nbValidityChecks=11694465 nbPropagations=0 nbRevisions=0
20.30 nbUselessRevisions=0 nbAssignments=8708 nbFailedAssignments=970 nbBacktracks=5967 nbVisitedNodes=9890
20.30 nbRestartNogoods=37
20.30 => wckTime=18.098 cpuTime=18.0 mem=24M459
28.96
28.96 search
28.96 run=14 nbConstraintChecks=5854220 nbValidityChecks=17307342 nbPropagations=0 nbRevisions=0
28.96 nbUselessRevisions=0 nbAssignments=12139 nbFailedAssignments=1423 nbBacktracks=8888 nbVisitedNodes=13844
28.96 nbRestartNogoods=40
28.96 => wckTime=26.761 cpuTime=26.66 mem=24M459
40.92
40.92 search
40.92 run=15 nbConstraintChecks=8161231 nbValidityChecks=25715893 nbPropagations=0 nbRevisions=0
40.92 nbUselessRevisions=0 nbAssignments=17141 nbFailedAssignments=1997 nbBacktracks=13277 nbVisitedNodes=19542
40.92 nbRestartNogoods=47
40.92 => wckTime=38.722 cpuTime=38.62 mem=24M459
59.36
59.36 search
59.36 run=16 nbConstraintChecks=11767254 nbValidityChecks=38873656 nbPropagations=0 nbRevisions=0
59.36 nbUselessRevisions=0 nbAssignments=24628 nbFailedAssignments=2860 nbBacktracks=19846 nbVisitedNodes=28105
59.36 nbRestartNogoods=51
59.36 => wckTime=57.163 cpuTime=57.05 mem=24M459
87.14
87.14 search
87.14 run=17 nbConstraintChecks=17222895 nbValidityChecks=58458128 nbPropagations=0 nbRevisions=0
87.14 nbUselessRevisions=0 nbAssignments=35925 nbFailedAssignments=4257 nbBacktracks=29699 nbVisitedNodes=41031
87.14 nbRestartNogoods=61
87.14 => wckTime=84.942 cpuTime=84.82 mem=24M459
129.08
129.08 search
129.08 run=18 nbConstraintChecks=25519591 nbValidityChecks=87755054 nbPropagations=0 nbRevisions=0
129.08 nbUselessRevisions=0 nbAssignments=52868 nbFailedAssignments=6374 nbBacktracks=44492 nbVisitedNodes=60524
129.08 nbRestartNogoods=71
129.08 => wckTime=126.887 cpuTime=126.75 mem=24M459
188.27
188.27 search
188.27 run=19 nbConstraintChecks=37166240 nbValidityChecks=130603028 nbPropagations=0 nbRevisions=0
188.27 nbUselessRevisions=0 nbAssignments=77820 nbFailedAssignments=9093 nbBacktracks=66661 nbVisitedNodes=88691
188.27 nbRestartNogoods=79
188.27 => wckTime=186.068 cpuTime=185.7 mem=24M459
295.28
295.28 search
295.28 run=20 nbConstraintChecks=66010355 nbValidityChecks=200712312 nbPropagations=0 nbRevisions=0
295.28 nbUselessRevisions=0 nbAssignments=115560 nbFailedAssignments=13551 nbBacktracks=99915 nbVisitedNodes=131533
295.28 nbRestartNogoods=89
295.28 => wckTime=293.083 cpuTime=292.19 mem=24M459
428.05
428.05 search
428.05 run=21 nbConstraintChecks=95061418 nbValidityChecks=283742521 nbPropagations=0 nbRevisions=0
428.05 nbUselessRevisions=0 nbAssignments=169725 nbFailedAssignments=19556 nbBacktracks=148076 nbVisitedNodes=192243
428.05 nbRestartNogoods=95
428.05 => wckTime=425.856 cpuTime=424.34 mem=24M459
428.05
428.05 global
428.05 nbConstraintChecks=95061418 nbValidityChecks=283742521 nbRestartNogoods=95 solvingWckTime=425.858
428.05 solvingCpuTime=424.34 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=425.99
428.06 => wckTime=427.745 cpuTime=425.94 mem=24M459
428.06
428.06 s OPTIMUM FOUND
428.06 v 0 1 1 0 0 1 0 1 1 1 1 0 0 0 0 1 0 1 0 1 1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 1 0 1 0 1 1 1 0 1 1 0 1 1 1 1 0 1 0 1 1 1 0 0 1 0 1 0 1 1 1 1 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 0 1 1 1 1 0 0 0 1 1 0 0 0 0 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 0 1 1 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 1 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 1 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 0 0 0 0 1 1 1 0 1 1 1 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 1
428.06
428.06 totalWckTime=427.824 totalCpuTime=425.99
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node50/watcher-275754-1169226499 -o ROOT/results/node50/solver-275754-1169226499 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275754-1169226499/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: 0.85 0.97 0.99 4/73 3155
/proc/meminfo: memFree=1451456/2055920 swapFree=4191892/4192956
[pid=3154] ppid=3152 vsize=18540 CPUtime=0
/proc/3154/stat : 3154 (runsolver) R 3152 3154 3043 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 271048490 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 240577473831 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/3154/statm: 4635 279 244 17 0 2626 0
[startup+0.107964 s]
/proc/loadavg: 0.85 0.97 0.99 4/73 3155
/proc/meminfo: memFree=1451456/2055920 swapFree=4191892/4192956
[pid=3154] ppid=3152 vsize=914988 CPUtime=0.08
/proc/3154/stat : 3154 (java) R 3152 3154 3043 0 -1 0 3021 0 1 0 7 1 0 0 20 0 8 0 271048490 936947712 2767 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3154/statm: 228747 2767 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516033 s]
/proc/loadavg: 0.85 0.97 0.99 4/73 3155
/proc/meminfo: memFree=1451456/2055920 swapFree=4191892/4192956
[pid=3154] ppid=3152 vsize=915332 CPUtime=0.5
/proc/3154/stat : 3154 (java) R 3152 3154 3043 0 -1 0 6505 0 1 0 46 4 0 0 18 0 8 0 271048490 937299968 6244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3154/statm: 228833 6244 2147 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.33717 s]
/proc/loadavg: 0.85 0.97 0.99 4/87 3169
/proc/meminfo: memFree=1389328/2055920 swapFree=4191892/4192956
[pid=3154] ppid=3152 vsize=915452 CPUtime=1.31
/proc/3154/stat : 3154 (java) R 3152 3154 3043 0 -1 0 11059 0 1 0 120 11 0 0 24 0 8 0 271048490 937422848 10796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3154/statm: 228863 10796 2495 14 0 215333 0
[pid=3154/tid=3159] ppid=3152 vsize=915452 CPUtime=0.04
/proc/3154/task/3159/stat : 3159 (java) S 3152 3154 3043 0 -1 64 408 0 0 0 4 0 0 0 16 0 8 0 271048494 937422848 10796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3160] ppid=3152 vsize=915452 CPUtime=0
/proc/3154/task/3160/stat : 3160 (java) S 3152 3154 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048494 937422848 10796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3161] ppid=3152 vsize=915452 CPUtime=0
/proc/3154/task/3161/stat : 3161 (java) S 3152 3154 3043 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048494 937422848 10796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3166] ppid=3152 vsize=915452 CPUtime=0
/proc/3154/task/3166/stat : 3166 (java) S 3152 3154 3043 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271048497 937422848 10796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3167] ppid=3152 vsize=915452 CPUtime=0.22
/proc/3154/task/3167/stat : 3167 (java) S 3152 3154 3043 0 -1 64 387 0 0 0 21 1 0 0 15 0 8 0 271048497 937422848 10796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3168] ppid=3152 vsize=915452 CPUtime=0
/proc/3154/task/3168/stat : 3168 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271048497 937422848 10796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3169] ppid=3152 vsize=915452 CPUtime=0
/proc/3154/task/3169/stat : 3169 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271048497 937422848 10796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915452
[startup+2.97744 s]
/proc/loadavg: 0.94 0.98 0.99 4/87 3169
/proc/meminfo: memFree=1384016/2055920 swapFree=4191892/4192956
[pid=3154] ppid=3152 vsize=915588 CPUtime=2.95
/proc/3154/stat : 3154 (java) R 3152 3154 3043 0 -1 0 11233 0 1 0 278 17 0 0 25 0 8 0 271048490 937562112 10968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073974163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3154/statm: 228897 10968 2548 14 0 215367 0
[pid=3154/tid=3159] ppid=3152 vsize=915588 CPUtime=0.04
/proc/3154/task/3159/stat : 3159 (java) S 3152 3154 3043 0 -1 64 409 0 0 0 4 0 0 0 16 0 8 0 271048494 937562112 10968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3160] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3160/stat : 3160 (java) S 3152 3154 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3161] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3161/stat : 3161 (java) S 3152 3154 3043 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3166] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3166/stat : 3166 (java) S 3152 3154 3043 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271048497 937562112 10968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3167] ppid=3152 vsize=915588 CPUtime=0.31
/proc/3154/task/3167/stat : 3167 (java) S 3152 3154 3043 0 -1 64 442 0 0 0 30 1 0 0 15 0 8 0 271048497 937562112 10968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3168] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3168/stat : 3168 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271048497 937562112 10968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3169] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3169/stat : 3169 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271048497 937562112 10968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915588
[startup+6.271 s]
/proc/loadavg: 0.94 0.98 0.99 3/87 3169
/proc/meminfo: memFree=1383632/2055920 swapFree=4191892/4192956
[pid=3154] ppid=3152 vsize=915588 CPUtime=6.24
/proc/3154/stat : 3154 (java) R 3152 3154 3043 0 -1 0 11250 0 1 0 607 17 0 0 25 0 8 0 271048490 937562112 10982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074037866 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3154/statm: 228897 10982 2548 14 0 215367 0
[pid=3154/tid=3159] ppid=3152 vsize=915588 CPUtime=0.04
/proc/3154/task/3159/stat : 3159 (java) S 3152 3154 3043 0 -1 64 409 0 0 0 4 0 0 0 17 0 8 0 271048494 937562112 10982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3160] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3160/stat : 3160 (java) S 3152 3154 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3161] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3161/stat : 3161 (java) S 3152 3154 3043 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3166] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3166/stat : 3166 (java) S 3152 3154 3043 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271048497 937562112 10982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3167] ppid=3152 vsize=915588 CPUtime=0.34
/proc/3154/task/3167/stat : 3167 (java) S 3152 3154 3043 0 -1 64 458 0 0 0 32 2 0 0 15 0 8 0 271048497 937562112 10982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3168] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3168/stat : 3168 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271048497 937562112 10982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3169] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3169/stat : 3169 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271048497 937562112 10982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915588
[startup+12.7441 s]
/proc/loadavg: 1.10 1.02 1.01 3/87 3169
/proc/meminfo: memFree=1383632/2055920 swapFree=4191892/4192956
[pid=3154] ppid=3152 vsize=915588 CPUtime=12.71
/proc/3154/stat : 3154 (java) R 3152 3154 3043 0 -1 0 11259 0 1 0 1254 17 0 0 25 0 8 0 271048490 937562112 10988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074106531 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3154/statm: 228897 10988 2548 14 0 215367 0
[pid=3154/tid=3159] ppid=3152 vsize=915588 CPUtime=0.04
/proc/3154/task/3159/stat : 3159 (java) S 3152 3154 3043 0 -1 64 409 0 0 0 4 0 0 0 16 0 8 0 271048494 937562112 10988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3160] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3160/stat : 3160 (java) S 3152 3154 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3161] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3161/stat : 3161 (java) S 3152 3154 3043 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3166] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3166/stat : 3166 (java) S 3152 3154 3043 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271048497 937562112 10988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3167] ppid=3152 vsize=915588 CPUtime=0.36
/proc/3154/task/3167/stat : 3167 (java) S 3152 3154 3043 0 -1 64 466 0 0 0 34 2 0 0 16 0 8 0 271048497 937562112 10988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3168] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3168/stat : 3168 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271048497 937562112 10988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3169] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3169/stat : 3169 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271048497 937562112 10988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915588
[startup+25.6012 s]
/proc/loadavg: 1.24 1.05 1.02 3/87 3169
/proc/meminfo: memFree=1383760/2055920 swapFree=4191892/4192956
[pid=3154] ppid=3152 vsize=915588 CPUtime=25.56
/proc/3154/stat : 3154 (java) R 3152 3154 3043 0 -1 0 11259 0 1 0 2539 17 0 0 25 0 8 0 271048490 937562112 10988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073974081 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3154/statm: 228897 10988 2548 14 0 215367 0
[pid=3154/tid=3159] ppid=3152 vsize=915588 CPUtime=0.04
/proc/3154/task/3159/stat : 3159 (java) S 3152 3154 3043 0 -1 64 409 0 0 0 4 0 0 0 16 0 8 0 271048494 937562112 10988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3160] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3160/stat : 3160 (java) S 3152 3154 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3161] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3161/stat : 3161 (java) S 3152 3154 3043 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3166] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3166/stat : 3166 (java) S 3152 3154 3043 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271048497 937562112 10988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3167] ppid=3152 vsize=915588 CPUtime=0.36
/proc/3154/task/3167/stat : 3167 (java) S 3152 3154 3043 0 -1 64 466 0 0 0 34 2 0 0 16 0 8 0 271048497 937562112 10988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3168] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3168/stat : 3168 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271048497 937562112 10988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3169] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3169/stat : 3169 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271048497 937562112 10988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915588
[startup+51.2976 s]
/proc/loadavg: 1.50 1.12 1.04 3/87 3169
/proc/meminfo: memFree=1383760/2055920 swapFree=4191892/4192956
[pid=3154] ppid=3152 vsize=915588 CPUtime=51.25
/proc/3154/stat : 3154 (java) R 3152 3154 3043 0 -1 0 11261 0 1 0 5108 17 0 0 25 0 8 0 271048490 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074037104 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3154/statm: 228897 10989 2548 14 0 215367 0
[pid=3154/tid=3159] ppid=3152 vsize=915588 CPUtime=0.04
/proc/3154/task/3159/stat : 3159 (java) S 3152 3154 3043 0 -1 64 409 0 0 0 4 0 0 0 16 0 8 0 271048494 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3160] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3160/stat : 3160 (java) S 3152 3154 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3161] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3161/stat : 3161 (java) S 3152 3154 3043 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3166] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3166/stat : 3166 (java) S 3152 3154 3043 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271048497 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3167] ppid=3152 vsize=915588 CPUtime=0.36
/proc/3154/task/3167/stat : 3167 (java) S 3152 3154 3043 0 -1 64 467 0 0 0 34 2 0 0 17 0 8 0 271048497 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3168] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3168/stat : 3168 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271048497 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3169] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3169/stat : 3169 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271048497 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.25
Current children cumulated vsize (KiB) 915588
[startup+102.595 s]
/proc/loadavg: 1.80 1.27 1.09 3/87 3169
/proc/meminfo: memFree=1383888/2055920 swapFree=4191892/4192956
[pid=3154] ppid=3152 vsize=915588 CPUtime=102.53
/proc/3154/stat : 3154 (java) R 3152 3154 3043 0 -1 0 11261 0 1 0 10236 17 0 0 25 0 8 0 271048490 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074031315 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3154/statm: 228897 10989 2548 14 0 215367 0
[pid=3154/tid=3159] ppid=3152 vsize=915588 CPUtime=0.04
/proc/3154/task/3159/stat : 3159 (java) S 3152 3154 3043 0 -1 64 409 0 0 0 4 0 0 0 16 0 8 0 271048494 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3160] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3160/stat : 3160 (java) S 3152 3154 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3161] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3161/stat : 3161 (java) S 3152 3154 3043 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3166] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3166/stat : 3166 (java) S 3152 3154 3043 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271048497 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3167] ppid=3152 vsize=915588 CPUtime=0.36
/proc/3154/task/3167/stat : 3167 (java) S 3152 3154 3043 0 -1 64 467 0 0 0 34 2 0 0 16 0 8 0 271048497 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3168] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3168/stat : 3168 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271048497 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3169] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3169/stat : 3169 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271048497 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.53
Current children cumulated vsize (KiB) 915588
[startup+162.649 s]
/proc/loadavg: 1.86 1.38 1.14 3/87 3227
/proc/meminfo: memFree=1334480/2055920 swapFree=4191892/4192956
[pid=3154] ppid=3152 vsize=915588 CPUtime=162.48
/proc/3154/stat : 3154 (java) R 3152 3154 3043 0 -1 0 11261 0 1 0 16228 20 0 0 25 0 8 0 271048490 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074033510 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3154/statm: 228897 10989 2548 14 0 215367 0
[pid=3154/tid=3159] ppid=3152 vsize=915588 CPUtime=0.04
/proc/3154/task/3159/stat : 3159 (java) S 3152 3154 3043 0 -1 64 409 0 0 0 4 0 0 0 16 0 8 0 271048494 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3160] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3160/stat : 3160 (java) S 3152 3154 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3161] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3161/stat : 3161 (java) S 3152 3154 3043 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3166] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3166/stat : 3166 (java) S 3152 3154 3043 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271048497 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3167] ppid=3152 vsize=915588 CPUtime=0.36
/proc/3154/task/3167/stat : 3167 (java) S 3152 3154 3043 0 -1 64 467 0 0 0 34 2 0 0 16 0 8 0 271048497 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3168] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3168/stat : 3168 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271048497 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3169] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3169/stat : 3169 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271048497 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.48
Current children cumulated vsize (KiB) 915588
[startup+222.706 s]
/proc/loadavg: 2.06 1.52 1.20 3/87 3227
/proc/meminfo: memFree=1312528/2055920 swapFree=4191892/4192956
[pid=3154] ppid=3152 vsize=915588 CPUtime=222.23
/proc/3154/stat : 3154 (java) R 3152 3154 3043 0 -1 0 11261 0 1 0 22202 21 0 0 25 0 8 0 271048490 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073471103 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3154/statm: 228897 10989 2548 14 0 215367 0
[pid=3154/tid=3159] ppid=3152 vsize=915588 CPUtime=0.04
/proc/3154/task/3159/stat : 3159 (java) S 3152 3154 3043 0 -1 64 409 0 0 0 4 0 0 0 16 0 8 0 271048494 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3160] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3160/stat : 3160 (java) S 3152 3154 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3161] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3161/stat : 3161 (java) S 3152 3154 3043 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3166] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3166/stat : 3166 (java) S 3152 3154 3043 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271048497 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3167] ppid=3152 vsize=915588 CPUtime=0.36
/proc/3154/task/3167/stat : 3167 (java) S 3152 3154 3043 0 -1 64 467 0 0 0 34 2 0 0 16 0 8 0 271048497 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3168] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3168/stat : 3168 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271048497 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3169] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3169/stat : 3169 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271048497 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 915588
[startup+282.756 s]
/proc/loadavg: 2.16 1.65 1.27 2/75 3240
/proc/meminfo: memFree=1412976/2055920 swapFree=4191892/4192956
[pid=3154] ppid=3152 vsize=915588 CPUtime=282
/proc/3154/stat : 3154 (java) R 3152 3154 3043 0 -1 0 11262 0 1 0 28178 22 0 0 25 0 8 0 271048490 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074033494 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3154/statm: 228897 10990 2548 14 0 215367 0
[pid=3154/tid=3159] ppid=3152 vsize=915588 CPUtime=0.04
/proc/3154/task/3159/stat : 3159 (java) S 3152 3154 3043 0 -1 64 409 0 0 0 4 0 0 0 16 0 8 0 271048494 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3154/tid=3160] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3160/stat : 3160 (java) S 3152 3154 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3161] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3161/stat : 3161 (java) S 3152 3154 3043 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3166] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3166/stat : 3166 (java) S 3152 3154 3043 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271048497 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3167] ppid=3152 vsize=915588 CPUtime=0.36
/proc/3154/task/3167/stat : 3167 (java) S 3152 3154 3043 0 -1 64 468 0 0 0 34 2 0 0 16 0 8 0 271048497 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3154/tid=3168] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3168/stat : 3168 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271048497 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3169] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3169/stat : 3169 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271048497 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282
Current children cumulated vsize (KiB) 915588
[startup+342.808 s]
/proc/loadavg: 2.06 1.71 1.31 3/88 3299
/proc/meminfo: memFree=823112/2055920 swapFree=4191892/4192956
[pid=3154] ppid=3152 vsize=915588 CPUtime=341.76
/proc/3154/stat : 3154 (java) R 3152 3154 3043 0 -1 0 11263 0 1 0 34153 23 0 0 25 0 8 0 271048490 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822296 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3154/statm: 228897 10990 2548 14 0 215367 0
[pid=3154/tid=3159] ppid=3152 vsize=915588 CPUtime=0.04
/proc/3154/task/3159/stat : 3159 (java) S 3152 3154 3043 0 -1 64 409 0 0 0 4 0 0 0 16 0 8 0 271048494 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3154/tid=3160] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3160/stat : 3160 (java) S 3152 3154 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3161] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3161/stat : 3161 (java) S 3152 3154 3043 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3166] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3166/stat : 3166 (java) S 3152 3154 3043 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271048497 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3167] ppid=3152 vsize=915588 CPUtime=0.36
/proc/3154/task/3167/stat : 3167 (java) S 3152 3154 3043 0 -1 64 468 0 0 0 34 2 0 0 16 0 8 0 271048497 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3154/tid=3168] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3168/stat : 3168 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271048497 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3169] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3169/stat : 3169 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271048497 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.76
Current children cumulated vsize (KiB) 915588
[startup+402.863 s]
/proc/loadavg: 2.06 1.78 1.35 3/88 3299
/proc/meminfo: memFree=823112/2055920 swapFree=4191892/4192956
[pid=3154] ppid=3152 vsize=915588 CPUtime=401.53
/proc/3154/stat : 3154 (java) R 3152 3154 3043 0 -1 0 11263 0 1 0 40130 23 0 0 25 0 8 0 271048490 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802336 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3154/statm: 228897 10990 2548 14 0 215367 0
[pid=3154/tid=3159] ppid=3152 vsize=915588 CPUtime=0.04
/proc/3154/task/3159/stat : 3159 (java) S 3152 3154 3043 0 -1 64 409 0 0 0 4 0 0 0 16 0 8 0 271048494 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3154/tid=3160] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3160/stat : 3160 (java) S 3152 3154 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3161] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3161/stat : 3161 (java) S 3152 3154 3043 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3166] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3166/stat : 3166 (java) S 3152 3154 3043 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271048497 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3167] ppid=3152 vsize=915588 CPUtime=0.36
/proc/3154/task/3167/stat : 3167 (java) S 3152 3154 3043 0 -1 64 468 0 0 0 34 2 0 0 16 0 8 0 271048497 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3154/tid=3168] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3168/stat : 3168 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271048497 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3169] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3169/stat : 3169 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271048497 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 401.53
Current children cumulated vsize (KiB) 915588
Child status: 0
Real time (s): 428.077
CPU time (s): 426.628
CPU user time (s): 426.386
CPU system time (s): 0.241963
CPU usage (%): 99.6614
Max. virtual memory (cumulated for all children) (KiB): 915588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 426.386
system time used= 0.241963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11279
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= 10171
involuntary context switches= 9559
runsolver used 0.452931 s user time and 1.16082 s system time
The end
Begin job on node50 on Fri Jan 19 17:08:19 UTC 2007
IDJOB= 275754
IDBENCH= 4665
IDSOLVER= 69
FILE ID= node50/275754-1169226499
PBS_JOBID= 3589251
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/44s-smv.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275754-1169226499/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-275754-1169226499 -o ROOT/results/node50/solver-275754-1169226499 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275754-1169226499/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c15b80e078b6e0c44dde79342583e0d7
RANDOM SEED= 785101255
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.263
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 : 5931.00
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.263
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: 1452320 kB
Buffers: 45564 kB
Cached: 461032 kB
SwapCached: 276 kB
Active: 139520 kB
Inactive: 387092 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1452320 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 3892 kB
Writeback: 0 kB
Mapped: 29436 kB
Slab: 62504 kB
Committed_AS: 5299524 kB
PageTables: 1824 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66562 MiB
End job on node50 on Fri Jan 19 17:15:28 UTC 2007