0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/210710-1168201655/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.58 nbVariables=3249 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.58 => wckTime=0.267 cpuTime=0.17 mem=11M795
0.58
0.58 predicates being loaded...
0.59
0.59 constraints being loaded...
1.99 nbConstraints=8601 nbMergedConstraints=381 nbSingletonDomainVariables=13 nbConvertedConstraints=5669
1.99 nbConvertConstraintsChecks=22586 nbExtensionStructures=8 nbSharedExtensionStructures=5661
1.99 nbConflictsStructures=42 nbSharedConflictsStructures=8559 nbSharedBinaryRepresentations=19
1.99 nbEvaluationManagers=34 nbSharedEvaluationManagers=2898 maxDegree=134 maxArity=11
1.99 => wckTime=1.679 cpuTime=1.42 mem=51M997
2.11
2.11 solver IterativeSystematicSolver being built...
2.49 => wckTime=2.178 cpuTime=1.72 mem=53M724
8.45
8.45 preprocessing
8.45 nbConstraintChecks=92700 nbValidityChecks=40478 nbPropagations=15942 nbRevisions=67515 nbUselessRevisions=58632
8.45 nbSingletonTests=3997 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
8.45 => wckTime=5.95 cpuTime=5.86 mem=53M724
9.47
9.47 search
9.47 run=0 nbConstraintChecks=22742 nbValidityChecks=14543 nbPropagations=18800 nbRevisions=87537
9.47 nbUselessRevisions=75822 nbAssignments=184 nbFailedAssignments=3 nbBacktracks=12 nbVisitedNodes=191
9.47 nbRestartNogoods=0 mapSize=4 nbInferences=0 nbTooLargeKeys=0
9.47 => wckTime=6.974 cpuTime=6.86 mem=54M745
10.29
10.29 search
10.29 run=1 nbConstraintChecks=55689 nbValidityChecks=36350 nbPropagations=41414 nbRevisions=202621
10.29 nbUselessRevisions=175367 nbAssignments=333 nbFailedAssignments=7 nbBacktracks=41 nbVisitedNodes=352
10.29 nbRestartNogoods=2 mapSize=15 nbInferences=0 nbTooLargeKeys=0
10.29 => wckTime=7.785 cpuTime=7.67 mem=54M745
11.06
11.06 search
11.06 run=2 nbConstraintChecks=79355 nbValidityChecks=55499 nbPropagations=66781 nbRevisions=338455
11.06 nbUselessRevisions=292916 nbAssignments=484 nbFailedAssignments=12 nbBacktracks=65 nbVisitedNodes=513
11.06 nbRestartNogoods=3 mapSize=23 nbInferences=0 nbTooLargeKeys=0
11.06 => wckTime=8.563 cpuTime=8.43 mem=54M745
12.61
12.61 search
12.61 run=3 nbConstraintChecks=104168 nbValidityChecks=74309 nbPropagations=96018 nbRevisions=500822
12.61 nbUselessRevisions=433167 nbAssignments=782 nbFailedAssignments=21 nbBacktracks=114 nbVisitedNodes=824
12.61 nbRestartNogoods=5 mapSize=30 nbInferences=0 nbTooLargeKeys=0
12.61 => wckTime=10.111 cpuTime=9.98 mem=54M745
14.44
14.44 search
14.44 run=4 nbConstraintChecks=261341 nbValidityChecks=146071 nbPropagations=153523 nbRevisions=817569
14.44 nbUselessRevisions=699882 nbAssignments=1489 nbFailedAssignments=26 nbBacktracks=166 nbVisitedNodes=1129
14.44 nbRestartNogoods=11 mapSize=37 nbInferences=0 nbTooLargeKeys=0
14.44 => wckTime=11.936 cpuTime=11.8 mem=54M745
16.42
16.42 search
16.42 run=5 nbConstraintChecks=311372 nbValidityChecks=180734 nbPropagations=219784 nbRevisions=1189281
16.42 nbUselessRevisions=1012934 nbAssignments=1985 nbFailedAssignments=34 nbBacktracks=275 nbVisitedNodes=1502
16.42 nbRestartNogoods=13 mapSize=52 nbInferences=0 nbTooLargeKeys=0
16.42 => wckTime=13.924 cpuTime=13.77 mem=55M733
18.26
18.26 search
18.26 run=6 nbConstraintChecks=331364 nbValidityChecks=198229 nbPropagations=289595 nbRevisions=1585329
18.26 nbUselessRevisions=1346798 nbAssignments=2329 nbFailedAssignments=41 nbBacktracks=392 nbVisitedNodes=1860
18.26 nbRestartNogoods=14 mapSize=65 nbInferences=0 nbTooLargeKeys=0
18.26 => wckTime=15.759 cpuTime=15.6 mem=55M733
19.84
19.84 search
19.84 run=7 nbConstraintChecks=372794 nbValidityChecks=223170 nbPropagations=365346 nbRevisions=2021108
19.84 nbUselessRevisions=1714279 nbAssignments=2644 nbFailedAssignments=70 nbBacktracks=587 nbVisitedNodes=2233
19.84 nbRestartNogoods=15 mapSize=122 nbInferences=0 nbTooLargeKeys=0
19.84 => wckTime=17.339 cpuTime=17.18 mem=55M733
21.75
21.75 search
21.75 run=8 nbConstraintChecks=439893 nbValidityChecks=268592 nbPropagations=451645 nbRevisions=2533302
21.75 nbUselessRevisions=2146927 nbAssignments=3023 nbFailedAssignments=90 nbBacktracks=855 nbVisitedNodes=2664
21.75 nbRestartNogoods=16 mapSize=170 nbInferences=0 nbTooLargeKeys=0
21.75 => wckTime=19.253 cpuTime=19.07 mem=55M733
24.26
24.26 search
24.26 run=9 nbConstraintChecks=518054 nbValidityChecks=307631 nbPropagations=550767 nbRevisions=3128122
24.26 nbUselessRevisions=2648522 nbAssignments=3533 nbFailedAssignments=113 nbBacktracks=1240 nbVisitedNodes=3235
24.26 nbRestartNogoods=20 mapSize=226 nbInferences=0 nbTooLargeKeys=0
24.26 => wckTime=21.764 cpuTime=21.58 mem=56M721
27.74
27.74 search
27.74 run=10 nbConstraintChecks=601363 nbValidityChecks=353563 nbPropagations=663023 nbRevisions=3809990
27.74 nbUselessRevisions=3223086 nbAssignments=4229 nbFailedAssignments=141 nbBacktracks=1848 nbVisitedNodes=4000
27.74 nbRestartNogoods=25 mapSize=293 nbInferences=0 nbTooLargeKeys=0
27.74 => wckTime=25.238 cpuTime=25.05 mem=56M721
32.48
32.48 search
32.48 run=11 nbConstraintChecks=688924 nbValidityChecks=413280 nbPropagations=790286 nbRevisions=4596240
32.48 nbUselessRevisions=3886148 nbAssignments=5189 nbFailedAssignments=173 nbBacktracks=2714 nbVisitedNodes=5042
32.48 nbRestartNogoods=27 mapSize=372 nbInferences=0 nbTooLargeKeys=0
32.48 => wckTime=29.984 cpuTime=29.79 mem=57M648
39.92
39.92 search
39.92 run=12 nbConstraintChecks=893351 nbValidityChecks=528406 nbPropagations=946784 nbRevisions=5591687
39.92 nbUselessRevisions=4726664 nbAssignments=6739 nbFailedAssignments=297 nbBacktracks=4012 nbVisitedNodes=6839
39.92 nbRestartNogoods=30 mapSize=613 nbInferences=0 nbTooLargeKeys=0
39.92 => wckTime=37.424 cpuTime=37.2 mem=15M26
44.94
44.94 INFO : Stopping hyperNogood (mapSize=1026, nbTooLargekeys=0, mem=17M15)
46.88
46.88 search
46.88 run=13 nbConstraintChecks=2702108 nbValidityChecks=1195126 nbPropagations=1374713 nbRevisions=8198402
46.88 nbUselessRevisions=6872659 nbAssignments=9227 nbFailedAssignments=622 nbBacktracks=5974 nbVisitedNodes=10055
46.88 nbRestartNogoods=36
46.88 => wckTime=44.382 cpuTime=44.14 mem=17M15
52.14
52.14 search
52.14 run=14 nbConstraintChecks=5001840 nbValidityChecks=1943261 nbPropagations=2157963 nbRevisions=12831153
52.14 nbUselessRevisions=10653940 nbAssignments=12700 nbFailedAssignments=1125 nbBacktracks=8898 nbVisitedNodes=14538
52.14 nbRestartNogoods=41
52.14 => wckTime=49.639 cpuTime=49.4 mem=17M15
61.11
61.11 search
61.11 run=15 nbConstraintChecks=8944599 nbValidityChecks=3458996 nbPropagations=3527728 nbRevisions=21008724
61.11 nbUselessRevisions=17343784 nbAssignments=17738 nbFailedAssignments=1737 nbBacktracks=13279
61.11 nbVisitedNodes=21235 nbRestartNogoods=46
61.11 => wckTime=58.611 cpuTime=58.36 mem=17M15
72.25
72.25 search
72.25 run=16 nbConstraintChecks=13371327 nbValidityChecks=5020116 nbPropagations=5536106 nbRevisions=32926370
72.25 nbUselessRevisions=27074141 nbAssignments=25301 nbFailedAssignments=2675 nbBacktracks=19870
72.25 nbVisitedNodes=30943 nbRestartNogoods=53
72.25 => wckTime=69.752 cpuTime=69.48 mem=17M15
91.12
91.12 search
91.12 run=17 nbConstraintChecks=21792818 nbValidityChecks=8014550 nbPropagations=8836000 nbRevisions=52212521
91.12 nbUselessRevisions=42800578 nbAssignments=36744 nbFailedAssignments=4206 nbBacktracks=29742
91.12 nbVisitedNodes=45855 nbRestartNogoods=58
91.12 => wckTime=88.621 cpuTime=88.33 mem=17M15
115.80
115.80 search
115.80 run=18 nbConstraintChecks=32195939 nbValidityChecks=11382353 nbPropagations=13718102 nbRevisions=80499199
115.80 nbUselessRevisions=65782491 nbAssignments=53432 nbFailedAssignments=6074 nbBacktracks=44521
115.80 nbVisitedNodes=66481 nbRestartNogoods=66
115.80 => wckTime=113.304 cpuTime=112.99 mem=17M15
164.38
164.38 search
164.38 run=19 nbConstraintChecks=55732858 nbValidityChecks=19258822 nbPropagations=22025065 nbRevisions=128312650
164.38 nbUselessRevisions=104402772 nbAssignments=80046 nbFailedAssignments=10355 nbBacktracks=66693
164.38 nbVisitedNodes=102388 nbRestartNogoods=74
164.38 => wckTime=161.876 cpuTime=161.51 mem=17M15
223.34
223.34 search
223.34 run=20 nbConstraintChecks=84452335 nbValidityChecks=27203141 nbPropagations=34934073 nbRevisions=199929559
223.34 nbUselessRevisions=161927961 nbAssignments=116999 nbFailedAssignments=13822 nbBacktracks=99963
223.34 nbVisitedNodes=147488 nbRestartNogoods=84
223.34 => wckTime=220.84 cpuTime=220.43 mem=17M15
326.34
326.34 search
326.34 run=21 nbConstraintChecks=137198479 nbValidityChecks=43713461 nbPropagations=56288063 nbRevisions=317641247
326.34 nbUselessRevisions=256332753 nbAssignments=175735 nbFailedAssignments=22534 nbBacktracks=149841
326.34 nbVisitedNodes=224760 nbRestartNogoods=93
326.34 => wckTime=323.843 cpuTime=323.32 mem=17M15
450.32
450.32 search
450.32 run=22 nbConstraintChecks=185380272 nbValidityChecks=61311362 nbPropagations=84573029 nbRevisions=476454093
450.32 nbUselessRevisions=384318622 nbAssignments=260635 nbFailedAssignments=32474 nbBacktracks=224665
450.32 nbVisitedNodes=331772 nbRestartNogoods=103
450.32 => wckTime=447.822 cpuTime=447.17 mem=17M15
621.82
621.82 search
621.82 run=23 nbConstraintChecks=243643081 nbValidityChecks=86809853 nbPropagations=120641422 nbRevisions=685102159
621.82 nbUselessRevisions=553279878 nbAssignments=388763 nbFailedAssignments=48336 nbBacktracks=336900
621.82 nbVisitedNodes=494383 nbRestartNogoods=113
621.82 => wckTime=619.317 cpuTime=618.5 mem=17M15
923.77
923.77 search
923.77 run=24 nbConstraintChecks=360137849 nbValidityChecks=129070163 nbPropagations=171732255 nbRevisions=984352967
923.77 nbUselessRevisions=795394879 nbAssignments=580676 nbFailedAssignments=71824 nbBacktracks=505270
923.77 nbVisitedNodes=742632 nbRestartNogoods=120
923.77 => wckTime=921.271 cpuTime=920.15 mem=17M15
1361.96
1361.96 search
1361.96 run=25 nbConstraintChecks=519469110 nbValidityChecks=192903790 nbPropagations=244104560 nbRevisions=1415468080
1361.96 nbUselessRevisions=1145949242 nbAssignments=874022 nbFailedAssignments=112602 nbBacktracks=757781
1361.96 nbVisitedNodes=1122215 nbRestartNogoods=132
1361.96 => wckTime=1359.459 cpuTime=1357.92 mem=17M15
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node40/watcher-210710-1168201655 -o ROOT/results/node40/solver-210710-1168201655 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210710-1168201655/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: 2.00 1.98 1.85 2/73 29973
/proc/meminfo: memFree=1703120/2055920 swapFree=4192812/4192956
[pid=29972] ppid=29970 vsize=18540 CPUtime=0
/proc/29972/stat : 29972 (runsolver) R 29970 29972 29151 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 168564806 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264519609639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/29972/statm: 4635 279 244 17 0 2626 0
[startup+0.102571 s]
/proc/loadavg: 2.00 1.98 1.85 2/73 29973
/proc/meminfo: memFree=1703120/2055920 swapFree=4192812/4192956
[pid=29972] ppid=29970 vsize=914988 CPUtime=0.08
/proc/29972/stat : 29972 (java) R 29970 29972 29151 0 -1 0 2953 0 1 0 6 2 0 0 17 0 8 0 168564806 936947712 2699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153795030 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29972/statm: 228747 2699 1414 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510624 s]
/proc/loadavg: 2.00 1.98 1.85 2/73 29973
/proc/meminfo: memFree=1703120/2055920 swapFree=4192812/4192956
[pid=29972] ppid=29970 vsize=915328 CPUtime=0.48
/proc/29972/stat : 29972 (java) R 29970 29972 29151 0 -1 0 6496 0 1 0 44 4 0 0 18 0 8 0 168564806 937295872 6235 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072923399 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29972/statm: 228832 6235 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33273 s]
/proc/loadavg: 2.00 1.98 1.85 4/80 29980
/proc/meminfo: memFree=1641944/2055920 swapFree=4192812/4192956
[pid=29972] ppid=29970 vsize=915648 CPUtime=1.3
/proc/29972/stat : 29972 (java) R 29970 29972 29151 0 -1 0 17670 0 1 0 111 19 0 0 24 0 8 0 168564806 937623552 17408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29972/statm: 228912 17408 2178 14 0 215382 0
[pid=29972/tid=29974] ppid=29970 vsize=915648 CPUtime=0.04
/proc/29972/task/29974/stat : 29974 (java) S 29970 29972 29151 0 -1 64 1057 0 0 0 4 0 0 0 17 0 8 0 168564810 937623552 17408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29975] ppid=29970 vsize=915648 CPUtime=0
/proc/29972/task/29975/stat : 29975 (java) S 29970 29972 29151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168564810 937623552 17408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29976] ppid=29970 vsize=915648 CPUtime=0
/proc/29972/task/29976/stat : 29976 (java) S 29970 29972 29151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168564810 937623552 17408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29977] ppid=29970 vsize=915648 CPUtime=0
/proc/29972/task/29977/stat : 29977 (java) S 29970 29972 29151 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168564814 937623552 17408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29978] ppid=29970 vsize=915648 CPUtime=0.18
/proc/29972/task/29978/stat : 29978 (java) S 29970 29972 29151 0 -1 64 421 0 0 0 18 0 0 0 16 0 8 0 168564814 937623552 17408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29979] ppid=29970 vsize=915648 CPUtime=0
/proc/29972/task/29979/stat : 29979 (java) S 29970 29972 29151 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 168564814 937623552 17408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29980] ppid=29970 vsize=915648 CPUtime=0
/proc/29972/task/29980/stat : 29980 (java) S 29970 29972 29151 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168564814 937623552 17408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915648
[startup+2.98595 s]
/proc/loadavg: 2.00 1.98 1.85 3/80 29980
/proc/meminfo: memFree=1632664/2055920 swapFree=4192812/4192956
[pid=29972] ppid=29970 vsize=915740 CPUtime=2.94
/proc/29972/stat : 29972 (java) R 29970 29972 29151 0 -1 0 20430 0 1 0 246 48 0 0 25 0 8 0 168564806 937717760 20151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074206285 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29972/statm: 228935 20151 2547 14 0 215405 0
[pid=29972/tid=29974] ppid=29970 vsize=915740 CPUtime=0.15
/proc/29972/task/29974/stat : 29974 (java) S 29970 29972 29151 0 -1 64 3284 0 0 0 15 0 0 0 18 0 8 0 168564810 937717760 20151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29975] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29975/stat : 29975 (java) S 29970 29972 29151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168564810 937717760 20151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29976] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29976/stat : 29976 (java) S 29970 29972 29151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168564810 937717760 20151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29977] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29977/stat : 29977 (java) S 29970 29972 29151 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168564814 937717760 20151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29978] ppid=29970 vsize=915740 CPUtime=0.34
/proc/29972/task/29978/stat : 29978 (java) S 29970 29972 29151 0 -1 64 511 0 0 0 33 1 0 0 15 0 8 0 168564814 937717760 20151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29979] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29979/stat : 29979 (java) S 29970 29972 29151 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 168564814 937717760 20151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29980] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29980/stat : 29980 (java) S 29970 29972 29151 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168564814 937717760 20151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915740
[startup+6.28037 s]
/proc/loadavg: 2.00 1.98 1.85 4/80 29980
/proc/meminfo: memFree=1632280/2055920 swapFree=4192812/4192956
[pid=29972] ppid=29970 vsize=915740 CPUtime=6.2
/proc/29972/stat : 29972 (java) R 29970 29972 29151 0 -1 0 20437 0 1 0 572 48 0 0 25 0 8 0 168564806 937717760 20154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074202992 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29972/statm: 228935 20154 2547 14 0 215405 0
[pid=29972/tid=29974] ppid=29970 vsize=915740 CPUtime=0.15
/proc/29972/task/29974/stat : 29974 (java) S 29970 29972 29151 0 -1 64 3284 0 0 0 15 0 0 0 17 0 8 0 168564810 937717760 20154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29975] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29975/stat : 29975 (java) S 29970 29972 29151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168564810 937717760 20154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29976] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29976/stat : 29976 (java) S 29970 29972 29151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168564810 937717760 20154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29977] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29977/stat : 29977 (java) S 29970 29972 29151 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168564814 937717760 20154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29978] ppid=29970 vsize=915740 CPUtime=0.34
/proc/29972/task/29978/stat : 29978 (java) S 29970 29972 29151 0 -1 64 518 0 0 0 33 1 0 0 15 0 8 0 168564814 937717760 20154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29979] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29979/stat : 29979 (java) S 29970 29972 29151 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 168564814 937717760 20154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29980] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29980/stat : 29980 (java) S 29970 29972 29151 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168564814 937717760 20154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915740
[startup+12.7722 s]
/proc/loadavg: 2.00 1.98 1.85 2/75 29992
/proc/meminfo: memFree=1662464/2055920 swapFree=4192812/4192956
[pid=29972] ppid=29970 vsize=915740 CPUtime=12.65
/proc/29972/stat : 29972 (java) R 29970 29972 29151 0 -1 0 20458 0 1 0 1216 49 0 0 25 0 8 0 168564806 937717760 20171 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073883062 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29972/statm: 228935 20171 2548 14 0 215405 0
[pid=29972/tid=29974] ppid=29970 vsize=915740 CPUtime=0.15
/proc/29972/task/29974/stat : 29974 (java) S 29970 29972 29151 0 -1 64 3284 0 0 0 15 0 0 0 16 0 8 0 168564810 937717760 20171 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29975] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29975/stat : 29975 (java) S 29970 29972 29151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168564810 937717760 20171 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29976] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29976/stat : 29976 (java) S 29970 29972 29151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168564810 937717760 20171 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29977] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29977/stat : 29977 (java) S 29970 29972 29151 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168564814 937717760 20171 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29978] ppid=29970 vsize=915740 CPUtime=0.37
/proc/29972/task/29978/stat : 29978 (java) S 29970 29972 29151 0 -1 64 532 0 0 0 36 1 0 0 15 0 8 0 168564814 937717760 20171 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29979] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29979/stat : 29979 (java) S 29970 29972 29151 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 168564814 937717760 20171 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29980] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29980/stat : 29980 (java) S 29970 29972 29151 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168564814 937717760 20171 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915740
[startup+25.6279 s]
/proc/loadavg: 2.01 1.98 1.85 3/88 30051
/proc/meminfo: memFree=1627232/2055920 swapFree=4192812/4192956
[pid=29972] ppid=29970 vsize=915740 CPUtime=25.48
/proc/29972/stat : 29972 (java) R 29970 29972 29151 0 -1 0 20471 0 1 0 2499 49 0 0 25 0 8 0 168564806 937717760 20181 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074157111 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29972/statm: 228935 20181 2548 14 0 215405 0
[pid=29972/tid=29974] ppid=29970 vsize=915740 CPUtime=0.15
/proc/29972/task/29974/stat : 29974 (java) S 29970 29972 29151 0 -1 64 3284 0 0 0 15 0 0 0 17 0 8 0 168564810 937717760 20181 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29975] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29975/stat : 29975 (java) S 29970 29972 29151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168564810 937717760 20181 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29976] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29976/stat : 29976 (java) S 29970 29972 29151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168564810 937717760 20181 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29977] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29977/stat : 29977 (java) S 29970 29972 29151 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168564814 937717760 20181 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29978] ppid=29970 vsize=915740 CPUtime=0.4
/proc/29972/task/29978/stat : 29978 (java) S 29970 29972 29151 0 -1 64 542 0 0 0 39 1 0 0 15 0 8 0 168564814 937717760 20181 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29979] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29979/stat : 29979 (java) S 29970 29972 29151 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 168564814 937717760 20181 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29980] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29980/stat : 29980 (java) S 29970 29972 29151 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168564814 937717760 20181 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915740
[startup+51.3182 s]
/proc/loadavg: 2.00 1.98 1.85 3/88 30051
/proc/meminfo: memFree=1603296/2055920 swapFree=4192812/4192956
[pid=29972] ppid=29970 vsize=915740 CPUtime=51.15
/proc/29972/stat : 29972 (java) R 29970 29972 29151 0 -1 0 21253 0 1 0 5065 50 0 0 25 0 8 0 168564806 937717760 20957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074252283 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29972/statm: 228935 20957 2548 14 0 215405 0
[pid=29972/tid=29974] ppid=29970 vsize=915740 CPUtime=0.18
/proc/29972/task/29974/stat : 29974 (java) S 29970 29972 29151 0 -1 64 4056 0 0 0 17 1 0 0 16 0 8 0 168564810 937717760 20957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29975] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29975/stat : 29975 (java) S 29970 29972 29151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168564810 937717760 20957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29976] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29976/stat : 29976 (java) S 29970 29972 29151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168564810 937717760 20957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29977] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29977/stat : 29977 (java) S 29970 29972 29151 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168564814 937717760 20957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29978] ppid=29970 vsize=915740 CPUtime=0.4
/proc/29972/task/29978/stat : 29978 (java) S 29970 29972 29151 0 -1 64 547 0 0 0 39 1 0 0 16 0 8 0 168564814 937717760 20957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29979] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29979/stat : 29979 (java) S 29970 29972 29151 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 168564814 937717760 20957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29980] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29980/stat : 29980 (java) S 29970 29972 29151 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168564814 937717760 20957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.15
Current children cumulated vsize (KiB) 915740
[startup+102.584 s]
/proc/loadavg: 2.00 1.98 1.85 3/88 30051
/proc/meminfo: memFree=1602784/2055920 swapFree=4192812/4192956
[pid=29972] ppid=29970 vsize=915740 CPUtime=102.36
/proc/29972/stat : 29972 (java) R 29970 29972 29151 0 -1 0 21255 0 1 0 10186 50 0 0 25 0 8 0 168564806 937717760 20958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074157111 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29972/statm: 228935 20958 2548 14 0 215405 0
[pid=29972/tid=29974] ppid=29970 vsize=915740 CPUtime=0.18
/proc/29972/task/29974/stat : 29974 (java) S 29970 29972 29151 0 -1 64 4056 0 0 0 17 1 0 0 16 0 8 0 168564810 937717760 20958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29975] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29975/stat : 29975 (java) S 29970 29972 29151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168564810 937717760 20958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29976] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29976/stat : 29976 (java) S 29970 29972 29151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168564810 937717760 20958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29977] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29977/stat : 29977 (java) S 29970 29972 29151 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168564814 937717760 20958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29978] ppid=29970 vsize=915740 CPUtime=0.4
/proc/29972/task/29978/stat : 29978 (java) S 29970 29972 29151 0 -1 64 548 0 0 0 39 1 0 0 16 0 8 0 168564814 937717760 20958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29979] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29979/stat : 29979 (java) S 29970 29972 29151 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 168564814 937717760 20958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29980] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29980/stat : 29980 (java) S 29970 29972 29151 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168564814 937717760 20958 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) 915740
[startup+162.592 s]
/proc/loadavg: 2.00 1.98 1.86 3/88 30051
/proc/meminfo: memFree=1602400/2055920 swapFree=4192812/4192956
[pid=29972] ppid=29970 vsize=915740 CPUtime=162.3
/proc/29972/stat : 29972 (java) R 29970 29972 29151 0 -1 0 21255 0 1 0 16180 50 0 0 25 0 8 0 168564806 937717760 20958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073889859 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1421.6
Current children cumulated vsize (KiB) 915740
[startup+1483.14 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 30051
/proc/meminfo: memFree=1601504/2055920 swapFree=4192812/4192956
[pid=29972] ppid=29970 vsize=915740 CPUtime=1481.55
/proc/29972/stat : 29972 (java) R 29970 29972 29151 0 -1 0 21257 0 1 0 148101 54 0 0 25 0 8 0 168564806 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074163635 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29972/statm: 228935 20960 2548 14 0 215405 0
[pid=29972/tid=29974] ppid=29970 vsize=915740 CPUtime=0.18
/proc/29972/task/29974/stat : 29974 (java) S 29970 29972 29151 0 -1 64 4056 0 0 0 17 1 0 0 16 0 8 0 168564810 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29975] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29975/stat : 29975 (java) S 29970 29972 29151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168564810 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29976] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29976/stat : 29976 (java) S 29970 29972 29151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168564810 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29977] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29977/stat : 29977 (java) S 29970 29972 29151 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168564814 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29978] ppid=29970 vsize=915740 CPUtime=0.41
/proc/29972/task/29978/stat : 29978 (java) S 29970 29972 29151 0 -1 64 550 0 0 0 40 1 0 0 16 0 8 0 168564814 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29979] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29979/stat : 29979 (java) S 29970 29972 29151 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 168564814 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29980] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29980/stat : 29980 (java) S 29970 29972 29151 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168564814 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1481.55
Current children cumulated vsize (KiB) 915740
[startup+1543.24 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 30051
/proc/meminfo: memFree=1601440/2055920 swapFree=4192812/4192956
[pid=29972] ppid=29970 vsize=915740 CPUtime=1541.6
/proc/29972/stat : 29972 (java) R 29970 29972 29151 0 -1 0 21257 0 1 0 154106 54 0 0 25 0 8 0 168564806 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074160441 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29972/statm: 228935 20960 2548 14 0 215405 0
[pid=29972/tid=29974] ppid=29970 vsize=915740 CPUtime=0.18
/proc/29972/task/29974/stat : 29974 (java) S 29970 29972 29151 0 -1 64 4056 0 0 0 17 1 0 0 16 0 8 0 168564810 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29975] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29975/stat : 29975 (java) S 29970 29972 29151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168564810 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29976] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29976/stat : 29976 (java) S 29970 29972 29151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168564810 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29977] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29977/stat : 29977 (java) S 29970 29972 29151 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168564814 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29978] ppid=29970 vsize=915740 CPUtime=0.41
/proc/29972/task/29978/stat : 29978 (java) S 29970 29972 29151 0 -1 64 550 0 0 0 40 1 0 0 16 0 8 0 168564814 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29979] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29979/stat : 29979 (java) S 29970 29972 29151 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 168564814 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29980] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29980/stat : 29980 (java) S 29970 29972 29151 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168564814 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1541.6
Current children cumulated vsize (KiB) 915740
[startup+1603.25 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 30051
/proc/meminfo: memFree=1601440/2055920 swapFree=4192812/4192956
[pid=29972] ppid=29970 vsize=915740 CPUtime=1601.55
/proc/29972/stat : 29972 (java) R 29970 29972 29151 0 -1 0 21257 0 1 0 160101 54 0 0 25 0 8 0 168564806 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074236798 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29972/statm: 228935 20960 2548 14 0 215405 0
[pid=29972/tid=29974] ppid=29970 vsize=915740 CPUtime=0.18
/proc/29972/task/29974/stat : 29974 (java) S 29970 29972 29151 0 -1 64 4056 0 0 0 17 1 0 0 16 0 8 0 168564810 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29975] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29975/stat : 29975 (java) S 29970 29972 29151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168564810 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29976] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29976/stat : 29976 (java) S 29970 29972 29151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168564810 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29977] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29977/stat : 29977 (java) S 29970 29972 29151 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168564814 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29978] ppid=29970 vsize=915740 CPUtime=0.41
/proc/29972/task/29978/stat : 29978 (java) S 29970 29972 29151 0 -1 64 550 0 0 0 40 1 0 0 16 0 8 0 168564814 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29979] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29979/stat : 29979 (java) S 29970 29972 29151 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 168564814 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29980] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29980/stat : 29980 (java) S 29970 29972 29151 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168564814 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1601.55
Current children cumulated vsize (KiB) 915740
[startup+1663.35 s]
/proc/loadavg: 2.07 2.02 1.93 3/88 30051
/proc/meminfo: memFree=1601440/2055920 swapFree=4192812/4192956
[pid=29972] ppid=29970 vsize=915740 CPUtime=1661.59
/proc/29972/stat : 29972 (java) R 29970 29972 29151 0 -1 0 21257 0 1 0 166105 54 0 0 25 0 8 0 168564806 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074152786 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29972/statm: 228935 20960 2548 14 0 215405 0
[pid=29972/tid=29974] ppid=29970 vsize=915740 CPUtime=0.18
/proc/29972/task/29974/stat : 29974 (java) S 29970 29972 29151 0 -1 64 4056 0 0 0 17 1 0 0 16 0 8 0 168564810 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29975] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29975/stat : 29975 (java) S 29970 29972 29151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168564810 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29976] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29976/stat : 29976 (java) S 29970 29972 29151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168564810 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29977] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29977/stat : 29977 (java) S 29970 29972 29151 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168564814 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29978] ppid=29970 vsize=915740 CPUtime=0.41
/proc/29972/task/29978/stat : 29978 (java) S 29970 29972 29151 0 -1 64 550 0 0 0 40 1 0 0 16 0 8 0 168564814 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29979] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29979/stat : 29979 (java) S 29970 29972 29151 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 168564814 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29980] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29980/stat : 29980 (java) R 29970 29972 29151 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168564814 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1661.59
Current children cumulated vsize (KiB) 915740
[startup+1723.45 s]
/proc/loadavg: 2.02 2.01 1.93 3/88 30051
/proc/meminfo: memFree=1601376/2055920 swapFree=4192812/4192956
[pid=29972] ppid=29970 vsize=915740 CPUtime=1721.65
/proc/29972/stat : 29972 (java) R 29970 29972 29151 0 -1 0 21257 0 1 0 172110 55 0 0 25 0 8 0 168564806 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074177667 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29972/statm: 228935 20960 2548 14 0 215405 0
[pid=29972/tid=29974] ppid=29970 vsize=915740 CPUtime=0.18
/proc/29972/task/29974/stat : 29974 (java) S 29970 29972 29151 0 -1 64 4056 0 0 0 17 1 0 0 16 0 8 0 168564810 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29975] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29975/stat : 29975 (java) S 29970 29972 29151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168564810 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29976] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29976/stat : 29976 (java) S 29970 29972 29151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168564810 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29977] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29977/stat : 29977 (java) S 29970 29972 29151 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168564814 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29978] ppid=29970 vsize=915740 CPUtime=0.41
/proc/29972/task/29978/stat : 29978 (java) S 29970 29972 29151 0 -1 64 550 0 0 0 40 1 0 0 16 0 8 0 168564814 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29979] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29979/stat : 29979 (java) S 29970 29972 29151 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 168564814 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29980] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29980/stat : 29980 (java) S 29970 29972 29151 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168564814 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 915740
[startup+1783.47 s]
/proc/loadavg: 2.01 2.00 1.93 3/88 30051
/proc/meminfo: memFree=1601376/2055920 swapFree=4192812/4192956
[pid=29972] ppid=29970 vsize=915740 CPUtime=1781.59
/proc/29972/stat : 29972 (java) R 29970 29972 29151 0 -1 0 21257 0 1 0 178104 55 0 0 25 0 8 0 168564806 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074168724 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29972/statm: 228935 20960 2548 14 0 215405 0
[pid=29972/tid=29974] ppid=29970 vsize=915740 CPUtime=0.18
/proc/29972/task/29974/stat : 29974 (java) S 29970 29972 29151 0 -1 64 4056 0 0 0 17 1 0 0 16 0 8 0 168564810 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29975] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29975/stat : 29975 (java) S 29970 29972 29151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168564810 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29976] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29976/stat : 29976 (java) S 29970 29972 29151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168564810 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29977] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29977/stat : 29977 (java) S 29970 29972 29151 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168564814 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29978] ppid=29970 vsize=915740 CPUtime=0.41
/proc/29972/task/29978/stat : 29978 (java) S 29970 29972 29151 0 -1 64 550 0 0 0 40 1 0 0 16 0 8 0 168564814 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29979] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29979/stat : 29979 (java) S 29970 29972 29151 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 168564814 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29980] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29980/stat : 29980 (java) S 29970 29972 29151 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168564814 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 915740
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.89 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 30051
/proc/meminfo: memFree=1601376/2055920 swapFree=4192812/4192956
[pid=29972] ppid=29970 vsize=915740 CPUtime=1800
/proc/29972/stat : 29972 (java) R 29970 29972 29151 0 -1 0 21257 0 1 0 179945 55 0 0 25 0 8 0 168564806 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074157111 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29972/statm: 228935 20960 2548 14 0 215405 0
[pid=29972/tid=29974] ppid=29970 vsize=915740 CPUtime=0.18
/proc/29972/task/29974/stat : 29974 (java) S 29970 29972 29151 0 -1 64 4056 0 0 0 17 1 0 0 16 0 8 0 168564810 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29975] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29975/stat : 29975 (java) S 29970 29972 29151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168564810 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29976] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29976/stat : 29976 (java) S 29970 29972 29151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168564810 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29977] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29977/stat : 29977 (java) S 29970 29972 29151 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168564814 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29978] ppid=29970 vsize=915740 CPUtime=0.41
/proc/29972/task/29978/stat : 29978 (java) S 29970 29972 29151 0 -1 64 550 0 0 0 40 1 0 0 16 0 8 0 168564814 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29972/tid=29979] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29979/stat : 29979 (java) S 29970 29972 29151 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 168564814 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29972/tid=29980] ppid=29970 vsize=915740 CPUtime=0
/proc/29972/task/29980/stat : 29980 (java) S 29970 29972 29151 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168564814 937717760 20960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 915740
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1801.95
CPU time (s): 1800.06
CPU user time (s): 1799.49
CPU system time (s): 0.566913
CPU usage (%): 99.8951
Max. virtual memory (cumulated for all children) (KiB): 915976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.566913
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21272
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= 38247
involuntary context switches= 26985
runsolver used 2.06569 s user time and 5.97909 s system time
The end
Begin job on node40 on Sun Jan 7 20:27:35 UTC 2007
IDJOB= 210710
IDBENCH= 4640
FILE ID= node40/210710-1168201655
PBS_JOBID= 3480741
Free space on /tmp= 66548 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/ooo-tag8.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210710-1168201655/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-210710-1168201655 -o ROOT/results/node40/solver-210710-1168201655 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210710-1168201655/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c2e87330c14820a926dade61c5e24ffe
RANDOM SEED= 570421531
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.239
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.239
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: 1703600 kB
Buffers: 24928 kB
Cached: 227080 kB
SwapCached: 0 kB
Active: 145296 kB
Inactive: 153544 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1703600 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2948 kB
Writeback: 0 kB
Mapped: 60448 kB
Slab: 38896 kB
Committed_AS: 3479640 kB
PageTables: 1792 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66550 MiB
End job on node40 on Sun Jan 7 20:57:37 UTC 2007