0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/203105-1168156285/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.39 => wckTime=0.095 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
1.50
1.50 constraints being loaded...
2.22 nbConstraints=90 nbRelationTypes=93 nbMergedConstraints=3 nbExtensionStructures=90
2.22 nbSharedExtensionStructures=0 nbConflictsStructures=90 nbSharedConflictsStructures=0
2.22 nbSharedBinaryRepresentations=0 maxDegree=16 maxArity=3
2.22 => wckTime=1.924 cpuTime=1.57 mem=55M865
2.37
2.37 solver IterativeSystematicSolver being built...
2.54 => wckTime=2.238 cpuTime=1.71 mem=64M575
2.66
2.66 preprocessing
2.66 nbConstraintChecks=43652 nbValidityChecks=69268 nbPropagations=222 nbRevisions=2306 nbUselessRevisions=2002
2.66 nbSingletonTests=33 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
2.66 => wckTime=0.12 cpuTime=0.1 mem=64M575
2.76
2.76 search
2.76 run=0 nbConstraintChecks=55478 nbValidityChecks=99577 nbPropagations=605 nbRevisions=7096
2.76 nbUselessRevisions=5896 nbAssignments=29 nbFailedAssignments=12 nbBacktracks=10 nbVisitedNodes=51
2.76 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
2.76 => wckTime=0.223 cpuTime=0.2 mem=65M600
2.90
2.90 search
2.90 run=1 nbConstraintChecks=135568 nbValidityChecks=248712 nbPropagations=1769 nbRevisions=21492
2.90 nbUselessRevisions=17738 nbAssignments=73 nbFailedAssignments=34 nbBacktracks=25 nbVisitedNodes=128
2.90 nbRestartNogoods=6 mapSize=24 nbInferences=0 nbTooLargeKeys=0
2.90 => wckTime=0.365 cpuTime=0.33 mem=65M600
3.05
3.05 search
3.05 run=2 nbConstraintChecks=223525 nbValidityChecks=414140 nbPropagations=3676 nbRevisions=44744
3.05 nbUselessRevisions=36735 nbAssignments=127 nbFailedAssignments=61 nbBacktracks=47 nbVisitedNodes=223
3.05 nbRestartNogoods=10 mapSize=42 nbInferences=0 nbTooLargeKeys=0
3.05 => wckTime=0.51 cpuTime=0.48 mem=65M600
3.33
3.33 search
3.33 run=3 nbConstraintChecks=406897 nbValidityChecks=741030 nbPropagations=6600 nbRevisions=82070
3.33 nbUselessRevisions=67085 nbAssignments=237 nbFailedAssignments=131 nbBacktracks=82 nbVisitedNodes=424
3.33 nbRestartNogoods=18 mapSize=70 nbInferences=0 nbTooLargeKeys=0
3.33 => wckTime=0.789 cpuTime=0.75 mem=65M600
3.60
3.60 search
3.60 run=4 nbConstraintChecks=580410 nbValidityChecks=1073924 nbPropagations=10922 nbRevisions=136401
3.60 nbUselessRevisions=111210 nbAssignments=357 nbFailedAssignments=184 nbBacktracks=132 nbVisitedNodes=617
3.60 nbRestartNogoods=23 mapSize=113 nbInferences=0 nbTooLargeKeys=0
3.60 => wckTime=1.057 cpuTime=1.02 mem=65M600
3.97
3.97 search
3.97 run=5 nbConstraintChecks=813007 nbValidityChecks=1532022 nbPropagations=17186 nbRevisions=215858
3.97 nbUselessRevisions=175635 nbAssignments=541 nbFailedAssignments=286 nbBacktracks=210 nbVisitedNodes=943
3.97 nbRestartNogoods=29 mapSize=176 nbInferences=0 nbTooLargeKeys=0
3.97 => wckTime=1.43 cpuTime=1.39 mem=65M600
4.93
4.93 search
4.93 run=6 nbConstraintChecks=1417588 nbValidityChecks=2679320 nbPropagations=27912 nbRevisions=349126
4.93 nbUselessRevisions=282319 nbAssignments=888 nbFailedAssignments=514 nbBacktracks=323 nbVisitedNodes=1590
4.93 nbRestartNogoods=34 mapSize=275 nbInferences=0 nbTooLargeKeys=0
4.93 => wckTime=2.387 cpuTime=2.34 mem=65M600
6.19
6.19 search
6.19 run=7 nbConstraintChecks=2206338 nbValidityChecks=4229104 nbPropagations=44379 nbRevisions=560109
6.19 nbUselessRevisions=450985 nbAssignments=1388 nbFailedAssignments=828 nbBacktracks=493 nbVisitedNodes=2509
6.19 nbRestartNogoods=44 mapSize=423 nbInferences=0 nbTooLargeKeys=0
6.19 => wckTime=3.654 cpuTime=3.6 mem=65M600
7.70
7.70 search
7.70 run=8 nbConstraintChecks=3189696 nbValidityChecks=6093073 nbPropagations=68991 nbRevisions=871056
7.70 nbUselessRevisions=699620 nbAssignments=2027 nbFailedAssignments=1205 nbBacktracks=749 nbVisitedNodes=3686
7.70 nbRestartNogoods=46 mapSize=645 nbInferences=0 nbTooLargeKeys=0
7.70 => wckTime=5.161 cpuTime=5.09 mem=65M600
10.39
10.39 search
10.39 run=9 nbConstraintChecks=4964867 nbValidityChecks=9379003 nbPropagations=106599 nbRevisions=1344662
10.39 nbUselessRevisions=1077436 nbAssignments=3057 nbFailedAssignments=1835 nbBacktracks=1133 nbVisitedNodes=5604
10.39 nbRestartNogoods=52 mapSize=982 nbInferences=0 nbTooLargeKeys=0
10.39 => wckTime=7.853 cpuTime=7.78 mem=65M600
10.90
10.90 INFO : Stopping hyperNogood (mapSize=1044, nbTooLargekeys=0, mem=65M600)
14.52
14.52 search
14.52 run=10 nbConstraintChecks=7573324 nbValidityChecks=14389245 nbPropagations=163739 nbRevisions=2089562
14.52 nbUselessRevisions=1672842 nbAssignments=4599 nbFailedAssignments=2777 nbBacktracks=1709 nbVisitedNodes=8487
14.52 nbRestartNogoods=61
14.52 => wckTime=11.976 cpuTime=11.89 mem=65M600
18.75
18.75 search
18.75 run=11 nbConstraintChecks=10413515 nbValidityChecks=19741567 nbPropagations=245161 nbRevisions=3136731
18.75 nbUselessRevisions=2511159 nbAssignments=6423 nbFailedAssignments=3731 nbBacktracks=2573 nbVisitedNodes=11809
18.75 nbRestartNogoods=86
18.75 => wckTime=16.211 cpuTime=16.12 mem=65M600
28.08
28.08 search
28.08 run=12 nbConstraintChecks=16652680 nbValidityChecks=30965844 nbPropagations=364150 nbRevisions=4687260
28.08 nbUselessRevisions=3753640 nbAssignments=9590 nbFailedAssignments=5597 nbBacktracks=3870 nbVisitedNodes=17709
28.08 nbRestartNogoods=98
28.08 => wckTime=25.544 cpuTime=25.45 mem=65M600
37.59
37.59 search
37.59 run=13 nbConstraintChecks=23076507 nbValidityChecks=43189847 nbPropagations=538411 nbRevisions=6917076
37.59 nbUselessRevisions=5539447 nbAssignments=13975 nbFailedAssignments=8031 nbBacktracks=5817 nbVisitedNodes=25741
37.59 nbRestartNogoods=104
37.59 => wckTime=35.054 cpuTime=34.96 mem=65M600
54.04
54.04 search
54.04 run=14 nbConstraintChecks=33508060 nbValidityChecks=63566284 nbPropagations=798491 nbRevisions=10299226
54.04 nbUselessRevisions=8259405 nbAssignments=20949 nbFailedAssignments=12080 nbBacktracks=8736 nbVisitedNodes=38696
54.04 nbRestartNogoods=113
54.04 => wckTime=51.502 cpuTime=51.4 mem=65M600
75.64
75.64 search
75.64 run=15 nbConstraintChecks=48077019 nbValidityChecks=90628831 nbPropagations=1178329 nbRevisions=15181391
75.64 nbUselessRevisions=12188695 nbAssignments=30374 nbFailedAssignments=17099 nbBacktracks=13114
75.64 nbVisitedNodes=55842 nbRestartNogoods=124
75.64 => wckTime=73.097 cpuTime=72.99 mem=65M600
108.53
108.53 search
108.53 run=16 nbConstraintChecks=69709870 nbValidityChecks=132598188 nbPropagations=1751793 nbRevisions=22445797
108.53 nbUselessRevisions=18022856 nbAssignments=44942 nbFailedAssignments=25042 nbBacktracks=19684
108.53 nbVisitedNodes=82547 nbRestartNogoods=144
108.53 => wckTime=105.992 cpuTime=105.87 mem=65M600
170.96
170.96 search
170.96 run=17 nbConstraintChecks=111277061 nbValidityChecks=210897933 nbPropagations=2612960 nbRevisions=33400813
170.96 nbUselessRevisions=26810977 nbAssignments=70185 nbFailedAssignments=40428 nbBacktracks=29536
170.96 nbVisitedNodes=129695 nbRestartNogoods=151
170.96 => wckTime=168.425 cpuTime=168.29 mem=65M600
255.31
255.31 search
255.31 run=18 nbConstraintChecks=167369248 nbValidityChecks=317200872 nbPropagations=3932443 nbRevisions=49911261
255.31 nbUselessRevisions=40005268 nbAssignments=104793 nbFailedAssignments=60242 nbBacktracks=44314
255.31 nbVisitedNodes=193543 nbRestartNogoods=172
255.31 => wckTime=252.775 cpuTime=252.63 mem=65M600
415.26
415.26 search
415.26 run=19 nbConstraintChecks=271983793 nbValidityChecks=510129169 nbPropagations=5938206 nbRevisions=75476777
415.26 nbUselessRevisions=60473280 nbAssignments=157491 nbFailedAssignments=90731 nbBacktracks=66482
415.26 nbVisitedNodes=291631 nbRestartNogoods=207
415.26 => wckTime=412.721 cpuTime=412.53 mem=65M600
600.90
600.90 search
600.90 run=20 nbConstraintChecks=395842821 nbValidityChecks=744952174 nbPropagations=8959723 nbRevisions=113453834
600.90 nbUselessRevisions=90828828 nbAssignments=234057 nbFailedAssignments=134039 nbBacktracks=99734
600.90 nbVisitedNodes=432211 nbRestartNogoods=223
600.90 => wckTime=598.363 cpuTime=598.07 mem=65M600
1010.36
1010.36 search
1010.36 run=21 nbConstraintChecks=667690155 nbValidityChecks=1262756438 nbPropagations=13814054 nbRevisions=175031320
1010.36 nbUselessRevisions=139927509 nbAssignments=380588 nbFailedAssignments=230686 nbBacktracks=149612
1010.36 nbVisitedNodes=711086 nbRestartNogoods=248
1010.36 => wckTime=1007.825 cpuTime=1007.38 mem=65M600
1381.06
1381.06 search
1381.06 run=22 nbConstraintChecks=916033414 nbValidityChecks=1737098341 nbPropagations=20742006 nbRevisions=262189785
1381.06 nbUselessRevisions=209510753 nbAssignments=552889 nbFailedAssignments=328159 nbBacktracks=224430
1381.06 nbVisitedNodes=1027902 nbRestartNogoods=272
1381.06 => wckTime=1378.524 cpuTime=1377.99 mem=65M600
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-203105-1168156285 -o ROOT/results/node56/solver-203105-1168156285 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203105-1168156285/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.00 1.00 1.07 1/65 32465
/proc/meminfo: memFree=1612656/2055920 swapFree=4184772/4192956
[pid=32464] ppid=32462 vsize=168 CPUtime=0
/proc/32464/stat : 32464 (java) R 32462 32464 31269 0 -1 0 39 0 0 0 0 0 0 0 20 0 1 0 164026673 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 10027812 0 0 4096 0 0 0 0 17 1 0 0
/proc/32464/statm: 54 30 25 14 0 2 0
[startup+0.102527 s]
/proc/loadavg: 1.00 1.00 1.07 1/65 32465
/proc/meminfo: memFree=1612656/2055920 swapFree=4184772/4192956
[pid=32464] ppid=32462 vsize=914988 CPUtime=0.08
/proc/32464/stat : 32464 (java) S 32462 32464 31269 0 -1 0 2997 0 1 0 7 1 0 0 22 0 8 0 164026673 936947712 2743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32464/statm: 228747 2743 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510561 s]
/proc/loadavg: 1.00 1.00 1.07 1/65 32465
/proc/meminfo: memFree=1612656/2055920 swapFree=4184772/4192956
[pid=32464] ppid=32462 vsize=915328 CPUtime=0.48
/proc/32464/stat : 32464 (java) R 32462 32464 31269 0 -1 0 8023 0 1 0 44 4 0 0 17 0 8 0 164026673 937295872 7762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073563246 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32464/statm: 228832 7763 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33164 s]
/proc/loadavg: 1.00 1.00 1.07 2/72 32472
/proc/meminfo: memFree=1545656/2055920 swapFree=4184772/4192956
[pid=32464] ppid=32462 vsize=915328 CPUtime=1.31
/proc/32464/stat : 32464 (java) R 32462 32464 31269 0 -1 0 19100 0 1 0 120 11 0 0 17 0 8 0 164026673 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155770001 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32464/statm: 228832 18838 2149 14 0 215302 0
[pid=32464/tid=32466] ppid=32462 vsize=915328 CPUtime=0.05
/proc/32464/task/32466/stat : 32466 (java) S 32462 32464 31269 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 164026676 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32467] ppid=32462 vsize=915328 CPUtime=0
/proc/32464/task/32467/stat : 32467 (java) S 32462 32464 31269 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164026677 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32468] ppid=32462 vsize=915328 CPUtime=0
/proc/32464/task/32468/stat : 32468 (java) S 32462 32464 31269 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164026677 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32469] ppid=32462 vsize=915328 CPUtime=0
/proc/32464/task/32469/stat : 32469 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164026680 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32470] ppid=32462 vsize=915328 CPUtime=0.07
/proc/32464/task/32470/stat : 32470 (java) S 32462 32464 31269 0 -1 64 309 0 0 0 7 0 0 0 15 0 8 0 164026680 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32471] ppid=32462 vsize=915328 CPUtime=0
/proc/32464/task/32471/stat : 32471 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164026680 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32472] ppid=32462 vsize=915328 CPUtime=0
/proc/32464/task/32472/stat : 32472 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164026680 937295872 18838 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.98281 s]
/proc/loadavg: 1.00 1.00 1.07 2/72 32472
/proc/meminfo: memFree=1505016/2055920 swapFree=4184772/4192956
[pid=32464] ppid=32462 vsize=915440 CPUtime=2.96
/proc/32464/stat : 32464 (java) R 32462 32464 31269 0 -1 0 32318 0 1 0 278 18 0 0 16 0 8 0 164026673 937410560 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812404 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32464/statm: 228860 32053 2531 14 0 215330 0
[pid=32464/tid=32466] ppid=32462 vsize=915440 CPUtime=0.42
/proc/32464/task/32466/stat : 32466 (java) S 32462 32464 31269 0 -1 64 15323 0 0 0 36 6 0 0 17 0 8 0 164026676 937410560 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32464/tid=32467] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32467/stat : 32467 (java) S 32462 32464 31269 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164026677 937410560 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32468] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32468/stat : 32468 (java) S 32462 32464 31269 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164026677 937410560 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32469] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32469/stat : 32469 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164026680 937410560 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32470] ppid=32462 vsize=915440 CPUtime=0.18
/proc/32464/task/32470/stat : 32470 (java) S 32462 32464 31269 0 -1 64 378 0 0 0 18 0 0 0 16 0 8 0 164026680 937410560 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32471] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32471/stat : 32471 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164026680 937410560 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32472] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32472/stat : 32472 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164026680 937410560 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915440
[startup+6.27912 s]
/proc/loadavg: 1.00 1.00 1.07 2/72 32472
/proc/meminfo: memFree=1493952/2055920 swapFree=4184772/4192956
[pid=32464] ppid=32462 vsize=915440 CPUtime=6.25
/proc/32464/stat : 32464 (java) R 32462 32464 31269 0 -1 0 32327 0 1 0 607 18 0 0 17 0 8 0 164026673 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804277 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32464/statm: 228860 32060 2531 14 0 215330 0
[pid=32464/tid=32466] ppid=32462 vsize=915440 CPUtime=0.42
/proc/32464/task/32466/stat : 32466 (java) S 32462 32464 31269 0 -1 64 15323 0 0 0 36 6 0 0 17 0 8 0 164026676 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32464/tid=32467] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32467/stat : 32467 (java) S 32462 32464 31269 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164026677 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32468] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32468/stat : 32468 (java) S 32462 32464 31269 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164026677 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32469] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32469/stat : 32469 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164026680 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32470] ppid=32462 vsize=915440 CPUtime=0.2
/proc/32464/task/32470/stat : 32470 (java) S 32462 32464 31269 0 -1 64 385 0 0 0 19 1 0 0 15 0 8 0 164026680 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32471] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32471/stat : 32471 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164026680 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32472] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32472/stat : 32472 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164026680 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915440
[startup+12.7508 s]
/proc/loadavg: 1.00 1.00 1.07 2/72 32472
/proc/meminfo: memFree=1493968/2055920 swapFree=4184772/4192956
[pid=32464] ppid=32462 vsize=915440 CPUtime=12.72
/proc/32464/stat : 32464 (java) R 32462 32464 31269 0 -1 0 32344 0 1 0 1254 18 0 0 17 0 8 0 164026673 937410560 32073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630051 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32464/statm: 228860 32073 2531 14 0 215330 0
[pid=32464/tid=32466] ppid=32462 vsize=915440 CPUtime=0.42
/proc/32464/task/32466/stat : 32466 (java) S 32462 32464 31269 0 -1 64 15323 0 0 0 36 6 0 0 16 0 8 0 164026676 937410560 32073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32464/tid=32467] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32467/stat : 32467 (java) S 32462 32464 31269 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164026677 937410560 32073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32468] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32468/stat : 32468 (java) S 32462 32464 31269 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164026677 937410560 32073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32469] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32469/stat : 32469 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164026680 937410560 32073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32470] ppid=32462 vsize=915440 CPUtime=0.22
/proc/32464/task/32470/stat : 32470 (java) S 32462 32464 31269 0 -1 64 399 0 0 0 21 1 0 0 16 0 8 0 164026680 937410560 32073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32471] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32471/stat : 32471 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164026680 937410560 32073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32472] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32472/stat : 32472 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164026680 937410560 32073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915440
[startup+25.583 s]
/proc/loadavg: 1.00 1.00 1.07 2/72 32472
/proc/meminfo: memFree=1494160/2055920 swapFree=4184772/4192956
[pid=32464] ppid=32462 vsize=915440 CPUtime=25.56
/proc/32464/stat : 32464 (java) R 32462 32464 31269 0 -1 0 32346 0 1 0 2537 19 0 0 25 0 8 0 164026673 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809482 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32464/statm: 228860 32075 2531 14 0 215330 0
[pid=32464/tid=32466] ppid=32462 vsize=915440 CPUtime=0.42
/proc/32464/task/32466/stat : 32466 (java) S 32462 32464 31269 0 -1 64 15323 0 0 0 36 6 0 0 16 0 8 0 164026676 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32464/tid=32467] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32467/stat : 32467 (java) S 32462 32464 31269 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164026677 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32468] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32468/stat : 32468 (java) S 32462 32464 31269 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164026677 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32469] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32469/stat : 32469 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32470] ppid=32462 vsize=915440 CPUtime=0.23
/proc/32464/task/32470/stat : 32470 (java) S 32462 32464 31269 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32471] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32471/stat : 32471 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32472] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32472/stat : 32472 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915440
[startup+51.2645 s]
/proc/loadavg: 1.00 1.00 1.07 2/72 32472
/proc/meminfo: memFree=1494288/2055920 swapFree=4184772/4192956
[pid=32464] ppid=32462 vsize=915440 CPUtime=51.23
/proc/32464/stat : 32464 (java) R 32462 32464 31269 0 -1 0 32347 0 1 0 5104 19 0 0 25 0 8 0 164026673 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629903 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32464/statm: 228860 32075 2531 14 0 215330 0
[pid=32464/tid=32466] ppid=32462 vsize=915440 CPUtime=0.42
/proc/32464/task/32466/stat : 32466 (java) S 32462 32464 31269 0 -1 64 15323 0 0 0 36 6 0 0 16 0 8 0 164026676 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32464/tid=32467] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32467/stat : 32467 (java) S 32462 32464 31269 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164026677 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32468] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32468/stat : 32468 (java) S 32462 32464 31269 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164026677 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32469] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32469/stat : 32469 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32470] ppid=32462 vsize=915440 CPUtime=0.23
/proc/32464/task/32470/stat : 32470 (java) S 32462 32464 31269 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32471] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32471/stat : 32471 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32472] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32472/stat : 32472 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.23
Current children cumulated vsize (KiB) 915440
[startup+102.517 s]
/proc/loadavg: 1.00 1.00 1.06 2/72 32472
/proc/meminfo: memFree=1494288/2055920 swapFree=4184772/4192956
[pid=32464] ppid=32462 vsize=915440 CPUtime=102.46
/proc/32464/stat : 32464 (java) R 32462 32464 31269 0 -1 0 32347 0 1 0 10227 19 0 0 25 0 8 0 164026673 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32464/statm: 228860 32075 2531 14 0 215330 0
[pid=32464/tid=32466] ppid=32462 vsize=915440 CPUtime=0.42
/proc/32464/task/32466/stat : 32466 (java) S 32462 32464 31269 0 -1 64 15323 0 0 0 36 6 0 0 16 0 8 0 164026676 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32464/tid=32467] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32467/stat : 32467 (java) S 32462 32464 31269 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164026677 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32468] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32468/stat : 32468 (java) S 32462 32464 31269 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164026677 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32469] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32469/stat : 32469 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32470] ppid=32462 vsize=915440 CPUtime=0.23
/proc/32464/task/32470/stat : 32470 (java) S 32462 32464 31269 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32471] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32471/stat : 32471 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32472] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32472/stat : 32472 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.46
Current children cumulated vsize (KiB) 915440
[startup+162.598 s]
/proc/loadavg: 1.00 1.00 1.06 2/72 32472
/proc/meminfo: memFree=1494288/2055920 swapFree=4184772/4192956
[pid=32464] ppid=32462 vsize=915440 CPUtime=162.53
/proc/32464/stat : 32464 (java) R 32462 32464 31269 0 -1 0 32347 0 1 0 16234 19 0 0 25 0 8 0 164026673 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1423.85
Current children cumulated vsize (KiB) 915440
[startup+1484.42 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 32670
/proc/meminfo: memFree=1493968/2055920 swapFree=4184772/4192956
[pid=32464] ppid=32462 vsize=915440 CPUtime=1483.92
/proc/32464/stat : 32464 (java) R 32462 32464 31269 0 -1 0 32347 0 1 0 148370 22 0 0 25 0 8 0 164026673 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807881 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32464/statm: 228860 32075 2531 14 0 215330 0
[pid=32464/tid=32466] ppid=32462 vsize=915440 CPUtime=0.42
/proc/32464/task/32466/stat : 32466 (java) S 32462 32464 31269 0 -1 64 15323 0 0 0 36 6 0 0 16 0 8 0 164026676 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32464/tid=32467] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32467/stat : 32467 (java) S 32462 32464 31269 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164026677 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32468] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32468/stat : 32468 (java) S 32462 32464 31269 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164026677 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32469] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32469/stat : 32469 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32470] ppid=32462 vsize=915440 CPUtime=0.23
/proc/32464/task/32470/stat : 32470 (java) S 32462 32464 31269 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32471] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32471/stat : 32471 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32472] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32472/stat : 32472 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1483.92
Current children cumulated vsize (KiB) 915440
[startup+1544.5 s]
/proc/loadavg: 1.03 1.01 1.00 2/72 32670
/proc/meminfo: memFree=1493968/2055920 swapFree=4184772/4192956
[pid=32464] ppid=32462 vsize=915440 CPUtime=1543.99
/proc/32464/stat : 32464 (java) R 32462 32464 31269 0 -1 0 32347 0 1 0 154377 22 0 0 25 0 8 0 164026673 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803313 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32464/statm: 228860 32075 2531 14 0 215330 0
[pid=32464/tid=32466] ppid=32462 vsize=915440 CPUtime=0.42
/proc/32464/task/32466/stat : 32466 (java) S 32462 32464 31269 0 -1 64 15323 0 0 0 36 6 0 0 16 0 8 0 164026676 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32464/tid=32467] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32467/stat : 32467 (java) S 32462 32464 31269 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164026677 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32468] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32468/stat : 32468 (java) S 32462 32464 31269 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164026677 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32469] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32469/stat : 32469 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32470] ppid=32462 vsize=915440 CPUtime=0.23
/proc/32464/task/32470/stat : 32470 (java) S 32462 32464 31269 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32471] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32471/stat : 32471 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32472] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32472/stat : 32472 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1543.99
Current children cumulated vsize (KiB) 915440
[startup+1604.59 s]
/proc/loadavg: 1.01 1.01 1.00 2/72 32670
/proc/meminfo: memFree=1493968/2055920 swapFree=4184772/4192956
[pid=32464] ppid=32462 vsize=915440 CPUtime=1604.06
/proc/32464/stat : 32464 (java) R 32462 32464 31269 0 -1 0 32347 0 1 0 160384 22 0 0 25 0 8 0 164026673 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804208 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32464/statm: 228860 32075 2531 14 0 215330 0
[pid=32464/tid=32466] ppid=32462 vsize=915440 CPUtime=0.42
/proc/32464/task/32466/stat : 32466 (java) S 32462 32464 31269 0 -1 64 15323 0 0 0 36 6 0 0 16 0 8 0 164026676 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32464/tid=32467] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32467/stat : 32467 (java) S 32462 32464 31269 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164026677 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32468] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32468/stat : 32468 (java) S 32462 32464 31269 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164026677 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32469] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32469/stat : 32469 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32470] ppid=32462 vsize=915440 CPUtime=0.23
/proc/32464/task/32470/stat : 32470 (java) S 32462 32464 31269 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32471] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32471/stat : 32471 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32472] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32472/stat : 32472 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1604.06
Current children cumulated vsize (KiB) 915440
[startup+1664.67 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 32672
/proc/meminfo: memFree=1493840/2055920 swapFree=4184772/4192956
[pid=32464] ppid=32462 vsize=915440 CPUtime=1664.13
/proc/32464/stat : 32464 (java) R 32462 32464 31269 0 -1 0 32347 0 1 0 166391 22 0 0 25 0 8 0 164026673 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32464/statm: 228860 32075 2531 14 0 215330 0
[pid=32464/tid=32466] ppid=32462 vsize=915440 CPUtime=0.42
/proc/32464/task/32466/stat : 32466 (java) S 32462 32464 31269 0 -1 64 15323 0 0 0 36 6 0 0 16 0 8 0 164026676 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32464/tid=32467] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32467/stat : 32467 (java) S 32462 32464 31269 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164026677 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32468] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32468/stat : 32468 (java) S 32462 32464 31269 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164026677 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32469] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32469/stat : 32469 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32470] ppid=32462 vsize=915440 CPUtime=0.23
/proc/32464/task/32470/stat : 32470 (java) S 32462 32464 31269 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32471] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32471/stat : 32471 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32472] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32472/stat : 32472 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1664.13
Current children cumulated vsize (KiB) 915440
[startup+1724.76 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 32672
/proc/meminfo: memFree=1493840/2055920 swapFree=4184772/4192956
[pid=32464] ppid=32462 vsize=915440 CPUtime=1724.21
/proc/32464/stat : 32464 (java) R 32462 32464 31269 0 -1 0 32347 0 1 0 172398 23 0 0 25 0 8 0 164026673 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804267 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32464/statm: 228860 32075 2531 14 0 215330 0
[pid=32464/tid=32466] ppid=32462 vsize=915440 CPUtime=0.42
/proc/32464/task/32466/stat : 32466 (java) S 32462 32464 31269 0 -1 64 15323 0 0 0 36 6 0 0 16 0 8 0 164026676 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32464/tid=32467] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32467/stat : 32467 (java) S 32462 32464 31269 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164026677 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32468] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32468/stat : 32468 (java) S 32462 32464 31269 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164026677 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32469] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32469/stat : 32469 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32470] ppid=32462 vsize=915440 CPUtime=0.23
/proc/32464/task/32470/stat : 32470 (java) S 32462 32464 31269 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32471] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32471/stat : 32471 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32472] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32472/stat : 32472 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1724.21
Current children cumulated vsize (KiB) 915440
[startup+1784.84 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 32672
/proc/meminfo: memFree=1493840/2055920 swapFree=4184772/4192956
[pid=32464] ppid=32462 vsize=915440 CPUtime=1784.28
/proc/32464/stat : 32464 (java) R 32462 32464 31269 0 -1 0 32347 0 1 0 178405 23 0 0 25 0 8 0 164026673 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073846921 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32464/statm: 228860 32075 2531 14 0 215330 0
[pid=32464/tid=32466] ppid=32462 vsize=915440 CPUtime=0.42
/proc/32464/task/32466/stat : 32466 (java) S 32462 32464 31269 0 -1 64 15323 0 0 0 36 6 0 0 16 0 8 0 164026676 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32464/tid=32467] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32467/stat : 32467 (java) S 32462 32464 31269 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164026677 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32468] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32468/stat : 32468 (java) S 32462 32464 31269 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164026677 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32469] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32469/stat : 32469 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32470] ppid=32462 vsize=915440 CPUtime=0.23
/proc/32464/task/32470/stat : 32470 (java) S 32462 32464 31269 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32471] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32471/stat : 32471 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32472] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32472/stat : 32472 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1784.28
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.65 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 32672
/proc/meminfo: memFree=1493840/2055920 swapFree=4184772/4192956
[pid=32464] ppid=32462 vsize=915440 CPUtime=1800.09
/proc/32464/stat : 32464 (java) R 32462 32464 31269 0 -1 0 32347 0 1 0 179986 23 0 0 25 0 8 0 164026673 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830658 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32464/statm: 228860 32075 2531 14 0 215330 0
[pid=32464/tid=32466] ppid=32462 vsize=915440 CPUtime=0.42
/proc/32464/task/32466/stat : 32466 (java) S 32462 32464 31269 0 -1 64 15323 0 0 0 36 6 0 0 16 0 8 0 164026676 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32464/tid=32467] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32467/stat : 32467 (java) S 32462 32464 31269 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164026677 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32468] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32468/stat : 32468 (java) S 32462 32464 31269 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164026677 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32469] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32469/stat : 32469 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32470] ppid=32462 vsize=915440 CPUtime=0.23
/proc/32464/task/32470/stat : 32470 (java) S 32462 32464 31269 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32471] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32471/stat : 32471 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32464/tid=32472] ppid=32462 vsize=915440 CPUtime=0
/proc/32464/task/32472/stat : 32472 (java) S 32462 32464 31269 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164026680 937410560 32075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1800.73
CPU time (s): 1800.17
CPU user time (s): 1799.92
CPU system time (s): 0.251961
CPU usage (%): 99.9687
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.251961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32363
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= 37306
involuntary context switches= 9230
runsolver used 1.88471 s user time and 4.49932 s system time
The end
Begin job on node56 on Sun Jan 7 07:51:25 UTC 2007
IDJOB= 203105
IDBENCH= 3912
FILE ID= node56/203105-1168156285
PBS_JOBID= 3478458
Free space on /tmp= 66550 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 esac.xml 1 XSax /tmp/evaluation/203105-1168156285/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-203105-1168156285 -o ROOT/results/node56/solver-203105-1168156285 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203105-1168156285/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 41df94ad0deaee9a5c81a09c6c3846eb
RANDOM SEED= 769036690
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.232
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.232
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: 1613136 kB
Buffers: 33020 kB
Cached: 329152 kB
SwapCached: 2104 kB
Active: 135716 kB
Inactive: 236144 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1613136 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 7480 kB
Writeback: 0 kB
Mapped: 16608 kB
Slab: 56860 kB
Committed_AS: 3083440 kB
PageTables: 1472 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= 66550 MiB
End job on node56 on Sun Jan 7 08:21:26 UTC 2007