0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=mac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/206567-1168073829/unknown.xml
0.40
0.40 domains being loaded...
0.41
0.41 variables being loaded...
0.45 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.45 => wckTime=0.11 cpuTime=0.1 mem=6M951
0.45
0.45 relations being loaded...
1.60
1.60 constraints being loaded...
2.39 nbConstraints=92 nbRelationTypes=93 nbMergedConstraints=1 nbExtensionStructures=92
2.39 nbSharedExtensionStructures=0 nbConflictsStructures=92 nbSharedConflictsStructures=0
2.39 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
2.39 => wckTime=2.049 cpuTime=1.63 mem=58M26
2.55
2.55 solver IterativeSystematicSolver being built...
2.73 => wckTime=2.397 cpuTime=1.78 mem=65M859
2.74
2.74 preprocessing
2.74 nbConstraintChecks=0 nbPropagations=28 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.74 detectedInconsistency=no
2.74 => wckTime=0.0040 cpuTime=0.0 mem=65M859
2.88
2.88 search
2.88 run=0 nbConstraintChecks=37485 nbValidityChecks=66785 nbPropagations=356 nbRevisions=3558
2.88 nbUselessRevisions=2799 nbAssignments=27 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=44
2.88 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
2.88 => wckTime=0.145 cpuTime=0.1 mem=65M859
3.03
3.03 search
3.03 run=1 nbConstraintChecks=107871 nbValidityChecks=201841 nbPropagations=1389 nbRevisions=15626
3.03 nbUselessRevisions=12341 nbAssignments=78 nbFailedAssignments=37 nbBacktracks=25 nbVisitedNodes=134
3.03 nbRestartNogoods=2 mapSize=25 nbInferences=0 nbTooLargeKeys=0
3.03 => wckTime=0.29 cpuTime=0.24 mem=65M859
3.19
3.19 search
3.19 run=2 nbConstraintChecks=194489 nbValidityChecks=365914 nbPropagations=3155 nbRevisions=37021
3.19 nbUselessRevisions=29376 nbAssignments=126 nbFailedAssignments=57 nbBacktracks=47 nbVisitedNodes=217
3.19 nbRestartNogoods=6 mapSize=46 nbInferences=0 nbTooLargeKeys=0
3.19 => wckTime=0.454 cpuTime=0.39 mem=65M859
3.39
3.39 search
3.39 run=3 nbConstraintChecks=305432 nbValidityChecks=588160 nbPropagations=6055 nbRevisions=72872
3.39 nbUselessRevisions=57866 nbAssignments=202 nbFailedAssignments=92 nbBacktracks=80 nbVisitedNodes=356
3.39 nbRestartNogoods=7 mapSize=79 nbInferences=0 nbTooLargeKeys=0
3.39 => wckTime=0.651 cpuTime=0.59 mem=65M859
3.72
3.72 search
3.72 run=4 nbConstraintChecks=494794 nbValidityChecks=965376 nbPropagations=10740 nbRevisions=132432
3.72 nbUselessRevisions=105509 nbAssignments=339 nbFailedAssignments=170 nbBacktracks=131 nbVisitedNodes=608
3.72 nbRestartNogoods=12 mapSize=129 nbInferences=0 nbTooLargeKeys=0
3.72 => wckTime=0.985 cpuTime=0.91 mem=65M859
4.14
4.14 search
4.14 run=5 nbConstraintChecks=719258 nbValidityChecks=1424328 nbPropagations=17903 nbRevisions=223471
4.14 nbUselessRevisions=178061 nbAssignments=517 nbFailedAssignments=264 nbBacktracks=206 nbVisitedNodes=932
4.14 nbRestartNogoods=17 mapSize=198 nbInferences=0 nbTooLargeKeys=0
4.14 => wckTime=1.401 cpuTime=1.31 mem=65M859
4.90
4.90 search
4.90 run=6 nbConstraintChecks=1158154 nbValidityChecks=2279708 nbPropagations=29084 nbRevisions=364943
4.90 nbUselessRevisions=290455 nbAssignments=815 nbFailedAssignments=441 nbBacktracks=319 nbVisitedNodes=1495
4.90 nbRestartNogoods=23 mapSize=302 nbInferences=0 nbTooLargeKeys=0
4.90 => wckTime=2.162 cpuTime=2.07 mem=65M859
5.82
5.82 search
5.82 run=7 nbConstraintChecks=1702180 nbValidityChecks=3344259 nbPropagations=45326 nbRevisions=568292
5.82 nbUselessRevisions=452335 nbAssignments=1205 nbFailedAssignments=654 nbBacktracks=489 nbVisitedNodes=2194
5.82 nbRestartNogoods=34 mapSize=448 nbInferences=0 nbTooLargeKeys=0
5.82 => wckTime=3.083 cpuTime=2.98 mem=65M859
7.09
7.09 search
7.09 run=8 nbConstraintChecks=2403390 nbValidityChecks=4876128 nbPropagations=70157 nbRevisions=870540
7.09 nbUselessRevisions=690283 nbAssignments=1837 nbFailedAssignments=1023 nbBacktracks=746 nbVisitedNodes=3354
7.09 nbRestartNogoods=44 mapSize=669 nbInferences=0 nbTooLargeKeys=0
7.09 => wckTime=4.349 cpuTime=4.22 mem=65M859
8.94
8.94 search
8.94 run=9 nbConstraintChecks=3516365 nbValidityChecks=7049805 nbPropagations=105222 nbRevisions=1309166
8.94 nbUselessRevisions=1037436 nbAssignments=2711 nbFailedAssignments=1502 nbBacktracks=1131 nbVisitedNodes=4931
8.94 nbRestartNogoods=48 mapSize=985 nbInferences=0 nbTooLargeKeys=0
8.94 => wckTime=6.203 cpuTime=6.06 mem=66M851
9.08
9.08 INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=66M851)
12.31
12.31 search
12.31 run=10 nbConstraintChecks=5548360 nbValidityChecks=10975822 nbPropagations=159652 nbRevisions=2002621
12.31 nbUselessRevisions=1591356 nbAssignments=4082 nbFailedAssignments=2289 nbBacktracks=1707 nbVisitedNodes=7476
12.31 nbRestartNogoods=54
12.31 => wckTime=9.575 cpuTime=9.41 mem=66M851
16.32
16.32 search
16.32 run=11 nbConstraintChecks=7876281 nbValidityChecks=15988416 nbPropagations=243445 nbRevisions=3046818
16.32 nbUselessRevisions=2418586 nbAssignments=6075 nbFailedAssignments=3409 nbBacktracks=2571 nbVisitedNodes=11150
16.32 nbRestartNogoods=73
16.32 => wckTime=13.579 cpuTime=13.39 mem=66M851
23.38
23.38 search
23.38 run=12 nbConstraintChecks=11966714 nbValidityChecks=24529266 nbPropagations=372884 nbRevisions=4640080
23.38 nbUselessRevisions=3672940 nbAssignments=9406 nbFailedAssignments=5435 nbBacktracks=3868 nbVisitedNodes=17390
23.38 nbRestartNogoods=85
23.38 => wckTime=20.643 cpuTime=20.42 mem=66M851
34.88
34.88 search
34.88 run=13 nbConstraintChecks=18824064 nbValidityChecks=37963013 nbPropagations=567879 nbRevisions=7115527
34.88 nbUselessRevisions=5636815 nbAssignments=14114 nbFailedAssignments=8190 nbBacktracks=5814 nbVisitedNodes=26114
34.88 nbRestartNogoods=100
34.88 => wckTime=32.143 cpuTime=31.88 mem=66M851
47.40
47.40 search
47.40 run=14 nbConstraintChecks=25912976 nbValidityChecks=53555994 nbPropagations=854863 nbRevisions=10653369
47.40 nbUselessRevisions=8419481 nbAssignments=20548 nbFailedAssignments=11694 nbBacktracks=8734 nbVisitedNodes=37817
47.40 nbRestartNogoods=115
47.40 => wckTime=44.665 cpuTime=44.34 mem=66M851
72.78
72.78 search
72.78 run=15 nbConstraintChecks=41068907 nbValidityChecks=84022296 nbPropagations=1290520 nbRevisions=16146626
72.78 nbUselessRevisions=12746531 nbAssignments=31555 nbFailedAssignments=18314 nbBacktracks=13112
72.78 nbVisitedNodes=58363 nbRestartNogoods=124
72.78 => wckTime=70.048 cpuTime=69.6 mem=66M851
105.62
105.62 search
105.62 run=16 nbConstraintChecks=60332645 nbValidityChecks=124571469 nbPropagations=1954555 nbRevisions=24443042
105.62 nbUselessRevisions=19285080 nbAssignments=48120 nbFailedAssignments=28302 nbBacktracks=19680
105.62 nbVisitedNodes=89131 nbRestartNogoods=153
105.62 => wckTime=102.881 cpuTime=102.27 mem=66M851
152.24
152.24 search
152.24 run=17 nbConstraintChecks=87313655 nbValidityChecks=181812580 nbPropagations=2943591 nbRevisions=36614889
152.24 nbUselessRevisions=28841856 nbAssignments=70240 nbFailedAssignments=40560 nbBacktracks=29532
152.24 nbVisitedNodes=129613 nbRestartNogoods=167
152.24 => wckTime=149.503 cpuTime=148.68 mem=66M851
252.28
252.28 search
252.28 run=18 nbConstraintChecks=146637648 nbValidityChecks=299390226 nbPropagations=4511049 nbRevisions=56236659
252.28 nbUselessRevisions=44274135 nbAssignments=109586 nbFailedAssignments=65120 nbBacktracks=44311
252.28 nbVisitedNodes=204502 nbRestartNogoods=178
252.28 => wckTime=249.547 cpuTime=248.15 mem=66M851
381.39
381.39 search
381.39 run=19 nbConstraintChecks=223727818 nbValidityChecks=450294345 nbPropagations=6823548 nbRevisions=85906150
381.39 nbUselessRevisions=67785247 nbAssignments=161956 nbFailedAssignments=95313 nbBacktracks=66480
381.39 nbVisitedNodes=301697 nbRestartNogoods=195
381.39 => wckTime=378.654 cpuTime=376.54 mem=66M851
531.08
531.08 search
531.08 run=20 nbConstraintChecks=309837905 nbValidityChecks=635174094 nbPropagations=10211055 nbRevisions=128090944
531.08 nbUselessRevisions=100978723 nbAssignments=234668 nbFailedAssignments=134768 nbBacktracks=99732
531.08 nbVisitedNodes=435255 nbRestartNogoods=211
531.08 => wckTime=528.34 cpuTime=525.52 mem=66M851
811.49
811.49 search
811.49 run=21 nbConstraintChecks=473823503 nbValidityChecks=972290273 nbPropagations=15389384 nbRevisions=192433832
811.49 nbUselessRevisions=151479690 nbAssignments=368163 nbFailedAssignments=218378 nbBacktracks=149610
811.49 nbVisitedNodes=685680 nbRestartNogoods=224
811.49 => wckTime=808.752 cpuTime=804.6 mem=66M851
1169.56
1169.56 search
1169.56 run=22 nbConstraintChecks=686883125 nbValidityChecks=1397307673 nbPropagations=22838853 nbRevisions=286877643
1169.56 nbUselessRevisions=226191044 nbAssignments=530022 nbFailedAssignments=305411 nbBacktracks=224428
1169.56 nbVisitedNodes=981981 nbRestartNogoods=240
1169.56 => wckTime=1166.822 cpuTime=1160.99 mem=66M851
1669.62
1669.62 search
1669.62 run=23 nbConstraintChecks=974358001 nbValidityChecks=2016729848 nbPropagations=33983184 nbRevisions=424363041
1669.62 nbUselessRevisions=334267917 nbAssignments=773837 nbFailedAssignments=436991 nbBacktracks=336655
1669.62 nbVisitedNodes=1430662 nbRestartNogoods=267
1669.62 => wckTime=1666.886 cpuTime=1658.68 mem=66M851
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node22/watcher-206567-1168073829 -o ROOT/results/node22/solver-206567-1168073829 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206567-1168073829/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: 0.85 0.97 1.03 5/86 8087
/proc/meminfo: memFree=1586312/2055920 swapFree=4157532/4192956
[pid=8086] ppid=8081 vsize=1784 CPUtime=0
/proc/8086/stat : 8086 (java) R 8081 8086 7977 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 155777465 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/8086/statm: 446 160 125 14 0 91 0
[startup+0.104683 s]
/proc/loadavg: 0.85 0.97 1.03 5/86 8087
/proc/meminfo: memFree=1586312/2055920 swapFree=4157532/4192956
[pid=8086] ppid=8081 vsize=913236 CPUtime=0.09
/proc/8086/stat : 8086 (java) R 8081 8086 7977 0 -1 0 2921 0 1 0 7 2 0 0 17 0 8 0 155777465 935153664 2667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8086/statm: 228309 2668 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 913236
[startup+0.512752 s]
/proc/loadavg: 0.85 0.97 1.03 5/86 8087
/proc/meminfo: memFree=1586312/2055920 swapFree=4157532/4192956
[pid=8086] ppid=8081 vsize=915328 CPUtime=0.5
/proc/8086/stat : 8086 (java) R 8081 8086 7977 0 -1 0 6898 0 1 0 46 4 0 0 18 0 8 0 155777465 937295872 6637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8086/statm: 228832 6637 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33387 s]
/proc/loadavg: 0.85 0.97 1.03 4/100 8101
/proc/meminfo: memFree=1452120/2055920 swapFree=4157532/4192956
[pid=8086] ppid=8081 vsize=915328 CPUtime=1.32
/proc/8086/stat : 8086 (java) R 8081 8086 7977 0 -1 0 19099 0 1 0 123 9 0 0 25 0 8 0 155777465 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445255 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8086/statm: 228832 18837 2149 14 0 215302 0
[pid=8086/tid=8089] ppid=8081 vsize=915328 CPUtime=0.05
/proc/8086/task/8089/stat : 8089 (java) S 8081 8086 7977 0 -1 64 2681 0 0 0 5 0 0 0 17 0 8 0 155777469 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8092] ppid=8081 vsize=915328 CPUtime=0
/proc/8086/task/8092/stat : 8092 (java) S 8081 8086 7977 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155777470 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8093] ppid=8081 vsize=915328 CPUtime=0
/proc/8086/task/8093/stat : 8093 (java) S 8081 8086 7977 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155777470 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8098] ppid=8081 vsize=915328 CPUtime=0
/proc/8086/task/8098/stat : 8098 (java) S 8081 8086 7977 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155777473 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8099] ppid=8081 vsize=915328 CPUtime=0.09
/proc/8086/task/8099/stat : 8099 (java) S 8081 8086 7977 0 -1 64 308 0 0 0 9 0 0 0 16 0 8 0 155777473 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8100] ppid=8081 vsize=915328 CPUtime=0
/proc/8086/task/8100/stat : 8100 (java) S 8081 8086 7977 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155777473 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8101] ppid=8081 vsize=915328 CPUtime=0
/proc/8086/task/8101/stat : 8101 (java) S 8081 8086 7977 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155777473 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.32
Current children cumulated vsize (KiB) 915328
[startup+2.98313 s]
/proc/loadavg: 0.85 0.97 1.03 5/100 8101
/proc/meminfo: memFree=1372184/2055920 swapFree=4157532/4192956
[pid=8086] ppid=8081 vsize=915440 CPUtime=2.95
/proc/8086/stat : 8086 (java) R 8081 8086 7977 0 -1 0 32556 0 1 0 279 16 0 0 25 0 8 0 155777465 937410560 32290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073860864 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8086/statm: 228860 32290 2521 14 0 215330 0
[pid=8086/tid=8089] ppid=8081 vsize=915440 CPUtime=0.46
/proc/8086/task/8089/stat : 8089 (java) S 8081 8086 7977 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 155777469 937410560 32290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8092] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8092/stat : 8092 (java) S 8081 8086 7977 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155777470 937410560 32290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8093] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8093/stat : 8093 (java) S 8081 8086 7977 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155777470 937410560 32290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8098] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8098/stat : 8098 (java) S 8081 8086 7977 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155777473 937410560 32290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8099] ppid=8081 vsize=915440 CPUtime=0.23
/proc/8086/task/8099/stat : 8099 (java) S 8081 8086 7977 0 -1 64 374 0 0 0 22 1 0 0 15 0 8 0 155777473 937410560 32290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8100] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8100/stat : 8100 (java) S 8081 8086 7977 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155777473 937410560 32290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8101] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8101/stat : 8101 (java) S 8081 8086 7977 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155777473 937410560 32290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915440
[startup+6.27564 s]
/proc/loadavg: 0.94 0.98 1.04 3/100 8101
/proc/meminfo: memFree=1348120/2055920 swapFree=4157532/4192956
[pid=8086] ppid=8081 vsize=915440 CPUtime=6.22
/proc/8086/stat : 8086 (java) R 8081 8086 7977 0 -1 0 32571 0 1 0 606 16 0 0 25 0 8 0 155777465 937410560 32302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942055 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8086/statm: 228860 32302 2521 14 0 215330 0
[pid=8086/tid=8089] ppid=8081 vsize=915440 CPUtime=0.46
/proc/8086/task/8089/stat : 8089 (java) S 8081 8086 7977 0 -1 64 15583 0 0 0 40 6 0 0 17 0 8 0 155777469 937410560 32302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8092] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8092/stat : 8092 (java) S 8081 8086 7977 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155777470 937410560 32302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8093] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8093/stat : 8093 (java) S 8081 8086 7977 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155777470 937410560 32302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8098] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8098/stat : 8098 (java) S 8081 8086 7977 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155777473 937410560 32302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8099] ppid=8081 vsize=915440 CPUtime=0.26
/proc/8086/task/8099/stat : 8099 (java) S 8081 8086 7977 0 -1 64 388 0 0 0 25 1 0 0 15 0 8 0 155777473 937410560 32302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8100] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8100/stat : 8100 (java) S 8081 8086 7977 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155777473 937410560 32302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8101] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8101/stat : 8101 (java) S 8081 8086 7977 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155777473 937410560 32302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915440
[startup+12.7606 s]
/proc/loadavg: 1.02 1.00 1.04 3/100 8101
/proc/meminfo: memFree=1348128/2055920 swapFree=4157532/4192956
[pid=8086] ppid=8081 vsize=915440 CPUtime=12.67
/proc/8086/stat : 8086 (java) R 8081 8086 7977 0 -1 0 32590 0 1 0 1251 16 0 0 25 0 8 0 155777465 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8086/statm: 228860 32317 2521 14 0 215330 0
[pid=8086/tid=8089] ppid=8081 vsize=915440 CPUtime=0.46
/proc/8086/task/8089/stat : 8089 (java) S 8081 8086 7977 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 155777469 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8092] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8092/stat : 8092 (java) S 8081 8086 7977 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155777470 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8093] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8093/stat : 8093 (java) S 8081 8086 7977 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155777470 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8098] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8098/stat : 8098 (java) S 8081 8086 7977 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155777473 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8099] ppid=8081 vsize=915440 CPUtime=0.29
/proc/8086/task/8099/stat : 8099 (java) S 8081 8086 7977 0 -1 64 405 0 0 0 28 1 0 0 16 0 8 0 155777473 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8100] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8100/stat : 8100 (java) S 8081 8086 7977 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155777473 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8101] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8101/stat : 8101 (java) S 8081 8086 7977 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155777473 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915440
[startup+25.6246 s]
/proc/loadavg: 1.24 1.05 1.06 4/100 8101
/proc/meminfo: memFree=1348384/2055920 swapFree=4157532/4192956
[pid=8086] ppid=8081 vsize=915440 CPUtime=25.48
/proc/8086/stat : 8086 (java) R 8081 8086 7977 0 -1 0 32590 0 1 0 2532 16 0 0 25 0 8 0 155777465 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802458 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8086/statm: 228860 32317 2521 14 0 215330 0
[pid=8086/tid=8089] ppid=8081 vsize=915440 CPUtime=0.46
/proc/8086/task/8089/stat : 8089 (java) S 8081 8086 7977 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 155777469 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8092] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8092/stat : 8092 (java) S 8081 8086 7977 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155777470 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8093] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8093/stat : 8093 (java) S 8081 8086 7977 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155777470 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8098] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8098/stat : 8098 (java) S 8081 8086 7977 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155777473 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8099] ppid=8081 vsize=915440 CPUtime=0.29
/proc/8086/task/8099/stat : 8099 (java) S 8081 8086 7977 0 -1 64 405 0 0 0 28 1 0 0 16 0 8 0 155777473 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8100] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8100/stat : 8100 (java) S 8081 8086 7977 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155777473 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8101] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8101/stat : 8101 (java) S 8081 8086 7977 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155777473 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915440
[startup+51.2456 s]
/proc/loadavg: 1.50 1.12 1.08 3/100 8101
/proc/meminfo: memFree=1348448/2055920 swapFree=4157532/4192956
[pid=8086] ppid=8081 vsize=915440 CPUtime=50.98
/proc/8086/stat : 8086 (java) R 8081 8086 7977 0 -1 0 32590 0 1 0 5081 17 0 0 25 0 8 0 155777465 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630000 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8086/statm: 228860 32317 2521 14 0 215330 0
[pid=8086/tid=8089] ppid=8081 vsize=915440 CPUtime=0.46
/proc/8086/task/8089/stat : 8089 (java) S 8081 8086 7977 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 155777469 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8092] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8092/stat : 8092 (java) S 8081 8086 7977 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155777470 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8093] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8093/stat : 8093 (java) S 8081 8086 7977 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155777470 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8098] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8098/stat : 8098 (java) S 8081 8086 7977 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155777473 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8099] ppid=8081 vsize=915440 CPUtime=0.29
/proc/8086/task/8099/stat : 8099 (java) S 8081 8086 7977 0 -1 64 405 0 0 0 28 1 0 0 16 0 8 0 155777473 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8100] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8100/stat : 8100 (java) S 8081 8086 7977 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155777473 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8101] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8101/stat : 8101 (java) S 8081 8086 7977 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155777473 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 915440
[startup+102.481 s]
/proc/loadavg: 1.78 1.26 1.13 3/100 8101
/proc/meminfo: memFree=1348512/2055920 swapFree=4157532/4192956
[pid=8086] ppid=8081 vsize=915440 CPUtime=101.97
/proc/8086/stat : 8086 (java) R 8081 8086 7977 0 -1 0 32590 0 1 0 10180 17 0 0 25 0 8 0 155777465 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8086/statm: 228860 32317 2521 14 0 215330 0
[pid=8086/tid=8089] ppid=8081 vsize=915440 CPUtime=0.46
/proc/8086/task/8089/stat : 8089 (java) S 8081 8086 7977 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 155777469 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8092] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8092/stat : 8092 (java) S 8081 8086 7977 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155777470 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8093] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8093/stat : 8093 (java) S 8081 8086 7977 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155777470 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8098] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8098/stat : 8098 (java) S 8081 8086 7977 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155777473 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8099] ppid=8081 vsize=915440 CPUtime=0.29
/proc/8086/task/8099/stat : 8099 (java) S 8081 8086 7977 0 -1 64 405 0 0 0 28 1 0 0 16 0 8 0 155777473 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8100] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8100/stat : 8100 (java) S 8081 8086 7977 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155777473 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8101] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8101/stat : 8101 (java) S 8081 8086 7977 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155777473 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.97
Current children cumulated vsize (KiB) 915440
[startup+162.566 s]
/proc/loadavg: 1.92 1.39 1.18 4/100 8101
/proc/meminfo: memFree=1348512/2055920 swapFree=4157532/4192956
[pid=8086] ppid=8081 vsize=915440 CPUtime=161.78
/proc/8086/stat : 8086 (java) R 8081 8086 7977 0 -1 0 32590 0 1 0 16160 18 0 0 25 0 8 0 155777465 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1417.4
Current children cumulated vsize (KiB) 915440
[startup+1484.45 s]
/proc/loadavg: 2.00 2.00 1.79 3/100 8301
/proc/meminfo: memFree=1347680/2055920 swapFree=4157532/4192956
[pid=8086] ppid=8081 vsize=915440 CPUtime=1477.19
/proc/8086/stat : 8086 (java) R 8081 8086 7977 0 -1 0 32592 0 1 0 147691 28 0 0 25 0 8 0 155777465 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8086/statm: 228860 32318 2521 14 0 215330 0
[pid=8086/tid=8089] ppid=8081 vsize=915440 CPUtime=0.46
/proc/8086/task/8089/stat : 8089 (java) S 8081 8086 7977 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 155777469 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8092] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8092/stat : 8092 (java) S 8081 8086 7977 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155777470 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8093] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8093/stat : 8093 (java) S 8081 8086 7977 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155777470 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8098] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8098/stat : 8098 (java) S 8081 8086 7977 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155777473 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8099] ppid=8081 vsize=915440 CPUtime=0.3
/proc/8086/task/8099/stat : 8099 (java) S 8081 8086 7977 0 -1 64 406 0 0 0 29 1 0 0 16 0 8 0 155777473 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8100] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8100/stat : 8100 (java) S 8081 8086 7977 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155777473 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8101] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8101/stat : 8101 (java) S 8081 8086 7977 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155777473 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1477.19
Current children cumulated vsize (KiB) 915440
[startup+1544.53 s]
/proc/loadavg: 2.00 2.00 1.80 3/100 8301
/proc/meminfo: memFree=1347680/2055920 swapFree=4157532/4192956
[pid=8086] ppid=8081 vsize=915440 CPUtime=1537
/proc/8086/stat : 8086 (java) R 8081 8086 7977 0 -1 0 32592 0 1 0 153671 29 0 0 25 0 8 0 155777465 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629950 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8086/statm: 228860 32318 2521 14 0 215330 0
[pid=8086/tid=8089] ppid=8081 vsize=915440 CPUtime=0.46
/proc/8086/task/8089/stat : 8089 (java) S 8081 8086 7977 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 155777469 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8092] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8092/stat : 8092 (java) S 8081 8086 7977 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155777470 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8093] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8093/stat : 8093 (java) S 8081 8086 7977 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155777470 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8098] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8098/stat : 8098 (java) S 8081 8086 7977 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155777473 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8099] ppid=8081 vsize=915440 CPUtime=0.3
/proc/8086/task/8099/stat : 8099 (java) S 8081 8086 7977 0 -1 64 406 0 0 0 29 1 0 0 16 0 8 0 155777473 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8100] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8100/stat : 8100 (java) S 8081 8086 7977 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155777473 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8101] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8101/stat : 8101 (java) S 8081 8086 7977 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155777473 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1537
Current children cumulated vsize (KiB) 915440
[startup+1604.62 s]
/proc/loadavg: 2.00 2.00 1.81 3/100 8301
/proc/meminfo: memFree=1347744/2055920 swapFree=4157532/4192956
[pid=8086] ppid=8081 vsize=915440 CPUtime=1596.81
/proc/8086/stat : 8086 (java) R 8081 8086 7977 0 -1 0 32592 0 1 0 159651 30 0 0 25 0 8 0 155777465 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808247 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8086/statm: 228860 32318 2521 14 0 215330 0
[pid=8086/tid=8089] ppid=8081 vsize=915440 CPUtime=0.46
/proc/8086/task/8089/stat : 8089 (java) S 8081 8086 7977 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 155777469 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8092] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8092/stat : 8092 (java) S 8081 8086 7977 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155777470 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8093] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8093/stat : 8093 (java) S 8081 8086 7977 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155777470 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8098] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8098/stat : 8098 (java) S 8081 8086 7977 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155777473 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8099] ppid=8081 vsize=915440 CPUtime=0.3
/proc/8086/task/8099/stat : 8099 (java) S 8081 8086 7977 0 -1 64 406 0 0 0 29 1 0 0 16 0 8 0 155777473 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8100] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8100/stat : 8100 (java) S 8081 8086 7977 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155777473 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8101] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8101/stat : 8101 (java) S 8081 8086 7977 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155777473 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.81
Current children cumulated vsize (KiB) 915440
[startup+1664.7 s]
/proc/loadavg: 2.08 2.02 1.83 3/100 8301
/proc/meminfo: memFree=1347744/2055920 swapFree=4157532/4192956
[pid=8086] ppid=8081 vsize=915440 CPUtime=1656.6
/proc/8086/stat : 8086 (java) R 8081 8086 7977 0 -1 0 32592 0 1 0 165630 30 0 0 25 0 8 0 155777465 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629925 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8086/statm: 228860 32318 2521 14 0 215330 0
[pid=8086/tid=8089] ppid=8081 vsize=915440 CPUtime=0.46
/proc/8086/task/8089/stat : 8089 (java) S 8081 8086 7977 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 155777469 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8092] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8092/stat : 8092 (java) S 8081 8086 7977 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155777470 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8093] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8093/stat : 8093 (java) S 8081 8086 7977 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155777470 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8098] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8098/stat : 8098 (java) S 8081 8086 7977 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155777473 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8099] ppid=8081 vsize=915440 CPUtime=0.3
/proc/8086/task/8099/stat : 8099 (java) S 8081 8086 7977 0 -1 64 406 0 0 0 29 1 0 0 16 0 8 0 155777473 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8100] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8100/stat : 8100 (java) S 8081 8086 7977 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155777473 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8101] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8101/stat : 8101 (java) S 8081 8086 7977 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155777473 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1656.6
Current children cumulated vsize (KiB) 915440
[startup+1724.78 s]
/proc/loadavg: 2.03 2.01 1.83 3/100 8301
/proc/meminfo: memFree=1347680/2055920 swapFree=4157532/4192956
[pid=8086] ppid=8081 vsize=915440 CPUtime=1716.4
/proc/8086/stat : 8086 (java) R 8081 8086 7977 0 -1 0 32592 0 1 0 171609 31 0 0 25 0 8 0 155777465 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660092 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8086/statm: 228860 32318 2521 14 0 215330 0
[pid=8086/tid=8089] ppid=8081 vsize=915440 CPUtime=0.46
/proc/8086/task/8089/stat : 8089 (java) S 8081 8086 7977 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 155777469 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8092] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8092/stat : 8092 (java) S 8081 8086 7977 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155777470 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8093] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8093/stat : 8093 (java) S 8081 8086 7977 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155777470 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8098] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8098/stat : 8098 (java) S 8081 8086 7977 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155777473 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8099] ppid=8081 vsize=915440 CPUtime=0.3
/proc/8086/task/8099/stat : 8099 (java) S 8081 8086 7977 0 -1 64 406 0 0 0 29 1 0 0 16 0 8 0 155777473 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8100] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8100/stat : 8100 (java) S 8081 8086 7977 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155777473 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8101] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8101/stat : 8101 (java) S 8081 8086 7977 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155777473 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1716.4
Current children cumulated vsize (KiB) 915440
[startup+1784.87 s]
/proc/loadavg: 2.01 2.00 1.84 3/100 8301
/proc/meminfo: memFree=1347680/2055920 swapFree=4157532/4192956
[pid=8086] ppid=8081 vsize=915440 CPUtime=1776.19
/proc/8086/stat : 8086 (java) R 8081 8086 7977 0 -1 0 32592 0 1 0 177588 31 0 0 25 0 8 0 155777465 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8086/statm: 228860 32318 2521 14 0 215330 0
[pid=8086/tid=8089] ppid=8081 vsize=915440 CPUtime=0.46
/proc/8086/task/8089/stat : 8089 (java) S 8081 8086 7977 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 155777469 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8092] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8092/stat : 8092 (java) S 8081 8086 7977 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155777470 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8093] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8093/stat : 8093 (java) S 8081 8086 7977 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155777470 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8098] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8098/stat : 8098 (java) S 8081 8086 7977 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155777473 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8099] ppid=8081 vsize=915440 CPUtime=0.3
/proc/8086/task/8099/stat : 8099 (java) S 8081 8086 7977 0 -1 64 406 0 0 0 29 1 0 0 16 0 8 0 155777473 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8100] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8100/stat : 8100 (java) S 8081 8086 7977 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155777473 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8101] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8101/stat : 8101 (java) S 8081 8086 7977 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155777473 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1776.19
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.84 s]
/proc/loadavg: 2.00 2.00 1.84 3/100 8301
/proc/meminfo: memFree=1347680/2055920 swapFree=4157532/4192956
[pid=8086] ppid=8081 vsize=915440 CPUtime=1800.08
/proc/8086/stat : 8086 (java) R 8081 8086 7977 0 -1 0 32592 0 1 0 179976 32 0 0 25 0 8 0 155777465 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805471 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8086/statm: 228860 32318 2521 14 0 215330 0
[pid=8086/tid=8089] ppid=8081 vsize=915440 CPUtime=0.46
/proc/8086/task/8089/stat : 8089 (java) S 8081 8086 7977 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 155777469 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8092] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8092/stat : 8092 (java) S 8081 8086 7977 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155777470 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8093] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8093/stat : 8093 (java) S 8081 8086 7977 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155777470 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8098] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8098/stat : 8098 (java) S 8081 8086 7977 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155777473 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8099] ppid=8081 vsize=915440 CPUtime=0.3
/proc/8086/task/8099/stat : 8099 (java) S 8081 8086 7977 0 -1 64 406 0 0 0 29 1 0 0 16 0 8 0 155777473 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8100] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8100/stat : 8100 (java) S 8081 8086 7977 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155777473 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8086/tid=8101] ppid=8081 vsize=915440 CPUtime=0
/proc/8086/task/8101/stat : 8101 (java) S 8081 8086 7977 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155777473 937410560 32318 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): 1808.89
CPU time (s): 1800.12
CPU user time (s): 1799.78
CPU system time (s): 0.342947
CPU usage (%): 99.5152
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.342947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32608
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= 37756
involuntary context switches= 81103
runsolver used 2.06669 s user time and 5.9441 s system time
The end
Begin job on node22 on Sat Jan 6 08:57:10 UTC 2007
IDJOB= 206567
IDBENCH= 4218
FILE ID= node22/206567-1168073829
PBS_JOBID= 3476005
Free space on /tmp= 66536 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-38_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206567-1168073829/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-206567-1168073829 -o ROOT/results/node22/solver-206567-1168073829 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206567-1168073829/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9f119c73378eb18afa57aed4e777b3ca
RANDOM SEED= 8647930
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.279
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.279
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: 1587544 kB
Buffers: 37332 kB
Cached: 321388 kB
SwapCached: 13648 kB
Active: 100452 kB
Inactive: 300936 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1587544 kB
SwapTotal: 4192956 kB
SwapFree: 4157532 kB
Dirty: 15236 kB
Writeback: 0 kB
Mapped: 57880 kB
Slab: 52140 kB
Committed_AS: 2581748 kB
PageTables: 2116 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= 66536 MiB
End job on node22 on Sat Jan 6 09:27:19 UTC 2007