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/195832-1168070025/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.40 => wckTime=0.094 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.94
0.94 constraints being loaded...
1.25 nbConstraints=72 nbRelationTypes=72 nbExtensionStructures=72 nbSharedExtensionStructures=0
1.25 nbConflictsStructures=72 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
1.25 => wckTime=0.947 cpuTime=0.84 mem=44M0
1.36
1.36 solver IterativeSystematicSolver being built...
1.51 => wckTime=1.213 cpuTime=0.96 mem=33M47
1.52
1.52 preprocessing
1.52 nbConstraintChecks=0 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.52 detectedInconsistency=no
1.52 => wckTime=0.0040 cpuTime=0.02 mem=33M47
1.63
1.63 search
1.63 run=0 nbConstraintChecks=29616 nbValidityChecks=52561 nbPropagations=387 nbRevisions=3704
1.63 nbUselessRevisions=2963 nbAssignments=30 nbFailedAssignments=12 nbBacktracks=11 nbVisitedNodes=50
1.63 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
1.63 => wckTime=0.108 cpuTime=0.09 mem=34M88
1.69
1.69 search
1.69 run=1 nbConstraintChecks=69091 nbValidityChecks=134274 nbPropagations=1308 nbRevisions=13197
1.69 nbUselessRevisions=10507 nbAssignments=74 nbFailedAssignments=34 nbBacktracks=26 nbVisitedNodes=125
1.69 nbRestartNogoods=3 mapSize=22 nbInferences=0 nbTooLargeKeys=0
1.69 => wckTime=0.177 cpuTime=0.15 mem=34M88
1.78
1.78 search
1.78 run=2 nbConstraintChecks=115902 nbValidityChecks=228697 nbPropagations=2939 nbRevisions=30129
1.78 nbUselessRevisions=23837 nbAssignments=124 nbFailedAssignments=56 nbBacktracks=48 nbVisitedNodes=211
1.78 nbRestartNogoods=10 mapSize=42 nbInferences=0 nbTooLargeKeys=0
1.78 => wckTime=0.261 cpuTime=0.23 mem=34M88
1.90
1.90 search
1.90 run=3 nbConstraintChecks=193655 nbValidityChecks=401203 nbPropagations=5714 nbRevisions=59403
1.90 nbUselessRevisions=46777 nbAssignments=204 nbFailedAssignments=97 nbBacktracks=82 nbVisitedNodes=357
1.90 nbRestartNogoods=13 mapSize=75 nbInferences=0 nbTooLargeKeys=0
1.90 => wckTime=0.384 cpuTime=0.35 mem=34M88
2.11
2.11 search
2.11 run=4 nbConstraintChecks=335592 nbValidityChecks=689763 nbPropagations=10223 nbRevisions=109289
2.11 nbUselessRevisions=85891 nbAssignments=329 nbFailedAssignments=166 nbBacktracks=132 nbVisitedNodes=589
2.11 nbRestartNogoods=21 mapSize=123 nbInferences=0 nbTooLargeKeys=0
2.11 => wckTime=0.595 cpuTime=0.56 mem=34M88
2.35
2.35 search
2.35 run=5 nbConstraintChecks=493767 nbValidityChecks=1002243 nbPropagations=17041 nbRevisions=183441
2.35 nbUselessRevisions=143665 nbAssignments=511 nbFailedAssignments=266 nbBacktracks=208 nbVisitedNodes=918
2.35 nbRestartNogoods=29 mapSize=189 nbInferences=0 nbTooLargeKeys=0
2.35 => wckTime=0.831 cpuTime=0.79 mem=34M88
2.87
2.87 search
2.87 run=6 nbConstraintChecks=876190 nbValidityChecks=1836875 nbPropagations=28708 nbRevisions=314656
2.87 nbUselessRevisions=245481 nbAssignments=911 nbFailedAssignments=546 nbBacktracks=321 nbVisitedNodes=1689
2.87 nbRestartNogoods=35 mapSize=297 nbInferences=0 nbTooLargeKeys=0
2.87 => wckTime=1.351 cpuTime=1.31 mem=34M88
3.32
3.32 search
3.32 run=7 nbConstraintChecks=1188230 nbValidityChecks=2462693 nbPropagations=44904 nbRevisions=495910
3.32 nbUselessRevisions=386464 nbAssignments=1273 nbFailedAssignments=734 nbBacktracks=491 nbVisitedNodes=2335
3.32 nbRestartNogoods=47 mapSize=432 nbInferences=0 nbTooLargeKeys=0
3.32 => wckTime=1.806 cpuTime=1.76 mem=34M88
4.11
4.11 search
4.11 run=8 nbConstraintChecks=1742575 nbValidityChecks=3588790 nbPropagations=69415 nbRevisions=764602
4.11 nbUselessRevisions=595027 nbAssignments=1878 nbFailedAssignments=1076 nbBacktracks=747 nbVisitedNodes=3440
4.11 nbRestartNogoods=53 mapSize=660 nbInferences=0 nbTooLargeKeys=0
4.11 => wckTime=2.595 cpuTime=2.53 mem=34M88
5.41
5.41 search
5.41 run=9 nbConstraintChecks=2688046 nbValidityChecks=5552095 nbPropagations=106872 nbRevisions=1181367
5.41 nbUselessRevisions=919210 nbAssignments=2852 nbFailedAssignments=1660 nbBacktracks=1133 nbVisitedNodes=5260
5.41 nbRestartNogoods=59 mapSize=1018 nbInferences=0 nbTooLargeKeys=0
5.41 => wckTime=3.896 cpuTime=3.82 mem=34M88
5.48
5.48 INFO : Stopping hyperNogood (mapSize=1033, nbTooLargekeys=0, mem=34M88)
7.56
7.56 search
7.56 run=10 nbConstraintChecks=4251633 nbValidityChecks=8784682 nbPropagations=164664 nbRevisions=1836513
7.56 nbUselessRevisions=1430056 nbAssignments=4313 nbFailedAssignments=2537 nbBacktracks=1709 nbVisitedNodes=8024
7.56 nbRestartNogoods=68
7.56 => wckTime=6.044 cpuTime=5.96 mem=34M88
9.71
9.71 search
9.71 run=11 nbConstraintChecks=5802424 nbValidityChecks=11880570 nbPropagations=244605 nbRevisions=2721315
9.71 nbUselessRevisions=2118073 nbAssignments=6008 nbFailedAssignments=3363 nbBacktracks=2573 nbVisitedNodes=10998
9.71 nbRestartNogoods=80
9.71 => wckTime=8.192 cpuTime=8.1 mem=34M88
13.62
13.62 search
13.62 run=12 nbConstraintChecks=8651710 nbValidityChecks=17757116 nbPropagations=364779 nbRevisions=4030477
13.62 nbUselessRevisions=3133040 nbAssignments=9011 nbFailedAssignments=5063 nbBacktracks=3872 nbVisitedNodes=16504
13.62 nbRestartNogoods=87
13.62 => wckTime=12.106 cpuTime=12.02 mem=34M88
20.30
20.30 search
20.30 run=13 nbConstraintChecks=13562348 nbValidityChecks=28071816 nbPropagations=548993 nbRevisions=6093997
20.30 nbUselessRevisions=4742204 nbAssignments=13882 nbFailedAssignments=7980 nbBacktracks=5819 nbVisitedNodes=25649
20.30 nbRestartNogoods=96
20.30 => wckTime=18.785 cpuTime=18.69 mem=34M88
30.41
30.41 search
30.41 run=14 nbConstraintChecks=20893711 nbValidityChecks=43111268 nbPropagations=829883 nbRevisions=9291211
30.41 nbUselessRevisions=7238949 nbAssignments=20897 nbFailedAssignments=12070 nbBacktracks=8739 nbVisitedNodes=38778
30.41 nbRestartNogoods=114
30.41 => wckTime=28.895 cpuTime=28.8 mem=34M88
41.45
41.45 search
41.45 run=15 nbConstraintChecks=28869869 nbValidityChecks=59218023 nbPropagations=1232169 nbRevisions=13743740
41.45 nbUselessRevisions=10703816 nbAssignments=29769 nbFailedAssignments=16555 nbBacktracks=13118
41.45 nbVisitedNodes=54759 nbRestartNogoods=133
41.45 => wckTime=39.934 cpuTime=39.83 mem=34M88
61.56
61.56 search
61.56 run=16 nbConstraintChecks=43343015 nbValidityChecks=88764246 nbPropagations=1837613 nbRevisions=20453355
61.56 nbUselessRevisions=15928250 nbAssignments=44346 nbFailedAssignments=24557 nbBacktracks=19687
61.56 nbVisitedNodes=81467 nbRestartNogoods=142
61.56 => wckTime=60.042 cpuTime=59.94 mem=34M88
103.28
103.28 search
103.29 run=17 nbConstraintChecks=75730833 nbValidityChecks=158508059 nbPropagations=2846670 nbRevisions=31966959
103.29 nbUselessRevisions=24862331 nbAssignments=77701 nbFailedAssignments=48053 nbBacktracks=29539
103.29 nbVisitedNodes=145737 nbRestartNogoods=148
103.29 => wckTime=101.769 cpuTime=101.65 mem=34M88
143.07
143.07 search
143.07 run=18 nbConstraintChecks=104511604 nbValidityChecks=216959309 nbPropagations=4278854 nbRevisions=48040473
143.07 nbUselessRevisions=37334894 nbAssignments=109019 nbFailedAssignments=64586 nbBacktracks=44321
143.07 nbVisitedNodes=202631 nbRestartNogoods=167
143.07 => wckTime=141.549 cpuTime=141.42 mem=34M88
210.17
210.17 search
210.17 run=19 nbConstraintChecks=153350283 nbValidityChecks=316617026 nbPropagations=6398467 nbRevisions=71716464
210.17 nbUselessRevisions=55728826 nbAssignments=159796 nbFailedAssignments=93188 nbBacktracks=66489
210.17 nbVisitedNodes=296482 nbRestartNogoods=175
210.17 => wckTime=208.651 cpuTime=208.51 mem=34M88
317.69
317.69 search
317.69 run=20 nbConstraintChecks=231799584 nbValidityChecks=477929285 nbPropagations=9569744 nbRevisions=107143463
317.69 nbUselessRevisions=83268533 nbAssignments=239245 nbFailedAssignments=139380 nbBacktracks=99741
317.69 nbVisitedNodes=443900 nbRestartNogoods=196
317.69 => wckTime=316.172 cpuTime=316.0 mem=34M88
456.79
456.79 search
456.79 run=21 nbConstraintChecks=332390000 nbValidityChecks=682780781 nbPropagations=14231101 nbRevisions=158534279
456.79 nbUselessRevisions=123196705 nbAssignments=348083 nbFailedAssignments=198335 nbBacktracks=149621
456.79 nbVisitedNodes=643098 nbRestartNogoods=218
456.79 => wckTime=455.273 cpuTime=455.03 mem=34M88
713.03
713.03 search
713.03 run=22 nbConstraintChecks=520271802 nbValidityChecks=1069919190 nbPropagations=21407384 nbRevisions=238554904
713.03 nbUselessRevisions=185436732 nbAssignments=533540 nbFailedAssignments=308970 nbBacktracks=224439
713.03 nbVisitedNodes=989994 nbRestartNogoods=241
713.03 => wckTime=711.517 cpuTime=711.14 mem=34M88
1108.43
1108.43 search
1108.43 run=23 nbConstraintChecks=808548403 nbValidityChecks=1664374577 nbPropagations=32374392 nbRevisions=363294307
1108.43 nbUselessRevisions=282774603 nbAssignments=805981 nbFailedAssignments=469178 nbBacktracks=336666
1108.43 nbVisitedNodes=1500538 nbRestartNogoods=270
1108.43 => wckTime=1106.912 cpuTime=1106.43 mem=34M88
1589.39
1589.40 search
1589.40 run=24 nbConstraintChecks=1156035919 nbValidityChecks=2374713068 nbPropagations=48343751 nbRevisions=541748796
1589.40 nbUselessRevisions=421730269 nbAssignments=1172462 nbFailedAssignments=667312 nbBacktracks=505007
1589.40 nbVisitedNodes=2171686 nbRestartNogoods=303
1589.40 => wckTime=1587.879 cpuTime=1587.27 mem=34M88
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-195832-1168070025 -o ROOT/results/node24/solver-195832-1168070025 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195832-1168070025/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.99 1.05 1.37 4/78 14854
/proc/meminfo: memFree=1831960/2055920 swapFree=4192812/4192956
[pid=14853] ppid=14851 vsize=168 CPUtime=0
/proc/14853/stat : 14853 (java) R 14851 14853 14204 0 -1 0 39 0 0 0 0 0 0 0 20 0 1 0 155397780 172032 23 18446744073709551615 134512640 134570532 4294956560 18446744073709551615 2605355 0 0 4096 0 0 0 0 17 1 0 0
/proc/14853/statm: 42 23 18 14 0 2 0
[startup+0.102968 s]
/proc/loadavg: 0.99 1.05 1.37 4/78 14854
/proc/meminfo: memFree=1831960/2055920 swapFree=4192812/4192956
[pid=14853] ppid=14851 vsize=914988 CPUtime=0.08
/proc/14853/stat : 14853 (java) S 14851 14853 14204 0 -1 0 2997 0 1 0 7 1 0 0 17 0 8 0 155397780 936947712 2743 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14853/statm: 228747 2743 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511009 s]
/proc/loadavg: 0.99 1.05 1.37 4/78 14854
/proc/meminfo: memFree=1831960/2055920 swapFree=4192812/4192956
[pid=14853] ppid=14851 vsize=915328 CPUtime=0.49
/proc/14853/stat : 14853 (java) R 14851 14853 14204 0 -1 0 7910 0 1 0 45 4 0 0 17 0 8 0 155397780 937295872 7649 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073562222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14853/statm: 228832 7650 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33209 s]
/proc/loadavg: 0.99 1.05 1.36 2/85 14861
/proc/meminfo: memFree=1764832/2055920 swapFree=4192812/4192956
[pid=14853] ppid=14851 vsize=915420 CPUtime=1.31
/proc/14853/stat : 14853 (java) S 14851 14853 14204 0 -1 0 19147 0 1 0 122 9 0 0 16 0 8 0 155397780 937390080 18885 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14853/statm: 228855 18885 2169 14 0 215325 0
[pid=14853/tid=14855] ppid=14851 vsize=915420 CPUtime=0.12
/proc/14853/task/14855/stat : 14855 (java) R 14851 14853 14204 0 -1 64 2663 0 0 0 12 0 0 0 16 0 8 0 155397784 937390080 18885 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4153803081 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14853/tid=14856] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14856/stat : 14856 (java) S 14851 14853 14204 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155397784 937390080 18885 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14857] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14857/stat : 14857 (java) S 14851 14853 14204 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155397784 937390080 18885 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14858] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14858/stat : 14858 (java) S 14851 14853 14204 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155397787 937390080 18885 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14859] ppid=14851 vsize=915420 CPUtime=0.08
/proc/14853/task/14859/stat : 14859 (java) S 14851 14853 14204 0 -1 64 319 0 0 0 8 0 0 0 15 0 8 0 155397788 937390080 18885 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14860] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14860/stat : 14860 (java) S 14851 14853 14204 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155397788 937390080 18885 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14861] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14861/stat : 14861 (java) S 14851 14853 14204 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155397788 937390080 18885 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915420
[startup+2.96927 s]
/proc/loadavg: 0.99 1.05 1.36 2/85 14861
/proc/meminfo: memFree=1749792/2055920 swapFree=4192812/4192956
[pid=14853] ppid=14851 vsize=915420 CPUtime=2.94
/proc/14853/stat : 14853 (java) R 14851 14853 14204 0 -1 0 23184 0 1 0 282 12 0 0 17 0 8 0 155397780 937390080 22919 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073761631 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14853/statm: 228855 22919 2521 14 0 215325 0
[pid=14853/tid=14855] ppid=14851 vsize=915420 CPUtime=0.15
/proc/14853/task/14855/stat : 14855 (java) S 14851 14853 14204 0 -1 64 6219 0 0 0 13 2 0 0 17 0 8 0 155397784 937390080 22919 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14853/tid=14856] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14856/stat : 14856 (java) S 14851 14853 14204 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155397784 937390080 22919 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14857] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14857/stat : 14857 (java) S 14851 14853 14204 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155397784 937390080 22919 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14858] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14858/stat : 14858 (java) S 14851 14853 14204 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155397787 937390080 22919 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14859] ppid=14851 vsize=915420 CPUtime=0.16
/proc/14853/task/14859/stat : 14859 (java) S 14851 14853 14204 0 -1 64 373 0 0 0 16 0 0 0 15 0 8 0 155397788 937390080 22919 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14853/tid=14860] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14860/stat : 14860 (java) S 14851 14853 14204 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155397788 937390080 22919 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14861] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14861/stat : 14861 (java) S 14851 14853 14204 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155397788 937390080 22919 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915420
[startup+6.16961 s]
/proc/loadavg: 0.99 1.05 1.36 2/85 14861
/proc/meminfo: memFree=1749728/2055920 swapFree=4192812/4192956
[pid=14853] ppid=14851 vsize=915420 CPUtime=6.14
/proc/14853/stat : 14853 (java) R 14851 14853 14204 0 -1 0 23201 0 1 0 602 12 0 0 19 0 8 0 155397780 937390080 22933 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073629628 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14853/statm: 228855 22933 2521 14 0 215325 0
[pid=14853/tid=14855] ppid=14851 vsize=915420 CPUtime=0.15
/proc/14853/task/14855/stat : 14855 (java) S 14851 14853 14204 0 -1 64 6219 0 0 0 13 2 0 0 17 0 8 0 155397784 937390080 22933 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14853/tid=14856] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14856/stat : 14856 (java) S 14851 14853 14204 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155397784 937390080 22933 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14857] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14857/stat : 14857 (java) S 14851 14853 14204 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155397784 937390080 22933 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14858] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14858/stat : 14858 (java) S 14851 14853 14204 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155397787 937390080 22933 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14859] ppid=14851 vsize=915420 CPUtime=0.2
/proc/14853/task/14859/stat : 14859 (java) S 14851 14853 14204 0 -1 64 388 0 0 0 19 1 0 0 15 0 8 0 155397788 937390080 22933 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14853/tid=14860] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14860/stat : 14860 (java) S 14851 14853 14204 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155397788 937390080 22933 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14861] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14861/stat : 14861 (java) R 14851 14853 14204 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155397788 937390080 22933 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915420
[startup+12.6313 s]
/proc/loadavg: 0.99 1.05 1.36 2/85 14861
/proc/meminfo: memFree=1749728/2055920 swapFree=4192812/4192956
[pid=14853] ppid=14851 vsize=915420 CPUtime=12.6
/proc/14853/stat : 14853 (java) R 14851 14853 14204 0 -1 0 23205 0 1 0 1247 13 0 0 25 0 8 0 155397780 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14853/statm: 228855 22936 2521 14 0 215325 0
[pid=14853/tid=14855] ppid=14851 vsize=915420 CPUtime=0.15
/proc/14853/task/14855/stat : 14855 (java) S 14851 14853 14204 0 -1 64 6219 0 0 0 13 2 0 0 16 0 8 0 155397784 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14853/tid=14856] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14856/stat : 14856 (java) S 14851 14853 14204 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155397784 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14857] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14857/stat : 14857 (java) S 14851 14853 14204 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155397784 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14858] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14858/stat : 14858 (java) S 14851 14853 14204 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155397787 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14859] ppid=14851 vsize=915420 CPUtime=0.2
/proc/14853/task/14859/stat : 14859 (java) S 14851 14853 14204 0 -1 64 392 0 0 0 19 1 0 0 16 0 8 0 155397788 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14853/tid=14860] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14860/stat : 14860 (java) S 14851 14853 14204 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155397788 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14861] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14861/stat : 14861 (java) S 14851 14853 14204 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155397788 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915420
[startup+25.4817 s]
/proc/loadavg: 0.99 1.05 1.36 2/85 14861
/proc/meminfo: memFree=1749856/2055920 swapFree=4192812/4192956
[pid=14853] ppid=14851 vsize=915420 CPUtime=25.45
/proc/14853/stat : 14853 (java) R 14851 14853 14204 0 -1 0 23205 0 1 0 2532 13 0 0 25 0 8 0 155397780 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073629628 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14853/statm: 228855 22936 2521 14 0 215325 0
[pid=14853/tid=14855] ppid=14851 vsize=915420 CPUtime=0.15
/proc/14853/task/14855/stat : 14855 (java) S 14851 14853 14204 0 -1 64 6219 0 0 0 13 2 0 0 16 0 8 0 155397784 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14853/tid=14856] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14856/stat : 14856 (java) S 14851 14853 14204 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155397784 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14857] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14857/stat : 14857 (java) S 14851 14853 14204 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155397784 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14858] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14858/stat : 14858 (java) S 14851 14853 14204 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155397787 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14859] ppid=14851 vsize=915420 CPUtime=0.21
/proc/14853/task/14859/stat : 14859 (java) S 14851 14853 14204 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155397788 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14853/tid=14860] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14860/stat : 14860 (java) S 14851 14853 14204 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155397788 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14861] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14861/stat : 14861 (java) S 14851 14853 14204 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155397788 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915420
[startup+51.1664 s]
/proc/loadavg: 0.99 1.04 1.35 2/85 14861
/proc/meminfo: memFree=1749920/2055920 swapFree=4192812/4192956
[pid=14853] ppid=14851 vsize=915420 CPUtime=51.12
/proc/14853/stat : 14853 (java) R 14851 14853 14204 0 -1 0 23206 0 1 0 5099 13 0 0 25 0 8 0 155397780 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073752692 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14853/statm: 228855 22936 2521 14 0 215325 0
[pid=14853/tid=14855] ppid=14851 vsize=915420 CPUtime=0.15
/proc/14853/task/14855/stat : 14855 (java) S 14851 14853 14204 0 -1 64 6219 0 0 0 13 2 0 0 16 0 8 0 155397784 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14853/tid=14856] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14856/stat : 14856 (java) S 14851 14853 14204 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155397784 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14857] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14857/stat : 14857 (java) S 14851 14853 14204 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155397784 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14858] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14858/stat : 14858 (java) S 14851 14853 14204 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155397787 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14859] ppid=14851 vsize=915420 CPUtime=0.21
/proc/14853/task/14859/stat : 14859 (java) S 14851 14853 14204 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155397788 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14853/tid=14860] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14860/stat : 14860 (java) S 14851 14853 14204 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155397788 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14861] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14861/stat : 14861 (java) S 14851 14853 14204 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155397788 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 915420
[startup+102.436 s]
/proc/loadavg: 0.99 1.03 1.33 2/85 14861
/proc/meminfo: memFree=1749920/2055920 swapFree=4192812/4192956
[pid=14853] ppid=14851 vsize=915420 CPUtime=102.37
/proc/14853/stat : 14853 (java) R 14851 14853 14204 0 -1 0 23206 0 1 0 10224 13 0 0 25 0 8 0 155397780 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073629628 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14853/statm: 228855 22936 2521 14 0 215325 0
[pid=14853/tid=14855] ppid=14851 vsize=915420 CPUtime=0.15
/proc/14853/task/14855/stat : 14855 (java) S 14851 14853 14204 0 -1 64 6219 0 0 0 13 2 0 0 16 0 8 0 155397784 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14853/tid=14856] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14856/stat : 14856 (java) S 14851 14853 14204 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155397784 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14857] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14857/stat : 14857 (java) S 14851 14853 14204 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155397784 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14858] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14858/stat : 14858 (java) S 14851 14853 14204 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155397787 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14859] ppid=14851 vsize=915420 CPUtime=0.21
/proc/14853/task/14859/stat : 14859 (java) S 14851 14853 14204 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155397788 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14853/tid=14860] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14860/stat : 14860 (java) S 14851 14853 14204 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155397788 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14861] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14861/stat : 14861 (java) S 14851 14853 14204 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155397788 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.37
Current children cumulated vsize (KiB) 915420
[startup+162.436 s]
/proc/loadavg: 0.99 1.03 1.30 2/85 14861
/proc/meminfo: memFree=1749920/2055920 swapFree=4192812/4192956
[pid=14853] ppid=14851 vsize=915420 CPUtime=162.36
/proc/14853/stat : 14853 (java) R 14851 14853 14204 0 -1 0 23206 0 1 0 16222 14 0 0 25 0 8 0 155397780 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073629628 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1423.3
Current children cumulated vsize (KiB) 915420
[startup+1483.9 s]
/proc/loadavg: 1.00 1.00 1.05 2/85 15059
/proc/meminfo: memFree=1748704/2055920 swapFree=4192812/4192956
[pid=14853] ppid=14851 vsize=915420 CPUtime=1483.38
/proc/14853/stat : 14853 (java) R 14851 14853 14204 0 -1 0 23206 0 1 0 148315 23 0 0 25 0 8 0 155397780 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073780108 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14853/statm: 228855 22936 2521 14 0 215325 0
[pid=14853/tid=14855] ppid=14851 vsize=915420 CPUtime=0.15
/proc/14853/task/14855/stat : 14855 (java) S 14851 14853 14204 0 -1 64 6219 0 0 0 13 2 0 0 16 0 8 0 155397784 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14853/tid=14856] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14856/stat : 14856 (java) S 14851 14853 14204 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155397784 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14857] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14857/stat : 14857 (java) S 14851 14853 14204 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155397784 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14858] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14858/stat : 14858 (java) S 14851 14853 14204 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155397787 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14859] ppid=14851 vsize=915420 CPUtime=0.21
/proc/14853/task/14859/stat : 14859 (java) S 14851 14853 14204 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155397788 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14853/tid=14860] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14860/stat : 14860 (java) S 14851 14853 14204 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155397788 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14861] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14861/stat : 14861 (java) S 14851 14853 14204 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155397788 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1483.38
Current children cumulated vsize (KiB) 915420
[startup+1543.9 s]
/proc/loadavg: 1.04 1.01 1.05 2/85 15061
/proc/meminfo: memFree=1748320/2055920 swapFree=4192812/4192956
[pid=14853] ppid=14851 vsize=915420 CPUtime=1543.36
/proc/14853/stat : 14853 (java) R 14851 14853 14204 0 -1 0 23206 0 1 0 154313 23 0 0 25 0 8 0 155397780 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073752692 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14853/statm: 228855 22936 2521 14 0 215325 0
[pid=14853/tid=14855] ppid=14851 vsize=915420 CPUtime=0.15
/proc/14853/task/14855/stat : 14855 (java) S 14851 14853 14204 0 -1 64 6219 0 0 0 13 2 0 0 16 0 8 0 155397784 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14853/tid=14856] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14856/stat : 14856 (java) S 14851 14853 14204 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155397784 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14857] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14857/stat : 14857 (java) S 14851 14853 14204 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155397784 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14858] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14858/stat : 14858 (java) S 14851 14853 14204 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155397787 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14859] ppid=14851 vsize=915420 CPUtime=0.21
/proc/14853/task/14859/stat : 14859 (java) S 14851 14853 14204 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155397788 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14853/tid=14860] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14860/stat : 14860 (java) S 14851 14853 14204 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155397788 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14861] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14861/stat : 14861 (java) S 14851 14853 14204 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155397788 937390080 22936 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1543.36
Current children cumulated vsize (KiB) 915420
[startup+1604 s]
/proc/loadavg: 1.01 1.01 1.04 2/85 15061
/proc/meminfo: memFree=1748320/2055920 swapFree=4192812/4192956
[pid=14853] ppid=14851 vsize=915420 CPUtime=1603.45
/proc/14853/stat : 14853 (java) R 14851 14853 14204 0 -1 0 23207 0 1 0 160321 24 0 0 25 0 8 0 155397780 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073776188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14853/statm: 228855 22937 2521 14 0 215325 0
[pid=14853/tid=14855] ppid=14851 vsize=915420 CPUtime=0.15
/proc/14853/task/14855/stat : 14855 (java) S 14851 14853 14204 0 -1 64 6219 0 0 0 13 2 0 0 16 0 8 0 155397784 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14853/tid=14856] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14856/stat : 14856 (java) S 14851 14853 14204 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155397784 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14857] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14857/stat : 14857 (java) S 14851 14853 14204 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155397784 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14858] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14858/stat : 14858 (java) S 14851 14853 14204 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155397787 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14859] ppid=14851 vsize=915420 CPUtime=0.21
/proc/14853/task/14859/stat : 14859 (java) S 14851 14853 14204 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155397788 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14853/tid=14860] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14860/stat : 14860 (java) S 14851 14853 14204 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155397788 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14861] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14861/stat : 14861 (java) S 14851 14853 14204 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155397788 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1603.45
Current children cumulated vsize (KiB) 915420
[startup+1664.1 s]
/proc/loadavg: 1.00 1.00 1.03 2/85 15061
/proc/meminfo: memFree=1748320/2055920 swapFree=4192812/4192956
[pid=14853] ppid=14851 vsize=915420 CPUtime=1663.53
/proc/14853/stat : 14853 (java) R 14851 14853 14204 0 -1 0 23207 0 1 0 166329 24 0 0 25 0 8 0 155397780 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073813867 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14853/statm: 228855 22937 2521 14 0 215325 0
[pid=14853/tid=14855] ppid=14851 vsize=915420 CPUtime=0.15
/proc/14853/task/14855/stat : 14855 (java) S 14851 14853 14204 0 -1 64 6219 0 0 0 13 2 0 0 16 0 8 0 155397784 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14853/tid=14856] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14856/stat : 14856 (java) S 14851 14853 14204 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155397784 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14857] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14857/stat : 14857 (java) S 14851 14853 14204 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155397784 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14858] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14858/stat : 14858 (java) S 14851 14853 14204 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155397787 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14859] ppid=14851 vsize=915420 CPUtime=0.21
/proc/14853/task/14859/stat : 14859 (java) S 14851 14853 14204 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155397788 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14853/tid=14860] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14860/stat : 14860 (java) S 14851 14853 14204 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155397788 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14861] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14861/stat : 14861 (java) S 14851 14853 14204 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155397788 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1663.53
Current children cumulated vsize (KiB) 915420
[startup+1724.11 s]
/proc/loadavg: 1.04 1.01 1.03 2/85 15061
/proc/meminfo: memFree=1748320/2055920 swapFree=4192812/4192956
[pid=14853] ppid=14851 vsize=915420 CPUtime=1723.52
/proc/14853/stat : 14853 (java) R 14851 14853 14204 0 -1 0 23207 0 1 0 172327 25 0 0 25 0 8 0 155397780 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073752676 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14853/statm: 228855 22937 2521 14 0 215325 0
[pid=14853/tid=14855] ppid=14851 vsize=915420 CPUtime=0.15
/proc/14853/task/14855/stat : 14855 (java) S 14851 14853 14204 0 -1 64 6219 0 0 0 13 2 0 0 16 0 8 0 155397784 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14853/tid=14856] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14856/stat : 14856 (java) S 14851 14853 14204 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155397784 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14857] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14857/stat : 14857 (java) S 14851 14853 14204 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155397784 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14858] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14858/stat : 14858 (java) S 14851 14853 14204 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155397787 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14859] ppid=14851 vsize=915420 CPUtime=0.21
/proc/14853/task/14859/stat : 14859 (java) S 14851 14853 14204 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155397788 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14853/tid=14860] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14860/stat : 14860 (java) S 14851 14853 14204 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155397788 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14861] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14861/stat : 14861 (java) S 14851 14853 14204 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155397788 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1723.52
Current children cumulated vsize (KiB) 915420
[startup+1784.21 s]
/proc/loadavg: 1.01 1.01 1.03 3/85 15061
/proc/meminfo: memFree=1748320/2055920 swapFree=4192812/4192956
[pid=14853] ppid=14851 vsize=915420 CPUtime=1783.6
/proc/14853/stat : 14853 (java) R 14851 14853 14204 0 -1 0 23207 0 1 0 178335 25 0 0 25 0 8 0 155397780 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073758214 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14853/statm: 228855 22937 2521 14 0 215325 0
[pid=14853/tid=14855] ppid=14851 vsize=915420 CPUtime=0.15
/proc/14853/task/14855/stat : 14855 (java) S 14851 14853 14204 0 -1 64 6219 0 0 0 13 2 0 0 16 0 8 0 155397784 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14853/tid=14856] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14856/stat : 14856 (java) S 14851 14853 14204 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155397784 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14857] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14857/stat : 14857 (java) S 14851 14853 14204 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155397784 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14858] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14858/stat : 14858 (java) S 14851 14853 14204 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155397787 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14859] ppid=14851 vsize=915420 CPUtime=0.21
/proc/14853/task/14859/stat : 14859 (java) S 14851 14853 14204 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155397788 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14853/tid=14860] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14860/stat : 14860 (java) S 14851 14853 14204 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155397788 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14861] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14861/stat : 14861 (java) S 14851 14853 14204 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155397788 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1783.6
Current children cumulated vsize (KiB) 915420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.64 s]
/proc/loadavg: 1.01 1.01 1.03 2/85 15061
/proc/meminfo: memFree=1748320/2055920 swapFree=4192812/4192956
[pid=14853] ppid=14851 vsize=915420 CPUtime=1800.04
/proc/14853/stat : 14853 (java) R 14851 14853 14204 0 -1 0 23207 0 1 0 179979 25 0 0 25 0 8 0 155397780 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073629628 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14853/statm: 228855 22937 2521 14 0 215325 0
[pid=14853/tid=14855] ppid=14851 vsize=915420 CPUtime=0.15
/proc/14853/task/14855/stat : 14855 (java) S 14851 14853 14204 0 -1 64 6219 0 0 0 13 2 0 0 16 0 8 0 155397784 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14853/tid=14856] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14856/stat : 14856 (java) S 14851 14853 14204 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155397784 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14857] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14857/stat : 14857 (java) S 14851 14853 14204 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155397784 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14858] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14858/stat : 14858 (java) S 14851 14853 14204 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155397787 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14859] ppid=14851 vsize=915420 CPUtime=0.21
/proc/14853/task/14859/stat : 14859 (java) S 14851 14853 14204 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155397788 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14853/tid=14860] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14860/stat : 14860 (java) S 14851 14853 14204 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155397788 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14853/tid=14861] ppid=14851 vsize=915420 CPUtime=0
/proc/14853/task/14861/stat : 14861 (java) S 14851 14853 14204 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155397788 937390080 22937 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 915420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1800.67
CPU time (s): 1800.07
CPU user time (s): 1799.8
CPU system time (s): 0.271958
CPU usage (%): 99.9667
Max. virtual memory (cumulated for all children) (KiB): 915420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.271958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23223
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= 37279
involuntary context switches= 4256
runsolver used 1.61875 s user time and 4.80527 s system time
The end
Begin job on node24 on Sat Jan 6 07:53:45 UTC 2007
IDJOB= 195832
IDBENCH= 3305
FILE ID= node24/195832-1168070025
PBS_JOBID= 3475641
Free space on /tmp= 66463 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-32_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195832-1168070025/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-195832-1168070025 -o ROOT/results/node24/solver-195832-1168070025 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195832-1168070025/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b58a3124ff0046ea3dca12c419183654
RANDOM SEED= 460588974
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.234
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.234
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: 1832376 kB
Buffers: 17188 kB
Cached: 86580 kB
SwapCached: 0 kB
Active: 105624 kB
Inactive: 50736 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1832376 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4352 kB
Writeback: 0 kB
Mapped: 71616 kB
Slab: 52484 kB
Committed_AS: 2844488 kB
PageTables: 1984 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= 66463 MiB
End job on node24 on Sat Jan 6 08:23:46 UTC 2007