0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/206853-1168074092/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.41 => wckTime=0.1 cpuTime=0.08 mem=6M951
0.41
0.41 relations being loaded...
1.53
1.53 constraints being loaded...
2.24 nbConstraints=92 nbRelationTypes=93 nbMergedConstraints=1 nbExtensionStructures=92
2.24 nbSharedExtensionStructures=0 nbConflictsStructures=92 nbSharedConflictsStructures=0
2.24 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
2.24 => wckTime=1.932 cpuTime=1.53 mem=58M67
2.39
2.39 solver IterativeSystematicSolver being built...
2.55 => wckTime=2.237 cpuTime=1.65 mem=65M859
2.55
2.55 preprocessing
2.55 nbConstraintChecks=0 nbPropagations=28 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.55 detectedInconsistency=no
2.55 => wckTime=0.0030 cpuTime=0.01 mem=65M859
2.70
2.70 search
2.70 run=0 nbConstraintChecks=53192 nbValidityChecks=96356 nbPropagations=503 nbRevisions=5844
2.70 nbUselessRevisions=4699 nbAssignments=36 nbFailedAssignments=18 nbBacktracks=10 nbVisitedNodes=63
2.70 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
2.70 => wckTime=0.151 cpuTime=0.12 mem=65M859
2.82
2.82 search
2.82 run=1 nbConstraintChecks=115206 nbValidityChecks=212069 nbPropagations=1467 nbRevisions=17767
2.82 nbUselessRevisions=14244 nbAssignments=85 nbFailedAssignments=45 nbBacktracks=26 nbVisitedNodes=146
2.82 nbRestartNogoods=5 mapSize=21 nbInferences=0 nbTooLargeKeys=0
2.82 => wckTime=0.265 cpuTime=0.23 mem=65M859
2.95
2.95 search
2.95 run=2 nbConstraintChecks=195588 nbValidityChecks=371614 nbPropagations=3270 nbRevisions=39349
2.95 nbUselessRevisions=31601 nbAssignments=160 nbFailedAssignments=89 nbBacktracks=49 nbVisitedNodes=281
2.95 nbRestartNogoods=7 mapSize=42 nbInferences=0 nbTooLargeKeys=0
2.95 => wckTime=0.403 cpuTime=0.36 mem=65M859
3.15
3.15 search
3.15 run=3 nbConstraintChecks=323372 nbValidityChecks=621010 nbPropagations=6050 nbRevisions=74368
3.15 nbUselessRevisions=59807 nbAssignments=258 nbFailedAssignments=146 nbBacktracks=82 nbVisitedNodes=454
3.15 nbRestartNogoods=10 mapSize=68 nbInferences=0 nbTooLargeKeys=0
3.15 => wckTime=0.601 cpuTime=0.57 mem=65M859
3.43
3.43 search
3.43 run=4 nbConstraintChecks=495170 nbValidityChecks=964309 nbPropagations=10385 nbRevisions=127482
3.43 nbUselessRevisions=102365 nbAssignments=370 nbFailedAssignments=201 nbBacktracks=132 nbVisitedNodes=656
3.43 nbRestartNogoods=14 mapSize=115 nbInferences=0 nbTooLargeKeys=0
3.43 => wckTime=0.879 cpuTime=0.84 mem=65M859
4.00
4.00 search
4.00 run=5 nbConstraintChecks=829306 nbValidityChecks=1628387 nbPropagations=17242 nbRevisions=213537
4.00 nbUselessRevisions=171407 nbAssignments=577 nbFailedAssignments=325 nbBacktracks=207 nbVisitedNodes=1038
4.00 nbRestartNogoods=26 mapSize=184 nbInferences=0 nbTooLargeKeys=0
4.00 => wckTime=1.45 cpuTime=1.4 mem=65M859
4.54
4.54 search
4.54 run=6 nbConstraintChecks=1166681 nbValidityChecks=2330299 nbPropagations=27441 nbRevisions=340985
4.54 nbUselessRevisions=273951 nbAssignments=849 nbFailedAssignments=477 nbBacktracks=320 nbVisitedNodes=1537
4.54 nbRestartNogoods=33 mapSize=285 nbInferences=0 nbTooLargeKeys=0
4.54 => wckTime=1.989 cpuTime=1.93 mem=65M859
5.49
5.49 search
5.49 run=7 nbConstraintChecks=1792054 nbValidityChecks=3577761 nbPropagations=42726 nbRevisions=534729
5.49 nbUselessRevisions=430408 nbAssignments=1308 nbFailedAssignments=758 nbBacktracks=490 nbVisitedNodes=2383
5.49 nbRestartNogoods=40 mapSize=427 nbInferences=0 nbTooLargeKeys=0
5.49 => wckTime=2.939 cpuTime=2.87 mem=65M859
6.83
6.83 search
6.83 run=8 nbConstraintChecks=2599003 nbValidityChecks=5189174 nbPropagations=67136 nbRevisions=840914
6.83 nbUselessRevisions=676149 nbAssignments=1999 nbFailedAssignments=1186 nbBacktracks=747 nbVisitedNodes=3676
6.83 nbRestartNogoods=46 mapSize=658 nbInferences=0 nbTooLargeKeys=0
6.83 => wckTime=4.276 cpuTime=4.18 mem=65M859
8.95
8.95 search
8.95 run=9 nbConstraintChecks=3956813 nbValidityChecks=7888491 nbPropagations=101982 nbRevisions=1290426
8.95 nbUselessRevisions=1038990 nbAssignments=2989 nbFailedAssignments=1785 nbBacktracks=1131 nbVisitedNodes=5495
8.95 nbRestartNogoods=52 mapSize=1001 nbInferences=0 nbTooLargeKeys=0
8.95 => wckTime=6.397 cpuTime=6.3 mem=66M851
9.07
9.07 INFO : Stopping hyperNogood (mapSize=1015, nbTooLargekeys=0, mem=66M851)
12.89
12.89 search
12.89 run=10 nbConstraintChecks=6351797 nbValidityChecks=12785146 nbPropagations=157023 nbRevisions=2001213
12.89 nbUselessRevisions=1611341 nbAssignments=4551 nbFailedAssignments=2762 nbBacktracks=1708 nbVisitedNodes=8426
12.89 nbRestartNogoods=70
12.89 => wckTime=10.339 cpuTime=10.23 mem=66M851
18.51
18.51 search
18.51 run=11 nbConstraintChecks=10001203 nbValidityChecks=19943628 nbPropagations=243109 nbRevisions=3104293
18.51 nbUselessRevisions=2495782 nbAssignments=6764 nbFailedAssignments=4103 nbBacktracks=2573 nbVisitedNodes=12605
18.51 nbRestartNogoods=79
18.51 => wckTime=15.959 cpuTime=15.85 mem=66M851
24.04
24.04 search
24.04 run=12 nbConstraintChecks=13592181 nbValidityChecks=27302606 nbPropagations=366252 nbRevisions=4652108
24.04 nbUselessRevisions=3737327 nbAssignments=9762 nbFailedAssignments=5795 nbBacktracks=3870 nbVisitedNodes=18153
24.04 nbRestartNogoods=88
24.04 => wckTime=21.492 cpuTime=21.38 mem=66M851
37.56
37.56 search
37.56 run=13 nbConstraintChecks=22344391 nbValidityChecks=43815037 nbPropagations=553183 nbRevisions=7065120
37.56 nbUselessRevisions=5681314 nbAssignments=14685 nbFailedAssignments=8765 nbBacktracks=5817 nbVisitedNodes=27428
37.56 nbRestartNogoods=100
37.56 => wckTime=35.006 cpuTime=34.88 mem=66M851
50.41
50.41 search
50.41 run=14 nbConstraintChecks=30708839 nbValidityChecks=60689306 nbPropagations=821786 nbRevisions=10450394
50.41 nbUselessRevisions=8402362 nbAssignments=21123 nbFailedAssignments=12277 nbBacktracks=8736 nbVisitedNodes=39254
50.41 nbRestartNogoods=106
50.41 => wckTime=47.863 cpuTime=47.72 mem=66M851
83.37
83.37 search
83.37 run=15 nbConstraintChecks=52160954 nbValidityChecks=100749798 nbPropagations=1243209 nbRevisions=15902752
83.37 nbUselessRevisions=12786994 nbAssignments=32881 nbFailedAssignments=19648 nbBacktracks=13115
83.37 nbVisitedNodes=61558 nbRestartNogoods=123
83.37 => wckTime=80.816 cpuTime=80.65 mem=66M851
131.44
131.44 search
131.44 run=16 nbConstraintChecks=82892384 nbValidityChecks=162116832 nbPropagations=1883248 nbRevisions=24487481
131.44 nbUselessRevisions=19681922 nbAssignments=53081 nbFailedAssignments=33272 nbBacktracks=19683
131.44 nbVisitedNodes=99724 nbRestartNogoods=138
131.44 => wckTime=128.892 cpuTime=128.72 mem=66M851
174.62
174.62 search
174.62 run=17 nbConstraintChecks=110881977 nbValidityChecks=220214773 nbPropagations=2826347 nbRevisions=36720022
174.62 nbUselessRevisions=29487073 nbAssignments=77930 nbFailedAssignments=48260 nbBacktracks=29535
174.62 nbVisitedNodes=145982 nbRestartNogoods=157
174.62 => wckTime=172.065 cpuTime=171.88 mem=66M851
288.89
288.89 search
288.89 run=18 nbConstraintChecks=185161100 nbValidityChecks=359506747 nbPropagations=4302005 nbRevisions=56139718
288.89 nbUselessRevisions=45057822 nbAssignments=117837 nbFailedAssignments=73383 nbBacktracks=44313
288.89 nbVisitedNodes=221798 nbRestartNogoods=167
288.89 => wckTime=286.336 cpuTime=286.12 mem=66M851
381.79
381.79 search
381.79 run=19 nbConstraintChecks=245331664 nbValidityChecks=484007277 nbPropagations=6407643 nbRevisions=83139183
381.79 nbUselessRevisions=66693996 nbAssignments=170184 nbFailedAssignments=103554 nbBacktracks=66482
381.79 nbVisitedNodes=318194 nbRestartNogoods=181
381.79 => wckTime=379.235 cpuTime=378.99 mem=66M851
625.61
625.61 search
625.61 run=20 nbConstraintChecks=403378952 nbValidityChecks=782705919 nbPropagations=9686527 nbRevisions=125898170
625.61 nbUselessRevisions=101020007 nbAssignments=257291 nbFailedAssignments=157402 nbBacktracks=99735
625.61 nbVisitedNodes=483404 nbRestartNogoods=193
625.61 => wckTime=623.061 cpuTime=622.76 mem=66M851
826.43
826.43 search
826.43 run=21 nbConstraintChecks=534021748 nbValidityChecks=1053286148 nbPropagations=14315161 nbRevisions=184985605
826.43 nbUselessRevisions=148438547 nbAssignments=369246 nbFailedAssignments=219469 nbBacktracks=149616
826.43 nbVisitedNodes=688309 nbRestartNogoods=212
826.43 => wckTime=823.881 cpuTime=823.54 mem=66M851
1354.62
1354.62 search
1354.62 run=22 nbConstraintChecks=876092194 nbValidityChecks=1709998270 nbPropagations=21532555 nbRevisions=278321851
1354.62 nbUselessRevisions=223524725 nbAssignments=561930 nbFailedAssignments=337328 nbBacktracks=224435
1354.62 nbVisitedNodes=1053650 nbRestartNogoods=232
1354.62 => wckTime=1352.074 cpuTime=1351.59 mem=66M851
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node30/watcher-206853-1168074092 -o ROOT/results/node30/solver-206853-1168074092 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206853-1168074092/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.86 1.99 1.95 3/87 2647
/proc/meminfo: memFree=1190008/2055920 swapFree=4191880/4192956
[pid=2646] ppid=2644 vsize=1784 CPUtime=0
/proc/2646/stat : 2646 (java) D 2644 2646 1950 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 155803304 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/2646/statm: 446 158 123 14 0 91 0
[startup+0.102983 s]
/proc/loadavg: 1.86 1.99 1.95 3/87 2647
/proc/meminfo: memFree=1190008/2055920 swapFree=4191880/4192956
[pid=2646] ppid=2644 vsize=914988 CPUtime=0.08
/proc/2646/stat : 2646 (java) S 2644 2646 1950 0 -1 0 2998 0 1 0 7 1 0 0 18 0 8 0 155803304 936947712 2744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2646/statm: 228747 2744 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511006 s]
/proc/loadavg: 1.86 1.99 1.95 3/87 2647
/proc/meminfo: memFree=1190008/2055920 swapFree=4191880/4192956
[pid=2646] ppid=2644 vsize=915328 CPUtime=0.49
/proc/2646/stat : 2646 (java) R 2644 2646 1950 0 -1 0 7681 0 1 0 44 5 0 0 18 0 8 0 155803304 937295872 7420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073563230 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2646/statm: 228832 7421 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33406 s]
/proc/loadavg: 1.86 1.99 1.95 5/106 2705
/proc/meminfo: memFree=1094560/2055920 swapFree=4191880/4192956
[pid=2646] ppid=2644 vsize=915328 CPUtime=1.29
/proc/2646/stat : 2646 (java) R 2644 2646 1950 0 -1 0 19100 0 1 0 119 10 0 0 25 0 8 0 155803304 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073557650 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2646/statm: 228832 18838 2149 14 0 215302 0
[pid=2646/tid=2648] ppid=2644 vsize=915328 CPUtime=0.05
/proc/2646/task/2648/stat : 2648 (java) S 2644 2646 1950 0 -1 64 2682 0 0 0 4 1 0 0 17 0 8 0 155803308 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2646/tid=2649] ppid=2644 vsize=915328 CPUtime=0
/proc/2646/task/2649/stat : 2649 (java) S 2644 2646 1950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155803308 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2646/tid=2650] ppid=2644 vsize=915328 CPUtime=0
/proc/2646/task/2650/stat : 2650 (java) S 2644 2646 1950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155803308 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2646/tid=2651] ppid=2644 vsize=915328 CPUtime=0
/proc/2646/task/2651/stat : 2651 (java) S 2644 2646 1950 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155803312 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2652] ppid=2644 vsize=915328 CPUtime=0.08
/proc/2646/task/2652/stat : 2652 (java) S 2644 2646 1950 0 -1 64 309 0 0 0 8 0 0 0 16 0 8 0 155803312 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2646/tid=2653] ppid=2644 vsize=915328 CPUtime=0
/proc/2646/task/2653/stat : 2653 (java) S 2644 2646 1950 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155803312 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2654] ppid=2644 vsize=915328 CPUtime=0
/proc/2646/task/2654/stat : 2654 (java) S 2644 2646 1950 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155803312 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915328
[startup+2.98717 s]
/proc/loadavg: 1.86 1.99 1.95 2/94 2716
/proc/meminfo: memFree=1081912/2055920 swapFree=4191880/4192956
[pid=2646] ppid=2644 vsize=915440 CPUtime=2.94
/proc/2646/stat : 2646 (java) R 2644 2646 1950 0 -1 0 32562 0 1 0 278 16 0 0 17 0 8 0 155803304 937410560 32296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2646/statm: 228860 32296 2521 14 0 215330 0
[pid=2646/tid=2648] ppid=2644 vsize=915440 CPUtime=0.43
/proc/2646/task/2648/stat : 2648 (java) S 2644 2646 1950 0 -1 64 15584 0 0 0 38 5 0 0 16 0 8 0 155803308 937410560 32296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2646/tid=2649] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2649/stat : 2649 (java) S 2644 2646 1950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155803308 937410560 32296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2646/tid=2650] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2650/stat : 2650 (java) S 2644 2646 1950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155803308 937410560 32296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2646/tid=2651] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2651/stat : 2651 (java) S 2644 2646 1950 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155803312 937410560 32296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2652] ppid=2644 vsize=915440 CPUtime=0.21
/proc/2646/task/2652/stat : 2652 (java) S 2644 2646 1950 0 -1 64 380 0 0 0 20 1 0 0 16 0 8 0 155803312 937410560 32296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2646/tid=2653] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2653/stat : 2653 (java) S 2644 2646 1950 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155803312 937410560 32296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2654] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2654/stat : 2654 (java) S 2644 2646 1950 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155803312 937410560 32296 18446744073709551615 134512640 134570532 4294956480 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) 915440
[startup+6.28137 s]
/proc/loadavg: 1.79 1.97 1.94 3/95 2783
/proc/meminfo: memFree=1069808/2055920 swapFree=4191880/4192956
[pid=2646] ppid=2644 vsize=915440 CPUtime=6.22
/proc/2646/stat : 2646 (java) R 2644 2646 1950 0 -1 0 32581 0 1 0 604 18 0 0 17 0 8 0 155803304 937410560 32311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629903 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2646/statm: 228860 32311 2522 14 0 215330 0
[pid=2646/tid=2648] ppid=2644 vsize=915440 CPUtime=0.43
/proc/2646/task/2648/stat : 2648 (java) S 2644 2646 1950 0 -1 64 15584 0 0 0 38 5 0 0 17 0 8 0 155803308 937410560 32311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2646/tid=2649] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2649/stat : 2649 (java) S 2644 2646 1950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155803308 937410560 32311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2646/tid=2650] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2650/stat : 2650 (java) S 2644 2646 1950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155803308 937410560 32311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2646/tid=2651] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2651/stat : 2651 (java) S 2644 2646 1950 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155803312 937410560 32311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2652] ppid=2644 vsize=915440 CPUtime=0.23
/proc/2646/task/2652/stat : 2652 (java) S 2644 2646 1950 0 -1 64 396 0 0 0 22 1 0 0 15 0 8 0 155803312 937410560 32311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2653] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2653/stat : 2653 (java) S 2644 2646 1950 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155803312 937410560 32311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2654] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2654/stat : 2654 (java) S 2644 2646 1950 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155803312 937410560 32311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915440
[startup+12.7618 s]
/proc/loadavg: 1.72 1.95 1.94 2/91 2791
/proc/meminfo: memFree=1075920/2055920 swapFree=4191880/4192956
[pid=2646] ppid=2644 vsize=915440 CPUtime=12.69
/proc/2646/stat : 2646 (java) R 2644 2646 1950 0 -1 0 32590 0 1 0 1251 18 0 0 25 0 8 0 155803304 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664841 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2646/statm: 228860 32318 2522 14 0 215330 0
[pid=2646/tid=2648] ppid=2644 vsize=915440 CPUtime=0.43
/proc/2646/task/2648/stat : 2648 (java) S 2644 2646 1950 0 -1 64 15584 0 0 0 38 5 0 0 16 0 8 0 155803308 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2649] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2649/stat : 2649 (java) S 2644 2646 1950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155803308 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2646/tid=2650] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2650/stat : 2650 (java) S 2644 2646 1950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155803308 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2646/tid=2651] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2651/stat : 2651 (java) S 2644 2646 1950 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155803312 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2652] ppid=2644 vsize=915440 CPUtime=0.24
/proc/2646/task/2652/stat : 2652 (java) S 2644 2646 1950 0 -1 64 403 0 0 0 23 1 0 0 16 0 8 0 155803312 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2653] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2653/stat : 2653 (java) S 2644 2646 1950 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155803312 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2654] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2654/stat : 2654 (java) S 2644 2646 1950 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155803312 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915440
[startup+25.5946 s]
/proc/loadavg: 1.56 1.91 1.92 2/91 2801
/proc/meminfo: memFree=1076328/2055920 swapFree=4191880/4192956
[pid=2646] ppid=2644 vsize=915440 CPUtime=25.52
/proc/2646/stat : 2646 (java) R 2644 2646 1950 0 -1 0 32590 0 1 0 2534 18 0 0 25 0 8 0 155803304 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834156 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2646/statm: 228860 32318 2522 14 0 215330 0
[pid=2646/tid=2648] ppid=2644 vsize=915440 CPUtime=0.43
/proc/2646/task/2648/stat : 2648 (java) S 2644 2646 1950 0 -1 64 15584 0 0 0 38 5 0 0 16 0 8 0 155803308 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2649] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2649/stat : 2649 (java) S 2644 2646 1950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155803308 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2646/tid=2650] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2650/stat : 2650 (java) S 2644 2646 1950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155803308 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2646/tid=2651] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2651/stat : 2651 (java) S 2644 2646 1950 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155803312 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2652] ppid=2644 vsize=915440 CPUtime=0.24
/proc/2646/task/2652/stat : 2652 (java) S 2644 2646 1950 0 -1 64 403 0 0 0 23 1 0 0 16 0 8 0 155803312 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2653] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2653/stat : 2653 (java) S 2644 2646 1950 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155803312 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2654] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2654/stat : 2654 (java) S 2644 2646 1950 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155803312 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 915440
[startup+51.2892 s]
/proc/loadavg: 1.37 1.83 1.89 2/91 2823
/proc/meminfo: memFree=1076400/2055920 swapFree=4191880/4192956
[pid=2646] ppid=2644 vsize=915440 CPUtime=51.19
/proc/2646/stat : 2646 (java) R 2644 2646 1950 0 -1 0 32591 0 1 0 5100 19 0 0 25 0 8 0 155803304 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807696 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2646/statm: 228860 32318 2522 14 0 215330 0
[pid=2646/tid=2648] ppid=2644 vsize=915440 CPUtime=0.43
/proc/2646/task/2648/stat : 2648 (java) S 2644 2646 1950 0 -1 64 15584 0 0 0 38 5 0 0 16 0 8 0 155803308 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2649] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2649/stat : 2649 (java) S 2644 2646 1950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155803308 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2646/tid=2650] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2650/stat : 2650 (java) S 2644 2646 1950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155803308 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2646/tid=2651] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2651/stat : 2651 (java) S 2644 2646 1950 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155803312 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2652] ppid=2644 vsize=915440 CPUtime=0.25
/proc/2646/task/2652/stat : 2652 (java) S 2644 2646 1950 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 155803312 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2653] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2653/stat : 2653 (java) S 2644 2646 1950 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155803312 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2654] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2654/stat : 2654 (java) S 2644 2646 1950 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155803312 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 915440
[startup+102.555 s]
/proc/loadavg: 1.16 1.70 1.85 2/85 2849
/proc/meminfo: memFree=1077608/2055920 swapFree=4191880/4192956
[pid=2646] ppid=2644 vsize=915440 CPUtime=102.42
/proc/2646/stat : 2646 (java) R 2644 2646 1950 0 -1 0 32591 0 1 0 10223 19 0 0 25 0 8 0 155803304 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630009 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2646/statm: 228860 32318 2522 14 0 215330 0
[pid=2646/tid=2648] ppid=2644 vsize=915440 CPUtime=0.43
/proc/2646/task/2648/stat : 2648 (java) S 2644 2646 1950 0 -1 64 15584 0 0 0 38 5 0 0 16 0 8 0 155803308 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2649] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2649/stat : 2649 (java) S 2644 2646 1950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155803308 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2646/tid=2650] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2650/stat : 2650 (java) S 2644 2646 1950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155803308 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2646/tid=2651] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2651/stat : 2651 (java) S 2644 2646 1950 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155803312 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2652] ppid=2644 vsize=915440 CPUtime=0.25
/proc/2646/task/2652/stat : 2652 (java) S 2644 2646 1950 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 155803312 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2653] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2653/stat : 2653 (java) S 2644 2646 1950 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155803312 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2654] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2654/stat : 2654 (java) S 2644 2646 1950 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155803312 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.42
Current children cumulated vsize (KiB) 915440
[startup+162.648 s]
/proc/loadavg: 1.06 1.57 1.79 3/85 2849
/proc/meminfo: memFree=1077672/2055920 swapFree=4191880/4192956
[pid=2646] ppid=2644 vsize=915440 CPUtime=162.51
/proc/2646/stat : 2646 (java) R 2644 2646 1950 0 -1 0 32591 0 1 0 16231 20 0 0 25 0 8 0 155803304 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849747 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1424.21
Current children cumulated vsize (KiB) 915440
[startup+1484.76 s]
/proc/loadavg: 1.00 1.00 1.16 2/85 2851
/proc/meminfo: memFree=1077672/2055920 swapFree=4191880/4192956
[pid=2646] ppid=2644 vsize=915440 CPUtime=1484.29
/proc/2646/stat : 2646 (java) R 2644 2646 1950 0 -1 0 32592 0 1 0 148400 29 0 0 25 0 8 0 155803304 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803345 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2646/statm: 228860 32319 2522 14 0 215330 0
[pid=2646/tid=2648] ppid=2644 vsize=915440 CPUtime=0.43
/proc/2646/task/2648/stat : 2648 (java) S 2644 2646 1950 0 -1 64 15584 0 0 0 38 5 0 0 16 0 8 0 155803308 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2649] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2649/stat : 2649 (java) S 2644 2646 1950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155803308 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2646/tid=2650] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2650/stat : 2650 (java) S 2644 2646 1950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155803308 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2646/tid=2651] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2651/stat : 2651 (java) S 2644 2646 1950 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155803312 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2652] ppid=2644 vsize=915440 CPUtime=0.25
/proc/2646/task/2652/stat : 2652 (java) S 2644 2646 1950 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 155803312 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2653] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2653/stat : 2653 (java) S 2644 2646 1950 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155803312 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2654] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2654/stat : 2654 (java) S 2644 2646 1950 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155803312 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1484.29
Current children cumulated vsize (KiB) 915440
[startup+1544.85 s]
/proc/loadavg: 1.00 1.00 1.15 3/85 2851
/proc/meminfo: memFree=1077736/2055920 swapFree=4191880/4192956
[pid=2646] ppid=2644 vsize=915440 CPUtime=1544.37
/proc/2646/stat : 2646 (java) R 2644 2646 1950 0 -1 0 32592 0 1 0 154407 30 0 0 25 0 8 0 155803304 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812125 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2646/statm: 228860 32319 2522 14 0 215330 0
[pid=2646/tid=2648] ppid=2644 vsize=915440 CPUtime=0.43
/proc/2646/task/2648/stat : 2648 (java) S 2644 2646 1950 0 -1 64 15584 0 0 0 38 5 0 0 16 0 8 0 155803308 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2649] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2649/stat : 2649 (java) S 2644 2646 1950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155803308 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2646/tid=2650] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2650/stat : 2650 (java) S 2644 2646 1950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155803308 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2646/tid=2651] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2651/stat : 2651 (java) S 2644 2646 1950 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155803312 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2652] ppid=2644 vsize=915440 CPUtime=0.25
/proc/2646/task/2652/stat : 2652 (java) S 2644 2646 1950 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 155803312 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2653] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2653/stat : 2653 (java) S 2644 2646 1950 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155803312 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2654] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2654/stat : 2654 (java) S 2644 2646 1950 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155803312 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1544.37
Current children cumulated vsize (KiB) 915440
[startup+1604.94 s]
/proc/loadavg: 1.00 1.00 1.13 2/85 2851
/proc/meminfo: memFree=1077672/2055920 swapFree=4191880/4192956
[pid=2646] ppid=2644 vsize=915440 CPUtime=1604.45
/proc/2646/stat : 2646 (java) R 2644 2646 1950 0 -1 0 32592 0 1 0 160415 30 0 0 25 0 8 0 155803304 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809374 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2646/statm: 228860 32319 2522 14 0 215330 0
[pid=2646/tid=2648] ppid=2644 vsize=915440 CPUtime=0.43
/proc/2646/task/2648/stat : 2648 (java) S 2644 2646 1950 0 -1 64 15584 0 0 0 38 5 0 0 16 0 8 0 155803308 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2649] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2649/stat : 2649 (java) S 2644 2646 1950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155803308 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2646/tid=2650] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2650/stat : 2650 (java) S 2644 2646 1950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155803308 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2646/tid=2651] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2651/stat : 2651 (java) S 2644 2646 1950 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155803312 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2652] ppid=2644 vsize=915440 CPUtime=0.25
/proc/2646/task/2652/stat : 2652 (java) S 2644 2646 1950 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 155803312 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2653] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2653/stat : 2653 (java) S 2644 2646 1950 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155803312 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2654] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2654/stat : 2654 (java) S 2644 2646 1950 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155803312 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1604.45
Current children cumulated vsize (KiB) 915440
[startup+1665.04 s]
/proc/loadavg: 1.00 1.00 1.12 2/85 2851
/proc/meminfo: memFree=1077672/2055920 swapFree=4191880/4192956
[pid=2646] ppid=2644 vsize=915440 CPUtime=1664.52
/proc/2646/stat : 2646 (java) R 2644 2646 1950 0 -1 0 32592 0 1 0 166422 30 0 0 25 0 8 0 155803304 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629912 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2646/statm: 228860 32319 2522 14 0 215330 0
[pid=2646/tid=2648] ppid=2644 vsize=915440 CPUtime=0.43
/proc/2646/task/2648/stat : 2648 (java) S 2644 2646 1950 0 -1 64 15584 0 0 0 38 5 0 0 16 0 8 0 155803308 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2649] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2649/stat : 2649 (java) S 2644 2646 1950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155803308 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2646/tid=2650] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2650/stat : 2650 (java) S 2644 2646 1950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155803308 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2646/tid=2651] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2651/stat : 2651 (java) S 2644 2646 1950 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155803312 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2652] ppid=2644 vsize=915440 CPUtime=0.25
/proc/2646/task/2652/stat : 2652 (java) S 2644 2646 1950 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 155803312 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2653] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2653/stat : 2653 (java) S 2644 2646 1950 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155803312 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2654] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2654/stat : 2654 (java) S 2644 2646 1950 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155803312 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1664.52
Current children cumulated vsize (KiB) 915440
[startup+1725.13 s]
/proc/loadavg: 1.00 1.00 1.11 2/85 2851
/proc/meminfo: memFree=1077672/2055920 swapFree=4191880/4192956
[pid=2646] ppid=2644 vsize=915440 CPUtime=1724.6
/proc/2646/stat : 2646 (java) R 2644 2646 1950 0 -1 0 32592 0 1 0 172429 31 0 0 25 0 8 0 155803304 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2646/statm: 228860 32319 2522 14 0 215330 0
[pid=2646/tid=2648] ppid=2644 vsize=915440 CPUtime=0.43
/proc/2646/task/2648/stat : 2648 (java) S 2644 2646 1950 0 -1 64 15584 0 0 0 38 5 0 0 16 0 8 0 155803308 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2649] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2649/stat : 2649 (java) S 2644 2646 1950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155803308 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2646/tid=2650] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2650/stat : 2650 (java) S 2644 2646 1950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155803308 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2646/tid=2651] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2651/stat : 2651 (java) S 2644 2646 1950 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155803312 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2652] ppid=2644 vsize=915440 CPUtime=0.25
/proc/2646/task/2652/stat : 2652 (java) S 2644 2646 1950 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 155803312 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2653] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2653/stat : 2653 (java) S 2644 2646 1950 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155803312 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2654] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2654/stat : 2654 (java) S 2644 2646 1950 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155803312 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1724.6
Current children cumulated vsize (KiB) 915440
[startup+1785.22 s]
/proc/loadavg: 1.00 1.00 1.10 2/85 2851
/proc/meminfo: memFree=1077672/2055920 swapFree=4191880/4192956
[pid=2646] ppid=2644 vsize=915440 CPUtime=1784.67
/proc/2646/stat : 2646 (java) R 2644 2646 1950 0 -1 0 32592 0 1 0 178436 31 0 0 25 0 8 0 155803304 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2646/statm: 228860 32319 2522 14 0 215330 0
[pid=2646/tid=2648] ppid=2644 vsize=915440 CPUtime=0.43
/proc/2646/task/2648/stat : 2648 (java) S 2644 2646 1950 0 -1 64 15584 0 0 0 38 5 0 0 16 0 8 0 155803308 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2649] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2649/stat : 2649 (java) S 2644 2646 1950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155803308 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2646/tid=2650] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2650/stat : 2650 (java) S 2644 2646 1950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155803308 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2646/tid=2651] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2651/stat : 2651 (java) S 2644 2646 1950 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155803312 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2652] ppid=2644 vsize=915440 CPUtime=0.25
/proc/2646/task/2652/stat : 2652 (java) S 2644 2646 1950 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 155803312 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2653] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2653/stat : 2653 (java) S 2644 2646 1950 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155803312 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2654] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2654/stat : 2654 (java) S 2644 2646 1950 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155803312 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1784.67
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.63 s]
/proc/loadavg: 1.00 1.00 1.10 2/85 2851
/proc/meminfo: memFree=1077672/2055920 swapFree=4191880/4192956
[pid=2646] ppid=2644 vsize=915440 CPUtime=1800.09
/proc/2646/stat : 2646 (java) R 2644 2646 1950 0 -1 0 32592 0 1 0 179978 31 0 0 25 0 8 0 155803304 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2646/statm: 228860 32319 2522 14 0 215330 0
[pid=2646/tid=2648] ppid=2644 vsize=915440 CPUtime=0.43
/proc/2646/task/2648/stat : 2648 (java) S 2644 2646 1950 0 -1 64 15584 0 0 0 38 5 0 0 16 0 8 0 155803308 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2649] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2649/stat : 2649 (java) S 2644 2646 1950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155803308 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2646/tid=2650] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2650/stat : 2650 (java) S 2644 2646 1950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155803308 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2646/tid=2651] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2651/stat : 2651 (java) S 2644 2646 1950 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155803312 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2652] ppid=2644 vsize=915440 CPUtime=0.25
/proc/2646/task/2652/stat : 2652 (java) S 2644 2646 1950 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 155803312 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2653] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2653/stat : 2653 (java) S 2644 2646 1950 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155803312 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2646/tid=2654] ppid=2644 vsize=915440 CPUtime=0
/proc/2646/task/2654/stat : 2654 (java) S 2644 2646 1950 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155803312 937410560 32319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1800.68
CPU time (s): 1800.14
CPU user time (s): 1799.8
CPU system time (s): 0.339948
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.339948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32608
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37387
involuntary context switches= 37415
runsolver used 1.82872 s user time and 4.5803 s system time
The end
Begin job on node30 on Sat Jan 6 09:01:34 UTC 2007
IDJOB= 206853
IDBENCH= 4240
FILE ID= node30/206853-1168074092
PBS_JOBID= 3475943
Free space on /tmp= 66478 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-16_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206853-1168074092/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-206853-1168074092 -o ROOT/results/node30/solver-206853-1168074092 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206853-1168074092/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0d8c0cee3fe4dc25dc6d0f77c207051a
RANDOM SEED= 180420616
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: 1190424 kB
Buffers: 50328 kB
Cached: 669048 kB
SwapCached: 268 kB
Active: 184552 kB
Inactive: 593408 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1190424 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 7480 kB
Writeback: 0 kB
Mapped: 76664 kB
Slab: 72232 kB
Committed_AS: 3039600 kB
PageTables: 2312 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= 66478 MiB
End job on node30 on Sat Jan 6 09:31:35 UTC 2007