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/277553-1169268550/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=60 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.42 => wckTime=0.106 cpuTime=0.09 mem=6M910
0.42
0.42 relations being loaded...
0.42
0.42 constraints being loaded...
0.46 nbConstraints=40 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=38
0.46 nbConflictsStructures=2 nbSharedConflictsStructures=38 nbSharedBinaryRepresentations=0 maxDegree=2 maxArity=3
0.46 => wckTime=0.144 cpuTime=0.12 mem=6M910
0.50
0.50 solver LocalSearchSolver being built...
0.54 => wckTime=0.222 cpuTime=0.16 mem=5M379
0.54
0.54 s SATISFIABLE
0.54 o 19
0.54 c 21
0.54 o 21
0.54 c 19
0.54 o 23
0.54 c 17
0.54 o 25
0.54 c 15
0.54 o 27
0.54 c 13
0.54 o 29
0.54 c 11
0.54 o 31
0.54 c 9
0.55 o 33
0.55 c 7
0.55 o 35
0.55 c 5
0.55 o 37
0.55 c 3
0.56 o 39
0.56 c 1
0.56
0.56 search
0.56 run=0 nbConstraintChecks=987 nbAssignments=45
0.56 => wckTime=0.021 cpuTime=0.01 mem=5M379
0.56
0.56 global
0.56 nbConstraintChecks=987 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.56 solvingWckTime=0.02 solvingCpuTime=0.02 expiredTime=no totalExploration=no nbFoundSolutions=0
0.56 globalCpuTime=0.23
0.56 => wckTime=0.243 cpuTime=0.18 mem=5M379
0.56
0.56 solver IterativeSystematicSolver being built...
0.72 => wckTime=0.4 cpuTime=0.3 mem=17M262
0.72
0.72 preprocessing
0.72 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.72 detectedInconsistency=no
0.72 => wckTime=0.0020 cpuTime=0.0 mem=17M262
0.77
0.77 search
0.77 run=0 nbConstraintChecks=278 nbValidityChecks=3169 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.77 nbAssignments=43 nbFailedAssignments=4 nbBacktracks=11 nbVisitedNodes=52 nbRestartNogoods=0
0.77 => wckTime=0.049 cpuTime=0.02 mem=17M262
0.78
0.78 search
0.78 run=1 nbConstraintChecks=486 nbValidityChecks=6476 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.78 nbAssignments=93 nbFailedAssignments=9 nbBacktracks=28 nbVisitedNodes=110 nbRestartNogoods=2
0.78 => wckTime=0.066 cpuTime=0.03 mem=17M262
0.79
0.79 search
0.79 run=2 nbConstraintChecks=724 nbValidityChecks=10713 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.79 nbAssignments=153 nbFailedAssignments=16 nbBacktracks=50 nbVisitedNodes=184 nbRestartNogoods=3
0.79 => wckTime=0.076 cpuTime=0.04 mem=17M262
0.81
0.81 search
0.81 run=3 nbConstraintChecks=1043 nbValidityChecks=18250 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.81 nbAssignments=238 nbFailedAssignments=34 nbBacktracks=87 nbVisitedNodes=295 nbRestartNogoods=5
0.81 => wckTime=0.093 cpuTime=0.06 mem=17M262
0.83
0.83 search
0.83 run=4 nbConstraintChecks=1422 nbValidityChecks=28004 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.83 nbAssignments=337 nbFailedAssignments=52 nbBacktracks=139 nbVisitedNodes=424 nbRestartNogoods=7
0.83 => wckTime=0.11 cpuTime=0.07 mem=17M262
0.84
0.84 search
0.84 run=5 nbConstraintChecks=1831 nbValidityChecks=38898 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.84 nbAssignments=454 nbFailedAssignments=67 nbBacktracks=215 nbVisitedNodes=558 nbRestartNogoods=10
0.84 => wckTime=0.128 cpuTime=0.09 mem=17M262
0.87
0.87 search
0.87 run=6 nbConstraintChecks=2457 nbValidityChecks=54321 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.87 nbAssignments=625 nbFailedAssignments=95 nbBacktracks=332 nbVisitedNodes=780 nbRestartNogoods=13
0.87 => wckTime=0.153 cpuTime=0.11 mem=17M262
0.90
0.90 search
0.90 run=7 nbConstraintChecks=3740 nbValidityChecks=76703 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.90 nbAssignments=868 nbFailedAssignments=140 nbBacktracks=507 nbVisitedNodes=1100 nbRestartNogoods=17
0.90 => wckTime=0.186 cpuTime=0.13 mem=17M262
0.95
0.95 search
0.95 run=8 nbConstraintChecks=5730 nbValidityChecks=112298 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.95 nbAssignments=1233 nbFailedAssignments=224 nbBacktracks=765 nbVisitedNodes=1570 nbRestartNogoods=20
0.95 => wckTime=0.23 cpuTime=0.17 mem=17M262
1.01
1.01 search
1.01 run=9 nbConstraintChecks=8957 nbValidityChecks=160709 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.01 nbAssignments=1759 nbFailedAssignments=339 nbBacktracks=1150 nbVisitedNodes=2254 nbRestartNogoods=23
1.01 => wckTime=0.298 cpuTime=0.22 mem=17M262
1.09
1.09 search
1.09 run=10 nbConstraintChecks=13079 nbValidityChecks=227098 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.09 nbAssignments=2494 nbFailedAssignments=471 nbBacktracks=1726 nbVisitedNodes=3167 nbRestartNogoods=28
1.09 => wckTime=0.37 cpuTime=0.29 mem=17M262
1.19
1.19 search
1.19 run=11 nbConstraintChecks=23019 nbValidityChecks=349027 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.19 nbAssignments=3615 nbFailedAssignments=692 nbBacktracks=2591 nbVisitedNodes=4586 nbRestartNogoods=32
1.19 => wckTime=0.47 cpuTime=0.38 mem=17M262
1.30
1.30 search
1.30 run=12 nbConstraintChecks=38281 nbValidityChecks=479332 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.30 nbAssignments=5227 nbFailedAssignments=974 nbBacktracks=3890 nbVisitedNodes=6577 nbRestartNogoods=35
1.30 => wckTime=0.588 cpuTime=0.5 mem=17M262
1.47
1.47 search
1.47 run=13 nbConstraintChecks=57323 nbValidityChecks=683855 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.47 nbAssignments=7608 nbFailedAssignments=1370 nbBacktracks=5837 nbVisitedNodes=9555 nbRestartNogoods=42
1.47 => wckTime=0.757 cpuTime=0.67 mem=17M262
1.70
1.70 search
1.70 run=14 nbConstraintChecks=100292 nbValidityChecks=930465 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.70 nbAssignments=11189 nbFailedAssignments=1998 nbBacktracks=8758 nbVisitedNodes=13992 nbRestartNogoods=46
1.70 => wckTime=0.988 cpuTime=0.89 mem=17M262
2.04
2.04 search
2.04 run=15 nbConstraintChecks=164693 nbValidityChecks=1300970 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.04 nbAssignments=16429 nbFailedAssignments=2828 nbBacktracks=13143 nbVisitedNodes=20344 nbRestartNogoods=50
2.04 => wckTime=1.32 cpuTime=1.22 mem=17M262
2.57
2.57 search
2.57 run=16 nbConstraintChecks=284381 nbValidityChecks=1915850 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.57 nbAssignments=24296 nbFailedAssignments=4100 nbBacktracks=19718 nbVisitedNodes=29911 nbRestartNogoods=55
2.57 => wckTime=1.853 cpuTime=1.75 mem=17M262
3.28
3.28 search
3.28 run=17 nbConstraintChecks=472766 nbValidityChecks=2725483 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
3.28 nbAssignments=35857 nbFailedAssignments=5772 nbBacktracks=29570 nbVisitedNodes=43564 nbRestartNogoods=59
3.28 => wckTime=2.566 cpuTime=2.46 mem=17M262
4.29
4.29 search
4.29 run=18 nbConstraintChecks=749161 nbValidityChecks=3931014 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
4.29 nbAssignments=52904 nbFailedAssignments=8006 nbBacktracks=44352 nbVisitedNodes=63453 nbRestartNogoods=62
4.29 => wckTime=3.579 cpuTime=3.46 mem=17M262
5.97
5.97 search
5.97 run=19 nbConstraintChecks=1134237 nbValidityChecks=5967178 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
5.97 nbAssignments=78343 nbFailedAssignments=11240 nbBacktracks=66528 nbVisitedNodes=92733 nbRestartNogoods=67
5.97 => wckTime=5.251 cpuTime=5.12 mem=17M262
8.17
8.17 search
8.17 run=20 nbConstraintChecks=1828037 nbValidityChecks=8548774 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
8.17 nbAssignments=116749 nbFailedAssignments=16371 nbBacktracks=99790 nbVisitedNodes=137063 nbRestartNogoods=72
8.17 => wckTime=7.458 cpuTime=7.31 mem=17M262
11.32
11.32 search
11.32 run=21 nbConstraintChecks=3076781 nbValidityChecks=12412392 nbPropagations=0 nbRevisions=0
11.32 nbUselessRevisions=0 nbAssignments=172878 nbFailedAssignments=22581 nbBacktracks=149668 nbVisitedNodes=200084
11.32 nbRestartNogoods=76
11.32 => wckTime=10.603 cpuTime=10.43 mem=17M262
15.61
15.61 search
15.61 run=22 nbConstraintChecks=5200966 nbValidityChecks=17439722 nbPropagations=0 nbRevisions=0
15.61 nbUselessRevisions=0 nbAssignments=257173 nbFailedAssignments=32020 nbBacktracks=224486 nbVisitedNodes=296075
15.61 nbRestartNogoods=81
15.61 => wckTime=14.895 cpuTime=14.69 mem=17M262
22.52
22.52 search
22.52 run=23 nbConstraintChecks=8126390 nbValidityChecks=26285214 nbPropagations=0 nbRevisions=0
22.52 nbUselessRevisions=0 nbAssignments=381927 nbFailedAssignments=44510 nbBacktracks=336726 nbVisitedNodes=435298
22.52 nbRestartNogoods=89
22.52 => wckTime=21.798 cpuTime=21.54 mem=17M262
32.03
32.04 search
32.04 run=24 nbConstraintChecks=12948736 nbValidityChecks=37433975 nbPropagations=0 nbRevisions=0
32.04 nbUselessRevisions=0 nbAssignments=570464 nbFailedAssignments=64655 nbBacktracks=505073 nbVisitedNodes=648149
32.04 nbRestartNogoods=99
32.04 => wckTime=31.319 cpuTime=30.98 mem=17M262
46.08
46.08 search
46.08 run=25 nbConstraintChecks=21049201 nbValidityChecks=54016469 nbPropagations=0 nbRevisions=0
46.08 nbUselessRevisions=0 nbAssignments=855939 nbFailedAssignments=97572 nbBacktracks=757590 nbVisitedNodes=971257
46.08 nbRestartNogoods=105
46.08 => wckTime=45.36 cpuTime=44.91 mem=17M262
67.21
67.21 search
67.21 run=26 nbConstraintChecks=32801082 nbValidityChecks=79509566 nbPropagations=0 nbRevisions=0
67.21 nbUselessRevisions=0 nbAssignments=1279160 nbFailedAssignments=141979 nbBacktracks=1136366
67.21 nbVisitedNodes=1446066 nbRestartNogoods=111
67.21 => wckTime=66.497 cpuTime=65.88 mem=17M262
98.31
98.31 search
98.31 run=27 nbConstraintChecks=50840885 nbValidityChecks=117155889 nbPropagations=0 nbRevisions=0
98.31 nbUselessRevisions=0 nbAssignments=1916066 nbFailedAssignments=210693 nbBacktracks=1704520
98.31 nbVisitedNodes=2161008 nbRestartNogoods=118
98.31 => wckTime=97.591 cpuTime=96.73 mem=17M262
144.60
144.60 search
144.60 run=28 nbConstraintChecks=78398818 nbValidityChecks=172193963 nbPropagations=0 nbRevisions=0
144.60 nbUselessRevisions=0 nbAssignments=2871387 nbFailedAssignments=313741 nbBacktracks=2556755
144.60 nbVisitedNodes=3237146 nbRestartNogoods=126
144.60 => wckTime=143.884 cpuTime=142.65 mem=17M262
216.43
216.43 search
216.43 run=29 nbConstraintChecks=117005161 nbValidityChecks=260502278 nbPropagations=0 nbRevisions=0
216.43 nbUselessRevisions=0 nbAssignments=4294993 nbFailedAssignments=458966 nbBacktracks=3835103
216.43 nbVisitedNodes=4828772 nbRestartNogoods=136
216.43 => wckTime=215.714 cpuTime=213.9 mem=17M262
326.48
326.48 search
326.48 run=30 nbConstraintChecks=172131672 nbValidityChecks=399660916 nbPropagations=0 nbRevisions=0
326.48 nbUselessRevisions=0 nbAssignments=6420504 nbFailedAssignments=666933 nbBacktracks=5752617
326.48 nbVisitedNodes=7186411 nbRestartNogoods=145
326.48 => wckTime=325.766 cpuTime=323.02 mem=17M262
491.17
491.17 search
491.17 run=31 nbConstraintChecks=254493963 nbValidityChecks=608003607 nbPropagations=0 nbRevisions=0
491.17 nbUselessRevisions=0 nbAssignments=9610527 nbFailedAssignments=980652 nbBacktracks=8628894
491.17 nbVisitedNodes=10723940 nbRestartNogoods=156
491.17 => wckTime=490.451 cpuTime=486.31 mem=17M262
739.61
739.61 search
739.61 run=32 nbConstraintChecks=377591678 nbValidityChecks=920175090 nbPropagations=0 nbRevisions=0
739.61 nbUselessRevisions=0 nbAssignments=14395869 nbFailedAssignments=1451552 nbBacktracks=12943294
739.61 nbVisitedNodes=16033613 nbRestartNogoods=170
739.61 => wckTime=738.894 cpuTime=732.57 mem=17M262
1097.73
1097.73 search
1097.73 run=33 nbConstraintChecks=549946509 nbValidityChecks=1374238588 nbPropagations=0 nbRevisions=0
1097.73 nbUselessRevisions=0 nbAssignments=21231929 nbFailedAssignments=2096417 nbBacktracks=19134490
1097.73 nbVisitedNodes=23597045 nbRestartNogoods=176
1097.73 => wckTime=1097.017 cpuTime=1087.73 mem=17M262
1097.73
1097.73 global
1097.73 nbConstraintChecks=549946509 nbValidityChecks=1374238588 nbRestartNogoods=176 solvingWckTime=1097.018
1097.73 solvingCpuTime=1087.73 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=1088.08
1097.73 => wckTime=1097.419 cpuTime=1088.03 mem=17M262
1097.74
1097.74 s OPTIMUM FOUND
1097.74 v 0 0 0 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 0 0 0 1
1097.74
1097.74 totalWckTime=1097.499 totalCpuTime=1088.08
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node69/watcher-277553-1169268550 -o ROOT/results/node69/solver-277553-1169268550 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277553-1169268550/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.90 1.92 1.97 4/74 8862
/proc/meminfo: memFree=1324888/2055920 swapFree=4191892/4192956
[pid=8861] ppid=8859 vsize=18540 CPUtime=0
/proc/8861/stat : 8861 (runsolver) R 8859 8861 8243 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 74351965 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 237947645223 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/8861/statm: 4635 279 244 17 0 2626 0
[startup+0.102851 s]
/proc/loadavg: 1.90 1.92 1.97 4/74 8862
/proc/meminfo: memFree=1324888/2055920 swapFree=4191892/4192956
[pid=8861] ppid=8859 vsize=914852 CPUtime=0.08
/proc/8861/stat : 8861 (java) R 8859 8861 8243 0 -1 0 2931 0 1 0 7 1 0 0 19 0 8 0 74351965 936808448 2677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4151972625 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8861/statm: 228713 2677 1403 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914852
[startup+0.510885 s]
/proc/loadavg: 1.90 1.92 1.97 4/74 8862
/proc/meminfo: memFree=1324888/2055920 swapFree=4191892/4192956
[pid=8861] ppid=8859 vsize=915332 CPUtime=0.48
/proc/8861/stat : 8861 (java) R 8859 8861 8243 0 -1 0 6474 0 1 0 45 3 0 0 18 0 8 0 74351965 937299968 6212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154578067 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8861/statm: 228833 6212 2286 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33395 s]
/proc/loadavg: 1.91 1.92 1.97 3/81 8869
/proc/meminfo: memFree=1299040/2055920 swapFree=4191892/4192956
[pid=8861] ppid=8859 vsize=915464 CPUtime=1.29
/proc/8861/stat : 8861 (java) R 8859 8861 8243 0 -1 0 9192 0 1 0 124 5 0 0 25 0 8 0 74351965 937435136 8929 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073672102 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8861/statm: 228866 8929 2528 14 0 215336 0
[pid=8861/tid=8863] ppid=8859 vsize=915464 CPUtime=0.02
/proc/8861/task/8863/stat : 8863 (java) S 8859 8861 8243 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 74351969 937435136 8929 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8864] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8864/stat : 8864 (java) S 8859 8861 8243 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74351970 937435136 8929 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8865] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8865/stat : 8865 (java) S 8859 8861 8243 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74351970 937435136 8929 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8866] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8866/stat : 8866 (java) S 8859 8861 8243 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74351973 937435136 8929 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8867] ppid=8859 vsize=915464 CPUtime=0.18
/proc/8861/task/8867/stat : 8867 (java) S 8859 8861 8243 0 -1 64 363 0 0 0 18 0 0 0 15 0 8 0 74351973 937435136 8929 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8868] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8868/stat : 8868 (java) S 8859 8861 8243 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74351973 937435136 8929 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8869] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8869/stat : 8869 (java) S 8859 8861 8243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74351973 937435136 8929 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915464
[startup+2.98709 s]
/proc/loadavg: 1.91 1.92 1.97 3/81 8869
/proc/meminfo: memFree=1298976/2055920 swapFree=4191892/4192956
[pid=8861] ppid=8859 vsize=915464 CPUtime=2.93
/proc/8861/stat : 8861 (java) R 8859 8861 8243 0 -1 0 9204 0 1 0 288 5 0 0 25 0 8 0 74351965 937435136 8940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073703768 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8861/statm: 228866 8940 2528 14 0 215336 0
[pid=8861/tid=8863] ppid=8859 vsize=915464 CPUtime=0.02
/proc/8861/task/8863/stat : 8863 (java) S 8859 8861 8243 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 74351969 937435136 8940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8864] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8864/stat : 8864 (java) S 8859 8861 8243 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74351970 937435136 8940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8865] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8865/stat : 8865 (java) S 8859 8861 8243 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74351970 937435136 8940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8866] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8866/stat : 8866 (java) S 8859 8861 8243 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74351973 937435136 8940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8867] ppid=8859 vsize=915464 CPUtime=0.18
/proc/8861/task/8867/stat : 8867 (java) S 8859 8861 8243 0 -1 64 365 0 0 0 18 0 0 0 16 0 8 0 74351973 937435136 8940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8868] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8868/stat : 8868 (java) S 8859 8861 8243 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74351973 937435136 8940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8869] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8869/stat : 8869 (java) S 8859 8861 8243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74351973 937435136 8940 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) 915464
[startup+6.27637 s]
/proc/loadavg: 1.92 1.92 1.97 3/81 8869
/proc/meminfo: memFree=1298848/2055920 swapFree=4191892/4192956
[pid=8861] ppid=8859 vsize=915464 CPUtime=6.19
/proc/8861/stat : 8861 (java) R 8859 8861 8243 0 -1 0 9212 0 1 0 614 5 0 0 25 0 8 0 74351965 937435136 8948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073692577 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8861/statm: 228866 8948 2528 14 0 215336 0
[pid=8861/tid=8863] ppid=8859 vsize=915464 CPUtime=0.02
/proc/8861/task/8863/stat : 8863 (java) S 8859 8861 8243 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 74351969 937435136 8948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8864] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8864/stat : 8864 (java) S 8859 8861 8243 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74351970 937435136 8948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8865] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8865/stat : 8865 (java) S 8859 8861 8243 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74351970 937435136 8948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8866] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8866/stat : 8866 (java) S 8859 8861 8243 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74351973 937435136 8948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8867] ppid=8859 vsize=915464 CPUtime=0.18
/proc/8861/task/8867/stat : 8867 (java) S 8859 8861 8243 0 -1 64 365 0 0 0 18 0 0 0 15 0 8 0 74351973 937435136 8948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8868] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8868/stat : 8868 (java) S 8859 8861 8243 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74351973 937435136 8948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8869] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8869/stat : 8869 (java) S 8859 8861 8243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74351973 937435136 8948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915464
[startup+12.7629 s]
/proc/loadavg: 1.92 1.93 1.97 3/81 8869
/proc/meminfo: memFree=1298912/2055920 swapFree=4191892/4192956
[pid=8861] ppid=8859 vsize=915464 CPUtime=12.64
/proc/8861/stat : 8861 (java) R 8859 8861 8243 0 -1 0 9217 0 1 0 1258 6 0 0 25 0 8 0 74351965 937435136 8953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073672488 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8861/statm: 228866 8953 2528 14 0 215336 0
[pid=8861/tid=8863] ppid=8859 vsize=915464 CPUtime=0.02
/proc/8861/task/8863/stat : 8863 (java) S 8859 8861 8243 0 -1 64 124 0 0 0 2 0 0 0 17 0 8 0 74351969 937435136 8953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8864] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8864/stat : 8864 (java) S 8859 8861 8243 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74351970 937435136 8953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8865] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8865/stat : 8865 (java) S 8859 8861 8243 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74351970 937435136 8953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8866] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8866/stat : 8866 (java) S 8859 8861 8243 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74351973 937435136 8953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8867] ppid=8859 vsize=915464 CPUtime=0.18
/proc/8861/task/8867/stat : 8867 (java) S 8859 8861 8243 0 -1 64 365 0 0 0 18 0 0 0 16 0 8 0 74351973 937435136 8953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8868] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8868/stat : 8868 (java) S 8859 8861 8243 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74351973 937435136 8953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8869] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8869/stat : 8869 (java) S 8859 8861 8243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74351973 937435136 8953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915464
[startup+25.596 s]
/proc/loadavg: 1.93 1.93 1.97 3/81 8869
/proc/meminfo: memFree=1298912/2055920 swapFree=4191892/4192956
[pid=8861] ppid=8859 vsize=915464 CPUtime=25.36
/proc/8861/stat : 8861 (java) R 8859 8861 8243 0 -1 0 9225 0 1 0 2530 6 0 0 25 0 8 0 74351965 937435136 8959 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073741231 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8861/statm: 228866 8959 2528 14 0 215336 0
[pid=8861/tid=8863] ppid=8859 vsize=915464 CPUtime=0.02
/proc/8861/task/8863/stat : 8863 (java) S 8859 8861 8243 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 74351969 937435136 8959 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8864] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8864/stat : 8864 (java) S 8859 8861 8243 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74351970 937435136 8959 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8865] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8865/stat : 8865 (java) S 8859 8861 8243 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74351970 937435136 8959 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8866] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8866/stat : 8866 (java) S 8859 8861 8243 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74351973 937435136 8959 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8867] ppid=8859 vsize=915464 CPUtime=0.18
/proc/8861/task/8867/stat : 8867 (java) S 8859 8861 8243 0 -1 64 367 0 0 0 18 0 0 0 16 0 8 0 74351973 937435136 8959 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8868] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8868/stat : 8868 (java) S 8859 8861 8243 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74351973 937435136 8959 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8869] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8869/stat : 8869 (java) S 8859 8861 8243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74351973 937435136 8959 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915464
[startup+51.2002 s]
/proc/loadavg: 1.96 1.93 1.97 3/81 8869
/proc/meminfo: memFree=1298912/2055920 swapFree=4191892/4192956
[pid=8861] ppid=8859 vsize=915464 CPUtime=50.76
/proc/8861/stat : 8861 (java) R 8859 8861 8243 0 -1 0 9232 0 1 0 5070 6 0 0 25 0 8 0 74351965 937435136 8964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073729370 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8861/statm: 228866 8964 2528 14 0 215336 0
[pid=8861/tid=8863] ppid=8859 vsize=915464 CPUtime=0.02
/proc/8861/task/8863/stat : 8863 (java) S 8859 8861 8243 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 74351969 937435136 8964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8864] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8864/stat : 8864 (java) S 8859 8861 8243 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74351970 937435136 8964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8865] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8865/stat : 8865 (java) S 8859 8861 8243 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74351970 937435136 8964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8866] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8866/stat : 8866 (java) S 8859 8861 8243 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74351973 937435136 8964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8867] ppid=8859 vsize=915464 CPUtime=0.18
/proc/8861/task/8867/stat : 8867 (java) S 8859 8861 8243 0 -1 64 367 0 0 0 18 0 0 0 16 0 8 0 74351973 937435136 8964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8868] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8868/stat : 8868 (java) S 8859 8861 8243 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74351973 937435136 8964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8869] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8869/stat : 8869 (java) S 8859 8861 8243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74351973 937435136 8964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915464
[startup+102.5 s]
/proc/loadavg: 1.98 1.94 1.97 3/81 8869
/proc/meminfo: memFree=1298912/2055920 swapFree=4191892/4192956
[pid=8861] ppid=8859 vsize=915464 CPUtime=101.65
/proc/8861/stat : 8861 (java) R 8859 8861 8243 0 -1 0 9238 0 1 0 10159 6 0 0 25 0 8 0 74351965 937435136 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073728356 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8861/statm: 228866 8970 2528 14 0 215336 0
[pid=8861/tid=8863] ppid=8859 vsize=915464 CPUtime=0.02
/proc/8861/task/8863/stat : 8863 (java) S 8859 8861 8243 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 74351969 937435136 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8864] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8864/stat : 8864 (java) S 8859 8861 8243 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74351970 937435136 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8865] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8865/stat : 8865 (java) S 8859 8861 8243 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74351970 937435136 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8866] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8866/stat : 8866 (java) S 8859 8861 8243 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74351973 937435136 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8867] ppid=8859 vsize=915464 CPUtime=0.18
/proc/8861/task/8867/stat : 8867 (java) S 8859 8861 8243 0 -1 64 368 0 0 0 18 0 0 0 16 0 8 0 74351973 937435136 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8868] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8868/stat : 8868 (java) S 8859 8861 8243 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74351973 937435136 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8869] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8869/stat : 8869 (java) S 8859 8861 8243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74351973 937435136 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 915464
[startup+162.54 s]
/proc/loadavg: 1.99 1.95 1.97 3/81 8869
/proc/meminfo: memFree=1298912/2055920 swapFree=4191892/4192956
[pid=8861] ppid=8859 vsize=915464 CPUtime=161.21
/proc/8861/stat : 8861 (java) R 8859 8861 8243 0 -1 0 9241 0 1 0 16115 6 0 0 25 0 8 0 74351965 937435136 8973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073673367 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/8861/task/8866/stat : 8866 (java) S 8859 8861 8243 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74351973 937435136 8981 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8867] ppid=8859 vsize=915464 CPUtime=0.18
/proc/8861/task/8867/stat : 8867 (java) S 8859 8861 8243 0 -1 64 368 0 0 0 18 0 0 0 17 0 8 0 74351973 937435136 8981 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8868] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8868/stat : 8868 (java) S 8859 8861 8243 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74351973 937435136 8981 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8869] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8869/stat : 8869 (java) S 8859 8861 8243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74351973 937435136 8981 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 637.48
Current children cumulated vsize (KiB) 915464
[startup+702.869 s]
/proc/loadavg: 2.00 1.97 1.97 3/81 8869
/proc/meminfo: memFree=1298848/2055920 swapFree=4191892/4192956
[pid=8861] ppid=8859 vsize=915464 CPUtime=697.05
/proc/8861/stat : 8861 (java) R 8859 8861 8243 0 -1 0 9249 0 1 0 69698 7 0 0 25 0 8 0 74351965 937435136 8981 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073710665 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8861/statm: 228866 8981 2528 14 0 215336 0
[pid=8861/tid=8863] ppid=8859 vsize=915464 CPUtime=0.02
/proc/8861/task/8863/stat : 8863 (java) S 8859 8861 8243 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 74351969 937435136 8981 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8864] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8864/stat : 8864 (java) S 8859 8861 8243 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74351970 937435136 8981 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8865] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8865/stat : 8865 (java) S 8859 8861 8243 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74351970 937435136 8981 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8866] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8866/stat : 8866 (java) S 8859 8861 8243 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74351973 937435136 8981 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8867] ppid=8859 vsize=915464 CPUtime=0.18
/proc/8861/task/8867/stat : 8867 (java) S 8859 8861 8243 0 -1 64 368 0 0 0 18 0 0 0 17 0 8 0 74351973 937435136 8981 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8868] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8868/stat : 8868 (java) S 8859 8861 8243 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74351973 937435136 8981 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8869] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8869/stat : 8869 (java) S 8859 8861 8243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74351973 937435136 8981 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 697.05
Current children cumulated vsize (KiB) 915464
[startup+762.937 s]
/proc/loadavg: 2.00 1.97 1.97 3/87 9033
/proc/meminfo: memFree=1297576/2055920 swapFree=4191892/4192956
[pid=8861] ppid=8859 vsize=915464 CPUtime=756.43
/proc/8861/stat : 8861 (java) R 8859 8861 8243 0 -1 0 9252 0 1 0 75635 8 0 0 25 0 8 0 74351965 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073694223 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8861/statm: 228866 8984 2528 14 0 215336 0
[pid=8861/tid=8863] ppid=8859 vsize=915464 CPUtime=0.02
/proc/8861/task/8863/stat : 8863 (java) S 8859 8861 8243 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 74351969 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8864] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8864/stat : 8864 (java) S 8859 8861 8243 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74351970 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8865] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8865/stat : 8865 (java) S 8859 8861 8243 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74351970 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8866] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8866/stat : 8866 (java) S 8859 8861 8243 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74351973 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8867] ppid=8859 vsize=915464 CPUtime=0.18
/proc/8861/task/8867/stat : 8867 (java) S 8859 8861 8243 0 -1 64 368 0 0 0 18 0 0 0 17 0 8 0 74351973 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8868] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8868/stat : 8868 (java) S 8859 8861 8243 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74351973 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8869] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8869/stat : 8869 (java) S 8859 8861 8243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74351973 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 756.43
Current children cumulated vsize (KiB) 915464
[startup+822.987 s]
/proc/loadavg: 2.00 1.97 1.97 3/81 9067
/proc/meminfo: memFree=1298528/2055920 swapFree=4191892/4192956
[pid=8861] ppid=8859 vsize=915464 CPUtime=815.93
/proc/8861/stat : 8861 (java) R 8859 8861 8243 0 -1 0 9252 0 1 0 81585 8 0 0 25 0 8 0 74351965 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073729061 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8861/statm: 228866 8984 2528 14 0 215336 0
[pid=8861/tid=8863] ppid=8859 vsize=915464 CPUtime=0.02
/proc/8861/task/8863/stat : 8863 (java) S 8859 8861 8243 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 74351969 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8864] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8864/stat : 8864 (java) S 8859 8861 8243 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74351970 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8865] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8865/stat : 8865 (java) S 8859 8861 8243 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74351970 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8866] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8866/stat : 8866 (java) S 8859 8861 8243 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74351973 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8867] ppid=8859 vsize=915464 CPUtime=0.18
/proc/8861/task/8867/stat : 8867 (java) S 8859 8861 8243 0 -1 64 368 0 0 0 18 0 0 0 17 0 8 0 74351973 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8868] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8868/stat : 8868 (java) S 8859 8861 8243 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74351973 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8869] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8869/stat : 8869 (java) S 8859 8861 8243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74351973 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 815.93
Current children cumulated vsize (KiB) 915464
[startup+883.03 s]
/proc/loadavg: 2.00 1.97 1.97 3/81 9067
/proc/meminfo: memFree=1298528/2055920 swapFree=4191892/4192956
[pid=8861] ppid=8859 vsize=915464 CPUtime=875.5
/proc/8861/stat : 8861 (java) R 8859 8861 8243 0 -1 0 9252 0 1 0 87542 8 0 0 25 0 8 0 74351965 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073728276 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8861/statm: 228866 8984 2528 14 0 215336 0
[pid=8861/tid=8863] ppid=8859 vsize=915464 CPUtime=0.02
/proc/8861/task/8863/stat : 8863 (java) S 8859 8861 8243 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 74351969 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8864] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8864/stat : 8864 (java) S 8859 8861 8243 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74351970 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8865] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8865/stat : 8865 (java) S 8859 8861 8243 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74351970 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8866] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8866/stat : 8866 (java) S 8859 8861 8243 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74351973 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8867] ppid=8859 vsize=915464 CPUtime=0.18
/proc/8861/task/8867/stat : 8867 (java) S 8859 8861 8243 0 -1 64 368 0 0 0 18 0 0 0 17 0 8 0 74351973 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8868] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8868/stat : 8868 (java) S 8859 8861 8243 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74351973 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8869] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8869/stat : 8869 (java) S 8859 8861 8243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74351973 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 875.5
Current children cumulated vsize (KiB) 915464
[startup+943.067 s]
/proc/loadavg: 2.06 1.99 1.98 3/81 9067
/proc/meminfo: memFree=1298528/2055920 swapFree=4191892/4192956
[pid=8861] ppid=8859 vsize=915464 CPUtime=935.06
/proc/8861/stat : 8861 (java) R 8859 8861 8243 0 -1 0 9252 0 1 0 93498 8 0 0 25 0 8 0 74351965 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073672486 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8861/statm: 228866 8984 2528 14 0 215336 0
[pid=8861/tid=8863] ppid=8859 vsize=915464 CPUtime=0.02
/proc/8861/task/8863/stat : 8863 (java) S 8859 8861 8243 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 74351969 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8864] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8864/stat : 8864 (java) S 8859 8861 8243 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74351970 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8865] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8865/stat : 8865 (java) S 8859 8861 8243 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74351970 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8866] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8866/stat : 8866 (java) S 8859 8861 8243 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74351973 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8867] ppid=8859 vsize=915464 CPUtime=0.18
/proc/8861/task/8867/stat : 8867 (java) S 8859 8861 8243 0 -1 64 368 0 0 0 18 0 0 0 17 0 8 0 74351973 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8868] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8868/stat : 8868 (java) S 8859 8861 8243 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74351973 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8869] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8869/stat : 8869 (java) S 8859 8861 8243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74351973 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 935.06
Current children cumulated vsize (KiB) 915464
[startup+1003.1 s]
/proc/loadavg: 2.02 1.99 1.98 3/81 9067
/proc/meminfo: memFree=1298528/2055920 swapFree=4191892/4192956
[pid=8861] ppid=8859 vsize=915464 CPUtime=994.62
/proc/8861/stat : 8861 (java) R 8859 8861 8243 0 -1 0 9252 0 1 0 99454 8 0 0 25 0 8 0 74351965 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073583568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8861/statm: 228866 8984 2528 14 0 215336 0
[pid=8861/tid=8863] ppid=8859 vsize=915464 CPUtime=0.02
/proc/8861/task/8863/stat : 8863 (java) S 8859 8861 8243 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 74351969 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8864] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8864/stat : 8864 (java) S 8859 8861 8243 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74351970 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8865] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8865/stat : 8865 (java) S 8859 8861 8243 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74351970 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8866] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8866/stat : 8866 (java) S 8859 8861 8243 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74351973 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8867] ppid=8859 vsize=915464 CPUtime=0.18
/proc/8861/task/8867/stat : 8867 (java) S 8859 8861 8243 0 -1 64 368 0 0 0 18 0 0 0 17 0 8 0 74351973 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8868] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8868/stat : 8868 (java) S 8859 8861 8243 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74351973 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8869] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8869/stat : 8869 (java) S 8859 8861 8243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74351973 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 994.62
Current children cumulated vsize (KiB) 915464
[startup+1063.16 s]
/proc/loadavg: 2.00 1.99 1.98 3/81 9067
/proc/meminfo: memFree=1298592/2055920 swapFree=4191892/4192956
[pid=8861] ppid=8859 vsize=915464 CPUtime=1054.19
/proc/8861/stat : 8861 (java) R 8859 8861 8243 0 -1 0 9252 0 1 0 105411 8 0 0 25 0 8 0 74351965 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073672416 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8861/statm: 228866 8984 2528 14 0 215336 0
[pid=8861/tid=8863] ppid=8859 vsize=915464 CPUtime=0.02
/proc/8861/task/8863/stat : 8863 (java) S 8859 8861 8243 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 74351969 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8864] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8864/stat : 8864 (java) S 8859 8861 8243 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74351970 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8865] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8865/stat : 8865 (java) S 8859 8861 8243 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74351970 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8866] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8866/stat : 8866 (java) S 8859 8861 8243 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74351973 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8867] ppid=8859 vsize=915464 CPUtime=0.18
/proc/8861/task/8867/stat : 8867 (java) S 8859 8861 8243 0 -1 64 368 0 0 0 18 0 0 0 17 0 8 0 74351973 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8868] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8868/stat : 8868 (java) S 8859 8861 8243 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74351973 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8861/tid=8869] ppid=8859 vsize=915464 CPUtime=0
/proc/8861/task/8869/stat : 8869 (java) S 8859 8861 8243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74351973 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1054.19
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 1097.77
CPU time (s): 1088.53
CPU user time (s): 1088.43
CPU system time (s): 0.097985
CPU usage (%): 99.1582
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1088.43
system time used= 0.097985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9348
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= 23174
involuntary context switches= 44098
runsolver used 1.3198 s user time and 3.14252 s system time
The end
Begin job on node69 on Sat Jan 20 04:49:10 UTC 2007
IDJOB= 277553
IDBENCH= 7353
IDSOLVER= 69
FILE ID= node69/277553-1169268550
PBS_JOBID= 3607371
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/pret/pret-60-60_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277553-1169268550/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-277553-1169268550 -o ROOT/results/node69/solver-277553-1169268550 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277553-1169268550/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b2b762c34be059b37506a29c09fcdb74
RANDOM SEED= 271845577
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.218
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.218
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: 1325368 kB
Buffers: 47380 kB
Cached: 577688 kB
SwapCached: 396 kB
Active: 117564 kB
Inactive: 542512 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1325368 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 1656 kB
Writeback: 0 kB
Mapped: 45016 kB
Slab: 55676 kB
Committed_AS: 754132 kB
PageTables: 1904 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 node69 on Sat Jan 20 05:07:28 UTC 2007