0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/203106-1168072842/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.41 => wckTime=0.099 cpuTime=0.08 mem=6M951
0.41
0.41 relations being loaded...
1.56
1.56 constraints being loaded...
2.32 nbConstraints=90 nbRelationTypes=93 nbMergedConstraints=3 nbExtensionStructures=90
2.32 nbSharedExtensionStructures=0 nbConflictsStructures=90 nbSharedConflictsStructures=0
2.32 nbSharedBinaryRepresentations=0 maxDegree=16 maxArity=3
2.32 => wckTime=2.009 cpuTime=1.59 mem=55M865
2.48
2.48 solver IterativeSystematicSolver being built...
2.65 => wckTime=2.331 cpuTime=1.73 mem=64M783
2.65
2.65 preprocessing
2.65 nbConstraintChecks=0 nbPropagations=28 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.65 detectedInconsistency=no
2.65 => wckTime=0.0040 cpuTime=0.0 mem=64M783
2.83
2.83 search
2.83 run=0 nbConstraintChecks=64188 nbValidityChecks=107294 nbPropagations=446 nbRevisions=5399
2.83 nbUselessRevisions=4353 nbAssignments=31 nbFailedAssignments=14 nbBacktracks=11 nbVisitedNodes=56
2.83 nbRestartNogoods=0 mapSize=11 nbInferences=0 nbTooLargeKeys=0
2.83 => wckTime=0.176 cpuTime=0.14 mem=64M783
3.00
3.00 search
3.00 run=1 nbConstraintChecks=156106 nbValidityChecks=276920 nbPropagations=1568 nbRevisions=19915
3.00 nbUselessRevisions=16041 nbAssignments=85 nbFailedAssignments=47 nbBacktracks=26 nbVisitedNodes=155
3.00 nbRestartNogoods=6 mapSize=26 nbInferences=0 nbTooLargeKeys=0
3.00 => wckTime=0.346 cpuTime=0.3 mem=64M783
3.15
3.15 search
3.15 run=2 nbConstraintChecks=248228 nbValidityChecks=442462 nbPropagations=3399 nbRevisions=43229
3.15 nbUselessRevisions=34887 nbAssignments=146 nbFailedAssignments=81 nbBacktracks=48 nbVisitedNodes=262
3.15 nbRestartNogoods=10 mapSize=47 nbInferences=0 nbTooLargeKeys=0
3.15 => wckTime=0.504 cpuTime=0.45 mem=64M783
3.40
3.40 search
3.40 run=3 nbConstraintChecks=394403 nbValidityChecks=717649 nbPropagations=6192 nbRevisions=79957
3.40 nbUselessRevisions=64448 nbAssignments=233 nbFailedAssignments=131 nbBacktracks=81 nbVisitedNodes=423
3.40 nbRestartNogoods=13 mapSize=77 nbInferences=0 nbTooLargeKeys=0
3.40 => wckTime=0.755 cpuTime=0.68 mem=64M783
3.66
3.66 search
3.66 run=4 nbConstraintChecks=554669 nbValidityChecks=1010281 nbPropagations=10264 nbRevisions=132321
3.66 nbUselessRevisions=106629 nbAssignments=335 nbFailedAssignments=177 nbBacktracks=132 nbVisitedNodes=599
3.66 nbRestartNogoods=14 mapSize=118 nbInferences=0 nbTooLargeKeys=0
3.66 => wckTime=1.011 cpuTime=0.94 mem=64M783
4.07
4.07 search
4.07 run=5 nbConstraintChecks=807066 nbValidityChecks=1502579 nbPropagations=16668 nbRevisions=213209
4.07 nbUselessRevisions=171737 nbAssignments=510 nbFailedAssignments=272 nbBacktracks=208 nbVisitedNodes=922
4.07 nbRestartNogoods=19 mapSize=183 nbInferences=0 nbTooLargeKeys=0
4.07 => wckTime=1.421 cpuTime=1.34 mem=64M783
4.98
4.98 search
4.98 run=6 nbConstraintChecks=1390627 nbValidityChecks=2544738 nbPropagations=26408 nbRevisions=340117
4.98 nbUselessRevisions=273852 nbAssignments=823 nbFailedAssignments=466 nbBacktracks=321 nbVisitedNodes=1503
4.98 nbRestartNogoods=23 mapSize=277 nbInferences=0 nbTooLargeKeys=0
4.98 => wckTime=2.334 cpuTime=2.24 mem=64M783
5.87
5.87 search
5.87 run=7 nbConstraintChecks=1962508 nbValidityChecks=3617570 nbPropagations=40962 nbRevisions=525562
5.87 nbUselessRevisions=423099 nbAssignments=1200 nbFailedAssignments=667 nbBacktracks=491 nbVisitedNodes=2183
5.87 nbRestartNogoods=33 mapSize=423 nbInferences=0 nbTooLargeKeys=0
5.87 => wckTime=3.219 cpuTime=3.11 mem=64M783
7.98
7.98 search
7.98 run=8 nbConstraintChecks=3239248 nbValidityChecks=6051745 nbPropagations=65077 nbRevisions=838056
7.98 nbUselessRevisions=674391 nbAssignments=1915 nbFailedAssignments=1120 nbBacktracks=747 nbVisitedNodes=3561
7.98 nbRestartNogoods=39 mapSize=668 nbInferences=0 nbTooLargeKeys=0
7.98 => wckTime=5.327 cpuTime=5.18 mem=64M783
10.74
10.74 search
10.74 run=9 nbConstraintChecks=4969961 nbValidityChecks=9290223 nbPropagations=102304 nbRevisions=1314348
10.74 nbUselessRevisions=1055756 nbAssignments=2959 nbFailedAssignments=1774 nbBacktracks=1132 nbVisitedNodes=5499
10.74 nbRestartNogoods=51 mapSize=1002 nbInferences=0 nbTooLargeKeys=0
10.74 => wckTime=8.092 cpuTime=7.91 mem=65M774
10.85
10.85 INFO : Stopping hyperNogood (mapSize=1016, nbTooLargekeys=0, mem=65M774)
13.81
13.81 search
13.81 run=10 nbConstraintChecks=6909693 nbValidityChecks=13073859 nbPropagations=156333 nbRevisions=1996901
13.81 nbUselessRevisions=1602836 nbAssignments=4265 nbFailedAssignments=2498 nbBacktracks=1708 nbVisitedNodes=7870
13.81 nbRestartNogoods=55
13.82 => wckTime=11.166 cpuTime=10.95 mem=65M774
20.02
20.02 search
20.02 run=11 nbConstraintChecks=10879606 nbValidityChecks=20396541 nbPropagations=239212 nbRevisions=3034970
20.02 nbUselessRevisions=2431016 nbAssignments=6458 nbFailedAssignments=3822 nbBacktracks=2572 nbVisitedNodes=11963
20.02 nbRestartNogoods=66
20.02 => wckTime=17.368 cpuTime=17.1 mem=65M774
27.15
27.15 search
27.15 run=12 nbConstraintChecks=15461970 nbValidityChecks=29393498 nbPropagations=360924 nbRevisions=4546013
27.15 nbUselessRevisions=3636734 nbAssignments=9407 nbFailedAssignments=5467 nbBacktracks=3870 nbVisitedNodes=17380
27.15 nbRestartNogoods=78
27.15 => wckTime=24.503 cpuTime=24.16 mem=65M774
42.98
42.98 search
42.98 run=13 nbConstraintChecks=25480149 nbValidityChecks=47500176 nbPropagations=542930 nbRevisions=6855816
42.98 nbUselessRevisions=5482511 nbAssignments=13826 nbFailedAssignments=7935 nbBacktracks=5816 nbVisitedNodes=25572
42.98 nbRestartNogoods=90
42.98 => wckTime=40.335 cpuTime=39.86 mem=65M774
57.79
57.79 search
57.79 run=14 nbConstraintChecks=34885644 nbValidityChecks=65739010 nbPropagations=810369 nbRevisions=10207337
57.79 nbUselessRevisions=8161537 nbAssignments=20237 nbFailedAssignments=11422 nbBacktracks=8735 nbVisitedNodes=37341
57.79 nbRestartNogoods=98
57.79 => wckTime=55.137 cpuTime=54.52 mem=65M774
79.34
79.34 search
79.34 run=15 nbConstraintChecks=48820539 nbValidityChecks=92883851 nbPropagations=1196227 nbRevisions=14987463
79.34 nbUselessRevisions=11978398 nbAssignments=30566 nbFailedAssignments=17365 nbBacktracks=13117
79.34 nbVisitedNodes=56276 nbRestartNogoods=106
79.34 => wckTime=76.693 cpuTime=75.88 mem=65M774
116.73
116.73 search
116.73 run=16 nbConstraintChecks=73171903 nbValidityChecks=138014016 nbPropagations=1771408 nbRevisions=22100380
116.73 nbUselessRevisions=17659262 nbAssignments=45226 nbFailedAssignments=25451 nbBacktracks=19685
116.73 nbVisitedNodes=83219 nbRestartNogoods=119
116.73 => wckTime=114.079 cpuTime=112.92 mem=65M774
192.81
192.81 search
192.81 run=17 nbConstraintChecks=121201573 nbValidityChecks=225260444 nbPropagations=2660042 nbRevisions=33591614
192.81 nbUselessRevisions=26857349 nbAssignments=69174 nbFailedAssignments=39541 nbBacktracks=29537
192.81 nbVisitedNodes=128210 nbRestartNogoods=131
192.81 => wckTime=190.16 cpuTime=188.32 mem=65M774
272.98
272.98 search
272.98 run=18 nbConstraintChecks=173667177 nbValidityChecks=323717713 nbPropagations=3971146 nbRevisions=50316562
272.98 nbUselessRevisions=40264584 nbAssignments=101068 nbFailedAssignments=56652 nbBacktracks=44316
272.98 nbVisitedNodes=186424 nbRestartNogoods=148
272.98 => wckTime=270.331 cpuTime=267.75 mem=65M774
391.58
391.58 search
391.58 run=19 nbConstraintChecks=247552486 nbValidityChecks=469866153 nbPropagations=5908470 nbRevisions=75142822
391.58 nbUselessRevisions=60228954 nbAssignments=152106 nbFailedAssignments=85516 nbBacktracks=66484
391.58 nbVisitedNodes=280758 nbRestartNogoods=172
391.58 => wckTime=388.935 cpuTime=385.28 mem=65M774
635.98
635.98 search
635.98 run=20 nbConstraintChecks=401000739 nbValidityChecks=755853180 nbPropagations=8956992 nbRevisions=113394151
635.98 nbUselessRevisions=90757392 nbAssignments=235259 nbFailedAssignments=135412 nbBacktracks=99736
635.98 nbVisitedNodes=435417 nbRestartNogoods=197
635.98 => wckTime=633.331 cpuTime=627.46 mem=65M774
1057.62
1057.62 search
1057.62 run=21 nbConstraintChecks=674766259 nbValidityChecks=1285001841 nbPropagations=13871200 nbRevisions=176211588
1057.62 nbUselessRevisions=140886726 nbAssignments=387640 nbFailedAssignments=237909 nbBacktracks=149615
1057.62 nbVisitedNodes=726534 nbRestartNogoods=228
1057.62 => wckTime=1054.969 cpuTime=1045.26 mem=65M774
1432.55
1432.55 search
1432.55 run=22 nbConstraintChecks=918915034 nbValidityChecks=1754749237 nbPropagations=20856598 nbRevisions=265104934
1432.55 nbUselessRevisions=212012922 nbAssignments=555562 nbFailedAssignments=331007 nbBacktracks=224434
1432.55 nbVisitedNodes=1034293 nbRestartNogoods=245
1432.55 => wckTime=1429.897 cpuTime=1417.25 mem=65M774
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node72/watcher-203106-1168072842 -o ROOT/results/node72/solver-203106-1168072842 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203106-1168072842/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: 1.91 1.84 1.44 4/93 32238
/proc/meminfo: memFree=1283184/2055920 swapFree=4192812/4192956
[pid=32237] ppid=32235 vsize=18540 CPUtime=0
/proc/32237/stat : 32237 (runsolver) R 32235 32237 31814 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155693017 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 234517753127 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/32237/statm: 4635 279 244 17 0 2626 0
[startup+0.107886 s]
/proc/loadavg: 1.91 1.84 1.44 4/93 32238
/proc/meminfo: memFree=1283184/2055920 swapFree=4192812/4192956
[pid=32237] ppid=32235 vsize=914988 CPUtime=0.09
/proc/32237/stat : 32237 (java) S 32235 32237 31814 0 -1 0 2997 0 1 0 7 2 0 0 17 0 8 0 155693017 936947712 2743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32237/statm: 228747 2743 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.519926 s]
/proc/loadavg: 1.91 1.84 1.44 4/93 32238
/proc/meminfo: memFree=1283184/2055920 swapFree=4192812/4192956
[pid=32237] ppid=32235 vsize=915328 CPUtime=0.5
/proc/32237/stat : 32237 (java) R 32235 32237 31814 0 -1 0 7756 0 1 0 45 5 0 0 18 0 8 0 155693017 937295872 7495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073563246 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32237/statm: 228832 7495 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.345 s]
/proc/loadavg: 1.91 1.84 1.44 3/100 32245
/proc/meminfo: memFree=1216056/2055920 swapFree=4192812/4192956
[pid=32237] ppid=32235 vsize=915328 CPUtime=1.31
/proc/32237/stat : 32237 (java) R 32235 32237 31814 0 -1 0 19099 0 1 0 120 11 0 0 25 0 8 0 155693017 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565569 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32237/statm: 228832 18837 2149 14 0 215302 0
[pid=32237/tid=32239] ppid=32235 vsize=915328 CPUtime=0.05
/proc/32237/task/32239/stat : 32239 (java) S 32235 32237 31814 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 155693022 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32240] ppid=32235 vsize=915328 CPUtime=0
/proc/32237/task/32240/stat : 32240 (java) S 32235 32237 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155693022 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32241] ppid=32235 vsize=915328 CPUtime=0
/proc/32237/task/32241/stat : 32241 (java) S 32235 32237 31814 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155693022 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32242] ppid=32235 vsize=915328 CPUtime=0
/proc/32237/task/32242/stat : 32242 (java) S 32235 32237 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155693025 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32243] ppid=32235 vsize=915328 CPUtime=0.08
/proc/32237/task/32243/stat : 32243 (java) S 32235 32237 31814 0 -1 64 308 0 0 0 8 0 0 0 16 0 8 0 155693025 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32244] ppid=32235 vsize=915328 CPUtime=0
/proc/32237/task/32244/stat : 32244 (java) S 32235 32237 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155693025 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32245] ppid=32235 vsize=915328 CPUtime=0
/proc/32237/task/32245/stat : 32245 (java) S 32235 32237 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155693025 937295872 18837 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) 915328
[startup+2.98215 s]
/proc/loadavg: 1.91 1.84 1.44 3/100 32245
/proc/meminfo: memFree=1175288/2055920 swapFree=4192812/4192956
[pid=32237] ppid=32235 vsize=915440 CPUtime=2.93
/proc/32237/stat : 32237 (java) R 32235 32237 31814 0 -1 0 32298 0 1 0 275 18 0 0 25 0 8 0 155693017 937410560 32032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32237/statm: 228860 32032 2521 14 0 215330 0
[pid=32237/tid=32239] ppid=32235 vsize=915440 CPUtime=0.43
/proc/32237/task/32239/stat : 32239 (java) S 32235 32237 31814 0 -1 64 15324 0 0 0 37 6 0 0 16 0 8 0 155693022 937410560 32032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32240] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32240/stat : 32240 (java) S 32235 32237 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155693022 937410560 32032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32241] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32241/stat : 32241 (java) S 32235 32237 31814 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155693022 937410560 32032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32242] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32242/stat : 32242 (java) S 32235 32237 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155693025 937410560 32032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32243] ppid=32235 vsize=915440 CPUtime=0.21
/proc/32237/task/32243/stat : 32243 (java) S 32235 32237 31814 0 -1 64 374 0 0 0 20 1 0 0 15 0 8 0 155693025 937410560 32032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32244] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32244/stat : 32244 (java) S 32235 32237 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155693025 937410560 32032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32245] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32245/stat : 32245 (java) S 32235 32237 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155693025 937410560 32032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915440
[startup+6.27045 s]
/proc/loadavg: 1.92 1.84 1.45 3/100 32245
/proc/meminfo: memFree=1164600/2055920 swapFree=4192812/4192956
[pid=32237] ppid=32235 vsize=915440 CPUtime=6.19
/proc/32237/stat : 32237 (java) R 32235 32237 31814 0 -1 0 32312 0 1 0 600 19 0 0 25 0 8 0 155693017 937410560 32043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808407 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32237/statm: 228860 32043 2521 14 0 215330 0
[pid=32237/tid=32239] ppid=32235 vsize=915440 CPUtime=0.43
/proc/32237/task/32239/stat : 32239 (java) S 32235 32237 31814 0 -1 64 15324 0 0 0 37 6 0 0 17 0 8 0 155693022 937410560 32043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32240] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32240/stat : 32240 (java) S 32235 32237 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155693022 937410560 32043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32241] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32241/stat : 32241 (java) S 32235 32237 31814 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155693022 937410560 32043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32242] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32242/stat : 32242 (java) S 32235 32237 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155693025 937410560 32043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32243] ppid=32235 vsize=915440 CPUtime=0.24
/proc/32237/task/32243/stat : 32243 (java) S 32235 32237 31814 0 -1 64 386 0 0 0 23 1 0 0 15 0 8 0 155693025 937410560 32043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32244] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32244/stat : 32244 (java) S 32235 32237 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155693025 937410560 32043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32245] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32245/stat : 32245 (java) S 32235 32237 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155693025 937410560 32043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915440
[startup+12.759 s]
/proc/loadavg: 1.92 1.84 1.45 3/100 32245
/proc/meminfo: memFree=1164600/2055920 swapFree=4192812/4192956
[pid=32237] ppid=32235 vsize=915440 CPUtime=12.61
/proc/32237/stat : 32237 (java) R 32235 32237 31814 0 -1 0 32330 0 1 0 1242 19 0 0 25 0 8 0 155693017 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629997 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32237/statm: 228860 32057 2521 14 0 215330 0
[pid=32237/tid=32239] ppid=32235 vsize=915440 CPUtime=0.43
/proc/32237/task/32239/stat : 32239 (java) S 32235 32237 31814 0 -1 64 15324 0 0 0 37 6 0 0 16 0 8 0 155693022 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32240] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32240/stat : 32240 (java) S 32235 32237 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155693022 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32241] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32241/stat : 32241 (java) S 32235 32237 31814 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155693022 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32242] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32242/stat : 32242 (java) S 32235 32237 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32243] ppid=32235 vsize=915440 CPUtime=0.27
/proc/32237/task/32243/stat : 32243 (java) S 32235 32237 31814 0 -1 64 401 0 0 0 26 1 0 0 16 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32244] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32244/stat : 32244 (java) S 32235 32237 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32245] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32245/stat : 32245 (java) S 32235 32237 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915440
[startup+25.6362 s]
/proc/loadavg: 1.94 1.85 1.46 3/100 32245
/proc/meminfo: memFree=1164728/2055920 swapFree=4192812/4192956
[pid=32237] ppid=32235 vsize=915440 CPUtime=25.38
/proc/32237/stat : 32237 (java) R 32235 32237 31814 0 -1 0 32330 0 1 0 2519 19 0 0 25 0 8 0 155693017 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073659977 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32237/statm: 228860 32057 2521 14 0 215330 0
[pid=32237/tid=32239] ppid=32235 vsize=915440 CPUtime=0.43
/proc/32237/task/32239/stat : 32239 (java) S 32235 32237 31814 0 -1 64 15324 0 0 0 37 6 0 0 16 0 8 0 155693022 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32240] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32240/stat : 32240 (java) S 32235 32237 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155693022 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32241] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32241/stat : 32241 (java) S 32235 32237 31814 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155693022 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32242] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32242/stat : 32242 (java) S 32235 32237 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32243] ppid=32235 vsize=915440 CPUtime=0.27
/proc/32237/task/32243/stat : 32243 (java) S 32235 32237 31814 0 -1 64 401 0 0 0 26 1 0 0 16 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32244] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32244/stat : 32244 (java) S 32235 32237 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32245] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32245/stat : 32245 (java) S 32235 32237 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915440
[startup+51.2755 s]
/proc/loadavg: 1.96 1.86 1.47 3/100 32245
/proc/meminfo: memFree=1164792/2055920 swapFree=4192812/4192956
[pid=32237] ppid=32235 vsize=915440 CPUtime=50.78
/proc/32237/stat : 32237 (java) R 32235 32237 31814 0 -1 0 32330 0 1 0 5059 19 0 0 25 0 8 0 155693017 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809755 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32237/statm: 228860 32057 2521 14 0 215330 0
[pid=32237/tid=32239] ppid=32235 vsize=915440 CPUtime=0.43
/proc/32237/task/32239/stat : 32239 (java) S 32235 32237 31814 0 -1 64 15324 0 0 0 37 6 0 0 16 0 8 0 155693022 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32240] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32240/stat : 32240 (java) S 32235 32237 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155693022 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32241] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32241/stat : 32241 (java) S 32235 32237 31814 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155693022 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32242] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32242/stat : 32242 (java) S 32235 32237 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32243] ppid=32235 vsize=915440 CPUtime=0.27
/proc/32237/task/32243/stat : 32243 (java) S 32235 32237 31814 0 -1 64 401 0 0 0 26 1 0 0 16 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32244] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32244/stat : 32244 (java) S 32235 32237 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32245] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32245/stat : 32245 (java) S 32235 32237 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 915440
[startup+102.538 s]
/proc/loadavg: 2.06 1.89 1.50 3/100 32245
/proc/meminfo: memFree=1164792/2055920 swapFree=4192812/4192956
[pid=32237] ppid=32235 vsize=915440 CPUtime=101.58
/proc/32237/stat : 32237 (java) R 32235 32237 31814 0 -1 0 32331 0 1 0 10138 20 0 0 25 0 8 0 155693017 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808433 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32237/statm: 228860 32057 2521 14 0 215330 0
[pid=32237/tid=32239] ppid=32235 vsize=915440 CPUtime=0.43
/proc/32237/task/32239/stat : 32239 (java) S 32235 32237 31814 0 -1 64 15324 0 0 0 37 6 0 0 16 0 8 0 155693022 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32240] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32240/stat : 32240 (java) S 32235 32237 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155693022 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32241] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32241/stat : 32241 (java) S 32235 32237 31814 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155693022 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32242] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32242/stat : 32242 (java) S 32235 32237 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32243] ppid=32235 vsize=915440 CPUtime=0.27
/proc/32237/task/32243/stat : 32243 (java) S 32235 32237 31814 0 -1 64 401 0 0 0 26 1 0 0 16 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32244] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32244/stat : 32244 (java) S 32235 32237 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32245] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32245/stat : 32245 (java) S 32235 32237 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.58
Current children cumulated vsize (KiB) 915440
[startup+162.546 s]
/proc/loadavg: 2.02 1.91 1.53 3/100 32245
/proc/meminfo: memFree=1164792/2055920 swapFree=4192812/4192956
[pid=32237] ppid=32235 vsize=915440 CPUtime=161.04
/proc/32237/stat : 32237 (java) R 32235 32237 31814 0 -1 0 32331 0 1 0 16084 20 0 0 25 0 8 0 155693017 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629916 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1410.27
Current children cumulated vsize (KiB) 915440
[startup+1482.88 s]
/proc/loadavg: 1.16 1.69 1.75 2/85 32631
/proc/meminfo: memFree=1346352/2055920 swapFree=4192812/4192956
[pid=32237] ppid=32235 vsize=915440 CPUtime=1470.27
/proc/32237/stat : 32237 (java) R 32235 32237 31814 0 -1 0 32331 0 1 0 146993 34 0 0 25 0 8 0 155693017 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823009 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32237/statm: 228860 32057 2521 14 0 215330 0
[pid=32237/tid=32239] ppid=32235 vsize=915440 CPUtime=0.43
/proc/32237/task/32239/stat : 32239 (java) S 32235 32237 31814 0 -1 64 15324 0 0 0 37 6 0 0 16 0 8 0 155693022 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32240] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32240/stat : 32240 (java) S 32235 32237 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155693022 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32241] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32241/stat : 32241 (java) S 32235 32237 31814 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155693022 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32242] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32242/stat : 32242 (java) S 32235 32237 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32243] ppid=32235 vsize=915440 CPUtime=0.27
/proc/32237/task/32243/stat : 32243 (java) S 32235 32237 31814 0 -1 64 401 0 0 0 26 1 0 0 16 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32244] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32244/stat : 32244 (java) S 32235 32237 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32245] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32245/stat : 32245 (java) S 32235 32237 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1470.27
Current children cumulated vsize (KiB) 915440
[startup+1542.9 s]
/proc/loadavg: 1.06 1.56 1.70 2/85 32631
/proc/meminfo: memFree=1346480/2055920 swapFree=4192812/4192956
[pid=32237] ppid=32235 vsize=915440 CPUtime=1530.27
/proc/32237/stat : 32237 (java) R 32235 32237 31814 0 -1 0 32331 0 1 0 152993 34 0 0 25 0 8 0 155693017 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802448 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32237/statm: 228860 32057 2521 14 0 215330 0
[pid=32237/tid=32239] ppid=32235 vsize=915440 CPUtime=0.43
/proc/32237/task/32239/stat : 32239 (java) S 32235 32237 31814 0 -1 64 15324 0 0 0 37 6 0 0 16 0 8 0 155693022 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32240] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32240/stat : 32240 (java) S 32235 32237 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155693022 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32241] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32241/stat : 32241 (java) S 32235 32237 31814 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155693022 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32242] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32242/stat : 32242 (java) S 32235 32237 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32243] ppid=32235 vsize=915440 CPUtime=0.27
/proc/32237/task/32243/stat : 32243 (java) S 32235 32237 31814 0 -1 64 401 0 0 0 26 1 0 0 16 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32244] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32244/stat : 32244 (java) S 32235 32237 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32245] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32245/stat : 32245 (java) S 32235 32237 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1530.27
Current children cumulated vsize (KiB) 915440
[startup+1602.91 s]
/proc/loadavg: 1.02 1.45 1.65 2/85 32631
/proc/meminfo: memFree=1346480/2055920 swapFree=4192812/4192956
[pid=32237] ppid=32235 vsize=915440 CPUtime=1590.27
/proc/32237/stat : 32237 (java) R 32235 32237 31814 0 -1 0 32331 0 1 0 158993 34 0 0 25 0 8 0 155693017 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812008 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32237/statm: 228860 32057 2521 14 0 215330 0
[pid=32237/tid=32239] ppid=32235 vsize=915440 CPUtime=0.43
/proc/32237/task/32239/stat : 32239 (java) S 32235 32237 31814 0 -1 64 15324 0 0 0 37 6 0 0 16 0 8 0 155693022 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32240] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32240/stat : 32240 (java) S 32235 32237 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155693022 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32241] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32241/stat : 32241 (java) S 32235 32237 31814 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155693022 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32242] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32242/stat : 32242 (java) S 32235 32237 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32243] ppid=32235 vsize=915440 CPUtime=0.27
/proc/32237/task/32243/stat : 32243 (java) S 32235 32237 31814 0 -1 64 401 0 0 0 26 1 0 0 16 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32244] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32244/stat : 32244 (java) S 32235 32237 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32245] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32245/stat : 32245 (java) S 32235 32237 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1590.27
Current children cumulated vsize (KiB) 915440
[startup+1662.94 s]
/proc/loadavg: 1.00 1.37 1.61 2/85 32631
/proc/meminfo: memFree=1346544/2055920 swapFree=4192812/4192956
[pid=32237] ppid=32235 vsize=915440 CPUtime=1650.28
/proc/32237/stat : 32237 (java) R 32235 32237 31814 0 -1 0 32331 0 1 0 164994 34 0 0 25 0 8 0 155693017 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32237/statm: 228860 32057 2521 14 0 215330 0
[pid=32237/tid=32239] ppid=32235 vsize=915440 CPUtime=0.43
/proc/32237/task/32239/stat : 32239 (java) S 32235 32237 31814 0 -1 64 15324 0 0 0 37 6 0 0 16 0 8 0 155693022 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32240] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32240/stat : 32240 (java) S 32235 32237 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155693022 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32241] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32241/stat : 32241 (java) S 32235 32237 31814 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155693022 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32242] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32242/stat : 32242 (java) S 32235 32237 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32243] ppid=32235 vsize=915440 CPUtime=0.27
/proc/32237/task/32243/stat : 32243 (java) S 32235 32237 31814 0 -1 64 401 0 0 0 26 1 0 0 16 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32244] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32244/stat : 32244 (java) S 32235 32237 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32245] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32245/stat : 32245 (java) S 32235 32237 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1650.28
Current children cumulated vsize (KiB) 915440
[startup+1722.96 s]
/proc/loadavg: 1.06 1.32 1.57 2/85 32631
/proc/meminfo: memFree=1346552/2055920 swapFree=4192812/4192956
[pid=32237] ppid=32235 vsize=915440 CPUtime=1710.28
/proc/32237/stat : 32237 (java) R 32235 32237 31814 0 -1 0 32331 0 1 0 170994 34 0 0 25 0 8 0 155693017 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32237/statm: 228860 32057 2521 14 0 215330 0
[pid=32237/tid=32239] ppid=32235 vsize=915440 CPUtime=0.43
/proc/32237/task/32239/stat : 32239 (java) S 32235 32237 31814 0 -1 64 15324 0 0 0 37 6 0 0 16 0 8 0 155693022 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32240] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32240/stat : 32240 (java) S 32235 32237 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155693022 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32241] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32241/stat : 32241 (java) S 32235 32237 31814 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155693022 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32242] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32242/stat : 32242 (java) S 32235 32237 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32243] ppid=32235 vsize=915440 CPUtime=0.27
/proc/32237/task/32243/stat : 32243 (java) S 32235 32237 31814 0 -1 64 401 0 0 0 26 1 0 0 16 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32244] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32244/stat : 32244 (java) S 32235 32237 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32245] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32245/stat : 32245 (java) S 32235 32237 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1710.28
Current children cumulated vsize (KiB) 915440
[startup+1782.99 s]
/proc/loadavg: 1.02 1.26 1.53 2/85 32631
/proc/meminfo: memFree=1346552/2055920 swapFree=4192812/4192956
[pid=32237] ppid=32235 vsize=915440 CPUtime=1770.29
/proc/32237/stat : 32237 (java) R 32235 32237 31814 0 -1 0 32331 0 1 0 176995 34 0 0 25 0 8 0 155693017 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805532 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32237/statm: 228860 32057 2521 14 0 215330 0
[pid=32237/tid=32239] ppid=32235 vsize=915440 CPUtime=0.43
/proc/32237/task/32239/stat : 32239 (java) S 32235 32237 31814 0 -1 64 15324 0 0 0 37 6 0 0 16 0 8 0 155693022 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32240] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32240/stat : 32240 (java) S 32235 32237 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155693022 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32241] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32241/stat : 32241 (java) S 32235 32237 31814 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155693022 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32242] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32242/stat : 32242 (java) S 32235 32237 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32243] ppid=32235 vsize=915440 CPUtime=0.27
/proc/32237/task/32243/stat : 32243 (java) S 32235 32237 31814 0 -1 64 401 0 0 0 26 1 0 0 16 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32244] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32244/stat : 32244 (java) S 32235 32237 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32245] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32245/stat : 32245 (java) S 32235 32237 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1770.29
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1812.79 s]
/proc/loadavg: 1.01 1.23 1.51 2/85 32631
/proc/meminfo: memFree=1346488/2055920 swapFree=4192812/4192956
[pid=32237] ppid=32235 vsize=915440 CPUtime=1800.08
/proc/32237/stat : 32237 (java) R 32235 32237 31814 0 -1 0 32331 0 1 0 179974 34 0 0 25 0 8 0 155693017 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32237/statm: 228860 32057 2521 14 0 215330 0
[pid=32237/tid=32239] ppid=32235 vsize=915440 CPUtime=0.43
/proc/32237/task/32239/stat : 32239 (java) S 32235 32237 31814 0 -1 64 15324 0 0 0 37 6 0 0 16 0 8 0 155693022 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32240] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32240/stat : 32240 (java) S 32235 32237 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155693022 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32241] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32241/stat : 32241 (java) S 32235 32237 31814 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155693022 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32242] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32242/stat : 32242 (java) S 32235 32237 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32243] ppid=32235 vsize=915440 CPUtime=0.27
/proc/32237/task/32243/stat : 32243 (java) S 32235 32237 31814 0 -1 64 401 0 0 0 26 1 0 0 16 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32244] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32244/stat : 32244 (java) S 32235 32237 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32237/tid=32245] ppid=32235 vsize=915440 CPUtime=0
/proc/32237/task/32245/stat : 32245 (java) S 32235 32237 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155693025 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1812.85
CPU time (s): 1800.14
CPU user time (s): 1799.78
CPU system time (s): 0.364944
CPU usage (%): 99.2994
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.364944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32347
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= 37798
involuntary context switches= 65084
runsolver used 2.51862 s user time and 5.14022 s system time
The end
Begin job on node72 on Sat Jan 6 08:40:42 UTC 2007
IDJOB= 203106
IDBENCH= 3912
FILE ID= node72/203106-1168072842
PBS_JOBID= 3475972
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28-fcd/rand-3-28-28-93-632-fcd-41_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203106-1168072842/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-203106-1168072842 -o ROOT/results/node72/solver-203106-1168072842 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203106-1168072842/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 41df94ad0deaee9a5c81a09c6c3846eb
RANDOM SEED= 416710251
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.223
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.223
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: 1283664 kB
Buffers: 40296 kB
Cached: 439172 kB
SwapCached: 0 kB
Active: 322640 kB
Inactive: 376692 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1283664 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7496 kB
Writeback: 0 kB
Mapped: 248892 kB
Slab: 57212 kB
Committed_AS: 3381084 kB
PageTables: 2652 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= 66546 MiB
End job on node72 on Sat Jan 6 09:10:55 UTC 2007