0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/248843-1168401700/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.42 nbVariables=100 nbDomainTypes=1 minDomainSize=96 maxDomainSize=96
0.42 => wckTime=0.112 cpuTime=0.09 mem=7M927
0.42
0.42 predicates being loaded...
0.45
0.45 constraints being loaded...
0.56 nbConstraints=40 nbSingletonDomainVariables=15 nbDisconnectedVariables=15 nbConvertedConstraints=7
0.56 nbConvertConstraintsChecks=64512 nbExtensionStructures=7 nbSharedExtensionStructures=0 nbConflictsStructures=7
0.56 nbSharedConflictsStructures=0 nbUnbuiltConflictsStructures=33 nbSharedBinaryRepresentations=1247
0.56 nbEvaluationManagers=33 nbSharedEvaluationManagers=0 maxDegree=5 maxArity=7
0.56 => wckTime=0.253 cpuTime=0.21 mem=9M877
0.60
0.60 solver IterativeSystematicSolver being built...
0.78 => wckTime=0.471 cpuTime=0.35 mem=15M785
10.36
10.36 preprocessing
10.36 nbConstraintChecks=17365082 nbValidityChecks=8523 nbPropagations=475 nbRevisions=379 nbUselessRevisions=169
10.36 nbSingletonTests=207 nbEffectiveSingletonTests=5 nbESACBranches=10 nbRemovedValues=2770
10.36 detectedInconsistency=no
10.36 => wckTime=9.575 cpuTime=9.49 mem=15M785
20.94
20.94 search
20.94 run=0 nbConstraintChecks=14146314 nbValidityChecks=7538 nbPropagations=745 nbRevisions=678
20.94 nbUselessRevisions=239 nbAssignments=54 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=64
20.94 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
20.94 => wckTime=20.163 cpuTime=20.0 mem=15M785
48.33
48.33 search
48.33 run=1 nbConstraintChecks=53243279 nbValidityChecks=41378 nbPropagations=2713 nbRevisions=2873
48.33 nbUselessRevisions=1046 nbAssignments=374 nbFailedAssignments=85 nbBacktracks=28 nbVisitedNodes=265
48.33 nbRestartNogoods=9 mapSize=24 nbInferences=0 nbTooLargeKeys=0
48.33 => wckTime=47.546 cpuTime=47.22 mem=15M785
90.82
90.82 search
90.82 run=2 nbConstraintChecks=118023246 nbValidityChecks=73666 nbPropagations=5531 nbRevisions=6017
90.82 nbUselessRevisions=2049 nbAssignments=541 nbFailedAssignments=213 nbBacktracks=52 nbVisitedNodes=560
90.82 nbRestartNogoods=11 mapSize=39 nbInferences=0 nbTooLargeKeys=0
90.82 => wckTime=90.038 cpuTime=89.48 mem=15M785
138.54
138.54 search
138.54 run=3 nbConstraintChecks=192028064 nbValidityChecks=107939 nbPropagations=9312 nbRevisions=10323
138.54 nbUselessRevisions=3438 nbAssignments=800 nbFailedAssignments=339 nbBacktracks=85 nbVisitedNodes=852
138.54 nbRestartNogoods=16 mapSize=56 nbInferences=0 nbTooLargeKeys=0
138.54 => wckTime=137.762 cpuTime=136.98 mem=15M785
188.66
188.66 search
188.66 run=4 nbConstraintChecks=268950655 nbValidityChecks=142493 nbPropagations=14010 nbRevisions=15714
188.66 nbUselessRevisions=5144 nbAssignments=1027 nbFailedAssignments=466 nbBacktracks=136 nbVisitedNodes=1161
188.66 nbRestartNogoods=21 mapSize=80 nbInferences=0 nbTooLargeKeys=0
188.66 => wckTime=187.878 cpuTime=186.85 mem=16M760
214.01
214.01 search
214.01 run=5 nbConstraintChecks=304231111 nbValidityChecks=154577 nbPropagations=19024 nbRevisions=21536
214.01 nbUselessRevisions=7094 nbAssignments=1157 nbFailedAssignments=485 nbBacktracks=221 nbVisitedNodes=1292
214.01 nbRestartNogoods=24 mapSize=120 nbInferences=0 nbTooLargeKeys=0
214.01 => wckTime=213.226 cpuTime=212.07 mem=16M760
244.84
244.84 search
244.84 run=6 nbConstraintChecks=346339324 nbValidityChecks=166185 nbPropagations=24350 nbRevisions=27814
244.84 nbUselessRevisions=9335 nbAssignments=1308 nbFailedAssignments=507 nbBacktracks=341 nbVisitedNodes=1465
244.84 nbRestartNogoods=27 mapSize=165 nbInferences=0 nbTooLargeKeys=0
244.84 => wckTime=244.056 cpuTime=242.76 mem=16M760
290.84
290.84 search
290.84 run=7 nbConstraintChecks=409187786 nbValidityChecks=183815 nbPropagations=30109 nbRevisions=34729
290.84 nbUselessRevisions=11983 nbAssignments=1518 nbFailedAssignments=536 nbBacktracks=515 nbVisitedNodes=1704
290.84 nbRestartNogoods=31 mapSize=234 nbInferences=0 nbTooLargeKeys=0
290.84 => wckTime=290.056 cpuTime=288.54 mem=16M760
372.64
372.64 search
372.64 run=8 nbConstraintChecks=522658231 nbValidityChecks=223814 nbPropagations=36796 nbRevisions=42932
372.64 nbUselessRevisions=15249 nbAssignments=1874 nbFailedAssignments=621 nbBacktracks=778 nbVisitedNodes=2145
372.64 nbRestartNogoods=36 mapSize=338 nbInferences=0 nbTooLargeKeys=0
372.64 => wckTime=371.86 cpuTime=369.94 mem=16M760
482.67
482.67 search
482.67 run=9 nbConstraintChecks=673056722 nbValidityChecks=274107 nbPropagations=44634 nbRevisions=52853
482.67 nbUselessRevisions=19522 nbAssignments=2386 nbFailedAssignments=701 nbBacktracks=1172 nbVisitedNodes=2707
482.67 nbRestartNogoods=41 mapSize=497 nbInferences=0 nbTooLargeKeys=0
482.67 => wckTime=481.887 cpuTime=479.44 mem=16M760
659.77
659.77 search
659.77 run=10 nbConstraintChecks=922387692 nbValidityChecks=377937 nbPropagations=54946 nbRevisions=66219
659.77 nbUselessRevisions=25452 nbAssignments=3297 nbFailedAssignments=866 nbBacktracks=1750 nbVisitedNodes=3624
659.77 nbRestartNogoods=66 mapSize=729 nbInferences=0 nbTooLargeKeys=0
659.77 => wckTime=658.994 cpuTime=655.71 mem=17M735
1572.52
1572.52 search
1572.52 run=11 nbConstraintChecks=2386558202 nbValidityChecks=533252 nbPropagations=67617 nbRevisions=83097
1572.52 nbUselessRevisions=31674 nbAssignments=4420 nbFailedAssignments=1815 nbBacktracks=1824 nbVisitedNodes=5696
1572.52 nbRestartNogoods=69 mapSize=769 nbInferences=0 nbTooLargeKeys=0
1572.52 => wckTime=1571.742 cpuTime=1564.13 mem=17M735
1572.52
1572.52 global
1572.52 nbConstraintChecks=2403923284 nbValidityChecks=541775 nbPropagations=68092 nbRevisions=83476
1572.52 nbUselessRevisions=31843 nbRestartNogoods=69 solvingWckTime=1571.744 solvingCpuTime=1564.13 expiredTime=no
1572.52 totalExploration=no nbFoundSolutions=1 globalCpuTime=1564.53
1572.52 => wckTime=1572.217 cpuTime=1564.48 mem=17M735
1572.53
1572.53 s SATISFIABLE
1572.53 v 23 40 2 2 2 46 37 16 97 46 15 3 3 29 43 3 8 3 2 18 37 65 54 2 2 13 20 89 2 34 11 8 39 23 90 92 67 2 37 61 19 89 74 71 96 2 89 97 74 73 43 3 2 13 17 89 41 50 79 2 62 65 29 2 70 13 79 11 43 19 82 73 19 2 89 2 22 2 87 7 2 11 3 7 43 12 2 3 11 97 13 18 3 67 47 41 3 4 97 47
1572.53 d NODES 4420
1572.53 d CHECKS 2403923284
1572.53
1572.53 totalWckTime=1572.298 totalCpuTime=1564.53
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-248843-1168401700 -o ROOT/results/node13/solver-248843-1168401700 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/248843-1168401700/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.50 2.23 2.10 4/100 2887
/proc/meminfo: memFree=1719360/2055920 swapFree=4191880/4192956
[pid=2886] ppid=2884 vsize=47976 CPUtime=0
/proc/2886/stat : 2886 (java) D 2884 2886 1758 0 -1 0 1223 0 1 0 0 0 0 0 17 0 1 0 188564965 49127424 972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/2886/statm: 11994 972 769 14 0 1707 0
[startup+0.103407 s]
/proc/loadavg: 2.50 2.23 2.10 4/100 2887
/proc/meminfo: memFree=1719360/2055920 swapFree=4191880/4192956
[pid=2886] ppid=2884 vsize=914988 CPUtime=0.09
/proc/2886/stat : 2886 (java) R 2884 2886 1758 0 -1 0 3006 0 1 0 7 2 0 0 17 0 8 0 188564965 936947712 2752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154053006 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2886/statm: 228747 2752 1430 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511461 s]
/proc/loadavg: 2.50 2.23 2.10 4/100 2887
/proc/meminfo: memFree=1719360/2055920 swapFree=4191880/4192956
[pid=2886] ppid=2884 vsize=915460 CPUtime=0.49
/proc/2886/stat : 2886 (java) R 2884 2886 1758 0 -1 0 6708 0 1 0 44 5 0 0 18 0 8 0 188564965 937431040 6447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154167755 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2886/statm: 228865 6447 2165 14 0 215335 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915460
[startup+1.33456 s]
/proc/loadavg: 2.46 2.23 2.10 3/107 2894
/proc/meminfo: memFree=1695112/2055920 swapFree=4191880/4192956
[pid=2886] ppid=2884 vsize=915460 CPUtime=1.31
/proc/2886/stat : 2886 (java) R 2884 2886 1758 0 -1 0 8790 0 1 0 125 6 0 0 22 0 8 0 188564965 937431040 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073729127 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2886/statm: 228865 8528 2540 14 0 215335 0
[pid=2886/tid=2888] ppid=2884 vsize=915460 CPUtime=0.02
/proc/2886/task/2888/stat : 2888 (java) S 2884 2886 1758 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 188564969 937431040 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2889] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2889/stat : 2889 (java) S 2884 2886 1758 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188564969 937431040 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2890] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2890/stat : 2890 (java) S 2884 2886 1758 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188564969 937431040 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2891] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2891/stat : 2891 (java) S 2884 2886 1758 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188564972 937431040 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2892] ppid=2884 vsize=915460 CPUtime=0.14
/proc/2886/task/2892/stat : 2892 (java) S 2884 2886 1758 0 -1 64 341 0 0 0 14 0 0 0 16 0 8 0 188564972 937431040 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2893] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2893/stat : 2893 (java) S 2884 2886 1758 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188564972 937431040 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2894] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2894/stat : 2894 (java) S 2884 2886 1758 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188564972 937431040 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.98778 s]
/proc/loadavg: 2.46 2.23 2.10 3/107 2894
/proc/meminfo: memFree=1695048/2055920 swapFree=4191880/4192956
[pid=2886] ppid=2884 vsize=915460 CPUtime=2.95
/proc/2886/stat : 2886 (java) R 2884 2886 1758 0 -1 0 8797 0 1 0 289 6 0 0 25 0 8 0 188564965 937431040 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073606703 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2886/statm: 228865 8534 2540 14 0 215335 0
[pid=2886/tid=2888] ppid=2884 vsize=915460 CPUtime=0.02
/proc/2886/task/2888/stat : 2888 (java) S 2884 2886 1758 0 -1 64 199 0 0 0 2 0 0 0 17 0 8 0 188564969 937431040 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2889] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2889/stat : 2889 (java) S 2884 2886 1758 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188564969 937431040 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2890] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2890/stat : 2890 (java) S 2884 2886 1758 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188564969 937431040 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2891] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2891/stat : 2891 (java) S 2884 2886 1758 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188564972 937431040 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2892] ppid=2884 vsize=915460 CPUtime=0.16
/proc/2886/task/2892/stat : 2892 (java) S 2884 2886 1758 0 -1 64 348 0 0 0 15 1 0 0 16 0 8 0 188564972 937431040 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2893] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2893/stat : 2893 (java) S 2884 2886 1758 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188564972 937431040 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2894] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2894/stat : 2894 (java) S 2884 2886 1758 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188564972 937431040 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915460
[startup+6.27522 s]
/proc/loadavg: 2.46 2.23 2.10 3/107 2896
/proc/meminfo: memFree=1694984/2055920 swapFree=4191880/4192956
[pid=2886] ppid=2884 vsize=915460 CPUtime=6.22
/proc/2886/stat : 2886 (java) R 2884 2886 1758 0 -1 0 8814 0 1 0 616 6 0 0 25 0 8 0 188564965 937431040 8548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073729159 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2886/statm: 228865 8548 2542 14 0 215335 0
[pid=2886/tid=2888] ppid=2884 vsize=915460 CPUtime=0.02
/proc/2886/task/2888/stat : 2888 (java) S 2884 2886 1758 0 -1 64 199 0 0 0 2 0 0 0 17 0 8 0 188564969 937431040 8548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2889] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2889/stat : 2889 (java) S 2884 2886 1758 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188564969 937431040 8548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2890] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2890/stat : 2890 (java) S 2884 2886 1758 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188564969 937431040 8548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2891] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2891/stat : 2891 (java) S 2884 2886 1758 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188564972 937431040 8548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2892] ppid=2884 vsize=915460 CPUtime=0.17
/proc/2886/task/2892/stat : 2892 (java) S 2884 2886 1758 0 -1 64 352 0 0 0 16 1 0 0 16 0 8 0 188564972 937431040 8548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2893] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2893/stat : 2893 (java) S 2884 2886 1758 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188564972 937431040 8548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2894] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2894/stat : 2894 (java) S 2884 2886 1758 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188564972 937431040 8548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915460
[startup+12.7681 s]
/proc/loadavg: 2.39 2.22 2.10 3/107 2902
/proc/meminfo: memFree=1694536/2055920 swapFree=4191880/4192956
[pid=2886] ppid=2884 vsize=915460 CPUtime=12.68
/proc/2886/stat : 2886 (java) R 2884 2886 1758 0 -1 0 8916 0 1 0 1262 6 0 0 25 0 8 0 188564965 937431040 8647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2886/statm: 228865 8647 2543 14 0 215335 0
[pid=2886/tid=2888] ppid=2884 vsize=915460 CPUtime=0.02
/proc/2886/task/2888/stat : 2888 (java) S 2884 2886 1758 0 -1 64 199 0 0 0 2 0 0 0 17 0 8 0 188564969 937431040 8647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2889] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2889/stat : 2889 (java) S 2884 2886 1758 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188564969 937431040 8647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2890] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2890/stat : 2890 (java) S 2884 2886 1758 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188564969 937431040 8647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2891] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2891/stat : 2891 (java) S 2884 2886 1758 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188564972 937431040 8647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2892] ppid=2884 vsize=915460 CPUtime=0.18
/proc/2886/task/2892/stat : 2892 (java) S 2884 2886 1758 0 -1 64 358 0 0 0 17 1 0 0 16 0 8 0 188564972 937431040 8647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2893] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2893/stat : 2893 (java) S 2884 2886 1758 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188564972 937431040 8647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2894] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2894/stat : 2894 (java) S 2884 2886 1758 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188564972 937431040 8647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915460
[startup+25.6108 s]
/proc/loadavg: 2.33 2.21 2.09 3/107 2910
/proc/meminfo: memFree=1694536/2055920 swapFree=4191880/4192956
[pid=2886] ppid=2884 vsize=915460 CPUtime=25.45
/proc/2886/stat : 2886 (java) R 2884 2886 1758 0 -1 0 8929 0 1 0 2539 6 0 0 25 0 8 0 188564965 937431040 8657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073607968 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2886/statm: 228865 8657 2543 14 0 215335 0
[pid=2886/tid=2888] ppid=2884 vsize=915460 CPUtime=0.02
/proc/2886/task/2888/stat : 2888 (java) S 2884 2886 1758 0 -1 64 199 0 0 0 2 0 0 0 17 0 8 0 188564969 937431040 8657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2889] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2889/stat : 2889 (java) S 2884 2886 1758 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188564969 937431040 8657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2890] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2890/stat : 2890 (java) S 2884 2886 1758 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188564969 937431040 8657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2891] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2891/stat : 2891 (java) S 2884 2886 1758 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188564972 937431040 8657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2892] ppid=2884 vsize=915460 CPUtime=0.19
/proc/2886/task/2892/stat : 2892 (java) S 2884 2886 1758 0 -1 64 361 0 0 0 18 1 0 0 16 0 8 0 188564972 937431040 8657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2893] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2893/stat : 2893 (java) S 2884 2886 1758 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188564972 937431040 8657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2894] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2894/stat : 2894 (java) S 2884 2886 1758 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188564972 937431040 8657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915460
[startup+51.2332 s]
/proc/loadavg: 2.20 2.19 2.09 3/107 2934
/proc/meminfo: memFree=1694600/2055920 swapFree=4191880/4192956
[pid=2886] ppid=2884 vsize=915460 CPUtime=50.93
/proc/2886/stat : 2886 (java) R 2884 2886 1758 0 -1 0 8958 0 1 0 5087 6 0 0 25 0 8 0 188564965 937431040 8681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073612627 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2886/statm: 228865 8681 2543 14 0 215335 0
[pid=2886/tid=2888] ppid=2884 vsize=915460 CPUtime=0.02
/proc/2886/task/2888/stat : 2888 (java) S 2884 2886 1758 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 188564969 937431040 8681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2889] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2889/stat : 2889 (java) S 2884 2886 1758 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188564969 937431040 8681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2890] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2890/stat : 2890 (java) S 2884 2886 1758 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188564969 937431040 8681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2891] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2891/stat : 2891 (java) S 2884 2886 1758 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188564972 937431040 8681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2892] ppid=2884 vsize=915460 CPUtime=0.2
/proc/2886/task/2892/stat : 2892 (java) S 2884 2886 1758 0 -1 64 370 0 0 0 19 1 0 0 16 0 8 0 188564972 937431040 8681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2893] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2893/stat : 2893 (java) S 2884 2886 1758 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188564972 937431040 8681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2894] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2894/stat : 2894 (java) S 2884 2886 1758 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188564972 937431040 8681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 915460
[startup+102.442 s]
/proc/loadavg: 2.08 2.16 2.08 3/101 2956
/proc/meminfo: memFree=1695672/2055920 swapFree=4191880/4192956
[pid=2886] ppid=2884 vsize=915460 CPUtime=101.88
/proc/2886/stat : 2886 (java) R 2884 2886 1758 0 -1 0 8971 0 1 0 10181 7 0 0 25 0 8 0 188564965 937431040 8691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073611943 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2886/statm: 228865 8691 2543 14 0 215335 0
[pid=2886/tid=2888] ppid=2884 vsize=915460 CPUtime=0.02
/proc/2886/task/2888/stat : 2888 (java) S 2884 2886 1758 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 188564969 937431040 8691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2889] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2889/stat : 2889 (java) S 2884 2886 1758 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188564969 937431040 8691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2890] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2890/stat : 2890 (java) S 2884 2886 1758 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188564969 937431040 8691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2891] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2891/stat : 2891 (java) S 2884 2886 1758 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188564972 937431040 8691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2892] ppid=2884 vsize=915460 CPUtime=0.2
/proc/2886/task/2892/stat : 2892 (java) S 2884 2886 1758 0 -1 64 373 0 0 0 19 1 0 0 16 0 8 0 188564972 937431040 8691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2893] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2893/stat : 2893 (java) S 2884 2886 1758 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188564972 937431040 8691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2894] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2894/stat : 2894 (java) S 2884 2886 1758 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188564972 937431040 8691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 915460
[startup+162.494 s]
/proc/loadavg: 2.03 2.13 2.08 3/101 2956
/proc/meminfo: memFree=1695608/2055920 swapFree=4191880/4192956
[pid=2886] ppid=2884 vsize=915460 CPUtime=161.64
/proc/2886/stat : 2886 (java) R 2884 2886 1758 0 -1 0 8985 0 1 0 16157 7 0 0 25 0 8 0 188564965 937431040 8705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073729133 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/2886/task/2891/stat : 2891 (java) S 2884 2886 1758 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188564972 937431040 9083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2892] ppid=2884 vsize=915460 CPUtime=0.23
/proc/2886/task/2892/stat : 2892 (java) S 2884 2886 1758 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 188564972 937431040 9083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2893] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2893/stat : 2893 (java) S 2884 2886 1758 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188564972 937431040 9083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2894] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2894/stat : 2894 (java) S 2884 2886 1758 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188564972 937431040 9083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1117.91
Current children cumulated vsize (KiB) 915460
[startup+1183.37 s]
/proc/loadavg: 2.05 2.01 2.00 3/101 2958
/proc/meminfo: memFree=1693056/2055920 swapFree=4191880/4192956
[pid=2886] ppid=2884 vsize=915460 CPUtime=1177.69
/proc/2886/stat : 2886 (java) R 2884 2886 1758 0 -1 0 9381 0 1 0 117755 14 0 0 25 0 8 0 188564965 937431040 9083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609234 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2886/statm: 228865 9083 2543 14 0 215335 0
[pid=2886/tid=2888] ppid=2884 vsize=915460 CPUtime=0.02
/proc/2886/task/2888/stat : 2888 (java) S 2884 2886 1758 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 188564969 937431040 9083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2889] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2889/stat : 2889 (java) S 2884 2886 1758 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188564969 937431040 9083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2890] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2890/stat : 2890 (java) S 2884 2886 1758 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188564969 937431040 9083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2891] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2891/stat : 2891 (java) S 2884 2886 1758 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188564972 937431040 9083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2892] ppid=2884 vsize=915460 CPUtime=0.23
/proc/2886/task/2892/stat : 2892 (java) S 2884 2886 1758 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 188564972 937431040 9083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2893] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2893/stat : 2893 (java) S 2884 2886 1758 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188564972 937431040 9083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2894] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2894/stat : 2894 (java) S 2884 2886 1758 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188564972 937431040 9083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1177.69
Current children cumulated vsize (KiB) 915460
[startup+1243.42 s]
/proc/loadavg: 2.02 2.01 2.00 3/101 2958
/proc/meminfo: memFree=1693056/2055920 swapFree=4191880/4192956
[pid=2886] ppid=2884 vsize=915460 CPUtime=1237.45
/proc/2886/stat : 2886 (java) R 2884 2886 1758 0 -1 0 9382 0 1 0 123731 14 0 0 25 0 8 0 188564965 937431040 9084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073611943 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2886/statm: 228865 9084 2543 14 0 215335 0
[pid=2886/tid=2888] ppid=2884 vsize=915460 CPUtime=0.02
/proc/2886/task/2888/stat : 2888 (java) S 2884 2886 1758 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 188564969 937431040 9084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2889] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2889/stat : 2889 (java) S 2884 2886 1758 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188564969 937431040 9084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2890] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2890/stat : 2890 (java) S 2884 2886 1758 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188564969 937431040 9084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2891] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2891/stat : 2891 (java) S 2884 2886 1758 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188564972 937431040 9084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2892] ppid=2884 vsize=915460 CPUtime=0.23
/proc/2886/task/2892/stat : 2892 (java) S 2884 2886 1758 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 188564972 937431040 9084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2893] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2893/stat : 2893 (java) S 2884 2886 1758 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188564972 937431040 9084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2894] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2894/stat : 2894 (java) S 2884 2886 1758 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188564972 937431040 9084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1237.45
Current children cumulated vsize (KiB) 915460
[startup+1303.47 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 2958
/proc/meminfo: memFree=1693056/2055920 swapFree=4191880/4192956
[pid=2886] ppid=2884 vsize=915460 CPUtime=1297.22
/proc/2886/stat : 2886 (java) R 2884 2886 1758 0 -1 0 9383 0 1 0 129707 15 0 0 25 0 8 0 188564965 937431040 9085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073612627 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2886/statm: 228865 9085 2543 14 0 215335 0
[pid=2886/tid=2888] ppid=2884 vsize=915460 CPUtime=0.02
/proc/2886/task/2888/stat : 2888 (java) S 2884 2886 1758 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 188564969 937431040 9085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2889] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2889/stat : 2889 (java) S 2884 2886 1758 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188564969 937431040 9085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2890] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2890/stat : 2890 (java) S 2884 2886 1758 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188564969 937431040 9085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2891] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2891/stat : 2891 (java) S 2884 2886 1758 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188564972 937431040 9085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2892] ppid=2884 vsize=915460 CPUtime=0.24
/proc/2886/task/2892/stat : 2892 (java) S 2884 2886 1758 0 -1 64 395 0 0 0 23 1 0 0 17 0 8 0 188564972 937431040 9085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2893] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2893/stat : 2893 (java) S 2884 2886 1758 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188564972 937431040 9085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2894] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2894/stat : 2894 (java) S 2884 2886 1758 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188564972 937431040 9085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1297.22
Current children cumulated vsize (KiB) 915460
[startup+1363.53 s]
/proc/loadavg: 2.08 2.02 2.01 3/101 2958
/proc/meminfo: memFree=1693056/2055920 swapFree=4191880/4192956
[pid=2886] ppid=2884 vsize=915460 CPUtime=1356.99
/proc/2886/stat : 2886 (java) R 2884 2886 1758 0 -1 0 9383 0 1 0 135684 15 0 0 25 0 8 0 188564965 937431040 9085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073611943 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2886/statm: 228865 9085 2543 14 0 215335 0
[pid=2886/tid=2888] ppid=2884 vsize=915460 CPUtime=0.02
/proc/2886/task/2888/stat : 2888 (java) S 2884 2886 1758 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 188564969 937431040 9085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2889] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2889/stat : 2889 (java) S 2884 2886 1758 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188564969 937431040 9085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2890] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2890/stat : 2890 (java) S 2884 2886 1758 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188564969 937431040 9085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2891] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2891/stat : 2891 (java) S 2884 2886 1758 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188564972 937431040 9085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2892] ppid=2884 vsize=915460 CPUtime=0.24
/proc/2886/task/2892/stat : 2892 (java) S 2884 2886 1758 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 188564972 937431040 9085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2893] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2893/stat : 2893 (java) S 2884 2886 1758 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188564972 937431040 9085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2894] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2894/stat : 2894 (java) S 2884 2886 1758 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188564972 937431040 9085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1356.99
Current children cumulated vsize (KiB) 915460
[startup+1423.58 s]
/proc/loadavg: 2.03 2.01 2.00 3/101 2958
/proc/meminfo: memFree=1692992/2055920 swapFree=4191880/4192956
[pid=2886] ppid=2884 vsize=915460 CPUtime=1416.75
/proc/2886/stat : 2886 (java) R 2884 2886 1758 0 -1 0 9383 0 1 0 141660 15 0 0 25 0 8 0 188564965 937431040 9085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609120 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2886/statm: 228865 9085 2543 14 0 215335 0
[pid=2886/tid=2888] ppid=2884 vsize=915460 CPUtime=0.02
/proc/2886/task/2888/stat : 2888 (java) S 2884 2886 1758 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 188564969 937431040 9085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2889] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2889/stat : 2889 (java) S 2884 2886 1758 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188564969 937431040 9085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2890] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2890/stat : 2890 (java) S 2884 2886 1758 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188564969 937431040 9085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2891] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2891/stat : 2891 (java) S 2884 2886 1758 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188564972 937431040 9085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2892] ppid=2884 vsize=915460 CPUtime=0.24
/proc/2886/task/2892/stat : 2892 (java) S 2884 2886 1758 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 188564972 937431040 9085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2893] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2893/stat : 2893 (java) S 2884 2886 1758 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188564972 937431040 9085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2894] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2894/stat : 2894 (java) S 2884 2886 1758 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188564972 937431040 9085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1416.75
Current children cumulated vsize (KiB) 915460
[startup+1483.63 s]
/proc/loadavg: 2.01 2.00 2.00 3/101 2958
/proc/meminfo: memFree=1692928/2055920 swapFree=4191880/4192956
[pid=2886] ppid=2884 vsize=915460 CPUtime=1476.52
/proc/2886/stat : 2886 (java) R 2884 2886 1758 0 -1 0 9383 0 1 0 147637 15 0 0 25 0 8 0 188564965 937431040 9085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073611567 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2886/statm: 228865 9085 2543 14 0 215335 0
[pid=2886/tid=2888] ppid=2884 vsize=915460 CPUtime=0.02
/proc/2886/task/2888/stat : 2888 (java) S 2884 2886 1758 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 188564969 937431040 9085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2889] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2889/stat : 2889 (java) S 2884 2886 1758 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188564969 937431040 9085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2890] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2890/stat : 2890 (java) S 2884 2886 1758 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188564969 937431040 9085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2891] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2891/stat : 2891 (java) S 2884 2886 1758 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188564972 937431040 9085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2892] ppid=2884 vsize=915460 CPUtime=0.24
/proc/2886/task/2892/stat : 2892 (java) S 2884 2886 1758 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 188564972 937431040 9085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2893] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2893/stat : 2893 (java) S 2884 2886 1758 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188564972 937431040 9085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2894] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2894/stat : 2894 (java) S 2884 2886 1758 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188564972 937431040 9085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.52
Current children cumulated vsize (KiB) 915460
[startup+1543.68 s]
/proc/loadavg: 2.15 2.04 2.01 3/101 2958
/proc/meminfo: memFree=1692928/2055920 swapFree=4191880/4192956
[pid=2886] ppid=2884 vsize=915460 CPUtime=1536.29
/proc/2886/stat : 2886 (java) R 2884 2886 1758 0 -1 0 9384 0 1 0 153613 16 0 0 25 0 8 0 188564965 937431040 9086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073606739 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2886/statm: 228865 9086 2543 14 0 215335 0
[pid=2886/tid=2888] ppid=2884 vsize=915460 CPUtime=0.02
/proc/2886/task/2888/stat : 2888 (java) S 2884 2886 1758 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 188564969 937431040 9086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2889] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2889/stat : 2889 (java) S 2884 2886 1758 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188564969 937431040 9086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2890] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2890/stat : 2890 (java) S 2884 2886 1758 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188564969 937431040 9086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2891] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2891/stat : 2891 (java) S 2884 2886 1758 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188564972 937431040 9086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2892] ppid=2884 vsize=915460 CPUtime=0.24
/proc/2886/task/2892/stat : 2892 (java) S 2884 2886 1758 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 188564972 937431040 9086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2893] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2893/stat : 2893 (java) S 2884 2886 1758 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188564972 937431040 9086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2886/tid=2894] ppid=2884 vsize=915460 CPUtime=0
/proc/2886/task/2894/stat : 2894 (java) S 2884 2886 1758 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188564972 937431040 9086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.29
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 1572.57
CPU time (s): 1565.02
CPU user time (s): 1564.85
CPU system time (s): 0.168974
CPU usage (%): 99.5196
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1564.85
system time used= 0.168974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9512
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= 32850
involuntary context switches= 50652
runsolver used 1.71874 s user time and 5.2452 s system time
The end
Begin job on node13 on Wed Jan 10 04:01:40 UTC 2007
IDJOB= 248843
IDBENCH= 11738
FILE ID= node13/248843-1168401700
PBS_JOBID= 3523043
Free space on /tmp= 66558 MiB
BENCH NAME= HOME/pub/bench/CPAI06/primes/primes-25/primes-25-40-2-5.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/248843-1168401700/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-248843-1168401700 -o ROOT/results/node13/solver-248843-1168401700 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/248843-1168401700/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9910e0df0b8b98696d0584f3af35e4ff
RANDOM SEED= 886150977
TIME LIMIT= 1800 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.247
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.247
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: 1719840 kB
Buffers: 34372 kB
Cached: 144060 kB
SwapCached: 408 kB
Active: 198992 kB
Inactive: 73792 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1719840 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 5492 kB
Writeback: 0 kB
Mapped: 121136 kB
Slab: 47368 kB
Committed_AS: 6433876 kB
PageTables: 2828 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= 66558 MiB
End job on node13 on Wed Jan 10 04:27:52 UTC 2007