0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=esac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/206423-1168172849/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.41 variables being loaded...
0.44 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.44 => wckTime=0.093 cpuTime=0.09 mem=6M951
0.44
0.44 relations being loaded...
1.48
1.48 constraints being loaded...
2.15 nbConstraints=93 nbRelationTypes=93 nbExtensionStructures=93 nbSharedExtensionStructures=0
2.15 nbConflictsStructures=93 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
2.15 => wckTime=1.804 cpuTime=1.47 mem=59M124
2.30
2.30 solver IterativeSystematicSolver being built...
2.46 => wckTime=2.113 cpuTime=1.6 mem=66M149
2.60
2.60 preprocessing
2.60 nbConstraintChecks=51203 nbValidityChecks=85261 nbPropagations=274 nbRevisions=2965 nbUselessRevisions=2623
2.60 nbSingletonTests=40 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
2.60 => wckTime=0.135 cpuTime=0.11 mem=66M149
2.68
2.68 search
2.68 run=0 nbConstraintChecks=39452 nbValidityChecks=75019 nbPropagations=629 nbRevisions=7485
2.68 nbUselessRevisions=6303 nbAssignments=35 nbFailedAssignments=16 nbBacktracks=10 nbVisitedNodes=60
2.68 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
2.68 => wckTime=0.215 cpuTime=0.18 mem=67M157
2.77
2.77 search
2.77 run=1 nbConstraintChecks=92463 nbValidityChecks=186316 nbPropagations=1709 nbRevisions=20722
2.77 nbUselessRevisions=17320 nbAssignments=79 nbFailedAssignments=23 nbBacktracks=25 nbVisitedNodes=105
2.77 nbRestartNogoods=4 mapSize=20 nbInferences=0 nbTooLargeKeys=0
2.77 => wckTime=0.309 cpuTime=0.27 mem=67M157
2.98
2.98 search
2.98 run=2 nbConstraintChecks=211082 nbValidityChecks=428893 nbPropagations=3884 nbRevisions=48496
2.98 nbUselessRevisions=39847 nbAssignments=171 nbFailedAssignments=84 nbBacktracks=48 nbVisitedNodes=277
2.98 nbRestartNogoods=8 mapSize=42 nbInferences=0 nbTooLargeKeys=0
2.98 => wckTime=0.52 cpuTime=0.46 mem=67M157
3.23
3.23 search
3.23 run=3 nbConstraintChecks=363534 nbValidityChecks=742422 nbPropagations=7548 nbRevisions=96362
3.23 nbUselessRevisions=78556 nbAssignments=294 nbFailedAssignments=166 nbBacktracks=81 nbVisitedNodes=509
3.23 nbRestartNogoods=12 mapSize=74 nbInferences=0 nbTooLargeKeys=0
3.23 => wckTime=0.766 cpuTime=0.71 mem=67M157
3.48
3.48 search
3.48 run=4 nbConstraintChecks=515635 nbValidityChecks=1103726 nbPropagations=12893 nbRevisions=164843
3.48 nbUselessRevisions=134176 nbAssignments=476 nbFailedAssignments=223 nbBacktracks=133 nbVisitedNodes=713
3.48 nbRestartNogoods=22 mapSize=115 nbInferences=0 nbTooLargeKeys=0
3.48 => wckTime=1.017 cpuTime=0.96 mem=67M157
3.72
3.72 search
3.72 run=5 nbConstraintChecks=667230 nbValidityChecks=1423089 nbPropagations=19987 nbRevisions=254488
3.72 nbUselessRevisions=206719 nbAssignments=628 nbFailedAssignments=291 nbBacktracks=208 nbVisitedNodes=970
3.72 nbRestartNogoods=27 mapSize=170 nbInferences=0 nbTooLargeKeys=0
3.72 => wckTime=1.26 cpuTime=1.19 mem=67M157
4.33
4.33 search
4.33 run=6 nbConstraintChecks=1057534 nbValidityChecks=2187668 nbPropagations=30906 nbRevisions=394104
4.33 nbUselessRevisions=318498 nbAssignments=944 nbFailedAssignments=488 nbBacktracks=321 nbVisitedNodes=1556
4.33 nbRestartNogoods=29 mapSize=268 nbInferences=0 nbTooLargeKeys=0
4.33 => wckTime=1.874 cpuTime=1.8 mem=67M157
4.93
4.93 search
4.93 run=7 nbConstraintChecks=1444619 nbValidityChecks=2974042 nbPropagations=46031 nbRevisions=584665
4.93 nbUselessRevisions=470833 nbAssignments=1301 nbFailedAssignments=667 nbBacktracks=491 nbVisitedNodes=2186
4.93 nbRestartNogoods=33 mapSize=406 nbInferences=0 nbTooLargeKeys=0
4.93 => wckTime=2.468 cpuTime=2.39 mem=67M157
6.33
6.33 search
6.33 run=8 nbConstraintChecks=2340349 nbValidityChecks=4725663 nbPropagations=69858 nbRevisions=884416
6.33 nbUselessRevisions=709531 nbAssignments=1904 nbFailedAssignments=990 nbBacktracks=747 nbVisitedNodes=3279
6.33 nbRestartNogoods=38 mapSize=637 nbInferences=0 nbTooLargeKeys=0
6.33 => wckTime=3.874 cpuTime=3.78 mem=67M157
7.79
7.79 search
7.79 run=9 nbConstraintChecks=3297595 nbValidityChecks=6740392 nbPropagations=104468 nbRevisions=1315867
7.79 nbUselessRevisions=1052267 nbAssignments=2790 nbFailedAssignments=1484 nbBacktracks=1131 nbVisitedNodes=4896
7.79 nbRestartNogoods=51 mapSize=962 nbInferences=0 nbTooLargeKeys=0
7.79 => wckTime=5.331 cpuTime=5.23 mem=67M157
8.06
8.06 INFO : Stopping hyperNogood (mapSize=1018, nbTooLargekeys=0, mem=67M157)
9.66
9.66 search
9.66 run=10 nbConstraintChecks=4517670 nbValidityChecks=9239844 nbPropagations=153745 nbRevisions=1924915
9.66 nbUselessRevisions=1535636 nbAssignments=3943 nbFailedAssignments=2043 nbBacktracks=1708 nbVisitedNodes=6917
9.66 nbRestartNogoods=62
9.66 => wckTime=7.199 cpuTime=7.09 mem=67M157
12.47
12.47 search
12.47 run=11 nbConstraintChecks=6321593 nbValidityChecks=13079116 nbPropagations=222913 nbRevisions=2775887
12.47 nbUselessRevisions=2212525 nbAssignments=5607 nbFailedAssignments=2835 nbBacktracks=2573 nbVisitedNodes=9829
12.47 nbRestartNogoods=64
12.47 => wckTime=10.012 cpuTime=9.89 mem=67M157
18.24
18.24 search
18.24 run=12 nbConstraintChecks=10124536 nbValidityChecks=20421588 nbPropagations=329479 nbRevisions=4091940
18.24 nbUselessRevisions=3256622 nbAssignments=8299 nbFailedAssignments=4210 nbBacktracks=3871 nbVisitedNodes=14701
18.24 nbRestartNogoods=76
18.24 => wckTime=15.784 cpuTime=15.66 mem=67M157
25.68
25.68 search
25.68 run=13 nbConstraintChecks=15102062 nbValidityChecks=30812149 nbPropagations=491752 nbRevisions=6083766
25.68 nbUselessRevisions=4831821 nbAssignments=12880 nbFailedAssignments=6836 nbBacktracks=5817 nbVisitedNodes=23109
25.68 nbRestartNogoods=91
25.68 => wckTime=23.218 cpuTime=23.1 mem=67M157
36.97
36.97 search
36.97 run=14 nbConstraintChecks=22402942 nbValidityChecks=46134969 nbPropagations=749466 nbRevisions=9240100
36.97 nbUselessRevisions=7328147 nbAssignments=19861 nbFailedAssignments=10855 nbBacktracks=8736 nbVisitedNodes=35976
36.97 nbRestartNogoods=108
36.97 => wckTime=34.506 cpuTime=34.36 mem=67M157
53.44
53.44 search
53.44 run=15 nbConstraintChecks=33464985 nbValidityChecks=68678605 nbPropagations=1124142 nbRevisions=13829991
53.44 nbUselessRevisions=10958797 nbAssignments=29216 nbFailedAssignments=15823 nbBacktracks=13114
53.44 nbVisitedNodes=52900 nbRestartNogoods=117
53.44 => wckTime=50.98 cpuTime=50.83 mem=67M157
78.83
78.83 search
78.83 run=16 nbConstraintChecks=50010403 nbValidityChecks=103359145 nbPropagations=1712018 nbRevisions=21008129
78.83 nbUselessRevisions=16642884 nbAssignments=45014 nbFailedAssignments=25042 nbBacktracks=19683
78.83 nbVisitedNodes=82298 nbRestartNogoods=128
78.83 => wckTime=76.373 cpuTime=76.2 mem=67M157
114.56
114.56 search
114.56 run=17 nbConstraintChecks=73867829 nbValidityChecks=152209156 nbPropagations=2560137 nbRevisions=31387173
114.56 nbUselessRevisions=24870435 nbAssignments=66194 nbFailedAssignments=36259 nbBacktracks=29535
114.56 nbVisitedNodes=120389 nbRestartNogoods=146
114.56 => wckTime=112.101 cpuTime=111.89 mem=67M157
173.74
173.74 search
173.74 run=18 nbConstraintChecks=112386451 nbValidityChecks=233123086 nbPropagations=3900071 nbRevisions=47769646
173.74 nbUselessRevisions=37860560 nbAssignments=102109 nbFailedAssignments=57387 nbBacktracks=44313
173.74 nbVisitedNodes=187595 nbRestartNogoods=158
173.74 => wckTime=171.281 cpuTime=171.01 mem=67M157
252.59
252.59 search
252.59 run=19 nbConstraintChecks=164568146 nbValidityChecks=340124773 nbPropagations=5815832 nbRevisions=71178727
252.59 nbUselessRevisions=56436164 nbAssignments=146681 nbFailedAssignments=79780 nbBacktracks=66484
252.59 nbVisitedNodes=267614 nbRestartNogoods=171
252.59 => wckTime=250.125 cpuTime=249.79 mem=67M157
445.40
445.40 search
445.40 run=20 nbConstraintChecks=290304291 nbValidityChecks=600726432 nbPropagations=8920804 nbRevisions=109995244
445.40 nbUselessRevisions=87267319 nbAssignments=235198 nbFailedAssignments=135039 nbBacktracks=99736
445.40 nbVisitedNodes=433413 nbRestartNogoods=183
445.40 => wckTime=442.942 cpuTime=442.42 mem=67M157
682.21
682.21 search
682.21 run=21 nbConstraintChecks=446649105 nbValidityChecks=917055141 nbPropagations=13605551 nbRevisions=169499054
682.21 nbUselessRevisions=134616099 nbAssignments=358539 nbFailedAssignments=208494 nbBacktracks=149614
682.21 nbVisitedNodes=662257 nbRestartNogoods=200
682.21 => wckTime=679.747 cpuTime=679.0 mem=67M157
1015.12
1015.12 search
1015.12 run=22 nbConstraintChecks=663722089 nbValidityChecks=1348405881 nbPropagations=20650064 nbRevisions=258167206
1015.12 nbUselessRevisions=205092204 nbAssignments=521274 nbFailedAssignments=296387 nbBacktracks=224433
1015.12 nbVisitedNodes=959873 nbRestartNogoods=214
1015.12 => wckTime=1012.661 cpuTime=1011.57 mem=67M157
1511.68
1511.68 search
1511.68 run=23 nbConstraintChecks=970792671 nbValidityChecks=1968699213 nbPropagations=31245475 nbRevisions=390059370
1511.68 nbUselessRevisions=309703174 nbAssignments=770137 nbFailedAssignments=433014 nbBacktracks=336660
1511.68 nbVisitedNodes=1416223 nbRestartNogoods=229
1511.68 => wckTime=1509.219 cpuTime=1505.45 mem=67M157
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node48/watcher-206423-1168172849 -o ROOT/results/node48/solver-206423-1168172849 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206423-1168172849/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.11 2.04 1.93 4/73 32534
/proc/meminfo: memFree=1727992/2055920 swapFree=4192812/4192956
[pid=32533] ppid=32531 vsize=172 CPUtime=0
/proc/32533/stat : 32533 (java) R 32531 32533 31735 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 165683609 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 3531556 0 0 4096 0 0 0 0 17 0 0 0
/proc/32533/statm: 43 24 18 14 0 3 0
[startup+0.107497 s]
/proc/loadavg: 2.11 2.04 1.93 4/73 32534
/proc/meminfo: memFree=1727992/2055920 swapFree=4192812/4192956
[pid=32533] ppid=32531 vsize=907808 CPUtime=0.05
/proc/32533/stat : 32533 (java) D 32531 32533 31735 0 -1 0 2460 0 1 0 4 1 0 0 21 0 4 0 165683609 929595392 2207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 0 0 0
/proc/32533/statm: 226952 2207 1215 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.515533 s]
/proc/loadavg: 2.11 2.04 1.93 4/73 32534
/proc/meminfo: memFree=1727992/2055920 swapFree=4192812/4192956
[pid=32533] ppid=32531 vsize=915328 CPUtime=0.44
/proc/32533/stat : 32533 (java) R 32531 32533 31735 0 -1 0 7311 0 1 0 40 4 0 0 23 0 8 0 165683609 937295872 7050 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073563230 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32533/statm: 228832 7051 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915328
[startup+1.33661 s]
/proc/loadavg: 2.11 2.04 1.93 3/80 32541
/proc/meminfo: memFree=1660928/2055920 swapFree=4192812/4192956
[pid=32533] ppid=32531 vsize=915328 CPUtime=1.26
/proc/32533/stat : 32533 (java) R 32531 32533 31735 0 -1 0 19099 0 1 0 118 8 0 0 25 0 8 0 165683609 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565422 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32533/statm: 228832 18837 2149 14 0 215302 0
[pid=32533/tid=32535] ppid=32531 vsize=915328 CPUtime=0.05
/proc/32533/task/32535/stat : 32535 (java) S 32531 32533 31735 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 165683612 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32536] ppid=32531 vsize=915328 CPUtime=0
/proc/32533/task/32536/stat : 32536 (java) S 32531 32533 31735 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165683613 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32537] ppid=32531 vsize=915328 CPUtime=0
/proc/32533/task/32537/stat : 32537 (java) S 32531 32533 31735 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165683613 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32538] ppid=32531 vsize=915328 CPUtime=0
/proc/32533/task/32538/stat : 32538 (java) S 32531 32533 31735 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165683621 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32539] ppid=32531 vsize=915328 CPUtime=0.07
/proc/32533/task/32539/stat : 32539 (java) S 32531 32533 31735 0 -1 64 308 0 0 0 7 0 0 0 16 0 8 0 165683621 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32540] ppid=32531 vsize=915328 CPUtime=0
/proc/32533/task/32540/stat : 32540 (java) S 32531 32533 31735 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 165683621 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32541] ppid=32531 vsize=915328 CPUtime=0
/proc/32533/task/32541/stat : 32541 (java) S 32531 32533 31735 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165683621 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915328
[startup+2.98276 s]
/proc/loadavg: 2.18 2.05 1.94 4/80 32541
/proc/meminfo: memFree=1620096/2055920 swapFree=4192812/4192956
[pid=32533] ppid=32531 vsize=915424 CPUtime=2.9
/proc/32533/stat : 32533 (java) R 32531 32533 31735 0 -1 0 32696 0 1 0 275 15 0 0 25 0 8 0 165683609 937394176 32431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32533/statm: 228856 32431 2531 14 0 215326 0
[pid=32533/tid=32535] ppid=32531 vsize=915424 CPUtime=0.4
/proc/32533/task/32535/stat : 32535 (java) S 32531 32533 31735 0 -1 64 15712 0 0 0 35 5 0 0 17 0 8 0 165683612 937394176 32431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32536] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32536/stat : 32536 (java) S 32531 32533 31735 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165683613 937394176 32431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32537] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32537/stat : 32537 (java) S 32531 32533 31735 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165683613 937394176 32431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32538] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32538/stat : 32538 (java) S 32531 32533 31735 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165683621 937394176 32431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32539] ppid=32531 vsize=915424 CPUtime=0.18
/proc/32533/task/32539/stat : 32539 (java) S 32531 32533 31735 0 -1 64 369 0 0 0 17 1 0 0 15 0 8 0 165683621 937394176 32431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32540] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32540/stat : 32540 (java) S 32531 32533 31735 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 165683621 937394176 32431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32541] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32541/stat : 32541 (java) S 32531 32533 31735 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165683621 937394176 32431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915424
[startup+6.28306 s]
/proc/loadavg: 2.18 2.05 1.94 3/80 32541
/proc/meminfo: memFree=1607680/2055920 swapFree=4192812/4192956
[pid=32533] ppid=32531 vsize=915424 CPUtime=6.2
/proc/32533/stat : 32533 (java) R 32531 32533 31735 0 -1 0 32712 0 1 0 604 16 0 0 25 0 8 0 165683609 937394176 32444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32533/statm: 228856 32444 2531 14 0 215326 0
[pid=32533/tid=32535] ppid=32531 vsize=915424 CPUtime=0.4
/proc/32533/task/32535/stat : 32535 (java) S 32531 32533 31735 0 -1 64 15712 0 0 0 35 5 0 0 17 0 8 0 165683612 937394176 32444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32536] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32536/stat : 32536 (java) S 32531 32533 31735 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165683613 937394176 32444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32537] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32537/stat : 32537 (java) S 32531 32533 31735 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165683613 937394176 32444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32538] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32538/stat : 32538 (java) S 32531 32533 31735 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165683621 937394176 32444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32539] ppid=32531 vsize=915424 CPUtime=0.21
/proc/32533/task/32539/stat : 32539 (java) S 32531 32533 31735 0 -1 64 385 0 0 0 20 1 0 0 16 0 8 0 165683621 937394176 32444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32540] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32540/stat : 32540 (java) S 32531 32533 31735 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 165683621 937394176 32444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32541] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32541/stat : 32541 (java) S 32531 32533 31735 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165683621 937394176 32444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915424
[startup+12.7577 s]
/proc/loadavg: 2.16 2.05 1.94 3/80 32541
/proc/meminfo: memFree=1607680/2055920 swapFree=4192812/4192956
[pid=32533] ppid=32531 vsize=915424 CPUtime=12.67
/proc/32533/stat : 32533 (java) R 32531 32533 31735 0 -1 0 32721 0 1 0 1251 16 0 0 25 0 8 0 165683609 937394176 32450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073764709 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32533/statm: 228856 32450 2531 14 0 215326 0
[pid=32533/tid=32535] ppid=32531 vsize=915424 CPUtime=0.4
/proc/32533/task/32535/stat : 32535 (java) S 32531 32533 31735 0 -1 64 15712 0 0 0 35 5 0 0 16 0 8 0 165683612 937394176 32450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32536] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32536/stat : 32536 (java) S 32531 32533 31735 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165683613 937394176 32450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32537] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32537/stat : 32537 (java) S 32531 32533 31735 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165683613 937394176 32450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32538] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32538/stat : 32538 (java) S 32531 32533 31735 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165683621 937394176 32450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32539] ppid=32531 vsize=915424 CPUtime=0.22
/proc/32533/task/32539/stat : 32539 (java) S 32531 32533 31735 0 -1 64 392 0 0 0 21 1 0 0 15 0 8 0 165683621 937394176 32450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32540] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32540/stat : 32540 (java) S 32531 32533 31735 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 165683621 937394176 32450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32541] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32541/stat : 32541 (java) S 32531 32533 31735 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165683621 937394176 32450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915424
[startup+25.6088 s]
/proc/loadavg: 2.13 2.05 1.94 3/80 32541
/proc/meminfo: memFree=1607808/2055920 swapFree=4192812/4192956
[pid=32533] ppid=32531 vsize=915424 CPUtime=25.51
/proc/32533/stat : 32533 (java) R 32531 32533 31735 0 -1 0 32721 0 1 0 2535 16 0 0 25 0 8 0 165683609 937394176 32450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32533/statm: 228856 32450 2531 14 0 215326 0
[pid=32533/tid=32535] ppid=32531 vsize=915424 CPUtime=0.4
/proc/32533/task/32535/stat : 32535 (java) S 32531 32533 31735 0 -1 64 15712 0 0 0 35 5 0 0 16 0 8 0 165683612 937394176 32450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32536] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32536/stat : 32536 (java) S 32531 32533 31735 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165683613 937394176 32450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32537] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32537/stat : 32537 (java) S 32531 32533 31735 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165683613 937394176 32450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32538] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32538/stat : 32538 (java) S 32531 32533 31735 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165683621 937394176 32450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32539] ppid=32531 vsize=915424 CPUtime=0.22
/proc/32533/task/32539/stat : 32539 (java) S 32531 32533 31735 0 -1 64 392 0 0 0 21 1 0 0 15 0 8 0 165683621 937394176 32450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32540] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32540/stat : 32540 (java) S 32531 32533 31735 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 165683621 937394176 32450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32541] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32541/stat : 32541 (java) S 32531 32533 31735 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165683621 937394176 32450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 915424
[startup+51.2122 s]
/proc/loadavg: 2.08 2.04 1.94 3/80 32541
/proc/meminfo: memFree=1607872/2055920 swapFree=4192812/4192956
[pid=32533] ppid=32531 vsize=915424 CPUtime=51.09
/proc/32533/stat : 32533 (java) R 32531 32533 31735 0 -1 0 32721 0 1 0 5093 16 0 0 25 0 8 0 165683609 937394176 32450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629940 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32533/statm: 228856 32450 2531 14 0 215326 0
[pid=32533/tid=32535] ppid=32531 vsize=915424 CPUtime=0.4
/proc/32533/task/32535/stat : 32535 (java) S 32531 32533 31735 0 -1 64 15712 0 0 0 35 5 0 0 16 0 8 0 165683612 937394176 32450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32536] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32536/stat : 32536 (java) S 32531 32533 31735 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165683613 937394176 32450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32537] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32537/stat : 32537 (java) S 32531 32533 31735 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165683613 937394176 32450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32538] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32538/stat : 32538 (java) S 32531 32533 31735 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165683621 937394176 32450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32539] ppid=32531 vsize=915424 CPUtime=0.22
/proc/32533/task/32539/stat : 32539 (java) S 32531 32533 31735 0 -1 64 392 0 0 0 21 1 0 0 15 0 8 0 165683621 937394176 32450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32540] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32540/stat : 32540 (java) S 32531 32533 31735 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 165683621 937394176 32450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32541] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32541/stat : 32541 (java) S 32531 32533 31735 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165683621 937394176 32450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 915424
[startup+102.413 s]
/proc/loadavg: 2.04 2.03 1.94 3/80 32541
/proc/meminfo: memFree=1608000/2055920 swapFree=4192812/4192956
[pid=32533] ppid=32531 vsize=915424 CPUtime=102.24
/proc/32533/stat : 32533 (java) R 32531 32533 31735 0 -1 0 32721 0 1 0 10208 16 0 0 25 0 8 0 165683609 937394176 32450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32533/statm: 228856 32450 2531 14 0 215326 0
[pid=32533/tid=32535] ppid=32531 vsize=915424 CPUtime=0.4
/proc/32533/task/32535/stat : 32535 (java) S 32531 32533 31735 0 -1 64 15712 0 0 0 35 5 0 0 16 0 8 0 165683612 937394176 32450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32536] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32536/stat : 32536 (java) S 32531 32533 31735 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165683613 937394176 32450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32537] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32537/stat : 32537 (java) S 32531 32533 31735 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165683613 937394176 32450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32538] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32538/stat : 32538 (java) S 32531 32533 31735 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165683621 937394176 32450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32539] ppid=32531 vsize=915424 CPUtime=0.22
/proc/32533/task/32539/stat : 32539 (java) S 32531 32533 31735 0 -1 64 392 0 0 0 21 1 0 0 15 0 8 0 165683621 937394176 32450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32540] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32540/stat : 32540 (java) S 32531 32533 31735 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 165683621 937394176 32450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32541] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32541/stat : 32541 (java) S 32531 32533 31735 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165683621 937394176 32450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 915424
[startup+162.45 s]
/proc/loadavg: 2.01 2.03 1.94 3/80 32541
/proc/meminfo: memFree=1608000/2055920 swapFree=4192812/4192956
[pid=32533] ppid=32531 vsize=915424 CPUtime=162.22
/proc/32533/stat : 32533 (java) R 32531 32533 31735 0 -1 0 32721 0 1 0 16206 16 0 0 25 0 8 0 165683609 937394176 32450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073764675 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1419.89
Current children cumulated vsize (KiB) 915424
[startup+1483.17 s]
/proc/loadavg: 2.06 2.03 1.99 3/89 32616
/proc/meminfo: memFree=1066360/2055920 swapFree=4192812/4192956
[pid=32533] ppid=32531 vsize=915424 CPUtime=1479.57
/proc/32533/stat : 32533 (java) R 32531 32533 31735 0 -1 0 32725 0 1 0 147934 23 0 0 25 0 8 0 165683609 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629966 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32533/statm: 228856 32453 2531 14 0 215326 0
[pid=32533/tid=32535] ppid=32531 vsize=915424 CPUtime=0.4
/proc/32533/task/32535/stat : 32535 (java) S 32531 32533 31735 0 -1 64 15712 0 0 0 35 5 0 0 16 0 8 0 165683612 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32536] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32536/stat : 32536 (java) S 32531 32533 31735 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165683613 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32537] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32537/stat : 32537 (java) S 32531 32533 31735 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165683613 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32538] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32538/stat : 32538 (java) S 32531 32533 31735 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165683621 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32539] ppid=32531 vsize=915424 CPUtime=0.22
/proc/32533/task/32539/stat : 32539 (java) S 32531 32533 31735 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 165683621 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32540] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32540/stat : 32540 (java) S 32531 32533 31735 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 165683621 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32541] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32541/stat : 32541 (java) S 32531 32533 31735 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165683621 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1479.57
Current children cumulated vsize (KiB) 915424
[startup+1543.19 s]
/proc/loadavg: 2.02 2.02 1.99 3/89 32616
/proc/meminfo: memFree=1066360/2055920 swapFree=4192812/4192956
[pid=32533] ppid=32531 vsize=915424 CPUtime=1539.27
/proc/32533/stat : 32533 (java) R 32531 32533 31735 0 -1 0 32725 0 1 0 153904 23 0 0 25 0 8 0 165683609 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761076 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32533/statm: 228856 32453 2531 14 0 215326 0
[pid=32533/tid=32535] ppid=32531 vsize=915424 CPUtime=0.4
/proc/32533/task/32535/stat : 32535 (java) S 32531 32533 31735 0 -1 64 15712 0 0 0 35 5 0 0 16 0 8 0 165683612 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32536] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32536/stat : 32536 (java) S 32531 32533 31735 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165683613 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32537] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32537/stat : 32537 (java) S 32531 32533 31735 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165683613 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32538] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32538/stat : 32538 (java) S 32531 32533 31735 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165683621 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32539] ppid=32531 vsize=915424 CPUtime=0.22
/proc/32533/task/32539/stat : 32539 (java) S 32531 32533 31735 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 165683621 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32540] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32540/stat : 32540 (java) S 32531 32533 31735 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 165683621 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32541] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32541/stat : 32541 (java) S 32531 32533 31735 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165683621 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1539.27
Current children cumulated vsize (KiB) 915424
[startup+1603.21 s]
/proc/loadavg: 2.00 2.01 1.99 3/89 32616
/proc/meminfo: memFree=1066296/2055920 swapFree=4192812/4192956
[pid=32533] ppid=32531 vsize=915424 CPUtime=1598.98
/proc/32533/stat : 32533 (java) R 32531 32533 31735 0 -1 0 32725 0 1 0 159874 24 0 0 25 0 8 0 165683609 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073770864 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32533/statm: 228856 32453 2531 14 0 215326 0
[pid=32533/tid=32535] ppid=32531 vsize=915424 CPUtime=0.4
/proc/32533/task/32535/stat : 32535 (java) S 32531 32533 31735 0 -1 64 15712 0 0 0 35 5 0 0 16 0 8 0 165683612 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32536] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32536/stat : 32536 (java) S 32531 32533 31735 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165683613 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32537] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32537/stat : 32537 (java) S 32531 32533 31735 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165683613 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32538] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32538/stat : 32538 (java) S 32531 32533 31735 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165683621 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32539] ppid=32531 vsize=915424 CPUtime=0.22
/proc/32533/task/32539/stat : 32539 (java) S 32531 32533 31735 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 165683621 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32540] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32540/stat : 32540 (java) S 32531 32533 31735 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 165683621 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32541] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32541/stat : 32541 (java) S 32531 32533 31735 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165683621 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1598.98
Current children cumulated vsize (KiB) 915424
[startup+1663.22 s]
/proc/loadavg: 2.00 2.01 1.99 3/89 32616
/proc/meminfo: memFree=1066296/2055920 swapFree=4192812/4192956
[pid=32533] ppid=32531 vsize=915424 CPUtime=1658.66
/proc/32533/stat : 32533 (java) R 32531 32533 31735 0 -1 0 32725 0 1 0 165842 24 0 0 25 0 8 0 165683609 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073779255 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32533/statm: 228856 32453 2531 14 0 215326 0
[pid=32533/tid=32535] ppid=32531 vsize=915424 CPUtime=0.4
/proc/32533/task/32535/stat : 32535 (java) S 32531 32533 31735 0 -1 64 15712 0 0 0 35 5 0 0 16 0 8 0 165683612 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32536] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32536/stat : 32536 (java) S 32531 32533 31735 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165683613 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32537] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32537/stat : 32537 (java) S 32531 32533 31735 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165683613 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32538] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32538/stat : 32538 (java) S 32531 32533 31735 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165683621 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32539] ppid=32531 vsize=915424 CPUtime=0.22
/proc/32533/task/32539/stat : 32539 (java) S 32531 32533 31735 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 165683621 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32540] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32540/stat : 32540 (java) S 32531 32533 31735 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 165683621 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32541] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32541/stat : 32541 (java) S 32531 32533 31735 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165683621 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1658.66
Current children cumulated vsize (KiB) 915424
[startup+1723.23 s]
/proc/loadavg: 2.00 2.00 1.99 3/89 32616
/proc/meminfo: memFree=1066296/2055920 swapFree=4192812/4192956
[pid=32533] ppid=32531 vsize=915424 CPUtime=1718.34
/proc/32533/stat : 32533 (java) R 32531 32533 31735 0 -1 0 32725 0 1 0 171810 24 0 0 25 0 8 0 165683609 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073768856 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32533/statm: 228856 32453 2531 14 0 215326 0
[pid=32533/tid=32535] ppid=32531 vsize=915424 CPUtime=0.4
/proc/32533/task/32535/stat : 32535 (java) S 32531 32533 31735 0 -1 64 15712 0 0 0 35 5 0 0 16 0 8 0 165683612 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32536] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32536/stat : 32536 (java) S 32531 32533 31735 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165683613 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32537] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32537/stat : 32537 (java) S 32531 32533 31735 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165683613 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32538] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32538/stat : 32538 (java) S 32531 32533 31735 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165683621 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32539] ppid=32531 vsize=915424 CPUtime=0.22
/proc/32533/task/32539/stat : 32539 (java) S 32531 32533 31735 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 165683621 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32540] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32540/stat : 32540 (java) S 32531 32533 31735 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 165683621 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32541] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32541/stat : 32541 (java) S 32531 32533 31735 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165683621 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1718.34
Current children cumulated vsize (KiB) 915424
[startup+1783.25 s]
/proc/loadavg: 2.00 2.00 1.99 3/89 32616
/proc/meminfo: memFree=1066232/2055920 swapFree=4192812/4192956
[pid=32533] ppid=32531 vsize=915424 CPUtime=1778.06
/proc/32533/stat : 32533 (java) R 32531 32533 31735 0 -1 0 32725 0 1 0 177781 25 0 0 25 0 8 0 165683609 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629890 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32533/statm: 228856 32453 2531 14 0 215326 0
[pid=32533/tid=32535] ppid=32531 vsize=915424 CPUtime=0.4
/proc/32533/task/32535/stat : 32535 (java) S 32531 32533 31735 0 -1 64 15712 0 0 0 35 5 0 0 16 0 8 0 165683612 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32536] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32536/stat : 32536 (java) S 32531 32533 31735 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165683613 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32537] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32537/stat : 32537 (java) S 32531 32533 31735 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165683613 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32538] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32538/stat : 32538 (java) S 32531 32533 31735 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165683621 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32539] ppid=32531 vsize=915424 CPUtime=0.22
/proc/32533/task/32539/stat : 32539 (java) S 32531 32533 31735 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 165683621 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32540] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32540/stat : 32540 (java) S 32531 32533 31735 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 165683621 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32541] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32541/stat : 32541 (java) S 32531 32533 31735 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165683621 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1778.06
Current children cumulated vsize (KiB) 915424
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.38 s]
/proc/loadavg: 2.00 2.00 1.99 3/89 32616
/proc/meminfo: memFree=1066232/2055920 swapFree=4192812/4192956
[pid=32533] ppid=32531 vsize=915424 CPUtime=1800.06
/proc/32533/stat : 32533 (java) R 32531 32533 31735 0 -1 0 32725 0 1 0 179981 25 0 0 25 0 8 0 165683609 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785199 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32533/statm: 228856 32453 2531 14 0 215326 0
[pid=32533/tid=32535] ppid=32531 vsize=915424 CPUtime=0.4
/proc/32533/task/32535/stat : 32535 (java) S 32531 32533 31735 0 -1 64 15712 0 0 0 35 5 0 0 16 0 8 0 165683612 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32536] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32536/stat : 32536 (java) S 32531 32533 31735 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165683613 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32537] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32537/stat : 32537 (java) S 32531 32533 31735 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165683613 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32538] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32538/stat : 32538 (java) S 32531 32533 31735 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165683621 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32539] ppid=32531 vsize=915424 CPUtime=0.22
/proc/32533/task/32539/stat : 32539 (java) S 32531 32533 31735 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 165683621 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32540] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32540/stat : 32540 (java) S 32531 32533 31735 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 165683621 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32533/tid=32541] ppid=32531 vsize=915424 CPUtime=0
/proc/32533/task/32541/stat : 32541 (java) S 32531 32533 31735 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165683621 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915424
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1805.46
CPU time (s): 1800.13
CPU user time (s): 1799.86
CPU system time (s): 0.269958
CPU usage (%): 99.7051
Max. virtual memory (cumulated for all children) (KiB): 915424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
system time used= 0.269958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32742
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= 37704
involuntary context switches= 50454
runsolver used 2.25766 s user time and 5.02024 s system time
The end
Begin job on node48 on Sun Jan 7 12:27:29 UTC 2007
IDJOB= 206423
IDBENCH= 4207
FILE ID= node48/206423-1168172849
PBS_JOBID= 3479061
Free space on /tmp= 66549 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-33_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206423-1168172849/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-206423-1168172849 -o ROOT/results/node48/solver-206423-1168172849 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206423-1168172849/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 13258892a2d67abb7fc0c486aa658227
RANDOM SEED= 274699444
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.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: 1728472 kB
Buffers: 48112 kB
Cached: 183836 kB
SwapCached: 0 kB
Active: 133760 kB
Inactive: 135752 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1728472 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7480 kB
Writeback: 0 kB
Mapped: 51176 kB
Slab: 43444 kB
Committed_AS: 3622220 kB
PageTables: 1732 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= 66548 MiB
End job on node48 on Sun Jan 7 12:57:35 UTC 2007