0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/237773-1168083348/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.49 nbVariables=1156 nbDomainTypes=1 minDomainSize=34 maxDomainSize=34
0.49 => wckTime=0.192 cpuTime=0.14 mem=9M813
0.49
0.49 predicates being loaded...
0.50
0.50 constraints being loaded...
2.74 nbConstraints=19107 nbConvertedConstraints=19107 nbConvertConstraintsChecks=4624 nbExtensionStructures=4
2.74 nbSharedExtensionStructures=19103 nbConflictsStructures=4 nbSharedConflictsStructures=19103
2.74 nbSharedBinaryRepresentations=203 maxDegree=34 maxArity=2
2.74 => wckTime=2.444 cpuTime=2.12 mem=29M666
2.88
2.88 solver IterativeSystematicSolver being built...
3.11 => wckTime=2.805 cpuTime=2.29 mem=33M841
3.21
3.21 preprocessing
3.21 nbConstraintChecks=0 nbPropagations=1156 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
3.21 detectedInconsistency=no
3.21 => wckTime=0.094 cpuTime=0.08 mem=33M841
3.42
3.42 search
3.42 run=0 nbConstraintChecks=75995 nbPropagations=4047 nbRevisions=2917 nbUselessRevisions=71 nbAssignments=114
3.42 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=135 nbRestartNogoods=0 mapSize=10 nbInferences=0
3.42 nbTooLargeKeys=0
3.42 => wckTime=0.304 cpuTime=0.27 mem=34M850
3.52
3.52 search
3.52 run=1 nbConstraintChecks=152309 nbPropagations=11029 nbRevisions=8805 nbUselessRevisions=220 nbAssignments=237
3.52 nbFailedAssignments=24 nbBacktracks=25 nbVisitedNodes=286 nbRestartNogoods=4 mapSize=25 nbInferences=0
3.52 nbTooLargeKeys=0
3.52 => wckTime=0.411 cpuTime=0.38 mem=35M858
3.63
3.63 search
3.63 run=2 nbConstraintChecks=228850 nbPropagations=21011 nbRevisions=17737 nbUselessRevisions=451
3.63 nbAssignments=373 nbFailedAssignments=44 nbBacktracks=47 nbVisitedNodes=462 nbRestartNogoods=7 mapSize=47
3.63 nbInferences=0 nbTooLargeKeys=0
3.63 => wckTime=0.521 cpuTime=0.49 mem=35M858
3.75
3.75 search
3.75 run=3 nbConstraintChecks=305712 nbPropagations=34075 nbRevisions=29796 nbUselessRevisions=767
3.75 nbAssignments=528 nbFailedAssignments=71 nbBacktracks=80 nbVisitedNodes=672 nbRestartNogoods=12 mapSize=80
3.75 nbInferences=1 nbTooLargeKeys=0
3.75 => wckTime=0.639 cpuTime=0.6 mem=36M867
3.88
3.88 search
3.88 run=4 nbConstraintChecks=382953 nbPropagations=50355 nbRevisions=45108 nbUselessRevisions=1166
3.88 nbAssignments=713 nbFailedAssignments=108 nbBacktracks=131 nbVisitedNodes=936 nbRestartNogoods=16 mapSize=131
3.88 nbInferences=6 nbTooLargeKeys=0
3.88 => wckTime=0.77 cpuTime=0.73 mem=37M876
4.05
4.05 search
4.05 run=5 nbConstraintChecks=460908 nbPropagations=70080 nbRevisions=63879 nbUselessRevisions=1649
4.05 nbAssignments=946 nbFailedAssignments=157 nbBacktracks=206 nbVisitedNodes=1284 nbRestartNogoods=20 mapSize=206
4.05 nbInferences=23 nbTooLargeKeys=0
4.05 => wckTime=0.935 cpuTime=0.89 mem=38M884
4.24
4.24 search
4.24 run=6 nbConstraintChecks=539760 nbPropagations=93571 nbRevisions=86421 nbUselessRevisions=2218
4.24 nbAssignments=1250 nbFailedAssignments=232 nbBacktracks=320 nbVisitedNodes=1760 nbRestartNogoods=22
4.24 mapSize=320 nbInferences=45 nbTooLargeKeys=0
4.24 => wckTime=1.131 cpuTime=1.08 mem=39M893
4.52
4.52 search
4.52 run=7 nbConstraintChecks=619924 nbPropagations=121327 nbRevisions=113196 nbUselessRevisions=2877
4.52 nbAssignments=1663 nbFailedAssignments=339 nbBacktracks=490 nbVisitedNodes=2429 nbRestartNogoods=28
4.52 mapSize=490 nbInferences=87 nbTooLargeKeys=0
4.52 => wckTime=1.411 cpuTime=1.34 mem=41M910
4.88
4.88 search
4.88 run=8 nbConstraintChecks=702205 nbPropagations=154131 nbRevisions=144910 nbUselessRevisions=3630
4.88 nbAssignments=2246 nbFailedAssignments=490 nbBacktracks=746 nbVisitedNodes=3397 nbRestartNogoods=36
4.88 mapSize=746 nbInferences=170 nbTooLargeKeys=0
4.88 => wckTime=1.766 cpuTime=1.69 mem=44M936
5.39
5.39 search
5.39 run=9 nbConstraintChecks=787982 nbPropagations=193266 nbRevisions=182699 nbUselessRevisions=4477
5.39 nbAssignments=3098 nbFailedAssignments=708 nbBacktracks=1130 nbVisitedNodes=4841 nbRestartNogoods=43
5.39 mapSize=1130 nbInferences=326 nbTooLargeKeys=0
5.39 => wckTime=2.28 cpuTime=2.21 mem=48M970
6.14
6.14 search
6.14 run=10 nbConstraintChecks=878948 nbPropagations=240732 nbRevisions=228278 nbUselessRevisions=5420
6.14 nbAssignments=4377 nbFailedAssignments=1018 nbBacktracks=1707 nbVisitedNodes=7041 nbRestartNogoods=48
6.14 mapSize=1707 nbInferences=627 nbTooLargeKeys=0
6.14 => wckTime=3.026 cpuTime=2.95 mem=56M31
7.20
7.20 search
7.20 run=11 nbConstraintChecks=978762 nbPropagations=299108 nbRevisions=284065 nbUselessRevisions=6500
7.20 nbAssignments=6207 nbFailedAssignments=1495 nbBacktracks=2571 nbVisitedNodes=10227 nbRestartNogoods=51
7.20 mapSize=2567 nbInferences=1029 nbTooLargeKeys=0
7.20 => wckTime=4.093 cpuTime=3.98 mem=37M556
8.40
8.40 search
8.40 run=12 nbConstraintChecks=1090656 nbPropagations=370968 nbRevisions=353052 nbUselessRevisions=7794
8.40 nbAssignments=8630 nbFailedAssignments=2320 nbBacktracks=3869 nbVisitedNodes=14539 nbRestartNogoods=56
8.40 mapSize=3850 nbInferences=1268 nbTooLargeKeys=0
8.40 => wckTime=5.29 cpuTime=5.17 mem=46M633
10.37
10.37 search
10.37 run=13 nbConstraintChecks=1243395 nbPropagations=468051 nbRevisions=444751 nbUselessRevisions=9660
10.37 nbAssignments=13178 nbFailedAssignments=3269 nbBacktracks=5816 nbVisitedNodes=22609 nbRestartNogoods=60
10.37 mapSize=5758 nbInferences=2892 nbTooLargeKeys=0
10.37 => wckTime=7.259 cpuTime=7.14 mem=51M676
13.73
13.73 search
13.73 run=14 nbConstraintChecks=1646498 nbPropagations=612186 nbRevisions=577887 nbUselessRevisions=12872
13.73 nbAssignments=20792 nbFailedAssignments=4348 nbBacktracks=8735 nbVisitedNodes=35871 nbRestartNogoods=66
13.73 mapSize=8597 nbInferences=6383 nbTooLargeKeys=0
13.73 => wckTime=10.624 cpuTime=10.5 mem=58M736
21.43
21.43 search
21.43 run=15 nbConstraintChecks=2060944 nbPropagations=831671 nbRevisions=773773 nbUselessRevisions=17356
21.43 nbAssignments=33639 nbFailedAssignments=5726 nbBacktracks=13113 nbVisitedNodes=58442 nbRestartNogoods=74
21.43 mapSize=12941 nbInferences=13351 nbTooLargeKeys=0
21.43 => wckTime=18.314 cpuTime=18.09 mem=84M238
33.23
33.23 search
33.23 run=16 nbConstraintChecks=2592601 nbPropagations=1161631 nbRevisions=1060168 nbUselessRevisions=23699
33.23 nbAssignments=53129 nbFailedAssignments=7599 nbBacktracks=19681 nbVisitedNodes=92604 nbRestartNogoods=93
33.23 mapSize=19471 nbInferences=24277 nbTooLargeKeys=0
33.23 => wckTime=30.12 cpuTime=29.82 mem=149M309
53.67
53.67 search
53.67 run=17 nbConstraintChecks=3430907 nbPropagations=1683892 nbRevisions=1501505 nbUselessRevisions=33152
53.67 nbAssignments=85923 nbFailedAssignments=9887 nbBacktracks=29534 nbVisitedNodes=150503 nbRestartNogoods=114
53.67 mapSize=29285 nbInferences=44806 nbTooLargeKeys=0
53.67 => wckTime=50.554 cpuTime=50.05 mem=208M353
73.16
73.16 search
73.16 run=18 nbConstraintChecks=4050944 nbPropagations=2392485 nbRevisions=2097686 nbUselessRevisions=43094
73.16 nbAssignments=122837 nbFailedAssignments=15934 nbBacktracks=44312 nbVisitedNodes=215520 nbRestartNogoods=133
73.16 mapSize=44030 nbInferences=60815 nbTooLargeKeys=0
73.16 => wckTime=70.052 cpuTime=69.39 mem=289M200
121.77
121.78 search
121.78 run=19 nbConstraintChecks=6065268 nbPropagations=3583394 nbRevisions=3079840 nbUselessRevisions=60981
121.78 nbAssignments=202342 nbFailedAssignments=20300 nbBacktracks=66480 nbVisitedNodes=356572 nbRestartNogoods=137
121.78 mapSize=66121 nbInferences=113633 nbTooLargeKeys=0
121.78 => wckTime=118.664 cpuTime=117.61 mem=438M221
165.36
165.36 INFO : Stopping hyperNogood (mapSize=86516, nbTooLargekeys=0, mem=601M436)
171.52
171.52 search
171.52 run=20 nbConstraintChecks=8110553 nbPropagations=5300146 nbRevisions=4502868 nbUselessRevisions=86071
171.52 nbAssignments=295452 nbFailedAssignments=33338 nbBacktracks=99735 nbVisitedNodes=522421 nbRestartNogoods=163
171.52 => wckTime=168.413 cpuTime=167.02 mem=601M436
195.56
195.56 search
195.56 run=21 nbConstraintChecks=9264957 nbPropagations=7399727 nbRevisions=6309853 nbUselessRevisions=112303
195.56 nbAssignments=379845 nbFailedAssignments=67699 nbBacktracks=149613 nbVisitedNodes=675536 nbRestartNogoods=180
195.56 => wckTime=192.449 cpuTime=191.05 mem=601M436
231.79
231.79 search
231.79 run=22 nbConstraintChecks=10802075 nbPropagations=10069431 nbRevisions=8687365 nbUselessRevisions=138949
231.79 nbAssignments=506746 nbFailedAssignments=119666 nbBacktracks=224431 nbVisitedNodes=906371 nbRestartNogoods=200
231.79 => wckTime=228.678 cpuTime=227.27 mem=601M436
283.31
283.31 search
283.31 run=23 nbConstraintChecks=13317458 nbPropagations=13598817 nbRevisions=11926834 nbUselessRevisions=167773
283.31 nbAssignments=696854 nbFailedAssignments=197359 nbBacktracks=336659 nbVisitedNodes=1251862 nbRestartNogoods=213
283.31 => wckTime=280.199 cpuTime=278.78 mem=601M436
361.85
361.85 search
361.85 run=24 nbConstraintChecks=16891782 nbPropagations=18411500 nbRevisions=16452468 nbUselessRevisions=199409
361.85 nbAssignments=981837 nbFailedAssignments=313815 nbBacktracks=505001 nbVisitedNodes=1769756 nbRestartNogoods=235
361.85 => wckTime=358.738 cpuTime=357.29 mem=601M436
479.36
479.37 search
479.37 run=25 nbConstraintChecks=22019322 nbPropagations=25138322 nbRevisions=22903006 nbUselessRevisions=238916
479.37 nbAssignments=1408343 nbFailedAssignments=487626 nbBacktracks=757512 nbVisitedNodes=2543883
479.37 nbRestartNogoods=261
479.37 => wckTime=476.254 cpuTime=474.79 mem=601M436
656.57
656.57 search
656.57 run=26 nbConstraintChecks=29508146 nbPropagations=34740080 nbRevisions=32230725 nbUselessRevisions=280667
656.57 nbAssignments=2050536 nbFailedAssignments=750892 nbBacktracks=1136279 nbVisitedNodes=3712607
656.57 nbRestartNogoods=285
656.57 => wckTime=653.459 cpuTime=651.94 mem=601M436
910.24
910.24 search
910.24 run=27 nbConstraintChecks=40660306 nbPropagations=48640282 nbRevisions=45861073 nbUselessRevisions=326593
910.24 nbAssignments=3011200 nbFailedAssignments=1143185 nbBacktracks=1704431 nbVisitedNodes=5457854
910.24 nbRestartNogoods=300
910.24 => wckTime=907.133 cpuTime=905.56 mem=601M436
1292.68
1292.68 search
1292.68 run=28 nbConstraintChecks=57186372 nbPropagations=68988831 nbRevisions=65944323 nbUselessRevisions=377071
1292.68 nbAssignments=4453626 nbFailedAssignments=1733167 nbBacktracks=2556657 nbVisitedNodes=8080241
1292.68 nbRestartNogoods=325
1292.68 => wckTime=1289.572 cpuTime=1287.89 mem=601M436
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-237773-1168083348 -o ROOT/results/node14/solver-237773-1168083348 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237773-1168083348/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.18 1.06 1.52 3/81 27446
/proc/meminfo: memFree=1444824/2055920 swapFree=4182236/4192956
[pid=27445] ppid=27443 vsize=1500 CPUtime=0
/proc/27445/stat : 27445 (java) R 27443 27445 27141 0 -1 0 87 0 0 0 0 0 0 0 19 0 1 0 156732418 1536000 69 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 6898272 0 0 4096 0 0 0 0 17 1 0 0
/proc/27445/statm: 375 69 55 14 0 8 0
[startup+0.105707 s]
/proc/loadavg: 0.18 1.06 1.52 3/81 27446
/proc/meminfo: memFree=1444824/2055920 swapFree=4182236/4192956
[pid=27445] ppid=27443 vsize=914988 CPUtime=0.08
/proc/27445/stat : 27445 (java) D 27443 27445 27141 0 -1 0 2988 0 1 0 6 2 0 0 18 0 8 0 156732418 936947712 2734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27445/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513743 s]
/proc/loadavg: 0.18 1.06 1.52 3/81 27446
/proc/meminfo: memFree=1444824/2055920 swapFree=4182236/4192956
[pid=27445] ppid=27443 vsize=915328 CPUtime=0.48
/proc/27445/stat : 27445 (java) R 27443 27445 27141 0 -1 0 6806 0 1 0 44 4 0 0 17 0 8 0 156732418 937295872 6545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073580258 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27445/statm: 228832 6546 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33482 s]
/proc/loadavg: 0.25 1.06 1.51 2/88 27453
/proc/meminfo: memFree=1382624/2055920 swapFree=4182236/4192956
[pid=27445] ppid=27443 vsize=915628 CPUtime=1.31
/proc/27445/stat : 27445 (java) R 27443 27445 27141 0 -1 0 17946 0 1 0 118 13 0 0 16 0 8 0 156732418 937603072 17684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27445/statm: 228907 17684 2180 14 0 215377 0
[pid=27445/tid=27447] ppid=27443 vsize=915628 CPUtime=0.04
/proc/27445/task/27447/stat : 27447 (java) S 27443 27445 27141 0 -1 64 1341 0 0 0 4 0 0 0 17 0 8 0 156732422 937603072 17684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27448] ppid=27443 vsize=915628 CPUtime=0
/proc/27445/task/27448/stat : 27448 (java) S 27443 27445 27141 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732422 937603072 17684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27449] ppid=27443 vsize=915632 CPUtime=0
/proc/27445/task/27449/stat : 27449 (java) S 27443 27445 27141 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732422 937607168 17684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27450] ppid=27443 vsize=915628 CPUtime=0
/proc/27445/task/27450/stat : 27450 (java) S 27443 27445 27141 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156732426 937603072 17684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27445/tid=27451] ppid=27443 vsize=915632 CPUtime=0.17
/proc/27445/task/27451/stat : 27451 (java) S 27443 27445 27141 0 -1 64 415 0 0 0 17 0 0 0 16 0 8 0 156732426 937607168 17684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27452] ppid=27443 vsize=915628 CPUtime=0
/proc/27445/task/27452/stat : 27452 (java) S 27443 27445 27141 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156732426 937603072 17684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27445/tid=27453] ppid=27443 vsize=915632 CPUtime=0
/proc/27445/task/27453/stat : 27453 (java) S 27443 27445 27141 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732426 937607168 17684 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) 915628
[startup+2.97198 s]
/proc/loadavg: 0.25 1.06 1.51 2/88 27453
/proc/meminfo: memFree=1369184/2055920 swapFree=4182236/4192956
[pid=27445] ppid=27443 vsize=915732 CPUtime=2.95
/proc/27445/stat : 27445 (java) S 27443 27445 27141 0 -1 0 23493 0 1 0 211 84 0 0 16 0 8 0 156732418 937709568 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27445/statm: 228933 23215 2495 14 0 215403 0
[pid=27445/tid=27447] ppid=27443 vsize=915732 CPUtime=0.29
/proc/27445/task/27447/stat : 27447 (java) S 27443 27445 27141 0 -1 64 6505 0 0 0 27 2 0 0 17 0 8 0 156732422 937709568 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27448] ppid=27443 vsize=915732 CPUtime=0
/proc/27445/task/27448/stat : 27448 (java) S 27443 27445 27141 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732422 937709568 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27449] ppid=27443 vsize=915732 CPUtime=0
/proc/27445/task/27449/stat : 27449 (java) S 27443 27445 27141 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732422 937709568 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27450] ppid=27443 vsize=915732 CPUtime=0
/proc/27445/task/27450/stat : 27450 (java) S 27443 27445 27141 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156732426 937709568 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27445/tid=27451] ppid=27443 vsize=915732 CPUtime=0.24
/proc/27445/task/27451/stat : 27451 (java) R 27443 27445 27141 0 -1 64 446 0 0 0 23 1 0 0 16 0 8 0 156732426 937709568 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153265690 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27452] ppid=27443 vsize=915732 CPUtime=0
/proc/27445/task/27452/stat : 27452 (java) S 27443 27445 27141 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156732426 937709568 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27445/tid=27453] ppid=27443 vsize=915732 CPUtime=0
/proc/27445/task/27453/stat : 27453 (java) S 27443 27445 27141 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732426 937709568 23215 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) 915732
[startup+6.26629 s]
/proc/loadavg: 0.31 1.06 1.51 2/88 27453
/proc/meminfo: memFree=1361120/2055920 swapFree=4182236/4192956
[pid=27445] ppid=27443 vsize=915856 CPUtime=6.23
/proc/27445/stat : 27445 (java) R 27443 27445 27141 0 -1 0 23647 0 1 0 538 85 0 0 17 0 8 0 156732418 937836544 23365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27445/statm: 228964 23365 2535 14 0 215434 0
[pid=27445/tid=27447] ppid=27443 vsize=915856 CPUtime=0.29
/proc/27445/task/27447/stat : 27447 (java) S 27443 27445 27141 0 -1 64 6506 0 0 0 27 2 0 0 17 0 8 0 156732422 937836544 23365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27448] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27448/stat : 27448 (java) S 27443 27445 27141 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732422 937836544 23365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27449] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27449/stat : 27449 (java) S 27443 27445 27141 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732422 937836544 23365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27450] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27450/stat : 27450 (java) S 27443 27445 27141 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156732426 937836544 23365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27445/tid=27451] ppid=27443 vsize=915856 CPUtime=0.33
/proc/27445/task/27451/stat : 27451 (java) S 27443 27445 27141 0 -1 64 507 0 0 0 32 1 0 0 16 0 8 0 156732426 937836544 23365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27445/tid=27452] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27452/stat : 27452 (java) S 27443 27445 27141 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156732426 937836544 23365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27445/tid=27453] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27453/stat : 27453 (java) S 27443 27445 27141 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732426 937836544 23365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915856
[startup+12.7537 s]
/proc/loadavg: 0.44 1.07 1.51 3/100 27498
/proc/meminfo: memFree=1299776/2055920 swapFree=4182236/4192956
[pid=27445] ppid=27443 vsize=915856 CPUtime=12.72
/proc/27445/stat : 27445 (java) R 27443 27445 27141 0 -1 0 27148 0 1 0 1185 87 0 0 25 0 8 0 156732418 937836544 26865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074079247 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27445/statm: 228964 26865 2535 14 0 215434 0
[pid=27445/tid=27447] ppid=27443 vsize=915856 CPUtime=0.33
/proc/27445/task/27447/stat : 27447 (java) S 27443 27445 27141 0 -1 64 10005 0 0 0 29 4 0 0 16 0 8 0 156732422 937836544 26865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27448] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27448/stat : 27448 (java) S 27443 27445 27141 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732422 937836544 26865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27449] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27449/stat : 27449 (java) S 27443 27445 27141 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732422 937836544 26865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27450] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27450/stat : 27450 (java) S 27443 27445 27141 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156732426 937836544 26865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27445/tid=27451] ppid=27443 vsize=915856 CPUtime=0.34
/proc/27445/task/27451/stat : 27451 (java) S 27443 27445 27141 0 -1 64 508 0 0 0 32 2 0 0 15 0 8 0 156732426 937836544 26865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27445/tid=27452] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27452/stat : 27452 (java) S 27443 27445 27141 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156732426 937836544 26865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27445/tid=27453] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27453/stat : 27453 (java) S 27443 27445 27141 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732426 937836544 26865 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) 915856
[startup+25.6099 s]
/proc/loadavg: 0.68 1.10 1.52 3/100 27498
/proc/meminfo: memFree=1198720/2055920 swapFree=4182236/4192956
[pid=27445] ppid=27443 vsize=915856 CPUtime=25.56
/proc/27445/stat : 27445 (java) R 27443 27445 27141 0 -1 0 37811 0 1 0 2465 91 0 0 25 0 8 0 156732418 937836544 37526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27445/statm: 228964 37526 2535 14 0 215434 0
[pid=27445/tid=27447] ppid=27443 vsize=915856 CPUtime=0.43
/proc/27445/task/27447/stat : 27447 (java) S 27443 27445 27141 0 -1 64 20666 0 0 0 35 8 0 0 16 0 8 0 156732422 937836544 37526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27448] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27448/stat : 27448 (java) S 27443 27445 27141 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732422 937836544 37526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27449] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27449/stat : 27449 (java) S 27443 27445 27141 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732422 937836544 37526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27450] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27450/stat : 27450 (java) S 27443 27445 27141 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156732426 937836544 37526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27445/tid=27451] ppid=27443 vsize=915856 CPUtime=0.34
/proc/27445/task/27451/stat : 27451 (java) S 27443 27445 27141 0 -1 64 508 0 0 0 32 2 0 0 15 0 8 0 156732426 937836544 37526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27445/tid=27452] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27452/stat : 27452 (java) S 27443 27445 27141 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156732426 937836544 37526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27445/tid=27453] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27453/stat : 27453 (java) S 27443 27445 27141 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732426 937836544 37526 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) 915856
[startup+51.2134 s]
/proc/loadavg: 1.27 1.20 1.54 3/100 27498
/proc/meminfo: memFree=1035328/2055920 swapFree=4182236/4192956
[pid=27445] ppid=27443 vsize=915856 CPUtime=51.17
/proc/27445/stat : 27445 (java) R 27443 27445 27141 0 -1 0 63587 0 1 0 5014 103 0 0 25 0 8 0 156732418 937836544 63295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074077650 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27445/statm: 228964 63295 2535 14 0 215434 0
[pid=27445/tid=27447] ppid=27443 vsize=915856 CPUtime=0.67
/proc/27445/task/27447/stat : 27447 (java) S 27443 27445 27141 0 -1 64 46435 0 0 0 48 19 0 0 16 0 8 0 156732422 937836544 63295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27448] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27448/stat : 27448 (java) S 27443 27445 27141 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732422 937836544 63295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27449] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27449/stat : 27449 (java) S 27443 27445 27141 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732422 937836544 63295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27450] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27450/stat : 27450 (java) S 27443 27445 27141 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156732426 937836544 63295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27445/tid=27451] ppid=27443 vsize=915856 CPUtime=0.35
/proc/27445/task/27451/stat : 27451 (java) S 27443 27445 27141 0 -1 64 508 0 0 0 33 2 0 0 16 0 8 0 156732426 937836544 63295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27452] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27452/stat : 27452 (java) S 27443 27445 27141 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156732426 937836544 63295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27445/tid=27453] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27453/stat : 27453 (java) S 27443 27445 27141 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732426 937836544 63295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 915856
[startup+102.42 s]
/proc/loadavg: 1.68 1.32 1.56 3/100 27498
/proc/meminfo: memFree=750016/2055920 swapFree=4182236/4192956
[pid=27445] ppid=27443 vsize=915856 CPUtime=102.36
/proc/27445/stat : 27445 (java) R 27443 27445 27141 0 -1 0 108275 0 1 0 10116 120 0 0 25 0 8 0 156732418 937836544 107973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074083115 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27445/statm: 228964 107973 2535 14 0 215434 0
[pid=27445/tid=27447] ppid=27443 vsize=915856 CPUtime=1.08
/proc/27445/task/27447/stat : 27447 (java) S 27443 27445 27141 0 -1 64 91113 0 0 0 72 36 0 0 16 0 8 0 156732422 937836544 107973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27448] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27448/stat : 27448 (java) S 27443 27445 27141 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732422 937836544 107973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27449] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27449/stat : 27449 (java) S 27443 27445 27141 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732422 937836544 107973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27450] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27450/stat : 27450 (java) S 27443 27445 27141 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156732426 937836544 107973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27445/tid=27451] ppid=27443 vsize=915856 CPUtime=0.35
/proc/27445/task/27451/stat : 27451 (java) S 27443 27445 27141 0 -1 64 508 0 0 0 33 2 0 0 16 0 8 0 156732426 937836544 107973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27452] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27452/stat : 27452 (java) S 27443 27445 27141 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156732426 937836544 107973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27445/tid=27453] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27453/stat : 27453 (java) S 27443 27445 27141 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732426 937836544 107973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.36
Current children cumulated vsize (KiB) 915856
[startup+162.476 s]
/proc/loadavg: 1.88 1.44 1.58 3/100 27498
/proc/meminfo: memFree=423296/2055920 swapFree=4182236/4192956
[pid=27445] ppid=27443 vsize=915856 CPUtime=162.39
/proc/27445/stat : 27445 (java) R 27443 27445 27141 0 -1 0 155981 0 1 0 16100 139 0 0 25 0 8 0 156732418 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074079224 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1422.55
Current children cumulated vsize (KiB) 915856
[startup+1482.97 s]
/proc/loadavg: 2.01 2.00 1.87 3/100 27498
/proc/meminfo: memFree=223040/2055920 swapFree=4182236/4192956
[pid=27445] ppid=27443 vsize=915856 CPUtime=1482.56
/proc/27445/stat : 27445 (java) R 27443 27445 27141 0 -1 0 155982 0 1 0 148112 144 0 0 25 0 8 0 156732418 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074079250 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27445/statm: 228964 155665 2535 14 0 215434 0
[pid=27445/tid=27447] ppid=27443 vsize=915856 CPUtime=1.55
/proc/27445/task/27447/stat : 27447 (java) S 27443 27445 27141 0 -1 64 138805 0 0 0 100 55 0 0 16 0 8 0 156732422 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27448] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27448/stat : 27448 (java) S 27443 27445 27141 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732422 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27449] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27449/stat : 27449 (java) S 27443 27445 27141 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732422 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27450] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27450/stat : 27450 (java) S 27443 27445 27141 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156732426 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27445/tid=27451] ppid=27443 vsize=915856 CPUtime=0.35
/proc/27445/task/27451/stat : 27451 (java) S 27443 27445 27141 0 -1 64 508 0 0 0 33 2 0 0 16 0 8 0 156732426 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27452] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27452/stat : 27452 (java) S 27443 27445 27141 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156732426 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27445/tid=27453] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27453/stat : 27453 (java) S 27443 27445 27141 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732426 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1482.56
Current children cumulated vsize (KiB) 915856
[startup+1543.02 s]
/proc/loadavg: 2.00 2.00 1.88 3/106 27646
/proc/meminfo: memFree=221616/2055920 swapFree=4182236/4192956
[pid=27445] ppid=27443 vsize=915856 CPUtime=1542.48
/proc/27445/stat : 27445 (java) R 27443 27445 27141 0 -1 0 155982 0 1 0 154103 145 0 0 25 0 8 0 156732418 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074067616 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27445/statm: 228964 155665 2535 14 0 215434 0
[pid=27445/tid=27447] ppid=27443 vsize=915856 CPUtime=1.55
/proc/27445/task/27447/stat : 27447 (java) S 27443 27445 27141 0 -1 64 138805 0 0 0 100 55 0 0 16 0 8 0 156732422 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27448] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27448/stat : 27448 (java) S 27443 27445 27141 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732422 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27449] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27449/stat : 27449 (java) S 27443 27445 27141 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732422 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27450] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27450/stat : 27450 (java) S 27443 27445 27141 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156732426 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27445/tid=27451] ppid=27443 vsize=915856 CPUtime=0.35
/proc/27445/task/27451/stat : 27451 (java) S 27443 27445 27141 0 -1 64 508 0 0 0 33 2 0 0 16 0 8 0 156732426 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27452] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27452/stat : 27452 (java) S 27443 27445 27141 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156732426 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27445/tid=27453] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27453/stat : 27453 (java) S 27443 27445 27141 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732426 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1542.48
Current children cumulated vsize (KiB) 915856
[startup+1603.06 s]
/proc/loadavg: 2.00 2.00 1.88 3/100 27696
/proc/meminfo: memFree=222656/2055920 swapFree=4182236/4192956
[pid=27445] ppid=27443 vsize=915856 CPUtime=1602.44
/proc/27445/stat : 27445 (java) R 27443 27445 27141 0 -1 0 155982 0 1 0 160099 145 0 0 25 0 8 0 156732418 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074067616 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27445/statm: 228964 155665 2535 14 0 215434 0
[pid=27445/tid=27447] ppid=27443 vsize=915856 CPUtime=1.55
/proc/27445/task/27447/stat : 27447 (java) S 27443 27445 27141 0 -1 64 138805 0 0 0 100 55 0 0 16 0 8 0 156732422 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27448] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27448/stat : 27448 (java) S 27443 27445 27141 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732422 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27449] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27449/stat : 27449 (java) S 27443 27445 27141 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732422 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27450] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27450/stat : 27450 (java) S 27443 27445 27141 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156732426 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27445/tid=27451] ppid=27443 vsize=915856 CPUtime=0.35
/proc/27445/task/27451/stat : 27451 (java) S 27443 27445 27141 0 -1 64 508 0 0 0 33 2 0 0 16 0 8 0 156732426 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27452] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27452/stat : 27452 (java) S 27443 27445 27141 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156732426 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27445/tid=27453] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27453/stat : 27453 (java) S 27443 27445 27141 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732426 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1602.44
Current children cumulated vsize (KiB) 915856
[startup+1663.08 s]
/proc/loadavg: 2.00 2.00 1.89 3/100 27696
/proc/meminfo: memFree=222656/2055920 swapFree=4182236/4192956
[pid=27445] ppid=27443 vsize=915856 CPUtime=1662.45
/proc/27445/stat : 27445 (java) R 27443 27445 27141 0 -1 0 155982 0 1 0 166100 145 0 0 25 0 8 0 156732418 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074104861 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27445/statm: 228964 155665 2535 14 0 215434 0
[pid=27445/tid=27447] ppid=27443 vsize=915856 CPUtime=1.55
/proc/27445/task/27447/stat : 27447 (java) S 27443 27445 27141 0 -1 64 138805 0 0 0 100 55 0 0 16 0 8 0 156732422 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27448] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27448/stat : 27448 (java) S 27443 27445 27141 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732422 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27449] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27449/stat : 27449 (java) S 27443 27445 27141 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732422 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27450] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27450/stat : 27450 (java) S 27443 27445 27141 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156732426 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27445/tid=27451] ppid=27443 vsize=915856 CPUtime=0.35
/proc/27445/task/27451/stat : 27451 (java) S 27443 27445 27141 0 -1 64 508 0 0 0 33 2 0 0 16 0 8 0 156732426 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27452] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27452/stat : 27452 (java) S 27443 27445 27141 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156732426 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27445/tid=27453] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27453/stat : 27453 (java) S 27443 27445 27141 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732426 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1662.45
Current children cumulated vsize (KiB) 915856
[startup+1723.11 s]
/proc/loadavg: 2.00 2.00 1.90 3/100 27696
/proc/meminfo: memFree=222720/2055920 swapFree=4182236/4192956
[pid=27445] ppid=27443 vsize=915856 CPUtime=1722.47
/proc/27445/stat : 27445 (java) R 27443 27445 27141 0 -1 0 155982 0 1 0 172102 145 0 0 25 0 8 0 156732418 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074165182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27445/statm: 228964 155665 2535 14 0 215434 0
[pid=27445/tid=27447] ppid=27443 vsize=915856 CPUtime=1.55
/proc/27445/task/27447/stat : 27447 (java) S 27443 27445 27141 0 -1 64 138805 0 0 0 100 55 0 0 16 0 8 0 156732422 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27448] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27448/stat : 27448 (java) S 27443 27445 27141 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732422 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27449] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27449/stat : 27449 (java) S 27443 27445 27141 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732422 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27450] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27450/stat : 27450 (java) S 27443 27445 27141 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156732426 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27445/tid=27451] ppid=27443 vsize=915856 CPUtime=0.35
/proc/27445/task/27451/stat : 27451 (java) S 27443 27445 27141 0 -1 64 508 0 0 0 33 2 0 0 16 0 8 0 156732426 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27452] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27452/stat : 27452 (java) S 27443 27445 27141 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156732426 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27445/tid=27453] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27453/stat : 27453 (java) S 27443 27445 27141 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732426 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1722.47
Current children cumulated vsize (KiB) 915856
[startup+1783.14 s]
/proc/loadavg: 2.00 2.00 1.90 3/100 27696
/proc/meminfo: memFree=222720/2055920 swapFree=4182236/4192956
[pid=27445] ppid=27443 vsize=915856 CPUtime=1782.48
/proc/27445/stat : 27445 (java) R 27443 27445 27141 0 -1 0 155982 0 1 0 178103 145 0 0 25 0 8 0 156732418 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074067616 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27445/statm: 228964 155665 2535 14 0 215434 0
[pid=27445/tid=27447] ppid=27443 vsize=915856 CPUtime=1.55
/proc/27445/task/27447/stat : 27447 (java) S 27443 27445 27141 0 -1 64 138805 0 0 0 100 55 0 0 16 0 8 0 156732422 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27448] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27448/stat : 27448 (java) S 27443 27445 27141 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732422 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27449] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27449/stat : 27449 (java) S 27443 27445 27141 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732422 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27450] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27450/stat : 27450 (java) S 27443 27445 27141 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156732426 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27445/tid=27451] ppid=27443 vsize=915856 CPUtime=0.35
/proc/27445/task/27451/stat : 27451 (java) S 27443 27445 27141 0 -1 64 508 0 0 0 33 2 0 0 16 0 8 0 156732426 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27452] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27452/stat : 27452 (java) S 27443 27445 27141 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156732426 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27445/tid=27453] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27453/stat : 27453 (java) S 27443 27445 27141 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732426 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1782.48
Current children cumulated vsize (KiB) 915856
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 2.00 2.00 1.90 3/100 27696
/proc/meminfo: memFree=222720/2055920 swapFree=4182236/4192956
[pid=27445] ppid=27443 vsize=915856 CPUtime=1800.05
/proc/27445/stat : 27445 (java) R 27443 27445 27141 0 -1 0 155982 0 1 0 179860 145 0 0 25 0 8 0 156732418 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074165182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27445/statm: 228964 155665 2535 14 0 215434 0
[pid=27445/tid=27447] ppid=27443 vsize=915856 CPUtime=1.55
/proc/27445/task/27447/stat : 27447 (java) S 27443 27445 27141 0 -1 64 138805 0 0 0 100 55 0 0 16 0 8 0 156732422 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27448] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27448/stat : 27448 (java) S 27443 27445 27141 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732422 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27449] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27449/stat : 27449 (java) S 27443 27445 27141 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732422 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27450] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27450/stat : 27450 (java) S 27443 27445 27141 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156732426 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27445/tid=27451] ppid=27443 vsize=915856 CPUtime=0.35
/proc/27445/task/27451/stat : 27451 (java) S 27443 27445 27141 0 -1 64 508 0 0 0 33 2 0 0 16 0 8 0 156732426 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27445/tid=27452] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27452/stat : 27452 (java) S 27443 27445 27141 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156732426 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27445/tid=27453] ppid=27443 vsize=915856 CPUtime=0
/proc/27445/task/27453/stat : 27453 (java) S 27443 27445 27141 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732426 937836544 155665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915856
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1800.85
CPU time (s): 1800.19
CPU user time (s): 1798.64
CPU system time (s): 1.55376
CPU usage (%): 99.9636
Max. virtual memory (cumulated for all children) (KiB): 915948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.64
system time used= 1.55376
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155998
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= 37765
involuntary context switches= 73802
runsolver used 1.86072 s user time and 4.83826 s system time
The end
Begin job on node14 on Sat Jan 6 11:36:03 UTC 2007
IDJOB= 237773
IDBENCH= 6962
FILE ID= node14/237773-1168083348
PBS_JOBID= 3476253
Free space on /tmp= 66328 MiB
BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_34.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237773-1168083348/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-237773-1168083348 -o ROOT/results/node14/solver-237773-1168083348 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237773-1168083348/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 59402b4c8ddb23a8b0b5394ce6a8b96b
RANDOM SEED= 829589720
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.227
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.227
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: 1445240 kB
Buffers: 58376 kB
Cached: 399784 kB
SwapCached: 3696 kB
Active: 144192 kB
Inactive: 367072 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1445240 kB
SwapTotal: 4192956 kB
SwapFree: 4182236 kB
Dirty: 4028 kB
Writeback: 0 kB
Mapped: 62528 kB
Slab: 84644 kB
Committed_AS: 4718688 kB
PageTables: 2016 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= 66326 MiB
End job on node14 on Sat Jan 6 12:06:19 UTC 2007