0.28
0.28 Abscon 109 (November, 2006)
0.28
0.29 configuration
0.29 name=pfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/278597-1169288985/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=100 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.39 => wckTime=0.105 cpuTime=0.09 mem=6M910
0.39
0.39 relations being loaded...
0.44
0.44 constraints being loaded...
0.59 nbConstraints=899 nbRelationTypes=231 nbExtensionStructures=231 nbSharedExtensionStructures=668
0.59 nbConflictsStructures=231 nbSharedConflictsStructures=668 nbSharedBinaryRepresentations=16 maxDegree=60
0.59 maxArity=11
0.59 => wckTime=0.307 cpuTime=0.23 mem=11M786
0.64
0.64 solver LocalSearchSolver being built...
0.68 => wckTime=0.391 cpuTime=0.27 mem=6M347
0.68
0.68 s SATISFIABLE
0.68 o 840
0.68 c 59
0.69 o 844
0.69 c 55
0.69 o 848
0.69 c 51
0.69 o 852
0.69 c 47
0.69 o 856
0.69 c 43
0.69 o 860
0.69 c 39
0.69 o 862
0.69 c 37
0.69 o 865
0.70 c 34
0.70 o 867
0.70 c 32
0.70 o 869
0.70 c 30
0.70 o 870
0.70 c 29
0.70 o 871
0.70 c 28
0.70 o 872
0.71 c 27
0.71 o 874
0.71 c 25
0.71 o 876
0.71 c 23
0.71 o 877
0.71 c 22
0.71 o 878
0.71 c 21
0.72 o 880
0.72 c 19
0.72 o 882
0.72 c 17
0.73 o 883
0.73 c 16
0.73 o 884
0.73 c 15
0.73 o 885
0.73 c 14
0.74 o 886
0.74 c 13
0.74 o 887
0.74 c 12
0.75 o 888
0.75 c 11
0.75 o 889
0.75 c 10
0.75 o 891
0.75 c 8
0.75 o 892
0.75 c 7
0.77 o 893
0.77 c 6
0.77 o 894
0.77 c 5
1.26 o 895
1.26 c 4
1.26 o 896
1.26 c 3
5.49
5.49 search
5.49 run=0 nbConstraintChecks=14890304 nbAssignments=10000
5.49 => wckTime=4.813 cpuTime=4.76 mem=6M347
10.83
10.83 search
10.83 run=1 nbConstraintChecks=31732438 nbAssignments=20000
10.83 => wckTime=10.151 cpuTime=10.08 mem=6M347
15.53
15.53 search
15.53 run=2 nbConstraintChecks=46258046 nbAssignments=30000
15.53 => wckTime=14.857 cpuTime=14.75 mem=6M347
21.02
21.02 search
21.02 run=3 nbConstraintChecks=63409216 nbAssignments=40000
21.02 => wckTime=20.342 cpuTime=20.22 mem=6M347
25.71
25.71 search
25.71 run=4 nbConstraintChecks=77840198 nbAssignments=50000
25.71 => wckTime=25.036 cpuTime=24.87 mem=6M347
31.03
31.03 search
31.03 run=5 nbConstraintChecks=94579571 nbAssignments=60000
31.03 => wckTime=30.357 cpuTime=30.17 mem=6M347
31.41
31.41 search
31.42 run=6 nbConstraintChecks=95675626 nbAssignments=61260
31.42 => wckTime=30.738 cpuTime=30.56 mem=6M347
31.42
31.42 global
31.42 nbConstraintChecks=95675626 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.42 solvingWckTime=30.737 solvingCpuTime=30.56 expiredTime=no totalExploration=no nbFoundSolutions=0
31.42 globalCpuTime=30.87
31.42 => wckTime=31.13 cpuTime=30.83 mem=6M347
31.42
31.42 solver IterativeSystematicSolver being built...
31.60 => wckTime=31.317 cpuTime=30.97 mem=25M179
31.62
31.62 preprocessing
31.62 nbConstraintChecks=2 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.62 detectedInconsistency=no
31.62 => wckTime=0.014 cpuTime=0.01 mem=25M179
31.73
31.73 search
31.73 run=0 nbConstraintChecks=3997 nbValidityChecks=2689 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.73 nbAssignments=34 nbFailedAssignments=7 nbBacktracks=13 nbVisitedNodes=49 nbRestartNogoods=0
31.73 => wckTime=0.126 cpuTime=0.09 mem=25M179
31.84
31.84 search
31.84 run=1 nbConstraintChecks=11891 nbValidityChecks=11244 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.84 nbAssignments=89 nbFailedAssignments=15 nbBacktracks=28 nbVisitedNodes=122 nbRestartNogoods=1
31.84 => wckTime=0.236 cpuTime=0.2 mem=25M179
31.98
31.98 search
31.98 run=2 nbConstraintChecks=27085 nbValidityChecks=37251 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.98 nbAssignments=177 nbFailedAssignments=40 nbBacktracks=52 nbVisitedNodes=243 nbRestartNogoods=4
31.98 => wckTime=0.375 cpuTime=0.33 mem=26M154
32.14
32.14 search
32.14 run=3 nbConstraintChecks=43003 nbValidityChecks=69026 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.14 nbAssignments=265 nbFailedAssignments=56 nbBacktracks=86 nbVisitedNodes=372 nbRestartNogoods=13
32.14 => wckTime=0.534 cpuTime=0.49 mem=26M154
32.39
32.39 search
32.39 run=4 nbConstraintChecks=65982 nbValidityChecks=108639 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.39 nbAssignments=383 nbFailedAssignments=95 nbBacktracks=137 nbVisitedNodes=545 nbRestartNogoods=20
32.39 => wckTime=0.788 cpuTime=0.74 mem=26M154
32.71
32.71 search
32.71 run=5 nbConstraintChecks=95380 nbValidityChecks=166212 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.71 nbAssignments=523 nbFailedAssignments=137 nbBacktracks=213 nbVisitedNodes=761 nbRestartNogoods=26
32.71 => wckTime=1.109 cpuTime=1.05 mem=26M154
33.13
33.13 search
33.13 run=6 nbConstraintChecks=132435 nbValidityChecks=216793 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.13 nbAssignments=709 nbFailedAssignments=191 nbBacktracks=327 nbVisitedNodes=1063 nbRestartNogoods=28
33.13 => wckTime=1.527 cpuTime=1.47 mem=26M154
33.86
33.86 search
33.86 run=7 nbConstraintChecks=203615 nbValidityChecks=384496 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.86 nbAssignments=1017 nbFailedAssignments=298 nbBacktracks=497 nbVisitedNodes=1547 nbRestartNogoods=30
33.86 => wckTime=2.258 cpuTime=2.2 mem=26M154
34.89
34.89 search
34.89 run=8 nbConstraintChecks=313127 nbValidityChecks=672583 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.89 nbAssignments=1417 nbFailedAssignments=403 nbBacktracks=755 nbVisitedNodes=2205 nbRestartNogoods=36
34.89 => wckTime=3.285 cpuTime=3.21 mem=26M154
36.26
36.26 search
36.26 run=9 nbConstraintChecks=470742 nbValidityChecks=1105921 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.26 nbAssignments=1970 nbFailedAssignments=534 nbBacktracks=1141 nbVisitedNodes=3143 nbRestartNogoods=44
36.26 => wckTime=4.659 cpuTime=4.56 mem=26M154
38.29
38.29 search
38.29 run=10 nbConstraintChecks=720013 nbValidityChecks=1653929 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.29 nbAssignments=2926 nbFailedAssignments=871 nbBacktracks=1725 nbVisitedNodes=4644 nbRestartNogoods=49
38.29 => wckTime=6.685 cpuTime=6.57 mem=26M154
41.20
41.20 search
41.20 run=11 nbConstraintChecks=987536 nbValidityChecks=2068268 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
41.20 nbAssignments=4249 nbFailedAssignments=1301 nbBacktracks=2590 nbVisitedNodes=6805 nbRestartNogoods=52
41.20 => wckTime=9.597 cpuTime=9.47 mem=26M154
45.27
45.27 search
45.27 run=12 nbConstraintChecks=1436022 nbValidityChecks=2890806 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
45.27 nbAssignments=6021 nbFailedAssignments=1750 nbBacktracks=3887 nbVisitedNodes=9682 nbRestartNogoods=58
45.27 => wckTime=13.666 cpuTime=13.52 mem=26M154
51.64
51.64 search
51.64 run=13 nbConstraintChecks=2068174 nbValidityChecks=4033628 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
51.64 nbAssignments=8761 nbFailedAssignments=2522 nbBacktracks=5837 nbVisitedNodes=14285 nbRestartNogoods=63
51.64 => wckTime=20.037 cpuTime=19.86 mem=26M154
60.20
60.20 search
60.20 run=14 nbConstraintChecks=3032125 nbValidityChecks=5920622 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
60.20 nbAssignments=12771 nbFailedAssignments=3583 nbBacktracks=8770 nbVisitedNodes=20861 nbRestartNogoods=66
60.20 => wckTime=28.595 cpuTime=28.39 mem=26M154
72.97
72.97 search
72.97 run=15 nbConstraintChecks=4585662 nbValidityChecks=8760511 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
72.97 nbAssignments=18700 nbFailedAssignments=5110 nbBacktracks=13149 nbVisitedNodes=30852 nbRestartNogoods=68
72.97 => wckTime=41.36 cpuTime=41.07 mem=26M154
90.14
90.14 search
90.14 run=16 nbConstraintChecks=7167818 nbValidityChecks=14543337 nbPropagations=0 nbRevisions=0
90.14 nbUselessRevisions=0 nbAssignments=27094 nbFailedAssignments=6898 nbBacktracks=19725 nbVisitedNodes=44682
90.14 nbRestartNogoods=71
90.14 => wckTime=58.539 cpuTime=58.18 mem=26M154
116.98
116.98 search
116.98 run=17 nbConstraintChecks=10098839 nbValidityChecks=20018764 nbPropagations=0 nbRevisions=0
116.98 nbUselessRevisions=0 nbAssignments=40095 nbFailedAssignments=10030 nbBacktracks=29577 nbVisitedNodes=65495
116.98 nbRestartNogoods=78
116.98 => wckTime=85.374 cpuTime=84.89 mem=26M154
154.79
154.79 search
154.79 run=18 nbConstraintChecks=14965930 nbValidityChecks=29140807 nbPropagations=0 nbRevisions=0
154.79 nbUselessRevisions=0 nbAssignments=58941 nbFailedAssignments=14081 nbBacktracks=44360 nbVisitedNodes=95889
154.79 nbRestartNogoods=84
154.79 => wckTime=123.187 cpuTime=122.55 mem=26M154
212.66
212.66 search
212.67 run=19 nbConstraintChecks=21826556 nbValidityChecks=41237771 nbPropagations=0 nbRevisions=0
212.67 nbUselessRevisions=0 nbAssignments=87270 nbFailedAssignments=20208 nbBacktracks=66530 nbVisitedNodes=142102
212.67 nbRestartNogoods=87
212.67 => wckTime=181.06 cpuTime=180.14 mem=26M154
301.06
301.06 search
301.07 run=20 nbConstraintChecks=33377918 nbValidityChecks=64049345 nbPropagations=0 nbRevisions=0
301.07 nbUselessRevisions=0 nbAssignments=129770 nbFailedAssignments=29421 nbBacktracks=99787 nbVisitedNodes=212376
301.07 nbRestartNogoods=96
301.07 => wckTime=269.46 cpuTime=268.14 mem=26M154
422.77
422.77 search
422.77 run=21 nbConstraintChecks=50424679 nbValidityChecks=96892381 nbPropagations=0 nbRevisions=0
422.77 nbUselessRevisions=0 nbAssignments=194685 nbFailedAssignments=44421 nbBacktracks=149673 nbVisitedNodes=315004
422.77 nbRestartNogoods=100
422.77 => wckTime=391.166 cpuTime=389.31 mem=26M154
616.21
616.21 search
616.21 run=22 nbConstraintChecks=75044278 nbValidityChecks=141188123 nbPropagations=0 nbRevisions=0
616.21 nbUselessRevisions=0 nbAssignments=292769 nbFailedAssignments=67660 nbBacktracks=224492 nbVisitedNodes=472502
616.21 nbRestartNogoods=109
616.21 => wckTime=584.602 cpuTime=581.86 mem=26M154
890.81
890.81 search
890.81 run=23 nbConstraintChecks=115849455 nbValidityChecks=216980050 nbPropagations=0 nbRevisions=0
890.81 nbUselessRevisions=0 nbAssignments=437404 nbFailedAssignments=100013 nbBacktracks=336723 nbVisitedNodes=707590
890.81 nbRestartNogoods=116
890.81 => wckTime=859.206 cpuTime=855.23 mem=26M154
1305.07
1305.07 search
1305.07 run=24 nbConstraintChecks=171247619 nbValidityChecks=317696657 nbPropagations=0 nbRevisions=0
1305.07 nbUselessRevisions=0 nbAssignments=655414 nbFailedAssignments=149655 nbBacktracks=505068 nbVisitedNodes=1052494
1305.07 nbRestartNogoods=126
1305.07 => wckTime=1273.465 cpuTime=1267.63 mem=26M154
1917.77
1917.77 search
1917.77 run=25 nbConstraintChecks=263463039 nbValidityChecks=505181638 nbPropagations=0 nbRevisions=0
1917.77 nbUselessRevisions=0 nbAssignments=984320 nbFailedAssignments=226010 nbBacktracks=757582 nbVisitedNodes=1575449
1917.77 nbRestartNogoods=134
1917.77 => wckTime=1886.167 cpuTime=1877.46 mem=26M154
2411.08 v 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 1 0 1 1 0 0 1 0 0 0 1 1 1 1 1 1 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 1 1 1 1 1 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 1 1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node39/watcher-278597-1169288985 -o ROOT/results/node39/solver-278597-1169288985 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278597-1169288985/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.01 1.71 1.83 4/81 13044
/proc/meminfo: memFree=1278936/2055920 swapFree=4187336/4192956
[pid=13043] ppid=13041 vsize=1784 CPUtime=0
/proc/13043/stat : 13043 (java) D 13041 13043 12853 0 -1 0 346 0 0 0 0 0 0 0 18 0 1 0 277298433 1826816 140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/13043/statm: 446 140 106 14 0 91 0
[startup+0.108311 s]
/proc/loadavg: 1.01 1.71 1.83 4/81 13044
/proc/meminfo: memFree=1278936/2055920 swapFree=4187336/4192956
[pid=13043] ppid=13041 vsize=914988 CPUtime=0.09
/proc/13043/stat : 13043 (java) R 13041 13043 12853 0 -1 0 3121 0 1 0 8 1 0 0 22 0 8 0 277298433 936947712 2867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13043/statm: 228747 2867 1469 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516347 s]
/proc/loadavg: 1.01 1.71 1.83 4/81 13044
/proc/meminfo: memFree=1278936/2055920 swapFree=4187336/4192956
[pid=13043] ppid=13041 vsize=915332 CPUtime=0.5
/proc/13043/stat : 13043 (java) R 13041 13043 12853 0 -1 0 6620 0 1 0 45 5 0 0 25 0 8 0 277298433 937299968 6359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13043/statm: 228833 6367 2146 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.33942 s]
/proc/loadavg: 1.01 1.71 1.83 3/88 13051
/proc/meminfo: memFree=1257504/2055920 swapFree=4187336/4192956
[pid=13043] ppid=13041 vsize=915428 CPUtime=1.32
/proc/13043/stat : 13043 (java) R 13041 13043 12853 0 -1 0 8025 0 1 0 118 14 0 0 25 0 8 0 277298433 937398272 7763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073760886 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13043/statm: 228857 7763 2476 14 0 215327 0
[pid=13043/tid=13045] ppid=13041 vsize=915428 CPUtime=0.03
/proc/13043/task/13045/stat : 13045 (java) S 13041 13043 12853 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 277298436 937398272 7763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13046] ppid=13041 vsize=915432 CPUtime=0
/proc/13043/task/13046/stat : 13046 (java) S 13041 13043 12853 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277298436 937402368 7763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13047] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13047/stat : 13047 (java) S 13041 13043 12853 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277298437 937398272 7763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13048] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13048/stat : 13048 (java) S 13041 13043 12853 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277298440 937398272 7763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13049] ppid=13041 vsize=915428 CPUtime=0.15
/proc/13043/task/13049/stat : 13049 (java) S 13041 13043 12853 0 -1 64 355 0 0 0 14 1 0 0 16 0 8 0 277298440 937398272 7763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13050] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13050/stat : 13050 (java) S 13041 13043 12853 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277298440 937398272 7763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13051] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13051/stat : 13051 (java) S 13041 13043 12853 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277298440 937398272 7763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915428
[startup+2.98758 s]
/proc/loadavg: 1.01 1.71 1.83 3/88 13051
/proc/meminfo: memFree=1257440/2055920 swapFree=4187336/4192956
[pid=13043] ppid=13041 vsize=915428 CPUtime=2.96
/proc/13043/stat : 13043 (java) R 13041 13043 12853 0 -1 0 8026 0 1 0 268 28 0 0 25 0 8 0 277298433 937398272 7763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073755460 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13043/statm: 228858 7763 2476 14 0 215328 0
[pid=13043/tid=13045] ppid=13041 vsize=915428 CPUtime=0.03
/proc/13043/task/13045/stat : 13045 (java) S 13041 13043 12853 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 277298436 937398272 7763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13046] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13046/stat : 13046 (java) S 13041 13043 12853 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277298436 937398272 7763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13047] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13047/stat : 13047 (java) S 13041 13043 12853 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277298437 937398272 7763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13048] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13048/stat : 13048 (java) S 13041 13043 12853 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277298440 937398272 7763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13049] ppid=13041 vsize=915428 CPUtime=0.15
/proc/13043/task/13049/stat : 13049 (java) S 13041 13043 12853 0 -1 64 355 0 0 0 14 1 0 0 16 0 8 0 277298440 937398272 7763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13050] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13050/stat : 13050 (java) S 13041 13043 12853 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277298440 937398272 7763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13051] ppid=13041 vsize=915432 CPUtime=0
/proc/13043/task/13051/stat : 13051 (java) S 13041 13043 12853 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277298440 937402368 7763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915428
[startup+6.26688 s]
/proc/loadavg: 1.09 1.71 1.83 3/88 13051
/proc/meminfo: memFree=1257376/2055920 swapFree=4187336/4192956
[pid=13043] ppid=13041 vsize=915428 CPUtime=6.22
/proc/13043/stat : 13043 (java) R 13041 13043 12853 0 -1 0 8028 0 1 0 570 52 0 0 25 0 8 0 277298433 937398272 7765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752364 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13043/statm: 228857 7765 2476 14 0 215327 0
[pid=13043/tid=13045] ppid=13041 vsize=915428 CPUtime=0.03
/proc/13043/task/13045/stat : 13045 (java) S 13041 13043 12853 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 277298436 937398272 7765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13046] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13046/stat : 13046 (java) S 13041 13043 12853 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277298436 937398272 7765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13047] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13047/stat : 13047 (java) S 13041 13043 12853 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277298437 937398272 7765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13048] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13048/stat : 13048 (java) S 13041 13043 12853 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277298440 937398272 7765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13049] ppid=13041 vsize=915432 CPUtime=0.15
/proc/13043/task/13049/stat : 13049 (java) S 13041 13043 12853 0 -1 64 357 0 0 0 14 1 0 0 16 0 8 0 277298440 937402368 7765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13050] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13050/stat : 13050 (java) S 13041 13043 12853 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277298440 937398272 7765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13051] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13051/stat : 13051 (java) S 13041 13043 12853 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277298440 937398272 7765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915428
[startup+12.7555 s]
/proc/loadavg: 1.16 1.72 1.83 3/88 13051
/proc/meminfo: memFree=1257376/2055920 swapFree=4187336/4192956
[pid=13043] ppid=13041 vsize=915428 CPUtime=12.68
/proc/13043/stat : 13043 (java) R 13041 13043 12853 0 -1 0 8029 0 1 0 1166 102 0 0 25 0 8 0 277298433 937398272 7766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13043/statm: 228857 7766 2476 14 0 215327 0
[pid=13043/tid=13045] ppid=13041 vsize=915428 CPUtime=0.03
/proc/13043/task/13045/stat : 13045 (java) S 13041 13043 12853 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 277298436 937398272 7766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13046] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13046/stat : 13046 (java) S 13041 13043 12853 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277298436 937398272 7766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13047] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13047/stat : 13047 (java) S 13041 13043 12853 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277298437 937398272 7766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13048] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13048/stat : 13048 (java) S 13041 13043 12853 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277298440 937398272 7766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13049] ppid=13041 vsize=915428 CPUtime=0.15
/proc/13043/task/13049/stat : 13049 (java) S 13041 13043 12853 0 -1 64 358 0 0 0 14 1 0 0 16 0 8 0 277298440 937398272 7766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13050] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13050/stat : 13050 (java) S 13041 13043 12853 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277298440 937398272 7766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13051] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13051/stat : 13051 (java) S 13041 13043 12853 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277298440 937398272 7766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915428
[startup+25.6016 s]
/proc/loadavg: 1.35 1.73 1.83 3/88 13051
/proc/meminfo: memFree=1257376/2055920 swapFree=4187336/4192956
[pid=13043] ppid=13041 vsize=915428 CPUtime=25.45
/proc/13043/stat : 13043 (java) R 13041 13043 12853 0 -1 0 8029 0 1 0 2347 198 0 0 25 0 8 0 277298433 937398272 7766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13043/statm: 228857 7766 2476 14 0 215327 0
[pid=13043/tid=13045] ppid=13041 vsize=915428 CPUtime=0.03
/proc/13043/task/13045/stat : 13045 (java) S 13041 13043 12853 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 277298436 937398272 7766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13046] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13046/stat : 13046 (java) S 13041 13043 12853 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277298436 937398272 7766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13047] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13047/stat : 13047 (java) S 13041 13043 12853 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277298437 937398272 7766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13048] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13048/stat : 13048 (java) S 13041 13043 12853 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277298440 937398272 7766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13049] ppid=13041 vsize=915428 CPUtime=0.15
/proc/13043/task/13049/stat : 13049 (java) S 13041 13043 12853 0 -1 64 358 0 0 0 14 1 0 0 16 0 8 0 277298440 937398272 7766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13050] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13050/stat : 13050 (java) S 13041 13043 12853 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277298440 937398272 7766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13051] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13051/stat : 13051 (java) S 13041 13043 12853 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277298440 937398272 7766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915428
[startup+51.208 s]
/proc/loadavg: 1.57 1.75 1.83 3/88 13051
/proc/meminfo: memFree=1244512/2055920 swapFree=4187336/4192956
[pid=13043] ppid=13041 vsize=915428 CPUtime=50.95
/proc/13043/stat : 13043 (java) R 13041 13043 12853 0 -1 0 11332 0 1 0 4854 241 0 0 25 0 8 0 277298433 937398272 11062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073986294 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13043/statm: 228857 11062 2530 14 0 215327 0
[pid=13043/tid=13045] ppid=13041 vsize=915428 CPUtime=0.03
/proc/13043/task/13045/stat : 13045 (java) S 13041 13043 12853 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 277298436 937398272 11062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13046] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13046/stat : 13046 (java) S 13041 13043 12853 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277298436 937398272 11062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13047] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13047/stat : 13047 (java) S 13041 13043 12853 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277298437 937398272 11062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13048] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13048/stat : 13048 (java) S 13041 13043 12853 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277298440 937398272 11062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13049] ppid=13041 vsize=915428 CPUtime=0.26
/proc/13043/task/13049/stat : 13049 (java) S 13041 13043 12853 0 -1 64 427 0 0 0 25 1 0 0 17 0 8 0 277298440 937398272 11062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13050] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13050/stat : 13050 (java) S 13041 13043 12853 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277298440 937398272 11062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13051] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13051/stat : 13051 (java) S 13041 13043 12853 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277298440 937398272 11062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 915428
[startup+102.422 s]
/proc/loadavg: 1.81 1.79 1.84 3/88 13051
/proc/meminfo: memFree=1244512/2055920 swapFree=4187336/4192956
[pid=13043] ppid=13041 vsize=915428 CPUtime=101.94
/proc/13043/stat : 13043 (java) R 13041 13043 12853 0 -1 0 11344 0 1 0 9952 242 0 0 25 0 8 0 277298433 937398272 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073985774 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13043/statm: 228857 11073 2530 14 0 215327 0
[pid=13043/tid=13045] ppid=13041 vsize=915428 CPUtime=0.03
/proc/13043/task/13045/stat : 13045 (java) S 13041 13043 12853 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 277298436 937398272 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13046] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13046/stat : 13046 (java) S 13041 13043 12853 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277298436 937398272 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13047] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13047/stat : 13047 (java) S 13041 13043 12853 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277298437 937398272 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13048] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13048/stat : 13048 (java) S 13041 13043 12853 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277298440 937398272 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13049] ppid=13041 vsize=915428 CPUtime=0.26
/proc/13043/task/13049/stat : 13049 (java) S 13041 13043 12853 0 -1 64 429 0 0 0 25 1 0 0 16 0 8 0 277298440 937398272 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13050] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13050/stat : 13050 (java) S 13041 13043 12853 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277298440 937398272 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13051] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13051/stat : 13051 (java) S 13041 13043 12853 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277298440 937398272 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.94
Current children cumulated vsize (KiB) 915428
[startup+162.48 s]
/proc/loadavg: 1.96 1.84 1.85 3/88 13051
/proc/meminfo: memFree=1244512/2055920 swapFree=4187336/4192956
[pid=13043] ppid=13041 vsize=915428 CPUtime=161.7
/proc/13043/stat : 13043 (java) R 13041 13043 12853 0 -1 0 11349 0 1 0 15928 242 0 0 25 0 8 0 277298433 937398272 11078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073986799 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2015.17
Current children cumulated vsize (KiB) 915428
[startup+2084.53 s]
/proc/loadavg: 2.00 2.00 1.95 3/88 13249
/proc/meminfo: memFree=1243616/2055920 swapFree=4187336/4192956
[pid=13043] ppid=13041 vsize=915428 CPUtime=2074.97
/proc/13043/stat : 13043 (java) R 13041 13043 12853 0 -1 0 11371 0 1 0 207239 258 0 0 25 0 8 0 277298433 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073974332 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13043/statm: 228857 11098 2530 14 0 215327 0
[pid=13043/tid=13045] ppid=13041 vsize=915428 CPUtime=0.03
/proc/13043/task/13045/stat : 13045 (java) S 13041 13043 12853 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 277298436 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13046] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13046/stat : 13046 (java) S 13041 13043 12853 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277298436 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13047] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13047/stat : 13047 (java) S 13041 13043 12853 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277298437 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13048] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13048/stat : 13048 (java) S 13041 13043 12853 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277298440 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13049] ppid=13041 vsize=915428 CPUtime=0.27
/proc/13043/task/13049/stat : 13049 (java) S 13041 13043 12853 0 -1 64 430 0 0 0 26 1 0 0 16 0 8 0 277298440 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13050] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13050/stat : 13050 (java) S 13041 13043 12853 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277298440 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13051] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13051/stat : 13051 (java) S 13041 13043 12853 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277298440 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2074.97
Current children cumulated vsize (KiB) 915428
[startup+2144.6 s]
/proc/loadavg: 2.00 2.00 1.95 3/88 13249
/proc/meminfo: memFree=1243616/2055920 swapFree=4187336/4192956
[pid=13043] ppid=13041 vsize=915428 CPUtime=2134.74
/proc/13043/stat : 13043 (java) R 13041 13043 12853 0 -1 0 11371 0 1 0 213216 258 0 0 25 0 8 0 277298433 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073873289 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13043/statm: 228857 11098 2530 14 0 215327 0
[pid=13043/tid=13045] ppid=13041 vsize=915428 CPUtime=0.03
/proc/13043/task/13045/stat : 13045 (java) S 13041 13043 12853 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 277298436 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13046] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13046/stat : 13046 (java) S 13041 13043 12853 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277298436 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13047] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13047/stat : 13047 (java) S 13041 13043 12853 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277298437 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13048] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13048/stat : 13048 (java) S 13041 13043 12853 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277298440 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13049] ppid=13041 vsize=915428 CPUtime=0.27
/proc/13043/task/13049/stat : 13049 (java) S 13041 13043 12853 0 -1 64 430 0 0 0 26 1 0 0 16 0 8 0 277298440 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13050] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13050/stat : 13050 (java) S 13041 13043 12853 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277298440 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13051] ppid=13041 vsize=915428 CPUtime=0.01
/proc/13043/task/13051/stat : 13051 (java) S 13041 13043 12853 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 277298440 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2134.74
Current children cumulated vsize (KiB) 915428
[startup+2204.66 s]
/proc/loadavg: 2.03 2.01 1.95 3/88 13249
/proc/meminfo: memFree=1243680/2055920 swapFree=4187336/4192956
[pid=13043] ppid=13041 vsize=915428 CPUtime=2194.53
/proc/13043/stat : 13043 (java) R 13041 13043 12853 0 -1 0 11371 0 1 0 219195 258 0 0 25 0 8 0 277298433 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073935211 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13043/statm: 228857 11098 2530 14 0 215327 0
[pid=13043/tid=13045] ppid=13041 vsize=915428 CPUtime=0.03
/proc/13043/task/13045/stat : 13045 (java) S 13041 13043 12853 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 277298436 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13046] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13046/stat : 13046 (java) S 13041 13043 12853 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277298436 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13047] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13047/stat : 13047 (java) S 13041 13043 12853 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277298437 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13048] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13048/stat : 13048 (java) S 13041 13043 12853 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277298440 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13049] ppid=13041 vsize=915428 CPUtime=0.27
/proc/13043/task/13049/stat : 13049 (java) S 13041 13043 12853 0 -1 64 430 0 0 0 26 1 0 0 16 0 8 0 277298440 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13050] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13050/stat : 13050 (java) S 13041 13043 12853 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277298440 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13051] ppid=13041 vsize=915428 CPUtime=0.01
/proc/13043/task/13051/stat : 13051 (java) S 13041 13043 12853 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 277298440 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2194.53
Current children cumulated vsize (KiB) 915428
[startup+2264.72 s]
/proc/loadavg: 2.01 2.01 1.95 4/88 13249
/proc/meminfo: memFree=1243680/2055920 swapFree=4187336/4192956
[pid=13043] ppid=13041 vsize=915428 CPUtime=2254.33
/proc/13043/stat : 13043 (java) R 13041 13043 12853 0 -1 0 11371 0 1 0 225175 258 0 0 25 0 8 0 277298433 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073917420 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13043/statm: 228857 11098 2530 14 0 215327 0
[pid=13043/tid=13045] ppid=13041 vsize=915428 CPUtime=0.03
/proc/13043/task/13045/stat : 13045 (java) S 13041 13043 12853 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 277298436 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13046] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13046/stat : 13046 (java) S 13041 13043 12853 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277298436 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13047] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13047/stat : 13047 (java) S 13041 13043 12853 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277298437 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13048] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13048/stat : 13048 (java) S 13041 13043 12853 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277298440 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13049] ppid=13041 vsize=915428 CPUtime=0.27
/proc/13043/task/13049/stat : 13049 (java) S 13041 13043 12853 0 -1 64 430 0 0 0 26 1 0 0 16 0 8 0 277298440 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13050] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13050/stat : 13050 (java) S 13041 13043 12853 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277298440 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13051] ppid=13041 vsize=915428 CPUtime=0.01
/proc/13043/task/13051/stat : 13051 (java) S 13041 13043 12853 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 277298440 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2254.33
Current children cumulated vsize (KiB) 915428
[startup+2324.78 s]
/proc/loadavg: 2.00 2.00 1.95 3/88 13249
/proc/meminfo: memFree=1243744/2055920 swapFree=4187336/4192956
[pid=13043] ppid=13041 vsize=915428 CPUtime=2314.1
/proc/13043/stat : 13043 (java) R 13041 13043 12853 0 -1 0 11371 0 1 0 231152 258 0 0 25 0 8 0 277298433 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073935136 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13043/statm: 228857 11098 2530 14 0 215327 0
[pid=13043/tid=13045] ppid=13041 vsize=915428 CPUtime=0.03
/proc/13043/task/13045/stat : 13045 (java) S 13041 13043 12853 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 277298436 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13046] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13046/stat : 13046 (java) S 13041 13043 12853 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277298436 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13047] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13047/stat : 13047 (java) S 13041 13043 12853 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277298437 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13048] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13048/stat : 13048 (java) S 13041 13043 12853 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277298440 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13049] ppid=13041 vsize=915428 CPUtime=0.27
/proc/13043/task/13049/stat : 13049 (java) S 13041 13043 12853 0 -1 64 430 0 0 0 26 1 0 0 16 0 8 0 277298440 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13050] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13050/stat : 13050 (java) S 13041 13043 12853 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277298440 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13051] ppid=13041 vsize=915428 CPUtime=0.01
/proc/13043/task/13051/stat : 13051 (java) S 13041 13043 12853 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 277298440 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2314.1
Current children cumulated vsize (KiB) 915428
[startup+2384.85 s]
/proc/loadavg: 2.00 2.00 1.95 3/88 13249
/proc/meminfo: memFree=1243744/2055920 swapFree=4187336/4192956
[pid=13043] ppid=13041 vsize=915428 CPUtime=2373.91
/proc/13043/stat : 13043 (java) R 13041 13043 12853 0 -1 0 11371 0 1 0 237132 259 0 0 25 0 8 0 277298433 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073919241 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13043/statm: 228857 11098 2530 14 0 215327 0
[pid=13043/tid=13045] ppid=13041 vsize=915428 CPUtime=0.03
/proc/13043/task/13045/stat : 13045 (java) S 13041 13043 12853 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 277298436 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13046] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13046/stat : 13046 (java) S 13041 13043 12853 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277298436 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13047] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13047/stat : 13047 (java) S 13041 13043 12853 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277298437 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13048] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13048/stat : 13048 (java) S 13041 13043 12853 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277298440 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13049] ppid=13041 vsize=915428 CPUtime=0.27
/proc/13043/task/13049/stat : 13049 (java) S 13041 13043 12853 0 -1 64 430 0 0 0 26 1 0 0 16 0 8 0 277298440 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13050] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13050/stat : 13050 (java) S 13041 13043 12853 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277298440 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13051] ppid=13041 vsize=915428 CPUtime=0.01
/proc/13043/task/13051/stat : 13051 (java) S 13041 13043 12853 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 277298440 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2373.91
Current children cumulated vsize (KiB) 915428
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2411.07 s]
/proc/loadavg: 1.87 1.97 1.94 3/81 13339
/proc/meminfo: memFree=1224456/2055920 swapFree=4187336/4192956
[pid=13043] ppid=13041 vsize=915428 CPUtime=2400.06
/proc/13043/stat : 13043 (java) R 13041 13043 12853 0 -1 0 11371 0 1 0 239746 260 0 0 25 0 8 0 277298433 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073701578 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13043/statm: 228857 11098 2530 14 0 215327 0
[pid=13043/tid=13045] ppid=13041 vsize=915428 CPUtime=0.03
/proc/13043/task/13045/stat : 13045 (java) S 13041 13043 12853 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 277298436 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13046] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13046/stat : 13046 (java) S 13041 13043 12853 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277298436 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13047] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13047/stat : 13047 (java) S 13041 13043 12853 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277298437 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13048] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13048/stat : 13048 (java) S 13041 13043 12853 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277298440 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13049] ppid=13041 vsize=915428 CPUtime=0.27
/proc/13043/task/13049/stat : 13049 (java) S 13041 13043 12853 0 -1 64 430 0 0 0 26 1 0 0 16 0 8 0 277298440 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13050] ppid=13041 vsize=915428 CPUtime=0
/proc/13043/task/13050/stat : 13050 (java) S 13041 13043 12853 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277298440 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13043/tid=13051] ppid=13041 vsize=915428 CPUtime=0.01
/proc/13043/task/13051/stat : 13051 (java) S 13041 13043 12853 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 277298440 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 915428
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2411.1
CPU time (s): 2400.09
CPU user time (s): 2397.48
CPU system time (s): 2.6106
CPU usage (%): 99.5436
Max. virtual memory (cumulated for all children) (KiB): 915432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.48
system time used= 2.6106
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11393
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= 50132
involuntary context switches= 81265
runsolver used 3.05653 s user time and 7.62184 s system time
The end
Begin job on node39 on Sat Jan 20 10:29:48 UTC 2007
IDJOB= 278597
IDBENCH= 8506
IDSOLVER= 69
FILE ID= node39/278597-1169288985
PBS_JOBID= 3609670
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/jnhUnsat/jnh310_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278597-1169288985/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-278597-1169288985 -o ROOT/results/node39/solver-278597-1169288985 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278597-1169288985/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a17b4095191bd0bf7b9394b428260da1
RANDOM SEED= 322727621
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1279416 kB
Buffers: 52084 kB
Cached: 621396 kB
SwapCached: 944 kB
Active: 193080 kB
Inactive: 505452 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1279416 kB
SwapTotal: 4192956 kB
SwapFree: 4187336 kB
Dirty: 2108 kB
Writeback: 0 kB
Mapped: 40344 kB
Slab: 63348 kB
Committed_AS: 5066812 kB
PageTables: 1872 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 node39 on Sat Jan 20 11:10:00 UTC 2007