0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/276141-1169231784/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.44 nbVariables=225 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.44 => wckTime=0.122 cpuTime=0.09 mem=6M910
0.44
0.44 predicates being loaded...
0.44
0.44 constraints being loaded...
2.36 nbConstraints=11025 nbConflictsStructures=1 nbSharedConflictsStructures=11024 nbSharedBinaryRepresentations=0
2.36 nbEvaluationManagers=1 nbSharedEvaluationManagers=11024 maxDegree=196 maxArity=4
2.36 => wckTime=2.045 cpuTime=1.77 mem=45M38
2.51
2.51 solver LocalSearchSolver being built...
2.55 => wckTime=2.23 cpuTime=1.82 mem=25M912
2.57
2.57 s SATISFIABLE
2.57 o 9629
2.57 c 1396
2.58 o 9667
2.58 c 1358
2.58 o 9702
2.58 c 1323
2.59 o 9734
2.59 c 1291
2.59 o 9760
2.59 c 1265
2.59 o 9789
2.59 c 1236
2.60 o 9816
2.60 c 1209
2.60 o 9834
2.60 c 1191
2.61 o 9852
2.61 c 1173
2.61 o 9866
2.61 c 1159
2.61 o 9885
2.61 c 1140
2.61 o 9901
2.61 c 1124
2.62 o 9919
2.62 c 1106
2.62 o 9931
2.62 c 1094
2.62 o 9944
2.62 c 1081
2.62 o 9953
2.63 c 1072
2.63 o 9965
2.63 c 1060
2.63 o 9978
2.63 c 1047
2.63 o 9985
2.63 c 1040
2.63 o 9996
2.63 c 1029
2.63 o 10002
2.63 c 1023
2.64 o 10007
2.64 c 1018
2.64 o 10011
2.64 c 1014
2.64 o 10015
2.64 c 1010
2.64 o 10020
2.64 c 1005
2.65 o 10027
2.65 c 998
2.65 o 10028
2.65 c 997
2.65 o 10029
2.65 c 996
2.65 o 10032
2.65 c 993
2.66 o 10033
2.66 c 992
2.66 o 10034
2.66 c 991
2.66 o 10036
2.66 c 989
2.67 o 10040
2.67 c 985
2.67 o 10041
2.67 c 984
2.67 o 10043
2.67 c 982
2.68 o 10046
2.68 c 979
2.68 o 10047
2.68 c 978
2.70 o 10048
2.70 c 977
2.70 o 10049
2.70 c 976
9.42 o 10051
9.42 c 974
12.10 o 10054
12.10 c 971
13.83 o 10055
13.83 c 970
13.86 o 10056
13.86 c 969
13.90 o 10057
13.90 c 968
21.59 o 10059
21.59 c 966
21.68 o 10060
21.68 c 965
23.82 o 10061
23.82 c 964
35.76 o 10062
35.76 c 963
35.78 o 10063
35.78 c 962
43.49 o 10064
43.49 c 961
55.25 o 10067
55.25 c 958
55.29 o 10069
55.29 c 956
85.59
85.59 search
85.59 run=0 nbConstraintChecks=102910573 nbAssignments=4374
85.59 => wckTime=83.04 cpuTime=82.26 mem=25M912
85.59
85.59 global
85.59 nbConstraintChecks=102910573 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
85.59 solvingWckTime=83.039 solvingCpuTime=82.26 expiredTime=no totalExploration=no nbFoundSolutions=0
85.59 globalCpuTime=84.14
85.59 => wckTime=85.271 cpuTime=84.08 mem=25M912
85.59
85.59 solver IterativeSystematicSolver being built...
86.01 => wckTime=85.693 cpuTime=84.41 mem=69M927
86.08
86.08 preprocessing
86.08 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
86.08 detectedInconsistency=no
86.08 => wckTime=0.063 cpuTime=0.05 mem=71M953
89.92
89.92 search
89.92 run=0 nbConstraintChecks=342042 nbValidityChecks=801740 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
89.92 nbAssignments=175 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=195 nbRestartNogoods=0
89.92 => wckTime=3.909 cpuTime=3.83 mem=71M953
94.21
94.21 search
94.21 run=1 nbConstraintChecks=957411 nbValidityChecks=2009190 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
94.21 nbAssignments=387 nbFailedAssignments=16 nbBacktracks=25 nbVisitedNodes=429 nbRestartNogoods=2
94.21 => wckTime=8.201 cpuTime=8.07 mem=71M953
99.14
99.14 search
99.14 run=2 nbConstraintChecks=1852477 nbValidityChecks=3546252 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
99.14 nbAssignments=620 nbFailedAssignments=33 nbBacktracks=47 nbVisitedNodes=701 nbRestartNogoods=4
99.14 => wckTime=13.128 cpuTime=12.95 mem=71M953
104.74
104.74 search
104.74 run=3 nbConstraintChecks=3139239 nbValidityChecks=5367086 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
104.74 nbAssignments=878 nbFailedAssignments=61 nbBacktracks=80 nbVisitedNodes=1020 nbRestartNogoods=7
104.74 => wckTime=18.733 cpuTime=18.5 mem=71M953
111.59
111.59 search
111.59 run=4 nbConstraintChecks=4777063 nbValidityChecks=7621515 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
111.59 nbAssignments=1162 nbFailedAssignments=96 nbBacktracks=130 nbVisitedNodes=1389 nbRestartNogoods=8
111.59 => wckTime=25.579 cpuTime=25.28 mem=71M953
119.47
119.47 search
119.47 run=5 nbConstraintChecks=6985197 nbValidityChecks=10341091 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
119.47 nbAssignments=1482 nbFailedAssignments=140 nbBacktracks=205 nbVisitedNodes=1828 nbRestartNogoods=10
119.47 => wckTime=33.457 cpuTime=33.08 mem=71M953
129.40
129.40 search
129.40 run=6 nbConstraintChecks=10152206 nbValidityChecks=14297023 nbPropagations=0 nbRevisions=0
129.40 nbUselessRevisions=0 nbAssignments=1869 nbFailedAssignments=218 nbBacktracks=318 nbVisitedNodes=2406
129.40 nbRestartNogoods=13
129.40 => wckTime=43.393 cpuTime=42.9 mem=71M953
142.84
142.84 search
142.84 run=7 nbConstraintChecks=14865035 nbValidityChecks=20032523 nbPropagations=0 nbRevisions=0
142.84 nbUselessRevisions=0 nbAssignments=2363 nbFailedAssignments=348 nbBacktracks=488 nbVisitedNodes=3200
142.84 nbRestartNogoods=17
142.84 => wckTime=56.832 cpuTime=56.21 mem=71M953
159.67
159.67 search
159.67 run=8 nbConstraintChecks=21349672 nbValidityChecks=27278418 nbPropagations=0 nbRevisions=0
159.67 nbUselessRevisions=0 nbAssignments=2968 nbFailedAssignments=502 nbBacktracks=744 nbVisitedNodes=4215
159.67 nbRestartNogoods=20
159.67 => wckTime=73.661 cpuTime=72.89 mem=71M953
184.19
184.19 search
184.19 run=9 nbConstraintChecks=31141886 nbValidityChecks=38446835 nbPropagations=0 nbRevisions=0
184.19 nbUselessRevisions=0 nbAssignments=3809 nbFailedAssignments=762 nbBacktracks=1128 nbVisitedNodes=5700
184.19 nbRestartNogoods=24
184.19 => wckTime=98.18 cpuTime=97.18 mem=71M953
221.03
221.03 search
221.03 run=10 nbConstraintChecks=45787126 nbValidityChecks=55693178 nbPropagations=0 nbRevisions=0
221.03 nbUselessRevisions=0 nbAssignments=5000 nbFailedAssignments=1179 nbBacktracks=1706 nbVisitedNodes=7886
221.03 nbRestartNogoods=26
221.03 => wckTime=135.024 cpuTime=133.68 mem=71M953
272.98
272.98 search
272.98 run=11 nbConstraintChecks=66309715 nbValidityChecks=81091756 nbPropagations=0 nbRevisions=0
272.99 nbUselessRevisions=0 nbAssignments=6630 nbFailedAssignments=1752 nbBacktracks=2571 nbVisitedNodes=10954
272.99 nbRestartNogoods=30
272.99 => wckTime=186.975 cpuTime=185.15 mem=71M953
351.42
351.42 search
351.42 run=12 nbConstraintChecks=99876969 nbValidityChecks=118340424 nbPropagations=0 nbRevisions=0
351.42 nbUselessRevisions=0 nbAssignments=9114 nbFailedAssignments=2741 nbBacktracks=3868 nbVisitedNodes=15724
351.42 nbRestartNogoods=33
351.42 => wckTime=265.412 cpuTime=262.86 mem=71M953
460.83
460.83 search
460.83 run=13 nbConstraintChecks=145343949 nbValidityChecks=171838452 nbPropagations=0 nbRevisions=0
460.83 nbUselessRevisions=0 nbAssignments=12481 nbFailedAssignments=3967 nbBacktracks=5814 nbVisitedNodes=22263
460.83 nbRestartNogoods=37
460.83 => wckTime=374.818 cpuTime=371.26 mem=71M953
628.83
628.83 search
628.83 run=14 nbConstraintChecks=214530457 nbValidityChecks=255528991 nbPropagations=0 nbRevisions=0
628.83 nbUselessRevisions=0 nbAssignments=17582 nbFailedAssignments=5955 nbBacktracks=8734 nbVisitedNodes=32272
628.83 nbRestartNogoods=42
628.83 => wckTime=542.824 cpuTime=537.73 mem=71M953
872.88
872.88 search
872.88 run=15 nbConstraintChecks=313721300 nbValidityChecks=379151183 nbPropagations=0 nbRevisions=0
872.88 nbUselessRevisions=0 nbAssignments=24918 nbFailedAssignments=8721 nbBacktracks=13113 nbVisitedNodes=46753
872.88 nbRestartNogoods=48
872.88 => wckTime=786.871 cpuTime=779.53 mem=71M953
1247.27
1247.27 search
1247.27 run=16 nbConstraintChecks=467566281 nbValidityChecks=570963714 nbPropagations=0 nbRevisions=0
1247.27 nbUselessRevisions=0 nbAssignments=36234 nbFailedAssignments=13276 nbBacktracks=19682 nbVisitedNodes=69193
1247.27 nbRestartNogoods=52
1247.27 => wckTime=1161.26 cpuTime=1150.48 mem=71M953
1792.74
1792.74 search
1792.74 run=17 nbConstraintChecks=704710676 nbValidityChecks=835977932 nbPropagations=0 nbRevisions=0
1792.74 nbUselessRevisions=0 nbAssignments=52892 nbFailedAssignments=19887 nbBacktracks=29534 nbVisitedNodes=102314
1792.74 nbRestartNogoods=57
1792.74 => wckTime=1706.728 cpuTime=1691.01 mem=71M953
2416.79 v 0 0 0 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 1 0 0 0 1 0 1 1 0 0 1 1 1 0 1 0 0 1 1 1 1 0 1 0 1 0 1 1 0 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 1 0 1 0 1 1 1 0 0 1 1 1 0 1 0 0 1 0 0 1 1 1 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 1 0 0 1 1 1 0 0 0 1 0 0 1 1 0 1 1 1 1 0 0 0 0 1 1 1 0 1 1 0 0 0 0 1 1 0 1 1 1 1 0 0 0 0 1 1 1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 1 1 1 1 0 0 1 1 1 0 0 1 0 0 1 0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node50/watcher-276141-1169231784 -o ROOT/results/node50/solver-276141-1169231784 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276141-1169231784/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.08 2.02 1.97 4/80 3806
/proc/meminfo: memFree=1409600/2055920 swapFree=4191892/4192956
[pid=3805] ppid=3803 vsize=18540 CPUtime=0
/proc/3805/stat : 3805 (runsolver) R 3803 3805 3043 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 271577016 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 240577473831 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/3805/statm: 4635 279 244 17 0 2626 0
[startup+0.103959 s]
/proc/loadavg: 2.08 2.02 1.97 4/80 3806
/proc/meminfo: memFree=1409600/2055920 swapFree=4191892/4192956
[pid=3805] ppid=3803 vsize=914988 CPUtime=0.08
/proc/3805/stat : 3805 (java) R 3803 3805 3043 0 -1 0 2959 0 1 0 7 1 0 0 19 0 8 0 271577016 936947712 2705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155476872 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3805/statm: 228747 2705 1416 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513031 s]
/proc/loadavg: 2.08 2.02 1.97 4/80 3806
/proc/meminfo: memFree=1409600/2055920 swapFree=4191892/4192956
[pid=3805] ppid=3803 vsize=915332 CPUtime=0.49
/proc/3805/stat : 3805 (java) R 3803 3805 3043 0 -1 0 6805 0 1 0 43 6 0 0 18 0 8 0 271577016 937299968 6544 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380220 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3805/statm: 228833 6544 2146 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.34117 s]
/proc/loadavg: 2.07 2.02 1.97 3/87 3813
/proc/meminfo: memFree=1349000/2055920 swapFree=4191892/4192956
[pid=3805] ppid=3803 vsize=915628 CPUtime=1.3
/proc/3805/stat : 3805 (java) R 3803 3805 3043 0 -1 0 18079 0 1 0 117 13 0 0 25 0 8 0 271577016 937603072 17815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073775480 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3805/statm: 228907 17815 2178 14 0 215377 0
[pid=3805/tid=3807] ppid=3803 vsize=915628 CPUtime=0.04
/proc/3805/task/3807/stat : 3807 (java) S 3803 3805 3043 0 -1 64 1481 0 0 0 4 0 0 0 16 0 8 0 271577020 937603072 17815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3808] ppid=3803 vsize=915628 CPUtime=0
/proc/3805/task/3808/stat : 3808 (java) S 3803 3805 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271577021 937603072 17815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3809] ppid=3803 vsize=915628 CPUtime=0
/proc/3805/task/3809/stat : 3809 (java) S 3803 3805 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271577021 937603072 17815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3810] ppid=3803 vsize=915628 CPUtime=0
/proc/3805/task/3810/stat : 3810 (java) S 3803 3805 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271577024 937603072 17815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3811] ppid=3803 vsize=915628 CPUtime=0.16
/proc/3805/task/3811/stat : 3811 (java) S 3803 3805 3043 0 -1 64 398 0 0 0 15 1 0 0 16 0 8 0 271577024 937603072 17815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3812] ppid=3803 vsize=915628 CPUtime=0
/proc/3805/task/3812/stat : 3812 (java) S 3803 3805 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271577024 937603072 17815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3813] ppid=3803 vsize=915628 CPUtime=0
/proc/3805/task/3813/stat : 3813 (java) S 3803 3805 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271577024 937603072 17815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915628
[startup+2.97844 s]
/proc/loadavg: 2.07 2.02 1.97 3/87 3813
/proc/meminfo: memFree=1340040/2055920 swapFree=4191892/4192956
[pid=3805] ppid=3803 vsize=915736 CPUtime=2.93
/proc/3805/stat : 3805 (java) R 3803 3805 3043 0 -1 0 24458 0 1 0 233 60 0 0 25 0 8 0 271577016 937713664 24192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073862582 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3805/statm: 228934 24192 2497 14 0 215404 0
[pid=3805/tid=3807] ppid=3803 vsize=915736 CPUtime=0.21
/proc/3805/task/3807/stat : 3807 (java) S 3803 3805 3043 0 -1 64 7482 0 0 0 19 2 0 0 17 0 8 0 271577020 937713664 24192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3808] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3808/stat : 3808 (java) S 3803 3805 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271577021 937713664 24192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3809] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3809/stat : 3809 (java) S 3803 3805 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271577021 937713664 24192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3810] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3810/stat : 3810 (java) S 3803 3805 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271577024 937713664 24192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3811] ppid=3803 vsize=915736 CPUtime=0.2
/proc/3805/task/3811/stat : 3811 (java) S 3803 3805 3043 0 -1 64 422 0 0 0 19 1 0 0 16 0 8 0 271577024 937713664 24192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3812] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3812/stat : 3812 (java) S 3803 3805 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271577024 937713664 24192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3813] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3813/stat : 3813 (java) S 3803 3805 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271577024 937713664 24192 18446744073709551615 134512640 134570532 4294956480 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) 915736
[startup+6.279 s]
/proc/loadavg: 2.07 2.02 1.97 3/87 3813
/proc/meminfo: memFree=1322312/2055920 swapFree=4191892/4192956
[pid=3805] ppid=3803 vsize=915736 CPUtime=6.2
/proc/3805/stat : 3805 (java) R 3803 3805 3043 0 -1 0 24459 0 1 0 557 63 0 0 25 0 8 0 271577016 937713664 24192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073862579 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3805/statm: 228934 24192 2497 14 0 215404 0
[pid=3805/tid=3807] ppid=3803 vsize=915736 CPUtime=0.21
/proc/3805/task/3807/stat : 3807 (java) S 3803 3805 3043 0 -1 64 7482 0 0 0 19 2 0 0 16 0 8 0 271577020 937713664 24192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3808] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3808/stat : 3808 (java) S 3803 3805 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271577021 937713664 24192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3809] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3809/stat : 3809 (java) S 3803 3805 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271577021 937713664 24192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3810] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3810/stat : 3810 (java) S 3803 3805 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271577024 937713664 24192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3811] ppid=3803 vsize=915736 CPUtime=0.2
/proc/3805/task/3811/stat : 3811 (java) S 3803 3805 3043 0 -1 64 422 0 0 0 19 1 0 0 16 0 8 0 271577024 937713664 24192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3812] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3812/stat : 3812 (java) S 3803 3805 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271577024 937713664 24192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3813] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3813/stat : 3813 (java) S 3803 3805 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271577024 937713664 24192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915736
[startup+12.7591 s]
/proc/loadavg: 2.06 2.02 1.97 3/87 3813
/proc/meminfo: memFree=1322440/2055920 swapFree=4191892/4192956
[pid=3805] ppid=3803 vsize=915736 CPUtime=12.62
/proc/3805/stat : 3805 (java) R 3803 3805 3043 0 -1 0 24459 0 1 0 1195 67 0 0 25 0 8 0 271577016 937713664 24192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073863412 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3805/statm: 228934 24192 2497 14 0 215404 0
[pid=3805/tid=3807] ppid=3803 vsize=915736 CPUtime=0.21
/proc/3805/task/3807/stat : 3807 (java) S 3803 3805 3043 0 -1 64 7482 0 0 0 19 2 0 0 16 0 8 0 271577020 937713664 24192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3808] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3808/stat : 3808 (java) S 3803 3805 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271577021 937713664 24192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3809] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3809/stat : 3809 (java) S 3803 3805 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271577021 937713664 24192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3810] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3810/stat : 3810 (java) S 3803 3805 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271577024 937713664 24192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3811] ppid=3803 vsize=915736 CPUtime=0.2
/proc/3805/task/3811/stat : 3811 (java) S 3803 3805 3043 0 -1 64 422 0 0 0 19 1 0 0 16 0 8 0 271577024 937713664 24192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3812] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3812/stat : 3812 (java) S 3803 3805 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271577024 937713664 24192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3813] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3813/stat : 3813 (java) S 3803 3805 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271577024 937713664 24192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915736
[startup+25.6212 s]
/proc/loadavg: 2.05 2.01 1.97 3/87 3813
/proc/meminfo: memFree=1322632/2055920 swapFree=4191892/4192956
[pid=3805] ppid=3803 vsize=915736 CPUtime=25.37
/proc/3805/stat : 3805 (java) R 3803 3805 3043 0 -1 0 24464 0 1 0 2465 72 0 0 25 0 8 0 271577016 937713664 24197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073862567 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3805/statm: 228934 24197 2499 14 0 215404 0
[pid=3805/tid=3807] ppid=3803 vsize=915736 CPUtime=0.21
/proc/3805/task/3807/stat : 3807 (java) S 3803 3805 3043 0 -1 64 7482 0 0 0 19 2 0 0 16 0 8 0 271577020 937713664 24197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3808] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3808/stat : 3808 (java) S 3803 3805 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271577021 937713664 24197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3809] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3809/stat : 3809 (java) S 3803 3805 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271577021 937713664 24197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3810] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3810/stat : 3810 (java) S 3803 3805 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271577024 937713664 24197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3811] ppid=3803 vsize=915736 CPUtime=0.21
/proc/3805/task/3811/stat : 3811 (java) S 3803 3805 3043 0 -1 64 427 0 0 0 20 1 0 0 16 0 8 0 271577024 937713664 24197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3812] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3812/stat : 3812 (java) S 3803 3805 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271577024 937713664 24197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3813] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3813/stat : 3813 (java) S 3803 3805 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271577024 937713664 24197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915736
[startup+51.2485 s]
/proc/loadavg: 2.03 2.01 1.97 3/87 3813
/proc/meminfo: memFree=1322632/2055920 swapFree=4191892/4192956
[pid=3805] ppid=3803 vsize=915736 CPUtime=50.75
/proc/3805/stat : 3805 (java) R 3803 3805 3043 0 -1 0 24464 0 1 0 4993 82 0 0 25 0 8 0 271577016 937713664 24197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073859994 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3805/statm: 228934 24197 2499 14 0 215404 0
[pid=3805/tid=3807] ppid=3803 vsize=915736 CPUtime=0.21
/proc/3805/task/3807/stat : 3807 (java) S 3803 3805 3043 0 -1 64 7482 0 0 0 19 2 0 0 16 0 8 0 271577020 937713664 24197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3808] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3808/stat : 3808 (java) S 3803 3805 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271577021 937713664 24197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3809] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3809/stat : 3809 (java) S 3803 3805 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271577021 937713664 24197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3810] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3810/stat : 3810 (java) S 3803 3805 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271577024 937713664 24197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3811] ppid=3803 vsize=915736 CPUtime=0.21
/proc/3805/task/3811/stat : 3811 (java) S 3803 3805 3043 0 -1 64 427 0 0 0 20 1 0 0 16 0 8 0 271577024 937713664 24197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3812] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3812/stat : 3812 (java) S 3803 3805 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271577024 937713664 24197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3813] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3813/stat : 3813 (java) S 3803 3805 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271577024 937713664 24197 18446744073709551615 134512640 134570532 4294956480 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) 915736
[startup+102.5 s]
/proc/loadavg: 2.01 2.01 1.97 3/87 3813
/proc/meminfo: memFree=1322184/2055920 swapFree=4191892/4192956
[pid=3805] ppid=3803 vsize=915736 CPUtime=101.53
/proc/3805/stat : 3805 (java) R 3803 3805 3043 0 -1 0 24635 0 1 0 10056 97 0 0 25 0 8 0 271577016 937713664 24361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074085126 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3805/statm: 228934 24361 2552 14 0 215404 0
[pid=3805/tid=3807] ppid=3803 vsize=915736 CPUtime=0.24
/proc/3805/task/3807/stat : 3807 (java) S 3803 3805 3043 0 -1 64 7483 0 0 0 22 2 0 0 16 0 8 0 271577020 937713664 24361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3808] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3808/stat : 3808 (java) S 3803 3805 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271577021 937713664 24361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3809] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3809/stat : 3809 (java) S 3803 3805 3043 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271577021 937713664 24361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3810] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3810/stat : 3810 (java) S 3803 3805 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271577024 937713664 24361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3811] ppid=3803 vsize=915736 CPUtime=0.32
/proc/3805/task/3811/stat : 3811 (java) S 3803 3805 3043 0 -1 64 493 0 0 0 30 2 0 0 16 0 8 0 271577024 937713664 24361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3812] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3812/stat : 3812 (java) S 3803 3805 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271577024 937713664 24361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3813] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3813/stat : 3813 (java) S 3803 3805 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271577024 937713664 24361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 915736
[startup+162.596 s]
/proc/loadavg: 2.00 2.00 1.97 3/87 3813
/proc/meminfo: memFree=1322184/2055920 swapFree=4191892/4192956
[pid=3805] ppid=3803 vsize=915736 CPUtime=161.07
/proc/3805/stat : 3805 (java) R 3803 3805 3043 0 -1 0 24659 0 1 0 16009 98 0 0 25 0 8 0 271577016 937713664 24374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074090035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2007.37
Current children cumulated vsize (KiB) 915736
[startup+2083.9 s]
/proc/loadavg: 1.00 1.34 1.69 2/72 4026
/proc/meminfo: memFree=1357728/2055920 swapFree=4191892/4192956
[pid=3805] ppid=3803 vsize=915736 CPUtime=2067.37
/proc/3805/stat : 3805 (java) R 3803 3805 3043 0 -1 0 24670 0 1 0 206633 104 0 0 25 0 8 0 271577016 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073950579 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3805/statm: 228934 24380 2552 14 0 215404 0
[pid=3805/tid=3807] ppid=3803 vsize=915736 CPUtime=0.24
/proc/3805/task/3807/stat : 3807 (java) S 3803 3805 3043 0 -1 64 7483 0 0 0 22 2 0 0 16 0 8 0 271577020 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3808] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3808/stat : 3808 (java) S 3803 3805 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271577021 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3809] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3809/stat : 3809 (java) S 3803 3805 3043 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271577021 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3810] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3810/stat : 3810 (java) S 3803 3805 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271577024 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3811] ppid=3803 vsize=915736 CPUtime=0.36
/proc/3805/task/3811/stat : 3811 (java) S 3803 3805 3043 0 -1 64 523 0 0 0 34 2 0 0 16 0 8 0 271577024 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3812] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3812/stat : 3812 (java) S 3803 3805 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271577024 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3813] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3813/stat : 3813 (java) S 3803 3805 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271577024 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2067.37
Current children cumulated vsize (KiB) 915736
[startup+2143.9 s]
/proc/loadavg: 1.00 1.27 1.65 2/72 4026
/proc/meminfo: memFree=1357792/2055920 swapFree=4191892/4192956
[pid=3805] ppid=3803 vsize=915736 CPUtime=2127.35
/proc/3805/stat : 3805 (java) R 3803 3805 3043 0 -1 0 24670 0 1 0 212631 104 0 0 25 0 8 0 271577016 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073865876 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3805/statm: 228934 24380 2552 14 0 215404 0
[pid=3805/tid=3807] ppid=3803 vsize=915736 CPUtime=0.24
/proc/3805/task/3807/stat : 3807 (java) S 3803 3805 3043 0 -1 64 7483 0 0 0 22 2 0 0 16 0 8 0 271577020 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3808] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3808/stat : 3808 (java) S 3803 3805 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271577021 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3809] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3809/stat : 3809 (java) S 3803 3805 3043 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271577021 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3810] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3810/stat : 3810 (java) S 3803 3805 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271577024 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3811] ppid=3803 vsize=915736 CPUtime=0.36
/proc/3805/task/3811/stat : 3811 (java) S 3803 3805 3043 0 -1 64 523 0 0 0 34 2 0 0 16 0 8 0 271577024 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3812] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3812/stat : 3812 (java) S 3803 3805 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271577024 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3813] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3813/stat : 3813 (java) S 3803 3805 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271577024 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2127.35
Current children cumulated vsize (KiB) 915736
[startup+2203.9 s]
/proc/loadavg: 1.00 1.22 1.60 2/72 4026
/proc/meminfo: memFree=1357856/2055920 swapFree=4191892/4192956
[pid=3805] ppid=3803 vsize=915736 CPUtime=2187.34
/proc/3805/stat : 3805 (java) R 3803 3805 3043 0 -1 0 24670 0 1 0 218630 104 0 0 25 0 8 0 271577016 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073950589 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3805/statm: 228934 24380 2552 14 0 215404 0
[pid=3805/tid=3807] ppid=3803 vsize=915736 CPUtime=0.24
/proc/3805/task/3807/stat : 3807 (java) S 3803 3805 3043 0 -1 64 7483 0 0 0 22 2 0 0 16 0 8 0 271577020 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3808] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3808/stat : 3808 (java) S 3803 3805 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271577021 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3809] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3809/stat : 3809 (java) S 3803 3805 3043 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271577021 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3810] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3810/stat : 3810 (java) S 3803 3805 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271577024 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3811] ppid=3803 vsize=915736 CPUtime=0.36
/proc/3805/task/3811/stat : 3811 (java) S 3803 3805 3043 0 -1 64 523 0 0 0 34 2 0 0 16 0 8 0 271577024 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3812] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3812/stat : 3812 (java) S 3803 3805 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271577024 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3813] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3813/stat : 3813 (java) S 3803 3805 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271577024 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2187.34
Current children cumulated vsize (KiB) 915736
[startup+2263.91 s]
/proc/loadavg: 1.00 1.18 1.56 2/72 4026
/proc/meminfo: memFree=1357856/2055920 swapFree=4191892/4192956
[pid=3805] ppid=3803 vsize=915736 CPUtime=2247.33
/proc/3805/stat : 3805 (java) R 3803 3805 3043 0 -1 0 24670 0 1 0 224629 104 0 0 25 0 8 0 271577016 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074121198 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3805/statm: 228934 24380 2552 14 0 215404 0
[pid=3805/tid=3807] ppid=3803 vsize=915736 CPUtime=0.24
/proc/3805/task/3807/stat : 3807 (java) S 3803 3805 3043 0 -1 64 7483 0 0 0 22 2 0 0 16 0 8 0 271577020 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3808] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3808/stat : 3808 (java) S 3803 3805 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271577021 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3809] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3809/stat : 3809 (java) S 3803 3805 3043 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271577021 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3810] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3810/stat : 3810 (java) S 3803 3805 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271577024 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3811] ppid=3803 vsize=915736 CPUtime=0.36
/proc/3805/task/3811/stat : 3811 (java) S 3803 3805 3043 0 -1 64 523 0 0 0 34 2 0 0 16 0 8 0 271577024 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3812] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3812/stat : 3812 (java) S 3803 3805 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271577024 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3813] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3813/stat : 3813 (java) S 3803 3805 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271577024 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2247.33
Current children cumulated vsize (KiB) 915736
[startup+2323.93 s]
/proc/loadavg: 1.00 1.14 1.52 3/72 4026
/proc/meminfo: memFree=1357792/2055920 swapFree=4191892/4192956
[pid=3805] ppid=3803 vsize=915736 CPUtime=2307.32
/proc/3805/stat : 3805 (java) R 3803 3805 3043 0 -1 0 24670 0 1 0 230628 104 0 0 25 0 8 0 271577016 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074121329 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3805/statm: 228934 24380 2552 14 0 215404 0
[pid=3805/tid=3807] ppid=3803 vsize=915736 CPUtime=0.24
/proc/3805/task/3807/stat : 3807 (java) S 3803 3805 3043 0 -1 64 7483 0 0 0 22 2 0 0 16 0 8 0 271577020 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3808] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3808/stat : 3808 (java) S 3803 3805 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271577021 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3809] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3809/stat : 3809 (java) S 3803 3805 3043 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271577021 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3810] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3810/stat : 3810 (java) S 3803 3805 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271577024 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3811] ppid=3803 vsize=915736 CPUtime=0.36
/proc/3805/task/3811/stat : 3811 (java) S 3803 3805 3043 0 -1 64 523 0 0 0 34 2 0 0 16 0 8 0 271577024 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3812] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3812/stat : 3812 (java) S 3803 3805 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271577024 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3813] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3813/stat : 3813 (java) S 3803 3805 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271577024 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2307.32
Current children cumulated vsize (KiB) 915736
[startup+2383.94 s]
/proc/loadavg: 1.16 1.15 1.50 2/72 4026
/proc/meminfo: memFree=1357856/2055920 swapFree=4191892/4192956
[pid=3805] ppid=3803 vsize=915736 CPUtime=2367.32
/proc/3805/stat : 3805 (java) R 3803 3805 3043 0 -1 0 24670 0 1 0 236627 105 0 0 25 0 8 0 271577016 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074121198 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3805/statm: 228934 24380 2552 14 0 215404 0
[pid=3805/tid=3807] ppid=3803 vsize=915736 CPUtime=0.24
/proc/3805/task/3807/stat : 3807 (java) S 3803 3805 3043 0 -1 64 7483 0 0 0 22 2 0 0 16 0 8 0 271577020 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3808] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3808/stat : 3808 (java) S 3803 3805 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271577021 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3809] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3809/stat : 3809 (java) S 3803 3805 3043 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271577021 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3810] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3810/stat : 3810 (java) S 3803 3805 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271577024 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3811] ppid=3803 vsize=915736 CPUtime=0.36
/proc/3805/task/3811/stat : 3811 (java) S 3803 3805 3043 0 -1 64 523 0 0 0 34 2 0 0 16 0 8 0 271577024 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3812] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3812/stat : 3812 (java) S 3803 3805 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271577024 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3813] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3813/stat : 3813 (java) S 3803 3805 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271577024 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2367.32
Current children cumulated vsize (KiB) 915736
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2416.71 s]
/proc/loadavg: 1.09 1.13 1.48 2/72 4026
/proc/meminfo: memFree=1357792/2055920 swapFree=4191892/4192956
[pid=3805] ppid=3803 vsize=915736 CPUtime=2400.09
/proc/3805/stat : 3805 (java) R 3803 3805 3043 0 -1 0 24670 0 1 0 239904 105 0 0 25 0 8 0 271577016 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074122340 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3805/statm: 228934 24380 2552 14 0 215404 0
[pid=3805/tid=3807] ppid=3803 vsize=915736 CPUtime=0.24
/proc/3805/task/3807/stat : 3807 (java) S 3803 3805 3043 0 -1 64 7483 0 0 0 22 2 0 0 16 0 8 0 271577020 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3808] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3808/stat : 3808 (java) S 3803 3805 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271577021 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3809] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3809/stat : 3809 (java) S 3803 3805 3043 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271577021 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3810] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3810/stat : 3810 (java) S 3803 3805 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271577024 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3811] ppid=3803 vsize=915736 CPUtime=0.36
/proc/3805/task/3811/stat : 3811 (java) S 3803 3805 3043 0 -1 64 523 0 0 0 34 2 0 0 16 0 8 0 271577024 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3812] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3812/stat : 3812 (java) S 3803 3805 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271577024 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3805/tid=3813] ppid=3803 vsize=915736 CPUtime=0
/proc/3805/task/3813/stat : 3813 (java) S 3803 3805 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271577024 937713664 24380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 915736
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2416.82
CPU time (s): 2400.19
CPU user time (s): 2399.12
CPU system time (s): 1.06984
CPU usage (%): 99.3122
Max. virtual memory (cumulated for all children) (KiB): 915768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.12
system time used= 1.06984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25495
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= 50435
involuntary context switches= 108346
runsolver used 3.09253 s user time and 7.05493 s system time
The end
Begin job on node50 on Fri Jan 19 18:36:25 UTC 2007
IDJOB= 276141
IDBENCH= 5270
IDSOLVER= 69
FILE ID= node50/276141-1169231784
PBS_JOBID= 3589251
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/chessboardColoration/cc-15-15-2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276141-1169231784/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-276141-1169231784 -o ROOT/results/node50/solver-276141-1169231784 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276141-1169231784/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 53f3c40c9cfd966a800634e58b907691
RANDOM SEED= 994002782
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: 1410080 kB
Buffers: 45912 kB
Cached: 473740 kB
SwapCached: 276 kB
Active: 172720 kB
Inactive: 395720 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1410080 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 3520 kB
Writeback: 0 kB
Mapped: 67764 kB
Slab: 62632 kB
Committed_AS: 6107396 kB
PageTables: 1956 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66561 MiB
End job on node50 on Fri Jan 19 19:16:41 UTC 2007